Notes - Quantum Information HT24, Quantum teleportation


Flashcards

Suppose that Alice wants to send Bob a quantum state. Can you give three reasons why this is difficult, and why?


  • The original copy must be destroyed (by the no cloning theorem)
  • Classical information cannot reconstruct a quantum state (again by the no cloning theorem, since a classical description could be used to reconstruct the quantum state)
  • You would need an infinite amount of bits to describe a quantum state (consider giving all the digits to the complex coordinates)

Suppose that:

  • Alice has a qubit system $Q$ in a state $ \vert \phi\rangle$
  • Bob has a system $B$
  • Alice wants to send Bob her qubit $ \vert \phi\rangle$
  • Alice has an additional system $A$ such that $A$ and $B$ are entangled in the Bell state
\[|\pmb \Phi^+\rangle := \frac{|0\rangle \otimes |0\rangle + |1\rangle \otimes |1\rangle}{\sqrt 2}\]

Can you describe a protocol that implements quantum teleportation?


  1. Alice measures the composite system $QA$ in the Bell basis
  2. Alice sends the outcome of her measurement to Bob (where we label $\{ \vert \Phi^+\rangle, \vert \Psi^+\rangle, \vert \Psi^-\rangle, \vert \Phi^-\rangle\} = \{ \vert \Phi _ 0\rangle, \vert \Phi _ 1\rangle, \vert \Phi _ 2\rangle, \vert \Phi _ 3\rangle\}$, these are chosen so that $ \vert \Phi _ m\rangle = (U _ m \otimes I) \vert \Phi^+\rangle$)
  3. Bob applies $I _ {(0)}, X _ {(1)}, Y _ {(2)}, Z _ {(3)}$, the Pauli matrices (labelled by indices corresponding to the outcome of the measurement)

Suppose that:

  • Alice has a qubit system $Q$ in a state $ \vert \phi\rangle$
  • Bob has a system $B$
  • Alice wants to send Bob her qubit $ \vert \phi\rangle$
  • Alice has an additional system $A$ such that $A$ and $B$ are entangled in the Bell state
\[|\pmb \Phi^+\rangle := \frac{|0\rangle \otimes |0\rangle + |1\rangle \otimes |1\rangle}{\sqrt 2}\]

Then a protocol that implements quantum teleportation is:

  1. Alice measures the composite system $QA$ in the Bell basis
  2. Alice sends the outcome of her measurement to Bob
  3. Bob applies $U _ m = I _ {(0)}, X _ {(1)}, Y _ {(2)}, Z _ {(3)}$, the Pauli matrices (labelled by indices corresponding to the outcome of the measurement)

Denoting the Bell basis by $\{ \vert \Phi^+\rangle, \vert \Psi^+\rangle, \vert \Psi^-\rangle, \vert \Phi^-\rangle\} = \{ \vert \Phi _ 0\rangle, \vert \Phi _ 1\rangle, \vert \Phi _ 2\rangle, \vert \Phi _ 3\rangle\}$ to give the useful relation for the possible outcomes of Alice’s measurements:

\[|\Phi_m\rangle = (U_m \otimes I) |\Phi^+\rangle\]

Quickly prove that this scheme works.


The composite system $QAB$ is initially in the state

\[|\Psi\rangle_{QAB} = |\phi\rangle_Q \otimes |\Phi^+\rangle_{AB}\]

After Alice performs her measurement and gets outcome $m$ (corresponding to her state being one of $ \vert \Phi _ m\rangle$, Bob’s system is steered into the state

\[|\psi_m \rangle_B = \frac{|v_m \rangle}{|||v_m \rangle||}\]

where

\[\begin{aligned} |v_ m\rangle &= (\langle \Phi_ m |_ {QA} \otimes I_ B) (|\phi\rangle_ Q \otimes |\Phi^+\rangle_ {AB}) \\\\ &= (\langle \Phi^+|_ {QA} \otimes I_ B)(U^\dagger_ {m, Q}\otimes I_ A \otimes I_ B)(|\phi\rangle_ Q \otimes |\Phi^+\rangle_ {AB}) \\\\ &= (\langle \Phi^+|_ {QA} \otimes I_ B)(U^\dagger_m |\phi\rangle_ Q \otimes |\Phi^+\rangle_ {AB}) \\\\ &= \frac 1 2 \sum_ {k, \ell = 0, 1} (\langle k|_ Q \otimes \langle k|_ A \otimes I_B)(U^\dagger_ m |\phi\rangle_ Q \otimes |\ell\rangle_ A \otimes |\ell\rangle_ B) \\\\ &= \frac 1 2 \sum_ {k, \ell = 0, 1} (\langle k | U^\dagger_ m | \phi\rangle \langle k |\ell \rangle |\ell\rangle_ B) \\\\ &= \frac 1 2\sum_ {k = 0, 1} \langle k | U^\dagger_ m |\phi\rangle |k\rangle \\\\ &= \frac 1 2\sum_ {k = 0,1} (U^\dagger_ m |\phi\rangle)_ k |k \rangle \\\\ &= \frac 1 2 U^\dagger_ m |\phi\rangle_ B \end{aligned}\]

So then Bob’s state is

\[|\psi_m\rangle_B = U^\dagger_m |\phi\rangle_B\]

Since Alice told Bob the outcome of her measurement, Bob knowns which unitary matrix to apply to his system (namely $U _ m$) in order to put the system into exactly the state $ \vert \phi\rangle _ B$.

Proofs




Related posts