Bell's Theorem - Bell Inequalities Are Violated By Quantum Mechanical Predictions

Bell Inequalities Are Violated By Quantum Mechanical Predictions

In the usual quantum mechanical formalism, the observables X and Y are represented as self-adjoint operators on a Hilbert space. To compute the correlation, assume that X and Y are represented by matrices in a finite dimensional space and that X and Y commute; this special case suffices for our purposes below. The von Neumann measurement postulate states: a series of measurements of an observable X on a series of identical systems in state produces a distribution of real values. By the assumption that observables are finite matrices, this distribution is discrete. The probability of observing λ is non-zero if and only if λ is an eigenvalue of the matrix X and moreover the probability is

where EX (λ) is the projector corresponding to the eigenvalue λ. The system state immediately after the measurement is

From this, we can show that the correlation of commuting observables X and Y in a pure state is

We apply this fact in the context of the EPR paradox. The measurements performed by Alice and Bob are spin measurements on electrons. Alice can choose between two detector settings labelled a and a′; these settings correspond to measurement of spin along the z or the x axis. Bob can choose between two detector settings labelled b and b′; these correspond to measurement of spin along the z′ or x′ axis, where the x′ – z′ coordinate system is rotated 135° relative to the xz coordinate system. The spin observables are represented by the 2 × 2 self-adjoint matrices:

 S_x = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix}, S_z = \begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix}

These are the Pauli spin matrices normalized so that the corresponding eigenvalues are +1, −1. As is customary, we denote the eigenvectors of Sx by

Let be the spin singlet state for a pair of electrons discussed in the EPR paradox. This is a specially constructed state described by the following vector in the tensor product

\left|\phi\right\rang = \frac{1}{\sqrt{2}} \left(\left|+x\right\rang \otimes \left|-x\right\rang - \left|-x\right\rang \otimes \left|+x\right\rang \right)

Now let us apply the CHSH formalism to the measurements that can be performed by Alice and Bob.

\begin{align} A(a) &= S_z \otimes I\\ A(a') &= S_x \otimes I\\ B(b) &= -\frac{1}{\sqrt{2}} \ I \otimes (S_z + S_x)\\ B(b') &= \frac{1}{\sqrt{2}} \ I \otimes (S_z - S_x)
\end{align}

The operators, correspond to Bob's spin measurements along x′ and z′. Note that the A operators commute with the B operators, so we can apply our calculation for the correlation. In this case, we can show that the CHSH inequality fails. In fact, a straightforward calculation shows that

and

so that

Bell's Theorem: If the quantum mechanical formalism is correct, then the system consisting of a pair of entangled electrons cannot satisfy the principle of local realism. Note that is indeed the upper bound for quantum mechanics called Tsirelson's bound. The operators giving this maximal value are always isomorphic to the Pauli matrices.

Read more about this topic:  Bell's Theorem

Famous quotes containing the words bell, inequalities, violated, quantum, mechanical and/or predictions:

    I go, and it is done; the bell invites me.
    Hear it not, Duncan, for it is a knell
    That summons thee to heaven, or to hell.
    William Shakespeare (1564–1616)

    In many places the road was in that condition called repaired, having just been whittled into the required semicylindrical form with the shovel and scraper, with all the softest inequalities in the middle, like a hog’s back with the bristles up.
    Henry David Thoreau (1817–1862)

    There is not a single rule, however plausible, and however firmly grounded in epistemology, that is not violated at some time or other. It becomes evident that such violations are not accidental events, they are not results of insufficient knowledge or of inattention which might have been avoided. On the contrary, we see that they are necessary for progress.
    Paul Feyerabend (1924–1994)

    The receipt to make a speaker, and an applauded one too, is short and easy.—Take of common sense quantum sufficit, add a little application to the rules and orders of the House, throw obvious thoughts in a new light, and make up the whole with a large quantity of purity, correctness, and elegancy of style.
    Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    No sociologist ... should think himself too good, even in his old age, to make tens of thousands of quite trivial computations in his head and perhaps for months at a time. One cannot with impunity try to transfer this task entirely to mechanical assistants if one wishes to figure something, even though the final result is often small indeed.
    Max Weber (1864–1920)

    The Brahmins say that in their books there are many predictions of times in which it will rain. But press those books as strongly as you can, you can not get out of them a drop of water. So you can not get out of all the books that contain the best precepts the smallest good deed.
    Leo Tolstoy (1828–1910)