'''LOCC - local operations and classical communication''' - are a certain type of transformation of states in quantum information theory.
= Introduction =
One of the tasks in ''quantum information theory'' is to distill or concentrate entanglement of a given state. Basically, there are two types of protocols which aim to perform such tasks. The first one is based on non-local quantum measurements on many copies of the initial state. The other is concerned only with local operations, with possible classical communication (LOCC), performed on the only copy of the state. Therefore they are of special interest from an experimental point of view due to the fact that local measurements can be performed in a simpler way than the non-local ones.
From the point of view of quantum communication LOCC protocols are important because there is no perfect communication channel in the real-world. Hence it is natural to ask how much entanglement can be obtained from the imperfectly entangled states which arise, for example, during the sharing of a perfectly entangled state between two observers using only LOCC.
Concerning fundamental questions of quantum information theory, of which tasks such as the characterization and general understanding of entanglement belong to, LOCC operations are of importance because of their ''locality''. As the concept of entanglement is strongly related to the ''nonlocal'' properties of a physical state, LOCC operations cannot affect the intrinsic nature of entanglement. By using LOCC operations, different equivalence classes of states can be defined; representatives of each class can be used in experiments to perform the same tasks, but with a different probability.
= LOCC operations (a very simple example) =
Physical processes which are involved in LOCC operations become more plausible by considering the following simple example. Consider two observers, ''Alice'' and ''Bob'', who share the two Bell states:
:$|\backslash Phi^-\backslash rangle\; =\; \backslash frac\{1\}\{\backslash sqrt\{2\}\}\; (|0\backslash rangle\_A\; \backslash otimes\; |0\backslash rangle\_B\; -\; |1\backslash rangle\_A\; \backslash otimes\; |1\backslash rangle\_B)$
:$|\backslash Psi^-\backslash rangle\; =\; \backslash frac\{1\}\{\backslash sqrt\{2\}\}\; (|0\backslash rangle\_A\; \backslash otimes\; |1\backslash rangle\_B\; -\; |1\backslash rangle\_A\; \backslash otimes\; |0\backslash rangle\_B)$
and are provided some classical communication channel (a phone or internet). Alice and Bob can choose one of the two shared states, but the information about which state it is exactly, is lacking. By using LOCC, Alice and Bob can distinguish between these two states. To do so, Alice has just to measure her qubit and send the measurement's outcome to Bob. After receiving this, Bob has to perform a measurement on his qubit, after which Alice and Bob would certainly know which state they had. If, for example, Alice would measure $0$ and Bob $1$, then they measured $|\backslash Psi^-\backslash rangle$.
= LOCC protocols (two qubit case)=
The main task of LOCC protocols is to obtain a maximally entangled state with respect to some entanglement measure (entanglement of formation for example). LOCC protocol for the two qubit case is a mapping of the form
:$\backslash rho^\{\backslash prime\}=\backslash frac\{A\backslash otimes\; B\backslash rho\; A^\{\backslash dagger\}\backslash otimes\; B^\{\backslash dagger\}\}\{Tr\backslash left(A\backslash otimes\; B\backslash rho\; A^\{\backslash dagger\}\backslash otimes\; B^\{\backslash dagger\}\backslash right)\}$,
:
where $A^\{\backslash dagger\}A\backslash leq\backslash mathbb\{I\}$ , $B^\{\backslash dagger\}B\backslash leq\backslash mathbb\{I\}$,
and $Tr\backslash left(A\backslash otimes\; B\backslash rho\; A^\{\backslash dagger\}\backslash otimes\; B^\{\backslash dagger\}\backslash right)$ is the probability that the protocol succeeds. Both local operations $A$ and $B$ can be written in the form
:$A\; =\; U\_A\backslash begin\{pmatrix\}\backslash alpha\_1\; \&\; 0\; \backslash \backslash \; 0\; \&\; \backslash alpha\_2\backslash end\{pmatrix\}U^\{\backslash prime\}\_A$,
:
where the $U$'s are unitary, $0<\backslash alpha\_\{1,2\}\backslash leq\; 1$ and the whole of $A$ is invertible. $F\_A=\backslash begin\{pmatrix\}\backslash alpha\_1\; \&\; 0\; \backslash \backslash \; 0\; \&\; \backslash alpha\_2\backslash end\{pmatrix\}$ is called the '''filtering''' operation.
Consideration of the most general protocol, where the final state can consist of mixtures of states, is redundant since mixing decreases the value of the entanglement monotone.
Starting with some mixed state $\backslash rho$ with non-zero entanglement of formation and by using a LOCC protocol, one can obtain some other state $\backslash rho^\{\backslash prime\}$ with maximum entanglement of formation. This state $\backslash rho^\{\backslash prime\}$ has a special form; namely it is Bell diagonal:
:$\backslash rho^\{\backslash prime\}\_\{r\_1,r\_2,r\_3\}=\backslash frac\{1\}\{4\}\backslash left(\backslash mathbb\{I\}+\backslash sum\_\{i=1\}^3\; r\_i\backslash sigma\_i\backslash otimes\backslash sigma\_i\backslash right)$
:
All $r\_i$ have the same sign and $r\_1\backslash leq\; r\_2\backslash leq\; r\_3$. The Bell diagonal form of the state is unique up to local unitary trasformations and gives a characterization of locally equivalent entangled density matrices.
= Characterization of states via LOCC operations =
== Two qubits ==
Interestingly, LOCC operations for mixed states correspond to what is called [http://en.wikipedia.org/wiki/Lorentz_transformations Lorentz transformations] in physics. Using this correspondance one can show that there exist two different classes of all two qubit states, which can be transformed onto each other by LOCC operations. One of them is the class of states which can be brought into Bell diagonal form whilst leaving the rank of the density matrix constant, and the other consists of states which can be brought into Bell diagonal form with lower [http://en.wikipedia.org/wiki/Rank_%28linear_algebra%29 rank] asymptotically.
== Three qubits ==
Each pure state of three entangled qubits can be converted into either the GHZ-State or the W-state, which leads to two inequivalent ways of entangling three qubits, as shown in the picture.
thumb
thumb
== Four qubits and discussion of general case ==
Looking at the [http://en.wikipedia.org/wiki/Group_orbit orbits] of LOCC operations one can define equivalence classes of entangled states, which any initial state can be transformed into. Each class of states will correspond to the way in which qubits in the state are entangled. There are nine essentially different classes for nine qubit pure states, but only one of them is generic, whilst the other eight classes have W type entanglement.
= References and further reading =
* Z.-W. Wang, X.-F. Zhou, Y.-F. Huang, Y.-S. Zhang, X.-F. Ren, G.-C. Guo, '''arXiv:quant-ph/0511116v1'''
* A. Kent, N. Linden, S. Massar, ''Phys. Rev. Lett'', '''83''', 2656 (1999)
* F. Verstraete, J. Dehaene, B. De Moor, ''Phys. Rev. A'', '''64''', 010101 (R) (2001)
* F. Verstraete, J. Dehaene, B. De Moor, H. Verschelde, ''Phys. Rev. A'', '''65''', 052112 (2002)
* F. Verstraete, J. Dehaene, B. De Moor, ''Phys. Rev. A'', '''68''', 012103 (2003)
Category:Mathematical Structure
Category:Handbook of Quantum Information

## Last modified:

Monday, October 26, 2015 - 17:56