Pith. sign in

REVIEW 8 minor 21 references

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

T0 review · 0 major / 8 minor · reviewed 2026-07-31 · grok-4.5

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

Pith's one-line read Werner states are two-copy distillable if and only if their mixing parameter α is strictly below −1/2, in every local dimension.

desk verdict Exact two-copy Werner threshold in every dimension, with a clean geometric proof and useful many-copy reformulations; concurrent independent confirmations make the central claim low-risk. read the letter →

arxiv 2607.24479 v1 pith:EAAQK6PO submitted 2026-07-27 quant-ph

Kishor Bharti , Rishikesh Gajjala , Tobias Haug This is my paper
classification quant-ph MSC 81P4015A4547A30 PACS 03.67.Mn03.65.Ud
keywords Wernerstatesentanglementdistillationpartial-traceinequalitiestwo-copydistillabilityNPTboundKyFannorms2-positivityrank-twooperators
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

Entanglement distillation asks when several noisy bipartite quantum states can be converted, by local operations, into fewer high-quality entangled pairs. Werner states are the standard symmetric test family. This paper proves that two copies of a Werner state can be distilled exactly when the mixing parameter α is less than −1/2. The two-copy threshold therefore coincides with the known one-copy threshold, so the second copy does not help at the boundary. The proof is a sharp, dimension-free matrix inequality that bounds the partial traces of every rank-at-most-two operator; that inequality forces the two-copy distillability test to stay nonnegative for all α ≥ −1/2. In particular the critical two-ququart endpoint is two-copy undistillable. For three or more copies the same endpoint remains open, but the paper supplies exact equivalent formulations, a tensor-factorization theorem for structured witnesses, and explicit numerical intervals of guaranteed k-copy undistillability.

What carries the argument

The sharp rank-two partial-trace inequality ∥Tr_U C∥₂² + ∥Tr_V C∥₂² ≤ 2∥C∥₂² + (1/2)|Tr C|² for rank(C) ≤ 2. It is obtained by turning the inequality into positivity of a tripartite operator H_ψ attached to any pure state with a maximally mixed qubit marginal; that positivity is controlled by a double-skew Ky Fan bound on operators lying in Alt(U) ⊗ Alt(V).

What would settle it

Exhibit one concrete bipartite matrix C of rank at most two for which the sum of the squared Hilbert–Schmidt norms of the two partial traces exceeds 2∥C∥₂² + (1/2)|Tr C|², or produce an explicit rank-two witness making the two-copy distillability form negative at some α ≥ −1/2.

Watch

Extended reading notes

Core claim

For every dimension d ≥ 2, the Werner state ρ_α is two-copy distillable if and only if α < −1/2. The claim is equivalent to a sharp rank-two partial-trace inequality: whenever C is a bipartite operator of rank at most two, the sum of the squared Hilbert–Schmidt norms of its two partial traces is at most twice the squared norm of C plus half the squared modulus of its trace. The constants are jointly optimal whenever both local dimensions are at least two.

Load-bearing premise

The argument needs every operator built from a pair of antisymmetric matrices to have its two largest singular values bounded by half its total squared size; if that geometric constant fails, the partial-trace bound and the two-copy threshold both collapse.

Editorial extensions

If this is right

  • For every d ≥ 3, Werner states with −1/2 ≤ α < −1/d are NPT yet two-copy undistillable, so any distillation requires at least three copies.
  • The two-ququart state at α = −1/2 is two-copy undistillable.
  • Any negative many-copy witness cannot tensor-factor so that its unique rank-two piece lives on only one or two copy blocks.
  • Explicit constants γ_k > 0 guarantee k-copy undistillability for all α ≥ −γ_k in every dimension, with γ_2 = 1/2 and k γ_k → arsinh(1/2).

