Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Web Analytics
Cookie Policy Terms and Conditions Bell's theorem - Wikipedia, the free encyclopedia

Bell's theorem

From Wikipedia, the free encyclopedia

Bell's theorem is the most famous legacy of the late Northern Irish physicist John Bell. It is notable for showing that the predictions of quantum mechanics (QM) differ from those of intuition. It is regarded as simple and elegant, and touches upon fundamental philosophical issues that relate to modern physics. In its simplest form, Bell's theorem states:

No physical theory of local hidden variables can ever reproduce all of the predictions of quantum mechanics.

Contents

[edit] Overview

Illustration of Bell test for spin 1/2 particles. Source produces spin singlet pair, one particle sent to Alice another to Bob.  Each performs one of the two spin measurements.
Illustration of Bell test for spin 1/2 particles. Source produces spin singlet pair, one particle sent to Alice another to Bob. Each performs one of the two spin measurements.

Continuing on from the situation explored in the EPR paradox, consider again that a source produces paired particles as messages — one message sent to Alice and another to Bob. In sending quantum bits (qubits) to each other, the spin of the qubit is the main property or "quantum state" that is used to correspond to binary values used in classical computing. Bell's thought experiment shows how qubits can be used in ways which exploit their quantum properties to yield greater information than just the binary state of the qubit.

For a more elementary demonstration, the concept of reading spin states is not necessary — what matters is that the qubit can only be read in one of two ways: in the way in which corresponds to the way the state was intended to be read and in the way it was not. (For example, reading a qubit is like reading the color of a ball (red or blue) which is placed in a box which can be opened in one of two ways.) When Alice and Bob measure the spin of the particles in the same axis, that is when they read the qubit in the same way, they will get identical results. But when Bob measures at right angles to Alice's measurements they will get the same results only 50% of the time — a naive reading of a qubit state yields a random value.

This is expressed mathematically by saying that in the first case, their results have a correlation of 1, or perfect correlation; in the second case they have a correlation of 0; no correlation. (A correlation of -1 would indicate getting opposite results the whole time.) So far, this can be explained by positing local hidden variables — each pair of particles is sent out with instructions on how to behave when measured in the x axis and the z axis, generated randomly. Clearly, if the source only sends out particles whose instructions are correlated for each axis, then when Alice and Bob measure on the same axis, they are bound to get identical results; but (if all four possible pairs of instructions are generated equally) when they measure on perpendicular axes they will see zero correlation.

Now consider that Bob rotates his apparatus (by 45 degrees, say) relative to that of Alice. Rather than calling the axes xA, etc., henceforth we will call Alice's axes a and a', and Bob's axes b and b'. The hidden variables (supposing they exist) would have to specify a result in advance for every possible direction of measurement. It would not be enough for the particles to decide what values to take just in the direction of the apparatus at the time of leaving the source, because either Alice or Bob could rotate their apparatus by a random amount any time after the particles left the source.

Next, we define a way to "keep score" in the experiment. Alice and Bob decide that they will record the directions they measured the particles in, and the results they got; at the end, they will tally up, scoring +1 for each time they got the same result and -1 for an opposite result - except that if Alice measured in a and Bob measured in b', they will score +1 for an opposite result and -1 for the same result. It turns out (see the mathematics below) that however the hidden variables are contrived, Alice and Bob cannot average more than 50% overall. (For example, suppose that for a particular value of the hidden variables, the a and b directions are perfectly correlated, as are the a' and b' directions. Then, since a and a' are at right angles and so have zero correlation, a' and b have zero correlation, as do a and b'. The unusual "scoring system" is designed in part to ensure this holds for all possible values of the hidden variables.)

