Pith. sign in

REVIEW 4 major objections 4 minor 22 references

Entanglement Distillation of some Rank-Five Symmetric NPT States in Two-Qutrit Systems

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

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

Pith's one-line read The paper proves a rank-five two-qutrit entangled family is 1-undistillable on the previously open eigenvalue interval.

desk verdict Proposition 7 probably settles the open 1-distillability interval, but the proof currently rests on an unjustified reduction to two normal forms, and the appendix has a demonstrable formula inconsistency. read the letter →

arxiv 2608.03710 v1 pith:PBJBDHEW submitted 2026-08-04 quant-ph

Yuwei Lei , Zihua Song , Lin Chen , Mingju Liu This is my paper · ORCID
classification quant-ph MSC 81P4081P45
keywords entanglementdistillation1-distillabilitytwo-qutritstatessymmetricNPTrank-fiveSchmidtranktwoLOCCpartialtranspose
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 tries to settle how much entanglement can be distilled from a specific family of mixed two-qutrit states: symmetric states of rank five with four equal eigenvalues. Earlier work left one interval of the fifth eigenvalue open for one-copy distillation, and the paper proves that on exactly that interval the states are 1-undistillable, meaning no protocol using a single copy under local operations and classical communication can produce a maximally entangled pair. It also proves a structural restriction on any two-copy distillation attempt: a Schmidt-rank-two vector with negative expectation cannot live in a specified 17-dimensional subspace of the two-copy Hilbert space. The result matters because it completes the 1-distillability classification for the family and narrows the search for 2-distillability, which is a step toward understanding whether non-positive-partial-transpose bound entangled states exist.

What carries the argument

The row-echelon normal forms P1 and P2 of a rank-two test operator on subsystem A (Eq. 2), together with the principal-minor positivity criteria of Lemma 2 applied to the compressed partial transpose. For the two-copy analysis, the load-bearing objects are the 9×9 spectral decomposition of ρ^Γ, its negative subspace N(σ), and the quadratic form ⟨ψ|σ|ψ⟩ = d†Md, decomposed into 16 lower-dimensional quadratic forms indexed by the sets T1,...,T16.

What would settle it

At a value inside the interval, such as x = 0.14, numerically minimize the smallest eigenvalue of (P⊗I)ρ^Γ(P†⊗I) over all 3×3 complex matrices P of rank two, without restricting to the forms in Eq. (2); a negative minimum would refute Proposition 7. Equivalently, check whether every rank-two P is left-equivalent to P1 or P2 by an invertible local factor while preserving the inertia of the compressed partial transpose; a counterexample to that equivalence is a counterexample to the proof.

Watch

Extended reading notes

Core claim

Proposition 7 is the centerpiece: for λ5 = x in [ (24√2−33)/7, (33−12√6)/25 ), the two-qutrit state ρ = Σ λj |ej⟩⟨ej| with λ1 = λ2 = λ3 = λ4 = (1−x)/4 is NPT but 1-undistillable. Concretely, for every rank-two test operator P on subsystem A, both normal forms of (P⊗I)ρ^Γ(P†⊗I) are positive semidefinite, verified by checking principal minors—one form through all principal minors and the other through leading principal minors—so no one-copy LOCC protocol detects distillability. Together with earlier distillability results for other intervals, this closes the family's 1-distillability question. For two copies, the paper shows that any Schmidt-rank-two vector |ψ⟩ with negative expectation under

Load-bearing premise

The proof of Proposition 7 assumes, without demonstration at Eq. (2), that every rank-two test operator P can be reduced without losing sign information to one of the two displayed forms P1 or P2; if some test operator escapes that reduction, the undistillability conclusion could fail.

Editorial extensions

