Pith. sign in

REVIEW 2 major objections 2 minor 27 references

Every Rank-Two Entangled State is Projectively Steerable

T0 review · 2 major / 2 minor · reviewed 2026-06-30 · grok-4.3

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

Pith's one-line read Every rank-two bipartite entangled state is projectively steerable in at least one direction.

desk verdict The paper shows rank-two entangled states are always projectively steerable via a boundary-geometric argument that rules out bifurcation at the first mixed rank. read the letter →

arxiv 2606.08189 v2 pith:D6YV7AZM submitted 2026-06-06 quant-ph

Yu-Xuan Zhang , Jing-Ling Chen This is my paper
classification quant-ph
keywords rank-twoentangledstatesprojectivesteeringEPRbipartitequantumboundarygeometrystateconeNPTcriterionSchurcomplement
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 establishes that entanglement and projective steering cannot separate at the lowest mixed rank. For any finite-dimensional bipartite entangled state of rank exactly two, a projective measurement on one subsystem always produces an assemblage on the other that admits no local hidden state model. When the effective local dimensions match, the same holds symmetrically in both directions. The argument proceeds by showing that a dimension-rank mismatch forces any attempted local hidden state model to encounter an NPT boundary contact, where a tangent block simultaneously violates positivity and supplies the steering witness. This places rank two as the base layer of a rank-based hierarchy for steering under projective measurements.

What carries the argument

The dimension-rank obstruction forcing a projective outcome onto a pure boundary point of the trusted state cone, where the support-kernel tangent block serves as both NPT minor and steering certificate.

What would settle it

An explicit rank-two entangled state together with a complete enumeration of its projective measurements showing that every resulting assemblage admits a local hidden state model.

Watch

Extended reading notes

Core claim

Every rank-two bipartite entangled state in arbitrary finite local dimensions is projectively steerable in at least one direction, and is two-way projectively steerable when the effective local dimensions are equal. The proof is boundary-geometric: a dimension-rank obstruction forces a projective outcome on the larger effective party to hit a pure boundary point of the trusted state cone. At such a contact, a nonzero support-kernel tangent block is simultaneously an NPT minor and a projective-steering certificate; if the contact is degenerate, a Schur-complement peel removes one product layer and preserves the same rank-forcing mechanism on the entangled residual.

Load-bearing premise

A dimension-rank mismatch always drives a projective measurement outcome onto a pure boundary point of the trusted state cone where the tangent block is simultaneously an NPT witness and a steering certificate.

Editorial extensions

If this is right

  • If an effective m⊗n entangled state satisfies rank ρ ≤ 1 + floor((m-1)/(n-1)), then it is projectively steerable from A to B.
  • When effective dimensions are equal, projective steerability holds symmetrically in both directions.
  • Rank two forms the first complete mixed stratum in a genuine rank hierarchy for projective steering.
  • The boundary contact itself supplies the nonclassicality certificate without requiring inequality optimization.

Reading between the lines

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

  • The same boundary-contact mechanism may supply explicit certificates for selected higher-rank states.
  • Experimental verification could target the predicted low-rank threshold to test whether the geometric obstruction appears in laboratory data.
  • The approach suggests a possible ordering of steerability strength by rank that is independent of specific state families.
  • It opens the question of whether analogous obstructions exist for other restricted measurement sets such as mutually unbiased bases.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The paper claims that every rank-two bipartite entangled state (in arbitrary finite local dimensions) is projectively steerable in at least one direction, and two-way projectively steerable when the effective local dimensions are equal. The argument is geometric: a dimension-rank obstruction forces any projective outcome on the larger party to contact a pure boundary point of the trusted state cone; at that contact a nonzero support-kernel tangent block is asserted to be both an NPT minor and a projective-steering certificate. Degenerate contacts are handled by a Schur-complement peel that recurses the same mechanism on the residual entangled state. A directional low-rank strengthening is stated: if rank(ρ) ≤ 1 + floor((m-1)/(n-1)) for an m⊗n entangled state then it is projectively steerable from A to B (and symmetrically).

Significance. If the central identification holds, the result supplies the first complete mixed-rank stratum in a genuine rank hierarchy for steering and gives an explicit, parameter-free geometric certificate that separates projective steerability from entanglement only at higher ranks. It strengthens the known fact that pure states are projectively steerable within their Schmidt supports by extending the statement to the first genuinely mixed rank without reduction to two-qubit cases or optimization of steering inequalities.

