REVIEW 2 major objections 6 minor 53 references
A partial-trace matrix inequality and Werner-state distillability
T0 review · 2 major / 6 minor · reviewed 2026-07-30 · grok-4.5
Pith's one-line read A rank-two partial-trace inequality proves that NPT Werner states are two-copy undistillable in every local dimension precisely when the mixing parameter is at least −1/2.
desk verdict Solid rank-two partial-trace inequality that closes two-copy Werner undistillability for all d; proof chain checks out, with the usual dependence on the Costa Rico/Qi equivalence. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The rank-two partial-trace inequality (Theorem 5). The proof rewrites the quadratic form as an explicit combination of ++ and −− parity projections on two copies of the bipartite space, then shows the remaining symmetric-subspace obstruction is controlled by a two-dimensional projection estimate (Lemmas 3–4).
What would settle it
Produce an explicit rank-at-most-two matrix C on some C^m ⊗ C^n for which q^{(2)}_{-1/2}(C) is strictly negative, or exhibit a concrete two-copy LOCC distillation protocol that extracts entanglement from any Werner state with α ≥ −1/2.
Extended reading notes
Core claim
For every bipartite matrix C of rank at most two, the quadratic form q^{(2)}_{-1/2}(C) = ∥C∥_F² − (1/2)(∥Tr_A C∥_F² + ∥Tr_B C∥_F²) + (1/4)|Tr C|² is non-negative. Equivalently, Werner states ρ_{α,d} are two-copy undistillable for all d ≥ 2 if and only if α ≥ −1/2; in particular every NPT Werner state with −1/2 ≤ α < −1/d is two-copy undistillable.
Load-bearing premise
The whole distillability conclusion rests on an external equivalence, taken as given, that says two-copy Werner distillability is exactly the existence of some rank-at-most-two matrix making the quadratic form negative.
Editorial extensions
If this is right
- Every NPT Werner state with −1/2 ≤ α < −1/d is two-copy undistillable in every local dimension d ≥ 3.
- Two independently one-copy-undistillable NPT Werner states cannot activate each other’s one-copy distillability.
- The singular-value bound conjectured for the two-copy 4×4 Werner problem is proved: for traceless A, B the sum of the top two squared singular values of A⊗I+I⊗B is at most ((3d−4)/d)(∥A∥_F²+∥B∥_F²).
- Under the Choi–Jamiołkowski isomorphism the same inequality says that the tensor product of the corresponding reduction-type maps remains 2-positive.
- The n-copy problem for n ≥ 3 is reduced to proving the same sign for the multipartite partial-trace form on every rank-two matrix.
Reading between the lines
- Because the rank-one case of the multipartite form is already non-negative for every n, any future counter-example to higher-copy undistillability would have to live in a genuinely rank-two sector and survive the growing number of even-parity projections.
- The two-parameter non-activation result suggests that activation of one-copy distillability for Werner states, if it occurs at all, requires an activator outside the Werner family or at least outside the one-copy-undistillable window.
- The projection-decomposition method may adapt to other families whose distillability has been reduced to low-rank partial-trace inequalities, not only Werner states.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that for every bipartite operator C on C^m ⊗ C^n of rank at most two, the quadratic form q^{(2)}_{-1/2}(C) = ∥C∥_F² − (1/2)(∥Tr_A C∥_F² + ∥Tr_B C∥_F²) + (1/4)|Tr C|² is nonnegative (Theorem 5). Via the equivalence of Costa Rico (2025) and Qi et al. (2024) between n-copy Werner-state distillability and the sign of q^{(n)}_α on rank-≤2 operators, plus the DiVincenzo et al. (2000) reduction of the interval [−1/2, −1/d) to the endpoint, this yields two-copy undistillability of all NPT Werner states ρ_{α,d} with α ≥ −1/2 in arbitrary dimension — a case highlighted as open in Horodecki et al., PRX Quantum 3, 010101 (2022). Additional results: a two-parameter extension q^{(2)}_{α,β}(C) ≥ 0 implying that two individually one-copy-undistillable NPT Werner states do not activate each other (Corollary 7); a resolution of the singular-value maximization problem for the 4×4 case (Corollary 6); and a proof of the rank-one case of the general n-copy inequality (Proposition 8).
Significance. Two-copy undistillability of NPT Werner states in arbitrary dimension has been open for over two decades and is listed among the five open problems in quantum information (PRX Quantum 2022). The result is therefore significant for the field. The proof itself is a self-contained piece of linear algebra: Proposition 2 gives an exact, parameter-free decomposition of q^{(2)}_{-1/2} into swap-projection norms plus a residual term ∥P_{++}w∥² − (1/2)∥P_{Sym²S}w∥², which Lemmas 3–4 show is nonnegative via Ky Fan, a Takagi-type decomposition, and a Cauchy–Schwarz argument with N = P_R⊗I + I⊗P_R. The inequality is sharp in the relevant sense and the corollaries give concrete, falsifiable statements (the activation obstruction and the (3d−4)/d constant). Confidence is further raised by the independent solution of Fu–Gao–Park [52] by a different method. The paper does not re-prove the external equivalence theorems on which the distillability interpretation rests; those are published and standard in this subfield, so this is a provenance matter rather than a correctness risk.
major comments (2)
- [Theorem 5, second paragraph of proof] The proof states only that undistillability 'follows from the established equivalences explained in the Introduction.' The 'iff α ≥ −1/2' conclusion actually bundles three distinct external inputs with different logical roles: (i) Theorem 1 converts q^{(2)}_{-1/2}(C) ≥ 0 into two-copy undistillability of the endpoint state ρ_{-1/2,d} only; (ii) the 2000 reduction in [41] is needed to extend from the endpoint to the whole interval [−1/2, −1/d) — this is essential because q^{(2)}_α is not monotone in α, so Theorem 5 alone does not close the gap; (iii) one-copy distillability for α < −1/2 comes from [40, 41]. Since the paper's headline claim is the full iff statement, the manuscript should state this reduction chain explicitly at the point of use (a sentence or two with the three citations and their roles), rather than deferring to a general remark in the Introduction. This is a completenes
- [Lemma 4 / Theorem 5 application] In the proof of Theorem 5, Lemma 4 is applied to |w⟩ with R = S = span{|e1⟩, |e2⟩}. Lemma 4 is stated for a two-dimensional subspace R ⊂ H, but S may be one-dimensional in the rank-one case (where the convention |x2⟩ = 0 is used after Eq. (14)). The reader must check separately that (25) still holds, or is not needed, when dim S = 1. Please add one line covering this degenerate case, since the rank-one/rank-two split is otherwise left implicit throughout §III.
minor comments (6)
- [Eq. (18), Lemma 3] The final chain 2(σ1²+σ2²) ≤ ∥Z∥_F² is only correct because of the intermediate bound derived in (21)–(24); as displayed, 2(σ1²+σ2²) ≤ ∥Z∥_F² is false in general (e.g., rank-one Z gives 2σ1² vs σ1²). The display (18) presents the conclusion before the argument that justifies it; consider reordering or annotating so the nontrivial step (the 1/√2 factor from P^{--}) is visible in the statement.
- [Corollary 6, Eq. (30)] The constant (3d−4)/d should be matched explicitly against the conjectured constant in [42, 43]: is (30) exactly the conjectured inequality, or a stronger/weaker form? A remark on tightness (e.g., whether equality is attained for some traceless A, B) would strengthen the corollary.
- [Corollary 7, proof] The device of tensoring with R = |0⟩⟨1| ∈ L(C²) to decouple the α and β terms is elegant but under-explained: please make explicit why Theorem 5 applies to C⊗R (rank(C⊗R) = rank C ≤ 2) and spell out the one-line computation giving ∥Tr_A C∥_F² ≤ 2∥C∥_F² from it.
- [§IV, Proposition 8] The bound q^{(n)}_{-1/2}(C) ≥ 2^{-n}∥C∥_F² uses I − F_k/2 ≥ I/2; it would be worth one remark on whether the same sector-counting obstruction described after Eq. (42) is the only barrier for rank two, or whether additional phenomena appear already at n = 3.
- [Throughout] Typographical issues: 'two swaps operators F_A and F_B' (after Eq. 6); 'considerable attentions' (§I); 'distillbility' (§I); several run-together citations in the arXiv version ('Horodeckiet al.', 'Qiet al.'); 'Ministry of education' capitalization in affiliation 2. The double dagger in 'Choi–Jamiołkowski isomorphism' contains a stray invisible character.
- [Note added / [52]] The acknowledgment of the independent work of Fu–Gao–Park is appropriate; given that both papers solve the same problem, a brief comparison of what each method yields beyond the shared conclusion (e.g., Corollary 6 and Corollary 7 here) would help readers place the two contributions.
Circularity Check
No circularity: the rank-two partial-trace inequality is proved from swap-projection identities, Ky Fan, and Cauchy–Schwarz; distillability conclusions inherit external equivalences, not a self-closed loop.
full rationale
The load-bearing mathematical claim is Theorem 5 / (29): q^{(2)}_{-1/2}(C) ≥ 0 for every rank-≤2 C. Its proof is internal and non-circular. Proposition 2 rewrites the quadratic form via the commuting projections P^{±}_A, P^{±}_B and the identities (10)–(12). Lemma 3 bounds ⟨z|(Q⊗I+I⊗Q)z⟩ for z ∈ Ran P^{--} by Ky Fan plus a Takagi decomposition and a nonnegativity estimate on ⟨z₂|(F_A+F_B)z₂⟩. Lemma 4 then controls ∥P_{Sym²R}|ξ⟩∥² ≤ 2∥P^{++}|ξ⟩∥² by Cauchy–Schwarz against N = P_R⊗I+I⊗P_R and an application of Lemma 3 to the legitimately antisymmetric component P^{--}ξ₀. Theorem 5 simply feeds |w⟩ ∈ S⊗H into Lemma 4. None of these steps defines the target quantity in terms of itself, fits a parameter to data, or imports a uniqueness theorem from the present authors. The Werner-state language (two-copy undistillability iff α ≥ −1/2; non-activation in Corollary 7) is obtained by invoking the external multipartite characterization Theorem 1 (Costa Rico 2025; Qi et al. 2024) and the classical endpoint reduction of DiVincenzo et al. (2000). Those citations are to other authors and are used as standard equivalences, not as self-citation chains that force the matrix inequality. Corollary 6 is a direct Cauchy–Schwarz application of (29) to the singular-value variational formula; Corollary 7 is a convex combination of the three endpoint cases of the two-parameter form. The derivation is therefore self-contained linear algebra plus ordinary external application theorems. Score 0; steps empty.
Assumptions & free parameters
assumptions (6)
- standard math Ky Fan maximum principle: for a Hermitian matrix, the sum of the top-k eigenvalues maximizes Tr(Q M) over rank-k projections Q.
- standard math Takagi / symmetric SVD: a complex symmetric matrix Z admits an orthonormal decomposition |z⟩=∑ σ_p |u_p⟩⊗|u_p⟩ when |z⟩ is full-swap symmetric.
- standard math Cauchy–Schwarz and |Tr(R²)|≤Tr(R*R) for the swap expectation estimates.
- domain assumption Theorem 1 equivalence: ρ_{α,d} is n-copy distillable iff some rank≤2 C has q^{(n)}_α(C)<0 (Costa Rico 2025; Qi et al. 2024).
- domain assumption Classical facts on Werner states: PPT/separable iff α≥−1/d; one-copy distillable for α∈[−1,−1/2); n-copy question reduces to the endpoint α=−1/2.
- standard math Swap-trick identities relating partial-trace Frobenius norms to expectations of FA, FB, FAFB (eqs. 10–12, A1).
Cite this review
Pith. "Pith review of A partial-trace matrix inequality and Werner-state distillability." pith.science (2026). https://pith.science/paper/VB33ISRH
@misc{pith2026260723416,
author = {Pith},
title = {Pith review of: A partial-trace matrix inequality and Werner-state distillability},
year = {2026},
howpublished = {\url{https://pith.science/paper/VB33ISRH}},
note = {Machine review of arXiv:2607.23416}
}
read the original abstract
Motivated by the equivalent partial-trace formulations of Werner-state distillability [P. Costa Rico, Lett. Math. Phys. 115, 47 (2025); S.-Y. Qi et al., Phys. Rev. A 110, 012406 (2024)], we prove a bipartite partial-trace inequality for every matrix of rank at most two. As applications, we prove the two-copy undistillability of NPT Werner states in arbitrary local dimension, thereby resolving this open problem highlighted in [P. Horodecki et al., PRX Quantum 3, 010101 (2022)]. We further prove a two-parameter extension of the matrix inequality and show that two individually one-copy-undistillable NPT Werner states cannot activate each other's one-copy distillability. We also resolve the singular-value maximization problem associated with the two-ququart case.
Reference graph
Works this paper leans on
-
[52]
E. Størmer. Tensor powers of2-positive maps.J. Math. Phys., 51(10):102203, 2010
2010
-
[41]
D. P. DiVincenzo, P. W. Shor, J. A. Smolin, B. M. Terhal, and A. V. Thapliyal. Evidence for bound entangled states with negative partial transpose.Phys. Rev. A, 61:062312, 2000
2000
-
[1]
C. H. Bennett, G. Brassard, C. Crépeau, R. Jozsa, A. Peres, and W. K. Wootters. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels.Phys. Rev. Lett., 70:1895–1899, 1993
1993
-
[2]
C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, and W. K. Wootters. Mixed-state entanglement and quantum error correction.Phys. Rev. A, 54:3824–3851, 1996
1996
-
[3]
E. M. Rains. Bound on distillable entanglement.Phys. Rev. A, 60:179, 1999
1999
-
[4]
E. M. Rains. A semidefinite program for distillable entanglement.IEEE Trans. Inf. Theory, 47:2921, 2001
2001
-
[5]
Bandyopadhyay and V
S. Bandyopadhyay and V. Roychowdhury. Classes ofn-copy undistillable quantum states with negative partial transposi- tion.Phys. Rev. A, 68:022319, 2003
2003
-
[6]
Ghosh, G
S. Ghosh, G. Kar, A. Roy, A. Sen(De), and U. Sen. Distinguishability of Bell states.Phys. Rev. Lett., 87(27):277902, 2001
2001
Show all 53 references
-
[7]
Vidal and R
G. Vidal and R. F. Werner. Computable measure of entanglement.Phys. Rev. A, 65:032314, 2002
2002
-
[8]
Oppenheim, M
J. Oppenheim, M. Horodecki, P. Horodecki, and R. Horodecki. Thermodynamical approach to quantifying quantum correlations.Phys. Rev. Lett., 89(18):180402, 2002
2002
-
[9]
S. Bose. Quantum communication through an unmodulated spin chain.Phys. Rev. Lett., 91:207901, 2003
2003
-
[10]
M. M. Wolf, J. Eisert, and M. B. Plenio. Entangling power of passive optical elements.Phys. Rev. Lett., 90:047904, 2003
2003
-
[11]
squashed entanglement
M. Christandl and A. Winter. “squashed entanglement”: An additive entanglement measure.J. Math. Phys., 45(3):829– 840, 2004
2004
-
[12]
Devetak and A
I. Devetak and A. Winter. Distillation of secret key and entanglement from quantum states.Proc. R. Soc. A, 461:207, 2005
2005
-
[13]
Fuentes-Schuller and R
I. Fuentes-Schuller and R. B. Mann. Alice falls into a black hole: Entanglement in noninertial frames.Phys. Rev. Lett., 95(12):120404, 2005
2005
-
[14]
Devetak and P
I. Devetak and P. W. Shor. The capacity of a quantum channel for simultaneous transmission of classical and quantum information.Commun. Math. Phys., 256(2):287–303, 2005
2005
-
[15]
M. M. Wolf, G. Giedke, and J. I. Cirac. Extremality of Gaussian quantum states.Phys. Rev. Lett., 96:080502, 2006
2006
-
[16]
Hayden, D
P. Hayden, D. W. Leung, and A. Winter. Aspects of generic entanglement.Commun. Math. Phys., 265(1):95–117, 2006
2006
-
[17]
Streltsov, H
A. Streltsov, H. Kampermann, and D. Bruß. Linking quantum discord to entanglement in a measurement.Phys. Rev. Lett., 106(16):160401, 2011
2011
-
[18]
Van Acoleyen, N
K. Van Acoleyen, N. Bultinck, J. Haegeman, M. Marien, V. B. Scholz, and F. Verstraete. Entanglement of distillation for lattice gauge theories.Phys. Rev. Lett., 117:131602, 2016
2016
-
[19]
Chitambar and M.-H
E. Chitambar and M.-H. Hsieh. Relating the resource theories of entanglement and quantum coherence.Phys. Rev. Lett., 117(2):020402, 2016
2016
-
[20]
Ecker, P
S. Ecker, P. Sohr, L. Bulla, M. Huber, M. Bohmann, and R. Ursin. Experimental single-copy entanglement distillation. Phys. Rev. Lett., 127(4):040506, 2021
2021
-
[21]
X.-X. Fang, G. N. M. Tabia, K.-S. Chen, Y.-C. Liang, and H. Lu. Experimental single-copy distillation of quantumness from higher-dimensional entanglement.Phys. Rev. Lett., 134(15):150201, 2025
2025
-
[22]
Horodecki, P
M. Horodecki, P. Horodecki, and R. Horodecki. Separability of mixed states: necessary and sufficient conditions.Phys. Lett. A, 223(1-2):1–8, 1996
1996
-
[23]
A. Peres. Separability criterion for density matrices.Phys. Rev. Lett., 77:1413, 1996
1996
-
[24]
Horodecki
P. Horodecki. Separability criterion and inseparable mixed states with positive partial transposition.Phys. Lett. A, 232:333, 1997
1997
-
[25]
Horodecki, P
M. Horodecki, P. Horodecki, and R. Horodecki. Mixed-state entanglement and distillation: Is there a “bound” entanglement in nature?Phys. Rev. Lett., 80:5239–5242, 1998
1998
-
[26]
Horodecki, P
R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki. Quantum entanglement.Rev. Mod. Phys., 81(2):865–942, 2009
2009
-
[27]
R. O. Vianna and A. C. Doherty. Distillability of Werner states using entanglement witnesses and robust semidefinite programs.Phys. Rev. A, 74:052306, 2006
2006
-
[28]
J. Watrous. Many copies may be required for entanglement distillation.Phys. Rev. Lett., 93(1):010502, 2004
2004
-
[29]
Horodecki, L
P. Horodecki, L. Rudnicki, and K. Zyczkowski. Five open problems in quantum information theory.PRX Quantum, 3:010101, 2022
2022
-
[30]
P. W. Shor, J. A. Smolin, and B. M. Terhal. Nonadditivity of bipartite distillable entanglement follows from a conjecture on bound entangled Werner states.Phys. Rev. Lett., 86(12):2681–2684, 2001. arXiv preprint: arXiv:quant-ph/0010054. 9
2001 arXiv
-
[31]
Kaneda, R
F. Kaneda, R. Shimizu, S. Ishizaka, Y. Mitsumori, H. Kosaka, and K. Edamatsu. Experimental activation of bound entanglement.Phys. Rev. Lett., 109(4), 2012
2012
-
[32]
Vidal and J
G. Vidal and J. I. Cirac. Irreversibility in asymptotic manipulations of entanglement.Phys. Rev. Lett., 86:5803–5806, 2001
2001
-
[33]
Horodecki, P
M. Horodecki, P. Horodecki, and R. Horodecki. Inseparable two spin-1 2 density matrices can be distilled to a singlet form. Phys. Rev. Lett., 78:574–577, 1997
1997
-
[34]
Horodecki and P
M. Horodecki and P. Horodecki. Reduction criterion of separability and limits for a class of distillation protocols.Phys. Rev. A, 59:4206, 1999
1999
-
[35]
Characterizationofdistillableandactivatablestatesusingentanglementwitnesses
B.Kraus, M.Lewenstein, andJ.I.Cirac. Characterizationofdistillableandactivatablestatesusingentanglementwitnesses. Phys. Rev. A, 65:042327, 2002
2002
-
[36]
Chen and D
L. Chen and D. Z. Djokovicá. Distillability and PPT entanglement of low-rank quantum states.J. Phys. A: Math. Theor., 44(28):285303, 2011
2011
-
[37]
Chen and Y.-X
L. Chen and Y.-X. Chen. Rank-three bipartite entangled states are distillable.Phys. Rev. A, 78:022318, 2008
2008
-
[38]
Chen and D
L. Chen and D. Z. Djokovicá. Distillability of non-positive-partial-transpose bipartite quantum states of rank four.Phys. Rev. A, 94:052318, 2016
2016
-
[39]
R. F. Werner. Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model.Phys. Rev. A, 40:4277–4281, 1989
1989
-
[40]
W. Dür, J. I. Cirac, M. Lewenstein, and D. Bruß. Distillability and partial transposition in bipartite systems.Phys. Rev. A, 61:062313, 2000
2000
-
[42]
Recently, Ref
converted the distillability problem of two-copy4×4Werner states into the maximization of square sum of two singular values, with some progress made in the past years [43, 44]. Recently, Ref. [45, Theorem 1] and Ref. [46, Theorem V.1] have respectively reduced the distillabili...
-
[43]
Pankowski, M
L. Pankowski, M. Piani, M. Horodecki, and P. Horodecki. A few steps more towards NPT bound entanglement.IEEE Trans. Inf. Theory, 56(8):4085–4100, 2010
2010
-
[44]
L. Qian, L. Chen, D. Chu, and Y. Shen. A matrix inequality for entanglement distillation problem.Linear Algebra Appl., 616:139–177, 2021
2021
-
[45]
W. K. Sio and C.-M. Cheng. A note on a conjecture from distillability of quantum entanglement.Linear Algebra Appl., 707:152–161, 2025
2025
-
[46]
P. C. Rico. New partial trace inequalities and distillability of Werner states.Lett. Math. Phys., 115(3):1–27, 2025
2025
-
[47]
S.-Y. Qi, G. Gupur, Y.-C. Wu, and G.-P. Guo. Nonpositive-transpose entanglement and bound entanglement: From distillability sets to inequalities and multivariable insights.Phys. Rev. A, 110(1):012406, 2024
2024
-
[48]
R. A. Horn and C. R. Johnson.Matrix Analysis. Cambridge University Press, Cambridge, 2 edition, 2013
2013
-
[49]
T. Takagi. On an algebraic problem related to an analytic theorem of Carathéodory and Fejér and on an allied theorem of landau.Jpn. J. Math., 1:83–93, 1924
1924
-
[50]
K. G. H. Vollbrecht and M. M. Wolf. Activating distillation with an infinitesimal amount of bound entanglement.Phys. Rev. Lett., 88(24):247901, 2002
2002
-
[51]
Clarisse
L. Clarisse. Characterization of distillability of entanglement in terms of positive maps.Phys. Rev. A, 71(3):032332, 2005
2005
-
[53]
J. Fu, L. Gao, and S.-J. Park. A solution to 2-copy distillability of Werner states, 2026. arXiv:2607.21367
2026 arXiv
Reviewed July 30, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.