This episode is an introductory yet technically precise overview of quantum no-go theorems, delivered by Maria Violaris, a recent PhD graduate in quantum information foundations from Oxford. The discussion covers Bell’s theorem, the Kochen-Specker theorem, Leggett-Garg inequalities, the PBR theorem, and related concepts such as entanglement, contextuality, locality, realism, and quantum computing basics. The goal is to explain what these theorems tell us about the nature of reality, why quantum mechanics defies classical intuition, and how they are tested experimentally.
Background and Motivation
Schrödinger’s cat and superposition: Quantum theory implies that systems can exist in superpositions (e.g., a cat simultaneously dead and alive), raising the question of whether quantum mechanics applies at all scales or whether some collapse mechanism prevents macroscopic superpositions.
EPR paradox and entanglement: Einstein, Podolsky, and Rosen highlighted that quantum entanglement produces correlations stronger than classical physics allows, seemingly conflicting with special relativity’s prohibition on faster-than-light influences. They proposed quantum mechanics might be incomplete, motivating local hidden variable models as a way to restore classical intuitions.
Core tension: No-go theorems aim to determine what conclusions about reality can be drawn from experimental outcomes, specifically ruling out classes of classical-like explanations for quantum phenomena.
Key Concepts and Definitions
Qubits (quantum bits): Unlike classical bits (0 or 1), a qubit is represented as a point on a sphere (the Bloch sphere), where the north pole is |0⟩, the south pole is |1⟩, and all other points are superpositions. Measurement projects the qubit to |0⟩ or |1⟩ with probabilities determined by its position on the sphere.
Physical implementations include photon polarization, electron spin, photon path (horizontal vs. vertical), or photon existence (vacuum vs. one photon).
Quantum gates: Operations that manipulate qubits by rotating the Bloch sphere. The X gate flips |0⟩ to |1⟩ (like a classical NOT). The Hadamard gate creates superposition (sends |0⟩ to (|0⟩+|1⟩)/√2). The CNOT gate entangles two qubits: if the first is |1⟩, it flips the second.
Entanglement: A pair of qubits can be prepared in a state like |00⟩ + |11⟩, meaning they are perfectly correlated in a way that exceeds classical correlations. Measuring one instantly determines the other’s state, regardless of distance.
Uncertainty principle: Certain pairs of properties (like position and momentum, or X and Z spin observables) cannot both be simultaneously well-defined. Measuring one makes the other maximally uncertain.
Classical vs. quantum correlation: Classically, if you know one sock is pink, you infer the other is pink—this is pre-existing correlation. Quantum entanglement is stranger: even though neither particle has definite values for multiple incompatible properties simultaneously, measurements on both sides always agree on whichever property is chosen.
Theory independence: A desirable feature of no-go theorems where conclusions hold regardless of whether quantum mechanics is the correct theory—they tell us something robust about reality.
Loopholes: Experimental imperfections that could allow classical explanations to mimic quantum results. Closing loopholes (e.g., ensuring space-like separation, random measurement choices) is essential for definitive tests.
Bell’s Theorem and CHSH Inequality
Setup: Two entangled qubits are given to Alice and Bob, who are space-like separated (no signal can travel between them during measurement). Each independently chooses to measure either the X or Z observable, obtaining outcomes of +1 or −1.
Local hidden variable models: These assume that particles carry pre-determined values (hidden variables) for all possible measurements, set when they were prepared, and that no influence travels faster than light. This would explain correlations classically.
CHSH inequality: A specific form of Bell’s inequality. Define an expectation value S from combinations of measurement outcomes (XX, XZ, ZX, ZZ). Any local hidden variable theory requires |S| ≤ 2.
Quantum prediction: Quantum mechanics predicts S = 2√2 ≈ 2.828, which violates the inequality. Experiments confirm this violation, ruling out local hidden variable models.
Interpretations of locality and realism:
Locality can mean no faster-than-light causation, no information transfer, or no physical influence at all. Some definitions allow wave function collapse to be non-local without enabling communication.
Realism often means systems have definite properties before measurement. But interpretations differ on what counts as “real.”
Separability: Whether the whole system can be fully described by describing its parts individually. Entangled systems are non-separable in standard quantum mechanics.
Everettian (many-worlds) interpretation: Treats measurement devices as quantum systems, leading to branching universes. It preserves locality and a form of realism by redefining what is fundamentally real—not single outcomes but the full quantum state (matrices, or “Q numbers”). This avoids non-locality without hidden variables.
De Broglie-Bohm (pilot wave) interpretation: Keeps particles with definite positions guided by a wave. It is explicitly non-local (the wave connects distant particles) but still respects no-signaling (cannot send information faster than light).
Super-determinism: Drops the assumption of measurement independence—the idea that Alice and Bob freely choose what to measure. If their choices are correlated with the hidden variables via initial conditions, local realism could be preserved. Most physicists find this unsatisfying as it implies cosmic conspiracy.
Tsirelson’s bound: The maximum quantum violation of the CHSH inequality is 2√2. This is less than the theoretical maximum allowed by no-signaling alone (which would be 4). Why quantum mechanics stops at 2√2 is an open question, motivating research into toy theories with stronger correlations and their physical implications.
GHZ States
Setup: Three qubits are entangled in the state |000⟩ + |111⟩ (a GHZ state, named after Greenberger, Horne, and Zeilinger). Each of three parties measures either X or Z on their qubit.
Deterministic contradiction: Unlike Bell’s theorem (which requires many trials to see statistical violation), GHZ provides a “one-shot” refutation. For certain combinations of X and Z measurements, local hidden variable models predict the product of outcomes should be +1, while quantum mechanics predicts −1. A single run confirming −1 rules out local hidden variables.
Hardy’s theorem: An intermediate case between Bell and GHZ. It uses two qubits and shows a probabilistic contradiction: sometimes a specific outcome occurs that is impossible under local hidden variables. It requires fewer qubits than GHZ but is not deterministic.
Kochen-Specker Theorem and Contextuality
Contextuality defined: In quantum mechanics, the outcome of measuring a property A may depend on what else you measure alongside it (the “context”), even when those other properties are compatible with A.
Non-contextual hidden variable models: Assume that measurement outcomes are pre-determined and independent of which other compatible properties are measured alongside. The Kochen-Specker theorem rules these out.
Mermin-Peres magic square: A concrete demonstration using two qubits. Consider nine observables arranged in a 3×3 grid: each row and column consists of compatible (jointly measurable) observables. Assigning pre-determined values of +1 or −1 to each cell such that the product of each row and column matches quantum predictions is impossible. This proves contextuality.
Advantages over Bell: Contextuality is state-independent (holds for any quantum state, not just entangled ones) and does not require space-like separation, making it easier to test without locality loopholes.
Leggett-Garg Inequalities
Macro-realism: The idea that macroscopic systems always exist in definite states and that measurement merely reveals (rather than creates) those states.
Leggett-Garg inequalities: Analogous to Bell inequalities but applied to measurements on a single system at different times. They test whether a system behaves classically over time.
Quantum violation: Quantum systems can violate these inequalities, showing that macro-realism fails even for large systems under certain conditions. This is used to test “quantumness” in increasingly macroscopic systems.
PBR Theorem
Psi-ontic vs. psi-epistemic: Is the quantum wave function a real physical property of a system (psi-ontic), or does it merely represent our knowledge about some underlying physical state (psi-epistemic)?
PBR theorem (2012): Shows that if the wave function is psi-epistemic, then certain statistical predictions conflict with quantum mechanics. Under reasonable assumptions, the wave function must be psi-ontic—it corresponds directly to physical reality, not just information.
Connection to Bell: Like Bell’s theorem, PBR rules out a class of classical-like models (here, those treating the wave function as mere knowledge), reinforcing the view that quantum states are real physical entities.
Summary and Outlook
What no-go theorems collectively tell us: Quantum mechanics cannot be explained by local hidden variables (Bell, GHZ), non-contextual hidden variables (Kochen-Specker), macro-realism (Leggett-Garg), or psi-epistemic models (PBR). Reality is fundamentally non-classical in specific, well-defined ways.
Open questions: Why is Tsirelson’s bound exactly 2√2? What principle limits quantum correlations? How do these theorems apply to quantum gravity? Can gravity be tested for quantum behavior using similar methods?
Future directions: Modifying no-go theorems to test quantum aspects of gravity, exploring toy theories beyond quantum mechanics, and deepening understanding of contextuality and its role in quantum computation.
Everettian perspective: From the many-worlds viewpoint, all these theorems are resolved by taking the full quantum state (including measurement devices) as real, preserving locality and determinism without hidden variables.
