Pith. sign in

REVIEW 1 major objections 4 minor 2 cited by

A solution to 2-copy distillability of Werner states

T0 review · 1 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Werner states are 2-copy distillable exactly when they are 1-copy distillable

desk verdict This paper settles the 2-copy Werner-state distillability threshold in all dimensions, and the proof holds up; the stress-test 'false equality' is a misreading of the text. read the letter →

arxiv 2607.21367 v2 pith:EO4ELTTV submitted 2026-07-23 quant-ph math-phmath.MPmath.OA

Jinshi Fu , Li Gao , Sang-Jun Park This is my paper
classification quant-phmath-phmath.MPmath.OA MSC 81P4081P4515A69 PACS 03.67.Mn03.67.-a
keywords Wernerstatesentanglementdistillation2-copydistillabilitypartialtransposeNPTboundantisymmetricsubspaceSchmidtrankquantum
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

The paper proves that for Werner states in any dimension, a second copy never unlocks distillation that was not already possible with one copy. The 2-copy threshold coincides with the 1-copy threshold: a Werner state is 2-copy distillable if and only if the state parameter α satisfies α < -1/2. This settles a long-standing open question about the first genuinely collective case of distillation, and it provides a new exact benchmark for the broader question of whether every non-positive partial transpose (NPT) state is distillable. The proof reduces the problem to the boundary value α = -1/2 and establishes a sharp, dimension-independent geometric estimate about antisymmetric projections on symmetric subspaces. As a direct consequence, any Werner state in the NPT but 1-copy-undistillable interval, if distillable at all, requires at least three copies.

What carries the argument

The central object is the sharp projection estimate for the tensor product of two antisymmetric projections: ⟨ψ|(Π_A^{(13)} ⊗ Π_A^{(24)})|ψ⟩ ≤ 1/2 for every unit vector ψ whose Schmidt rank across the 12:34 partition is at most two. Here Π_A = (I - F)/2 with F the flip operator. This dimension-independent estimate is proved by restricting to a two-dimensional subspace, using the symmetric-subspace Schmidt decomposition, and applying Hölder-type norm inequalities. The endpoint argument then converts the 2-copy undistillability condition into a Schur-complement condition on a block operator S_V^* S_V, whose blocks are controlled by the zeroth, first, and second variations of the same projectio

What would settle it

A concrete counterexample would be a Werner state with parameter α satisfying -1/2 ≤ α < -1/d together with a Schmidt-rank-two test vector ψ such that ⟨ψ|(ρ^Γ_α)^{⊗2}|ψ⟩ < 0. Equivalently, for some dimension d ≥ 4, exhibit Hilbert–Schmidt orthonormal matrices V_1, V_2 and arbitrary matrices W_1, W_2 that violate inequality (9), which would directly contradict the endpoint condition and hence Theorem 1.1.

Watch

Extended reading notes

Core claim

For every local dimension d ≥ 2, the Werner state ρ_α is 2-copy undistillable if and only if -1/2 ≤ α ≤ 1, meaning the 2-copy distillability threshold coincides exactly with the known 1-copy threshold. The proof hinges on the endpoint case α = -1/2: a sharp estimate (Theorem 2.4) shows that for any bipartite pure state of Schmidt rank at most two, the expectation of the tensor product of two antisymmetric projections is at most 1/2, with equality attained. The authors recast the 2-copy undistillability condition at the endpoint as a block-operator inequality, then identify its diagonal, off-diagonal, and transverse components with the value, first variation, and second variation of the restr

Load-bearing premise

The proof that 2-copy undistillability at the single endpoint α = -1/2 implies undistillability for the whole interval [-1/2, 1] relies on a convexity/PPT-extension lemma from earlier work; if that lemma does not apply here, the theorem would only be proven at the endpoint rather than across the full interval.

Editorial extensions

If this is right

  • For every dimension d ≥ 2, the 2-copy distillability of Werner states is now completely determined, closing the gap between previously known sufficient conditions and the conjectured sharp threshold.
  • Any counterexample to the general NPT-distillability question that might exist within the Werner family cannot appear at the two-copy level; it would have to require three or more copies.
  • The sharp constant ∥Π_A^{(13)} ⊗ Π_A^{(24)}∥_{S(2)} = 1/2 provides a new tool for computing S(k)-norms, Schmidt-number witnesses, and positivity of tensor powers of linear maps.
  • Several previously studied equivalent formulations for d = 4, including a matrix inequality about sums of squares of singular values, are resolved by this same geometric estimate.
  • If a Werner state in the interval -1/2 ≤ α < -1/d is distillable at all, the distillation protocol must consume at least three copies.

