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:

    “I was allowed to ring the bell for five minutes until everyone was in assembly. It was the beginning of power.”
    —Jeffrey Archer (b. 1940)

    “The only inequalities that matter begin in the mind. It is not income levels but differences in mental equipment that keep people apart, breed feelings of inferiority.”
    —Jacquetta Hawkes (b. 1910)

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

    “A man should have a farm or a mechanical craft for his culture. We must have a basis for our higher accomplishments, our delicate entertainments of poetry and philosophy, in the work of our hands.”
    —Ralph Waldo Emerson (1803–1882)

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