Reading between the lines

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

  • If the three-copy operator H_3(ψ) is positive for every admissible pure state, the whole NPT interval down to −1/2 would become three-copy undistillable and Werner states would furnish NPT bound entanglement.
  • A genuine many-copy counterexample, if one exists, must be irreducibly multipartite in its rank-two support and cannot be manufactured by padding a one- or two-copy obstruction with product factors.
  • The same double-antisymmetric singular-value control may yield sharp Kronecker-sum and partial-trace bounds outside the Werner family.
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

0 major / 8 minor

Summary. The manuscript proves a sharp, dimension-free partial-trace inequality for rank-at-most-two operators C on U⊗V: ‖Tr_U C‖₂² + ‖Tr_V C‖₂² ≤ 2‖C‖₂² + (1/2)|Tr C|² (Theorem 1.1/6.1), with both constants jointly sharp. Via Costa Rico's partial-trace criterion this yields the exact two-copy distillability threshold for Werner states in every local dimension: ρ_α is two-copy distillable iff α < −1/2 (Theorem 7.1), resolving Problem 5 of Horodecki–Rudnicki–Życzkowski (the d=4 endpoint). The proof proceeds through a geometric chain: a symmetric rank-two projection bound onto the antisymmetric–antisymmetric subspace (Lemma 4.1), a dual double-skew Ky Fan inequality s₁²+s₂² ≤ ‖K‖₂²/2 on Alt(U)⊗Alt(V) (Theorem 4.2), positivity of an explicit operator H_ψ for pure states with maximally mixed qubit marginal (Proposition 5.1), and then the partial-trace inequality (Theorem 6.1). For k ≥ 3 copies the authors give exact reformulations (2-positivity of Φ_d^{⊗k}; a hierarchy H_k(ψ) ≽ 0), a tensorization theorem for structured witnesses (Theorem 8.3), and explicit dimension-free constants γ_k improving on Qi et al. (Theorem 9.1), with kγ_k → arsinh(1/2) = log φ.

Significance. If the result holds, this closes a named open problem (HRŻ Problem 5) and gives the first exact multi-copy distillability threshold for a genuinely NPT, one-copy-undistillable family — a rare instance of an exact, dimension-free answer in entanglement theory. The central inequality is derived from first principles (Takagi factorization, Ky Fan duality, co-reduction CP structure) with no free parameters, and the constants are certified sharp by explicit equality families (Theorems 4.2, 6.1; Corollaries 6.3, 10.1–10.2). I verified the load-bearing steps line-by-line: the Gram-positivity argument in Lemma 4.1 (Eqs. 41–43) is correct; the duality step in Theorem 4.2 is valid because K ∈ Alt(U)⊗Alt(V) is complex symmetric and J_H(K) ∈ ran P_aa; the contraction bound TT* ⪯ I with ran T ⊆ ψ⊥ in Proposition 5.1 (Eqs. 62–68) is sound; and the threshold reduction in Theorem 7.1 uses T ≤ 2N with the correct sign for α ∈ [−1/2, 0]. Two independent concurrent proofs (Fu–Gao–Park; Fraser–Huber–Pozsgay–Vona, the latter proving a stronger rank-r statement) reach the same constant 1/2, which substantially de-risks the result. The finite-copy extensions are honestly scoped: the paper is explicit, in