Reading between the lines

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

  • The same variation-of-projection strategy could be extended to r copies, where the relevant quantity would be an r-fold tensor product of antisymmetric projections; a sharp estimate there would imply higher-copy undistillability and potentially NPT bound entanglement within the Werner family.
  • One could test numerically whether the sharp constant for three copies matches a natural generalization of 1/2; a violation for some Schmidt-rank-two state would indicate that the present mechanism does not extend directly.
  • The identification of the Schur-complement blocks with variations of a projection suggests a possible template for other distillation thresholds that reduce to a single extremal pure-state inequality.
  • Because the theorem is dimension-independent, it may inform the asymptotic question of whether NPT Werner states are distillable at all, though the paper leaves that open.
Share X Bluesky LinkedIn Reddit HN

Formalized claims in Lean

  1. Claim #1: Werner states in arbitrary dimension are 2-copy distillable if and only if they are 1-copy distillable.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 4 minor

Summary. The paper proves that for every d≥2, the Werner state ρ_α is 2-copy undistillable exactly for -1/2≤α≤1, so that 2-copy distillability coincides with 1-copy distillability in the Werner family. The proof reduces to the endpoint α=-1/2, recasts the 2-copy condition as a block-operator inequality (Lemma 3.1), and establishes a sharp geometric bound (Theorem 2.4): for any bipartite pure state of Schmidt rank at most two, ⟨ψ|Π_A^{(13)}⊗Π_A^{(24)}|ψ⟩≤1/2∥ψ∥². The geometric bound is proved via Takagi factorization and a Hölder estimate (Lemma 2.3), and Lemmas 3.2–3.4 identify the zeroth, first, and second variations of the restricted antisymmetric projection, which are combined with Cauchy–Schwarz to yield the required Schur-complement conditions.

Significance. If correct, this resolves a long-standing open question: the 2-copy distillability threshold for Werner states coincides with the 1-copy threshold in every dimension. The proof is self-contained modulo standard published results (Takagi factorization, Hölder inequalities, the Johnston–Kribs S(2)-norm, and the DSS+00 convexity reduction), uses no fitted parameters, and the central geometric constant 1/2 is shown to be sharp with an explicit attaining state. The structure of the argument — converting a finite-copy distillation question into a single dimension-independent projection inequality — is elegant and likely to be useful for other S(k)-norm and Schmidt-number problems.

major comments (1)
  1. [§2, Lemma 2.3] The stress-test concern about a false equality does not land. In the displayed chain after the Hölder bound, the middle term is -2s1s2‖V1‖_4^2‖V2‖_4^2 and the right-hand side is (s1‖V1‖_4^2 - s2‖V2‖_4^2)^2, not a version with ‖·‖_2^2. With this reading the equality is valid, and the lower bound follows from |Re Tr(V1*V2V1*V2)| ≤ ‖V1‖_4^2‖V2‖_4^2 by Hölder. The example with V1=I/√d, V2=W/√d computes with ‖·‖_2^2 and therefore does not contradict the manuscript. I found no gap in Lemma 2.3 or in its use in Theorem 2.4.
minor comments (4)
  1. [§3.1] The parametrization |w_i⟩=|vec W_i⟩=I⊗W_i|Ω_d⟩ is inconsistent with the earlier convention |vec X⟩=(X⊗I)|Ω_n⟩. Please state explicitly that the second factor uses a different (or conjugated/transposed) convention and explain the 'entrywise conjugation' remark; as written, a reader may worry about transposes in the contraction identities.
  2. [§1] Typo: 'distillatibility' appears in the first paragraph of Section 1.
  3. [§2, Lemma 2.3] The notation ‖V_i‖_4^2 is easy to misread as ‖V_i‖_2^2. On first use, consider writing (Tr|V_i|^4)^{1/2} or adding a parenthetical remark.
  4. [§4] In the d=4 comparison, the identity factors such as I_{4^2} and the tensor products could be labelled more explicitly to avoid confusion between the four-qudit factors.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: proof is self-contained and relies on external standard theorems; no fitted predictions or self-citation chains.

full rationale

