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:2608.29068

The Inverse Eigenvalue Problem for Partial Transposes of Two-Qubit States

Ruoting Dou, Shengjun Wu, Zeng-Bing Chen

quant-phSubmitted Aug 29, 2026• Announced Sep 1, 2026• 0 citations
arXivHTMLPDF

Abstract

For a bipartite state $ρ$, information about the spectrum of its partial transpose $ρ^{Γ_B}$ can be inferred from measurements on multiple copies of $ρ$, without full state tomography. This raises a natural question: which eigenvalue lists can arise as $\operatorname{spec}(ρ^{Γ_B})$ for a density operator $ρ$? We completely solve this inverse eigenvalue problem for two qubits. Every nonnegative trace-one spectrum is realized as $\operatorname{spec}(ρ^{Γ_B})$ by some PPT state $ρ$, whereas an ordered candidate eigenvalue list $(x,y,z,-q)$, with $x\ge y\ge z\ge0$, $q>0$, and $x+y+z-q=1$, is realized by an NPT state iff $q\le y$ and $qy\le xz$. Sufficiency in the latter case is established by an explicit $X$ state whose quantum steering ellipsoid has center $c=(y-q)/(1-z)$ and normalized volume $V/V_{\max}(c)=qy/(xz)$, providing a geometric interpretation of the inequalities $q\le y$ and $qy\le xz$ as the allowed ellipsoid-center region and the fixed-center volume bound. Beyond this geometric picture, the two-qubit inverse theorem also yields exact negativity bounds from the two lowest nontrivial PT moments. Given fixed values of $p_2=Tr[(ρ^{Γ_B})^2]$ and $p_3=Tr[(ρ^{Γ_B})^3]$, we determine the exact minimum and maximum negativity over all two-qubit states subject to these moment constraints. When no PPT state is consistent with the pair $(p_2,p_3)$, the minimum is attained either at $x=y$ or $qy=xz$, while the maximum is attained either at $y=z$ or $q=y$. Finally, we show how the two-qubit inequalities persist as necessary constraints for the inverse eigenvalue problem in qubit--qudit systems.

Comments
32 pages, 2 figures

Related papers

Moments of the Hilbert-Schmidt probability distributions over determinants of real two-qubit density matrices and of their partial transposes

Paul B. Slater

The nonnegativity of the determinant of the partial transpose of a two-qubit (4 x 4) density matrix is both a necessary and sufficient condition for its separability. While the determinant is restricted to the interval [0,1/256], the determinant of the partial transpose can range over [-1/16,1/256], with negative values corresponding to entangled states. We report here the exact values of the first nine moments of the probability distribution of the partial transpose over this interval, with respect to the Hilbert-Schmidt (metric volume element) measure on the nine-dimensional convex set of real two-qubit density matrices. Rational functions C_{2 j}(m), yielding the coefficients of the 2j-th power of even polynomials occurring at intermediate steps in our derivation of the m-th moment, emerge. These functions possess poles at finite series of consecutive half-integers (m=-3/2,-1/2,...,(2j-1)/2), and certain (trivial) roots at finite series of consecutive natural numbers (m=0, 1,...). Additionally, the (nontrivial) dominant roots of C_{2 j}(m) approach the same half-integer values (m = (2 j-1)/2, (2 j-3)/2,...), as j increases. The first two moments (mean and variance) found--when employed in the one-sided Chebyshev inequality--give an upper bound of 30397/34749 = 0.874759 on the separability probability of real two-qubit density matrices. We are able to report general formulas for the m-th moment of the Hilbert-Schmidt probability distribution of the density matrix determinant over [0,1/256], in the real, complex and quaternionic two-qubit cases.

arXiv:1003.3839•Mar 19, 2010•0 citations

Learning partial transpose signatures in qubit ququart states from a few measurements

Christian Candeago, Paolo Da Rold, Michele Grossi +2 more

