Sakurai's Bell inequality


The intention of a Bell inequality is to serve as a test of local realism or local hidden variable theories as against quantum mechanics, applying Bell's theorem, which shows them to be incompatible. Not all the Bell's inequalities that appear in the literature are in fact fit for this purpose. The one discussed here holds only for a very limited class of local hidden variable theories and has never been used in practical experiments. It is, however, discussed by John Bell in his "Bertlmann's socks" paper, where it is referred to as the "Wigner–d'Espagnat inequality". It is also variously attributed to Bohm and Belinfante.
Note that the inequality is not really applicable either to electrons or photons, since it builds in no probabilistic properties in the measurement process. Much more realistic hidden variable theories can be devised, modelling spin as a vector and allowing for the fact that not all emitted particles will be detected.

Derivation of the inequality

The approach of Sakurai is followed.
Pick three arbitrary directions a, b, and c in which Alice and Bob can measure the spins of each
electron they receive. We assume three hidden variables on each electron, for the three direction spins. We furthermore
assume that these hidden variables are assigned to each electron pair in a consistent way at the time they are emitted
from the source, and don't change afterwards. We do not assume anything about the probabilities of the various hidden
variable values.
Alice and Bob are two spatially separated observers. Between them is an apparatus that continuously produces
pairs of electrons. One electron in each pair is sent toward Alice, and the other toward Bob. The setup
is shown in the diagram.
The electron pairs are specially prepared so that if both observers measure the spin of their
electron along the same axis, then they will always get opposite results. For example, suppose Alice and Bob both
measure the z-component of the spins that they receive. According to quantum mechanics, each of Alice's measurements
will give either the value +1/2 or −1/2, with equal probability. For each result of +1/2 obtained by Alice, Bob's result will inevitably be −1/2, and vice versa.
Mathematically, the state of each two-electron composite system can be described by the state vector
Each ket is labelled by the direction in which the electron spin points. The above state is known
as a spin singlet. The z-component of the spin corresponds to the operator σz, where
σz is the third Pauli matrix.
It is possible to explain this phenomenon without resorting to quantum mechanics. Suppose our electron-producing
apparatus assigns a parameter, known as a hidden variable, to each electron. It labels one electron "spin +1/2", and
the other "spin −1/2". The choice of which of the two electrons to send to Alice is decided by some classical random
process. Thus, whenever Alice measures the z-component spin and finds that it is +1/2, Bob will measure −1/2, simply
because that is the label assigned to his electron. This reproduces the effects of quantum mechanics, while preserving
the locality principle.
The appeal of the hidden variables explanation dims if we notice that Alice and Bob are not restricted to measuring the
z-component of the spin. Instead, they can measure the component along any arbitrary direction, and the result of each
measurement is always either +1/2 or −1/2. Therefore, each electron must have an infinite number of hidden
variables, one for each measurement that could possibly be performed.
This is ugly, but not in itself fatal. However, Bell showed that by choosing just three directions in which to perform
measurements, Alice and Bob can differentiate hidden variables from quantum mechanics.
Each row in the table describes one type of electron pair, with their respective hidden variable values and their probabilities P. If the hidden variable description is correct, it must agree with the corresponding quantum theory in any situation where the quantum mechanical description allows measurements.
In this case, the spins along a, b and c are not all simultaneously measurable according to the Heisenberg principle, so it is not possible to disprove hidden variable description simply by taking quantum measurements along a, b, and c and comparing their values to the ones in the table. Instead, observable variables must be discussed, which in this case are correlations.
Suppose Alice measures the spin in the a direction and Bob measures it in the b direction. Denote the
probability that Alice obtains +1/2 and Bob obtains +1/2 by
Similarly, if Alice measures spin in a direction and Bob measures in c direction, the probability that both
obtain +1/2 is
Finally, if Alice measures spin in c direction and Bob measures in b direction, the probability that both
obtain the value +1/2 is
The probabilities P are always non-negative, and therefore:
This gives
which is a Bell inequality. Evidently, it must be satisfied by any hidden variable theory because the spin directions represent angular momenta, and a violation of the inequality would violate the conservation law.
The quantum-mechanical prediction for the above setup is:

Bell's application of the inequality

Bell discusses the application of the inequality to thought-experiment involving the spin of electrons and Stern–Gerlach magnets.
Evaluating the probabilities according to the quantum mechanical predictions, the inequality would imply e.g.
or
which is not true, proving his theorem. The prediction of quantum mechanics does indeed conflict with that of local realism.
In real experiments, given that not all particles are detected, the above test could not legitimately be used unless the assumption is made that the detected particles are a fair sample of those emitted. The failure of this assumption results in the best known "loophole". When there are some non-detections, hidden variable theories exist that, like quantum mechanics, predict violation of the inequality. When the non-detections are indeed the correct explanation for experimental results, this would mean that quantum mechanics is in principle wrong in its predicting of the measurement outcomes, but accidentally exactly correct, when taking into account the detector efficiencies.