The paper's central claim (Theorem 1.1) is a mathematical theorem derived from an endpoint inequality at alpha = -1/2, extended to the interval via external Lemma 4 of [DSS+00] (convexity/PPT reduction). The endpoint block-operator inequality is proven through Lemmas 3.1-3.4, which use the sharp projection estimate Theorem 2.4, proved via Lemma 2.3, Proposition 2.1 (Takagi factorization), and [JK10, Theorem 3.3]. No parameter is fitted to data; no quantity called a prediction is defined in terms of the target. The authors cite no prior work of their own; all load-bearing citations (Takagi, Holder, [JK10], [DSS+00], [DCLB00]) are external published results with assumptions independent of the theorem. The AI statement concerns tool use, not circularity. The skeptic's objection is an alleged algebraic equality error in Lemma 2.3, which is a correctness issue, not a reduction of the theorem to its inputs. Therefore circularity score 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters and no invented entities. The proof relies only on standard mathematical theorems and a cited distillation-theory reduction; no circular self-derived inputs.

assumptions (5)
  • standard math Takagi's factorization for complex symmetric matrices (used in Proposition 2.1)
    Decomposes symmetric vectors in H∨H as a superposition of squared Schmidt vectors; standard linear algebra.
  • standard math Hölder's inequality for Schatten 4-norms (used in Lemma 2.3)
    Bounds the cross term in the projection estimate; standard matrix analysis.
  • standard math JK10 Theorem 3.3: maximum overlap of a Schmidt-rank-2 state with a fixed state φ equals the sum of the two largest squared Schmidt coefficients of φ
    External published result used in the proof of Theorem 2.4; load-bearing for the sharp projection estimate.
  • domain assumption Convexity of the set of r-copy undistillable states and PPT undistillability (DSS+00 Lemma 4)
    Extends the endpoint α=-1/2 result to the whole interval [-1/2,1]; standard quantum information argument cited to DSS+00.
  • standard math Schur complement criterion for positive semidefinite block operators (used in Lemma 3.1)
    Converts the operator inequality into scalar inequalities; standard linear algebra.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A solution to 2-copy distillability of Werner states." pith.science (2026). https://pith.science/paper/EO4ELTTV

@misc{pith2026260721367,
  author       = {Pith},
  title        = {Pith review of: A solution to 2-copy distillability of Werner states},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EO4ELTTV}},
  note         = {Machine review of arXiv:2607.21367}
}
read the original abstract

Entanglement distillation is a fundamental task in quantum information theory. In this work, we prove that Werner states in arbitrary dimension are 2-copy distillable if and only if they are 1-copy distillable. This answers the longstanding open question of the 2-copy distillability of Werner states. This is an important step on determining whether every non-positive partial transpose (NPT) state is distillable, which remains one of the central open problems in the field of entanglement distillation.

Figures

Figures reproduced from arXiv: 2607.21367 by the authors.

