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 x – z 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:

    “The sad, the lonely, the insatiable,
    To these Old Night shall all her mystery tell;
    God’s bell has claimed them by the little cry
    Of their sad hearts, that may not live nor die.”
    —William Butler Yeats (1865–1939)

    “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)

    “But how is one to make a scientist understand that there is something unalterably deranged about differential calculus, quantum theory, or the obscene and so inanely liturgical ordeals of the precession of the equinoxes.”
    —Antonin Artaud (1896–1948)

    “A committee is organic rather than mechanical in its nature: it is not a structure but a plant. It takes root and grows, it flowers, wilts, and dies, scattering the seed from which other committees will bloom in their turn.”
    —C. Northcote Parkinson (1909–1993)

    “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)