Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2602.09860

$k$-Positivity and high-dimensional bound entanglement under symplectic group symmetries

Sang-Jun Park

quant-phmath-phmath.OASubmitted Feb 10, 2026• Announced Feb 11, 2026• 0 citations• Revised Mar 10, 2026 (v3)
v1 · Feb 10, 2026v2 · Feb 15, 2026v3 · Mar 10, 2026
arXivHTMLPDF

Abstract

We investigate the structure of $k$-positivity and Schmidt numbers for classes of linear maps and bipartite quantum states exhibiting symplectic group symmetries. Specifically, we consider (1) linear maps on $M_d(\mathbb{C})$ which are covariant under conjugation by unitary symplectic matrices $S$, and (2) $d\otimes d$ bipartite states which are invariant under $S\otimes S$ or $S\otimes \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 symmetries. 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.

Comments
38 pages, 6 figures

Related papers

Diagonal unitary and orthogonal symmetries in quantum theory

Satvik Singh, Ion Nechita

We analyze bipartite matrices and linear maps between matrix algebras, which are respectively, invariant and covariant, under the diagonal unitary and orthogonal groups' actions. By presenting an expansive list of examples from the literature, which includes notable entries like the Diagonal Symmetric states and the Choi-type maps, we show that this class of matrices (and maps) encompasses a wide variety of scenarios, thereby unifying their study. We examine their linear algebraic structure and investigate different notions of positivity through their convex conic manifestations. In particular, we generalize the well-known cone of completely positive matrices to that of triplewise completely positive matrices and connect it to the separability of the relevant invariant states (or the entanglement breaking property of the corresponding quantum channels). For linear maps, we provide explicit characterizations of the stated covariance in terms of their Kraus, Stinespring, and Choi representations, and systematically analyze the usual properties of positivity, decomposability, complete positivity, and the like. We also describe the invariant subspaces of these maps and use their structure to provide necessary and sufficient conditions for separability of the associated invariant bipartite states.

arXiv:2010.07898•Quantum•Aug 9, 2021•27 citations

High-Dimensional Entanglement in States with Positive Partial Transposition

Marcus Huber, Ludovico Lami, Cécilia Lancien +1 more

Genuine high-dimensional entanglement, i.e., the property of having a high Schmidt number, constitutes an instrumental resource in quantum communication, overcoming limitations of low-dimensional systems. States with a positive partial transpose (PPT) are generally considered weakly entangled, as they can never be distilled into pure entangled states. This naturally raises the question of whether high Schmidt numbers are possible for PPT states. Volume estimates suggest that optimal, i.e., linear, scaling in the local dimension should be possible, albeit without providing insight into the possible slope. We provide the first explicit construction of a family of PPT states that achieves linear scaling in the local dimension and we prove that random PPT states typically share this feature. Our construction also allows us to prove a recent conjecture of Chen et al. on the existence of PPT states whose Schmidt number increases by an arbitrarily large amount upon partial transposition. Finally, we link the Schmidt number to entangled sub-block matrices of a quantum state. We use this connection to prove that quantum states that are either (i) invariant under partial transposition on the smallest of their two subsystems, or (ii) absolutely PPT cannot have a maximal Schmidt number. Overall, our findings shed new light on some fundamental problems in entanglement theory.

arXiv:1802.04975•Physical Review Letters•Nov 15, 2018•46 citations

k-Positivity and Schmidt number under orthogonal group symmetries

Sangjun Park, Sang-Gyun Youn

Abstract In this paper, we present a new application of group theory to develop a systematical approach to efficiently compute the Schmidt numbers. The Schmidt number is a natural quantification of entanglement in quantum information theory, but computing its exact value is generally a challenging task even for very concrete examples. We exhibit a complete characterization of all orthogonally covariant k-positive maps. This result generalizes earlier results by Tomiyama (Linear Algebra Appl 69:169–177, 1985). Furthermore, we optimize duality relations between k-positivity and Schmidt numbers under group symmetries. This new approach enables us to transfer the results of k-positivity to the computation of the Schmidt numbers of all orthogonally invariant quantum states.

arXiv:2306.00654•Quantum Information Processing•Apr 25, 2024•3 citations

Some applications of Choi polynomials of linear maps

Minh Toan Ho, Thanh Hieu Le, Cong Trinh Le +1 more