The question is now whether Alice and Bob can score higher if the particles behave as predicted by quantum mechanics. It turns out they can; if the apparatuses are rotated at 45° to each other, then the predicted score is 71%. In detail: when observations at an angle of θ are made on two entangled particles, the predicted correlation between the measurements is cosθ. In one explanation, the particles behave as if when Alice makes a measurement (in direction x, say), Bob's particle instantaneously switches to take that direction. When Bob makes a measurement, the correlation (the averaged-out value, taking +1 for the same measurement and -1 for the opposite) is equal to the length of the projection of the particle's vector onto his measurement vector; by trigonometry, cosθ. θ is 45°, and cosθ is \frac{\sqrt{2}}{2}, for all pairs of axes except (a,b') – where they are 135° and -\frac{\sqrt{2}}{2} – but this last is taken in negative in the agreed scoring system, so the overall score is \frac{\sqrt{2}}{2}; 0.707, or 71%. If experiment shows - as it appears to - that the 71% score is attained, then hidden variable theories cannot be correct; not unless information is being transmitted between the particles faster than light, or the experimental design is flawed.

[edit] Bell's thought experiment

Bell considered a setup in which two observers, Alice and Bob, perform independent measurements on a system S prepared in some fixed state. Each observer has a detector with which to make measurements. On each trial, Alice and Bob can independently choose between various detector settings. Alice can choose a detector setting a to obtain a measurement A(a) and Bob can choose a detector setting b to measure B(b). After repeated trials Alice and Bob collect statistics on their measurements and correlate the results.

There are two main assumptions in Bell's analysis: (1) Each measurement reveals an objective physical property of the system and (2) A measurement taken by one observer has no effect on the measurement taken by the other.

In the language of probability theory, repeated measurements of system properties can be regarded as repeated sampling of random variables. One might expect measurements by Alice and Bob to be somehow correlated with each other: the random variables are assumed not to be independent, but linked in some way. Nonetheless, there is a limit to the amount of correlation one might expect to see. This is what the Bell inequality expresses.

A version of the Bell inequality appropriate for this example is given by John Clauser, Michael Horne, Abner Shimony and R. A. Holt, and is called the CHSH form:

\ (1) \quad \mathbf{C}[A(a), B(b)] + \mathbf{C}[A(a), B(b')] + \mathbf{C}[A(a'), B(b)] - \mathbf{C}[A(a'), B(b')]\leq 2,

where C denotes correlation.

[edit] Importance of the theorem

This theorem has even been called "the most profound in science" (Stapp, 1975). Bell's seminal 1964 paper was entitled "On the Einstein Podolsky Rosen paradox". The Einstein Podolsky Rosen paradox (EPR paradox) assumes local realism, the intuitive notion that particle attributes have definite values independent of the act of observation and that physical effects have a finite propagation speed. Bell showed that local realism leads to a requirement for certain types of phenomena that are not present in quantum mechanics. This requirement is called Bell's inequality.

After EPR (Einstein-Podolsky-Rosen), quantum mechanics was left in an unsatisfactory position: either it was incomplete, in the sense that it failed to account for some elements of physical reality, or it violated the principle of finite propagation speed of physical effects. In a modified version of the EPR thought experiment, two observers, now commonly referred to as Alice and Bob, perform independent measurements of spin on a pair of electrons, prepared at a source in a special state called a spin singlet state. It was a conclusion of EPR that once Alice measured spin in one direction (e.g. on the x axis), Bob's measurement in that direction was determined with certainty, whereas immediately before Alice's measurement, Bob's outcome was only statistically determined. Thus, either the spin in each direction is not an element of physical reality, or the effects travel from Alice to Bob instantly.

In QM, predictions were formulated in terms of probabilities — for example, the probability that an electron might be detected in a particular region of space, or the probability that it would have spin up or down. The idea persisted, however, that the electron in fact has a definite position and spin, and that QM's weakness was its inability to predict those values precisely. The possibility remained that some yet unknown, but more powerful theory, such as a hidden variables theory, might be able to predict those quantities exactly, while at the same time also being in complete agreement with the probabilistic answers given by QM. If a hidden variables theory were correct, the hidden variables were not described by QM, and thus QM would be an incomplete theory.

The desire for a local realist theory was based on two ideas: first, that objects have a definite state that determines the values of all other measurable properties, such as position and momentum; and second, that (as a result of special relativity) effects of local actions, such as measurements, cannot travel faster than the speed of light. In the formalization of local realism used by Bell, the predictions of theory result from the application of classical probability theory to an underlying parameter space. By a simple (but clever) argument based on classical probability, he then showed that correlations between measurements are bounded in a way that is violated by QM.

Bell's theorem seemed to put an end to local realist hopes for QM. Per Bell's theorem, either quantum mechanics or local realism is wrong. Experiments were needed to determine which is correct, but it took many years and many improvements in technology to perform them.

Bell test experiments to date overwhelmingly show that the inequalities of Bell's theorem are violated. This provides empirical evidence against local realism. They are also taken as positive evidence in favor of QM. The principle of special relativity is saved by the no-communication theorem, which proves that the observers cannot use the inequality violations to communicate information to each other faster than the speed of light.

John Bell's papers examined both John von Neumann's 1932 proof of the incompatibility of hidden variables with QM and Albert Einstein and his colleagues' seminal 1935 paper on the subject.

[edit] Bell Inequalities

Different authors subsequently derived similar inequalities, collectively termed Bell inequalities, that also assume local realism. That is, they assume that each quantum-level object has a well defined state that accounts for all its measurable properties and that distant objects do not exchange information faster than the speed of light. These well defined properties are often called hidden variables, the properties that Einstein posited when he stated his famous objection to quantum mechanics: "God does not play dice."

Bell's inequalities concern measurements made by observers (often called Alice and Bob) on entangled pairs of particles that have interacted and then separated. Hidden variable assumptions limit the correlation of subsequent measurements of the particles. Bell discovered that under quantum mechanics this correlation limit may be violated. Quantum mechanics lacks local hidden variables associated with individual particles, and so the inequalities do not apply to it. Instead, it predicts correlation due to quantum entanglement of the particles, allowing their state to be well defined only after a measurement is made on either particle. That restriction agrees with the Heisenberg uncertainty principle, one of the most fundamental concepts in quantum mechanics.

The following example (Mermin, 1985) illustrates and make the nature of Bell inequalities easy to understand. Let us consider a particle with a slippery shape property that is either square or round, depending on which way we look at it. The particle cannot be seen from two directions at once, and looking at it changes how it might have looked from other directions. A source creates entangled pairs of these particles, so that if we look at the two from the same angle they have the same shape, and sends them in opposite directions. Shape detectors independent of each other and of the source are placed in the path of each particle and randomly change between three observing angles after the particles are emitted. Because the particles are entangled, the detectors report the same shape every time they happen to measure a pair from the same observation angle. Additionally the detectors measure the same shape for half of all runs when they are set arbitrarily and independently to one of the three angles. This last property does hold for some real systems, and is the key Bell found to show the existence of alocality.

In an effort to construct a model for this situation which is local in nature, we must assume that the information for shape appearance at each angle is carried on the particles. This is the only local way to ensure that the same shape is measured every time the detector angles happen to be the same. We can represent this information by either a s (for square) or r (for round) in three slots corresponding to the three detector angles. Remember that the shape is slippery; we can only observe the shape from one angle at a time, and subsequent measurement will not reflect what the shape "would have been" from another angle. Thus we can learn only two of the three pieces of information by measurement, one from each particle. The third number in each particle's instruction set is an unknowable, hidden variable. Suppose a pair of entangled particles which look square from angles 1 and 2 and round from angle 3 each carry the instruction set ssr. For this particular instruction set, there are five possible detector settings which yield the same shape (11,22,33,12,21) and four settings which yield different shapes (13,23,32,31), so the probability of detecting the same shape given this instruction set is \frac{5}{9}. There are five more possible instruction sets that also give probability \frac{5}{9} for detecting the same shape. These are rss,srs,rrs,rsr and srr. The only other possible instruction sets are rrr and sss, for which the same shape is measured with probability 1. Whatever the distribution of these instruction sets among the entangled pairs, the detectors will measure the same shape in at least \frac{5}{9} of all runs.

The inequality

P\geq \frac{5}{9},

where P is the proportion over all runs that the detectors measure the same shape, is a Bell inequality for this particular local hidden variable model. However, one of the required features of any model is that it allows the observed behavior, that the same shape is observed in only half of all runs. Our inequality is violated;

P=\frac{1}{2}\not\geq\frac{5}{9},

so our local hidden variable model does not adequately describe the system.

It is worth noting that this system can be created physically with spin-entangled electron/positron pairs substituted for the shape-entangled particles, and Stern-Gerlach analyzers substituted for shape detectors. The proper three angles to give

P=\frac{1}{2}

are

0^{\circ}, 120^{\circ} and 240^{\circ}.

The analog for a polarization entangled photon system is polarization detectors at angles 0^{\circ}, 60^{\circ} and 120^{\circ} but because the linear polarizers only pass the vertical polarization of its rotated basis, measurements must be taken at the orthogonal angles as well.

[edit] Bell's inequalities

In quantum mechanics properties of objects are not clear to verify. They are only well defined if we perform a measurement. Two quantum particles that are interacting with each other, the possibility of predicting properties without measurement on either side led to the EPR paradox. The postulation of unknown random variables, hidden variables, would restore localism. On the other hand, randomness is intrinsic to quantum mechanics.

Bell implemented an experiment that would prove if properties are well-defined or not, an experiment that would give one result if quantum mechanics is correct and another result if hidden variables are needed. The most important are Bell's original inequality (Bell, 1964), and the Clauser-Horne-Shimony-Holt (CHSH) inequality (Clauser, Horne, Shimony and Holt 1969). In Bell's work:

Theoretical physicists live in a classical world, looking out into a quantum-mechanical world. The latter we describe only subjectively, in terms of procedures and results in our classical domain. (...) Now nobody knows just where the boundary between the classical and the quantum domain is situated. (...) More plausible to me is that we will find that there is no boundary. The wave functions would prove to be a provisional or incomplete description of the quantum-mechanical part. It is this possibility, of a homogeneous account of the world, which is for me the chief motivation of the study of the so-called ``hidden variable" possibility.

(...) A second motivation is connected with the statistical character of quantum-mechanical predictions. Once the incompleteness of the wave function description is suspected, it can be conjectured that random statistical fluctuations are determined by the extra ``hidden" variables -- ``hidden" because at this stage we can only conjecture their existence and certainly cannot control them.

(...) A third motivation is in the peculiar character of some quantum-mechanical predictions, which seem almost to cry out for a hidden variable interpretation. This is the famous argument of Einstein, Podolsky and Rosen. (...) We will find, in fact, that no local deterministic hidden-variable theory can reproduce all the experimental predictions of quantum mechanics. This opens the possibility of bringing the question into the experimental domain, by trying to approximate as well as possible the idealized situations in which local hidden variables and quantum mechanics cannot agree

Correlation of observables X, Y is defined as

\mathbf{C}(X,Y) = \operatorname{E}(X Y).

This is non-normalized form of the correlation coefficient considered in statistics (see Quantum correlation).

In order to formulate Bell's theorem, we formalize local realism as follows:

  1. There is a probability space Λ and the observed outcomes by both Alice and Bob result by random sampling of the parameter \lambda \in \Lambda.
  2. The values observed by Alice or Bob are functions of the local detector settings and the hidden parameter only. Thus
  • Value observed by Alice with detector setting a is A(a,λ)
  • Value observed by Bob with detector setting b is B(b,λ)

Implicit in assumption 1) above, the hidden parameter space Λ has a probability measure ρ and the expectation of a random variable X on Λ with respect to ρ is written

