Notes - Quantum Information HT24, Composite systems and entanglement
Flashcards
What is a product state in a Hilbert space $\mathcal H _ {AB}$?
A tensor product of states from $\mathcal H _ A$ and $\mathcal H _ B$.
Suppose
\[|\Phi^+\rangle = \frac{ |0\rangle \otimes |0\rangle + |1\rangle \otimes |1\rangle}{\sqrt{2}
}\]
Why are states like these called an “entangled” state?
Because they are not product states, i.e. that cannot be written as the tensor product of two unit vectors.
Suppose we have orthonormal bases
\[\\{|\alpha_m\rangle \mid m = 0,1,\ldots,d_A - 1\\}\]
and
\[\\{|\beta_n\rangle \mid n = 0,1,\ldots,d_B - 1\\}\]
What is the product basis?
Suppose we have orthonormal bases
\[\\{|\alpha_m\rangle \mid m = 0,1,\ldots,d_A - 1\\}\]
and
\[\\{|\beta_n\rangle \mid n = 0,1,\ldots,d_B - 1\\}\]
Then the product basis is an orthonormal basis
\[\\{|\alpha_m\rangle \otimes |\beta_n\rangle \mid m = 0,\ldots,d_A - 1, n = 0,\ldots,d_B - 1\\}\]
Is every orthonormal basis in the composite system a product basis?
No.
Suppose $U _ A$ and $U _ B$ are unitary matrices in the Hilbert spaces $\mathcal H _ A$ and $\mathcal H _ B$. How can we construct a unitary matrix in the Hilbert space $\mathcal H _ {AB}$?
If states in $\mathcal H _ {AB}$ that cannot be written as the product of two states in $\mathcal H _ A$ and $\mathcal H _ B$ are called entangling, what are the two types of gates $U$ (or equivalently, unitary matrices) that cannot be written as the tensor product of two unitary $U _ A$ and $U _ B$ matrices?
- Interaction gates in general
- Entangled gates if they transform product states into entangled states
Describe the action of the CNOT gate on the computational basis $ \vert a\rangle \otimes \vert b\rangle$.
Given the following equations
\[\begin{align*}
\text{CNOT} |+\rangle \otimes |0\rangle &= \frac{|0\rangle \otimes |0\rangle + |1\rangle \otimes |1\rangle}{\sqrt{2}\\,} = |\Phi^+\rangle \\\\
\text{CNOT} |-\rangle \otimes |0\rangle &= \frac{|0\rangle \otimes |0\rangle - |1\rangle \otimes |1\rangle}{\sqrt{2}\\,} = |\Phi^-\rangle \\\\
\text{CNOT} |+\rangle \otimes |1\rangle &= \frac{|0\rangle \otimes |1\rangle + |1\rangle \otimes |0\rangle}{\sqrt{2}\\,} = |\Psi^+\rangle \\\\
\text{CNOT} |-\rangle \otimes |1\rangle &= \frac{|0\rangle \otimes |1\rangle - |1\rangle \otimes |0\rangle}{\sqrt{2}\\,} = |\Psi^-\rangle
\end{align*}\]
where $\Phi^+$, $\Phi^-$, $\Psi^+$ and $\Psi^-$ represent the Bell basis, how can you measure an arbitrary state $ \vert \Psi\rangle$ on the Bell basis using only a product basis? Illustrate the case of determining the probability of $ \vert \Psi\rangle$ taking outcome $\Phi^+$
- First apply a CNOT gate to $ \vert \Psi\rangle$
- Measure on the product basis $\{ \vert +\rangle\otimes \vert 0\rangle, \vert +\rangle\otimes \vert 1\rangle, \vert -\rangle\otimes \vert 0\rangle, \vert -\rangle\otimes \vert 1\rangle\}$
In this particular example,
\[\begin{aligned} |\langle+|\otimes\langle0 | \text{CNOT} |\Psi\rangle|^2 &= |\langle\Phi^+ | \Psi\rangle|^2 \end{aligned}\]Suppose $\mathcal H _ A$ and $\mathcal H _ B$ are the Hilbert spaces of two quantum systems, and $A$ undergoes the reversible process $U _ A$ and $B$ undergoes the reversible process $U _ B$. What happens to the system $AB$?
It undeergoes the reversible process $U _ A \otimes U _ B$.
Assuming $\alpha \ne 0$, how could you show that the state
\[\frac{1}{\sqrt{1 + |\alpha|^2}
} \Big(|0\rangle_A \otimes (\beta |0\rangle_B + \alpha |1\rangle_B) + \alpha |1\rangle_A \otimes |0\rangle_B\Big)\]
is entangled?
Consider measuring in the computational basis. Then $p(11) = 0$, but $p(10) = \alpha$. Hence the outcomes are correlated, and it can’t be a product state.
Suppose
\[|\psi\rangle := a|00\rangle + b|01\rangle + c|10\rangle + d|11\rangle\]
What’s a quick trick for working out if $ \vert \psi\rangle$ is entangled?
Form the coefficient matrix
\[\begin{pmatrix} a & b \\\\ c & d \end{pmatrix}\]Then if the determinant is zero, the state is a product state.
What does it mean for two vectors $ \vert \alpha\rangle, \vert \beta\rangle$ to be proportional to one another, i.e.
\[|\alpha\rangle \propto |\beta\rangle\]
?
There exists $\lambda$, $\mu \in \mathbb C \setminus \{0\}$ such that
\[\lambda |\alpha\rangle = \mu |\beta\rangle\]Suppose $ \vert \psi\rangle _ {AB}$ is a state in a composite quantum system $AB$. Can you give a helpful necessary and sufficient condition for it to be a product state?
$ \vert \psi\rangle _ {AB}$ is a product state iff for all vectors $ \vert \alpha\rangle _ A, \vert \alpha’\rangle _ A \in A$
\[({}_ A \langle \alpha| \otimes I_ B) |\psi\rangle_ {AB} \propto ({}_ A\langle \alpha'| \otimes I_ B) |\psi\rangle_ {AB}\]Quickly prove that $ \vert \psi\rangle _ {AB}$ is a product state iff for all vectors $ \vert \alpha\rangle _ A, \vert \alpha’\rangle _ A \in A$
\[({}_
A \langle \alpha| \otimes I_
B) |\psi\rangle_
{AB} \propto ({}_
A\langle \alpha'| \otimes I_
B) |\psi\rangle_
{AB}\]
Product state implies proportional: Suppose $ \vert \psi\rangle _ {AB}$ is a product state, so $\exists \vert \phi\rangle _ A, \vert \omega\rangle _ B$ such that
\[|\psi\rangle_ {AB} = |\phi\rangle_ A \otimes |\omega\rangle_ B\]Then $\forall \vert \alpha\rangle _ A, \vert \alpha’\rangle _ A$, we have
\[({}_ A \langle \alpha| \otimes I_ B) |\psi\rangle_{AB} = {}_ A\langle \alpha| \phi\rangle_ A |\omega\rangle_ B\]and
\[({}_ A \langle \alpha'| \otimes I_ B) |\psi\rangle_ {AB} = {}_ A\langle \alpha'| \phi\rangle_ A |\omega\rangle_ B\]so they are both propotional.
Proportional implies product state: Write $ \vert \psi\rangle _ {AB}$ in its general form as
\[|\psi\rangle = \sum_ {m, n} c_ {mn} |m\rangle \otimes |n\rangle\]Then the condition that for all vectors $ \vert \alpha\rangle _ A, \vert \alpha’\rangle _ A \in A$
\[({}_ A \langle \alpha| \otimes I_ B) |\psi\rangle_ {AB} \propto ({}_ A\langle \alpha'| \otimes I_ B) |\psi\rangle_ {AB}\]means we have that $\forall m, m’$,
\[({}_ A \langle m| \otimes I_ B) |\psi\rangle_ {AB} \propto ({}_ A\langle m'| \otimes I_ B) |\psi\rangle_ {AB}\]so
\[\sum_ n c_ {mn} |n\rangle \propto \sum_ n c_ {m'n} |n\rangle\]And hence $\exists \vert \beta\rangle$ such that $\forall m$, $\exists \lambda _ m$ so that
\[\sum_ n c_ {mn} |n\rangle = \lambda_ m |\beta\rangle\]Then
\[\begin{aligned} |\psi\rangle &= \sum_ m |m\rangle \otimes \sum_n c_ {mn} |n\rangle \\\\ &= \sum_ m |m\rangle \otimes \lambda_ m |\beta\rangle \\\\ &= \left(\sum_ m \lambda_ m |m\rangle\right) \otimes |\beta\rangle \end{aligned}\]So it is a product state.
Consider the following situation. Alice and Bob share two qubits in the Bell state
\[|\Phi^+\rangle = \frac{1}{\sqrt 2} (|0\rangle \otimes |0\rangle + |1\rangle \otimes |1\rangle)\]
But instead want to share two qubits in the state
\[|\psi\rangle := \alpha|0\rangle\otimes |0\rangle + \beta|1\rangle \otimes |1\rangle\]
Suppose that Alice is only allowed to send one classical bit to Bob (no quantum channels), and both Alice and Bob are allowed to measure systems they control, prepare additional qubits, or apply quantum gates.
Describe a protocol that can be used to do this.
Alice prepares a new qubit in the state $\alpha \vert 0\rangle + \beta \vert 1\rangle$. Then the system is in the state
\[\frac{1}{\sqrt 2} (\alpha |0\rangle \otimes |0\rangle \otimes |0\rangle + \alpha |0\rangle \otimes |1\rangle \otimes |1\rangle + \beta |1\rangle \otimes |0\rangle \otimes |0\rangle + \beta |1\rangle \otimes |1\rangle \otimes |1\rangle)\]Then she applies a CNOT gate with control on the second qubit. This gives:
\[\frac{1}{\sqrt 2} (\alpha |0\rangle \otimes |0\rangle \otimes |0\rangle + \alpha |1\rangle \otimes |1\rangle \otimes |1\rangle + \beta |1\rangle \otimes |0\rangle \otimes |0\rangle + \beta |0\rangle \otimes |1\rangle \otimes |1\rangle)\]Then she measures in the computational basis. If she measures $ \vert 0\rangle$, then system $AB$ is in state
\[\alpha |0\rangle \otimes |0\rangle + \beta|1\rangle \otimes |1\rangle\](Hooray!). If she measures $ \vert 1\rangle$, then the system is in state
\[\alpha|1\rangle \otimes |1\rangle + \beta|0\rangle \otimes |0\rangle\](Boo.)
If she measures $ \vert 0\rangle$, she sends “$0$” to Bob. If she measures $ \vert 1\rangle$, she sends “$1$” to Bob.
If Bob recieves $0$, he does nothing. If Bob recieves $1$, both him and Alice can apply the $X$ gate to their systems to obtain
\[\alpha |0\rangle \otimes |0\rangle + \beta|1\rangle \otimes |1\rangle\]as required.