| CHSH inequality | |
|---|---|
| Name | CHSH inequality |
| Field | Quantum mechanics |
| Introduced | 1969 |
| Authors | John Clauser; Michael Horne; Abner Shimony; Richard Holt |
| Related | Bell's theorem; Bell test experiments; entanglement |
CHSH inequality
The CHSH inequality is a quantitative formulation of a class of Bell inequalities used to test local realism against quantum mechanics. It provides an experimentally accessible bound on correlations predicted by any local hidden variable theory and is central to experimental demonstrations that quantum entanglement violates classical intuitions. The CHSH inequality underpins modern tests of nonlocality and practical protocols in quantum information science.
The CHSH inequality is a cornerstone result in the study of quantum nonlocality within Quantum mechanics and the foundations of physics. Developed to render Bell's theorem experimentally testable, the inequality gives a limit for correlations between measurements performed by two separated observers, traditionally named Alice and Bob. Violation of the CHSH bound by quantum systems confirms that no theory satisfying both locality and realism can reproduce quantum predictions; this has wide implications for interpretations of quantum theory, for the design of Bell test experiments, and for applied fields such as Quantum cryptography and quantum information.
The inequality was derived in 1969 by John F. Clauser, Michael A. Horne, Abner Shimony, and Richard A. Holt to generalize and operationalize John Bell's 1964 result for real experiments. The CHSH formulation addressed practical issues in early proposals by Bell and enabled laboratory tests using photons, atoms, and ions. Key early experiments include the seminal optical tests by Stuart Freedman and John Clauser (1972) and later loophole-closing work by Alain Aspect in the 1980s. Subsequent major milestones include the long-distance entanglement distribution by the Zeilinger group and modern loophole-free tests by teams led by Ronald Hanson at Delft, Sae Woo Nam at NIST, and Anton Zeilinger's group at the University of Vienna.
The CHSH scenario involves two parties each choosing between two binary measurements. Denote Alice's observables by A0 and A1 and Bob's by B0 and B1 with outcomes ±1. The CHSH correlation combination is S = E(A0 B0) + E(A0 B1) + E(A1 B0) − E(A1 B1), where E denotes expectation value. Local hidden variable theories impose the bound |S| ≤ 2. Quantum mechanics allows larger values up to the Tsirelson bound |S| ≤ 2√2, derived within the formalism of Hilbert space and operator theory. The maximal quantum violation is achieved for specific measurement angles on maximally entangled states. The derivation uses probability theory and assumptions of locality and measurement independence familiar from works by Bell, CHSH, and later refinements by Arthur Fine.
Quantum violations of the CHSH inequality are typically demonstrated using two-qubit entangled states such as the Bell states (also called EPR pairs), for example the singlet state |Ψ−⟩ = (|01⟩ − |10⟩)/√2. For appropriately chosen measurement bases (e.g., polarization angles for photons or spin directions for electrons), these states yield S = 2√2, demonstrating clear incompatibility with local realism. The behavior is explained by the entanglement resource formalized by Niels Bohr's and EPR discussions; modern treatments use the language of density matrixes, quantum state tomography, and entanglement measures such as concurrence and entanglement entropy.
CHSH tests have been implemented with many physical platforms: entangled photons (parametric down-conversion in nonlinear crystals), trapped ions (Paul traps), superconducting qubits (circuit QED), nitrogen-vacancy centers in diamond, and neutral atoms. Important experimental advances addressed major loopholes: the detection loophole tackled by ion and superconducting implementations, and the locality (or communication) loophole addressed by space-like separation in the Aspect experiments and later by the Delft and NIST loophole-free tests. Notable institutions and groups include Bell Laboratories historically for related conceptual work, the Max Planck Institute for Quantum Optics, MIT, Caltech, and Harvard University where foundational and applied experiments continue to refine precision and scalability for quantum networks.
Violations of the CHSH inequality force reconsideration of classical assumptions about locality and realism. Philosophical and scientific debates involve interpretations such as the Copenhagen interpretation, Many-worlds interpretation, Bohmian mechanics (pilot-wave theory), and objective collapse models. The experimental record favors the quantum formalism but leaves open questions about causality, free will, and retrocausal interpretations. The theorem also influenced the development of rigorous frameworks like device-independent certification, which relies only on observed CHSH violations to assert properties of devices, shortening the bridge between foundational insight and practical standards.
CHSH inequality violations are not merely foundational tests but are exploited in technologies. Device-independent Quantum key distribution protocols secure cryptographic keys based on observed nonlocal correlations alone. Randomness expansion and certification protocols use CHSH statistics to produce certified random numbers. In quantum networks and distributed quantum computing, entanglement verification via CHSH tests provides trust and interoperability across nodes. Research into quantum complexity and communication complexity draws on CHSH and related nonlocal games to delineate quantum advantage in tasks tied to Quantum computing and Quantum communication.
Category:Quantum mechanics Category:Quantum information theory Category:Foundations of quantum mechanics