If this is right

  • The 1-distillability problem for this symmetric rank-five family is fully classified: the NPT region splits into a distillable part, the newly proved undistillable interval, and a PPT interval that is automatically undistillable.
  • Any one-copy LOCC distillation attempt on the interval must fail: both normal forms of the compressed partial transpose are positive semidefinite for all parameters a, b, c.
  • For two-copy distillation, the search space is reduced: any Schmidt-rank-two witness with negative expectation must lie outside N(σ) ⊕ span{|a9,a9⟩}, so it must involve the 65-dimensional positive subspace.
  • The quadratic-form decomposition into 16 blocks gives a concrete numerical route toward deciding 2-distillability for particular values of x.

Reading between the lines

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

  • If the unreported reduction behind Eq. (2) is valid, the same two-form normalisation may apply to other symmetric rank-five families, giving a uniform principal-minor test for 1-distillability.
  • The structural obstruction suggests that 2-distillability, if it exists, is most likely found by combining components in the 65-dimensional positive subspace rather than within the negative subspace of σ.
  • A direct next test is to numerically minimize the smallest eigenvalue of the sum of the 16 quadratic forms subject to the orthogonality constraints in Eq. (9); a negative value would go beyond Proposition 8's obstruction.
  • The techniques may help in the broader search for NPT bound entangled states, since this family now contains an NPT interval with no one-copy distillation and only a constrained two-copy channel.
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

4 major / 4 minor

Summary. The paper studies the distillability of a family of rank-five symmetric two-qutrit NPT states previously introduced in [21]. The main claim (Proposition 7) is that for the eigenvalue parameter x in the previously open interval [(24√2−33)/7, (33−12√6)/25), the state is 1-undistillable. The proof proceeds by reducing an arbitrary rank-two projection on subsystem A to one of two non-Hermitian forms P1/P2, then checking positivity of the compressed partial transpose via principal minors. The paper also states Proposition 8, a structural obstruction to 2-distillability, and reports numerical explorations of the 2-copy problem.

Significance. If Proposition 7 were established, it would close the open 1-distillability question for this specific family and provide a worked example of the principal-minor approach to distillability. The paper is transparent about the computational nature of the proof and includes detailed appendices. However, the proof relies on an unjustified and apparently false reduction step, and the appendix algebra contains an internal inconsistency. As such, the central claim is not currently supported. The 2-distillability section is explicitly exploratory and does not resolve the problem.

major comments (4)
  1. [Sec. 3, Eq. (2), Proof of Prop. 7] The reduction of an arbitrary rank-two projection P to P1 or P2 is not justified and is false under the stated operations. For P=diag(0,1,1), neither P1 nor P2 can be obtained from P by left or right multiplication by an invertible matrix: P1 and P2 both have a nonzero first column, while P has a zero first column, and left multiplication preserves zero columns. Even if the reduction is interpreted on the 3×2 embedding of the range rather than on P itself, testing Pi ρ^Γ Pi† for the displayed Pi does not imply positivity for all rank-two coefficient matrices M, because a general M = L^{-1} R requires checking the congruence (L†⊗I)ρ^Γ(L⊗I), which is not what is computed. Thus Proposition 7 does not establish 1-undistillability as written.
  2. [Appendix A, Eqs. (A-1), (A4)] The 2×2 principal minor det α1[3,4] computed directly from the displayed matrix in Eq. (A-1) is ((1−x)^2(1+|a|^2))/64 − x^2/9. Equation (A4) instead reports [9(1−x)^2|a|^2 + (3−7x)(3+x)]/24^2. At a=0 the two expressions become (9−18x−55x^2)/576 versus (9−18x−7x^2)/576. The difference is not zero on the interval, so the printed algebraic verification is internally inconsistent and cannot be used to conclude that α1 is positive semidefinite.
  3. [Appendix B, B.2.1, B.2.2, B.3] The proof that D5 and D6 are positive depends on an unspecified threshold x0: the text says the coefficient of b1^2 c2^2 is nonpositive only for x in [(24√2−33)/7, x0] with x0 < (33−12√6)/25, but x0 is never defined or computed. The square-completion identities in Eqs. (B-7)–(B-16) conclude "≥0" after grouping, but the nonnegativity of the residual terms on the full interval is asserted without demonstration. These are load-bearing for the PSD claim, and the reader cannot verify the positivity analysis.
  4. [Sec. 3, Prop. 8 proof] The proof claims that if |ψ⟩=Σ αj |aj,a9⟩+Σ βj |a9,aj⟩ has Schmidt rank two, then at least one αj and one βj are nonzero. This inference is not justified; it is not a consequence of Lemma 3 as stated. Moreover, the partial inner product ⟨y|ψ⟩ is taken with |y⟩ in H_{A1B1}, but after the reordering in Eq. (5) the vector |ψ⟩ lives in H_{A1A2}⊗H_{B1B2}; the tensor-factor alignment of this operation is not defined. Proposition 8 is therefore not established.
