| Bell's theorem | |
|---|---|
| Name | Bell's theorem |
| Field | Quantum mechanics |
| Introduced | 1964 |
| Introduced by | John Stewart Bell |
| Related | EPR paradox, Bell inequality, Local hidden variable theory |
Bell's theorem
Bell's theorem is a fundamental result in Quantum mechanics showing that no physical theory of local hidden variables can reproduce all the statistical predictions of quantum mechanics. It formalizes constraints—Bell inequalities—that any theory satisfying locality and realism must obey, and demonstrates that entanglement leads to correlations that violate those constraints. The theorem has deep consequences for our understanding of causality and has motivated decisive experimental tests and applications in quantum information theory.
Bell's theorem establishes that certain statistical correlations predicted for measurements on spatially separated, entangled quantum systems cannot be explained by any model that combines (i) locality—the prohibition of faster‑than‑light influences consistent with special relativity—and (ii) realism—the idea that measurement outcomes reflect preexisting properties. Bell derived an inequality (now called a Bell inequality) that bounds correlations achievable by any local hidden variable theory; quantum mechanics predicts situations (notably for singlet states of two spin‑1/2 particles or entangled photon pairs) where that bound is exceeded. The original result in 1964 by John Stewart Bell is supplemented by later generalized inequalities such as the CHSH inequality.
Bell's theorem arose from debates triggered by the 1935 EPR paradox paper by Albert Einstein, Boris Podolsky and Nathan Rosen, which argued that quantum mechanics might be incomplete because it predicts strong correlations between distant systems. Responses such as David Bohm's pilot‑wave model provided explicit nonlocal hidden‑variable accounts. Bell formulated his theorem to test whether any local hidden‑variable completion of quantum mechanics was possible. His work intersected with conceptual developments by Erwin Schrödinger (on entanglement) and later clarifications by John Clauser, Michael Horne, Abner Shimony, and Richard Holt who recast Bell's ideas into experimentally testable forms.
Bell derived inequalities by assuming statistical independence and locality for measurement outcomes conditioned on hidden variables λ. The most famous experimentally applicable form is the CHSH inequality (Clauser–Horne–Shimony–Holt), which bounds a linear combination of correlation functions by 2 for local hidden‑variable models; quantum mechanics predicts values up to 2√2 (the Tsirelson bound). Other variants include the original Bell inequality for perfect anticorrelations, the Clauser–Horne inequality suitable for detection‑efficiency considerations, and multipartite generalizations such as the Mermin inequalities and GHZ theorem for Greenberger–Horne–Zeilinger states. Derivations often exploit assumptions of outcome determinism or statistical completeness; relaxations lead to concepts like outcome dependence and parameter dependence.
Key experimental tests began with the 1972–1976 experiments by John Clauser and collaborators, progressing to higher‑precision tests by Alain Aspect in the 1980s that closed some loopholes using time‑varying analyzers. Later experiments addressed common experimental loopholes: the detection loophole (closed by experiments with trapped ions and superconducting detectors) and the locality (or communication) loophole (closed in long‑distance photon experiments). Notable recent "loophole‑free" Bell tests were reported in 2015 by groups including teams led by Anton Zeilinger, Ronald Hanson and Saul K. Barrett's collaborators, using entangled photons, nitrogen‑vacancy centers, and superconducting circuits. Experimental violations of Bell inequalities are now robust and consistent with quantum electrodynamics predictions, subject to assumptions about freedom of choice and experimental isolation.
Violations of Bell inequalities imply that any underlying theory reproducing quantum predictions must reject at least one of the assumptions leading to the inequalities. This forces a reassessment of classical intuitions: either one accepts explicit nonlocality (as in Bohmian mechanics) or one denies naive realism (as in instrumentalist or certain QBism approaches). Debates also address whether violations imply superluminal causation or merely nonlocal correlations that do not enable signaling, preserving compatibility with special relativity. Philosophical positions such as relational or many‑worlds approaches circumvent different assumptions to remain consistent with violations.
Responses to Bell's theorem include explicit nonlocal hidden‑variable theories like Bohmian mechanics, retrocausal models that allow influences from future measurement settings, and interpretations that reject realism (e.g., Copenhagen, QBism). The Many‑worlds interpretation avoids nonlocal collapse by positing branching universes. Formal theoretical work extended Bell's framework to quantify nonlocality, develop no‑go theorems such as Kochen–Specker theorem, and analyze resources for nonlocal correlations in the framework of generalized probabilistic theories. The theorem also stimulated rigorous analysis of assumptions such as measurement independence and freedom of choice, and proposals for device‑independent certification.
Bell nonlocality is a resource in quantum information science: violations enable device‑independent protocols for quantum key distribution (DI‑QKD), randomness expansion and certification, and self‑testing of quantum devices. Nonlocal correlations underpin advantages in tasks such as communication complexity and distributed computing. Extensions include multipartite nonlocality, network‑based Bell scenarios, and connections to entanglement theory, quantum steering, and quantum cryptography. Practical implementations leverage platforms including photonic systems, trapped ions, superconducting qubits, and solid‑state defects to realize protocols that harness Bell‑inequality violations for secure and verifiable quantum information processing.
Category:Quantum mechanics Category:Foundations of quantum mechanics