Monogamy of entanglement

Short description: Principle in quantum information science

In quantum physics, the "monogamy" of quantum entanglement refers to the fundamental property that it cannot be freely shared between arbitrarily many parties.

In order for two qubits A and B to be maximally entangled, they must not be entangled with any third qubit C whatsoever. Even if A and B are not maximally entangled, the degree of entanglement between them constrains the degree to which either can be entangled with C. In full generality, for [math]\displaystyle{ n \geq 3 }[/math] qubits [math]\displaystyle{ A_1, \ldots, A_n }[/math], monogamy is characterized by the Coffman–Kundu–Wootters (CKW) inequality, which states that

[math]\displaystyle{ \sum_{k=2}^{n} \tau(\rho_{A_1A_k}) \leq \tau(\rho_{A_1(A_2{\ldots}A_n)}) }[/math]

where [math]\displaystyle{ \rho_{A_{1}A_k} }[/math] is the density matrix of the substate consisting of qubits [math]\displaystyle{ A_1 }[/math] and [math]\displaystyle{ A_k }[/math] and [math]\displaystyle{ \tau }[/math] is the "tangle," a quantification of bipartite entanglement equal to the square of the concurrence.

Monogamy, which is closely related to the no-cloning property, is purely a feature of quantum correlations, and has no classical analogue. Supposing that two classical random variables X and Y are correlated, we can copy, or "clone," X to create arbitrarily many random variables that all share precisely the same correlation with Y. If we let X and Y be entangled quantum states instead, then X cannot be cloned, and this sort of "polygamous" outcome is impossible.

The monogamy of entanglement has broad implications for applications of quantum mechanics ranging from black hole physics to quantum cryptography, where it plays a pivotal role in the security of quantum key distribution.

Proof

The monogamy of bipartite entanglement was established for tripartite systems in terms of concurrence by Coffman, Kundu, and Wootters in 2000. In 2006, Osborne and Verstraete extended this result to the multipartite case, proving the CKW inequality.

Example

For the sake of illustration, consider the three-qubit state [math]\displaystyle{ |\psi\rangle \in (\mathbb{C}^2)^{\otimes 3} }[/math] consisting of qubits A, B, and C. Suppose that A and B form a (maximally entangled) EPR pair. We will show that:

[math]\displaystyle{ |\psi\rangle = |\text{EPR} \rangle_{AB} \otimes |\phi\rangle_C }[/math]

for some valid quantum state [math]\displaystyle{ |\phi\rangle_C }[/math]. By the definition of entanglement, this implies that C must be completely disentangled from A and B.

When measured in the standard basis, A and B collapse to the states [math]\displaystyle{ |00\rangle }[/math] and [math]\displaystyle{ |11\rangle }[/math] with probability [math]\displaystyle{ \frac{1}{2} }[/math] each. It follows that:

[math]\displaystyle{ |\psi\rangle = |00\rangle \otimes (\alpha_{0}|0\rangle + \alpha_{1}|1\rangle) + |11\rangle \otimes (\beta_0|0\rangle + \beta_1|1\rangle) }[/math]

for some [math]\displaystyle{ \alpha_0, \alpha_1, \beta_0, \beta_1 \in \mathbb{C} }[/math] such that [math]\displaystyle{ |\alpha_0|^2 + |\alpha_1|^2 = |\beta_0|^2 + |\beta_1|^2 = \frac{1}{2} }[/math]. We can rewrite the states of A and B in terms of diagonal basis vectors [math]\displaystyle{ |+\rangle }[/math] and [math]\displaystyle{ |-\rangle }[/math]:

[math]\displaystyle{ |\psi\rangle = \frac{1}{2}(|++\rangle + |+-\rangle + |-+\rangle + |--\rangle) \otimes (\alpha_{0}|0\rangle + \alpha_{1}|1\rangle) + \frac{1}{2}(|++\rangle - |+-\rangle - |-+\rangle + |--\rangle) \otimes (\beta_0|0\rangle + \beta_1|1\rangle) }[/math]

[math]\displaystyle{ = \frac{1}{2}(|++\rangle + |--\rangle) \otimes ((\alpha_0 + \beta_0)|0\rangle + (\alpha_1 + \beta_1)|1\rangle) + \frac{1}{2}(|+-\rangle + |-+\rangle) \otimes ((\alpha_0 - \beta_0)|0\rangle + (\alpha_1 - \beta_1)|1\rangle) }[/math]

Being maximally entangled, A and B collapse to one of the two states [math]\displaystyle{ |++\rangle }[/math] or [math]\displaystyle{ |--\rangle }[/math] when measured in the diagonal basis. The probability of observing outcomes [math]\displaystyle{ |+-\rangle }[/math] or [math]\displaystyle{ |-+\rangle }[/math] is zero. Therefore, according to the equation above, it must be the case that [math]\displaystyle{ \alpha_0 - \beta_0 = 0 }[/math] and [math]\displaystyle{ \alpha_1 - \beta_1 = 0 }[/math]. It follows immediately that [math]\displaystyle{ \alpha_0 = \beta_0 }[/math] and [math]\displaystyle{ \alpha_1 = \beta_1 }[/math]. We can rewrite our expression for [math]\displaystyle{ |\psi\rangle }[/math] accordingly:

[math]\displaystyle{ |\psi\rangle = (|++\rangle + |--\rangle) \otimes (\alpha_0|0\rangle + \alpha_1|1\rangle) }[/math]

[math]\displaystyle{ = |\text{EPR}\rangle_{AB} \otimes (\sqrt{2}\alpha_0|0\rangle + \sqrt{2}\alpha_1|1\rangle) }[/math]

[math]\displaystyle{ = |\text{EPR}\rangle_{AB} \otimes |\phi\rangle_C }[/math]

This shows that the original state can be written as a product of a pure state in AB and a pure state in C, which means that the EPR state in qubits A and B is not entangled with the qubit C.