How the Quantum Sorites Phenomenon Strengthens the Bell Argument and How a Random-Matrix Collapse Dynamics Answers It

Malcolm Forster

REVIEW 4 major objections 5 minor 2 references

How the Quantum Sorites Phenomenon Strengthens the Bell Argument and How a Random-Matrix Collapse Dynamics Answers It

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

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

Pith's one-line read 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,

desk verdict 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. read the letter →

arxiv 2607.17894 v1 pith:6QCIBTBI submitted 2026-07-20 quant-ph

Malcolm Forster This is my paper · ORCID

classification quant-ph MSC 81P4081P1581P0581Q50 PACS 03.65.Ud03.65.Ta03.65.Ca

keywords quantumSoritesBellinequalityParameterIndependenceOutcomeNo-Signalingrandom-matrixcollapsehiddenvariableschainedexperiments

topics The Measurement Problem

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 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.

What carries the argument

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

What would settle it

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.

Watch

Extended reading notes

Core claim

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

Load-bearing premise

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

Editorial extensions

If this is right

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.

Reading between the lines

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

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.

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.

Desk Editor's Note

read the 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.

The 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.

My 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.

Referee Report

4 major / 5 minor

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.

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 (4)

[§7, proof of Stronger Theorem] 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.
[§11 and §13, random-matrix model] 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.
[§13, Figure 3 simulation] 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.
[§14, no-signaling and message suppression] 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.

minor comments (5)

[§7, deterministic case] 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.
[§3 and §7] 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.
[§5–6] Weak Autonomy and Weak Hidden Autonomy share similar names and are easy to confuse. Consider renaming, e.g., 'Setting Autonomy' and 'Hidden-λ Autonomy'.
[Abstract] 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.
[References] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Part 1's theorem is self-contained; Part 2's reference-dependence is a support gap, not a circular step.

full rationale

The paper's main derivation, the Stronger Theorem (Sections 5–7), is self-contained: it is proved from explicit premises—true quantum probabilities for chained singlet experiments, Hidden Autonomy, Parameter Independence, and Robust Improved Predictions—via a finite-N Markov inequality argument. The conclusion (that PI must be rejected) is not assumed anywhere in the proof; the Colbeck–Renner lemma is proved directly from probability axioms. The self-citations to Forster (2014) and Forster (1986) are historical/terminological and not load-bearing, since the proof is reproduced in the paper. The cited 2014 paper is even flagged as unpublished in a footnote. Part 2's random-matrix answer is an existence claim whose mathematics is deferred to Kryukov and whose no-signaling theorem rests on the isotropy of the random-matrix ensemble; this is external-reference dependence and under-specification, not definitional circularity. No equation is constructed so that the conclusion equals an input, and the simulation illustrates a proposed mechanism rather than fitting a prediction. The paper's own caveat—'the reader is referred to those papers for the mathematics'—identifies a missing proof, but a missing proof is not circularity.

Assumptions & free parameters 2 free parameters · 8 assumptions · 2 invented entities

The theorem itself uses only standard probability plus quantum predictions and explicit independence assumptions. Part 2 additionally imports a speculative random-matrix framework and introduces an unobservable random-stream hidden variable; the central contribution is not burdened by fitted constants, but the dynamical answer rests on several model-specific postulates.

free parameters (2)

n (number of relevant microscopic levels in the measuring device) = 60 (as used in Figure 3)
The number of oscillations of the b-dependent increments is set to n=60 arbitrarily; real magnets are said to be 'astronomical'. This parameter shapes the jump structure that produces the claimed 10^-10-degree sensitivity.
increment map ξ_k(b) from random stream to walk = unspecified
The simulation consumes 'the same stored numbers' through device geometry, but no concrete GUE-to-increment function is given; the qualitative jump behavior is generated by this unspecified choice.

assumptions (8)

domain assumption Quantum predictions for chained singlet experiments (Born rule, including P(X≠Y|Δ)=sin²(Δ/2)).
The Stronger Theorem takes these as confirmed phenomenology; if they fail, the theorem does not apply.
domain assumption Hidden Autonomy: P(λ|A=a,B=b)=P(λ) for all chained settings.
Standard free-choice condition; needed so λ-weights are link-independent so averages yield surface probabilities.
domain assumption Weak Autonomy: all chained setting pairs have positive probability.
Rules out conspiracies preventing any chained experiment; used to ensure conditional probabilities are defined.
domain assumption Parameter Independence as defined in Section 5.
The candidate assumption the theorem refutes; not derived from anything else.
ad hoc to paper Robust Improved Predictions (margins η,w).
Characterizes the hidden-variable programme's aim; without it the theorem has no target.
ad hoc to paper Kryukov's random-matrix collapse dynamics is well-defined and reproduces the Born rule.
Part 2 premises the model; the paper defers its mathematics to unpublished Kryukov papers.
ad hoc to paper Isotropy of the GUE ensemble: increment statistics are independent of measurement setting b.
Used to prove No-Signaling as a theorem of the model; asserted on the basis of ensemble symmetry.
standard math Standard probability axioms and the Colbeck-Renner lemma.
Elementary probability used throughout; the lemma is proved in Section 5.

