View source for Bell inequalities

{{DEF}}

{{MSC|81P15|81P40,81R15,46L07}}

Motivated by the desire to bring into the realm of testable hypotheses at least some of the important matters concerning the interpretation of quantum mechanics which were evoked in the controversy surrounding the Einstein–Podolsky–Rosen paradox [[#References|[a7]]], [[#References|[a3]]], J.S. Bell discovered the first version [[#References|[a1]]], [[#References|[a2]]] of a series of related inequalities which are now generally called Bell's inequalities (for general reviews from different points of view, see [[#References|[a5]]], [[#References|[a6]]], [[#References|[a8]]]). These inequalities commonly provide bounds on the strength of correlations between systems which are no longer interacting but have interacted in their past.

A typical class of correlation experiments involved in these inequalities can be briefly described. A source provides an ensemble of identically prepared systems, one after another, and, as part of the preparation, splits each system into two subsystems, directing these to separate arms of the experiment. At one arm the arriving subsystem is subjected to a measuring device chosen from a class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b1102301.png" /> of suitable devices, and at the other arm the incident subsystem interacts with a measuring device from a second class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b1102302.png" />. For each choice of devices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b1102303.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b1102304.png" /> with outcome sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b1102305.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b1102306.png" />, the relative frequencies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b1102307.png" /> of the measurement of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b1102308.png" /> on one arm and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b1102309.png" /> on the other are determined. An operational condition of independence of the two arms of the experiment is required:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023010.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023011.png" /></td> </tr></table>

must be independent of the choice of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023012.png" /> (respectively, independent of the choice of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023013.png" />).

Bell's inequality, in the form of J.F. Clauser and M.H. Horne [[#References|[a4]]], is:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023014.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023015.png" /></td> </tr></table>

for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023016.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023017.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023018.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023019.png" />. Bell's theorem (and its many subsequent extensions) is a meta-theoretical theorem which states that all theories of a certain class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023020.png" /> describing such a correlation experiment must provide predictions satisfying (a1). Hence, if in a real experiment one measures correlation probabilities violating (a1), then one must conclude that there exist real physical processes which cannot be described by any theory in the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023021.png" />. If a given theory predicts a violation of (a1), then Bell's theorem entails that no theory in the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023022.png" /> can reproduce all predictions of this theory.

Which class of theories must yield predictions satisfying (a1)? As there are many forms of Bell's theorem in the literature, there is no unique answer to this question. One illustrative answer is the following. If there exists a [[Measure space|measure space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023023.png" /> such that for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023024.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023025.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023026.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023027.png" /> there exist corresponding measurable sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023028.png" /> such that

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023029.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023030.png" /> is the characteristic function for the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023031.png" />, then (a1) must hold [[#References|[a10]]]. Classical physics and the so-called  "local hidden-variable theorylocal hidden-variable theories"  fall into the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023032.png" />.

The interest of Bell's inequalities for quantum physics is that quantum mechanics predicts the existence of preparations and measuring devices such that the resulting correlation experiments violate (a1) (and these predictions have been verified in the laboratory). Indeed, [[Quantum field theory|quantum field theory]] (which is relativistic quantum mechanics) predicts that for every preparation there exist measuring devices such that (a1) is violated (see the review [[#References|[a9]]] and references cited there). Hence, the results of these theories cannot be reproduced by any theory in the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110230/b11023033.png" />. For the significance of this fact for the interpretation of quantum theory, see the above-mentioned reviews.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J.S. Bell,   "On the Einstein–Podolsky–Rosen paradox"  ''Physics'' , '''1'''  (1964)  pp. 195–200</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.S. Bell,   "On the problem of hidden variables in quantum mechanics"  ''Rev. Mod. Phys.'' , '''38'''  (1966)  pp. 447–452</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  N. Bohr,   "Can quantum-mechanical description of reality be considered complete?"  ''Physical Review'' , '''48'''  (1935)  pp. 696–702</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  J.F. Clauser,   M.A. Horne,   "Experimental consequences of objective local theories"  ''Physical Review D'' , '''10'''  (1974)  pp. 526–535</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  J.F. Clauser,   A. Shimony,   "Bell's theorem: Experimental tests and implications"  ''Reports of Progress in Physics'' , '''41'''  (1978)  pp. 1881–1927</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  W. DeBaere,   "Einstein–Podolsky–Rosen paradox and Bell's inequalities"  ''Adv. Electronics'' , '''68'''  (1986)  pp. 245–336</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  A. Einstein,   B. Podolsky,   N. Rosen,   "Can quantum-mechanical description of physical reality be considered complete?"  ''Physical Review'' , '''47'''  (1935)  pp. 777–780</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  I. Pitowsky,   "Quantum probability, quantum logic" , Springer  (1989)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  S.J. Summers,   "On the independence of local algebras in quantum field theory"  ''Rev. Math. Phys.'' , '''2'''  (1990)  pp. 201–247</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  R.F. Werner,   "Bell's inequalities and the reduction of statistical theories"  W. Balzer (ed.)  etAAsal. (ed.) , ''Reduction in Science'' , D. Reidel  (1984)</TD></TR></table>