- #36
- 2,361
- 339
least_action said:How does one state the original question mathematically? (As one might do before attempting to prove it)
You use the tensor product of dirackets to entangle states but how can you say the information cannot travel faster than light?
To begin with, considering your two observers Alice and Bob of two halves of an entangled pair, let us consider whether Alice's actions can affect Bob's observations.
Define the density operator of the entangled pair (or any pair): [tex]\rho[/tex].
Now consider that Alice's available action is to choose what variable to observe. As unusualname pointed out she can't pick what outcome she is to observe only what variable to look at. To keep it simple let Alice's observation be boolean with a 0 or 1 outcome (eigen-values). Let X be Alice's local observable. (Note the negation is 1-X).
Now consider any variable Bob might look at, call it Y and let it be likewise boolean. You can later generalize these to many variable cases.
A signal could be passed only if the outcome of Bob's measurement depended in some way on the choice of measurement Alice made regardless of the outcome. So we consider the conditional probability:
P(Y=1| X=1 or X = 0) = P(Y=1 and [X = 1 or X = 0]) /P(X = 1 or X = 0).
(The probability Y=1 given either X =1 or X =0, i.e. the probability Y=1 given X was measured.)
Note the denominator is 1, Alice will either see 1 or 0.
P(Y=1 and [X=1 or X= 0]) = P(Y=1 and X=1)+P(Y=1 and X = 0).
Work through the calculations with the density operators and see that P(Y=1 and X = 1) + P(Y=1 and X=0) = P(Y=1). Bob's observation is independent of Alice's choice to measure X though it may correlate with what outcome Alice sees.
[tex]P(Y=1 \cap X=1) = Tr( Y\otimes X \circ \rho )[/tex]
[tex]P(Y=1 \cap X=0) = Tr(Y \otimes (1-X)\circ \rho)[/tex]
[tex]Tr(Y\otimes X \circ \rho) +\Tr(Y\otimes (1-X)\circ \rho) = Tr(Y\otimes X\circ \rho + Y\otimes(1-X)\circ \rho)[/tex]
[tex]=Tr([Y\otimes X +Y\otimes(1-X)]\circ\rho) = Tr(Y\otimes 1\circ \rho)[/tex]
[tex]=P(Y=1)[/tex]
Note that any general observation is a linear combination of boolean observations (the multipliers being the eigen-values and the boolean observations being projectors onto the corresponding eigen-space). Thus this derivation generalizes to any acts of observations.
Alice can't send Bob a message by choosing what to observe.