{"id":"7e721c72-7a6b-4af9-839f-b45698cd819d","arxiv_id":"1908.03387","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Simple geometric inequalities rule out joint reality of two-valued quantum observables under locality or operational completeness, giving new qubit no-go results.","lead":"This paper proves several no-go theorems that rule out the possibility that two quantum properties, such as two spins of a qubit, both have pre-existing values before measurement. It does so under two very different assumptions: locality, and a new assumption it calls operational completeness, which is weaker than preparation noncontextuality.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Corollary 1's 'incompatible with locality' omits the measurement-independence premise that Theorem 1 requires.","rationale":"The reader correctly identified measurement independence as the weakest assumption in the Sec. III results. I agree with that assessment and consider it the single most load-bearing concern for Corollary 1. The paper is transparent about this assumption, stating it in the Sec. III preamble, and the proofs are logically correct under the stated premises. Therefore the mathematical claims stand. However, the corollary's headline formulation omits measurement independence, which is a genuine overstatement of the result's scope: without it, joint reality and locality (as formally defined) are compatible with the observed steering statistics. The proposed test would demonstrate this by exhibiting a measurement-dependent local model that violates inequality (10). Since the assumption is explicit and the paper's content is otherwise sound, the reader's ACCEPT verdict is unchanged; only a clarification of the corollary's wording would be warranted.","tokens_in":25892,"tokens_out":26443,"duration_ms":273929,"concrete_test":"Drop the measurement-independence premise from the derivation of Theorem 1 and attempt to re-prove inequality (10) allowing p(λ|M) ≠ p(λ|M′). Then construct the standard superdeterministic local model for two-qubit singlet correlations (λ fixes both the measurement settings and the outcomes, with A and B having jointly real values) and evaluate l(c) in Eq. (10) for A = σ·a, B = σ·b. If l(c) > 0 is achieved in such a model, the proof without measurement independence fails, confirming that Corollary 1 requires this additional assumption.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1's proof compares two counterfactual runs in which the distant measurements M and M′ are performed on the same initial ensemble E, equating <AB>_E across the two decompositions via Eq. (9). This equality is valid only if E is the same ensemble regardless of which measurement is chosen. The paper explicitly assumes measurement independence in the Sec. III preamble, i.e., that measurement choices are uncorrelated with hidden variables influencing outcomes. Without that premise, a measurement-dependent local model can prepare different initial ensembles for the M-run and the M′-run while preserving joint reality of A and B, and inequality (10) can be violated. Thus the no-go conclusion is not a consequence of the paper's formal Locality definition alone; it requires the conjunction of locality and measurement independence. Corollary 1 states the result as 'incompatible with locality,' which overstates the proven claim. This is a real scope limitation of the central result, though the underlying mathematics is sound under the stated assumptions.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies conditions under which two ±1-valued observables A and B of a single system can be assigned pre-existing real values (joint reality). Its main tool is the elementary positivity condition (2), which yields sign constraints (4)–(7) on ⟨AB⟩ from the averages ⟨A⟩ and ⟨B⟩. Theorem 1 shows that, under locality (with measurement independence assumed throughout) and one-sided reality of A and B, any two dichotomic remote steered subensembles must satisfy the linear inequality (10); violation certifies device-independent steering. Corollary 1 applies this to projective qubit observables and concludes that any two noncommuting qubit observables are incompatible with locality, extending earlier three-observable results of Jevtic and Rudolph. Section III also derives the CHSH inequality from one-sided reality (Eq. 18), proves a finite-ensemble equivalence between device-independent steering and Bell nonlocality, and reformulates Pusey's necessary-and-sufficient CHSH-type condition as inequality (23). Section IV introduces 'operational completeness', a strictly weaker assumption than preparation noncontextuality (Proposition), and proves Theorem 3: joint reality is compatible with operational completeness only if inequality (24) holds. Corollary 3 gives the corresponding qubit no-go result; robustness of the qubit result is analysed in Sec. IV B, including noisy POVMs.","tokens_in":26100,"tokens_out":13143,"duration_ms":146188,"significance":"The paper is significant: it reduces the number of observables for which a joint-reality/locality no-go theorem is needed from three to two for qubits, and it gives a simple, parameter-free device-independent steering inequality (10) that is experimentally simpler than CHSH in some herald-only scenarios. The geometric proof of Theorem 1 and Theorem 3 is elegant and self-contained. The introduction of operational completeness is a genuine conceptual contribution: the Proposition explicitly separates it from preparation noncontextuality via a two-state counterexample, and Corollary 3 shows it suffices to rule out joint reality of all noncommuting qubit observables. The finite-statistics formulation and the explicit bounds for POVMs (Eqs. (25)–(26)) strengthen the practical relevance. The main weakness is that the central no-go claims are labelled 'locality' while the proof additionally uses measurement independence; because the assumption is stated in the Sec. III preamble, this is a presentation issue rather than a mathematical flaw.","major_comments":[],"minor_comments":[{"comment":"The proof of Theorem 1 uses Eq. (9) to compare two decompositions of the same initial ensemble E under two different remote measurement choices, which requires measurement independence in addition to the formal Locality definition given at the start of Sec. III. The paper states this assumption in the preamble ('we will make throughout this paper'), but Theorem 1, Corollary 1, and the abstract present the result as based on 'locality' alone. I recommend adding an explicit 'and measurement independence' qualifier (or a footnote) to Theorem 1 and Corollary 1 so that the central no-go claim is not overstated.","section":"Sec. III preamble; Theorem 1; Corollary 1"},{"comment":"The formal joint distribution in Eq. (17) is undefined when N(α,β|E)=0 for some pair (α,β), since the denominator vanishes. This is easily repaired because the numerators also vanish in that case, but the paper should state the convention that such terms are set to zero.","section":"Sec. III C, Eq. (17)"},{"comment":"In the 'only if' direction, the construction shows that the particular mixtures E/ and E\\ formed from the diagonals of the quadrilateral have equal joint relative frequencies. A sentence explaining why this single intersection point suffices to certify compatibility of joint reality with operational completeness for all operationally similar ensembles in the operational plane would improve readability.","section":"Appendix B, proof of Theorem 4"},{"comment":"There are minor typographical issues, for example 'a operational plane' in Sec. IV A and 'the the joint reality' in the final paragraph of Sec. IV C, that should be corrected.","section":"Throughout"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a strong contribution with sound central derivations. The only editorial concern is that the 'locality' wording in Theorem 1 and Corollary 1 should be qualified by the measurement-independence assumption, even though that assumption is explicitly stated in the Sec. III preamble; otherwise the paper may be misread as proving a stronger claim than it does. The debt to Pusey's earlier work is clear and properly cited; the novelty lies in the device-independent steering framing and the operational-completeness assumption. I recommend minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it. The headline result is real: a device-independent steering inequality that rules out joint reality of two (not three) noncommuting qubit observables under locality, and a new assumption, operational completeness, that is strictly weaker than preparation noncontextuality and still yields the same no-go. The geometry (Eq. 2 plus convexity) is elementary but effective; Theorems 1 and 3 are self-contained and the proofs are clear. Corollaries 1 and 3 follow. The finite-statistics framing (no convergence of unobservable joint frequencies) is a genuine plus, not window dressing. The steering-ellipsoid connection and the 'conditional Bell inequality' reformulation also strike me as useful for the community.\n\nSoft spots: the paper is upfront in the Sec. III preamble about assuming measurement independence, but Corollary 1 states the result without it. Strictly, the conclusion is 'incompatible with locality plus measurement independence' (for suitably chosen ensembles). That is not a disproof of the mathematics, but it is a scope limitation in how the result is advertised. The same issue is inherited by the claimed experimental simplicity: the unheralded single-photon-detector scheme needs extra assumptions (constant source rate, detector placement) to estimate steering probabilities. Fair enough—they flag that too. Theorems 2 and 4 depend on Pusey's cited theorem; Theorem 4 gets a full appendix proof, Theorem 2 less so. That is a transparency issue, not a flaw.\n\nOperational completeness is carefully defined, and the counterexample showing it is strictly weaker than preparation noncontextuality is cute and sound. The loose 'up to O(N^{-1/2})' language is not a rigorous statistical bound, but the paper does not claim one and explicitly points to future work. Fine.\n\nWho this is for: quantum foundations people working on contextuality, steering, and hidden-variable models. It deserves a serious referee. I would send it out; the main thing to ask for is a small clarification in the statement of Corollary 1 and the abstract that the no-go is under locality plus measurement independence. That is minor.","headline":"New two-observable qubit no-go results with clean geometric proofs, though the headline 'incompatible with locality' silently leans on measurement independence.","tokens_in":26598,"tokens_out":2321,"would_cite":true,"duration_ms":22892,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Joint reality of any two noncommuting qubit observables is ruled out","keywords":["joint reality","value definiteness","device-independent steering","Bell inequalities","locality","preparation noncontextuality","operational completeness","finite statistics"],"falsifier":"Measure inequality (10) for orthogonal qubit observables $X=\\hat\\sigma_x$, $Y=\\hat\\sigma_y$, with a singlet pair, steering along the $x+y$ and $x-y$ directions on the second qubit. The paper predicts $\\mathcal L(0)=\\sqrt2-1>0$; observing $\\mathcal L(0)\\le0$ in a finite-statistics run that controls measurement independence and uses no fair-sampling would directly contradict Corollary 1. For the operational-completeness version, prepare the four ensembles with Bloch vectors $(1,1,0)/\\sqrt2$, $(-1,-1,0)/\\sqrt2$, $(1,-1,0)/\\sqrt2$, $(-1,1,0)/\\sqrt2$ and evaluate inequality (24); failure to find $\\mathcal L(0)>0$ under operational equivalence would contradict Corollary 3.","tokens_in":25700,"feed_emoji":"⚛️","tokens_out":9663,"duration_ms":99791,"temperature":0.7,"pith_summary":"Joint reality—the idea that a measurement reveals a value that was already there—is usually thought to need elaborate assumptions to refute for a single qubit. This paper shows that elementary geometry is enough. If two ±1-valued observables are jointly real, then a simple positivity identity forces the sign of their correlation whenever their individual averages lie in certain regions; two mixtures with the same averages but forced opposite correlation signs then contradict any assumption that identifies their statistics. Locality supplies such mixtures through a distant steering measurement, and a strictly weaker assumption called operational completeness supplies them within a single region. The result is device-independent: it applies to any two-valued observables of any physical system, uses only finite counting statistics, and sharpens prior no-go arguments from triples of observables to arbitrary pairs.","feed_headline":"Two noncommuting qubit observables cannot both be real","feed_subtitle":"A geometric proof rules out pre-existing values for any noncommuting pair, assuming only locality or operational completeness.","key_machinery":"The load-bearing object is the positivity identity for joint relative frequencies, $$\\frac{N(\\$\\alpha$,\\$\\beta$)}{N}=\\frac14(1+\\$\\alpha$\\langle A\\rangle+\\$\\beta$\\langle B\\rangle+\\$\\alpha$\\$\\beta$\\langle AB\\rangle)\\ge0,$$ which, for any $c\\in(-1,1)$, yields the four quadrant inequalities $\\langle AB\\rangle>c$ when $\\langle A\\rangle+\\langle B\\rangle>1+c$, and so on. These inequalities carve out a rectangle-and-shaded-region picture: jointly real observables cannot have the same marginal averages in two different mixtures if one mixture is forced above $c$ and the other below $c$. A steering measurement on a distant system realizes exactly such a pair of mixtures while locality claims their $\\langle AB\\rangle$ averages coincide; an operational plane does the same without any spacelike separation. For qubits the reachable marginal averages form an ellipse circumscribing the rectangle, which is why every noncommuting pair produces the contradiction.","core_discovery":"The central discovery is a geometric necessary condition for joint reality. For jointly real $A,B=\\pm1$, the joint relative frequencies must satisfy $N(\\alpha,\\beta)/N=\\frac14(1+\\alpha\\langle A\\rangle+\\beta\\langle B\\rangle+\\alpha\\beta\\langle AB\\rangle)\\ge0$, so on four regions of the $\\langle A\\rangle,\\langle B\\rangle$ plane the correlation $\\langle AB\\rangle$ is forced to lie above or below a chosen threshold $c$. If an ensemble can be split by a distant measurement into subensembles occupying the diagonally opposite regions, then locality would require the two mixtures to give the same value of $\\langle AB\\rangle$ while the geometry forces one strictly greater than $c$ and the other strictly less. This yields Theorem 1, a device-independent steering inequality; for projective qubit observables $A=\\hat\\sigma\\cdot a$, $B=\\hat\\sigma\\cdot b$, the quantum range is an ellipse that always protrudes through all four sides of the threshold rectangle for $c=a\\cdot b$, giving Corollary 1: any two noncommuting projective qubit observables are incompatible with locality. Replacing locality by operational completeness in the same construction gives Theorem 3 and Corollary 3, so the no-go also holds in a single region under an assumption strictly weaker than preparation noncontextuality. The paper additionally derives CHSH Bell inequalities from one-sided reality alone and shows that device-independent steering inequalities are conditional Bell inequalities, with an equivalence between steering and Bell nonlocality for finite ensembles.","pith_inferences":["Beyond the paper, the same rectangle argument should generalize to observables with more than two outcomes or to more than two observables, replacing the rectangle by a higher-dimensional polytope and the correlation sign by a face of the joint-reality polytope.","Beyond the paper, the threshold $\\epsilon=1/\\sqrt2$ for noisy qubit POVM observables suggests a clean experimental probe: prepare the four ensembles at the rectangle corners, vary $\\epsilon$ across the boundary, and look for the predicted transition in inequality (24).","Beyond the paper, the conditional-Bell reading of steering inequalities invites the question whether every Bell scenario, not just CHSH, admits a complete set of conditional inequalities; the paper leaves that open for non-CHSH scenarios.","Beyond the paper, because operational completeness is strictly weaker than preparation noncontextuality, other preparation-noncontextuality no-go results may be re-derivable under the weaker assumption wherever the relevant statistics are confined to jointly real observables."],"forward_implications":["Inequality (10) can be tested as a conditional Bell inequality with fewer detectors or assumptions than standard CHSH tests—for example, with unheralded entangled photon pairs and one detector per side.","A violation of inequality (10) certifies that $A$ and $B$ are not both predetermined, and therefore witnesses device-independent steering, with applications to one-sided secure key distribution and randomness generation.","Because the CHSH inequality follows from locality plus joint reality of $A$ and $B$ in one region only, any CHSH violation rules out one-sided reality without assuming reality on the steering side.","The operational-completeness results (Theorems 3 and 4) transfer the no-go to single-region experiments and cover noisy qubit measurements: unbiased noisy $X$ and $Y$ POVM observables are incompatible with joint reality whenever their noise parameter satisfies $\\epsilon>1/\\sqrt2$, which is tight.","All no-go conclusions hold for finite ensembles, so they do not require assuming that unobserved joint relative frequencies converge to a joint probability distribution."],"supporting_citations":[{"why":"Supplies the original local-realism target and the type of inequality the new steering inequality generalises.","marker":"[2]"},{"why":"Gives the CHSH inequality derived here from locality plus one-sided reality and used as the comparison standard.","marker":"[3]"},{"why":"Sets the definitions of Bell nonlocality and device-independent scenarios on which the equivalence arguments rely.","marker":"[4]"},{"why":"Prior qubit steering no-go requiring three observables, which Corollary 1 improves to arbitrary pairs.","marker":"[14]"},{"why":"Provides the steering-ellipsoid completeness property used in Corollary 2's geometric characterisation.","marker":"[15]"},{"why":"The determinant inequality reformulated as Theorems 2 and 4, giving necessary and sufficient steering conditions.","marker":"[17]"},{"why":"Defines preparation noncontextuality, the assumption that operational completeness is shown to weaken.","marker":"[18]"},{"why":"Proves equivalence between CHSH inequalities and local realistic models, used to derive equation (18) and the finite-ensemble equivalence.","marker":"[28]"}],"fun_headline_variants":["Geometry proves no joint reality for noncommuting qubits","Device-independent steering rules out joint reality","Operational completeness alone forbids joint values","Two noncommuting observables can't both be real, by geometry","No-go: noncommuting qubit observables fail joint reality"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise for the locality results is measurement independence—the choice of which distant measurement ($M$ or $M'$) to perform is uncorrelated with any hidden variables that determine $A$ and $B$—and the load-bearing premise for the single-region results is operational completeness: operationally similar ensembles must have approximately the same joint frequencies for observables with pre-existing values.","fun_headline_variants_meta":{"raw":{"variants":["Geometry proves no joint reality for noncommuting qubits","Device-independent steering rules out joint reality","Operational completeness alone forbids joint values","Two noncommuting observables can't both be real, by geometry","No-go: noncommuting qubit observables fail joint reality"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000219,"raw_usage":{"total_tokens":1505,"prompt_tokens":1072,"completion_tokens":433,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":688,"completion_tokens_details":{"reasoning_tokens":354}},"tokens_in":688,"tokens_out":433,"duration_ms":4619,"temperature":1.0,"reasoning_tokens":354,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:15:11.956559+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure inequality (10) for orthogonal qubit observables $X=\\hat\\sigma_x$, $Y=\\hat\\sigma_y$, with a singlet pair, steering along the $x+y$ and $x-y$ directions on the second qubit. The paper predicts $\\mathcal L(0)=\\sqrt2-1>0$; observing $\\mathcal L(0)\\le0$ in a finite-statistics run that controls measurement independence and uses no fair-sampling would directly contradict Corollary 1. For the operational-completeness version, prepare the four ensembles with Bloch vectors $(1,1,0)/\\sqrt2$, $(-1,-1,0)/\\sqrt2$, $(1,-1,0)/\\sqrt2$, $(-1,1,0)/\\sqrt2$ and evaluate inequality (24); failure to find $\\mathcal L(0)>0$ under operational equivalence would contradict Corollary 3.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the original local-realism target and the type of inequality the new steering inequality generalises."},{"cited_title":"Similar robustness considerations hold for observables sufficiently close to X and Y , including POVM observ- ables","cited_arxiv_id":null,"evidence_quote":"Gives the CHSH inequality derived here from locality plus one-sided reality and used as the comparison standard."},{"cited_title":"The content of Theorem 3 is thus also applicable to the joint reality of noisy qubit observables, as expected from its device- independent nature","cited_arxiv_id":null,"evidence_quote":"Sets the definitions of Bell nonlocality and device-independent scenarios on which the equivalence arguments rely."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Prior qubit steering no-go requiring three observables, which Corollary 1 improves to arbitrary pairs."},{"cited_title":"Pitowsky, Phys","cited_arxiv_id":null,"evidence_quote":"Provides the steering-ellipsoid completeness property used in Corollary 2's geometric characterisation."},{"cited_title":"Jevtic and T","cited_arxiv_id":null,"evidence_quote":"The determinant inequality reformulated as Theorems 2 and 4, giving necessary and sufficient steering conditions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proves equivalence between CHSH inequalities and local realistic models, used to derive equation (18) and the finite-ensemble equivalence."}],"review_version":1}