Skip to main content
Chemistry LibreTexts

11.5: Bell's Inequality

  • Page ID
    420555
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\dsum}{\displaystyle\sum\limits} \)

    \( \newcommand{\dint}{\displaystyle\int\limits} \)

    \( \newcommand{\dlim}{\displaystyle\lim\limits} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \(\newcommand{\longvect}{\overrightarrow}\)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Bohm’s work on the EPR paradox reawakened an interest in the topic. One physicist who took a particular interest in the topic was John S. Bell. Bell proposed a mathematical model that could in fact distinguish between local hidden variable theories and quantum theory [16].

    Consider a set of things U which can be subdivided into three overlapping subsets, A, B and C. Bell’s theorem states: the number of members of A that are not a member of B plus all members of B that are not a member of C must be greater than or equal to the number of members in the subset of A that are not also in subset B.

    To show this, let’s first settle on some notation. We’ll call the number of items that are in subset A, but not in subset B by the symbol \(N(A_ {+} B_ {-} )\) and the number of items in subset B but not in subset C by \(N(B_ {+} C _{-} )\). Etcetera. This notation coupled with the use of some Venn diagrams, the concept of the inequality should become clear.

    Picture10.png
    Figure \(\PageIndex{1}\)

    It should be clear that \(N(A_{+}B_{-})\) can be easily shown to be given by the number of items in subset A, not in subset B and in subset C, plus the number in A, not in B and not in C.

    \[N(A_{+}B_{-}) = N(A_ {+}B_ {-}C_ {+}) + N(A_ {+}B_ {-}C_ {-}) \nonumber\]

    Picture11.png
    Figure \(\PageIndex{2}\)

    Similar sums can be derived for \(N(B_ {+} C_-)\) and \(N(A_ {+} C_ {-} )\)

    \[N(B_ {+} C_ {-} ) = N(A_ {+} B_ {+} C_ {-} ) + N(A_ {-} B_ {+} C_ {-} )\nonumber \]

    \[N(A_ {+} C_ {-} ) = N(A_ {+} B_ {+} C_ {-} ) + N(A_ {+} B_ {-} C_ {-} )\nonumber \]

    Shown below is the sum for \(N(B_ {+} C_ {-} )\).

    Picture12.png
    Figure \(\PageIndex{3}\)

    Adding the terms for \(N(A_{+}B_{-})\) and \(N(B_{+}C_{-})\) gives

    \[N(A_{+}B_{-}) +N(B_{+}C_{-}) = N(A_ {+} B_ {-} C_ {+} ) + N(A_ {+} B_ {-} C_ {-} ) + N(A_ {+} B_ {+} C_ {-} ) + N(A_ {-} B_ {+} C_ {-} )\nonumber \]

    This can be simplified by grouping the terms for \(N(A_ {+} B_ {+} C_ {-} )\) and \(N(A_ {+} B_ {-} C_ {-} )\) and recognizing that their sum gives \(N(A_ {+} C_ {-} )\).

    \[N(A_{+}B_{-}) +N(B_{+}C_{-}) = N(A_ {+} B_ {-} C_ {+} ) + N(A_ {-} B_ {+} C_ {-} ) + N(A_ {+} C_ {-} )\nonumber \]

    So long as neither \(N(A_ {+} B_ {-} C_ {+} )\) nor \(N(A_ {-} B_ {+} C_ {-} )\) are negative (which they can not be) then we arrive at CityplaceBell’s inequality:

    \[N(A_{+}B_{-}) +N(B_{+}C_{-}) \ge N(A_ {+} C_ {-} )\nonumber \]

    Picture13.png
    Figure \(\PageIndex{4}\)

    Employing the Stern-Gerlach results to Test Bell’s Inequality

    On the face of it, place CityBell’s result does not seem that extraordinary. In fact, it almost seems trivial. However, it is only trivial when the results of tests that would place an object into group A, B or C are not correlated. When the results are correlated, the result becomes a bit perplexing.

    Consider the dissociation of a pion (also called a \(\pi\) meson), which is a subatomic particle with zero spin and zero charge. It can decompose into a positron and an electron (to conserve charge), each traveling in opposite directions (such that momentum is conserved.) The spins will also be entangled in such a way as to conserve angular momentum.

    Picture14.png
    Figure \(\PageIndex{5}\)

    In fact, the spin state of the electron/positron pair will be given by the familiar singlet spin function:

    \[\Psi =\frac{1}{\sqrt{2} } \left(\alpha _{+} \beta _{-} -\beta _{+} \alpha _{-} \right)\nonumber \]

    This suggests that if the positron (subscript +) is detected in the \(\alpha\) spin state, the electron (subscript -) will necessarily be forced into the \(\beta\) spin state. The wavefunction allows for equal probability that the positron will be detected in the \(\alpha\) spin state or the \(\beta\) spin state, but detection in either state forces an immediate collapse of the wavefunction for the electron. This is the “spooky action at a distance” that Einstein so vehemently rejected in the EPR paper [14]. Einstein also insisted that the spin state of the positron was a “real” property that existed with a definite value for the entire transit of the positron from the decay event to the detector. And quantum mechanics, in Einstein’s view, was incomplete in that it could not predict the “realness” of that spin state. If Einstein’s view was correct, then correlated measurements of the two spin states would have to satisfy CityplaceBell’s inequality.

    With the results of the Stern-Gerlach experiments, we can actually determine exactly what quantum mechanics will predict. To do this, we will set up our detectors to detect the spin to the dissociated fragments, but we will rotate the detectors relative to one another. In a laboratory-fixed coordinate system, we will set detector A at \(0 ^{\circ}\) rotation, B at \(30 ^{\circ}\) and C and \(60 ^{\circ}\). What we want to know is the probability that if one detector measures its particle to be in spin state \(\alpha\) that the other will measure its particle to be in spin state \(\beta \). That probability will be related to the angle of rotation of the second detector relative to the first. According to the Stern-Gerlach result, the probability is given by \(\frac{1}{2}\sin(\theta_ {2} -\theta_ {1} )\), where \(\theta_ {2}\) and \(\theta_ {1}\) are the angles of the second and first detectors in the pair respectively.

    So if we define \(P(A_ {+} B_ {-}\) ) as the probability that detector A detects an \(\alpha spin\) and detector B fails to detect a \(\beta\) spin, we can construct the following table based on three specific experimental configurations:

    Experiment \(\theta_ {1}\) \(\theta_ {2}\) Case \(\theta_1 - \theta_2\) \(\frac{1}{2}sin ^{2} (\Delta \theta )\)
    1 \(0^{\circ}\) \(30^{\circ}\) \(P(A_ {+} B_ {-} )\) \(30^{\circ}\) 0.125
    2 \(30^{\circ}\) \(60^{\circ}\) \(P(B_ {+} C_ {-} )\) \(30^{\circ}\) 0.125
    3 \(0^{\circ}\) \(60^{\circ}\) \(P(A_ {+} C_ {-} )\) \(60^{\circ}\) 0.375

    After collecting data from a very large set of measurements using these configurations, we will have can compare the experimental distribution of outcomes to what is predicted by quantum mechanics, and thus conclude if it is possible to have a locality variable that predetermines our outcomes, or if the measurements are purely probabilistic. If the locality variable exists, then Bell’s Inequality must hold [17].

    \[P(A_ {+} B_ {-} ) + P(B_ {+} C_ {-}) \ge P(A_ {+} C_ {-} )\nonumber \]

    However, if Quantum Mechanics allows for a locality variable to redetermine the measured outcomes of the three experiments, then the following must be true:

    \[0.125 + 0.125 \ge 0.375\nonumber \]

    Except that it simply isn’t true. (In fact, it isn’t even true for extremely large values of the sum 0.125 + 0.125.) The above set of experiments was proposed by Alain Aspect in 1976 [17], and results published in 1982 [18]. And while the results were criticized due to the “detection loophole”, results of similar experiments being conducted up to 2015 [20] confirmed Aspect’s results. Alain Aspect shared the 2022 Nobel Prize in Physics with John Clauser and Anton Zeillinger “for experiments with entangled photons, establishing the violation of Bell inequalities and pioneering quantum information science”. [21]

    Since Aspect’s result was derived completely independent of any theory of hidden variables, it should be clear that the result is incompatible with any such theory. In fact, the result shows that one must divorce oneself from any ideas of local realism for quantum mechanical particles. One simply must conclude that it is the observation that creates the reality and that no reality for observable properties on quantum mechanical system can exist independent of their observation. (Of course, Sheldon Cooper would also point out that one can be beaten up simply for referring to oneself as “one.) [19]


    1. J. S. Bell, "On the Einstein Podolsky Rosen paradox," Physics Physique Fizika, vol. 1, p. 195, 1964. W430W9405
    2. J. S. Bell, Speakable and Unspeakable in Quantum Mechanics, London: Cambridge University Press, 1987. W430W9405
    3. A. Aspect, "Proposed experiment to test the nonseparability of quantum mechanics," Physical Review D, vol. 14, p. 1944, 1976. W430W9405
    4. A. Aspect, P. Grangier and G. Roger, "Experimental Realization of Einstein-Podolsky-Rosen-Bohm Gedankenexperiment: A New Violation of Bell’s Inequalities," Physical Review Letters, vol. 49, p. 91, 1982. W430W9405
    5. J. Markoff, "Sorry, Einstein. Quantum Study Suggests ’Spooky Action’ Is Real," New York Times, 21 October 2015. W430W9405
    6. "The Nobel Prize in Physics 2022," NobelPrize.org, 5 October 2022. [Online]. Available: https://www.nobelprize.org/prizes/ph.../2022/summary/. [Accessed 4 October 2022].W430W9405

    This page titled 11.5: Bell's Inequality is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Patrick Fleming.

    • Was this article helpful?