major comments (2)
  1. [boundary-contact argument (abstract and main proof)] The load-bearing step (described in the abstract and the boundary-contact paragraph of the main argument) asserts that a nonzero support-kernel tangent block at the forced pure-boundary contact is simultaneously an NPT minor and a projective-steering certificate. The geometric construction supplies the contact point, but the translation from “the block is NPT” to “there exists a projective measurement whose steered assemblage lies outside the trusted cone” is not automatic; an explicit derivation from the tangent-space geometry to the steering violation is required and is not supplied in the outline. Because the Schur-complement recursion simply repeats the same contact mechanism, any gap at the base step propagates to all degenerate cases.
  2. [low-rank strengthening statement] The directional low-rank strengthening (rank ρ ≤ 1 + ⌊(m-1)/(n-1)⌋ implies projective steerability from A to B) is stated as a corollary of the rank-two result. The manuscript must verify that the same tangent-block certificate continues to work when the rank bound is saturated but greater than two; otherwise the strengthening rests on an unproven extrapolation.
minor comments (2)
  1. Notation for the effective local dimensions versus the actual Hilbert-space dimensions should be introduced once and used consistently; the abstract switches between “local dimensions” and “effective local dimensions” without an explicit definition.
  2. The phrase “NPT minor” is used without a prior definition or reference; a one-sentence reminder of what constitutes an NPT minor in this context would aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comments. Both points identify places where the exposition of the geometric argument can be strengthened with additional explicit derivations. We address each below and will incorporate the requested clarifications in a revised manuscript.

read point-by-point responses

  1. Referee: [boundary-contact argument (abstract and main proof)] The load-bearing step (described in the abstract and the boundary-contact paragraph of the main argument) asserts that a nonzero support-kernel tangent block at the forced pure-boundary contact is simultaneously an NPT minor and a projective-steering certificate. The geometric construction supplies the contact point, but the translation from “the block is NPT” to “there exists a projective measurement whose steered assemblage lies outside the trusted cone” is not automatic; an explicit derivation from the tangent-space geometry to the steering violation is required and is not supplied in the outline. Because the Schur-complement recursion simply repeats the same contact mechanism, any gap at the base step propagates to all degenerate cases.

    Authors: We agree that the link between the NPT character of the tangent block and the existence of a violating projective measurement is asserted rather than derived in full detail in the current outline. In the revision we will add a dedicated paragraph immediately after the boundary-contact construction. This paragraph will (i) exhibit the explicit projective measurement on the larger party whose support-kernel block produces the tangent vector, (ii) show that the resulting steered assemblage has a negative eigenvalue on the trusted cone by direct computation with the block, and (iii) confirm that the same block remains a valid certificate under the Schur-complement reduction, thereby closing the recursion. This addition will be placed before the low-rank corollary so that the base step is fully explicit. revision: yes

  2. Referee: [low-rank strengthening statement] The directional low-rank strengthening (rank ρ ≤ 1 + ⌊(m-1)/(n-1)⌋ implies projective steerability from A to B) is stated as a corollary of the rank-two result. The manuscript must verify that the same tangent-block certificate continues to work when the rank bound is saturated but greater than two; otherwise the strengthening rests on an unproven extrapolation.

    Authors: The strengthening is obtained by replacing the rank-two hypothesis with the more general dimension-rank obstruction rank(ρ) ≤ 1 + ⌊(m-1)/(n-1)⌋ inside the same counting argument that forces a pure boundary contact. Nevertheless, the referee is correct that an explicit check for saturation at ranks greater than two is not written out. In the revision we will insert a short verification subsection that repeats the contact construction with the general bound, confirms that the resulting tangent block is still nonzero and NPT, and notes that the steering-certificate derivation (added in response to the first comment) applies verbatim. This will make the corollary self-contained rather than an extrapolation. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected in the derivation.

full rationale

The paper's proof relies on a boundary-geometric argument using dimension-rank obstructions on state cones, support-kernel tangent blocks, NPT minors, and Schur-complement peeling. These are standard independent tools from quantum information geometry and entanglement theory; the central claim that rank-two entangled states are projectively steerable is derived from contact-point properties rather than any self-definitional reduction, fitted input renamed as prediction, or load-bearing self-citation chain. No equations or steps in the provided description reduce the steering certificate to the input by construction, and the result is presented as a new theorem without invoking prior author-specific uniqueness results.

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