minor comments (8)
  1. [§4.1] Lemma 4.1, after Eq. (42): the 2×2 Gram matrix is typeset as [[p_X, t],[t, p_Y]] but the lower-left entry must be the complex conjugate t̄ (as the text acknowledges); as printed the matrix need not be Hermitian. This is presumably a rendering artifact of an overline and should be fixed.
  2. [§9] Theorem 9.1, odd-k case: the assertion that the T-coefficient 'is nonnegative, because the k pairs represented by singletons already contribute k a^{k-1}T/2' compresses the binomial bookkeeping heavily, and the even-k T-coefficient nonpositivity argument (a^{2m} − (2m/2)a^{2m-1} ≤ 0 and the middle-layer estimate) is similarly terse. A short displayed computation summing the contributions of Eqs. (89)–(91) would make this self-contained; the result is correct but currently burdensome to verify.
  3. [§3.2] Eq. (24) and the definition of Φ_U(X) = Tr(X)I_U − X/2: the factor of 2 relating Eq. (23) and Eq. (24), and the role of the maximally mixed marginal condition (22) in producing the identity term, deserve one more sentence; readers will otherwise need to expand the tensor product themselves to see the cancellation.
  4. [References] Reference [2] (Fraser–Huber–Pozsgay–Vona) is cited as a privately communicated unpublished manuscript. If it becomes publicly available before publication, the citation should be updated; journals generally discourage citing inaccessible sources for load-bearing context (here, the stronger rank-r generalization mentioned in §1).
  5. [§1 (Provenance), References] References [1] and [3] are social-media posts cited in the provenance note. The disclosure of AI-assisted discovery is commendable and appropriate, but the editor may wish to consider whether social-media citations meet the journal's reference standards, or whether the provenance can be described without them.
  6. [§9, Table 1] Table 1: the γ_k/η_k values are stated as 'independently recomputed'; it would strengthen reproducibility to note the method (e.g., root-finding tolerance), especially since several digit pairs (k=7, k=9) agree to 11+ places between η_k and γ_k, which could confuse a reader about whether the strict inequality γ_k > η_k from Eq. (87) is numerically visible.
  7. [§10] Corollary 10.1 sharpness for 1/m + 1/n ≥ 1/2: the example takes A = 0, which is traceless but degenerate; a remark that equality is attained with nonzero A as well (or that A=0 is admissible since A=0 is traceless) would prevent an easy misreading.
  8. [Abstract, §1] Typos/rendering: abstract and §1 contain lost math formatting ('ρα', 'α<−1/2' run into text) presumably from PDF extraction, but please check the compiled manuscript; 'ChatGPT 5.6 Sol' appears with inconsistent naming ('GPT-5.6 Sol' in the provenance note).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the two-copy threshold is derived from an independent geometric inequality, not forced by definition or self-citation.

full rationale

The load-bearing chain runs Lemma 4.1 (symmetric rank-two projection bound via Takagi and 2×2 Gram positivity) → Theorem 4.2 (double-skew Ky Fan) → Proposition 5.1 (H_ψ ⪰ 0 via co-reduction CP maps) → Theorem 6.1 (sharp partial-trace inequality) → Theorem 7.1 / Corollary 1.2 (exact two-copy Werner threshold via Costa Rico’s external criterion). None of these steps defines the target in terms of itself, fits a parameter to distillability data, or imports uniqueness from overlapping authors. The constants γ_k are unique zeros of explicitly written polynomials p_k compared to prior r_k; sharpness examples are constructive. Concurrent independent proofs reach the same constant 1/2. The derivation is self-contained linear algebra against an external distillability criterion; honest non-finding of circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 2 invented entities

The central claim rests on standard finite-dimensional linear algebra plus the established Costa Rico partial-trace distillability criterion and the classical one-copy Werner threshold. No free parameters are fitted. The only domain-level inputs are the definition of Werner states and the rank-at-most-two Schmidt criterion for distillability. Invented objects (P_aa, H_k, p_k, γ_k) are explicit definitions, not ontological postulates.

assumptions (4)
  • domain assumption Costa Rico partial-trace criterion: ρ_α is k-copy distillable iff q_k(α,C) < 0 for some rank(C) ≤ 2 (Prop. 2.2 / [5]).
    Used as the bridge from the matrix inequality to distillability; taken from the cited literature without re-proof.
  • standard math Standard facts: Takagi factorization of complex symmetric matrices, von Neumann trace inequality / Ky Fan norms, Schmidt rank equals rank under the coefficient isometry J_H, Hilbert–Schmidt calculus for partial traces.
    Invoked throughout §§2,4–6; classical matrix analysis.
  • domain assumption Werner states are one-copy distillable exactly for α < −1/2 and PPT (hence undistillable) for α ≥ −1/d.
    Classical background used to interpret the two-copy threshold and the NPT window (cited [7,20,21]).
  • standard math A linear map is 2-positive iff its Choi matrix is nonnegative on every Schmidt-rank-≤2 vector; Choi matrices multiply under tensor product after canonical regrouping that preserves Schmidt rank.
    Used in Theorem 3.1 to equate 2-positivity of Φ_{α,d}^{⊗k} with the distillability criterion.
