{"id":"c0abb247-f4dc-4227-b9d9-c49a29fa350e","arxiv_id":"2607.17894","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Chained spin correlations imply hidden variables must break Parameter Independence, and a random-matrix collapse model shows how that can happen while No-Signaling survives.","lead":"This paper proves a strengthened Bell theorem: chained singlet correlations force any robust hidden-variable improvement to abandon Parameter Independence, without ever assuming Outcome Independence. It then sketches a random-matrix collapse model in which that violation is real but signal-free because the hidden variable is the detector's own random stream.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Part 2's random-matrix answer is under-specified: the b-sensitive stream ξ_k(b) and the no-signaling proof are imported rather than derived, so the claim that PI can be violated without signaling is not yet established.","rationale":"I read the paper in good faith and checked the Part 1 theorem. The chained-marginal argument in Section 7 is coherent: the Colbeck–Renner lemma, PI, and HA give |2p0(λ)−1| ≤ Σ_k δ_k(λ), and averaging plus Markov can be made to yield the claimed finite-chain contradiction once one uses the total-link sum T(λ) to handle deviations of any marginal. Part 1 therefore appears to support the conclusion that robustly improved predictions require rejecting PI. The load-bearing weakness is exactly where the reader located it: Part 2. The random-matrix framework is imported, the simulation's ξ_k(b) is not derived from the stated dynamics, and the no-signaling proof is qualitative. These are addressable gaps rather than demonstrated contradictions, so the appropriate verdict remains CONDITIONAL: Part 1 stands, but the advertised answer to the Sorites argument is not yet a completed theory. My concern does not move the reader's verdict; it reinforces it.","tokens_in":16584,"tokens_out":20128,"duration_ms":195535,"concrete_test":"Provide a precise definition of ξ_k(b) derived from a stated GUE random-matrix Hamiltonian for a two-outcome Stern–Gerlach measurement at orientation b, and verify two properties analytically or by released simulation code: (i) for each fixed b, the increments are mean-zero with b-independent statistics (so No-Signaling holds), and (ii) for a fixed realization of the stream, varying b produces the claimed sharp flips of the outcome. If no such ξ_k(b) can be derived, or if the simulation's ξ_k(b) is an independent input rather than a consequence of the GUE walk, Part 2's answer to the Stronger Theorem does not follow.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central two-part claim requires Part 2 to exhibit a concrete dynamics in which Parameter Independence is false while No-Signaling holds. That exhibit is not fully specified. Section 11 defers the mathematics of the random-matrix framework ('the reader is referred to those papers for the mathematics'), and Section 13's simulation posits a gambler's-ruin map m → m + ε ξ_k(b)√(m(1−m)), with ξ_k(b) 'read off from a fixed random stream ... consumed through the geometry of the device at orientation b.' No derivation of this map from a GUE Hamiltonian is given. The no-signaling argument relies on 'the isotropy of the random-matrix ensemble' to assert that, for each fixed b, the increment statistics are b-independent, while the PI violation requires that, at fixed λ, the realized increments depend sensitively on b. These two requirements are compatible only for a specific coupling ξ_k(b); the paper neither proves that such a coupling follows from Kryukov's dynamics nor shows it is unique. If the sensitive b-dependence is inserted by hand via an unspecified choice of ξ_k(b), then the model does not explain how PI can fail without signaling—it merely postulates a mechanism that has that behavior. Thus the 'price is payable' conclusion is an existence claim backed by an unsupplied construction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper has two parts. Part 1 (Sections 2–8) proves a 'Stronger Theorem': for chained spin-singlet experiments, the true quantum probabilities, Hidden Autonomy, Parameter Independence, and Robust Improved Predictions are jointly inconsistent. The proof uses the Colbeck–Renner lemma to convert the near-perfect chained correlations into inequalities for hidden-variable-conditional marginals, and a finite Markov bound; Outcome Independence is never assumed. Part 2 (Sections 9–14) claims that Kryukov's random-matrix collapse dynamics provides a concrete hidden-variable model in which Parameter Independence fails while Outcome Independence and No-Signaling hold, with the hidden variable reinterpreted as the random stream driving the measurement walk. A simulation is reported showing extreme setting-sensitivity at fixed stream and exact restoration of quantum statistics after averaging.","tokens_in":16901,"tokens_out":19360,"duration_ms":170761,"significance":"Part 1, if correct, sharpens the Bell argument: the standard escape of rejecting Outcome Independence is closed, and the contradiction points to Parameter Independence (or to Hidden Autonomy). The finite-chain, no-limit proof is a genuine improvement over the earlier 2014 presentation, and the GHZ appendix correctly explains why chaining is essential. The paper is transparent about its assumptions and presents the Part 1 proof in an elementary, self-contained way. Part 2, if made rigorous, would be a significant existence proof that PI violation need not imply signaling. The main weakness is that Part 2 is not self-contained: the model's defining properties are imported from Kryukov's papers, the b-dependent stream is not specified, and the no-signaling proof is qualitative. The manuscript also lacks code and data for the simulation, which is the only quantitative content of Part 2.","major_comments":[{"comment":"The Markov step is not justified as written. The bound on E_λ|2p0(λ)−1| is derived for a single marginal p0. The paper then says 'the same bound holds for every other conditional marginal' and concludes that the total probability of λ's for which any conditional marginal differs from 1/2 by at least η is at most π²/(8Nη). This does not follow: the events for different marginals are different; a union bound would multiply by the number of marginals and remove the N⁻¹ suppression. The proof can be repaired by applying Markov to S(λ)=Σ_k δ_k(λ) and using |p_k(λ)−1/2| ≤ |p0(λ)−1/2| + S(λ) ≤ 3S(λ)/2, so that the union event implies S(λ) ≥ 2η/3; the desired vanishing bound then follows. But the present text omits this load-bearing step.","section":"§7, proof of Stronger Theorem"},{"comment":"The paper's resolution of the Sorites argument is an existence claim: Kryukov's dynamics provides a PI-violating, no-signaling model. The model is not specified in this manuscript. Section 11 says the framework 'can be summarized in four claims; the reader is referred to those papers for the mathematics.' Section 13 postulates an update rule m→m+εξ_k(b)√(m(1−m)), with ξ_k(b) 'read off from a fixed random stream,' but does not define ξ_k(b) or derive it from a GUE Hamiltonian. The no-signaling fact is attributed to 'the isotropy of the random-matrix ensemble.' No proof is given that the required b-dependence at fixed λ is compatible with b-independent increment statistics at the level of the ensemble. Thus the central exhibit is postulated, not derived.","section":"§11 and §13, random-matrix model"},{"comment":"The paper reports a simulation as its demonstration of PI violation and no-signaling, including a jump width of 1.5×10⁻¹¹ degrees and a pooled marginal estimate 0.5011±0.0035. No code, data, pseudorandom generator, number of streams, or confidence-interval method are provided; the only parameters stated are n=60 and 2,500 pairs per point. The simulation is therefore not reproducible, and since Part 2 lacks analytic derivations, it carries the entire quantitative weight of the 'answer.' Full documentation or a formal existence proof is needed.","section":"§13, Figure 3 simulation"},{"comment":"The 'two locked doors' explanation of why the PI violation cannot be used to signal is qualitative. It may be correct, but the paper does not formulate or prove the relevant statement: for all settings a,b,b', the outcome distribution of X given a,b averaged over λ equals that given a,b', and likewise for the joint distribution. The preceding fact (ii) is asserted from isotropy rather than proven. Without a precise theorem, the claim that No-Signaling holds 'as a theorem of the model' is not established.","section":"§14, no-signaling and message suppression"}],"minor_comments":[{"comment":"The claim that a 25-link chain suffices for deterministic hidden variables is not derived from the displayed bound; with η=1/2 and w=1, the displayed bound would already suffice for N≈3. Please state the chain length used and why 25 is chosen.","section":"§7, deterministic case"},{"comment":"The number of links N is used inconsistently: the chain in §3 appears to have N−1 solid links plus a closing link, while §7's 'N links' seems to include the closing link. Please define N unambiguously in one place.","section":"§3 and §7"},{"comment":"Weak Autonomy and Weak Hidden Autonomy share similar names and are easy to confuse. Consider renaming, e.g., 'Setting Autonomy' and 'Hidden-λ Autonomy'.","section":"§5–6"},{"comment":"The abstract says anyone holding that hidden variables could improve quantum probabilities must give up Parameter Independence, but the theorem requires Robust Improved Predictions and Hidden Autonomy. Please qualify the summary statement.","section":"Abstract"},{"comment":"Part 2 relies heavily on Kryukov (2026a, 2026b), one an arXiv preprint and one a submitted manuscript. Given the dependence, include enough mathematical detail in an appendix for the present paper to be self-contained.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The Part 2 of this manuscript is essentially a research announcement: the model is described qualitatively and the mathematics is deferred to Kryukov's papers. The editor may wish to ask whether the authors have a separate, fully specified derivation of the b-dependent stream and the no-signaling theorem. The Part 1 proof has a local but repairable gap in the Markov/union-bound step; the overall theorem appears defensible. The reliance on unpublished or submitted manuscripts for the central model is a verification concern."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, the short version: Part 1 is a real result; Part 2 is not. The finite-N presentation of the Stronger Theorem is the strongest part of this paper, and it deserves to be read carefully. It shows, without any limit argument, that the chained singlet probabilities plus hidden autonomy plus Parameter Independence plus a robust improvement claim are jointly inconsistent. The proof is explicit and hand-checkable: the Colbeck–Renner lemma, the Markov bound, the finite N* are all there. If it holds, it closes the fifty-year OI escape route and forces any robust hidden-variable theory to violate Parameter Independence. That is a meaningful contribution to the Bell/no-go literature, and the GHZ appendix is a nice sanity check.\n\nThe second half is where I get off the bus. The claimed model — Kryukov's random-matrix collapse — is imported, not derived. Section 11 lists four claims and sends the reader elsewhere for the mathematics; section 13's simulation is described but the code and data are absent. The load-bearing piece, the coupling ξ_k(b) that lets the same random stream produce different outcomes at different settings while preserving uniform increment statistics, is essentially assumed. The no-signaling argument leans on 'isotropy of the random-matrix ensemble' and the 'two locked doors' discussion is qualitative. It is a plausible existence sketch, but it does not prove that a concrete Hamiltonian/GUE dynamics yields this behavior. The stress-test note is right: if ξ_k(b) is inserted by hand to get the sensitivity, the model doesn't show how PI can fail without signaling; it just postulates a mechanism with that behavior.\n\nMy overall take: Part 1 alone is solid enough for a serious referee. Part 2 needs a fully specified model, the simulation artifacts, and a rigorous argument that the b-dependence is a consequence of the dynamics, not a choice. I'd send the paper to review rather than desk-reject it — the referee can separate the sheep from the goats — but I'd tell the organizers to expect heavy revision on Part 2. For my own work, I'd cite the finite-N theorem; I wouldn't cite Part 2 as evidence for a signal-free PI violation until it's completed. The paper deserves reading-group time, mainly to see whether Part 1's assumptions are as innocent as they look.","headline":"Part 1's finite-chain theorem is a clean, checkable strengthening of Bell, but Part 2's random-matrix vindication is more of a sketch than a proof, so the package as submitted is conditional.","tokens_in":17410,"tokens_out":3118,"would_cite":true,"duration_ms":30594,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P40","81P15","81P05","81Q50"],"pacs":["03.65.Ud","03.65.Ta","03.65.Ca"],"model":"deepseek-v4-flash","headline":"The paper claims that a chained family of spin measurements (the quantum Sorites phenomenon) proves that any hidden-variable theory that robustly improves on quantum predictions must violate Parameter Independence, not Outcome Independence,","keywords":["quantum Sorites","Bell inequality","Parameter Independence","Outcome Independence","No-Signaling","random-matrix collapse","hidden variables","chained Bell experiments"],"falsifier":"Take the explicit GUE Hamiltonian from the referenced random-matrix papers and compute, at a fixed hidden stream λ and a fixed initial singlet state, the probability that Bob's outcome flips when the setting b changes by Δb. If for small Δb the flip probability is not macroscopically large (or if the distribution of the derived increments ξ_k(b) provably depends on b), then the model does not violate Parameter Independence as claimed and the simulation's step-function outcome is an artifact of the chosen input rather than a property of the dynamics.","tokens_in":16365,"feed_emoji":"⚛️","tokens_out":3504,"duration_ms":39433,"temperature":0.7,"pith_summary":"The paper aims to sharpen Bell's theorem by removing its famous ambiguity about which locality condition to blame. Using a chain of singlet-pair experiments where adjacent settings are nearly perfectly correlated and the end settings are perfectly anti-correlated, it proves a contradiction without ever assuming Outcome Independence, thereby forcing the blame onto Parameter Independence. The paper then argues that a concrete collapse model—random-matrix dynamics in which measurement is a random walk of the quantum state and the hidden variable is the random stream driving that walk—can violate Parameter Independence while preserving both Outcome Independence and No-Signaling, thus showing that the price is payable. A sympathetic reader would care because this could resolve the long-standing 'peaceful coexistence' question, replacing the usual sacrifice of Outcome Independence with a principled sacrifice of Parameter Independence that is not experimentally detectable.","feed_headline":"Quantum Sorites chain pins Bell's paradox on Parameter Independence","feed_subtitle":"A chained-spin proof leaves only Parameter Independence to reject—and a random-matrix model shows why that is safe.","key_machinery":"The central object is the Colbeck–Renner Lemma, a probability-theory identity that converts a perfect (or near-perfect) correlation between two binary variables into an equality (or bound) between their marginals, using only the axioms of probability. This lets the argument bypass Outcome Independence entirely, because marginals are all that Parameter Independence and No-Signaling govern. The chained singlet settings—with the quadratic flatness of sin²(Δ/2) near Δ=0—constrain every λ-conditional marginal to 1/2, forcing the contradiction. In the second part, the key mechanism is the random-walk representation of the class mass m, whose fair-game optional-stopping property derives the Born ru","core_discovery":"The Stronger Theorem states that four assumptions are jointly inconsistent: the true quantum probabilities for all sufficiently fine chained singlet experiments, Hidden Autonomy, Parameter Independence, and Robust Improved Predictions. Since the first two and the last are nearly unavoidable for a serious hidden-variable theory, Parameter Independence is the unique culprit. The paper further shows that in Kryukov's random-matrix framework, the hidden variable is the stored random stream that drives the measurement walk, with measurement settings acting as seeds. Conditional on that stream, the distant setting determines the local outcome (Parameter Independence fails), but averaging over the","pith_inferences":["If the Stronger Theorem holds, it also constrains proposals that keep Parameter Independence: they must either reject Hidden Autonomy (conspiracy) or give up Robust Improved Predictions, which would undermine the point of hidden variables.","The random-matrix model's claim that the influence propagates through the geometry of state space rather than spacetime suggests a testable consistency requirement: the walk must be describable in a Lorentz-invariant way, otherwise the 'no spacetime process' argument may fail under a different choice of time slicing.","The simulation's step-function outcome with flips at 10⁻¹⁰ degrees implies a quantitative prediction about device complexity: the density of jump locations in the setting parameter should scale with the number of microscopic degrees of freedom, which could in principle be probed if a suitable mesoscopic analogue existed.","The paper leaves the derivation of the setting-dependent increments ξ_k(b) somewhat open; a rigorous derivation from the underlying GUE Hamiltonian is needed to ensure that the claimed unlimited sensitivity is a consequence of the dynamics rather than an artifact of the chosen simulation input."],"forward_implications":["Bell's theorem becomes a corollary of the Stronger Theorem, and the standard escape of rejecting Outcome Independence is closed off for any hidden-variable theory that robustly improves predictions.","Deterministic hidden variables that are parameter-independent and settings-independent are ruled out already by a 25-link chain, with the tolerated fraction of determined runs tending to zero as the chain is refined.","If the Stronger Theorem is correct, any future hidden-variable theory must violate Parameter Independence if it is to improve on quantum predictions robustly, redrawing the map of viable no-go theorems.","The random-matrix model provides a worked example in which a violation of Parameter Independence entails no superluminal signaling, because the influence is a boundary-condition dependence of a state-space walk rather than a spacetime process.","The model explains why Bob's influence on Alice's outcome is real but unusable: the jump locations in the setting dependence are chaotic functions of an unreadable hidden stream, and local statistics remain exactly 1/2."],"fun_headline_variants":["Sorites chain forces Bell to blame Parameter Independence","Random-matrix collapse makes Parameter Independence safe after Sorites","Quantum Sorites disambiguates Bell: only Parameter Independence fails","Parameter Independence guilty in Bell, but harmless in random-matrix model"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that Kryukov's random-matrix collapse dynamics is a well-defined physical theory whose random-walk increments really do have the two properties claimed: the statistics of the increments are independent of the measurement setting, while the particular increments at a fixed stream vary sensitively with the setting—if the setting-sensitivity is inserted by hand in the choice of ξ_k(b) rather than derived from the model, the no-signaling proof and the","fun_headline_variants_meta":{"raw":{"variants":["Sorites chain forces Bell to blame Parameter Independence","Random-matrix collapse makes Parameter Independence safe after Sorites","Quantum Sorites disambiguates Bell: only Parameter Independence fails","Parameter Independence guilty in Bell, but harmless in random-matrix model"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000338,"raw_usage":{"total_tokens":1750,"prompt_tokens":838,"completion_tokens":912,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":582,"completion_tokens_details":{"reasoning_tokens":853}},"tokens_in":582,"tokens_out":912,"duration_ms":9121,"temperature":1.0,"reasoning_tokens":853,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T16:42:03.438132+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the explicit GUE Hamiltonian from the referenced random-matrix papers and compute, at a fixed hidden stream λ and a fixed initial singlet state, the probability that Bob's outcome flips when the setting b changes by Δb. If for small Δb the flip probability is not macroscopically large (or if the distribution of the derived increments ξ_k(b) provably depends on b), then the model does not violate Parameter Independence as claimed and the simulation's step-function outcome is an artifact of the chosen input rather than a property of the dynamics.","supporting_citations":[],"review_version":1}