# Come faccio a dimostrare che uno stato a due qubit è uno stato impigliato?

18

Lo stato di Bell è uno stato entangled. Ma perché è così? Come posso dimostrarlo matematicamente?$|{\mathrm{\Phi }}^{+}⟩=\frac{1}{\sqrt{2}}\left(|00⟩+|11⟩\right)$$|\Phi^{+}\rangle = \frac{1}{\sqrt{2}}(|00\rangle + |11\rangle )$

Risposte:

19

Definizione

Uno stato a due qubit è uno stato entangled se e solo se non ci non esistono due stati uno-qubit e tali che $|\psi ⟩\in {\mathbb{C}}^{4}$$|\psi\rangle \in \mathbb{C}^4$$|a⟩=\alpha |0⟩+\beta |1⟩\in {\mathbb{C}}^{2}$$|a\rangle = \alpha |0\rangle + \beta |1\rangle \in \mathbb{C}^2$$|b⟩=\gamma |0⟩+\lambda |1⟩\in {\mathbb{C}}^{2}$$|b\rangle = \gamma |0\rangle + \lambda |1\rangle \in \mathbb{C}^2$ , Dove indica ilprodotto tensorialee .$|a⟩\otimes |b⟩=|\psi ⟩$$|a\rangle \otimes |b\rangle = |\psi\rangle$$\otimes$$\otimes$$\alpha ,\beta ,\gamma ,\lambda \in \mathbb{C}$$\alpha, \beta, \gamma, \lambda \in \mathbb{C}$

Quindi, per dimostrare che lo stato di Bell è uno stato di entanglement, dobbiamo semplicemente dimostrare che non esistono due stati uno-qubitetali che.$|{\mathrm{\Phi }}^{+}⟩=\frac{1}{\sqrt{2}}\left(|00⟩+|11⟩\right)$$|\Phi^{+}\rangle = \frac{1}{\sqrt{2}}(|00\rangle + |11\rangle )$$|a⟩$$|a\rangle$$|b⟩$$|b\rangle$$|{\mathrm{\Phi }}^{+}⟩=|a⟩\otimes |b⟩$$|\Phi^{+}\rangle = |a\rangle \otimes |b\rangle$

Prova

Supporre che

$\begin{array}{rl}|{\mathrm{\Phi }}^{+}⟩& =|a⟩\otimes |b⟩\\ & =\left(\alpha |0⟩+\beta |1⟩\right)\otimes \left(\gamma |0⟩+\lambda |1⟩\right)\end{array}$

Ora possiamo semplicemente applicare la proprietà distributiva per ottenere

$\begin{array}{rl}|{\mathrm{\Phi }}^{+}⟩& =\cdots \\ & =\left(\alpha \gamma |00⟩+\alpha \lambda |01⟩+\beta \gamma |10⟩+\beta \lambda |11⟩\right)\end{array}$

Questo deve essere uguale a , che è, dobbiamo trovare i coefficienti,,e, tali che$\frac{1}{\sqrt{2}}\left(|00⟩+|11⟩\right)$$\frac{1}{\sqrt{2}}(|00\rangle + |11\rangle )$$\alpha$$\alpha$$\beta$$\beta$$\gamma$$\gamma$$\lambda$$\lambda$

$\begin{array}{rl}\frac{1}{\sqrt{2}}\left(|00⟩+|11⟩\right)& =\left(\alpha \gamma |00⟩+\alpha \lambda |01⟩+\beta \gamma |10⟩+\beta \lambda |11⟩\right)\end{array}$

Osservare che, nell'espressione , vogliamo mantenere sia e . Quindi, e , che sono i coefficienti di , non può essere pari a zero; in altre parole, dobbiamo avere e . Allo stesso modo,$\alpha \gamma |00⟩+\alpha \lambda |01⟩+\beta \gamma |10⟩+\beta \lambda |11⟩$$\alpha \gamma |00\rangle + \alpha \lambda |01\rangle + \beta \gamma |10\rangle + \beta \lambda |11\rangle$$|00⟩$$|00\rangle$$|11⟩$$|11\rangle$$\alpha$$\alpha$$\gamma$$\gamma$$|00⟩$$|00\rangle$$\alpha \ne 0$$\alpha \neq 0$$\gamma \ne 0$$\gamma \neq 0$$\beta$$\beta$ and $\lambda$$\lambda$, which are the complex numbers multiplying $|11⟩$$|11\rangle$ cannot be zero, i.e. $\beta \ne 0$$\beta \neq 0$ and $\lambda \ne 0$$\lambda \neq 0$. So, all complex numbers $\alpha$$\alpha$, $\beta$$\beta$, $\gamma$$\gamma$ and $\lambda$$\lambda$ must be different from zero.

