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. The following repeats the treatment with additional commentary from Appendix 2 of Bell's article "Bertlmann's socks and the nature of reality"[7]. The commentary is intended to make the argument understandable even for those allergic to mathematical notation.

For the general case, two adjustments and and two observations and as are needed. These are shown in Figure 8.4. Assume there is some unknown set of hidden variables represented by a single parameter . The assumption of locality is that the joint probability of simultaneous detections factors into two independent local probabilities. The joint probability of detections and with experimental settings and is . The locality assumptions is given by the following.

 (8.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. can be removed from the left hand side by integrating or averaging over all possible values of . To do this requires 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 outcomes cam replace 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.

 (8.3)

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

Write as a function of local variables using Equation 8.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.

 (8.4)

Factor the part of 8.4 involving and as follows.

 (8.5)

Rewrite 8.5 as follows.

 (8.6)

By making the following substitutions.

Use 8.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 Use which substitutes the signs in the reverse order. For example represents the two equations and .

 (8.7)

Since and are probabilities the following holds.

 (8.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 8.7 by converting the equality to an inequality. It is convenient to do generate two versions of the result.

 (8.9)

Using 8.8 gives the following.

 (8.10)

Because is a probability density, the following must hold.

 (8.11)

Applying 8.11 and 8.10 to 8.9 yields the following.

 (8.12)

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

For the experiment involving magnetic spin in Section 8.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 from 8.12 we have the following.

Assume , and . Figure 8.5 gives a plot of 8.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.