This paper investigates the properties of Choi polynomials and their fundamental role in the theory of positive linear maps between matrix algebras. By focusing on Hermitian symmetric biquadratic forms, we establish a connection between the positivity of these forms and the structure of positive maps. We specifically explore the construction of indecomposable positive maps in matrix algebras, and their application as entanglement witnesses. Our analysis extends to the detection of Positive Partial Transpose (PPT) entangled states and the classification of edge PPT states in $M_m(\mathbb{C}) \otimes M_n(\mathbb{C})$. Our results provide a refined framework for identifying non-separable states that escape the standard PPT criterion, contributing to the broader understanding of entanglement distillation and quantum information theory.

quant-pharXiv:2604.27034•Linear Algebra and its Applications•Apr 30, 2026•0 citations

High Schmidt Number Concentration in Quantum Bound Entangled States

Robin Krebs, Mariami Gachechiladze

A deep understanding of quantum entanglement is vital for advancing quantum technologies. The strength of entanglement can be quantified by counting the degrees of freedom that are entangled, which results in a quantity called the Schmidt number. A particular challenge is to identify the strength of entanglement in quantum states that remain positive under partial transpose (PPT), otherwise recognized as undistillable states. Finding PPT states with high Schmidt numbers has become a mathematical and computational challenge. In this Letter, we introduce efficient analytical tools for calculating the Schmidt number for a class of bipartite states called grid states. Our methods improve the best-known bounds for PPT states with high Schmidt numbers. Most notably, we construct a Schmidt number 3 PPT state in five-dimensional systems and a family of states with a Schmidt number of (d+1)/2 for odd d-dimensional systems, representing the best-known scaling of the Schmidt number in a local dimension. Additionally, these states possess intriguing geometrical properties, which we utilize to construct indecomposable entanglement witnesses.

arXiv:2402.12966•Physical Review Letters•May 31, 2024•10 citations

Entanglement in the Dicke subspace

Aabhas Gulati, Ion Nechita, Clément Pellegrini

We provide a complete mathematical theory for the entanglement of mixtures of Dicke states. These quantum states form an important subclass of bosonic states arising in the study of indistinguishable particles. We introduce a tensor-based parametrization where the diagonal entries of these states are encoded as a symmetric tensor, enabling a direct translation between entanglement properties and well-studied convex cones of tensors. Our results bridge multipartite entanglement theory with semialgebraic geometry and the theory of completely positive and copositive tensors. This dictionary maps separability to completely positive tensors, the PPT property to moment tensors, entanglement witnesses to copositive tensors, and decomposable witnesses to sum of squares tensors. Using this framework, we construct explicit PPT entangled states in three or more qutrits, disproving a recent conjecture. We establish that PPT entanglement exists for all multipartite systems with local dimension d >= 3 and n >= 3 parties. We also show that, for mixtures of Dicke states, the PPT condition with respect to the most balanced bipartition implies all other PPT conditions. We further connect bosonic extendibility of mixtures of Dicke states to the duals of known hierarchies for non-negative polynomials, such as the ones by Reznick and Polya. We thus provide semidefinite programming relaxations for separability and entanglement testing in the Dicke subspace.

