Pith. sign in

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 →

arxiv 2607.23416 v1 pith:VB33ISRH submitted 2026-07-26 quant-ph

classification quant-ph MSC 81P4081P4215A45 PACS 03.67.Mn03.65.Ud
keywords Wernerstatesentanglementdistillabilitypartial-traceinequalityNPTboundrank-twomatricestwo-copyundistillabilityactivation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper settles a long-open finite-copy question about Werner states: whether the non-positive-partial-transpose (NPT) members that are already one-copy undistillable can still be distilled from two copies. The authors prove a bipartite matrix inequality: for every operator of rank at most two, a quadratic form built from the operator and its partial traces is always non-negative. Via known equivalences that turn Werner distillability into the sign of that form, the inequality implies two-copy undistillability exactly when the Werner parameter is at least −1/2, in every dimension. They also extend the inequality to two parameters, showing that two separately one-copy-undistillable NPT Werner states cannot activate each other’s one-copy distillability, and they resolve a related singular-value maximization problem for the two-ququart case. A sympathetic reader cares because two-copy undistillability of the entire remaining NPT Werner family was listed among the central open problems of theoretical quantum information, and the result closes that finite-copy gate without needing asymptotic arguments.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 6 minor

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)
  1. [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
  2. [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)
  1. [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.
  2. [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.
  3. [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.
  4. [§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.
  5. [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.
  6. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 6 assumptions · 0 invented entities

The result is a pure-math inequality plus cited equivalences from the Werner distillability literature. No fitted parameters. Background axioms are standard linear algebra and the external distillability↔partial-trace characterization. No new physical entities are postulated.

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.
    Invoked in Lemma 3 to bound ⟨z|(Q⊗I+I⊗Q)z⟩ by 2(σ₁(Z)²+σ₂(Z)²).
  • 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.
    Used in Lemma 3 via Horn & Johnson / Takagi citation to pass from Z to the two-singular-value truncation |z₂⟩.
  • standard math Cauchy–Schwarz and |Tr(R²)|≤Tr(R*R) for the swap expectation estimates.
    Applied in Lemma 3 eqs. (22)–(24) and again in Lemma 4's estimate (28).
  • 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).
    Stated as Theorem 1 and used to convert the proved inequality into two-copy undistillability and into Corollary 7's activation claim.
  • 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.
    Cited from Werner 1989, Dür et al. 2000, DiVincenzo et al. 2000; used in the Introduction and Theorem 5 consequence paragraph.
  • standard math Swap-trick identities relating partial-trace Frobenius norms to expectations of FA, FB, FAFB (eqs. 10–12, A1).
    Standard in QI linear algebra; underpin Proposition 2 and Appendix A.

how reviews work

0 comments
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.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

53 extracted references · 2 linked inside Pith

  1. [52]

    E. Størmer. Tensor powers of2-positive maps.J. Math. Phys., 51(10):102203, 2010

  2. [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

  3. [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

  4. [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

  5. [3]

    E. M. Rains. Bound on distillable entanglement.Phys. Rev. A, 60:179, 1999

  6. [4]

    E. M. Rains. A semidefinite program for distillable entanglement.IEEE Trans. Inf. Theory, 47:2921, 2001

  7. [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

  8. [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

Show all 53 references
  1. [7]

    Vidal and R

    G. Vidal and R. F. Werner. Computable measure of entanglement.Phys. Rev. A, 65:032314, 2002

  2. [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

  3. [9]

    S. Bose. Quantum communication through an unmodulated spin chain.Phys. Rev. Lett., 91:207901, 2003

  4. [10]

    M. M. Wolf, J. Eisert, and M. B. Plenio. Entangling power of passive optical elements.Phys. Rev. Lett., 90:047904, 2003

  5. [11]

    squashed entanglement

    M. Christandl and A. Winter. “squashed entanglement”: An additive entanglement measure.J. Math. Phys., 45(3):829– 840, 2004

  6. [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

  7. [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

  8. [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

  9. [15]

    M. M. Wolf, G. Giedke, and J. I. Cirac. Extremality of Gaussian quantum states.Phys. Rev. Lett., 96:080502, 2006

  10. [16]

    Hayden, D

    P. Hayden, D. W. Leung, and A. Winter. Aspects of generic entanglement.Commun. Math. Phys., 265(1):95–117, 2006

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [23]

    A. Peres. Separability criterion for density matrices.Phys. Rev. Lett., 77:1413, 1996

  18. [24]

    Horodecki

    P. Horodecki. Separability criterion and inseparable mixed states with positive partial transposition.Phys. Lett. A, 232:333, 1997

  19. [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

  20. [26]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki. Quantum entanglement.Rev. Mod. Phys., 81(2):865–942, 2009

  21. [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

  22. [28]

    J. Watrous. Many copies may be required for entanglement distillation.Phys. Rev. Lett., 93(1):010502, 2004

  23. [29]

    Horodecki, L

    P. Horodecki, L. Rudnicki, and K. Zyczkowski. Five open problems in quantum information theory.PRX Quantum, 3:010101, 2022

  24. [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

  25. [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

  26. [32]

    Vidal and J

    G. Vidal and J. I. Cirac. Irreversibility in asymptotic manipulations of entanglement.Phys. Rev. Lett., 86:5803–5806, 2001

  27. [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

  28. [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

  29. [35]

    Characterizationofdistillableandactivatablestatesusingentanglementwitnesses

    B.Kraus, M.Lewenstein, andJ.I.Cirac. Characterizationofdistillableandactivatablestatesusingentanglementwitnesses. Phys. Rev. A, 65:042327, 2002

  30. [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

  31. [37]

    Chen and Y.-X

    L. Chen and Y.-X. Chen. Rank-three bipartite entangled states are distillable.Phys. Rev. A, 78:022318, 2008

  32. [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

  33. [39]

    R. F. Werner. Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model.Phys. Rev. A, 40:4277–4281, 1989

  34. [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

  35. [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...

  36. [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

  37. [44]

    L. Qian, L. Chen, D. Chu, and Y. Shen. A matrix inequality for entanglement distillation problem.Linear Algebra Appl., 616:139–177, 2021

  38. [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

  39. [46]

    P. C. Rico. New partial trace inequalities and distillability of Werner states.Lett. Math. Phys., 115(3):1–27, 2025

  40. [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

  41. [48]

    R. A. Horn and C. R. Johnson.Matrix Analysis. Cambridge University Press, Cambridge, 2 edition, 2013

  42. [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

  43. [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

  44. [51]

    Clarisse

    L. Clarisse. Characterization of distillability of entanglement in terms of positive maps.Phys. Rev. A, 71(3):032332, 2005

  45. [53]

    J. Fu, L. Gao, and S.-J. Park. A solution to 2-copy distillability of Werner states, 2026. arXiv:2607.21367

Pith tools

Reviewed July 30, 2026 · model on record in the stance chip above.