invented entities (2)

Random stream λ=(λa,λb) as hidden variable
purpose: Provides deterministic outcomes conditional on stream; explains measurement randomness as ignorance of stored random numbers.
Unobservable by construction; no falsifiable handle is offered.
Random-matrix measurement walk of the joint state on projective Hilbert space
purpose: Implements collapse as a stochastic-but-unitary walk terminating on classical outcome classes.
The walk is an internal model ingredient; the model's only empirical claims are standard quantum predictions, so there is no independent test.

how reviews work

0 comments

Cite this review

Pith. "Pith review of How the Quantum Sorites Phenomenon Strengthens the Bell Argument and How a Random-Matrix Collapse Dynamics Answers It." pith.science (2026). https://pith.science/paper/6QCIBTBI

@misc{pith2026260717894,
  author       = {Pith},
  title        = {Pith review of: How the Quantum Sorites Phenomenon Strengthens the Bell Argument and How a Random-Matrix Collapse Dynamics Answers It},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6QCIBTBI}},
  note         = {Machine review of arXiv:2607.17894}
}

read the original abstract

Bell proved that no theory of pre-existing local values can reproduce the predictions of quantum mechanics, but his proof leaves the culprit ambiguous: one may reject either of two independence conditions, Outcome Independence or Parameter Independence, and most commentators have found Outcome Independence the safer sacrifice. The first part of this paper presents, in a form adapted to spin-1/2 particles in the singlet state, an argument (Forster 2014) that removes the ambiguity: using a chained family of experiments in which quantum mechanics predicts an extreme pattern of correlations -- the quantum Sorites phenomenon -- a contradiction is derived without ever assuming Outcome Independence. Under the resulting theorem, anyone who holds that hidden variables could improve on the quantum probabilities must give up Parameter Independence itself. That looks like a heavy price, because Parameter Independence appears to be protected twice over: rejecting it seems to put superluminal influences into spacetime, and its statistical shadow -- the No-Signaling condition -- is experimentally beyond reproach The second part of the paper shows that the price is payable. In the random-matrix collapse dynamics proposed by Kryukov, measurement is a random walk of the quantum state, and the hidden variable is not a stock of values fixed at the source but the random stream that drives the walk -- like the stored random numbers of a computer simulation, with the measurement settings playing the role of seeds. In that framework Parameter Independence is false while Outcome Independence and No-Signaling are both true, and one can say exactly how the Sorites argument is blocked, why the violation involves no process propagating in spacetime, and why the influence of one wing's setting on the other wing's outcome -- demonstrated here in a simulation -- can never be used to send a message.

Figures

Figures reproduced from arXiv: 2607.17894 by the authors.

**Figure 2.** The quantum probability of a mismatch between the recorded bits as a function of [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗

**Figure 3.** The simulation. (a) Fixed stream λ, swept setting b: the joint outcome (1–0 = Bob up–Alice down, 0–1 = the reverse) holds steady over stretches of b and then jumps — roughly thirty jumps as b sweeps from 0 ◦ to 180◦ — and the jump pattern differs erratically from stream to stream (λ1, λ2, λ3). Zooming in on the marked jump, again and again, always finds the same thing: a b below which the outcome is one way and a b … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

2 extracted references · 1 linked inside Pith

[1]

Aspect, A., Grangier, P., and Roger, G. (1982). Experimental realization of Einstein-Podolsky-Rosen- Bohm Gedankenexperiment: A new violation of Bell’s inequalities.Physical Review Letters49, 91–94. Bell, J. S. (1964). On the Einstein Podolsky Rosen paradox.Physics1, 195–200. Bohm, D. (1952). A suggested interpretation of the quantum theory in terms of “h...

1982
[411]

Forster, M. R. (1986). Bell’s paradox and path analysis. In P. Weingartner and G. Dorn (eds.), Foundations of Physics. Vienna: Hölder-Pichler-Tempsky. Forster,M.R.(2014).HowthequantumSoritesphenomenonstrengthensBell’sargument.arXiv:1403.1598. van Fraassen, B. C. (1982). The Charybdis of realism: Epistemological implications of Bell’s inequality. Synthese5...

arXiv 1986

Pith tools

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

[1] [1]

Aspect, A., Grangier, P., and Roger, G. (1982). Experimental realization of Einstein-Podolsky-Rosen- Bohm Gedankenexperiment: A new violation of Bell’s inequalities.Physical Review Letters49, 91–94. Bell, J. S. (1964). On the Einstein Podolsky Rosen paradox.Physics1, 195–200. Bohm, D. (1952). A suggested interpretation of the quantum theory in terms of “h...

1982

[2] [411]

Forster, M. R. (1986). Bell’s paradox and path analysis. In P. Weingartner and G. Dorn (eds.), Foundations of Physics. Vienna: Hölder-Pichler-Tempsky. Forster,M.R.(2014).HowthequantumSoritesphenomenonstrengthensBell’sargument.arXiv:1403.1598. van Fraassen, B. C. (1982). The Charybdis of realism: Epistemological implications of Bell’s inequality. Synthese5...

arXiv 1986