One pure steered state implies Einstein-Podolsky-Rosen steering
Pith reviewed 2026-05-20 10:18 UTC · model grok-4.3
The pith
A two-qubit entangled state with at least one pure steered state is EPR steerable in both directions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that a two-qubit entangled state admitting at least one pure steered state is Einstein-Podolsky-Rosen (EPR) steerable from Alice to Bob. Pure steered states correspond to the quantum steering ellipsoid of Bob being tangent to his Bloch sphere at least at one point. We prove that Bob's ellipsoid is tangent to his Bloch sphere at exactly N points, for N in {0,1,2,∞}, if and only if Alice's ellipsoid is tangent to her Bloch sphere at exactly N points. Therefore, for any two-qubit entangled state, if one party can steer the other to at least one pure state, the state is two-way EPR steerable.
What carries the argument
The quantum steering ellipsoid and the points at which it touches the Bloch sphere; each tangency point marks a pure steered state and the count of such points determines steerability.
If this is right
- Existence of one pure steered state immediately certifies two-way EPR steering without further calculation.
- Absence of any pure steered states on both sides is consistent with the state being unsteerable in either direction.
- The only possible numbers of pure steered states for entangled two-qubit states are zero, one, two, or infinitely many.
- Steering verification reduces to counting tangency points of the ellipsoid rather than optimizing over all measurements.
Where Pith is reading between the lines
- The geometric criterion may allow faster numerical checks of steering for families of states parameterized by a single angle.
- The same tangency counting could be tested experimentally by preparing the state and measuring conditional purity on one side.
- If the symmetry of tangency points extends beyond two qubits, it would link steering in larger systems to ellipsoid geometry in higher dimensions.
Load-bearing premise
A pure steered state is exactly equivalent to the steering ellipsoid touching the Bloch sphere at that point.
What would settle it
An explicit two-qubit entangled density matrix in which one party steers the other to a pure state yet the overall state fails to satisfy any EPR steering criterion, or in which the two parties have unequal numbers of tangency points.
Figures
read the original abstract
In this work, we show that a two-qubit entangled state admitting at least one pure steered state is Einstein-Podolsky-Rosen (EPR) steerable from Alice to Bob. Pure steered states signifies that the quantum steering ellipsoid of Bob is tangent to his Bloch sphere at least at a single point. Furthermore, we prove that for a two-qubit entangled state, Bob's quantum steering ellipsoid is tangent to his Bloch sphere at exactly $N$ points, for $N\in \{ 0,1,2,\infty\}$, if and only if Alice's quantum steering ellipsoid is tangent to her Bloch sphere at exactly $N$ points. For any two-qubit entangled state, therefore, if one party can steer the other to at least one pure state, the state is two-way EPR steerable. We also present several illuminating instances of two-qubit entangled states such that the EPR steering can be verified in terms of pure steered states. Our result addresses the Gisin theorem in a EPR steering scenario: at least a single pure steered state implies two-way steering.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that for two-qubit entangled states, the existence of at least one pure steered state implies EPR steerability from Alice to Bob. It equates a pure steered state with tangency of Bob's quantum steering ellipsoid to the Bloch sphere at that point. The paper further proves that the number of tangency points N (where N is in {0,1,2,∞}) is identical for Alice's and Bob's ellipsoids, implying that one pure steered state yields two-way EPR steerability. Examples of such states are provided, and the result is framed as addressing Gisin's theorem in the steering setting.
Significance. If the geometric tangency condition is rigorously shown to be incompatible with any local-hidden-state model, the result supplies a simple, geometrically intuitive criterion for two-way EPR steering in two-qubit systems. This could streamline both theoretical classification and experimental verification of steering by reducing the check to the existence of a single pure steered state rather than the full assemblage.
major comments (2)
- [Abstract] Abstract: The step equating tangency of the steering ellipsoid at one point to the absence of an LHS model for the steered assemblage is left implicit. No explicit derivation is visible linking the geometric condition to the definition of EPR steerability (e.g., via incompatibility with any LHS decomposition or via an SDP formulation of the steering problem). This link is load-bearing for the central claim.
- [Main geometric argument (likely §3)] Main geometric argument (likely §3): The claimed iff relation between the exact number of tangency points N ∈ {0,1,2,∞} for the two parties' ellipsoids must be shown to preserve the steerability implication without additional assumptions on the state; if the tangency count can be realized while an LHS model still reproduces the assemblage, the two-way steering conclusion would not follow.
minor comments (2)
- [Examples] Examples: The illuminating instances should include explicit numerical values or figures showing the ellipsoid tangency points and the corresponding pure steered states so that readers can directly verify the geometric conditions.
- [Notation] Notation: Ensure uniform terminology for 'quantum steering ellipsoid' and 'Bloch sphere' across all sections to prevent any ambiguity in the geometric statements.
Simulated Author's Rebuttal
We thank the referee for their detailed and constructive report. The comments highlight areas where the connection between the geometric tangency condition and the absence of a local-hidden-state (LHS) model can be made more explicit, and where the two-way steering implication from the shared tangency count N requires additional verification. We address each point below and will incorporate the necessary clarifications and derivations in the revised manuscript.
read point-by-point responses
-
Referee: [Abstract] Abstract: The step equating tangency of the steering ellipsoid at one point to the absence of an LHS model for the steered assemblage is left implicit. No explicit derivation is visible linking the geometric condition to the definition of EPR steerability (e.g., via incompatibility with any LHS decomposition or via an SDP formulation of the steering problem). This link is load-bearing for the central claim.
Authors: We agree that the link between tangency of the steering ellipsoid and the non-existence of an LHS model should be derived explicitly rather than left implicit. In the revised manuscript we will add a short derivation (likely as a new paragraph in Section 2 or an appendix) showing that tangency at a point on Bob's Bloch sphere is equivalent to the corresponding steered state being pure. We will then prove that any pure state in the steered assemblage is incompatible with an LHS model: an LHS decomposition expresses every conditional state as a convex combination of the same fixed ensemble of states, but a pure state lying on the boundary of the Bloch sphere cannot arise from a non-trivial mixture while preserving the no-signaling condition and the entanglement of the underlying two-qubit state. This explicit step will also be referenced briefly in the abstract. revision: yes
-
Referee: [Main geometric argument (likely §3)] Main geometric argument (likely §3): The claimed iff relation between the exact number of tangency points N ∈ {0,1,2,∞} for the two parties' ellipsoids must be shown to preserve the steerability implication without additional assumptions on the state; if the tangency count can be realized while an LHS model still reproduces the assemblage, the two-way steering conclusion would not follow.
Authors: The iff relation for the tangency count N is obtained from the symmetry properties of the two-qubit correlation matrix and the explicit parametrization of the steering ellipsoids. In the revision we will strengthen the argument in §3 by explicitly confirming that whenever N ≥ 1 the tangency condition already precludes any LHS model for the corresponding assemblage (via the pure-state argument added in response to the first comment). Because the same N applies to both parties' ellipsoids, the absence of an LHS model holds simultaneously in both directions. We will add a remark ruling out the possibility that a shared tangency count could coexist with a reproducing LHS model for an entangled state, thereby establishing two-way steerability without further assumptions. revision: yes
Circularity Check
No circularity: direct geometric characterization and symmetry proof
full rationale
The derivation proceeds by characterizing pure steered states via tangency of the steering ellipsoid to the Bloch sphere, proving an if-and-only-if symmetry on the exact number of tangency points (N in {0,1,2,∞}) between the two parties' ellipsoids for any two-qubit entangled state, and concluding two-way steerability from the N=1 case. This chain uses standard geometric properties of two-qubit steering ellipsoids and does not reduce the central implication to any fitted parameter, self-defined quantity, or load-bearing self-citation; the steps remain independent of the target result and are self-contained against external benchmarks for ellipsoid-based steering criteria.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Two-qubit states admit a representation via quantum steering ellipsoids inside Bloch spheres.
- domain assumption EPR steerability can be characterized through the existence of pure steered states.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Pure steered states signifies that the quantum steering ellipsoid of Bob is tangent to his Bloch sphere at least at a single point... Bob’s quantum steering ellipsoid is tangent to his Bloch sphere at exactly N points, for N∈{0,1,2,∞}
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
a two-qubit entangled state admitting at least one pure steered state is Einstein-Podolsky-Rosen (EPR) steerable from Alice to Bob
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
- [2]
- [3]
-
[4]
H. M. Wiseman, S. J. Jones, and A. C. Doherty, Phys. Rev. Lett.98, 140402 (2007)
work page 2007
-
[5]
S. J. Jones, H. M. Wiseman, and A. C. Doherty, Phys. Rev. A76, 052116 (2007)
work page 2007
-
[6]
R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Rev. Mod. Phys.81, 865 (2009)
work page 2009
-
[7]
J. S. Bell, Physics Physique Fizika1, 195 (1964)
work page 1964
-
[8]
N. Brunner, D. Cavalcanti, S. Pironio, V. Scarani, and S. Wehner, Rev. Mod. Phys.86, 419 (2014)
work page 2014
- [9]
-
[10]
P. Sekatski, F. Giraud, R. Uola, and N. Brunner, Phys. Rev. Lett.131, 110201 (2023)
work page 2023
-
[11]
C. Branciard, E. G. Cavalcanti, S. P. Walborn, V. Scarani, and H. M. Wiseman, Phys. Rev. A85, 010301 (2012)
work page 2012
-
[12]
N. Walk, S. Hosseini, J. Geng, O. Thearle, J. Y. Haw, S. Armstrong, S. M. Assad, J. Janousek, T. C. Ralph, T. Symul, H. M. Wiseman, and P. K. Lam, Optica3, 634 (2016)
work page 2016
-
[13]
R. Uola, A. C. S. Costa, H. C. Nguyen, and O. G¨ uhne, Rev. Mod. Phys.92, 015001 (2020)
work page 2020
- [14]
-
[15]
M. D. Reid, Phys. Rev. A40, 913 (1989)
work page 1989
-
[16]
E. G. Cavalcanti, S. J. Jones, H. M. Wiseman, and M. D. Reid, Phys. Rev. A80, 032112 (2009)
work page 2009
-
[17]
D. J. Saunders, S. J. Jones, H. M. Wiseman, and G. J. Pryde, Nat. Phys.6, 845 (2010)
work page 2010
-
[18]
E. G. Cavalcanti, C. J. Foster, M. Fuwa, and H. M. Wise- man, J. Opt. Soc. Am. B32, A74 (2015)
work page 2015
-
[19]
J. Schneeloch, C. J. Broadbent, S. P. Walborn, E. G. Cavalcanti, and J. C. Howell, Phys. Rev. A87, 062103 (2013)
work page 2013
- [20]
-
[21]
M. F. Pusey, Phys. Rev. A88, 032313 (2013)
work page 2013
-
[22]
P. Skrzypczyk, M. Navascu´ es, and D. Cavalcanti, Phys. 6 Rev. Lett.112, 180404 (2014)
work page 2014
- [23]
- [24]
- [25]
- [26]
- [27]
-
[28]
H. C. Nguyen and T. Vu, Europhys. Lett.115, 10003 (2016)
work page 2016
-
[29]
H. C. Nguyen, H.-V. Nguyen, and O. G¨ uhne, Phys. Rev. Lett.122, 240401 (2019)
work page 2019
- [30]
- [31]
- [32]
-
[33]
H.-M. Wang, H.-Y. Ku, J.-Y. Lin, and H.-B. Chen, Com- mun. Phys.7, 72 (2024)
work page 2024
- [34]
-
[35]
R. McCloskey, A. Ferraro, and M. Paternostro, Phys. Rev. A95, 012320 (2017)
work page 2017
- [36]
-
[37]
Q.-C. Song, T. J. Baker, and H. M. Wiseman, New J. Phys.25, 053005 (2023)
work page 2023
- [38]
-
[39]
Q.-C. Song, T. J. Baker, and H. M. Wiseman, Phys. Rev. A108, 012216 (2023)
work page 2023
- [40]
- [41]
-
[42]
R. F. Werner, Phys. Rev. A40, 4277 (1989)
work page 1989
- [43]
-
[44]
M. J. Renner, Phys. Rev. Lett.132, 250202 (2024)
work page 2024
-
[45]
R.-C. Wang, Z.-C. Li, X.-Y. Fan, X.-R. Xie, H.-H. Wei, C. H. Oh, and J.-L. Chen, Phys. Rev. A110, 052210 (2024)
work page 2024
-
[46]
J.-L. Chen, X.-J. Ye, C. Wu, H.-Y. Su, A. Cabello, L. C. Kwek, and C. H. Oh, Sci. Rep.3, 2143 (2013)
work page 2013
-
[47]
H. C. Nguyen and K. Luoma, Phys. Rev. A95, 042117 (2017)
work page 2017
-
[48]
F. Verstraete, Ph.D. thesis, Katholieke Universiteit Leu- ven (2002)
work page 2002
- [49]
- [50]
- [51]
- [52]
- [53]
-
[54]
B. G. Divyamani, I. Reena, P. K. Panigrahi, A. R. U. Devi, and Sudha, Phys. Rev. A107, 042207 (2023)
work page 2023
-
[55]
K. Xu, L. Liu, N.-N. Wang, C. Zhang, Y.-F. Huang, B.- H. Liu, S. Cheng, C.-F. Li, and G.-C. Guo, Phys. Rev. A 109, 032415 (2024)
work page 2024
-
[56]
See Supplemental Material for detailed derivations and additional figures
- [57]
- [58]
-
[59]
M. T. Quintino, T. V´ ertesi, and N. Brunner, Phys. Rev. Lett.113, 160402 (2014)
work page 2014
-
[60]
R. Uola, T. Moroder, and O. G¨ uhne, Phys. Rev. Lett. 113, 160403 (2014)
work page 2014
- [61]
-
[62]
R. Uola, C. Budroni, O. G¨ uhne, and J.-P. Pellonp¨ a¨ a, Phys. Rev. Lett.115, 230402 (2015)
work page 2015
- [63]
- [64]
- [65]
-
[66]
J.-L. Chen, C. Wu, L. C. Kwek, and C. H. Oh, Phys. Rev. Lett.93, 140407 (2004)
work page 2004
-
[67]
S. K. Choudhary, S. Ghosh, G. Kar, and R. Rahaman, Phys. Rev. A81, 042107 (2010)
work page 2010
- [68]
-
[69]
S. Yu, Q. Chen, C. Zhang, C. H. Lai, and C. H. Oh, Phys. Rev. Lett.109, 120402 (2012)
work page 2012
-
[70]
M. A. Nielsen and I. L. Chuang,Quantum computation and quantum information(Cambridge university press, 2010)
work page 2010
- [71]
-
[72]
R. Horodecki, P. Horodecki, and M. Horodecki, Phys. Lett. A200, 340 (1995)
work page 1995
-
[73]
J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Phys. Rev. Lett.23, 880 (1969). Supplemental Material: One pure steered state implies Einstein-Podolsky-Rosen steering Qiu-Cheng Song 1∗ and Joonwoo Bae 2† 1Information&Electronics Research Institute, Korea Advanced Institute of Science and Technology (KAIST), 291 Daehak-ro, Yuseong-gu, Daejeon 34141...
work page 1969
-
[74]
Pointsaandbdenote the Bloch vectors of Alice and Bob, respectively. where X:= p x(1−x), Y:= 1 6 p y(1−y), K:= 1−y 6 .(171) Bob can steer systemAto exactly two distinct pure steered states |α⟩A = p 1−y|0⟩+ √y|1⟩,|α ′⟩A =− √1−y√1 + 3y|0⟩+ 2√y√1 + 3y|1⟩.(172) The two pure steered states on systemBare uniquely given by |β⟩B = √x|0⟩+ √ 1−x|1⟩,|β ′⟩B = p 3(1−x)...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.