REVIEW
The Inverse Eigenvalue Problem for Partial Transposes of Two-Qubit States
Quantum Physics · Submitted 29 Aug 2026 · 44 references
Pith's verdict: Clean solution of an open inverse eigenvalue problem for two-qubit PT spectra, with a clever two-copy necessity proof and explicit X-state construction.
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Two-qubit partial-transpose inverse eigenvalue problem completely solved.
The reading
What carries the argument
The core argument has two parts. Necessity uses a two-copy analysis: the antisymmetric subspace of two copies decomposes into E = ∧²A ⊗ Sym²B and F = Sym²A ⊗ ∧²B. When both subsystems are qubits, the local antisymmetric spaces are one-dimensional, forcing the operator K+JKJ (where K = ∧²($ρ^{{Γ_B}}$) and J = Q_E - Q_F) to be positive semidefinite. This yields eigenvalue-pairing inequalities κ_i + κ_{7-i} ≥ 0, which translate directly into q≤y and qy≤xz. Sufficiency is established by an explicit X-state whose steering ellipsoid is an axisymmetric spheroid tangent to the Bloch sphere; the inequalities q≤y and qy≤xz correspond respectively to the allowed ellipsoid-center region and the fixed-center volume bound, and after canonical filtering they become the complete-positivity condition of an associated phase-covariant qubit channel.
Extended reading notes
Core claim
For two qubits, an ordered candidate eigenvalue list with one negative entry is realizable as the spectrum of the partial transpose of some density operator if and only if the negative eigenvalue q satisfies q≤y and qy≤xz, where (x,y,z) are the three positive eigenvalues in descending order and x+y+z-q=1. Every nonnegative trace-one four-point spectrum is always realizable by a PPT state. This tightens the earlier block-positive condition q²≤xz to qy≤xz, showing that not every block-positive operator with trace one arises as a partial transpose of a density operator.
Load-bearing premise
The necessity proof relies on the fact that both subsystems are qubits (dimension 2), making the local antisymmetric subspaces one-dimensional; this structural property is essential and does not generalize to higher dimensions without additional correction terms.
Editorial extensions
If this is right
- Every nonnegative trace-one four-point spectrum is realizable by a PPT state, so the inverse problem is nontrivial only for spectra with a negative eigenvalue.
- The two-qubit result gives the exact negativity range from the two lowest PT moments p2 and p3, providing analytic formulas for the minimum and maximum negativity given these moments.
- The inequalities persist as necessary constraints in qubit–qudit systems: any negative eigenvector of ρ^{Γ_B} has Schmidt rank two, and after projection to its two-qubit support the projected operator satisfies q≤b and qb≤ac.
- The steering-ellipsoid geometry of the X-state representative ties the inverse eigenvalue conditions to the complete positivity of an associated phase-covariant channel, giving a geometric picture for the realizability boundaries.
Reading between the lines
- The explicit X-state construction and its steering-ellipsoid interpretation suggest that other geometric invariants, such as ellipsoid chirality or correlation tensor determinant, might encode further constraints on the PT spectrum not captured by the inverse eigenvalue conditions alone.
- The two-moment negativity bounds derived here could be used directly in experiments that estimate p2 and p3 via local randomized measurements, providing a certified interval for negativity without full state tomography.
- Extending the inverse theorem to qubit–qudit systems likely requires understanding the joint consistency of several two-qubit projections derived from different negative eigenvectors, a problem that may involve higher exterior powers or multicopy symmetry constraints.
Original abstract
For a bipartite state $\rho$, information about the spectrum of its partial transpose $\rho^{\Gamma_B}$ can be inferred from measurements on multiple copies of $\rho$, without full state tomography. This raises a natural question: which eigenvalue lists can arise as $\operatorname{spec}(\rho^{\Gamma_B})$ for a density operator $\rho$? We completely solve this inverse eigenvalue problem for two qubits. Every nonnegative trace-one spectrum is realized as $\operatorname{spec}(\rho^{\Gamma_B})$ by some PPT state $\rho$, 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[(\rho^{\Gamma_B})^2]$ and $p_3=Tr[(\rho^{\Gamma_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.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
For a bipartite state $\rho$, information about the spectrum of its partial transpose $\rho^{\Gamma_B}$ can be inferred from measurements on multiple copies of $\rho$, without full state tomography. This raises a natural question: which eigenvalue lists can arise as $\operatorname{spec}(\rho^{\Gamma_B})$ for a density operator $\rho$? We completely solve this inverse eigenvalue problem for two qubits. Every nonnegative trace-one spectrum is realized as $\operatorname{spec}(\rho^{\Gamma_B})$ by some PPT state $\rho$, 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[(\rho^{\Gamma_B})^2]$ and $p_3=Tr[(\rho^{\Gamma_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.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | For a bipartite state $\rho$, information about the spectrum of its partial transpose $\rho^{\Gamma_B}$ can be inferred from measurements on multiple copies of $\rho$, without full state tomography. | background 1.00 | 0.18 | 0.04 | asserted 0.80 |
| s1 | This raises a natural question: which eigenvalue lists can arise as $\operatorname{spec}(\rho^{\Gamma_B})$ for a density operator $\rho$? | gap 0.64 | 0.07 | 0.03 | unclear 0.74 |
| s2 | We completely solve this inverse eigenvalue problem for two qubits. | contribution 0.94 | 0.96 | 0.32 | asserted 1.00 |
| s3 | Every nonnegative trace-one spectrum is realized as $\operatorname{spec}(\rho^{\Gamma_B})$ by some PPT state $\rho$, 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$. | result 0.99 | 0.95 | 0.92 | asserted 1.00 |
| s4 | 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. | interpretation 0.60 | 0.94 | 0.10 | asserted 1.00 |
| s5 | Beyond this geometric picture, the two-qubit inverse theorem also yields exact negativity bounds from the two lowest nontrivial PT moments. | result 0.57 | 0.93 | 0.09 | asserted 1.00 |
| s6 | Given fixed values of $p_2=Tr[(\rho^{\Gamma_B})^2]$ and $p_3=Tr[(\rho^{\Gamma_B})^3]$, we determine the exact minimum and maximum negativity over all two-qubit states subject to these moment constraints. | result 0.57 | 0.95 | 0.09 | asserted 1.00 |
| s7 | 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$. | result 0.99 | 0.94 | 0.06 | asserted 0.99 |
| s8 | Finally, we show how the two-qubit inequalities persist as necessary constraints for the inverse eigenvalue problem in qubit--qudit systems. | result 0.75 | 0.93 | 0.07 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:2608.29068 by the authors.
References
How the literature uses it
What this paper does with the arXiv papers it cites
What it cites · 26 sentences without a confident label
Uses the method or tool of 2 papers
-
Applying the standard invertible filter that makes Bob's reduced state maximally mixed [ref] removes $β$ without changing Alice's steering ellipsoid, giving [equation] With $|Ψ^+⟩=(|01⟩+|10⟩)/√(2)$ as the Choi reference, this state corresponds to amplitude damping with parameter $c$, followed by dephasing with coherence factor $√(ν)$.
Local filtering operations on two qubits · Canonical channel coordinates · 0.94
-
Applying the standard invertible filter that makes Bob's reduced state maximally mixed [ref] removes $β$ without changing Alice's steering ellipsoid, giving [equation] With $|Ψ^+⟩=(|01⟩+|10⟩)/√(2)$ as the Choi reference, this state corresponds to amplitude damping with parameter $c$, followed by dephasing with coherence factor $√(ν)$.
Quantum Steering Ellipsoids · Canonical channel coordinates · 0.94
Compares with 1 paper
-
For comparison, the corresponding two-qubit block-positive theorem requires only $q≤y$ and $q^2≤xz$ [ref] ; requiring the operator to be the partial transpose of a density operator tightens the second bound to $qy≤xz$.
The Inverse Eigenvalue Problem for Entanglement Witnesses · Introduction · 1.00
Cites as background 9 papers
-
Although complete knowledge of $spec(ρ^Γ_B)$ suffices to test separability for two qubits, its inverse eigenvalue problem remains nontrivial: given a trace-one eigenvalue list $λ$, does there exist a density operator $ρ_AB$ such that [equation] Related inverse problems include the inverse eigenvalue problem for block-positive operators [ref] and absolute-PPT theory [ref] .
PPT from spectra · Introduction · 0.92
-
Although complete knowledge of $spec(ρ^Γ_B)$ suffices to test separability for two qubits, its inverse eigenvalue problem remains nontrivial: given a trace-one eigenvalue list $λ$, does there exist a density operator $ρ_AB$ such that [equation] Related inverse problems include the inverse eigenvalue problem for block-positive operators [ref] and absolute-PPT theory [ref] .
The Inverse Eigenvalue Problem for Entanglement Witnesses · Introduction · 0.92
-
Two-qubit PT-moment regions have been characterized in Refs. [ref] , and moment-based entanglement phase diagrams were studied in Ref. [ref] .
Visualization of all two-qubit states via partial-transpose-moments · Introduction · 0.93
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.