invented entities (2)
  • Endpoint map Φ_d(X) = Tr(X)I − (1/2)X and hierarchy H_k(ψ) independent evidence
    purpose: Exact reformulations of the unrestricted k-copy endpoint conjecture as 2-positivity / operator inequalities.
    Defined explicitly from the partial-trace form; not new physical objects.
  • Double-antisymmetric projection P_aa and polynomials p_k with zeros γ_k independent evidence
    purpose: Geometric constant for the two-copy proof; explicit dimension-free k-copy undistillability thresholds.
    Constructive definitions with sharpness / uniqueness proofs; γ_k are mathematically determined, not fitted.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Two-copy nondistillability of Werner states: sharp partial-trace inequalities and finite-copy extensions." pith.science (2026). https://pith.science/paper/EAAQK6PO

@misc{pith2026260724479,
  author       = {Pith},
  title        = {Pith review of: Two-copy nondistillability of Werner states: sharp partial-trace inequalities and finite-copy extensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EAAQK6PO}},
  note         = {Machine review of arXiv:2607.24479}
}
abstract

We solve the two-copy distillability problem for Werner states in every local dimension. Our main matrix result is a sharp, dimension-free inequality: for every rank-at-most-two operator, the sum of the squared Hilbert--Schmidt norms of its two partial traces is bounded by twice its squared Hilbert--Schmidt norm plus one half of the squared modulus of its trace. This implies that a Werner state $\rho_\alpha$ is two-copy distillable if and only if $\alpha<-1/2$. In particular, the two-ququart state $\rho^{(4)}_{-1/2}$ is two-copy undistillable, resolving Problem 5 of Horodecki, Rudnicki, and \.Zyczkowski. For an arbitrary finite number $k$ of copies, we give three exact formulations of the remaining problem. At the endpoint $\alpha=-1/2$, undistillability is equivalent to nonnegativity of the endpoint partial-trace form on every rank-at-most-two operator. We also derive an equivalent hierarchy of operator inequalities $H_k(\psi)\succeq0$ for pure states with a maximally mixed qubit marginal. The two-copy proof does not formally induct, because partial trace can increase rank and $2$-positivity is not generally preserved by tensor products. We prove two rigorous many-copy extensions. First, the quadratic form factorizes exactly on tensor-factorized witnesses; for any such decomposition, the endpoint inequality holds if its possible rank-two factor is supported on a block containing at most two copies. Second, we construct explicit constants $\gamma_k>0$ such that $\alpha\ge-\gamma_k$ implies $k$-copy undistillability in every dimension. The initial proofs were generated by ChatGPT 5.6 Sol; the authors have verified and rewritten them to enhance readability and provide additional context.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

21 extracted references · 7 canonical work pages

  1. [1]

    Bharti,Here’s an interesting experience we recently had with ChatGPT 5.6, LinkedIn, July 2026, online post (accessed 26 July 2026)

    K. Bharti,Here’s an interesting experience we recently had with ChatGPT 5.6, LinkedIn, July 2026, online post (accessed 26 July 2026)

    2026

  2. [2]

    T. C. Fraser, F. Huber, B. Pozsgay, and I. Vona,On the two-copy distillability of Werner states, unpublished manuscript communicated privately to the authors, 25 July 2026

    2026

  3. [3]

    Gajjala,GPT-5.6 Sol has claimed to resolve one of the five major problems in quantum information theory, X, July 2026, online post (accessed 26 July 2026)

    R. Gajjala,GPT-5.6 Sol has claimed to resolve one of the five major problems in quantum information theory, X, July 2026, online post (accessed 26 July 2026)

    2026

  4. [4]

    Aubrun and A

    G. Aubrun and A. Müller-Hermes,Annihilating entanglement between cones, arXiv:2110.11825v2 [quant-ph], 2021

    arXiv 2021

  5. [5]

    Costa Rico,New partial trace inequalities and distillability of Werner states, Lett

    P. Costa Rico,New partial trace inequalities and distillability of Werner states, Lett. Math. Phys.115(2025), Article 47. doi:10.1007/s11005-025-01935-y

    work page doi:10.1007/s11005-025-01935-y 2025

  6. [6]

    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. A61(2000), 062312. doi:10.1103/PhysRevA.61.062312

    work page doi:10.1103/physreva.61.062312 2000

  7. [7]

    W. Dür, J. I. Cirac, M. Lewenstein, and D. Bruß,Distillability and partial transposition in bipartite systems, Phys. Rev. A61(2000), 062313. doi:10.1103/PhysRevA.61.062313

    work page doi:10.1103/physreva.61.062313 2000

  8. [8]

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

    arXiv 2026

