CHSH Inequality and Bell Tests

qc/entanglement qc/math

The experimental proof that entanglement isn’t just “correlation from a hidden pre-agreed answer.” Any theory where each particle secretly carries a definite, pre-determined value (a local hidden variable) is bound by the CHSH inequality: , for a specific combination of correlation measurements Alice and Bob make with independently-chosen settings. Quantum mechanics predicts — and experiments confirm — , clearly violating the classical bound.

CHSH = Clauser, Horne, Shimony, Holt. First experimentally confirmed by Alain Aspect (1982); loophole-free versions closed remaining experimental gaps in 2015.

Key insight: “Entanglement is not ignorance about a pre-existing state — the CHSH violation is the experimental receipt.” Classically, correlated outcomes always come from either direct causation or a shared hidden fact fixed in advance. The CHSH violation rules out the second option experimentally, not just theoretically.

Why this doesn’t allow signaling

Measuring one particle instantly affects the joint statistics, but this cannot send information — the correlation is only visible once Alice and Bob classically compare their individual (locally random) results, and that comparison is itself light-speed-limited. The non-locality lives in the correlations between two already-random outcomes, not in either individual outcome — so nothing travels faster than light. This is the same resolution as Quantum Teleportation’s reliance on a classical channel.

Self-Check

  • What does the classical CHSH bound () assume about how the world works, and what does violating it rule out?
  • Could you explain why entanglement correlations don’t allow faster-than-light signaling, even though measuring one particle instantly affects the joint state?
  • Why did it take until 1982 (Aspect) and 2015 (loophole-free) to fully confirm something quantum mechanics predicted decades earlier?
  • If you parameterize a Bell state with a single rotation angle (e.g. Ry(θ) on one qubit before the entangling gate) and sweep while computing , why does that let you scan continuously between CHSH-violating and non-violating configurations, rather than jumping straight from “classical” to “maximally quantum”?
  • Framed as a nonlocal game (Alice and Bob win if for their random inputs ), why does the best classical strategy cap out at 75% win probability while the best quantum strategy reaches — and how does that number relate to ?