Figure 1
Figure 1. A graphical proof of Eq. (2) Lemma 2.3. Let H ⊆ C d ⊗ C d be a subspace with dim(H) ≤ 2. Then, for every symmetric vector |ψ⟩ ∈ H(12) ∨ H(34) ⊆ (C d ) ⊗4 , one has ∥(Π(13) A ⊗ Π (24) A )|ψ⟩ ∥2 ≤ 1 2 ∥ψ∥ 2 . (4) Proof. Since |ψ⟩ is symmetric under the exchange of the two copies 12 ↔ 34, we have F (12:34) |ψ⟩ = F (13)F (24) |ψ⟩ = |ψ⟩, F(13) |ψ⟩ = F (24) |ψ⟩. (5) Using ΠA = (Id 2 − Fd)/2, we obtain ∥(Π(13) A ⊗ Π (24) A… view at source ↗

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Two-copy nondistillability of Werner states: sharp partial-trace inequalities and finite-copy extensions

    quant-ph 2026-07 accept novelty 7.0 of 10

    Werner states ρ_α are two-copy distillable if and only if α < −1/2, via a sharp dimension-free rank-two partial-trace inequality.

  2. A partial-trace matrix inequality and Werner-state distillability

    quant-ph 2026-07 accept novelty 7.0 of 10

    Every rank-at-most-two bipartite matrix satisfies a partial-trace inequality that implies two-copy undistillability of NPT Werner states for all local dimensions when α ≥ −1/2.

Reference graph

Works this paper leans on

36 extracted references · 3 linked inside Pith · cited by 2 Pith papers

  1. [1]

    Purification of noisy entanglement and faithful teleportation via noisy channels

    Charles H Bennett, Gilles Brassard, Sandu Popescu, Benjamin Schumacher, John A Smolin, and William K Wootters. Purification of noisy entanglement and faithful teleportation via noisy channels. Physical review letters , 76(5):722, 1996

    1996

  2. [2]

    Mixed-state entanglement and quantum error correction

    Charles H Bennett, David P DiVincenzo, John A Smolin, and William K Wootters. Mixed-state entanglement and quantum error correction. Physical Review A , 54(5):3824, 1996

    1996

  3. [3]

    Distillability and PPT entanglement of low-rank quantum states

    Lin Chen and Dragomir Z okovi \'c . Distillability and PPT entanglement of low-rank quantum states. Journal of Physics A: Mathematical and Theoretical , 44(28):285303, 2011

    2011

  4. [4]

    Positive linear-maps

    Man Duen Choi. Positive linear-maps. In Proceedings of Symposia in Pure Mathematics , volume 38, pages 583--590. AMER MATHEMATICAL SOC 201 CHARLES ST, PROVIDENCE, RI 02940-2213, 1982

    1982

  5. [5]

    Random quantum channels I : graphical calculus and the B ell state phenomenon

    Beno \^ t Collins and Ion Nechita. Random quantum channels I : graphical calculus and the B ell state phenomenon. Communications in Mathematical Physics , 297(2):345--370, 2010

    2010

  6. [6]

    Random matrix techniques in quantum information theory

    Benoit Collins and Ion Nechita. Random matrix techniques in quantum information theory. Journal of Mathematical Physics , 57(1), 2016

    2016

  7. [7]

    Distillability and partial transposition in bipartite systems

    Wolfgang D \"u r, J Ignacio Cirac, Maciej Lewenstein, and Dagmar Bru . Distillability and partial transposition in bipartite systems. Physical Review A , 61(6):062313, 2000

    2000

  8. [8]

    DiVincenzo, Peter W

    David P. DiVincenzo, Peter W. Shor, John A. Smolin, Barbara M. Terhal, and Ashish V. Thapliyal. Evidence for bound entangled states with negative partial transpose. Phys. Rev. A , 61:062312, May 2000

    2000

Show all 36 references
  1. [9]

    Distillability via protocols respecting the positivity of partial transpose

    Tilo Eggeling, Karl Gerd H Vollbrecht, Reinhard F Werner, and Michael M Wolf. Distillability via protocols respecting the positivity of partial transpose. Physical review letters , 87(25):257902, 2001

    2001

  2. [10]

    The church of the symmetric subspace

    Aram W Harrow. The church of the symmetric subspace. arXiv preprint arXiv:1308.6595 , 2013

    2013 arXiv

  3. [11]

    Reduction criterion of separability and limits for a class of distillation protocols

    Micha Horodecki and Pawe Horodecki. Reduction criterion of separability and limits for a class of distillation protocols. Phys. Rev. A , 59:4206--4216, Jun 1999

    1999

  4. [12]

    Inseparable two spin-1 2 density matrices can be distilled to a singlet form

    Micha Horodecki, Pawe Horodecki, and Ryszard Horodecki. Inseparable two spin-1 2 density matrices can be distilled to a singlet form. Physical Review Letters , 78(4):574, 1997

    1997

  5. [13]

    Mixed-state entanglement and distillation: Is there a “bound” entanglement in nature? Physical Review Letters , 80(24):5239, 1998

    Micha Horodecki, Pawe Horodecki, and Ryszard Horodecki. Mixed-state entanglement and distillation: Is there a “bound” entanglement in nature? Physical Review Letters , 80(24):5239, 1998

    1998

  6. [14]

    Quantum entanglement

    Ryszard Horodecki, Pawe Horodecki, Micha Horodecki, and Karol Horodecki. Quantum entanglement. Reviews of Modern Physics , 81(2):865, 2009

    2009

  7. [15]

    Horn and C.R

    R.A. Horn and C.R. Johnson. Matrix Analysis . Cambridge University Press, 2012

    2012

  8. [16]

    Separability criterion and inseparable mixed states with positive partial transposition

    Pawe Horodecki. Separability criterion and inseparable mixed states with positive partial transposition. Phys. Lett. A , 232(5):333--339, 1997

    1997

  9. [17]

    Bipartite bound entanglement

    Beatrix C Hiesmayr, Christopher Popp, and Tobias C Sutter. Bipartite bound entanglement. International Journal of Quantum Information , 23(05):2530003, 2025

    2025

  10. [18]

    Five open problems in quantum information theory

    Pawe Horodecki, ukasz Rudnicki, and Karol \.Z yczkowski. Five open problems in quantum information theory. PRX Quantum , 3(1):010101, 2022

    2022

  11. [19]

    A family of norms with applications in quantum information theory

    Nathaniel Johnston and David W Kribs. A family of norms with applications in quantum information theory. Journal of Mathematical Physics , 51(8), 2010

    2010

  12. [20]

    Minimal and maximal operator spaces and operator systems in entanglement theory

    Nathaniel Johnston, David W Kribs, Vern I Paulsen, and Rajesh Pereira. Minimal and maximal operator spaces and operator systems in entanglement theory. Journal of Functional Analysis , 260(8):2407--2423, 2011

    2011

  13. [21]

    On the saturated cases of the distillability conjecture

    Saiqi Liu and Lin Chen. On the saturated cases of the distillability conjecture. arXiv preprint arXiv:2606.03561 , 2026

    2026 arXiv

  14. [22]

    Positivity of linear maps under tensor powers

    Alexander M \"u ller-Hermes, David Reeb, and Michael M Wolf. Positivity of linear maps under tensor powers. Journal of Mathematical Physics , 57(1), 2016

    2016

  15. [23]

    Quantum computation and quantum information

    Michael A Nielsen and Isaac L Chuang. Quantum computation and quantum information . Cambridge University Press, 2010

    2010

  16. [24]

    On two-distillable W erner states

    Dragomir Z okovi \'c . On two-distillable W erner states. Entropy , 18(6):216, 2016

    2016

  17. [25]

    Entanglement distillation by extendible maps

    Lukasz Pankowski, Fernando GSL Brandao, Michal Horodecki, and Graeme Smith. Entanglement distillation by extendible maps. Quantum Information and Computation , 13(9&10):0751--0770, 2013

    2013

  18. [26]

    A few steps more towards NPT bound entanglement

    ukasz Pankowski, Marco Piani, Micha Horodecki, and Pawe Horodecki. A few steps more towards NPT bound entanglement. IEEE Transactions on Information Theory , 56(8):4085--4100, 2010

    2010

  19. [27]

    A matrix inequality for entanglement distillation problem

    Lilong Qian, Lin Chen, Delin Chu, and Yi Shen. A matrix inequality for entanglement distillation problem. Linear Algebra and its Applications , 616:139--177, 2021

    2021

  20. [28]

    New partial trace inequalities and distillability of W erner states

    Pablo Costa Rico. New partial trace inequalities and distillability of W erner states. Letters in Mathematical Physics , 115(3):47, 2025

    2025

  21. [29]

    Partial trace relations beyond normal matrices

    Pablo Costa Rico and Michael M Wolf. Partial trace relations beyond normal matrices. arXiv preprint arXiv:2507.18278 , 2025

    2025 arXiv

  22. [30]

    Schmidt-number witnesses and bound entanglement

    Anna Sanpera, Dagmar Bru , and Maciej Lewenstein. Schmidt-number witnesses and bound entanglement. Physical Review A , 63(5):050301, 2001

    2001

  23. [31]

    Terhal and Pawe Horodecki

    Barbara M. Terhal and Pawe Horodecki. Schmidt number for density matrices. Phys. Rev. A (3) , 61(4):040301, 4, 2000

    2000

  24. [32]

    On the geometry of positive maps in matrix algebras

    Jun Tomiyama. On the geometry of positive maps in matrix algebras. II . Linear Algebra Appl. , 69:169--177, 1985

    1985

  25. [33]

    Distillability of W erner states using entanglement witnesses and robust semidefinite programs

    Reinaldo O Vianna and Andrew C Doherty. Distillability of W erner states using entanglement witnesses and robust semidefinite programs. Physical Review A—Atomic, Molecular, and Optical Physics , 74(5):052306, 2006

    2006

  26. [34]

    Entanglement measures under symmetry

    Karl Gerd H Vollbrecht and Reinhard F Werner. Entanglement measures under symmetry. Physical Review A , 64(6):062307, 2001

    2001

  27. [35]

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

    1989

  28. [36]

    S. L. Woronowicz. Positive maps of low dimensional matrix algebras. Rep. Math. Phys. , 10(2):165--183, 1976

    1976

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.