$|{\mathrm{\Phi }}^{+}⟩$$|\Phi^{+}\rangle$, we want to get rid of $|01⟩$$|01\rangle$ and $|10⟩$$|10\rangle$. So, one of the numbers (or both) multiplying $|01⟩$$|01\rangle$ (and $|10⟩$$|10\rangle$) in the expression $\alpha \gamma |00⟩+\alpha \lambda |01⟩+\beta \gamma |10⟩+\beta \lambda |11⟩$$\alpha \gamma |00\rangle + \alpha \lambda |01\rangle + \beta \gamma |10\rangle + \beta \lambda |11\rangle$, i.e. $\alpha$$\alpha$ and $\lambda$$\lambda$ (and, respectively, $\beta$$\beta$ and $\gamma$$\gamma$), must be equal to zero. But we have just seen that $\alpha$$\alpha$, $\beta$$\beta$, $\gamma$$\gamma$ and $\lambda$$\lambda$ must all be different from zero. So, we cannot find a combination of complex numbers $\alpha$$\alpha$, $\beta$$\beta$, $\gamma$$\gamma$ and $\lambda$$\lambda$ such that

$\begin{array}{rl}\frac{1}{\sqrt{2}}\left(|00⟩+|11⟩\right)& =\left(\alpha \gamma |00⟩+\alpha \lambda |01⟩+\beta \gamma |10⟩+\beta \lambda |11⟩\right)\end{array}$

In other words, we are not able to express $|{\mathrm{\Phi }}^{+}⟩$$|\Phi^{+}\rangle$ as a tensor product of two one-qubit states. Therefore, $|{\mathrm{\Phi }}^{+}⟩$$|\Phi^{+}\rangle$ is a entangled state.

We can perform a similar proof for other Bell states or, in general, if we want to prove that a state is entangled.

2
Wow you answered your own question with a beautiful, understandable proof. Not something you see every day. This helped me thank you.
YungGun

11

A two qudit pure state is separable if and only if it can be written in the form 

$|\mathrm{\Psi }⟩=|\psi ⟩|\varphi ⟩$
for arbitrary single qudit states $$|ψ⟩|ψ⟩|\psi\rangle$$ and $$|ϕ⟩|ϕ⟩|\phi\rangle$$. Otherwise, it is entangled.

To determine if the pure state is entangled, one could try a brute force method of attempting to find satisfying states $$|ψ⟩|ψ⟩|\psi\rangle$$ and $$|ϕ⟩|ϕ⟩|\phi\rangle$$, as in this answer. This is inelegant, and hard work in the general case. A more straightforward way to prove whether this pure state is entangled is the calculate the reduced density matrix $$ρρ\rho$$ for one of the qudits, i.e. by tracing out the other. The state is separable if and only if $$ρρ\rho$$ has rank 1. Otherwise it is entangled. Mathematically, you can test the rank condition simply by evaluating $$Tr(ρ2)Tr(ρ2)\text{Tr}(\rho^2)$$. The original state is separable if and only if this value is 1. Otherwise the state is entangled.

For example, imagine one has a pure separable state $$|Ψ⟩=|ψ⟩|ϕ⟩|Ψ⟩=|ψ⟩|ϕ⟩|\Psi\rangle=|\psi\rangle|\phi\rangle$$. The reduced density matrix on $$AAA$$ is 

${\rho }_{A}={\text{Tr}}_{B}\left(|\mathrm{\Psi }⟩⟨\mathrm{\Psi }|\right)=|\psi ⟩⟨\psi |,$
and $$Tr(ρ2A)=Tr(|ψ⟩⟨ψ|⋅|ψ⟩⟨ψ|)=Tr(|ψ⟩⟨ψ|)=1.Tr(ρA2)=Tr(|ψ⟩⟨ψ|⋅|ψ⟩⟨ψ|)=Tr(|ψ⟩⟨ψ|)=1. \text{Tr}(\rho_A^2)=\text{Tr}(|\psi\rangle\langle\psi|\cdot |\psi\rangle\langle\psi|)=\text{Tr}(|\psi\rangle\langle\psi|)=1.$$ Thus, we have a separable state.

Meanwhile, if we take $$|Ψ⟩=12√(|00⟩+|11⟩)|Ψ⟩=12(|00⟩+|11⟩)|\Psi\rangle=\frac{1}{\sqrt{2}}(|00\rangle+|11\rangle)$$, then 

${\rho }_{A}={\text{Tr}}_{B}\left(|\mathrm{\Psi }⟩⟨\mathrm{\Psi }|\right)=\frac{1}{2}\left(|0⟩⟨0|+|1⟩⟨1|\right)=\frac{1}{2}\mathbb{I}$
and $$Tr(ρ2A)=14Tr(I⋅I)=12Tr(ρA2)=14Tr(I⋅I)=12 \text{Tr}(\rho_A^2)=\frac14\text{Tr}(\mathbb{I}\cdot\mathbb{I})=\frac12$$ Since this value is not 1, we have an entangled state.

If you wish to know about detecting entanglement in mixed states (not pure states), this is less straightforward, but for two qubits there is a necessary and sufficient condition for separability: positivity under the partial transpose operation.

+1 This is a much more elegant method compared to the brute force algorithm.
Sanchayan Dutta

What are $A$$A$ and $B$$B$? Are these just the qudits themselves?
Dohleman

@Dohleman Yes, they're just labels for the two parts of the system, one part held by A (Alice), and the other by B (Bob). In this case it's the two qudits.
DaftWullie
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.