| Bell–CHSH inequality | |
|---|---|
| Name | Bell–CHSH inequality |
| Field | Quantum physics |
| Introduced by | John S. Bell; John F. Clauser, Michael A. Horne, Abner Shimony, Richard A. Holt |
| Year | 1964 (Bell); 1969 (CHSH) |
| Related | Bell's theorem, quantum entanglement, local realism |
Bell–CHSH inequality
The Bell–CHSH inequality is a mathematical bound on correlations predicted by any theory satisfying local realism and specific types of hidden variables. It refines Bell's theorem into a testable inequality for two-party experiments and is central to demonstrations that quantum mechanics violates classical intuitions about locality and determinism. The inequality underpins foundational results in quantum mechanics and practical advances in quantum information such as device-independent protocols.
The conceptual roots lie in the 1935 Einstein–Podolsky–Rosen (EPR) paper by Albert Einstein, Boris Podolsky, and Nathan Rosen, which challenged the completeness of quantum theory. In 1964 John S. Bell derived inequalities showing that local hidden variable theories impose constraints incompatible with quantum predictions. The Bell–CHSH form was developed by John F. Clauser, Michael A. Horne, Abner Shimony, and Richard A. Holt in 1969 to yield inequalities suited to laboratory tests using polarizers and spin analyzers. Subsequent theoretical work by Nicolas Gisin and others clarified entanglement's role; experimental milestones include the 1972 experiment by Stuart J. Freedman and John F. Clauser, the 1982 experiments of Alain Aspect, and modern loophole-free tests by groups at Delft University of Technology, Anton Zeilinger's group, and NIST collaborators.
Consider two space-like separated observers, commonly named Alice and Bob, each choosing one of two binary-valued measurements A0, A1 and B0, B1 respectively. For any local hidden variable model with measurement outcomes ±1, define expectation values E(Ai,Bj). The CHSH combination is S = E(A0,B0) + E(A0,B1) + E(A1,B0) − E(A1,B1). The Bell–CHSH inequality asserts |S| ≤ 2 for all local realistic theories. Quantum mechanics, using entangled states such as the singlet state of two spin-1/2 particles or maximally entangled Bell state photons, can predict values up to 2√2 (Tsirelson's bound), violating the classical limit.
Derivations start from an ensemble described by a hidden variable λ with probability density ρ(λ). Local realism entails outcome functions A_i(λ), B_j(λ) ∈ {±1} independent of the distant choice. Linearity and algebraic manipulations produce the CHSH bound without further physical inputs besides statistical independence and measurement locality. Critical assumptions include: - Locality: outcomes at one wing do not depend on the setting at the other wing (no superluminal influences). - Realism/determinism: outcomes are determined (possibly stochastically) by λ. - Measurement independence (freedom of choice): λ is uncorrelated with the experimenters' measurement settings. Relaxing any of these opens alternative models: e.g., superdeterminism rejects freedom of choice; Bohmian mechanics preserves realism but is explicitly nonlocal. The formal setting also relates to the convex geometry of classical correlation polytopes and facets described in polytope language.
In quantum theory, measurement observables are Hermitian operators Âi and ̂Bj with eigenvalues ±1 on a Hilbert space, and expectation values computed from a density operator ρ. Define the CHSH operator B̂ = Â0 ⊗ ̂B0 + Â0 ⊗ ̂B1 + Â1 ⊗ ̂B0 − Â1 ⊗ ̂B1. The maximal quantum value is the largest eigenvalue of B̂, bounded by 2√2 (Tsirelson's bound). Specific choices achieving the maximum use orthogonal measurement axes on the Bloch sphere for the singlet state or EPR pair. Connection to entanglement measures: violation of CHSH implies the presence of nonseparable states, though not all entangled states violate CHSH under arbitrary local measurements. Extensions include multipartite inequalities and relations to quantum steering and contextuality.
Laboratory tests use entangled photons, trapped ions, superconducting circuits, or spins in solid-state systems. Key experimental platforms include parametric down-conversion sources in quantum optics, ion trap experiments at UNIVERSITY-affiliated labs, and solid-state implementations at institutions such as QuTech and NIST. Historic experiments by Clauser and Freedman, Aspect, Weihs, and later loophole-free demonstrations by teams at Delft, NIST, and Vienna closed major loopholes. Principal loopholes addressed are: - Detection (fair-sampling) loophole: imperfect detectors can bias observed correlations. - Locality (communication) loophole: setting choices and outcomes must be space-like separated. - Freedom-of-choice (setting-independence) loophole: independence of random setting generators from λ. Modern tests combine high-efficiency detectors (e.g., superconducting nanowire single-photon detectors), fast random number generators, and spacetime separation to produce violations consistent with quantum predictions and inconsistent with local hidden variable models.
Violations of the Bell–CHSH inequality affirm quantum nonlocal correlations and constrain realist reconstructions of quantum mechanics. Foundationally, they reinforce the empirical status of Bell's theorem and motivate interpretations acknowledging nonlocality or abandoning naive realism. Practically, CHSH violations are the basis for device-independent quantum cryptography, random number generation certified by Bell tests, and protocols in quantum key distribution and delegated quantum computation. In quantum information theory, CHSH serves as an operational witness for entanglement and a resource quantifier in tasks such as entanglement-based quantum teleportation and quantum networks. The inequality remains a touchstone linking theoretical clarity, experimental rigor, and technological ambition in the conservative pursuit of reliable national and scientific institutions tasked with stewarding quantum technologies.
Category:Quantum mechanics Category:Quantum information theory Category:Foundations of quantum mechanics