Higher-dimensional quantum systems are attracting interest for improving quantum protocol performance by increasing memory space. Characterizing quantum resources of such systems is fundamental but experimentally costly. We tackle the first non-trivial example: a qubit-ququart system, focusing on partial-transpose spectral classification. Entanglement distillation extracts maximally entangled states from noisy resources, but determining distillability typically requires full state tomography, experimentally prohibitive for high-dimensional systems. We explore a machine learning framework to classify distillable bipartite quantum states using fewer measurements than complete tomography. Our approach employs the PPT criterion, categorizing states by negative eigenvalues in the partial transpose. We use various ML algorithms, including Support Vector Machines, Random Forest, and Artificial Neural Networks, with features from fixed measurements and learnable observables. Results show learnable observables consistently outperform Collective Measurement Witnesses methods. While all models distinguish between non-distillable (PPT) and distillable (NPT) states, differentiating NPT subclasses remains challenging, underscoring the intricate Hilbert space geometry. This work provides an experimentally friendly tool for distillability verification in high-dimensional quantum systems without full state reconstruction

quant-pharXiv:2602.19307•Feb 24, 2026•0 citations

Bargmann Invariants Are Insufficient for Complete Local-Unitary Orbit Discrimination

Lin Zhang, Bing Xie

Bargmann invariants constructed from a bipartite density operator and its two lifted marginals are polynomial invariants of local-unitary conjugation. We determine the precise information encoded in these invariants. Whenever one subsystem is a qubit, the ordinary marginal-word family determines the full spectrum of the partial transpose and hence decides whether the state has the positive-partial-transpose property. In $2\otimes2$ and $2\otimes3$ systems, this yields complete separability criteria. For the two-qubit system, a finite subfamily additionally separates local-unitary orbits, and a finite extension generates the polynomial invariant ring. These three tasks already diverge for qubit-qutrit states: we exhibit full-rank, locally maximally mixed states that agree on all ordinary marginal-word invariants yet have different operator-Schmidt ranks, together with a quartic correlation invariant that separates them. When both local dimensions are at least three, the analogous collapse on the locally maximally mixed sector produces isospectral pairs consisting of one separable state and one entangled state with negative partial transpose. The ordinary Bargmann algebra therefore coincides with the full local unitary invariant ring if and only if both subsystems are qubits. The missing data are geometric: they encode the placement of global eigenspaces relative to the tensor-product decomposition

quant-pharXiv:2609.11090•Sep 11, 2026•0 citations

Separability from spectrum for qubit-qudit states

Nathaniel Johnston

The separability from spectrum problem asks for a characterization of the eigenvalues of the bipartite mixed states $\ensuremath{\rho}$ with the property that ${U}^{\ifmmode\dagger\else\textdagger\fi{}}\ensuremath{\rho}U$ is separable for all unitary matrices $U$. This problem has been solved when the local dimensions $m$ and $n$ satisfy $m=2$ and $n\ensuremath{\le}3$. We solve all remaining qubit-qudit cases (i.e., when $m=2$ and $n\ensuremath{\ge}4$ is arbitrary). In all of these cases we show that a state is separable from spectrum if and only if ${U}^{\ifmmode\dagger\else\textdagger\fi{}}\ensuremath{\rho}U$ has positive partial transpose for all unitary matrices $U$. This equivalence is in stark contrast with the usual separability problem, where a state having positive partial transpose is a strictly weaker property than it being separable.

arXiv:1309.2006•Physical Review A•Dec 23, 2013•65 citations

The geometry of absolute separability and other convex matrix properties from spectrum

Jennifer Ahiable, Naga Bhavya Teja Kothakonda, Andreas Winter

