k-Positivity and high-dimensional bound entanglement under symplectic group symmetry

We investigate the structure of k-positivity and Schmidt numbers for classes of linear maps and bipartite quantum states exhibiting symplectic group symmetry. Specifically, we consider (1) linear maps on M_d\(mathbb{C}\) which are covariant under conjugation by unitary symplectic matrices S, and (2) dotimes d bipartite states which are invariant under Sotimes S or Sotimes overline{S} actions, each parametrized by two real variables. We provide a complete characterization of all k-positivity and decomposability conditions for these maps and explicitly compute the Schmidt numbers for the corresponding bipartite states. In particular, our analysis yields a broad class of PPT states with Schmidt number d/2 and the first explicit constructions of (optimal) k-positive indecomposable linear maps for arbitrary k=1,ldots, d/2-1, achieving the best-known bounds. Overall, our results offer a natural and analytically tractable framework in which both strong forms of positive indecomposability and high degrees of PPT entanglement can be studied systematically. We present two further applications of symplectic group symmetry. First, we show that the PPT-squared conjecture holds within the class of PPT linear maps that are either symplectic-covariant or conjugate-symplectic-covariant. Second, we resolve a conjecture of Pal and Vertesi concerning the optimal lower bound of the Sindici-Piani semidefinite program for PPT entanglement.