minor comments (4)
  1. [Eq. (2)] The matrices P1 and P2 are called projections, but they are not Hermitian and are not idempotent. The terminology should either be changed to 'test operators' or the underlying reduction should be stated precisely.
  2. [Appendix A, para. before (A1)] The statement 'All principal minors of order four or higher are products of lower-order principal minors' is asserted without proof. This is a nontrivial claim for a 6×6 Hermitian matrix and should be demonstrated or a reference supplied.
  3. [Throughout] The interval notation in Proposition 5 and 7 uses a half-open interval [24√2−33/7, 33−12√6/25) in the text but the square bracket in some displays appears as a closed interval at the right endpoint inconsistently (e.g., after ≈[0.134,0.144)). Please standardize.
  4. [Appendix B, Eq. (B-4)] In D3 the expression has a term (x−1)^2(x+3)b2^2 and a constant term; the claim that all coefficients are nonnegative on the interval should be verified explicitly, since (x−1)^2 is positive but the polynomial (x+3) is positive; the statement is fine but the text says 'coefficients of parameterized terms are nonnegative' without showing the polynomials.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: Proposition 7 is a direct principal-minor computation; the self-citation to [21] is not load-bearing, and the unproven Eq. (2) reduction is a correctness gap, not circularity.

full rationale

The central new claim, Proposition 7, is proved by explicit computation: the paper verifies nonnegativity of the relevant principal minors of alpha1 and alpha2 on the stated x-interval, then applies Lemma 2. No parameter is fitted to the conclusion and the positivity argument does not assume that the state is 1-undistillable. The state family and the open interval are quoted from [21], whose authors overlap with the present paper, but this is the normal use of prior work and the new theorem is not an unpacking of [21]'s result. The proof does contain a load-bearing assertion, Eq. (2), that every rank-two projection can be restricted to the non-Hermitian forms P1 or P2, stated without demonstration; the displayed forms are not Hermitian projections. Appendix A also appears to contain an algebraic inconsistency in the printed minor formulas. These are correctness and completeness concerns, not circularity: the derivation is not equivalent to its input by construction. Hence the low score reflects the minor self-citation only.

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

No free parameters: the state parameter x is part of the family, not fitted. All axioms are standard linear algebra plus the inherited state family. No new physical entities are introduced.

assumptions (5)
  • standard math Lemma 2: principal-minor criteria for positive semidefiniteness
    Used in Prop. 7 to establish PSD of α1 and α2.
  • standard math Lemma 3: Schmidt rank is multiplicative under tensor products
    Used in Prop. 8 to infer the Schmidt rank of contracted vectors.
  • standard math Lemma 4: every hyperplane in multipartite Hilbert space is spanned by product vectors
    Used in Prop. 8 to construct a product vector |y> orthogonal to |a9>.
  • domain assumption State family and NPT interval from Proposition 5 of [21]
    The paper inherits the state definition and the open-interval problem from prior work by overlapping authors.
  • domain assumption The explicit spectral decomposition of ρ^Γ given in Appendix C
    Stated without derivation; it underlies the 2-distillability analysis.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Entanglement Distillation of some Rank-Five Symmetric NPT States in Two-Qutrit Systems." pith.science (2026). https://pith.science/paper/PBJBDHEW