We investigate the geometric structure of the set of spectra of bipartite absolute separable states ($\mathrm{ASEP}_{m,n}$) and absolute positive partial transpose states ($\mathrm{APPT}_{m,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 $\mathrm{APPT}_{m,n}$ is a spectrahedron for all $m\leq n$: in particular, all its faces are exposed. While $\mathrm{ASEP}_{2,n}$ is a spectrahedron, too, for $\mathrm{ASEP}_{m,n}$ we can in general only show that it is a semialgebraic set for all $m,n\geq 3$. Furthermore, we provide a complete characterization of the faces and extreme points of $\mathrm{APPT}_{m,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 $\mathrm{APPT}_{m,n}$ via an inscribed polytope $\mathcal{P}_{m,n}$ and conjecture that the maximal purity of $\mathrm{APPT}_{m,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 $\mathrm{APPT}_{m,n}$ and demonstrate numerically that the minimum entropy eventually coincides with the polytope $\mathcal{P}_{m,n}$ as the local system dimension $n$ increases. Finally, we show that the relative spectral volume of $\mathrm{APPT}_{m,n}$ decays exponentially in $n$ by a constant multiplicative factor of the relative volume of the inscribed polytope $\mathcal{P}_{m,n}$.

quant-pharXiv:2608.03390•Aug 5, 2026•0 citations

On the geometry of entangled states

Frank Verstraete, Jeroen Dehaene, Bart De Moor

The basic question that is addressed in this paper is finding the closest separable state for a given entangled state, measured with the Hilbert-Schmidt distance. While this problem is in general very difficult, we show that the following strongly related problem can be solved: find the Hilbert-Schmidt distance of an entangled state to the set of all partially transposed states. We prove that this latter distance can be expressed as a function of the negative eigenvalues of the partial transpose of the entangled state, and show how it is related to the distance of a state to the set of positive, partially transposed (PPT) states. We illustrate this by calculating the closest biseparable state to the W state and give a simple and very general proof for the fact that the set of W-type states is not of measure zero. Next we show that all surfaces with states whose partial transposes have constant minimal negative eigenvalue are similar to the boundary of PPT states. We illustrate this with some examples on bipartite qubit states, where contours of constant negativity are plotted on two-dimensional intersections of the complete state space.

arXiv:quant-ph/0107155•Journal of Modern Optics•Jul 1, 2002•69 citations
For a bipartite state ρρρ, information about the spectrum of its partial transpose ρΓBρ^{Γ_B}ρΓB​ can be inferred from measurements on multiple copies of ρρρ, without full state tomography. This raises a natural question: which eigenvalue lists can arise as spec⁡(ρΓB)\operatorname{spec}(ρ^{Γ_B})spec(ρΓB​) for a density operator ρρρ? We completely solve this inverse eigenvalue problem for two qubits. Every nonnegative trace-one spectrum is realized as spec⁡(ρΓB)\operatorname{spec}(ρ^{Γ_B})spec(ρΓB​) by some PPT state ρρρ, whereas an ordered candidate eigenvalue list (x,y,z,−q)(x,y,z,-q)(x,y,z,−q), with x≥y≥z≥0x\ge y\ge z\ge0x≥y≥z≥0, q>0q>0q>0, and x+y+z−q=1x+y+z-q=1x+y+z−q=1, is realized by an NPT state iff q≤yq\le yq≤y and qy≤xzqy\le xzqy≤xz. Sufficiency in the latter case is established by an explicit XXX state whose quantum steering ellipsoid has center c=(y−q)/(1−z)c=(y-q)/(1-z)c=(y−q)/(1−z) and normalized volume V/Vmax⁡(c)=qy/(xz)V/V_{\max}(c)=qy/(xz)V/Vmax​(c)=qy/(xz), providing a geometric interpretation of the inequalities q≤yq\le yq≤y and qy≤xzqy\le xzqy≤xz as the allowed ellipsoid-center region and the fixed-center volume bound. Beyond this geometric picture, the two-qubit inverse theorem also yields exact negativity bounds from the two lowest nontrivial PT moments. Given fixed values of p2=Tr[(ρΓB)2]p_2=Tr[(ρ^{Γ_B})^2]p2​=Tr[(ρΓB​)2] and p3=Tr[(ρΓB)3]p_3=Tr[(ρ^{Γ_B})^3]p3​=Tr[(ρΓB​)3], we determine the exact minimum and maximum negativity over all two-qubit states subject to these moment constraints. When no PPT state is consistent with the pair (p2,p3)(p_2,p_3)(p2​,p3​), the minimum is attained either at x=yx=yx=y or qy=xzqy=xzqy=xz, while the maximum is attained either at y=zy=zy=z or q=yq=yq=y. Finally, we show how the two-qubit inequalities persist as necessary constraints for the inverse eigenvalue problem in qubit--qudit systems.
The nonnegativity of the determinant of the partial transpose of a two-qubit (4 x 4) density matrix is both a necessary and sufficient condition for its separability. While the determinant is restricted to the interval [0,1/256], the determinant of the partial transpose can range over [-1/16,1/256], with negative values corresponding to entangled states. We report here the exact values of the first nine moments of the probability distribution of the partial transpose over this interval, with respect to the Hilbert-Schmidt (metric volume element) measure on the nine-dimensional convex set of real two-qubit density matrices. Rational functions C_{2 j}(m), yielding the coefficients of the 2j-th power of even polynomials occurring at intermediate steps in our derivation of the m-th moment, emerge. These functions possess poles at finite series of consecutive half-integers (m=-3/2,-1/2,...,(2j-1)/2), and certain (trivial) roots at finite series of consecutive natural numbers (m=0, 1,...). Additionally, the (nontrivial) dominant roots of C_{2 j}(m) approach the same half-integer values (m = (2 j-1)/2, (2 j-3)/2,...), as j increases. The first two moments (mean and variance) found--when employed in the one-sided Chebyshev inequality--give an upper bound of 30397/34749 = 0.874759 on the separability probability of real two-qubit density matrices. We are able to report general formulas for the m-th moment of the Hilbert-Schmidt probability distribution of the density matrix determinant over [0,1/256], in the real, complex and quaternionic two-qubit cases.
Higher-dimensional quantum systems are attracting interest for improving quantum protocol performance by increasing memory space. Characterizing quantum resources of such systems is fundamental but experimentally costly. We tackle the first non-trivial example: a qubit-ququart system, focusing on partial-transpose spectral classification. Entanglement distillation extracts maximally entangled states from noisy resources, but determining distillability typically requires full state tomography, experimentally prohibitive for high-dimensional systems. We explore a machine learning framework to classify distillable bipartite quantum states using fewer measurements than complete tomography. Our approach employs the PPT criterion, categorizing states by negative eigenvalues in the partial transpose. We use various ML algorithms, including Support Vector Machines, Random Forest, and Artificial Neural Networks, with features from fixed measurements and learnable observables. Results show learnable observables consistently outperform Collective Measurement Witnesses methods. While all models distinguish between non-distillable (PPT) and distillable (NPT) states, differentiating NPT subclasses remains challenging, underscoring the intricate Hilbert space geometry. This work provides an experimentally friendly tool for distillability verification in high-dimensional quantum systems without full state reconstruction
Bargmann invariants constructed from a bipartite density operator and its two lifted marginals are polynomial invariants of local-unitary conjugation. We determine the precise information encoded in these invariants. Whenever one subsystem is a qubit, the ordinary marginal-word family determines the full spectrum of the partial transpose and hence decides whether the state has the positive-partial-transpose property. In 2⊗22\otimes22⊗2 and 2⊗32\otimes32⊗3 systems, this yields complete separability criteria. For the two-qubit system, a finite subfamily additionally separates local-unitary orbits, and a finite extension generates the polynomial invariant ring. These three tasks already diverge for qubit-qutrit states: we exhibit full-rank, locally maximally mixed states that agree on all ordinary marginal-word invariants yet have different operator-Schmidt ranks, together with a quartic correlation invariant that separates them. When both local dimensions are at least three, the analogous collapse on the locally maximally mixed sector produces isospectral pairs consisting of one separable state and one entangled state with negative partial transpose. The ordinary Bargmann algebra therefore coincides with the full local unitary invariant ring if and only if both subsystems are qubits. The missing data are geometric: they encode the placement of global eigenspaces relative to the tensor-product decomposition
The separability from spectrum problem asks for a characterization of the eigenvalues of the bipartite mixed states $\ensuremath{\rho}$ with the property that ${U}^{\ifmmode\dagger\else\textdagger\fi{}}\ensuremath{\rho}U$ is separable for all unitary matrices UUU. This problem has been solved when the local dimensions mmm and nnn satisfy m=2m=2m=2 and $n\ensuremath{\le}3$. We solve all remaining qubit-qudit cases (i.e., when m=2m=2m=2 and $n\ensuremath{\ge}4$ is arbitrary). In all of these cases we show that a state is separable from spectrum if and only if ${U}^{\ifmmode\dagger\else\textdagger\fi{}}\ensuremath{\rho}U$ has positive partial transpose for all unitary matrices UUU. This equivalence is in stark contrast with the usual separability problem, where a state having positive partial transpose is a strictly weaker property than it being separable.
We investigate the geometric structure of the set of spectra of bipartite absolute separable states (ASEPm,n\mathrm{ASEP}_{m,n}ASEPm,n​) and absolute positive partial transpose states (APPTm,n\mathrm{APPT}_{m,n}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\mathrm{APPT}_{m,n}APPTm,n​ is a spectrahedron for all m≤nm\leq nm≤n: in particular, all its faces are exposed. While ASEP2,n\mathrm{ASEP}_{2,n}ASEP2,n​ is a spectrahedron, too, for ASEPm,n\mathrm{ASEP}_{m,n}ASEPm,n​ we can in general only show that it is a semialgebraic set for all m,n≥3m,n\geq 3m,n≥3. Furthermore, we provide a complete characterization of the faces and extreme points of APPTm,n\mathrm{APPT}_{m,n}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−1mn-m-1mn−m−1. In the quantitative setting, we provide a rigorous lower bound on the maximal attainable purity of APPTm,n\mathrm{APPT}_{m,n}APPTm,n​ via an inscribed polytope Pm,n\mathcal{P}_{m,n}Pm,n​ and conjecture that the maximal purity of APPTm,n\mathrm{APPT}_{m,n}APPTm,n​ (along with its spectra) coincides with the polytope for arbitrary dimensions except when m=n=2m=n=2m=n=2. Additionally, we also provide a rigorous upper bound on the minimal von Neumann entropy of APPTm,n\mathrm{APPT}_{m,n}APPTm,n​ and demonstrate numerically that the minimum entropy eventually coincides with the polytope Pm,n\mathcal{P}_{m,n}Pm,n​ as the local system dimension nnn increases. Finally, we show that the relative spectral volume of APPTm,n\mathrm{APPT}_{m,n}APPTm,n​ decays exponentially in nnn by a constant multiplicative factor of the relative volume of the inscribed polytope Pm,n\mathcal{P}_{m,n}Pm,n​.
The basic question that is addressed in this paper is finding the closest separable state for a given entangled state, measured with the Hilbert-Schmidt distance. While this problem is in general very difficult, we show that the following strongly related problem can be solved: find the Hilbert-Schmidt distance of an entangled state to the set of all partially transposed states. We prove that this latter distance can be expressed as a function of the negative eigenvalues of the partial transpose of the entangled state, and show how it is related to the distance of a state to the set of positive, partially transposed (PPT) states. We illustrate this by calculating the closest biseparable state to the W state and give a simple and very general proof for the fact that the set of W-type states is not of measure zero. Next we show that all surfaces with states whose partial transposes have constant minimal negative eigenvalue are similar to the boundary of PPT states. We illustrate this with some examples on bipartite qubit states, where contours of constant negativity are plotted on two-dimensional intersections of the complete state space.