Entanglement (physics): Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Boris Tsirelson
(more)
imported>Meg Taylor
No edit summary
 
(32 intermediate revisions by one other user not shown)
Line 1: Line 1:
{{subpages}}
{{subpages}}
 
{{Image|LabBeamCurved.jpg|right|250px|Photonics is widely used when creating entanglement.}}
There are three interrelated meanings of the word '''entanglement''' in physics. They are listed below and then discussed, both separately and in relation to each other.
There are three interrelated meanings of the word '''entanglement''' in physics. They are listed below and then discussed, both separately and in relation to each other.


* A combination of empirical facts, observed or only hypothetical, incompatible with the [[conjunction]] of three fundamental assumptions about nature, called "counterfactual definiteness", "relativistic local causality" and "no-conspiracy" (see below), but compatible with the conjunction of the last two of them ("relativistic local causality" and "no-conspiracy"). Such a combination will be called "empirical entanglement" (which is not a standard terminology).
* A combination of empirical facts, observed or only hypothetical, incompatible with the [[conjunction]] of three fundamental assumptions about nature, called "counterfactual definiteness", "relativistic local causality" and "no-conspiracy" (see below), but compatible with the conjunction of the last two of them ("relativistic local causality" and "no-conspiracy"). Such a combination will be called "empirical entanglement" (which is not a standard terminology<ref>Experts often call it "nonlocality", thus confusing non-experts; see [[#In general|Sect. 4.1]].</ref>).
* A prediction of the quantum theory stating that the empirical entanglement must occur in appropriate physical experiments (below called "quantum entanglement").
* A prediction of the quantum theory stating that the empirical entanglement must occur in appropriate physical experiments (called "quantum entanglement").
* In quantum theory there is a technical notion of "entangled state".
* In quantum theory there is a technical notion of "entangled state".


Due to quantum entanglement, quantum information is different from classical information, which leads to quantum communication, quantum games, quantum cryptography and quantum computation.
Entanglement cannot be reduced to shared randomness, and does not imply faster-than-light communication.
 
Due to quantum entanglement, quantum information is different from classical information, which leads to quantum communication, quantum games, [[quantum cryptography]] and [[quantum computation]].


==Empirical entanglement==
==Empirical entanglement==
Some people understand it easily, others find it difficult and confusing.
Some people understand it easily, others find it difficult and confusing.


Line 18: Line 19:


===The framework, and local causality===
===The framework, and local causality===
The following concepts are essential here.
The following concepts are essential here.
* A physical apparatus that has a switch and several lights. The switch can be set to one of several possible positions. A little after that the apparatus flashes one of its lights.
* A physical apparatus that has a switch and several lights. The switch can be set to one of several possible positions. A little after that the apparatus flashes one of its lights.
Line 29: Line 29:


The strict approach: we do not open the black boxes. Rather, we place them, say, 360,000 km apart (the least Earth-Moon distance) and restrict the experiment to a time interval of, say, 1 sec. Relativity theory states that they cannot signal to each other, for a good reason: a [[Speed of light|faster-than-light]] communication in one inertial reference frame would be a backwards-in-time communication in another inertial reference frame!
The strict approach: we do not open the black boxes. Rather, we place them, say, 360,000 km apart (the least Earth-Moon distance) and restrict the experiment to a time interval of, say, 1 sec. Relativity theory states that they cannot signal to each other, for a good reason: a [[Speed of light|faster-than-light]] communication in one inertial reference frame would be a backwards-in-time communication in another inertial reference frame!
Below, the strict approach is used (unless explicitly stated otherwise). Thus, the apparata are not restricted. They may contain mobile phones or whatever. They may interact with any external equipment, be it cell sites or whatever.


===Falsifiabilty, and no-conspiracy assumption===
===Falsifiabilty, and no-conspiracy assumption===
A claim is called falsifiable (or refutable) if it has observable implications. If some of these implications contradict some observed facts then the claim is falsified (refuted). Otherwise it is corroborated.
A claim is called falsifiable (or refutable) if it has observable implications. If some of these implications contradict some observed facts then the claim is falsified (refuted). Otherwise it is corroborated.


Line 56: Line 57:


===Counterfactual definiteness===
===Counterfactual definiteness===
In this section a single apparatus is considered.
In this section a single apparatus is considered.


A trial is described by a pair (''x,y'') where ''x'' is the input (the switch position) and ''y'' is the output (the light flashed). Is ''y'' a [[Function (mathematics)|function]] of ''x''? We may repeat the trial with the same ''x'' and get a different ''y'' (especially if the apparatus tosses a coin). We can set the switch to ''x'' again, but we cannot set all molecules to the same microstate. Still, we may try to imagine the past changed, asking a counterfactual question:
A trial is described by a pair (''x,y'') where ''x'' is the input (the switch position) and ''y'' is the output (the light flashed). Is ''y'' a [[Function (mathematics)|function]] of ''x''? We may repeat the trial with the same ''x'' and get a different ''y'' (especially if the apparatus tosses a coin). We can set the switch to ''x'' again, but we cannot set all molecules to the same microstate. Still, we may try to imagine the past changed, asking a counterfactual question:<ref>"Die Geschichte kennt kein Wenn" (Karl Hampe). Whether physics has subjunctive mood or not, this is the question of counterfactual definiteness.</ref>
* Which outcome the experimenter would have received (in the same trial) if he/she did set the switch to another position?
* Which outcome the experimenter would have received (in the same trial) if he/she did set the switch to another position?
It is meant that only the input ''x'' is changed in the past, nothing else. The question may seem futile, since an answer cannot be verified empirically. Strangely enough, the question will appear to be very useful in the next section.
It is meant that only the input ''x'' is changed in the past, nothing else. The question may seem futile, since an answer cannot be verified empirically. Strangely enough, the question will appear to be very useful in the next section.
Line 65: Line 65:
Classical physics can interpret the question as a change of external forces acting on a mechanical system of a large number of microscopic particles. It is unfeasible to calculate the answer, but anyway, the question makes sense, and the answer exists in principle:
Classical physics can interpret the question as a change of external forces acting on a mechanical system of a large number of microscopic particles. It is unfeasible to calculate the answer, but anyway, the question makes sense, and the answer exists in principle:
:<math> y = f(x) </math>
:<math> y = f(x) </math>
for some function <math> f : X \to Y, </math> where ''X'' is the finite set of all possible inputs, and ''Y'' is the finite set of all possible outputs. Existence of this function ''f'' is called "counterfactual definiteness".
for some function ''f'' : ''X'' → ''Y'', where ''X'' is the finite set of all possible inputs, and ''Y'' is the finite set of all possible outputs. Existence of this function ''f'' is called "counterfactual definiteness".


Repeating the experiment we get
Repeating the experiment we get
:<math> y(i) = f_i(x(i)) </math>
: ''y''(''i'') = ''f<sub>i</sub>''(''x''(''i''))
for <math> i=1,2,\dots </math> Each time a new function ''f<sub>i</sub>'' appears; thus ''x''(''i'')=''x''(''j'') does not imply ''y''(''i'')=''y''(''j''). In the case of a single apparatus, counterfactual definiteness is not falsifiable, that is, has no observable implications. Surprisingly, for two (and more) apparata the situation changes dramatically.
for ''i'' = 1,2,... Each time a new function ''f<sub>i</sub>'' appears; thus ''x''(''i'')=''x''(''j'') does not imply ''y''(''i'')=''y''(''j''). In the case of a single apparatus, counterfactual definiteness is not falsifiable, that is, has no observable implications. Surprisingly, for two (and more) apparata the situation changes dramatically.


===Local causality and counterfactual definiteness===
===Local causality and counterfactual definiteness===
For two apparata, A and B, an experiment is described by two pairs, (''x''<sub>A</sub>,''y''<sub>A</sub>) and (''x''<sub>B</sub>,''y''<sub>B</sub>) or, equivalently, by a combined pair ((''x''<sub>A</sub>,''x''<sub>B</sub>), (''y''<sub>A</sub>,''y''<sub>B</sub>)). Counterfactual definiteness alone (without local causality) takes the form
For two apparata, A and B, an experiment is described by two pairs, (''x''<sub>A</sub>,''y''<sub>A</sub>) and (''x''<sub>B</sub>,''y''<sub>B</sub>) or, equivalently, by a combined pair ((''x''<sub>A</sub>,''x''<sub>B</sub>), (''y''<sub>A</sub>,''y''<sub>B</sub>)). Counterfactual definiteness alone (without local causality) takes the form
:<math> (y_{\rm A},y_{\rm B}) = f_{\rm A,B} (x_{\rm A},x_{\rm B}) </math>
:<math> (y_{\rm A},y_{\rm B}) = f_{\rm A,B} (x_{\rm A},x_{\rm B}) </math>
Line 79: Line 78:
Assume in addition that A and B are widely separated and the local causality applies. Then ''x''<sub>A</sub> cannot influence ''y''<sub>B</sub>, and ''x''<sub>B</sub> cannot influence ''y''<sub>A</sub>, therefore
Assume in addition that A and B are widely separated and the local causality applies. Then ''x''<sub>A</sub> cannot influence ''y''<sub>B</sub>, and ''x''<sub>B</sub> cannot influence ''y''<sub>A</sub>, therefore
:<math> y_{\rm A} = f_{\rm A} (x_{\rm A}), </math> &nbsp; <math> y_{\rm B} = f_{\rm B} (x_{\rm B}). </math>
:<math> y_{\rm A} = f_{\rm A} (x_{\rm A}), </math> &nbsp; <math> y_{\rm B} = f_{\rm B} (x_{\rm B}). </math>
These ''f''<sub>A</sub>, ''f''<sub>B</sub> are one-time functions; another trial may involve different functions.


An alternative language is logically equivalent, but makes the presentation more vivid. Imagine an experimenter, [[Alice and Bob|Alice]], near the apparatus A, and another experimenter, Bob, near the apparatus B. Alice is given some input ''x''<sub>A</sub> and must provide an output ''y''<sub>A</sub>. The same holds for Bob, ''x''<sub>B</sub> and ''y''<sub>B</sub>. Once the inputs are received, no communication is permitted between Alice and Bob until the outputs are provided. The input ''x''<sub>A</sub> is an element of a prescribed finite set ''X''<sub>A</sub> (not necessarily a number); the same holds for ''y''<sub>A</sub> and ''Y''<sub>A</sub>, ''x''<sub>B</sub> and ''X''<sub>B</sub>, ''y''<sub>B</sub> and ''Y''<sub>B</sub>.
An alternative language is logically equivalent, but makes the presentation more vivid. Imagine an experimenter, [[Alice and Bob|Alice]], near the apparatus A, and another experimenter, Bob, near the apparatus B. Alice is given some input ''x''<sub>A</sub> and must provide an output ''y''<sub>A</sub>. The same holds for Bob, ''x''<sub>B</sub> and ''y''<sub>B</sub>. Once the inputs are received, no communication is permitted between Alice and Bob until the outputs are provided. The input ''x''<sub>A</sub> is an element of a prescribed finite set ''X''<sub>A</sub> (not necessarily a number); the same holds for ''y''<sub>A</sub> and ''Y''<sub>A</sub>, ''x''<sub>B</sub> and ''X''<sub>B</sub>, ''y''<sub>B</sub> and ''Y''<sub>B</sub>.
Line 85: Line 85:


===Example===
===Example===
The simplest example of empirical entanglement is presented here. First, its idea is explained informally.
The simplest example of empirical entanglement is presented here. First, its idea is explained informally.


Alice and Bob pretend that they know a 2x2 matrix
Alice and Bob pretend that they know a 2×2 matrix
:<math> \begin{pmatrix} a & b \\ c & d \end{pmatrix} </math>
:<math> \begin{pmatrix} a & b \\ c & d \end{pmatrix} </math>
consisting of numbers 0 and 1 only, satisfying four conditions:
consisting of numbers 0 and 1 only, satisfying four conditions:
:<math> a=b, \quad c=d, \quad a=c, \quad b \ne d. </math>
: ''a'' = ''b'', &nbsp; ''c'' = ''d'', &nbsp; ''a'' = ''c'', &nbsp; but &nbsp; ''b'' ≠ ''d''.
Surely they lie; these four conditions are evidently incompatible. Nevertheless Alice commits herself to show on request any row of the matrix, and Bob commits himself to show on request any column. We expect the lie to manifest itself on the intersection of the row and the column (not always but sometimes). However, Alice and Bob promise to always agree on the intersection!
Surely they lie; these four conditions are evidently incompatible. Nevertheless Alice commits herself to show on request any row of the matrix, and Bob commits himself to show on request any column. We expect the lie to manifest itself on the intersection of the row and the column (not always but sometimes). However, Alice and Bob promise to always agree on the intersection!


Line 100: Line 99:
Without special apparata (A and B), Alice and Bob surely cannot fulfill their promise. Can the apparata help? This crucial question is postponed to the section "Quantum entanglement". Here we consider a different question: is it logically possible, under given assumptions, that Alice and Bob fulfill their promise?
Without special apparata (A and B), Alice and Bob surely cannot fulfill their promise. Can the apparata help? This crucial question is postponed to the section "Quantum entanglement". Here we consider a different question: is it logically possible, under given assumptions, that Alice and Bob fulfill their promise?


Under all the three assumptions (counterfactual definiteness, local causality and no-conspiracy) we have ''y''<sub>A</sub> = ''f''<sub>A</sub>(''x''<sub>A</sub>) and ''y''<sub>B</sub> = ''f''<sub>B</sub>(''x''<sub>B</sub>) for some functions ''f''<sub>A</sub>, ''f''<sub>B</sub>. (These functions may change from one trial to another.) Specifically, ''f''<sub>A</sub>(1) and ''f''<sub>A</sub>(2), being two rows, form a 2x2 matrix satisfying the conditions ''a''=''b'', ''c''=''d''. Also ''f''<sub>B</sub>(1) and ''f''<sub>B</sub>(2), being two columns, form a 2x2 matrix satisfying the conditions ''a''=''c'', ''b''≠''d''. These two matrices necessarily differ at least in one of the four elements (since the four conditions are incompatible). Therefore it can happen that Alice and Bob disagree on the intersection, and moreover, it happens with the probability at least 0.25. In the long run, Alice and Bob cannot fulfill their promise.
Under all the three assumptions (counterfactual definiteness, local causality and no-conspiracy) we have ''y''<sub>A</sub> = ''f''<sub>A</sub>(''x''<sub>A</sub>) and ''y''<sub>B</sub> = ''f''<sub>B</sub>(''x''<sub>B</sub>) for some functions ''f''<sub>A</sub>, ''f''<sub>B</sub>. (These functions may change from one trial to another.) Specifically, ''f''<sub>A</sub>(1) and ''f''<sub>A</sub>(2), being two rows, form a 2×2 matrix satisfying the conditions ''a''=''b'', ''c''=''d''. Also ''f''<sub>B</sub>(1) and ''f''<sub>B</sub>(2), being two columns, form a 2×2 matrix satisfying the conditions ''a''=''c'', ''b''≠''d''. These two matrices necessarily differ at least in one of the four elements (since the four conditions are incompatible). Therefore it can happen that Alice and Bob disagree on the intersection, and moreover, it happens with the probability at least 0.25. In the long run, Alice and Bob cannot fulfill their promise.


Waiving the counterfactual definiteness (but retaining local causality and no-conspiracy) we get the opposite result: Alice and Bob can fulfill their promise. Here is how.
Waiving the counterfactual definiteness (but retaining local causality and no-conspiracy) we get the opposite result: Alice and Bob can fulfill their promise. Here is how.


Given ''x''<sub>A</sub> and ''x''<sub>B</sub>, there ate two allowed ''y''<sub>A</sub> and two allowed ''y''<sub>B</sub>, thus, 4 allowed combinations (''y''<sub>A</sub>, ''y''<sub>B</sub>). Two of them agree on the intersection of the row and the column; the other two disagree. Imagine that the apparata A, B choose at random (with equal probabilities 0.5, 0.5) one of the two combinations (''y''<sub>A</sub>, ''y''<sub>B</sub>) that agree on the intersection. For example, given ''x''<sub>A</sub>=2 and ''x''<sub>B</sub>=1, we get either <math> y_{\rm A} = {\scriptstyle(} \begin{smallmatrix} 0 & 0 \end{smallmatrix} \scriptstyle{)} </math> and <math> y_{\rm B} = ( \begin{smallmatrix} 0 \\ 0 \end{smallmatrix} ) </math>, or <math> y_{\rm A} = {\scriptstyle(} \begin{smallmatrix} 1 & 1 \end{smallmatrix} \scriptstyle{)} </math> and <math> y_{\rm B} = ( \begin{smallmatrix} 1 \\ 1 \end{smallmatrix} ) </math>.
Given ''x''<sub>A</sub> and ''x''<sub>B</sub>, there are two allowed ''y''<sub>A</sub> and two allowed ''y''<sub>B</sub>, thus, 4 allowed combinations (''y''<sub>A</sub>, ''y''<sub>B</sub>). Two of them agree on the intersection of the row and the column; the other two disagree. Imagine that the apparata A, B choose at random (with equal probabilities 0.5, 0.5) one of the two combinations (''y''<sub>A</sub>, ''y''<sub>B</sub>) that agree on the intersection. For example, given ''x''<sub>A</sub>=2 and ''x''<sub>B</sub>=1, we get either ''y''<sub>A</sub> = <math>{\scriptstyle(} \begin{smallmatrix} 0 & 0 \end{smallmatrix} \scriptstyle{)} </math> and ''y''<sub>B</sub> = <math>( \begin{smallmatrix} 0 \\ 0 \end{smallmatrix} ) </math>, or ''y''<sub>A</sub> = <math>{\scriptstyle(} \begin{smallmatrix} 1 & 1 \end{smallmatrix} \scriptstyle{)} </math> and ''y''<sub>B</sub> = <math>( \begin{smallmatrix} 1 \\ 1 \end{smallmatrix} ) </math>.
 
This situation is compatible with local causality, since ''y''<sub>B</sub> gives no information about ''x''<sub>A</sub>; also ''y''<sub>A</sub> gives no information about ''x''<sub>B</sub>. For example, given ''x''<sub>A</sub>=2 and ''x''<sub>B</sub>=1, we get either ''y''<sub>B</sub> = <math>( \begin{smallmatrix} 0 \\ 0 \end{smallmatrix} ) </math> or ''y''<sub>B</sub> = <math>( \begin{smallmatrix} 1 \\ 1 \end{smallmatrix} ) </math>, with probabilities 0.5, 0.5; exactly the same holds given ''x''<sub>A</sub>=1 and ''x''<sub>B</sub>=1.


This situation is compatible with local causality, since ''y''<sub>B</sub> gives no information about ''x''<sub>A</sub>; also ''y''<sub>A</sub> gives no information about ''x''<sub>B</sub>. For example, given ''x''<sub>A</sub>=2 and ''x''<sub>B</sub>=1, we get either <math> y_{\rm B} = ( \begin{smallmatrix} 0 \\ 0 \end{smallmatrix} ) </math> or <math> y_{\rm B} = ( \begin{smallmatrix} 1 \\ 1 \end{smallmatrix} ) </math>, with probabilities 0.5, 0.5; exactly the same holds given ''x''<sub>A</sub>=1 and ''x''<sub>B</sub>=1.
Thus, empirical entanglement is logically possible. The question of its existence in the nature is addressed in the section "Quantum entanglement".


Thus, empirical entanglement is logically possible. The question of its existence in the nature is addressed in the next section.
===Entanglement is not just shared randomness===
Widely separated apparata, unable to signal to each other, can be correlated. Correlations are established routinely by communication. For example, Alice and Bob, reading their copies of a newspaper, learn the result of yesterday's lottery drawing. This is called shared randomness. Likewise, the apparata A, B can share randomness by receiving signals from some external common source. However, shared randomness obeys the three assumptions (counterfactual definiteness, local causality and no-conspiracy) and therefore cannot produce entanglement. In other words, entanglement as a resource is substantially stronger than shared randomness.


==Quantum entanglement==
==Quantum entanglement==
===Classical bounds and quantum bounds===
===Classical bounds and quantum bounds===
Classical physics obeys the counterfactual definiteness and therefore negates entanglement. Classical apparata A, B cannot help Alice and Bob to always win (that is, agree on the intersection). What about quantum apparata? The answer is quite unexpected.
Classical physics obeys the counterfactual definiteness and therefore negates entanglement. Classical apparata A, B cannot help Alice and Bob to always win (that is, agree on the intersection). What about quantum apparata? The answer is quite unexpected.


Line 120: Line 120:
no matter which quantum apparata are used.
no matter which quantum apparata are used.


Second, there exist quantum apparata that ensure a winning probability higher than 3/4 = 0.75. This is a manifestation of entanglement, since under the three classical assumptions (counterfactual definiteness, local causality and no-conspiracy) the winning probability cannot exceed 3/4 (the classical bound). But moreover, ideal quantum apparata can reach the winning probability <math>(2+\sqrt2)/4</math> (the quantum bound), and non-ideal quantum apparata can get arbitrarily close to this bound.
Second, there exist quantum apparata that ensure a winning probability higher than 3/4 = 0.75. This is a manifestation of entanglement, since under the three classical assumptions (counterfactual definiteness, local causality and no-conspiracy) the winning probability cannot exceed 3/4 (the classical bound). But moreover, ideal quantum apparata can reach the winning probability <math>\big( \, 2 + \sqrt2 \, \big) / 4</math> (the quantum bound), and non-ideal quantum apparata can get arbitrarily close to this bound.


Third, a modification of the game, called "magic square game", makes it possible to win always. To this end we replace 2x2 matrices with 3x3 matrices, still of numbers 0 and 1 only, with the following conditions:
Third, a modification of the game, called "magic square game", makes it possible to win always. To this end we replace 2×2 matrices with 3×3 matrices, still of numbers 0 and 1 only, with the following conditions:
* the parity of each row is even,
* the parity of each row is even,
* the parity of each column is odd.
* the parity of each column is odd.
The classical bound is equal to 8/9; the quantum bound is equal to 1.
The classical bound is equal to 8/9; the quantum bound is equal to 1.
===Experimental status===
Many amazing entanglement-related predictions of the quantum theory were tested in ingenious experiments using high-tech equipment. All tested predictions are confirmed. Still, each one of these experiments has a "loophole", that is, admits alternative, entanglement-free explanations. Such explanations are highly contrived. They would be rejected as unbelievable in a routine development of science. However, the entanglement problem is exceptional: fundamental properties of nature are at stake! Entanglement is also unbelievable for many people. Thus, the problem is still open; finer experiments will follow, until an unambiguous result will be achieved.
===Communication channels===
According to the quantum theory, quantum objects manifest themselves via their influence on classical objects (more exactly, on classically described degrees of freedom). Every object admits a quantum description, but some objects may be described classically for all practical purposes, since their thermal fluctuations hide their quantal properties. These are called classical objects. Macroscopic bodies (more exactly, their coordinates) under usual conditions are classical. Digital information in computers is also classical.
A communication channel may be thought of as a chain of physical objects and physical interactions between adjacent objects. If all objects in the chain are quantal, the channel is called quantal. If at least one object in the chain is classical, the channel is called classical.
For example, newspapers, television, mobile phones and the Internet implement only classical channels. Quantum channels are usually implemented by sending a particle (photon, electron) or another microscopic object (ion) from a nonclassical source to a nonclassical detector through a low-noise medium.
Classical communication (that is, communication through a classical channel) can create shared randomness, but cannot create entanglement. Moreover, entanglement creation is impossible when Alice's apparatus A is connected to a source S by a quantum channel but Bob's apparatus B is connected to S by a classical channel. Here is an explanation.
The classical channel S-B is a chain containing a classical object C. By assumption, no chain of interactions connects A and B (via S, or otherwise) bypassing C. Therefore A and B are conditionally independent given a possible state ''c'' of C. The response ''y''<sub>A</sub> of A to ''x''<sub>A</sub> given ''c'' need not be a function ''g''<sub>A</sub>(''c'',''x''<sub>A</sub>) of ''c'' and ''x''<sub>A</sub> (uniqueness is not guaranteed), but still, we may choose one of possible responses ''y''<sub>A</sub> and let ''g''<sub>A</sub>(''c'',''x''<sub>A</sub>) = ''y''<sub>A</sub> (so-called uniformization). Similarly, ''g''<sub>B</sub>(''c'',''x''<sub>B</sub>) = ''y''<sub>B</sub>. Now, given ''c'', the two one-time
functions ''f''<sub>A</sub>(''x''<sub>A</sub>) = ''g''<sub>A</sub>(''c'',''x''<sub>A</sub>) and ''f''<sub>B</sub>(''x''<sub>B</sub>) = ''g''<sub>B</sub>(''c'',''x''<sub>B</sub>) lead to a possible disagreement of Alice and Bob (on the intersection of the row and the column) by the argument used before (in the section "Example"). A more thorough analysis shows that the classical bound on the winning probability, deduced before from the counterfactual definiteness, holds also in the case treated here.


==Entangled quantum states==
==Entangled quantum states==
A bipartite or multipartite quantum state, pure or mixed, is called entangled, if it cannot be prepared by means of shared randomness and local quantum operations. A quantum state that can be used for violating classical bounds, that is, for producing empirical entanglement, is necessarily entangled. It is unclear whether the converse implication holds, or not. Some entangled mixed states, so-called Werner states, obey classical bounds for all one-stage experiments. But multi-stage experiments in general are still far from being well understood.
==Nonlocality and entanglement==
===In general===
The words "nonlocal" and "nonlocality" occur frequently in the literature on entanglement, which creates a lot of confusion: it seems that entanglement means nonlocality! This situation has two causes, pragmatical and philosophical.
Here is the pragmatical cause. The word "nonlocal" sounds good. The phrase "non-CFD" (where CFD denotes counterfactual definiteness) sounds much worse, but is also incorrect; the correct phrase, involving both CFD and locality (and no-conspiracy, see the lead) is prohibitively cumbersome. Thus, "nonlocal" is often used as a conventional substitute for "able to produce empirical entanglement".<ref>Physical terminology can mislead non-experts. Some examples: "quantum telepathy"; "quantum teleportation"; "Schrödinger cat state"; "charmed particle".</ref>
The philosophical cause. Many people feel that CFD is more trustworthy than RLC (relativistic local causality), and NC (no-conspiracy) is even more trustworthy. Being forced to abandon one of them, these people are inclined to retain NC and CFD at the expence of abandoning RLC.
However, the quantum theory is compatible with RLC+NC. A violation of RLC+NC is called faster-than-light communication (rather than entanglement); it was never observed, and never predicted by the quantum theory. Thus RLC and NC are corroborated, while CFD is not. In this sense CFD is less trustworthy than RLC and NC.
===For quantum states===
Quantitative measures for entanglement are scantily explored in general. However, for pure bipartite quantum states the amount of entanglement is usually measured by the so-called entropy of entanglement.
On the other hand, several natural measures of nonlocality are invented (see above about the meaning of "nonlocality"). Strangely enough, non-maximally entangled states appear to be more nonlocal than maximally
entangled states, which is known as "anomaly of nonlocality"; nonlocality and entanglement are not only different concepts, but are really quantitatively different resources.<ref>  A.A. Methot and V. Scarani, "An anomaly of non-locality" (2007), [http://www.rintonpress.com/journals/qiconline.html#v7n12 Quantum Information and Computation, 7:1/2, 157-170]; also [http://arxiv.org/abs/quant-ph/0601210 arXiv:quant-ph/0601210].</ref> According to the asymptotic theory of Bell inequalities, even though entanglement is necessary to obtain violation of Bell inequalities, the entropy of entanglement is essentially irrelevant in obtaining large violation.<ref>M. Junge and C. Palazuelos, "Large violation of Bell inequalities with low entanglement" (2010), [http://arxiv.org/abs/1007.3043 arXiv:1007.3043].</ref>
==Notes==
{{reflist}}

Latest revision as of 02:21, 26 October 2013

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.
(CC) Photo: Mike Seyfang
Photonics is widely used when creating entanglement.

There are three interrelated meanings of the word entanglement in physics. They are listed below and then discussed, both separately and in relation to each other.

  • A combination of empirical facts, observed or only hypothetical, incompatible with the conjunction of three fundamental assumptions about nature, called "counterfactual definiteness", "relativistic local causality" and "no-conspiracy" (see below), but compatible with the conjunction of the last two of them ("relativistic local causality" and "no-conspiracy"). Such a combination will be called "empirical entanglement" (which is not a standard terminology[1]).
  • A prediction of the quantum theory stating that the empirical entanglement must occur in appropriate physical experiments (called "quantum entanglement").
  • In quantum theory there is a technical notion of "entangled state".

Entanglement cannot be reduced to shared randomness, and does not imply faster-than-light communication.

Due to quantum entanglement, quantum information is different from classical information, which leads to quantum communication, quantum games, quantum cryptography and quantum computation.

Empirical entanglement

Some people understand it easily, others find it difficult and confusing.

It is easy, since no physical or mathematical prerequisites are needed. Nothing like Newton laws, Schrödinger equation, conservation laws, nor even particles or waves. Nothing like differentiation or integration, nor even linear equations.

It is difficult and confusing for the very same reason! It is highly abstract. Many people feel uncomfortable in such a vacuum of concepts and rush to return to the particles and waves.

The framework, and local causality

The following concepts are essential here.

  • A physical apparatus that has a switch and several lights. The switch can be set to one of several possible positions. A little after that the apparatus flashes one of its lights.
  • "Local causality": widely separated apparata are incapable of signaling to each other.

Otherwise the apparata are not restricted; they may use all kinds of physical phenomena. In particular, they may receive any kind of information that reaches them. We treat each apparatus as a black box: the switch position is its input, the light flashed is its output; we need not ask about its internal structure.

However, not knowing what is inside the black boxes, can we know that they do not signal to each other? There are two approaches, non-relativistic ("loose") and relativistic ("strict").

The loose approach: we open the black boxes, look, see nothing like mobile phones and rely on our knowledge and intuition.

The strict approach: we do not open the black boxes. Rather, we place them, say, 360,000 km apart (the least Earth-Moon distance) and restrict the experiment to a time interval of, say, 1 sec. Relativity theory states that they cannot signal to each other, for a good reason: a faster-than-light communication in one inertial reference frame would be a backwards-in-time communication in another inertial reference frame!

Below, the strict approach is used (unless explicitly stated otherwise). Thus, the apparata are not restricted. They may contain mobile phones or whatever. They may interact with any external equipment, be it cell sites or whatever.

Falsifiabilty, and no-conspiracy assumption

A claim is called falsifiable (or refutable) if it has observable implications. If some of these implications contradict some observed facts then the claim is falsified (refuted). Otherwise it is corroborated.

The relativistic local causality was never falsified; that is, a faster-than-light signaling was never observed. Does it mean that local causality is corroborated? This question is more intricate than it may seem.

Let A, B be two widely separated apparata, xA the input (the switch position) of A, and yB the output (the light flashed) of B. (For now we do not need yA and xB.) Local causality claims that xA has no influence on yB.

An experiment consisting of n trials is described by xA(i), yB(i) for i = 1,2,...,n. Imagine that n = 4 and

xA(1) = 1,   xA(2) = 2,   xA(3) = 1,   xA(4) = 2,  
yB(1) = 1,   yB(2) = 2,   yB(3) = 1,   yB(4) = 2.

The data suggest that xA influences yB, but do not prove it. Two alternative explanations are possible:

  • the apparatus B chooses yB at random (say, tossing a coin); the four observed equalities yB(i) = xA(i) are just a coincidence (of probability 1/16);
  • the apparatus B alternates 1 and 2, that is, yB(i) = 1 for all odd i but yB(i) = 2 for all even i.

Consider a more thorough experiment: n = 1000, and xA(i) are chosen at random, say, tossing a coin. Imagine that yB(i) = xA(i) for all i = 1,2,...,n. The influence of xA on yB is shown very convincingly! But still, an alternative explanation is possible.

For choosing xA, the coin must be tossed within the time interval scheduled for the trial, since otherwise a slower-than-light signal can transmit the result to the apparatus B before the end of the trial. However, is the result really unpredictable in principle (not just in practice)? Not necessarily so. Moreover, according to classical mechanics, the future is uniquely determined by the past! In particular, the result of the coin tossing exists in the past as a complicated function of a huge number of coordinates and momenta of micro particles.

It is logically possible, but quite unbelievable that the future result of coin tossing is somehow spontaneously singled out in the microscopic chaos and transmitted to the apparatus B in order to influence yB. The no-conspiracy assumption claims that such exotic scenarios may be safely neglected.

The conjunction of the two assumptions, relativistic local causality and no-conspiracy, is falsifiable, but was never falsified; thus, both assumptions are corroborated.

Below, the no-conspiracy is always assumed (unless explicitly stated otherwise).

Counterfactual definiteness

In this section a single apparatus is considered.

A trial is described by a pair (x,y) where x is the input (the switch position) and y is the output (the light flashed). Is y a function of x? We may repeat the trial with the same x and get a different y (especially if the apparatus tosses a coin). We can set the switch to x again, but we cannot set all molecules to the same microstate. Still, we may try to imagine the past changed, asking a counterfactual question:[2]

  • Which outcome the experimenter would have received (in the same trial) if he/she did set the switch to another position?

It is meant that only the input x is changed in the past, nothing else. The question may seem futile, since an answer cannot be verified empirically. Strangely enough, the question will appear to be very useful in the next section.

Classical physics can interpret the question as a change of external forces acting on a mechanical system of a large number of microscopic particles. It is unfeasible to calculate the answer, but anyway, the question makes sense, and the answer exists in principle:

for some function f : XY, where X is the finite set of all possible inputs, and Y is the finite set of all possible outputs. Existence of this function f is called "counterfactual definiteness".

Repeating the experiment we get

y(i) = fi(x(i))

for i = 1,2,... Each time a new function fi appears; thus x(i)=x(j) does not imply y(i)=y(j). In the case of a single apparatus, counterfactual definiteness is not falsifiable, that is, has no observable implications. Surprisingly, for two (and more) apparata the situation changes dramatically.

Local causality and counterfactual definiteness

For two apparata, A and B, an experiment is described by two pairs, (xA,yA) and (xB,yB) or, equivalently, by a combined pair ((xA,xB), (yA,yB)). Counterfactual definiteness alone (without local causality) takes the form

or, equivalently,

 

Assume in addition that A and B are widely separated and the local causality applies. Then xA cannot influence yB, and xB cannot influence yA, therefore

 

These fA, fB are one-time functions; another trial may involve different functions.

An alternative language is logically equivalent, but makes the presentation more vivid. Imagine an experimenter, Alice, near the apparatus A, and another experimenter, Bob, near the apparatus B. Alice is given some input xA and must provide an output yA. The same holds for Bob, xB and yB. Once the inputs are received, no communication is permitted between Alice and Bob until the outputs are provided. The input xA is an element of a prescribed finite set XA (not necessarily a number); the same holds for yA and YA, xB and XB, yB and YB.

It may seem that the apparata A, B are of no use for Alice and Bob. Significantly, this is an illusion.

Example

The simplest example of empirical entanglement is presented here. First, its idea is explained informally.

Alice and Bob pretend that they know a 2×2 matrix

consisting of numbers 0 and 1 only, satisfying four conditions:

a = b,   c = d,   a = c,   but   bd.

Surely they lie; these four conditions are evidently incompatible. Nevertheless Alice commits herself to show on request any row of the matrix, and Bob commits himself to show on request any column. We expect the lie to manifest itself on the intersection of the row and the column (not always but sometimes). However, Alice and Bob promise to always agree on the intersection!

More formally, xA=1 requests from Alice the first row, xA=2 the second; in every case yA must be either or . From Bob, xB=1 requests the first column, in which case yB must be or ; and xB=2 requests the second column, in which case yB must be or . The agreement on the intersection means that, for example, if xA=2 and xB=1 then the first element of the row yA must be equal to the second element of the column yB.

Without special apparata (A and B), Alice and Bob surely cannot fulfill their promise. Can the apparata help? This crucial question is postponed to the section "Quantum entanglement". Here we consider a different question: is it logically possible, under given assumptions, that Alice and Bob fulfill their promise?

Under all the three assumptions (counterfactual definiteness, local causality and no-conspiracy) we have yA = fA(xA) and yB = fB(xB) for some functions fA, fB. (These functions may change from one trial to another.) Specifically, fA(1) and fA(2), being two rows, form a 2×2 matrix satisfying the conditions a=b, c=d. Also fB(1) and fB(2), being two columns, form a 2×2 matrix satisfying the conditions a=c, bd. These two matrices necessarily differ at least in one of the four elements (since the four conditions are incompatible). Therefore it can happen that Alice and Bob disagree on the intersection, and moreover, it happens with the probability at least 0.25. In the long run, Alice and Bob cannot fulfill their promise.

Waiving the counterfactual definiteness (but retaining local causality and no-conspiracy) we get the opposite result: Alice and Bob can fulfill their promise. Here is how.

Given xA and xB, there are two allowed yA and two allowed yB, thus, 4 allowed combinations (yA, yB). Two of them agree on the intersection of the row and the column; the other two disagree. Imagine that the apparata A, B choose at random (with equal probabilities 0.5, 0.5) one of the two combinations (yA, yB) that agree on the intersection. For example, given xA=2 and xB=1, we get either yA = and yB = , or yA = and yB = .

This situation is compatible with local causality, since yB gives no information about xA; also yA gives no information about xB. For example, given xA=2 and xB=1, we get either yB = or yB = , with probabilities 0.5, 0.5; exactly the same holds given xA=1 and xB=1.

Thus, empirical entanglement is logically possible. The question of its existence in the nature is addressed in the section "Quantum entanglement".

Entanglement is not just shared randomness

Widely separated apparata, unable to signal to each other, can be correlated. Correlations are established routinely by communication. For example, Alice and Bob, reading their copies of a newspaper, learn the result of yesterday's lottery drawing. This is called shared randomness. Likewise, the apparata A, B can share randomness by receiving signals from some external common source. However, shared randomness obeys the three assumptions (counterfactual definiteness, local causality and no-conspiracy) and therefore cannot produce entanglement. In other words, entanglement as a resource is substantially stronger than shared randomness.

Quantum entanglement

Classical bounds and quantum bounds

Classical physics obeys the counterfactual definiteness and therefore negates entanglement. Classical apparata A, B cannot help Alice and Bob to always win (that is, agree on the intersection). What about quantum apparata? The answer is quite unexpected.

First, quantum apparata cannot ensure that Alice and Bob win always. Moreover, the winning probability does not exceed

no matter which quantum apparata are used.

Second, there exist quantum apparata that ensure a winning probability higher than 3/4 = 0.75. This is a manifestation of entanglement, since under the three classical assumptions (counterfactual definiteness, local causality and no-conspiracy) the winning probability cannot exceed 3/4 (the classical bound). But moreover, ideal quantum apparata can reach the winning probability (the quantum bound), and non-ideal quantum apparata can get arbitrarily close to this bound.

Third, a modification of the game, called "magic square game", makes it possible to win always. To this end we replace 2×2 matrices with 3×3 matrices, still of numbers 0 and 1 only, with the following conditions:

  • the parity of each row is even,
  • the parity of each column is odd.

The classical bound is equal to 8/9; the quantum bound is equal to 1.

Experimental status

Many amazing entanglement-related predictions of the quantum theory were tested in ingenious experiments using high-tech equipment. All tested predictions are confirmed. Still, each one of these experiments has a "loophole", that is, admits alternative, entanglement-free explanations. Such explanations are highly contrived. They would be rejected as unbelievable in a routine development of science. However, the entanglement problem is exceptional: fundamental properties of nature are at stake! Entanglement is also unbelievable for many people. Thus, the problem is still open; finer experiments will follow, until an unambiguous result will be achieved.

Communication channels

According to the quantum theory, quantum objects manifest themselves via their influence on classical objects (more exactly, on classically described degrees of freedom). Every object admits a quantum description, but some objects may be described classically for all practical purposes, since their thermal fluctuations hide their quantal properties. These are called classical objects. Macroscopic bodies (more exactly, their coordinates) under usual conditions are classical. Digital information in computers is also classical.

A communication channel may be thought of as a chain of physical objects and physical interactions between adjacent objects. If all objects in the chain are quantal, the channel is called quantal. If at least one object in the chain is classical, the channel is called classical.

For example, newspapers, television, mobile phones and the Internet implement only classical channels. Quantum channels are usually implemented by sending a particle (photon, electron) or another microscopic object (ion) from a nonclassical source to a nonclassical detector through a low-noise medium.

Classical communication (that is, communication through a classical channel) can create shared randomness, but cannot create entanglement. Moreover, entanglement creation is impossible when Alice's apparatus A is connected to a source S by a quantum channel but Bob's apparatus B is connected to S by a classical channel. Here is an explanation.

The classical channel S-B is a chain containing a classical object C. By assumption, no chain of interactions connects A and B (via S, or otherwise) bypassing C. Therefore A and B are conditionally independent given a possible state c of C. The response yA of A to xA given c need not be a function gA(c,xA) of c and xA (uniqueness is not guaranteed), but still, we may choose one of possible responses yA and let gA(c,xA) = yA (so-called uniformization). Similarly, gB(c,xB) = yB. Now, given c, the two one-time functions fA(xA) = gA(c,xA) and fB(xB) = gB(c,xB) lead to a possible disagreement of Alice and Bob (on the intersection of the row and the column) by the argument used before (in the section "Example"). A more thorough analysis shows that the classical bound on the winning probability, deduced before from the counterfactual definiteness, holds also in the case treated here.

Entangled quantum states

A bipartite or multipartite quantum state, pure or mixed, is called entangled, if it cannot be prepared by means of shared randomness and local quantum operations. A quantum state that can be used for violating classical bounds, that is, for producing empirical entanglement, is necessarily entangled. It is unclear whether the converse implication holds, or not. Some entangled mixed states, so-called Werner states, obey classical bounds for all one-stage experiments. But multi-stage experiments in general are still far from being well understood.

Nonlocality and entanglement

In general

The words "nonlocal" and "nonlocality" occur frequently in the literature on entanglement, which creates a lot of confusion: it seems that entanglement means nonlocality! This situation has two causes, pragmatical and philosophical.

Here is the pragmatical cause. The word "nonlocal" sounds good. The phrase "non-CFD" (where CFD denotes counterfactual definiteness) sounds much worse, but is also incorrect; the correct phrase, involving both CFD and locality (and no-conspiracy, see the lead) is prohibitively cumbersome. Thus, "nonlocal" is often used as a conventional substitute for "able to produce empirical entanglement".[3]

The philosophical cause. Many people feel that CFD is more trustworthy than RLC (relativistic local causality), and NC (no-conspiracy) is even more trustworthy. Being forced to abandon one of them, these people are inclined to retain NC and CFD at the expence of abandoning RLC.

However, the quantum theory is compatible with RLC+NC. A violation of RLC+NC is called faster-than-light communication (rather than entanglement); it was never observed, and never predicted by the quantum theory. Thus RLC and NC are corroborated, while CFD is not. In this sense CFD is less trustworthy than RLC and NC.

For quantum states

Quantitative measures for entanglement are scantily explored in general. However, for pure bipartite quantum states the amount of entanglement is usually measured by the so-called entropy of entanglement. On the other hand, several natural measures of nonlocality are invented (see above about the meaning of "nonlocality"). Strangely enough, non-maximally entangled states appear to be more nonlocal than maximally entangled states, which is known as "anomaly of nonlocality"; nonlocality and entanglement are not only different concepts, but are really quantitatively different resources.[4] According to the asymptotic theory of Bell inequalities, even though entanglement is necessary to obtain violation of Bell inequalities, the entropy of entanglement is essentially irrelevant in obtaining large violation.[5]

Notes

  1. Experts often call it "nonlocality", thus confusing non-experts; see Sect. 4.1.
  2. "Die Geschichte kennt kein Wenn" (Karl Hampe). Whether physics has subjunctive mood or not, this is the question of counterfactual definiteness.
  3. Physical terminology can mislead non-experts. Some examples: "quantum telepathy"; "quantum teleportation"; "Schrödinger cat state"; "charmed particle".
  4. A.A. Methot and V. Scarani, "An anomaly of non-locality" (2007), Quantum Information and Computation, 7:1/2, 157-170; also arXiv:quant-ph/0601210.
  5. M. Junge and C. Palazuelos, "Large violation of Bell inequalities with low entanglement" (2010), arXiv:1007.3043.