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 ZeroThe Number ZeroCounting to FiveCounting to 10Counting to 20Counting a Set of Objects Up to 20Cardinality: The Last Number CountedMatching Numerals to QuantitiesSubitizing Small QuantitiesAddition Within 10Number Bonds to 10Addition Within 20Doubles and Near DoublesDoubles Facts Within 10Near Doubles Facts Within 20Mental Math Strategies for AdditionMental Math: Adding and Subtracting TensAddition Within 100Repeated Addition as MultiplicationMultiplication as Equal GroupsMultiplication: ArraysBasic Multiplication Facts (0s, 1s, 2s, 5s, 10s)Multiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Multiplication and Division Fact FamiliesRelationship Between Multiplication and DivisionDivision Facts as Inverse of MultiplicationRemainders and Quotients in DivisionDivision Word ProblemsMulti-Step Word ProblemsSolving Multi-Step Word ProblemsMultiplication Word ProblemsDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineComparing and Ordering IntegersAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersDividing IntegersUnit RatesProportionsPercent ConceptConverting Between Fractions, Decimals, and PercentsOperations with Rational NumbersTwo-Step EquationsSolving Multi-Step EquationsEquations with Variables on Both SidesAngle Pairs: Complementary, Supplementary, and VerticalParallel Lines and TransversalsCorresponding AnglesAlternate Interior AnglesTriangle Angle Sum TheoremExterior Angle TheoremTriangle Inequality TheoremSimilar Triangles: AA SimilaritySimilar Triangles: SSS and SAS SimilarityProportions in Similar TrianglesRight Triangle Trigonometry IntroductionSine, Cosine, and Tangent RatiosTrigonometric Ratios ReviewRadian MeasureConverting Between Degrees and RadiansThe Unit CircleGraphing Sine and CosineGraphing Tangent and Reciprocal Trigonometric FunctionsDerivatives of Trigonometric FunctionsAntiderivativesIndefinite IntegralsBasic Integration RulesRiemann SumsDefinite Integral DefinitionDouble Integrals: Definition and SetupIterated Integrals and Fubini's TheoremDouble Integrals over Rectangular RegionsDouble Integrals over General RegionsApplications of Double Integrals: Area, Mass, and MomentsTriple Integrals in Cartesian CoordinatesTriple Integrals in Cylindrical and Spherical CoordinatesChange of Variables and the Jacobian DeterminantApplications of Triple Integrals: Volume and MassVector Fields and Their RepresentationsLine Integrals of Vector FieldsWork and CirculationLine Integrals of Scalar and Vector FunctionsFundamental Theorem for Line IntegralsConservative Vector FieldsConservative Vector Fields and Potential FunctionsCurl and Divergence of Vector FieldsCurl and DivergenceDivergence TheoremElectric Flux and Divergence TheoremGauss's Law: Integral Form and MeaningSolving Problems with Gauss's LawConductors in Electrostatic EquilibriumCapacitance and CapacitorsDielectricsDielectric Constant and Relative PermittivityElectric Field Inside Dielectric MaterialsDielectric Materials and PolarizationDielectric Susceptibility and PermittivityEnergy Density in Electric FieldsElectric Current and Current DensityElectrical Resistance and ResistivityOhm's Law and Circuit ElementsElectromotive Force (EMF) and BatteriesKirchhoff's Circuit Laws: Voltage and CurrentDC Circuit Network Analysis MethodsTransient Response in RC CircuitsRC CircuitsLC and RLC CircuitsAC Circuits: FundamentalsImpedance and ReactanceAC Power and ResonanceElectromagnetic WavesPostulates of Special RelativityTime DilationLength ContractionLorentz TransformationRelativistic Velocity AdditionRelativistic Momentum and EnergyMass-Energy Equivalence and E=mc²Photons as Particles with Energy and MomentumPlanck-Einstein Relation: Energy and FrequencyPhotoelectric EffectThe Photon: Light as QuantaCompton ScatteringWave-Particle Dualityde Broglie WavelengthThe Schrödinger EquationState Vectors and WavefunctionsQuantum SuperpositionQuantum EntanglementBell Theorem and Bell InequalitiesPostulates of Quantum MechanicsBorn Rule and Quantum MeasurementQuantum EntanglementBell Inequalities and Their Violation

Longest path: 151 steps · 920 total prerequisite topics

Prerequisites (2)

Leads To (0)

No topics depend on this one yet.