Ontic Dynamical Locality Reduces to Bell Locality
Pith reviewed 2026-05-10 04:44 UTC · model grok-4.3
The pith
Any dynamical hidden-variable model obeying ontological parameter independence reduces to a static Bell model.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We establish a generalized transition-kernel framework encompassing dynamical measurement processes and rigorously prove that any dynamical model satisfying ontological parameter independence is mathematically reducible to a static Bell model. We reveal a fundamental trichotomy: to reproduce quantum correlations, a hidden-variable model must violate either strict locality such as ontological parameter and outcome independence, measurement independence, or realism. Our results provide a universal diagnostic tool, demonstrating that nonlocal statistical correlations can never be synthesized by purely local dynamical complexity.
What carries the argument
The generalized transition-kernel framework, which encodes probabilistic evolution of hidden variables conditioned on measurement settings and outcomes, reducing any such dynamical model to a static Bell model when ontological parameter independence holds.
If this is right
- Dynamical local hidden-variable models cannot reproduce quantum correlations unless they violate one of the three conditions in the trichotomy.
- The constraints of Bell's theorem apply equally to both static and dynamical models once ontological parameter independence is required.
- Purely local dynamical processes are provably unable to generate the nonlocal statistical correlations observed in quantum mechanics.
- The transition-kernel framework supplies a diagnostic for checking whether any proposed hidden-variable model is truly local.
Where Pith is reading between the lines
- Proposed local models that rely on explicit time evolution of hidden variables during measurement will still need to incorporate measurement dependence or abandon realism to match experiment.
- The equivalence unifies static and dynamical proposals, so the search for alternatives to local realism can focus on the trichotomy without separate dynamical cases.
- Bell inequality experiments retain the same implications for dynamical models as for static ones under the independence assumption.
Load-bearing premise
That the generalized transition-kernel framework captures every possible dynamical hidden-variable model and that ontological parameter independence is the correct locality condition to impose on them.
What would settle it
A concrete dynamical hidden-variable model that satisfies ontological parameter independence yet cannot be rewritten as any static Bell model, or one that reproduces quantum correlations while remaining local under that independence condition.
read the original abstract
Bell inequalities exclude a broad class of local hidden-variable explanations of quantum correlations. A recurring objection is that the usual Bell form is static, whereas real measuring devices may contain local memory, stochastic dynamics, and measurement-induced disturbances of their hidden variables. We formulate this objection as a general transition-kernel model for dynamical hidden variables. The only locality assumption is imposed at the ontic level: conditional on the pre-measurement ontic state, the transition kernel and response function in each wing depend on the local setting but not on the distant setting or on distant post-measurement variables. Under measurement independence, all such dynamics can be absorbed into effective local response functions. The resulting probabilities have exactly the static Bell-local form and therefore obey the CHSH inequality. The result identifies the available escape routes for reproducing quantum correlations: violating ontic dynamical locality, violating measurement independence, or abandoning a classical hidden-variable ontology. As a consequence, local classical dynamical complexity cannot by itself spoof Bell-nonlocal statistics in device-independent protocols.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a generalized transition-kernel framework for dynamical hidden-variable models and rigorously proves that any such model satisfying ontological parameter independence reduces mathematically to an equivalent static Bell-local model. It derives a trichotomy: reproducing quantum correlations requires a hidden-variable model to violate either strict locality (ontological parameter and outcome independence), measurement independence, or realism. The equivalence is presented as a universal diagnostic showing that local dynamical complexity cannot generate nonlocal correlations.
Significance. If the central reduction holds under the stated definitions, the result strengthens Bell's theorem by closing dynamical loopholes, providing a clean classification of hidden-variable models via the trichotomy. The work merits credit for the general transition-kernel construction and the parameter-free equivalence, which offers a falsifiable diagnostic tool for model builders in quantum foundations.
minor comments (2)
- [Abstract] The abstract and introduction would benefit from a one-sentence inline definition or reference to the precise meaning of 'ontological parameter independence' to improve accessibility for readers outside the immediate subfield.
- [Main text] Notation for transition kernels and the reduction map could be made more uniform across sections to avoid minor ambiguity in cross-referencing the equivalence proof.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The referee's summary accurately captures our central result: that any dynamical hidden-variable model obeying ontological parameter independence is reducible to an equivalent static Bell-local model, yielding the stated trichotomy.
Circularity Check
No significant circularity in derivation chain
full rationale
The paper defines a transition-kernel framework for dynamical hidden-variable models and proves that models obeying ontological parameter independence reduce to static Bell-local models. This reduction is presented as following directly from the framework's definitions and the imposed independence condition, constituting a standard mathematical equivalence proof rather than a self-referential or fitted-input construction. No load-bearing self-citations, ansatz smuggling, or renaming of known results are indicated in the abstract or structure. The resulting trichotomy is a logical consequence of the equivalence within the stated assumptions, with the framework self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms of probability theory and Markov kernels for defining transition probabilities
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.