quant-pharXiv:2602.15800•Quantum•Feb 18, 2026•1 citation
kkk-Positivity and high-dimensional bound entanglement under symplectic group symmetries
We investigate the structure of kkk-positivity and Schmidt numbers for classes of linear maps and bipartite quantum states exhibiting symplectic group symmetries. Specifically, we consider (1) linear maps on Md(C)M_d(\mathbb{C})Md​(C) which are covariant under conjugation by unitary symplectic matrices SSS, and (2) d⊗dd\otimes dd⊗d bipartite states which are invariant under S⊗SS\otimes SS⊗S or S⊗S‾S\otimes \overline{S}S⊗S actions, each parametrized by two real variables. We provide a complete characterization of all kkk-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/2d/2d/2 and the first explicit constructions of (optimal) kkk-positive indecomposable linear maps for arbitrary k=1,…,d/2−1k=1,\ldots, d/2-1k=1,…,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 symmetries. 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.
We analyze bipartite matrices and linear maps between matrix algebras, which are respectively, invariant and covariant, under the diagonal unitary and orthogonal groups' actions. By presenting an expansive list of examples from the literature, which includes notable entries like the Diagonal Symmetric states and the Choi-type maps, we show that this class of matrices (and maps) encompasses a wide variety of scenarios, thereby unifying their study. We examine their linear algebraic structure and investigate different notions of positivity through their convex conic manifestations. In particular, we generalize the well-known cone of completely positive matrices to that of triplewise completely positive matrices and connect it to the separability of the relevant invariant states (or the entanglement breaking property of the corresponding quantum channels). For linear maps, we provide explicit characterizations of the stated covariance in terms of their Kraus, Stinespring, and Choi representations, and systematically analyze the usual properties of positivity, decomposability, complete positivity, and the like. We also describe the invariant subspaces of these maps and use their structure to provide necessary and sufficient conditions for separability of the associated invariant bipartite states.
Genuine high-dimensional entanglement, i.e., the property of having a high Schmidt number, constitutes an instrumental resource in quantum communication, overcoming limitations of low-dimensional systems. States with a positive partial transpose (PPT) are generally considered weakly entangled, as they can never be distilled into pure entangled states. This naturally raises the question of whether high Schmidt numbers are possible for PPT states. Volume estimates suggest that optimal, i.e., linear, scaling in the local dimension should be possible, albeit without providing insight into the possible slope. We provide the first explicit construction of a family of PPT states that achieves linear scaling in the local dimension and we prove that random PPT states typically share this feature. Our construction also allows us to prove a recent conjecture of Chen et al. on the existence of PPT states whose Schmidt number increases by an arbitrarily large amount upon partial transposition. Finally, we link the Schmidt number to entangled sub-block matrices of a quantum state. We use this connection to prove that quantum states that are either (i) invariant under partial transposition on the smallest of their two subsystems, or (ii) absolutely PPT cannot have a maximal Schmidt number. Overall, our findings shed new light on some fundamental problems in entanglement theory.
Abstract In this paper, we present a new application of group theory to develop a systematical approach to efficiently compute the Schmidt numbers. The Schmidt number is a natural quantification of entanglement in quantum information theory, but computing its exact value is generally a challenging task even for very concrete examples. We exhibit a complete characterization of all orthogonally covariant k-positive maps. This result generalizes earlier results by Tomiyama (Linear Algebra Appl 69:169–177, 1985). Furthermore, we optimize duality relations between k-positivity and Schmidt numbers under group symmetries. This new approach enables us to transfer the results of k-positivity to the computation of the Schmidt numbers of all orthogonally invariant quantum states.
This paper investigates the properties of Choi polynomials and their fundamental role in the theory of positive linear maps between matrix algebras. By focusing on Hermitian symmetric biquadratic forms, we establish a connection between the positivity of these forms and the structure of positive maps. We specifically explore the construction of indecomposable positive maps in matrix algebras, and their application as entanglement witnesses. Our analysis extends to the detection of Positive Partial Transpose (PPT) entangled states and the classification of edge PPT states in Mm(C)⊗Mn(C)M_m(\mathbb{C}) \otimes M_n(\mathbb{C})Mm​(C)⊗Mn​(C). Our results provide a refined framework for identifying non-separable states that escape the standard PPT criterion, contributing to the broader understanding of entanglement distillation and quantum information theory.
A deep understanding of quantum entanglement is vital for advancing quantum technologies. The strength of entanglement can be quantified by counting the degrees of freedom that are entangled, which results in a quantity called the Schmidt number. A particular challenge is to identify the strength of entanglement in quantum states that remain positive under partial transpose (PPT), otherwise recognized as undistillable states. Finding PPT states with high Schmidt numbers has become a mathematical and computational challenge. In this Letter, we introduce efficient analytical tools for calculating the Schmidt number for a class of bipartite states called grid states. Our methods improve the best-known bounds for PPT states with high Schmidt numbers. Most notably, we construct a Schmidt number 3 PPT state in five-dimensional systems and a family of states with a Schmidt number of (d+1)/2 for odd d-dimensional systems, representing the best-known scaling of the Schmidt number in a local dimension. Additionally, these states possess intriguing geometrical properties, which we utilize to construct indecomposable entanglement witnesses.
We provide a complete mathematical theory for the entanglement of mixtures of Dicke states. These quantum states form an important subclass of bosonic states arising in the study of indistinguishable particles. We introduce a tensor-based parametrization where the diagonal entries of these states are encoded as a symmetric tensor, enabling a direct translation between entanglement properties and well-studied convex cones of tensors. Our results bridge multipartite entanglement theory with semialgebraic geometry and the theory of completely positive and copositive tensors. This dictionary maps separability to completely positive tensors, the PPT property to moment tensors, entanglement witnesses to copositive tensors, and decomposable witnesses to sum of squares tensors. Using this framework, we construct explicit PPT entangled states in three or more qutrits, disproving a recent conjecture. We establish that PPT entanglement exists for all multipartite systems with local dimension d >= 3 and n >= 3 parties. We also show that, for mixtures of Dicke states, the PPT condition with respect to the most balanced bipartition implies all other PPT conditions. We further connect bosonic extendibility of mixtures of Dicke states to the duals of known hierarchies for non-negative polynomials, such as the ones by Reznick and Polya. We thus provide semidefinite programming relaxations for separability and entanglement testing in the Dicke subspace.