The central claim rests on standard quantum mechanics and convex geometry of quantum states with no free parameters or invented entities; the proof invokes properties of density operators, separability, projective measurements, and the negative partial transpose criterion.

assumptions (4)
  • standard math Quantum states are represented by density operators that are positive semidefinite and trace-one.
    Standard definition of quantum states invoked throughout the geometric argument.
  • domain assumption A state is entangled if it cannot be written as a convex combination of product states.
    Core definition of entanglement used to identify the states under consideration.
  • domain assumption Projective measurements correspond to rank-one orthogonal projectors.
    Restricts the measurement class as stated in the claim.
  • domain assumption Negative partial transpose is a sufficient condition for entanglement and is used here as a steering certificate.
    Invoked when the tangent block at the boundary contact is identified as an NPT minor.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Every Rank-Two Entangled State is Projectively Steerable." pith.science (2026). https://pith.science/paper/D6YV7AZM

@misc{pith2026260608189,
  author       = {Pith},
  title        = {Pith review of: Every Rank-Two Entangled State is Projectively Steerable},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D6YV7AZM}},
  note         = {Machine review of arXiv:2606.08189}
}
abstract

Pure entangled states are already steerable by suitable projective measurements within their Schmidt supports, whereas rank two is the first genuinely mixed rank at which entanglement and Einstein--Podolsky--Rosen steering could bifurcate. We prove that this bifurcation does not occur even under the restricted measurement class of projective measurements: every rank-two bipartite entangled state in arbitrary finite local dimensions is projectively steerable in at least one direction, and is two-way projectively steerable when the effective local dimensions are equal. The proof is boundary-geometric rather than a steering-inequality optimization or a two-qubit reduction. A dimension--rank obstruction forces a projective outcome on the larger effective party to hit a pure boundary point of the trusted state cone. At such a contact, a nonzero support--kernel tangent block is simultaneously an NPT minor and a projective-steering certificate; if the contact is degenerate, a Schur-complement peel removes one product layer and preserves the same rank-forcing mechanism on the entangled residual. This gives a directional low-rank strengthening: if an effective $m\otimes n$ entangled state satisfies $\rank\rho\le 1+\lfloor(m-1)/(n-1)\rfloor$, then it is projectively steerable from $A$ to $B$, with the symmetric statement after exchanging the parties. Thus rank two is the first complete mixed stratum of a genuine rank hierarchy for steering, and the proof identifies the boundary contact that certifies the nonclassicality.

Review history (2 revisions) →

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    Einstein, B

    A. Einstein, B. Podolsky, and N. Rosen, Can quantum- mechanical description of physical reality be considered complete?, Phys. Rev.47, 777 (1935)

    work page 1935

  2. [2]

    Schr¨ odinger, Discussion of probability relations be- tween separated systems, Proc

    E. Schr¨ odinger, Discussion of probability relations be- tween separated systems, Proc. Cambridge Philos. Soc. 31, 555 (1935)

    work page 1935

  3. [3]

    J. S. Bell, On the Einstein Podolsky Rosen paradox, Physics1, 195 (1964)

    work page 1964

  4. [4]

    H. M. Wiseman, S. J. Jones, and A. C. Doherty, Steering, entanglement, nonlocality, and the Einstein-Podolsky- Rosen paradox, Phys. Rev. Lett.98, 140402 (2007)

    work page 2007

  5. [5]

    S. J. Jones, H. M. Wiseman, and A. C. Doherty, Entan- glement, Einstein-Podolsky-Rosen correlations, Bell non- locality, and steering, Phys. Rev. A76, 052116 (2007)

    work page 2007

  6. [6]

    R. F. Werner, Quantum states with Einstein-Podolsky- Rosen correlations admitting a hidden-variable model, Phys. Rev. A40, 4277 (1989)

    work page 1989

  7. [7]

    Bowles, T

    J. Bowles, T. V´ ertesi, M. T. Quintino, and N. Brunner, One-way Einstein-Podolsky-Rosen steering, Phys. Rev. Lett.112, 200402 (2014)

    work page 2014

  8. [8]

    R. Uola, A. C. S. Costa, H. C. Nguyen, and O. G¨ uhne, Quantum steering, Rev. Mod. Phys.92, 015001 (2020)

    work page 2020

