Hidden variables

The no-go theorems don't kill hidden variables, as they price them, and CSD reads the price tag and pays it.

proved in corpus · proved here, no imported axiomsLean no_product_partition_realises_singlet
Portrait photograph of Louis de Broglie
Louis de Broglie, whose pilot wave was the first hidden-variable theory.public domain, via Wikimedia Commons

In plain terms

If the quantum state describes knowledge rather than the world, there has to be something the knowledge is about, an underlying state of affairs that's definite whether or not anyone looks. Theories that supply one are called hidden-variable theories, and a famous sequence of theorems is widely reported to have ruled them out.

The reports are wrong, in an instructive way. What Bell and his successors actually ruled out are the well-behaved hidden-variable theories, the local ones, in which what happens here can't depend on a choice made far away, and the non-contextual ones, in which the value a system gives for one quantity doesn't depend on which other quantities are measured alongside it. Hidden variables survive, at the stated price of locality and non-contextuality.

That isn't a loophole, as it's the actual content of the theorems. Bohmian mechanics has been paying the price since 1952, and it remains the standing proof that the reports of death were exaggerated.

In CSD

The constraint surface is a hidden-variable theory in the technical sense, and the programme says so plainly rather than hoping nobody asks. It's contextual and non- local, exactly the two properties whose absence the theorems forbid, and it proves the relevant obstructions in-house rather than citing them, since a reconstruction resting on trust in the theorems that constrain it would be oddly built.

Two standard misreadings are worth heading off. First, CSD isn't a repair of quantum mechanics, as it reproduces the same predictions at leading order, and candidate departures are recorded as owed by the papers and not claimed. Second, the quantum state isn't the hidden variable. The state is the summary, and the hidden variable is the point of the constraint surface underneath, which is why the state can be epistemic without the theory being about nothing.

Mathematically

No product partition of a shared hidden-state space reproduces the singlet correlations, at any setting pair, and likewise GHZ. This is proved over arbitrary measurable state spaces, so the constraint hits the class and not one construction.

The positive half is also in the corpus, an explicit contextual, non-local assignment that does reproduce the singlet. Together the pair delimits the viable region from both sides, what can't work and one thing that does.

Related entries

Module
CsdLean4/LF6/ForcedContextuality.lean
On the site
The position page places the programme among the hidden-variable theories and the no-go results
New to this?
explainquantum is a beginners' course in quantum mechanics, which starts from scratch and needs no maths
Background
Overview and history
Referenced
Wikipedia

Source links are pinned to a commit, so they do not drift. The anchors above are checked mechanically against the Lean tree on every build. The mathematics is not, and cannot be: that is a human responsibility and it rests with the author.

Part of Constraint-Surface Dynamics · Formalised in csd-lean4.

Privacy policy