Show all 21 references
  1. [9]

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

    2013

  2. [10]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki,Inseparable two spin-1/2density matrices can be distilled to a singlet form, Phys. Rev. Lett.78(1997), 574–577. doi:10.1103/PhysRevLett.78.574

    1997 doi

  3. [11]

    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(1998), 5239–5242. doi:10.1103/PhysRevLett.80.5239

    1998 doi

  4. [12]

    Horodecki, Ł

    P. Horodecki, Ł. Rudnicki, and K. Życzkowski,Five open problems in quantum information theory, PRX Quantum 3(2022), 010101. doi:10.1103/PRXQuantum.3.010101

    2022 doi

  5. [13]

    Johnston and D

    N. Johnston and D. W. Kribs,A family of norms with applications in quantum information theory, J. Math. Phys.51(2010), 082202. doi:10.1063/1.3459068

    2010 doi

  6. [14]

    Liu and L

    S. Liu and L. Chen,On the distillability conjecture in matrix theory, Int. J. Theor. Phys.64(2025), Article 209. doi:10.1007/s10773-025-06068-5

    2025 doi

  7. [15]

    Liu and L

    S. Liu and L. Chen,On the saturated cases of the distillability conjecture, arXiv:2606.03561v1 [quant-ph], 2026

    2026 arXiv

  8. [16]

    Müller-Hermes, D

    A. Müller-Hermes, D. Reeb, and M. M. Wolf,Positivity of linear maps under tensor powers, J. Math. Phys.57 (2016), 015202. arXiv:1502.05630

    2016 arXiv

  9. [17]

    Pankowski, M

    Ł. Pankowski, M. Piani, M. Horodecki, and P. Horodecki,A few steps more towards NPT bound entanglement, IEEE Trans. Inf. Theory56(2010), 4085–4100. doi:10.1109/TIT.2010.2050810

    2010

  10. [18]

    S.-Y. Qi, G. Gupur, Y.-C. Wu, and G.-P. Guo,Nonpositive-transpose entanglement and bound entangle- ment: From distillability sets to inequalities and multivariable insights, Phys. Rev. A110(2024), 012406. doi:10.1103/PhysRevA.110.012406

    2024 doi

  11. [19]

    Costa Rico and M

    P. Costa Rico and M. M. Wolf,Partial trace relations beyond normal matrices, arXiv:2507.18278v1 [quant-ph], 2025

    2025 arXiv

  12. [20]

    K. G. H. Vollbrecht and R. F. Werner,Entanglement measures under symmetry, Phys. Rev. A64(2001), 062307. doi:10.1103/PhysRevA.64.062307

    2001 doi

  13. [21]

    R. F. Werner,Quantum states with Einstein–Podolsky–Rosen correlations admitting a hidden-variable model, Phys. Rev. A40(1989), 4277–4281. doi:10.1103/PhysRevA.40.4277. Joint Center for Quantum Information and Computer Science (QuICS), University of Maryland, College Park, Mary...

    1989 doi

Pith tools

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