@misc{pith2026260803710,
  author       = {Pith},
  title        = {Pith review of: Entanglement Distillation of some Rank-Five Symmetric NPT States in Two-Qutrit Systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PBJBDHEW}},
  note         = {Machine review of arXiv:2608.03710}
}
read the original abstract

Entanglement distillation is a fundamental task in quantum information processing. In this work, we investigate the distillability properties of a class of two-qutrit symmetric NPT states of rank five. We resolve the 1-distillability problem for this class by proving that the previously open interval of the eigenvalue parameter is 1-undistillable. For the 2-distillability, we uncover a structural obstruction showing that no Schmidt-rank-two vector has a negative expectation in the relevant subspace. We also perform numerical investigations to explore the 2-distillability beyond this obstruction.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 16 canonical work pages

  1. [21]

    Entanglement distillation on symmetric two-qutrit entangled states of rank five.International Journal of Quantum Informa- tion, page 2550039, 2026

    Zihua Song, Lin Chen, and Yongge Wang. Entanglement distillation on symmetric two-qutrit entangled states of rank five.International Journal of Quantum Informa- tion, page 2550039, 2026. 8 A Detailed calculations of principal minors forα 1 In the proof of Proposition 7, we claimed that all principal minors ofα1 are nonnegative. Here we present the explici...

    work page 2026

  2. [1]

    Quantum entanglement.Reviews of modern physics, 81(2):865–942, 2009

    Ryszard Horodecki, Paweł Horodecki, Michał Horodecki, and Karol Horodecki. Quantum entanglement.Reviews of modern physics, 81(2):865–942, 2009

    2009

  3. [2]

    Concentrating partial entanglement by local operations.Physical Review A, 53(4):2046, 1996

    Charles H Bennett, Herbert J Bernstein, Sandu Popescu, and Benjamin Schu- macher. Concentrating partial entanglement by local operations.Physical Review A, 53(4):2046, 1996

    work page

  4. [3]

    Evidence for bound entangled states with negative partial transpose

    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. Physical Review A, 61(6):062312, 2000

    work page 2000

  5. [4]

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

    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

    work page 1997

  6. [5]

    Five open problems in quantum information.arXiv preprint arXiv:2002.03233, 2020

    PaweŁ Horodecki, Łukasz Rudnicki, and Karol Życzkowski. Five open problems in quantum information.arXiv preprint arXiv:2002.03233, 2020

    arXiv 2002

  7. [6]

    Rank two bipartite bound entangled states do not exist.Theoretical Computer Science, 292(3):589–596, 2003

    Pawel Horodecki, John A Smolin, Barbara M Terhal, and Ashish V Thapliyal. Rank two bipartite bound entangled states do not exist.Theoretical Computer Science, 292(3):589–596, 2003

    work page 2003

  8. [7]

    Rank-three bipartite entangled states are distillable

    Lin Chen and Yi-Xin Chen. Rank-three bipartite entangled states are distillable. Physical Review A—Atomic, Molecular, and Optical Physics, 78(2):022318, 2008. 7

    work page 2008

