Bell Inequalities

In 1935, Einstein, Podolsky and Rosen pointed at a strange feature of quantum mechanics. Measure one of two entangled particles and the other one instantly seems to "know" the result, however far apart they are. Einstein found this absurd — "spooky action at a distance" — and argued the particles must have carried a hidden script all along, fixed at the source. This is the idea of local hidden variables: the world is local (no influence travels faster than light) and real (outcomes are decided in advance).

For thirty years this looked like pure philosophy, impossible to test. Then in 1964 the physicist John Bell did something extraordinary: he turned the question into arithmetic. He showed that if the world were locally real, a certain sum of measurement correlations could never exceed a fixed number. Quantum mechanics predicted it could.

One side had to be wrong, and now an experiment could decide which.

This demo runs a simplified CHSH experiment. Two detectors, far apart, each randomly choose one of two angles and measure an entangled pair. We tally how often the two outcomes agree, combine four such correlations into a single score S, and watch where it lands.

<p class="hint">{{hint}}</p>
<div class="controls">
  <label><input type="radio" name="model" value="quantum" checked> {{label_quantum}}</label>
  <label><input type="radio" name="model" value="classical"> {{label_classical}}</label>
</div>
<div class="meter">
  <div class="scale">
    <div class="zone-ok" style="width:70.7%"></div>
    <div class="bound" style="left:70.7%"><span>S = 2</span></div>
    <div class="tsirelson" style="left:100%"><span>2&radic;2</span></div>
    <div id="bar" class="bar" style="width:0%"></div>
  </div>
</div>
<div class="status" id="status">{{status_initial}}</div>
<div class="btns">
  <button id="run" type="button">{{btn_run}}</button>
  <button id="reset" type="button" class="ghost">{{btn_clear}}</button>
</div>

* { box-sizing: border-box; }
body { font-family: system-ui, sans-serif; color: #222; margin: 0; }
.hint { font-size: .9rem; color: #444; margin: 0 0 .8rem; line-height: 1.45; }
.controls { display: flex; gap: 1.2rem; flex-wrap: wrap; margin: .3rem 0 1rem; font-size: .92rem; }
.controls label { cursor: pointer; }
.meter { margin: 1rem 0 .6rem; }
.scale { position: relative; height: 34px; background: #eef2f6; border: 1px solid #cdd9e3;
         border-radius: 8px; overflow: visible; }
.zone-ok { position: absolute; top: 0; left: 0; height: 100%; background: #dceede;
           border-right: 2px dashed #0a7d33; border-radius: 8px 0 0 8px; }
.bar { position: absolute; top: 0; left: 0; height: 100%; background: #1d3557;
       opacity: .82; border-radius: 8px; transition: width .5s ease; }
.bound, .tsirelson { position: absolute; top: -20px; transform: translateX(-50%);
                     font-size: .72rem; font-weight: 700; color: #0a7d33; white-space: nowrap; }
.tsirelson { color: #c92f3c; }
.status { font-size: 1rem; font-weight: 600; margin: 1.1rem 0 .6rem; min-height: 1.4em; line-height: 1.4; }
.status.ok { color: #0a7d33; }
.status.bad { color: #c92f3c; }
.btns { display: flex; gap: .5rem; flex-wrap: wrap; }
button { font: 600 14px system-ui, sans-serif; padding: .45rem .9rem; border: 1px solid #1d3557;
         background: #1d3557; color: #fff; border-radius: 8px; cursor: pointer; }
button.ghost { background: #fff; color: #1d3557; }

// Code not found

Any local hidden-variable universe is bound by S ≤ 2 — no clever pre-arranged script can do better. Run the simulator with the quantum correlations and S climbs to about 2.83 (the value 2√2, Tsirelson's bound). That extra 0.83 is the gap Einstein's worldview cannot cover. Switch to the classical model and you will see S stay pinned at or below 2, no matter how you tune it.

So what exactly did Bell establish, and how firm is it?

• It is a proven theorem. In 1964 John Bell showed mathematically that any theory that is both local and built on pre-determined values must satisfy the inequality. The CHSH version (Clauser, Horne, Shimony, Holt, 1969) writes it cleanly as S ≤ 2.
• Quantum mechanics violates it. The same theory predicts S = 2√2 ≈ 2.83 for ideal entangled pairs — a clean, parameter-free contradiction. The gap is not a rounding error; it is a wall between two pictures of reality.
• Experiment took the quantum side. Starting with John Clauser (1972), sharpened by Alain Aspect (1982) closing timing loopholes, and pushed to airtight "loophole-free" tests by Anton Zeilinger and others (2015), measured values land near 2.4–2.8, far above 2.
• It won the 2022 Nobel Prize in Physics, awarded to Aspect, Clauser and Zeilinger for these experiments.

The verdict is blunt: the universe is not both local and pre-determined. At least one of those comforting assumptions is false. Entanglement is a real, irreducible correlation — not a hidden message agreed on in advance. This is the bedrock that powers ideas like Shor's algorithm and the strange speedups of quantum computing.

A Bell violation is not just a curiosity — it is a certificate. If your numbers beat 2, no local, pre-arranged process could have faked them, and that guarantee is bankable:

• Device-independent cryptography: two parties can share a secret key whose security rests only on a measured Bell violation, even if the hardware was built by an adversary.
• Certified randomness: a violation proves the outcomes were not pre-determined, so they are genuinely random — the gold standard for cryptographic seeds and lotteries.
• Verifying quantum hardware: a Bell test is a sanity check that a device is really exploiting entanglement and not just classical noise.
• Foundations of computing: the same nonlocal correlations underpin the resources behind quantum simulation and quantum advantage.

What began as Einstein's complaint about "spooky action" is now a tool engineers use to build things classical physics simply cannot.

Bell's genius was to take the grandest question — is reality local and pre-determined? — and shrink it to a number you can measure in a lab. Common sense demands S ≤ 2. Entangled particles cheerfully return 2.83. There is no loophole left to hide in.

So the spookiness Einstein hoped to explain away is real, and the 2022 Nobel Prize made it official. The next time you hear that quantum computers exploit something "deeper" than classical machines, remember: that depth has a name, a number, and an experiment. It is the same strangeness that gives quantum simulation its power.