Next: Experimental tests of Bell's Up: Relativity plus quantum mechanics Previous: Bell's theorem simple limited   Contents

# Bell's theorem general proof

This is the only section with substantial mathematics. It is not essential. One can understand the idea of Bell's result from the previous section. However it is worth making the effort to follow if you are at all inclined to do so.

Bell's proof that no hidden variables model will work involves some simple integral equations. We repeat the treatment with additional commentary from Appendix 2 of Bell's article "Bertlmann's socks and the nature of reality"[6]. The commentary is intended to make the argument understandable even for those allergic to mathematical notation.

For the general case we need two adjustments and and two observations and as shown in Figure 6.5. We assume there is some unknown set of hidden variables that we represent by a single parameter . The assumption of locality is that we can factor the joint probability into two independent local probabilities. The joint probability of getting detections and with experimental settings and is . The locality assumptions is given by the following.

 (6.2)

This implies that the probability of a detection at is only dependent on the local setting of and a local unknown variable . The same is true at the other detector. We can remove from the left hand side by integrating or averaging over all possible values of . To do this we need the probability density function that gives the likelihood that will have a particular value.

This says that the joint probability of observing and at settings and is the average value of a product of three terms. The first two are the likelihood of making observations and locally for a given value of . The third is the likelihood that will have this value.

Practical experiments detect or fail to detect a particle. Thus we can replace outcomes with the four possible detection combinations of , , and representing a detection or no detection at the two distant sensors. The following sum of these possible outcomes is particularly useful in developing a version of Bell's inequality that can be tested experimentally.

 (6.3)

So instead of computing the probability of possible outcomes we will be computing the probability that will have a given value. is not a probability and will be negative if it is more likely that we get detections in only one of the two sensors rather than in both or neither.

We can write as a function of local variables using Equation 6.2. The idea is to replace the nonlocal dependency in with dependency only on local values (only or only ) and the hidden local variable . This results in the following.

 (6.4)

We can factor the part of 6.4 involving and as follows.

 (6.5)

We can rewrite 6.5 as follows.

 (6.6)

By making the following substitutions.

Now we use 6.6 to construct a formula for . The symbol `' is used as a shorthand for two equations. The first uses and the second . You have to make the substitution every place occurs. Shortly we will use which substitutes the signs in the reverse order. For example represents the two equations and .

 (6.7)

Since and are probabilities the following holds.

 (6.8)

Thus and . For these are both differences between two numbers between 0 and 1 and thus their absolute value must be less than or equal one. Using this can remove from 6.7 by converting the equality to an inequality. It is convenient to do generate two versions of the result.

 (6.9)

Using 6.8 we have the following.

 (6.10)

Since is a probability density we have the following.

 (6.11)

Now using 6.11 and 6.10 we have the following from 6.9.

 (6.12)

This is called the CHSH inequality from the initials of the authors who first derived it[9] as an inequality that could be tested experimentally.

For the experiment involving magnetic spin in Section 6.4 provides a good example of how this inequality is violated. Quantum mechanics predicts that that where and are the angles of orientation of the two polarizers. Thus we have from 6.12 the following.

Assume , and . Figure 6.6 gives a plot of 6.12 as a function of . It also plots the classical limit of 2. The peak occurs at where the value for CHSH predicted by quantum mechanics is .

 The horizontal straight line at 2 represents the maximum correlation from local hidden variables theories. The curve is the prediction of quantum mechanics.