Show all 22 references
  1. [8]

    Distillability of non-positive-partial-transpose bipartite quantum states of rank four.Physical Review A, 94(5):052318, 2016

    Lin Chen and Dragomir Ž Ðoković. Distillability of non-positive-partial-transpose bipartite quantum states of rank four.Physical Review A, 94(5):052318, 2016

    2016

  2. [9]

    Negative eigenvalues of partial transposition of arbitrary bipartite states.Physical Review A—Atomic, Molecular, and Optical Physics, 87(5):054301, 2013

    Swapan Rana. Negative eigenvalues of partial transposition of arbitrary bipartite states.Physical Review A—Atomic, Molecular, and Optical Physics, 87(5):054301, 2013

    2013

  3. [10]

    Non-positive partial transpose subspaces can be as large as any entangled subspace.Physical Review A, 87(6):064302, 2013

    Nathaniel Johnston. Non-positive partial transpose subspaces can be as large as any entangled subspace.Physical Review A, 87(6):064302, 2013

    2013

  4. [11]

    Inertias of entanglement witnesses.Journal of Physics A: Mathematical and Theoretical, 53(48):485302, 2020

    Yi Shen, Lin Chen, and Li-Jun Zhao. Inertias of entanglement witnesses.Journal of Physics A: Mathematical and Theoretical, 53(48):485302, 2020

    2020

  5. [12]

    Separability criterion for density matrices.Physical Review Letters, 77(8):1413, 1996

    Asher Peres. Separability criterion for density matrices.Physical Review Letters, 77(8):1413, 1996

    1996

  6. [13]

    Separability of mixed states: necessary and sufficient conditions.Physics Letters A, 223(1-2):1–8, 1996

    Michał Horodecki, Paweł Horodecki, and Ryszard Horodecki. Separability of mixed states: necessary and sufficient conditions.Physics Letters A, 223(1-2):1–8, 1996

    1996

  7. [14]

    Reductioncriterionofseparabilityandlimits for a class of distillation protocols.Physical Review A, 59(6):4206, 1999

    MichałHorodeckiandPawełHorodecki. Reductioncriterionofseparabilityandlimits for a class of distillation protocols.Physical Review A, 59(6):4206, 1999

    1999

  8. [15]

    Bell inequalities and the separability criterion.Physics Letters A, 271(5-6):319–326, 2000

    Barbara M Terhal. Bell inequalities and the separability criterion.Physics Letters A, 271(5-6):319–326, 2000

    2000

  9. [16]

    Separability criterion and inseparable mixed states with positive partial transposition.Physics Letters A, 232(5):333–339, 1997

    Pawel Horodecki. Separability criterion and inseparable mixed states with positive partial transposition.Physics Letters A, 232(5):333–339, 1997

    1997

  10. [17]

    Quantum states with einstein-podolsky-rosen correlations ad- mitting a hidden-variable model.Physical Review A, 40(8):4277, 1989

    Reinhard F Werner. Quantum states with einstein-podolsky-rosen correlations ad- mitting a hidden-variable model.Physical Review A, 40(8):4277, 1989

    1989

  11. [18]

    Many copies may be required for entanglement distillation.Physical review letters, 93(1):010502, 2004

    John Watrous. Many copies may be required for entanglement distillation.Physical review letters, 93(1):010502, 2004

    2004

  12. [19]

    Everything you always wanted to know about locc (but were afraid to ask)

    Eric Chitambar, Debbie Leung, Laura Mančinska, Maris Ozols, and Andreas Win- ter. Everything you always wanted to know about locc (but were afraid to ask). Communications in Mathematical Physics, 328(1):303–326, 2014

    2014

  13. [20]

    Completely positive linear maps on complex matrices.Linear algebra and its applications, 10(3):285–290, 1975

    Man-Duen Choi. Completely positive linear maps on complex matrices.Linear algebra and its applications, 10(3):285–290, 1975

    1975

  14. [22]

    For the termb 2 1c2 2, its coefficient is nonpositive only whenx∈ h 24 √ 2−33 7 , x0 i , with x0 < 33−12 √ 6 25

    Due to the complexity of the expression, we show only the terms necessary for completing the squares and omit irrelevant components. For the termb 2 1c2 2, its coefficient is nonpositive only whenx∈ h 24 √ 2−33 7 , x0 i , with x0 < 33−12 √ 6 25 . Consequently, the square compl...

Pith tools

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