Foundations and Interpretations

Quantum foundations asks which features of the formalism can be represented by a more classical explanatory model, which cannot, and what experiments say about the assumptions entering that comparison. The subject becomes reliable only when four layers remain separate:

$$\text{assumptions} \Longrightarrow \text{theorem} \Longrightarrow \text{quantum prediction} \Longrightarrow \text{experimental inference}.$$

Interpretation begins after that ledger is explicit. A mathematical no-go result can exclude a sharply defined class of models without selecting one unique ontology, and an experiment can reject a tested inequality without becoming an assumption-free metaphysical verdict.

Required background. Use the Born Rule to translate states and measurements into testable probabilities; use Projectors to represent sharp quantum events and compatible decompositions.

Helpful background. Use Entangled States to distinguish entanglement from ordinary correlation and signaling.

Enter the volume

Start by identifying the question you are actually asking.

Question	Route	What the route establishes
What counts as a Bell-local explanation?	Local Hidden Variables	The factorized probability model, measurement independence, and its no-signaling consequence
How is that model tested quantitatively?	CHSH Inequality	Local bound $2$, quantum bound $2\sqrt2$, and no-signaling algebraic value $4$
What exactly is Bell’s conclusion?	Bell’s Theorem	Some quantum distributions have no measurement-independent Bell-local representation
What does measurement context mean?	Contextuality	Traditional value noncontextuality versus generalized operational noncontextuality
Which global sharp-value assignment fails?	Kochen–Specker Theorem	The dimension-$d\ge3$ obstruction and a finite parity witness
Which mixed states can be copied marginally?	No-Broadcasting Theorem	Exact broadcastability of a family if and only if its members commute

The Information and Foundations Results cards provide compact lookup statements. The pages above are the canonical homes for assumptions, derivations, examples, and limitations.

Three distinct obstructions

Bell, Kochen–Specker, and no-broadcasting are often grouped as quantum no-go theorems, but they obstruct different classical pictures.

Bell locality

A Bell-local model explains separated outcomes through a shared variable $\lambda$ and local response probabilities. With settings $x,y$ and outcomes $a,b$,

$$p(a,b\mid x,y) = \int_\Lambda \mu(d\lambda)\, p_A(a\mid x,\lambda) p_B(b\mid y,\lambda).$$

CHSH exposes distributions that cannot have this form when the hidden-variable distribution is independent of the settings. The conclusion concerns a complete probability model, not merely whether the prepared state is entangled.

Noncontextual values

Kochen–Specker asks whether every sharp event can be assigned a pre-existing value that is independent of which compatible measurement contains it. In dimension at least three, overlapping contexts make a global assignment impossible when the assignment preserves the functional relations among commuting observables.

This is not the same assumption as spatial locality. A contextual hidden-variable theory can evade the theorem, and traditional projective Kochen–Specker contextuality is narrower than the modern operational framework.

Broadcasting quantum states

No-broadcasting asks for one quantum channel whose two output marginals both reproduce every state in a specified input family. The obstruction is noncommutativity: commuting families behave as classical probability distributions in a shared basis and can be broadcast; noncommuting families cannot.

This result is operational rather than ontological. It constrains physical transformations without assuming hidden variables.

Keep theorem and experiment apart

A theorem is an implication from mathematical premises. A quantum prediction inserts a specified state and measurement model into the Born rule. An experiment adds apparatus calibration, spacetime arrangement, setting generation, data selection, and statistical inference.

For a Bell test, for example:

1. Bell locality and measurement independence imply a Bell inequality.
2. Quantum mechanics predicts a violation for selected entangled states and measurements.
3. An experiment estimates correlations and rejects a bounded local model subject to its protocol and analysis assumptions.
4. Interpretation addresses what must change in a broader account of reality.

Skipping a layer is the usual source of overstatement.

What the current routes do not claim

• Bell violation does not enable controllable faster-than-light signaling.
• Bell’s theorem does not rule out every hidden-variable theory or prove that an undefined property called “realism” is false.
• Entanglement alone is not equivalent to Bell nonlocality.
• Kochen–Specker does not forbid contextual hidden-variable theories and its standard projector theorem does not apply unchanged to a two-dimensional Hilbert space.
• No-broadcasting does not prevent a known singleton state or a commuting classical family from being reproduced.
• No one theorem chooses between all interpretations of quantum mechanics.

A reading protocol

For each foundational claim, write a five-line ledger:

1. Scenario: Which preparations, settings, outcomes, and transformations are allowed?
2. Model class: Which conditional independences, value rules, or channel properties are assumed?
3. Witness: Which inequality, contradiction, or operational task separates the theories?
4. Scope: Is the conclusion mathematical, experimental, or interpretive?
5. Escape routes: Which assumption may be relaxed, and what new cost does that impose?

This protocol turns vague slogans into questions that can be proved, calculated, or tested.

Exercises

1. Classify each statement as a theorem, quantum prediction, experimental inference, or interpretation: “Bell-local models satisfy CHSH,” “the singlet reaches $2\sqrt2$,” “a loophole-aware data set violates CHSH,” and “nature is nonlocal.”

Solution

They are, respectively, a theorem, a quantum prediction, an experimental inference, and an interpretive claim. The first three can be made precise from explicit mathematical or experimental specifications; the final sentence requires a definition of “nonlocal” and an account of which assumptions are retained.

2. Why does a no-signaling distribution need not be Bell-local?

Solution

No-signaling constrains only the observable marginals, for example $p(a\mid x,y)=p(a\mid x)$. Bell locality requires the stronger existence of a shared-variable factorization for the entire joint distribution. PR-box correlations satisfy no-signaling but violate CHSH up to the algebraic value $4$, so they are not Bell-local.

3. Name the different mathematical objects constrained by Kochen–Specker and no-broadcasting.

Solution

Kochen–Specker constrains global noncontextual value assignments to sharp events or compatible observables. No-broadcasting constrains completely positive trace-preserving maps acting on a family of density operators. The former is an ontological-model obstruction; the latter is a transformation theorem within quantum theory.

References

• H. Barnum, C. M. Caves, C. A. Fuchs, R. Jozsa, and B. Schumacher, “Noncommuting mixed states cannot be broadcast,” Physical Review Letters 76, 2818–2821 (1996).
• J. S. Bell, “On the Einstein Podolsky Rosen paradox,” Physics Physique Fizika 1, 195–200 (1964).
• J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, “Proposed experiment to test local hidden-variable theories,” Physical Review Letters 23, 880–884 (1969).
• S. Kochen and E. P. Specker, “The Problem of Hidden Variables in Quantum Mechanics,” Indiana University Mathematics Journal 17, 59–87 (1968), doi:10.1512/iumj.1968.17.17004.
• R. W. Spekkens, “Contextuality for preparations, transformations, and unsharp measurements,” Physical Review A 71, 052108 (2005).