DrChinese said:
I like your example, but I still don't really follow the logic here of your MWI application. I assume that there are still no hidden variables, is that correct?
That's the point. There are no hidden variables, and everything is local. So what gives, in Bell ? What gives is that, from Alice's point of view, Bob simply didn't have a definite result, and so you cannot talk about a joint probability, until SHE "decided" which branch to take. But when she did, information was present from both sides, so the Bell factorisation hypothesis is not justified anymore.
And suppose, assuming we could actually do this... Bob's photon polarization is checked .001 second after emission. The result is sent to Alice. Alice's entangled photon is placed into a coil of fiber optics and left there for a "while", perhaps just going around in circles or something - but not yet measured. She now knows the Bob result and can predict accurately what her photon will do.
Well, it changes the order in my example, of course, because the interactions are in a different order, but it won't change the conclusion. In fact, you can even take out Bob now, he doesn't serve any purpose anymore. Through Bob, she observes the state of the Bob-photon, and a while later, she observes her own photon. I think your example is in fact less "spectacular", because now there is no need for Alice to have Bob in a superposition: on her first observation of Bob's result, she and Bob are "in agreement" ; you simply have that Alice's photon is still in a superposition.
Let's do it.
H = H_alice x H_bob x H_sys1 x H_sys2
|psi(t0)> = |alice0>|bob0>(|z+>|z-> - |z->|z+>)/sqrt(2)
Remember, |z+> = cos(th) |th+> + sin(th) |th->
|z-> = -sin(th) |th+> + cos(th) |th->
from t0 to t1, Bob measures system 2 along direction th_b:
This means that a time evolution operator U_b acts,
such that:
U_b |bob0> |thb+> -> |bob+> |sys0>
U_b |bob0> |thb-> -> |bob-> |sys0>
U_b acting only on H_bob x H_sys2.
Rewriting psi(t0):
|psi(t0)> = |alice0>|bob0>(|z+>(-sin(thb) |thb+> + cos(thb) |thb->) -
|z->( cos(thb) |thb+> + sin(thb) |thb->) )/sqrt(2)
Applying U_b
|psi(t1)> = {- sin(thb)|alice0>|bob+>|z+>|sys0>
+ cos(thb) |alice0>|bob->|z+>|sys0>
- cos(thb) |alice0>|bob+>|z->|sys0>
- sin(thb) |alice0>|bob->|z->|sys0>}/sqrt(2)
Bob now sends his message on a cable to Alice, and Alice reads it.
We lump all this in a time evolution operator U_cable, which is "ready"
at time t2:
U_cable: |alice0>|bob+> -> |alice0+>|bob+>
and: |alice0>|bob-> -> |alice0->|bob->
So we have:
|psi(t2)> = {- sin(thb)|alice0+>|bob+>|z+>|sys0>
+ cos(thb) |alice0->|bob->|z+>|sys0>
- cos(thb) |alice0+>|bob+>|z->|sys0>
- sin(thb) |alice0->|bob->|z->|sys0>}/sqrt(2)
From t2 to t3, Alice measures system 1 along direction th_a, so we have
an evolution operator U_a which acts:
U_a |alice0X> |tha+> -> |alice+X>|sys0>
U_a |alice0X> |tha-> -> |alice-X>|sys0>
with X equal to + or -
U_a acts only on H_alice x H_sys1
Rewriting psi(t2):
|psi(t2)> = {- sin(thb)|alice0+>|bob+>(cos(tha) |tha+> + sin(tha) |tha->)|sys0>
+ cos(thb) |alice0->|bob->(cos(tha) |tha+> + sin(tha) |tha->)|sys0>
- cos(thb) |alice0+>|bob+>(-sin(tha) |tha+> + cos(tha) |tha->)|sys0>
- sin(thb) |alice0->|bob->(-sin(tha) |tha+> + cos(tha) |tha->)|sys0>}/sqrt(2)
and applying U_a:
|psi(t3)> = {- sin(thb) cos(tha)|alice++>|bob+> |sys0> |sys0>
- sin(thb) sin(tha)|alice-+>|bob+> |sys0> |sys0>
+ cos(thb) cos(tha)|alice+->|bob-> |sys0> |sys0>
+ cos(thb) sin(tha)|alice-->|bob-> |sys0> |sys0>
+ cos(thb) sin(tha)|alice++>|bob+> |sys0> |sys0>
- cos(thb) cos(tha)|alice-+>|bob+> |sys0> |sys0>
+ sin(thb) sin(tha)|alice+->|bob-> |sys0> |sys0>
- sin(thb) cos(tha)|alice-->|bob-> |sys0> |sys0>}/sqrt(2)
or:
|psi(t3)> = { (-sin(thb) cos(tha) + cos(thb) sin(tha) ) |alice++>|bob+>
+(-sin(thb) sin(tha) - cos(thb) cos(tha) ) |alice-+>|bob+>
+( cos(thb) cos(tha) + sin(thb) sin(tha) ) |alice+->|bob->
+( cos(thb) sin(tha) - sin(thb) cos(tha) ) |alice-->|bob-> }|sys0>|sys0>}/sqrt(2)
or:
|psi(t3)> = { sin(tha-thb) |alice++> |bob+>
-cos(tha-thb) |alice-+> |bob+>
+cos(tha-thb) |alice+-> |bob->
+sin(tha-thb) |alice--> |bob-> } |sys0>|sys0>}/sqrt(2)
Let us now look at Alice's possible evolutions:
Up to t1, Alice is in the Alice0 state, with 100% probability.
From t1 to t2, she learns about Bob's results, and her state evolves.
At t2, Alice has 50% chance to be in the Alice0+ state, and 50% chance
to be in the Alice0- state. In each case, she's in perfect agreement with
Bob, which doesn't occur, to each of her possibilities, to be in a superposition.
From t2 to t3, Alice measures her own photon.
If she was, with 50% chance, in the Alice0+ state, then she will now be, with a
probability 1/2 sin^2(tha-thb), in the Alice++ state, and with a probability
1/2 cos^2(tha-thb), in the Alice-+ state.
If she was in the Alice0- state, she will now be, with a probability
1/2cos^2(tha-thb), in the alice+- state, etc...
Note that upon reception of the message from Bob, she "decided" what Bob's state
was, and from there on she's in agreement with him, in each of her possible states.
It is when she observes her own photon (which was, at t2, still in a superposition
with respect to her), that she "decides" what state it is in. She is, of course,
still in agreement with Bob.
As I said, it is much less spectacular this way, because you only have Alice having a "superposition" of states of her photon. It's more spectacular to have her have a superposition of states of Bob.
cheers,
Patrick.