\operatorname{E}(X) = \int_\Lambda X(\lambda) \rho(\lambda) d \lambda

where for accessibility of notation we assume that the probability measure has a density.

Bell's inequality. The CHSH inequality (1) holds under the hidden variables assumptions above.

For simplicity, let us first assume the observed values are +1 or −1; we remove this assumption in Remark 1 below.

Let \lambda \in \Lambda. Then at least one of

B(b, \lambda) + B(b', \lambda), \quad B(b, \lambda) - B(b', \lambda)

is 0. Thus

A(a, \lambda) \ B(b, \lambda) + A(a, \lambda) \ B(b', \lambda) +A(a', \lambda) \ B(b, \lambda) - A(a', \lambda) \ B(b', \lambda) =
= A(a, \lambda) (B(b, \lambda) +  B(b', \lambda))+ A(a', \lambda) (B(b, \lambda) -  B(b', \lambda)) \quad
\leq 2.

and therefore

\mathbf{C}(A(a), B(b)) + \mathbf{C}(A(a), B(b')) + \mathbf{C}(A(a'), B(b)) - \mathbf{C}(A(a'), B(b')) =
= \int_\Lambda A(a, \lambda) \ B(b, \lambda) \rho(\lambda) d \lambda + \int_\Lambda A(a, \lambda) \ B(b', \lambda) \rho(\lambda) d \lambda +  \int_\Lambda A(a', \lambda) \ B(b, \lambda) \rho(\lambda) d \lambda -  \int_\Lambda A(a', \lambda) \ B(b', \lambda) \rho(\lambda) d \lambda =
= \int_\Lambda \bigg\{A(a, \lambda) \ B(b, \lambda) + A(a, \lambda) \ B(b', \lambda) +A(a', \lambda) \ B(b, \lambda) - A(a', \lambda) \ B(b', \lambda)\bigg\} \rho(\lambda) d \lambda =
= \int_\Lambda \bigg\{A(a, \lambda) (B(b, \lambda) +  B(b', \lambda))+ A(a', \lambda) (B(b, \lambda) -  B(b', \lambda)) \bigg\} \rho(\lambda) d \lambda \quad
\leq 2.

Remark 1. The correlation inequality (1) still holds if the variables A(a,λ), B(b,λ) are allowed to take on any real values between -1, +1. Indeed, the relevant idea is that each summand in the above average is bounded above by 2. This is easily seen to be true in the more general case:

A(a, \lambda) \ B(b, \lambda) + A(a, \lambda) \ B(b', \lambda) + A(a', \lambda) \ B(b, \lambda) - A(a', \lambda) \ B(b', \lambda) =
= A(a, \lambda) (B(b, \lambda) + B(b', \lambda)) +A(a', \lambda) (B(b, \lambda) - B(b', \lambda)) \quad
\leq \bigg|A(a, \lambda) (B(b, \lambda) + B(b', \lambda)) +A(a', \lambda) (B(b, \lambda) - B(b', \lambda) ) \bigg| \quad
\leq \bigg|A(a, \lambda) (B(b, \lambda) + B(b', \lambda))\bigg| +\bigg|A(a', \lambda) (B(b, \lambda) - B(b', \lambda))\bigg|
\leq |B(b, \lambda) + B(b', \lambda)| +| B(b, \lambda) - B(b', \lambda)| \leq 2.

To justify the upper bound 2 asserted in the last inequality, without loss of generality, we can assume that

B(b, \lambda) \geq  B(b', \lambda) \geq 0.

In that case

|B(b, \lambda) + B(b', \lambda)| +| B(b, \lambda) - B(b', \lambda)| =B(b, \lambda) + B(b', \lambda) +  B(b, \lambda) - B(b', \lambda) = \quad
= 2 B(b, \lambda) \leq 2. \quad.

Remark 2. Though the important component of the hidden parameter λ in Bell's original proof is associated with the source and is shared by Alice and Bob, there may be others that are associated with the separate detectors, these others being independent. This argument was used by Bell in 1971, and again by Clauser and Horne in 1974, to justify a generalisation of the theorem forced on them by the real experiments, in which detector were never 100% efficient. The derivations were given in terms of the averages of the outcomes over the local detector variables. The formalisation of local realism was thus effectively changed, replacing A and B by averages and retaining the symbol λ but with a slightly different meaning. It was henceforth restricted (in most theoretical work) to mean only those components that were associated with the source.

However, with the extension proved in Remark 1, CHSH inequality still holds even if the instruments themselves contain hidden variables. In that case, averaging over the instrument hidden variables gives new variables:

\overline{A}(a, \lambda), \quad \overline{B}(b, \lambda)

on Λ which still have values in the range [-1, +1] to which we can apply the previous result.

[edit] Bell's theorem: Bell inequalities are violated by some quantum predictions

To finish Bell's theorem we will show that quantum mechanics makes a prediction that violates a "Bell inequality" in the setup considered in the EPR thought experiment. In order to do this, we first need to show how to compute correlations of quantum mechanical observables.

In the usual quantum mechanical formalism, observables X, Y are represented as self-adjoint operators on a Hilbert space. To compute the correlation, assume that X, Y are represented by matrices in a finite dimensional space and that X, Y commute; this special case suffices for our purposes below. We then use the von Neumann measurement postulate: 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

\|\operatorname{E}_X(\lambda) \phi\|^2

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

\|\operatorname{E}_X(\lambda) \phi\|^{-1} \operatorname{E}_X(\lambda) \phi.

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

\langle X Y \rangle = \langle X Y \psi \mid \psi \rangle.

We apply this fact in the context of the EPR paradox. The measurements performed by Alice and Bob are spin measurements for an electron. 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 45° 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

\left|+x\right\rang, \quad \left|-x\right\rang.

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}} \bigg(\left|+x\right\rang \otimes \left|-x\right\rang - \left|-x\right\rang \otimes \left|+x\right\rang \bigg).

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

Illustration of Bell test for spin 1/2 particles. Source produces spin singlet pair, one particle sent to Alice another to Bob.  Each performs one of the two spin measurements.
Illustration of Bell test for spin 1/2 particles. Source produces spin singlet pair, one particle sent to Alice another to Bob. Each performs one of the two spin measurements.
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).

The operators B(b'), B(b) 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

\langle A(a) B(b) \rangle =  \langle A(a') B(b) \rangle =\langle A(a') B(b') \rangle = \frac{1}{\sqrt{2}},

and

\langle A(a) B(b') \rangle = - \frac{1}{\sqrt{2}}.

so that

\langle A(a) B(b) \rangle + \langle A(a') B(b') \rangle + \langle A(a') B(b) \rangle - \langle A(a) B(b') \rangle = \frac{4}{\sqrt{2}} = 2 \sqrt{2} > 2.

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 2 \sqrt{2} is indeed the upper bound for quantum mechanics, it's called Tsirelson's bound. The operators giving this maximal value are always isomorphic to the Pauli matrices.

The next sections consider experimental tests to see whether the Bell inequalities required by local realism hold up to the empirical evidence.

[edit] Bell test experiments

Main article: Bell test experiments

Bell's inequalities are tested by "coincidence counts" from a Bell test experiment such as the optical one shown in the diagram. Pairs of particles are emitted as a result of a quantum process, analysed with respect to some key property such as polarisation direction, then detected. The setting (orientations) of the analysers are selected by the experimenter.

Bell test experiments to date overwhelmingly suggest that Bell's inequality is violated. Indeed, a table of Bell test experiments performed prior to 1986 is given in 4.5 of (Redhead, 1987). Of the thirteen experiments listed, only two reached results contradictory to quantum mechanics; moreover, according to the same source, when the experiments were repeated, "the discrepancies with QM could not be reproduced".

Scheme of a "two-channel" Bell testThe source S produces pairs of "photons", sent in opposite directions.  Each photon encounters a two-channel polariser whose orientation (a or b) can be set by the experimenter.  Emerging signals from each channel are detected and coincidences of four types (++, --, +- and -+) counted by the coincidence monitor.
Scheme of a "two-channel" Bell test
The source S produces pairs of "photons", sent in opposite directions. Each photon encounters a two-channel polariser whose orientation (a or b) can be set by the experimenter. Emerging signals from each channel are detected and coincidences of four types (++, --, +- and -+) counted by the coincidence monitor.

Nevertheless, the issue is not conclusively settled. According to Shimony's 2004 Stanford Encyclopedia overview article

"Most of the dozens of experiments performed so far have favored Quantum Mechanics, but not decisively because of the 'detection loopholes' or the 'communication loophole.' The latter has been nearly decisively blocked by a recent experiment and there is a good prospect for blocking the former."


[edit] Implications of violation of Bell's inequality

The phenomenon of quantum entanglement that is behind violation of Bell's inequality is just one element of quantum physics which cannot be represented by any classical picture of physics; other non-classical elements are complementarity and wavefunction collapse. The problem of interpretation of quantum mechanics is intended to provide a satisfactory picture of these non-classical elements of quantum physics.

Some advocates of the hidden variables idea prefer to accept the opinion that experiments have ruled out local hidden variables. They are ready to give up locality (and probably also causality), explaining the violation of Bell's inequality by means of a "non-local" hidden variable theory, in which the particles exchange information about their states. This is the basis of the Bohm interpretation of quantum mechanics. It is, however, considered by most to be unconvincing, requiring, for example, that all particles in the universe be able to instantaneously exchange information with all others.

Finally, one subtle assumption of the Bell inequalities is counterfactual definiteness. The derivation refers to several objective properties that cannot all be measured for any given particle, since the act of taking the measurement changes the state. Under local realism the difficulty is readily overcome, so long as we can assume that the source is stable, producing the same statistical distribution of states for all the subexperiments. If this assumption is felt to be unjustifiable, though, one can argue that Bell's inequality is unproven. In the Everett many-worlds interpretation, the assumption of counterfactual definiteness is abandoned, this interpretation assuming that the universe branches into many different observers, each of whom measures a different observation. Hence many worlds can adhere to both the properties of philosophical realism and the principle of locality and not violate Bell's conditions.

[edit] Original Bell's inequality

The original inequality that Bell derived (Bell, 1964) was:

1 + \operatorname{C}(b, c) \geq |\operatorname{C}(a, b) - \operatorname{C}(a, c)|,

where C is the "correlation" of the particle pairs and a, b and c settings of the apparatus. This inequality is not used in practice. For one thing, it is true only for genuinely "two-outcome" systems, not for the "three-outcome" ones (with possible outcomes of zero as well as +1 and −1) encountered in real experiments. For another, it applies only to a very restricted set of hidden variable theories, namely those for which the outcomes on both sides of the experiment are always exactly anticorrelated when the analysers are parallel, in agreement with the quantum mechanical prediction.

[edit] Notable quotes

Heinz Pagels, in The Cosmic Code, writes:

Some recent popularizers of Bell's work when confronted with [Bell's inequality] have gone on to claim that telepathy is verified or the mystical notion that all parts of the universe are instantaneously interconnected is vindicated. Others assert that this implies communication faster than the speed of light. That is rubbish; the quantum theory and Bell's inequality imply nothing of this kind. Individuals who make such claims have substituted a wish-fulfilling fantasy for understanding. If we closely examine Bell's experiment we will see a bit of sleight of hand by the God that plays dice which rules out actual nonlocal influences. Just as we think we have captured a really weird beast--like acausal influences--it slips out of our grasp. The slippery property of quantum reality is again manifested.

[edit] See also

[edit] Further reading

The following are intended for general audiences.

  • Amir D. Aczel, Entanglement: The greatest mystery in physics (Four Walls Eight Windows, New York, 2001).
  • A. Afriat and F. Selleri, The Einstein, Podolsky and Rosen Paradox (Plenum Press, New York and London, 1999)
  • J. Baggott, The Meaning of Quantum Theory (Oxford University Press, 1992)
  • N. David Mermin, "Is the moon there when nobody looks? Reality and the quantum theory", in Physics Today, April 1985, pp. 38-47.
  • Brian Greene, The Fabric of the Cosmos (Vintage, 2004, ISBN 0-375-72720-5)
  • D. Wick, The infamous boundary: seven decades of controversy in quantum physics (Birkhauser, Boston 1995)

[edit] References

  • A. Aspect et al., Experimental Tests of Realistic Local Theories via Bell's Theorem, Phys. Rev. Lett. 47, 460 (1981)
  • A. Aspect et al., Experimental Realization of Einstein-Podolsky-Rosen-Bohm Gedankenexperiment: A New Violation of Bell's Inequalities, Phys. Rev. Lett. 49, 91 (1982).
  • A. Aspect et al., Experimental Test of Bell's Inequalities Using Time-Varying Analyzers, Phys. Rev. Lett. 49, 1804 (1982).
  • A. Aspect and P. Grangier, About resonant scattering and other hypothetical effects in the Orsay atomic-cascade experiment tests of Bell inequalities: a discussion and some new experimental data, Lettere al Nuovo Cimento 43, 345 (1985)
  • J. S. Bell, On the Einstein Podolsky Rosen Paradox, Physics 1, 195 (1964)
  • J. S. Bell, On the problem of hidden variables in quantum mechanics, Rev. Mod. Phys. 38, 447 (1966)
  • J. S. Bell, Introduction to the hidden variable question, Proceedings of the International School of Physics 'Enrico Fermi', Course IL, Foundations of Quantum Mechanics (1971) 171-81
  • J. S. Bell, Bertlmann’s socks and the nature of reality, Journal de Physique, Colloque C2, suppl. au numero 3, Tome 42 (1981) pp C2 41-61
  • J. S. Bell, Speakable and Unspeakable in Quantum Mechanics (Cambridge University Press 1987) [A collection of Bell's papers, including all of the above.]
  • J. F. Clauser, M. A. Horne, A. Shimony and R. A. Holt, Proposed experiment to test local hidden-variable theories, Physical Review Letters 23, 880-884 (1969).
  • J. F. Clauser and M. A. Horne, Experimental consequences of objective local theories, Physical Review D, 10, 526-35 (1974)
  • J. F. Clauser and A. Shimony, Bell's theorem: experimental tests and implications, Reports on Progress in Physics 41, 1881 (1978)
  • S. J. Freedman and J. F. Clauser, Experimental test of local hidden-variable theories, Phys. Rev. Lett. 28, 938 (1972)
  • E. S. Fry, T. Walther and S. Li, Proposal for a loophole-free test of the Bell inequalities, Phys. Rev. A 52, 4381 (1995)
  • E. S. Fry, and T. Walther, Atom based tests of the Bell Inequalities - the legacy of John Bell continues, pp 103-117 of Quantum [Un]speakables, R.A. Bertlmann and A. Zeilinger (eds.) (Springer, Berlin-Heidelberg-New York, 2002)
  • R. B. Griffiths, Consistent Quantum Theory', Cambridge University Press (2002).
  • L. Hardy, Nonlocality for 2 particles without inequalities for almost all entangled states. Physical Review Letters 71 (11) 1665-1668 (1993)
  • M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press (2000)
  • P. Pearle, Hidden-Variable Example Based upon Data Rejection, Physical Review D 2, 1418-25 (1970)
  • A. Peres, Quantum Theory: Concepts and Methods, Kluwer, Dordrecht, 1993.
  • P. Pluch, Theory of Quantum Probability, PhD Thesis, University of Klagenfurt, 2006.
  • M. Redhead, Incompleteness, Nonlocality and Realism, Clarendon Press (1987)
  • B. C. van Frassen, Quantum Mechanics, Clarendon Press, 1991.
  • M.A. Rowe, D. Kielpinski, V. Meyer, C.A. Sackett, W.M. Itano, C. Monroe, and D.J. Wineland, "Experimental violation of Bell's inequalities with efficient detection",(Nature, 409, 791-794, 2001).

[edit] External links

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu