User:Boris Tsirelson/Sandbox1: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Boris Tsirelson
imported>Boris Tsirelson
(Replacing page with '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 t...')
Line 1: Line 1:
=Entanglement (physics)=
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.
 
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 hypothetical combination of empirical facts 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 prediction of the quantum theory stating that the empirical entanglement must occur in appropriate physical experiments (below called "quantum entanglement").
* In quantum theory there is a technical notion of "entangled state".
 
==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, Schrodinger 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 [[Speed of light|faster-than-light]] communication in one inertial reference frame would be a backwards-in-time communication in another inertial reference frame!
 
===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, ''x''<sub>A</sub> the input (the switch position) of A, and ''y''<sub>B</sub> the output (the light flashed) of B. (For now we do not need ''y''<sub>A</sub> and ''x''<sub>B</sub>.) Local causality claims that ''x''<sub>A</sub> has no influence on ''y''<sub>B</sub>.
 
An experiment consisting of ''n'' trials is described by ''x''<sub>A</sub>(''i''), ''y''<sub>B</sub>(''i'') for ''i'' = 1,2,...,''n''. Imagine that ''n'' = 4 and
: ''x''<sub>A</sub>(1) = 1, &nbsp; ''x''<sub>A</sub>(2) = 2, &nbsp; ''x''<sub>A</sub>(3) = 1, &nbsp; ''x''<sub>A</sub>(4) = 2, &nbsp;
: ''y''<sub>B</sub>(1) = 1, &nbsp; ''y''<sub>B</sub>(2) = 2, &nbsp; ''y''<sub>B</sub>(3) = 1, &nbsp; ''y''<sub>B</sub>(4) = 2.
The data suggest that ''x''<sub>A</sub> influences ''y''<sub>B</sub>, but do not prove it. Two alternative explanations are possible:
* the B apparatus chooses ''y''<sub>B</sub> at random (say, tossing a coin); the four observed equalities ''y''<sub>B</sub>(''i'') = ''x''<sub>A</sub>(''i'') are just a coincidence (of probability 1/16);
* the B apparatus alternates 1 and 2, that is, ''y''<sub>B</sub>(''i'') = 1 for all odd ''i'' but ''y''<sub>B</sub>(''i'') = 2 for all even ''i''.
 
Consider a more thorough experiment: ''n'' = 1000, and ''x''<sub>A</sub>(''i'') are chosen at random, say, tossing a coin. Imagine that ''y''<sub>B</sub>(''i'') = ''x''<sub>A</sub>(''i'') for all ''i'' = 1,2,...,''n''. The influence of ''x''<sub>A</sub> on ''y''<sub>B</sub> is shown very convincingly! But still, an alternative explanation is possible.
 
For choosing ''x''<sub>A</sub>, 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 B apparatus 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 B apparatus in order to influence ''y''<sub>B</sub>. 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.
 
An 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:
* 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:
:<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".
 
Repeating the experiment we get
:<math> y(i) = f_i(x(i)) </math>
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.
 
===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
:<math> (y_{\rm A},y_{\rm B}) = f_{\rm A,B} (x_{\rm A},x_{\rm B}) </math>
or, equivalently,
:<math> y_{\rm A} = f_{\rm A} (x_{\rm A},x_{\rm B}), </math> &nbsp; <math> y_{\rm B} = f_{\rm B} (x_{\rm A},x_{\rm B}). </math>
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>
 
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>.
 
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 2x2 matrix
:<math> \begin{pmatrix} a & b \\ c & d \end{pmatrix} </math>
consisting of numbers 0 and 1 only, satisfying four conditions:
:<math> a=b, \quad c=d, \quad a=c, \quad b \ne d. </math>
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, ''x''<sub>A</sub>=1 requests from Alice the first row, ''x''<sub>A</sub>=2 the second; in every case ''y''<sub>A</sub> must be either <math> {\scriptstyle(} \begin{smallmatrix} 0 & 0 \end{smallmatrix} \scriptstyle{)} </math> or <math> {\scriptstyle(} \begin{smallmatrix} 1 & 1 \end{smallmatrix} {\scriptstyle)} </math>. From Bob, ''x''<sub>B</sub>=1 requests the first column, in which case ''y''<sub>B</sub> must be
<math> ( \begin{smallmatrix} 0 \\ 0 \end{smallmatrix} ) </math> or <math> ( \begin{smallmatrix} 1 \\ 1 \end{smallmatrix} ) </math>; and ''x''<sub>B</sub>=2 requests the second column, in which case ''y''<sub>B</sub> must be
<math> ( \begin{smallmatrix} 0 \\ 1 \end{smallmatrix} ) </math> or <math> ( \begin{smallmatrix} 1 \\ 0 \end{smallmatrix} ) </math>. The agreement on the intersection means that, for example, if ''x''<sub>A</sub>=2 and ''x''<sub>B</sub>=1 then the first element of the row ''y''<sub>A</sub> must be equal to the second element of the column ''y''<sub>B</sub>.
 
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.
 
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>.
 
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 next section.
 
==Quantum entanglement==
 
==Entangled quantum states==
 
==External links==
===Wikipedia===
[http://en.wikipedia.org/wiki/Counterfactual_definiteness Counterfactual definiteness]
 
[http://en.wikipedia.org/wiki/Falsifiability Falsifiability]
 
[http://en.wikipedia.org/wiki/Laplace%27s_demon Laplace's demon]

Revision as of 03:07, 26 September 2010

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.

Retrieved from "https://citizendium.org/wiki/index.php?title=User:Boris_Tsirelson/Sandbox1&oldid=628504"