When trying to understand a scientific or mathematical result, I often find it helpful to write what I call discovery fiction.
-
-
Alice has a data bit, d, which she'd like to send to Bob. Alice and Bob share a pair of random bits (r, r). Alice XORs d onto her half of the random pair, and sends the result d + r to Bob. Bob can then recover d by adding (d+r) to his random bit: d+(d+r) = d (modulo 2).
Show this thread -
The interesting thing for us is that the message d+r from Alice to Bob is completely uncorrelated with the data d. In other words, that message tells us nothing whatsoever about the identity of Alice's data. (This is also why it's cryptographically useful, of course!)
Show this thread -
We can draw this in a classical circuit representation as:pic.twitter.com/Rw0bIm9Iwo
Show this thread -
Here's the natural analogous quantum circuit, replacing the random pair of bits (r, r) by the analogous quantum state (|00>+|11>)/(sqrt 2):pic.twitter.com/2ARuLIXPrM
Show this thread -
Now, you can compute the effect of this circuit mechanically - it's just algebra. I won't go through those details now, though the ideas I described yesterday (https://twitter.com/michael_nielsen/status/1131784174203953153 … ) can be used to verify that if the input is |psi> = a|0>+b|1> then the output is a|00>+b|11>:pic.twitter.com/zomapcwdLS
Show this thread -
This seems promising: Alice and Bob now share an entangled quantum state with the amplitudes a and b. Can they do something so Bob ends up with the original state a|0>+b|1>?
Show this thread -
Unfortunately, Alice can't do it by simply applying a quantum gate - the state will remain entangled. But maybe she can make a measurement of some sort?
Show this thread -
Suppose Alice measures her remaining qubit in some basis |m>. The resulting conditional state for Bob is, up to normalization: a<m|0> |0> + b <m|1> |1>
Show this thread -
Ahah! This is very promising! If we simply choose the basis |m> to be the equal superposition states |+> = (|0>+|1>)/sqrt 2 and |-> = (|0>-|1>)/sqrt 2 then Bob will get the following conditional states: a|0>+b|1> a|0>-b|1>
Show this thread -
That is, Bob's state is just Z^z|psi>, where z is the outcome of a measurement in the |+>, |-> basis.
Show this thread -
And so the following quantum circuit teleports |psi> from Alice to Bob:pic.twitter.com/AfUe1ncMAa
Show this thread -
This is, in fact, the standard quantum teleportation protocol!
Show this thread -
This leaves something to be desired as discovery fiction. Still, it's a lot of fun, and think it's pretty good for Twitter!
Show this thread -
Particularly egregious: it doesn't tell us WHY you might suspect teleportation is possible in the first place. Though I wonder if some quantum person thinking hard about classical one-time pads might have discovered it, largely by following their nose.
Show this thread -
Anyway, this kind of discovery fiction can be a lot of fun, and going through this exercise certainly helped me understand teleportation better!
Show this thread
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.