A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Bell Inequalities and Their Violation

Graduate Depth 150 in the knowledge graph ☐ I know this ☆ Set as goal
920prerequisites beneath it
See this on the map →
Bell's Theorem and NonlocalityQuantum Entanglement→
bell-inequalities quantum-nonlocality

Core Idea

CHSH inequality: |⟨AB⟩ + ⟨AB'⟩ + ⟨A'B⟩ − ⟨A'B'⟩| ≤ 2 in local hidden-variable theories. Quantum mechanics allows ≤ 2√2 for entangled states.

Explainer

Bell's theorem, which you have already studied, establishes that no local hidden-variable (LHV) theory can reproduce all predictions of quantum mechanics. But a theorem is only as strong as what you can test. The Bell inequalities — and in particular the CHSH inequality (named for Clauser, Horne, Shimony, and Holt) — translate Bell's abstract argument into a precise, experimentally measurable bound. They give you a number: if nature obeys local realism, certain correlation measurements must stay within a hard limit. Quantum mechanics predicts that entangled states can violate that limit. Experiments have confirmed the violation. The inequalities are the instrument that turned a philosophical debate into a laboratory result.

To understand the CHSH inequality, imagine two distant parties, Alice and Bob, each receiving one particle from an entangled pair. Alice can choose between two measurement settings, call them A and A′, each returning outcome ±1. Bob can choose between B and B′, also returning ±1. They repeat the experiment many times and compute the four correlation values ⟨AB⟩, ⟨AB′⟩, ⟨A′B⟩, and ⟨A′B′⟩ — each is the average of the product of their outcomes when that pair of settings is used. In any local hidden-variable theory, each particle carries pre-determined instructions for how to respond to each measurement. A simple algebraic argument (the CHSH derivation) then shows that the combination |⟨AB⟩ + ⟨AB′⟩ + ⟨A′B⟩ − ⟨A′B′⟩| cannot exceed 2. This is the CHSH bound for classical local realism.

Quantum mechanics breaks through this bound. For two qubits in a maximally entangled (singlet) state and optimally chosen measurement angles, quantum theory predicts the combination reaches 2√2 ≈ 2.83 — the Tsirelson bound, which is the maximum any quantum state can achieve. The reason is that quantum correlations are not carried by hidden variables pre-assigned at emission; they arise from the entangled state itself, which does not factor into independent particle states. When Alice measures, her outcome is genuinely random — but it is correlated with Bob's outcome in a way that cannot be explained by any shared classical information. The correlations are "spookier" than any classical mechanism can produce.

Experiments by Aspect (1982), and more recently loophole-free experiments by groups in Delft, Vienna, and NIST (2015), have measured CHSH values above 2 with high statistical confidence, closing detector and locality loopholes simultaneously. These results rule out all local hidden-variable theories as complete descriptions of nature. What they do *not* do is require a particular interpretation of quantum mechanics — they are silent on whether collapse is real, whether many-worlds is correct, or what the wavefunction "is." But they firmly establish that if a deeper theory underlies quantum mechanics, it cannot be both local and deterministic in the classical sense. The CHSH inequality is the quantitative scar left by Bell's theorem on the surface of experimental physics.

Practice Questions 5 questions

Prerequisite Chain

Understanding Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Dividing Integers → Unit Rates → Proportions → Percent Concept → Converting Between Fractions, Decimals, and Percents → Operations with Rational Numbers → Two-Step Equations → Solving Multi-Step Equations → Equations with Variables on Both Sides → Angle Pairs: Complementary, Supplementary, and Vertical → Parallel Lines and Transversals → Corresponding Angles → Alternate Interior Angles → Triangle Angle Sum Theorem → Exterior Angle Theorem → Triangle Inequality Theorem → Similar Triangles: AA Similarity → Similar Triangles: SSS and SAS Similarity → Proportions in Similar Triangles → Right Triangle Trigonometry Introduction → Sine, Cosine, and Tangent Ratios → Trigonometric Ratios Review → Radian Measure → Converting Between Degrees and Radians → The Unit Circle → Graphing Sine and Cosine → Graphing Tangent and Reciprocal Trigonometric Functions → Derivatives of Trigonometric Functions → Antiderivatives → Indefinite Integrals → Basic Integration Rules → Riemann Sums → Definite Integral Definition → Double Integrals: Definition and Setup → Iterated Integrals and Fubini's Theorem → Double Integrals over Rectangular Regions → Double Integrals over General Regions → Applications of Double Integrals: Area, Mass, and Moments → Triple Integrals in Cartesian Coordinates → Triple Integrals in Cylindrical and Spherical Coordinates → Change of Variables and the Jacobian Determinant → Applications of Triple Integrals: Volume and Mass → Vector Fields and Their Representations → Line Integrals of Vector Fields → Work and Circulation → Line Integrals of Scalar and Vector Functions → Fundamental Theorem for Line Integrals → Conservative Vector Fields → Conservative Vector Fields and Potential Functions → Curl and Divergence of Vector Fields → Curl and Divergence → Divergence Theorem → Electric Flux and Divergence Theorem → Gauss's Law: Integral Form and Meaning → Solving Problems with Gauss's Law → Conductors in Electrostatic Equilibrium → Capacitance and Capacitors → Dielectrics → Dielectric Constant and Relative Permittivity → Electric Field Inside Dielectric Materials → Dielectric Materials and Polarization → Dielectric Susceptibility and Permittivity → Energy Density in Electric Fields → Electric Current and Current Density → Electrical Resistance and Resistivity → Ohm's Law and Circuit Elements → Electromotive Force (EMF) and Batteries → Kirchhoff's Circuit Laws: Voltage and Current → DC Circuit Network Analysis Methods → Transient Response in RC Circuits → RC Circuits → LC and RLC Circuits → AC Circuits: Fundamentals → Impedance and Reactance → AC Power and Resonance → Electromagnetic Waves → Postulates of Special Relativity → Time Dilation → Length Contraction → Lorentz Transformation → Relativistic Velocity Addition → Relativistic Momentum and Energy → Mass-Energy Equivalence and E=mc² → Photons as Particles with Energy and Momentum → Planck-Einstein Relation: Energy and Frequency → Photoelectric Effect → The Photon: Light as Quanta → Compton Scattering → Wave-Particle Duality → de Broglie Wavelength → The Schrödinger Equation → State Vectors and Wavefunctions → Quantum Superposition → Quantum Entanglement → Bell Theorem and Bell Inequalities → Postulates of Quantum Mechanics → Born Rule and Quantum Measurement → Quantum Entanglement → Bell Inequalities and Their Violation

Longest path: 151 steps · 920 total prerequisite topics

Prerequisites (2)

Leads To (0)

No topics depend on this one yet.