In this study, we investigate the problem of determining the maximum purity for absolutely separable and absolutely PPT quantum states. From the geometric viewpoint, this problem is equivalent to asking for the exact Euclidean radius of the smallest ball around the maximally mixed state that encompasses the set of all absolutely separable or absolutely PPT states. Our results provide an analytic solution for two qubit states. Based on numerical computation, we propose a conjectured maximum purity for absolutely separable qubit-qudit states and absolutely PPT qutrit-qudit states.
In this study, we investigate the problem of determining the maximum purity for absolutely separable and absolutely PPT quantum states. From the geometric viewpoint, this problem is equivalent to asking for the exact Euclidean radius of the smallest ball around the maximally mixed state that encompasses the set of all absolutely separable or absolutely PPT states. Our results provide an analytic solution for two qubit states. Based on numerical computation, we propose a conjectured maximum purity for absolutely separable qubit-qudit states and absolutely PPT qutrit-qudit states.
A quantum state is called absolutely separable (resp. absolutely positive partial transpose (APPT)) if it remains separable (resp. positive partial transpose (PPT)) under any global unitary transformation. It is known that the set of all absolutely separable states is a subset of the set of all APPT states. Moreover, these two sets are identical for qubit-qudit systems. In this note, we give an upper bound for the purity of APPT bipartite states (and therefore for the purity of absolutely separable bipartite states). For qubit-qudit systems, this upper bound becomes the maximum purity of APPT (and absolutely separable) states.
We investigate the geometric structure of the set of spectra of bipartite absolute separable states (ASEPm,n) and absolute positive partial transpose states (APPTm,n), \emph{i.e.}, bipartite quantum states that remain separable or PPT, respectively, under all global unitary transformations. First, we establish general geometric properties of absolute convex sets of matrices, their spectra and extreme points. Regarding absolute separability, we present a permutation-symmetric reformulation of the absolute PPT criterion and use it to demonstrate that APPTm,n is a spectrahedron for all m≤n: in particular, all its faces are exposed. While ASEP2,n is a spectrahedron, too, for ASEPm,n we can in general only show that it is a semialgebraic set for all m,n≥3. Furthermore, we provide a complete characterization of the faces and extreme points of APPTm,n and demonstrate that the dimension of a face is determined by the rank of a certain matrix, with maximal proper faces having dimension mn−m−1.
In the quantitative setting, we provide a rigorous lower bound on the maximal attainable purity of APPTm,n via an inscribed polytope Pm,n and conjecture that the maximal purity of APPTm,n (along with its spectra) coincides with the polytope for arbitrary dimensions except when m=n=2. Additionally, we also provide a rigorous upper bound on the minimal von Neumann entropy of APPTm,n and demonstrate numerically that the minimum entropy eventually coincides with the polytope Pm,n as the local system dimension n increases. Finally, we show that the relative spectral volume of APPTm,n decays exponentially in n by a constant multiplicative factor of the relative volume of the inscribed polytope Pm,n.
The absolutely separable (resp. PPT) states remain separable (resp. positive partial transpose) under any global unitary operation. We present a compact form of the extreme points in the sets of absolutely separable states and PPT states in two-qubit and qubit-qudit systems. The results imply that each extreme point has at most three distinct eigenvalues. We establish a necessary and sufficient condition for determining extreme points of the set of absolutely PPT states in two-qutrit and qutrit-qudit systems, expressed as solvable linear equations. We also demonstrate that any extreme point in qutrit-qudit system has at most seven distinct eigenvalues. We introduce the concept of robustness of nonabsolute separability. It quantifies the minimal amount by which a state needs to mix with other states such that the overall state is absolutely separable. We show that the robustness satisfies positivity, invariance under unitary transformation, monotonicity and convexity, so it is a good measure within the resource theory of nonabsolute separability. Analytical expressions for this measure are given for pure states in arbitrary system and rank-two mixed states in two-qubit system.
We study maximum purity and minimum von Neumann entropy of absolutely positive partial transpose (APPT) states, together with the relative volume of their spectral sets. A consequence of Hildebrand's criterion gives an explicit outer spectral polytope, whose vertices we classify. Optimizing purity over this polytope, together with the Song--Chen result for the 2⊗3 system, yields, for every mn≥6, an explicit upper bound on the purity of APPT states that is asymptotic to 4/(3mn). This improves the previous 2/(mn) upper bound for absolutely separable states. The new bound applies to every APPT state, a class containing all absolutely separable states, and is sharp for every 2⊗n system with n≥3. For every 3⊗n system with n≥3, however, the unique outer-polytope maximizer is not APPT, so the bound is strict and disproves the Dũng--Khôi qutrit--qudit conjecture. The polytope also gives an explicit entropy lower bound in arbitrary bipartite dimensions and, together with the Song--Chen extreme-point classification, the exact minimum entropy for every 2⊗n system. Finally, exact formulas for the relative volumes of an inner polytope and the outer spectral polytope give explicit two-sided bounds on the qubit--qudit relative spectral volume an whose ratio is less than 4 and tends to 3. Consequently, an=Θ(n(4/27)n), and the relative volume of the qubit--qudit APPT spectral set (equivalently, the absolutely separable spectral set) has exact exponential decay rate ln(27/4).
In this work, a variation of the problem originally solved by Verstraete, Audenaert, and De Moor [Phys. Rev. A 64, 012316 (2001)] on what is the maximum entanglement that can be created in a two-qubit system by a global unitary transformation is considered and solved when permutation invariance in the state is imposed. The additional constraint of permutation symmetry appears naturally in the context of bosonic systems or spin states. We also characterise symmetric two-qubit states that remain separable after any global unitary transformation, called symmetric absolutely separable states (SAS), or absolutely classical for spin states. This allows us to determine the maximal radius of a ball of SAS states around the maximally mixed state in the symmetric sector, and the minimal radius of a ball that includes the set of SAS states. For three-qubit systems, a necessary condition for absolute separability of symmetric states is given, which leads us to upper bounds on the ball radii similar to those studied for the two-qubit system.
Separability from the spectrum is a significant and ongoing research topic in quantum entanglement. In this study, we investigate properties related to absolute separability from the spectrum in qudits-qudits states in the bipartite states space Hmn=Hm⊗Hn. Firstly, we propose the necessary and sufficient conditions for absolute separable states in the Hilbert space H4n. These conditions are equivalent to the positive semidefiniteness of twelve matrices resulting from the symmetric matricizations of eigenvalues. Furthermore, we demonstrate that this sufficient condition can be extended to the general Hmn case, improving existing conclusions in the literature. These sufficient conditions depend only on the first few leading and last few leading eigenvalues, significantly reducing the complexity of determining absolute separable states. On the other hand, we also introduce additional sufficient conditions for determining that states in Hmn are not absolutely separable. These conditions only depend on 2m−1 eigenvalues of the mixed states. Our sufficient conditions are not only simple and easy to implement. As applications, we derive distance bounds for eigenvalues and purity bounds for general absolutely separable states.