A simple proof of Bells inequality

Bell’s theorem is a fundamental result in quantum mechanics: it discriminates between quantum mechanics and all theories where probabilities in measurement results arise from the ignorance of pre-existing local properties. We give an extremely simple proof of Bell’s inequality: a single figure suffices. This simplicity may be useful in the unending debate of what exactly the Bell inequality means, since the hypothesis at the basis of the proof become extremely transparent. It is also a useful didactic tool, as the Bell inequality can be explained in a single intuitive lecture.

💡 Research Summary

The paper presents an exceptionally concise proof of Bell’s inequality—specifically the CHSH form—by reducing the entire argument to a single geometric figure. After a brief introduction that situates Bell’s theorem within the broader debate on locality, realism, and hidden‑variable models, the authors lay out the standard experimental scenario: two spatially separated particles (A and B) each measured with one of two possible settings (a, a′ for A; b, b′ for B). Measurement outcomes are binary (±1). The three essential assumptions are explicitly stated: (1) locality (the outcome on one side does not depend on the distant setting), (2) realism (outcomes are predetermined by hidden variables λ), and (3) measurement‑independence (the distribution ρ(λ) is independent of the chosen settings).

The novelty lies in the translation of these assumptions into a single square diagram. The horizontal axis represents A’s two settings, the vertical axis B’s. Each corner of the square corresponds to a specific pair of predetermined outcomes (A’s result, B’s result) for a given λ. Because of locality, moving horizontally changes only A’s setting while keeping B’s result fixed, and moving vertically does the opposite; thus the coloring (or shading) of the square must obey a consistency rule: points in the same row share A’s value, points in the same column share B’s value.

With this picture, the correlation functions E(a,b) become simply the product of the values at the corresponding corner, and the CHSH combination

S = E(a,b) + E(a,b′) + E(a′,b) – E(a′,b′)

is the algebraic sum of the four edges of the square. The authors show that any admissible coloring—i.e., any assignment of ±1 that respects the row/column consistency—forces |S| ≤ 2. This bound follows directly from the geometry: each edge contributes either +1 or –1, but the consistency condition prevents the four terms from all being positive simultaneously, limiting the absolute sum to two. No integrals, no probability algebra, no lengthy derivations are required.

The quantum‑mechanical prediction is then introduced. For a maximally entangled singlet state |Ψ⁻⟩, the correlation for settings separated by an angle θ is E(θ)=−cosθ. Choosing the standard CHSH angles (0°, 45°, 90°, 135°) yields S = 2√2 ≈ 2.828, which exceeds the geometric bound. In the diagrammatic language this means that quantum mechanics would require a coloring pattern that the square cannot accommodate—a direct visual illustration that any local hidden‑variable model is incompatible with the observed statistics.

Beyond the proof itself, the authors discuss pedagogical and philosophical implications. By making the assumptions explicit in the diagram, the proof clarifies exactly where locality and realism enter, and where quantum theory departs. This transparency helps educators convey the essence of Bell’s theorem in a single lecture and provides a concrete visual tool for debates about “free will” (measurement independence) and the nature of non‑locality. The paper also suggests that similar geometric constructions could be devised for multipartite inequalities (e.g., GHZ, Hardy) or for exploring variations of the hidden‑variable assumptions.

In conclusion, the work demonstrates that Bell’s inequality, often regarded as mathematically sophisticated, can be reduced to an elementary geometric argument. This not only simplifies the logical structure for students and non‑specialists but also sharpens the conceptual discussion about the foundations of quantum mechanics by laying bare the precise role of each hidden‑variable assumption.