Show all 27 references
  1. [9]

    Cavalcanti and P

    D. Cavalcanti and P. Skrzypczyk, Quantum steering: a review with focus on semidefinite programming, Rep. Prog. Phys.80, 024001 (2017)

    2017

  2. [10]

    Skrzypczyk, M

    P. Skrzypczyk, M. Navascu´ es, and D. Cavalcanti, Quanti- fying Einstein-Podolsky-Rosen steering, Phys. Rev. Lett. 112, 180404 (2014)

    2014

  3. [11]

    M. T. Quintino, T. V´ ertesi, and N. Brunner, Joint mea- surability, Einstein-Podolsky-Rosen steering, and Bell nonlocality, Phys. Rev. Lett.113, 160402 (2014)

    2014

  4. [12]

    R. Uola, T. Moroder, and O. G¨ uhne, Joint measurability of generalized measurements implies classicality, Phys. Rev. Lett.113, 160403 (2014)

    2014

  5. [13]

    R. Uola, C. Budroni, O. G¨ uhne, and J.-P. Pellonp¨ a¨ a, One-to-one mapping between steering and joint measur- ability problems, Phys. Rev. Lett.115, 230402 (2015)

    2015

  6. [15]

    Jevtic, M

    S. Jevtic, M. Pusey, D. Jennings, and T. Rudolph, Quan- tum steering ellipsoids, Phys. Rev. Lett.113, 020402 (2014)

    2014

  7. [16]

    Jevtic, M

    S. Jevtic, M. J. W. Hall, M. R. Anderson, M. Zwierz, and H. M. Wiseman, Einstein-Podolsky-Rosen steering and the steering ellipsoid, J. Opt. Soc. Am. B32, A40 (2015)

    2015

  8. [17]

    H. C. Nguyen, H.-V. Nguyen, and O. G¨ uhne, Geome- try of Einstein-Podolsky-Rosen correlations, Phys. Rev. Lett.122, 240401 (2019)

    2019

  9. [18]

    M. F. Pusey, Negativity and steering: A stronger Peres conjecture, Phys. Rev. A88, 032313 (2013)

    2013

  10. [19]

    Harris,Algebraic Geometry: A First Course, Gradu- ate Texts in Mathematics Vol

    J. Harris,Algebraic Geometry: A First Course, Gradu- ate Texts in Mathematics Vol. 133 (Springer, New York, 1992)

    1992

  11. [20]

    Flanders, On spaces of linear transformations with bounded rank, J

    H. Flanders, On spaces of linear transformations with bounded rank, J. London Math. Soc.37, 10 (1962)

    1962

  12. [21]

    M. D. Atkinson and S. Lloyd, Large spaces of matrices of bounded rank, Q. J. Math.31, 253 (1980)

    1980

  13. [22]

    Peres, Separability criterion for density matrices, Phys

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

    1996

  14. [23]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki, Separa- bility of mixed states: necessary and sufficient conditions, Phys. Lett. A223, 1 (1996)

    1996

  15. [24]

    Horodecki, P

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

    2009

  16. [25]

    Every Rank-Two Entangled State is Projectively Steerable

    P. Horodecki, M. Lewenstein, G. Vidal, and I. Cirac, Op- erational criterion and constructive checks for the sepa- rability of low-rank density matrices, Phys. Rev. A62, 032310 (2000). Supplemental Material for “Every Rank-Two Entangled State is Projectively Steerable” Yu-Xuan...

    2000

  17. [26]

    Zhang and J.-L

    Y.-X. Zhang and J.-L. Chen, Boundary geometry turns entanglement into steering, arXiv:2605.21245v2 [quant-ph] (2026)

    2026 arXiv

  18. [27]

    Harris,Algebraic Geometry: A First Course, Graduate Texts in Mathematics Vol

    J. Harris,Algebraic Geometry: A First Course, Graduate Texts in Mathematics Vol. 133 (Springer, New York, 1992)

    1992

  19. [28]

    Horodecki, M

    P. Horodecki, M. Lewenstein, G. Vidal, and I. Cirac, Operational criterion and constructive checks for the separability of low-rank density matrices, Phys. Rev. A62, 032310 (2000)

    2000

Pith tools

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