LOCC
LOCC, or local operations and classical communication, is a method in quantum information theory where a local operation is performed on part of the system, and where the result of that operation is "communicated" classically to another part where usually another local operation is performed conditioned on the information received.
Mathematical properties
The formal definition of the set of LOCC operations is complicated due to the fact that later local operations depend in general on all the previous classical communication and due to the unbounded number of communication rounds. For any finite number one can define, the set of LOCC operations that can be achieved with rounds of classical communication. The set becomes strictly larger whenever is increased and care has to be taken to define the limit of infinitely many rounds. In particular, the set LOCC is not topologically closed, that is there are quantum operations that can be approximated arbitrarily closely by LOCC but that are not themselves LOCC.A one-round LOCC is a quantum instrument, for which the trace-non-increasing completely positive maps are local for all measurement results, i.e., and there is one site such that only at the map is not trace-preserving. This means that the instrument can be realized by the party at site applying the instrument and communicating the classical result to all other parties, which then each perform trace-preserving local quantum operations.
Then are defined recursively as those operations that can be realized by following up an operation with a -operation. Here it is allowed that the party, which performs the follow-up operations depends on the result of the previous rounds. Moreover, we allow also "coarse-graining", i.e., discarding some of the classical information encoded in the measurement results.
The union of all operations is denoted by and contains instruments that can be approximated better and better with more LOCC rounds. It topological closure contains all such operations.
It can be shown that all these sets are different:
The set of all LOCC operations is contained in the set of all separable operations. contains all operations that can be written using Kraus operators that have all product form, i.e.,
with. Not all operations in are LOCC,
i.e., there are examples that cannot be implemented locally even with infinite rounds of communication.
LOCC are the "free operations" in the resource theories of entanglement: Entanglement cannot be produced from separable states with LOCC and if the local parties in addition to being able to perform all LOCC operations are also furnished with some entangled states, they can realize more operations than with LOCC alone.
Examples
LOCC operations are useful for state preparation, state discrimination, and entanglement transformations.State preparation
Alice and Bob are given a two quantum system in the product state. Their task is to produce the separable state. With local operations alone this cannot be achieved, since they cannot produce the correlations present in. But with LOCC can be prepared: Alice throws an unbiased coin and flips her qubit if the coin shows "tails", otherwise it is left unchanged. She then sends the result of the coin-flip to Bob who also flips his qubit if he receives the message "tails". The resulting state is. In general, all separable states can be prepared from a product states with LOCC operations alone.State discrimination
Given two quantum states on a bi- or multipartite Hilbert space, the task is to determine which one of two possible states it is. As a simple example, consider the two Bell statesLet's say the two-qubit system is separated, where the first qubit is given to Alice and the second is given to Bob. Without communication, Alice and Bob cannot distinguish the two states, since for all local measurements all measurement statistics are exactly the same. E.g., assume that Alice measures the first qubit, and obtains the result 0. Since this result is equally likely to occur in each of the two cases, she does not gain any information on which Bell pair she was given and the same holds for Bob if he performs any measurement. But now let Alice send her result to Bob over a classical channel. Now Bob can compare his result to hers and if they are the same he can conclude that the pair given was, since only this allows for a joint measurement outcome. Thus with LOCC and two measurements these two states can be distinguished perfectly. Note that with global measurements, a single measurement is sufficient to distinguish these two states.
There are quantum states that cannot be distinguished with LOCC operations.
Entanglement transformations
While LOCC cannot generate entangled states out of product states, they can be used to transform entangled states into other entangled states. The restriction to LOCC severely limits which transformations are possible.Entanglement conversion
Nielsen has derived a general condition to determine whether one pure state of a bipartite quantum system may be transformed into another using only LOCC. Full details may be found in the paper referenced earlier, the results are sketched out here.Consider two particles in a Hilbert space of dimension with particle states and with Schmidt decompositions
The 's are known as Schmidt coefficients. If they are ordered largest to smallest then can only be transformed into using only local operations if and only if for all in the range
In more concise notation:
This is a more restrictive condition than that local operations cannot increase entanglement measures. It is quite possible that and have the same amount of entanglement but converting one into the other is not possible and even that conversion in either direction is impossible because neither set of Schmidt coefficients majorises the other. For large if all Schmidt coefficients are non-zero then the probability of one set of coefficients majorising the other becomes negligible. Therefore, for large the probability of any arbitrary state being convertible into another via LOCC becomes negligible.
The operations described so far are deterministic, i.e., they succeed with probability 100%. If one is satisfied by probabilistic transformations, many more transformations are possible using LOCC. These operations are called stochastic LOCC. In particular for multi-partite states the convertibility under SLOCC is studied to gain a qualitative insight into the entanglement properties of the involved states.
Going beyond LOCC: Catalytic conversion
If entangled states are available as a resource, these together with LOCC allow a much larger class of transformations. This is the case even if these resource states are not consumed in the process. Thus transformations are called entanglement catalysis. In this procedure, the conversion of an initial state to a final state that is impossible with LOCC is made possible by taking a tensor product of the initial state with a "catalyst state" and requiring that this state is still available at the end of the conversion process. I.e., the catalyst state is left unchanged by the conversion and can then be removed, leaving only the desired final state. Consider the states,These states are written in the form of Schmidt decomposition and in a descending order. We compare the sum of the coefficients of and
In the table, red color is put if, green color is put if, and white color is remained if. After building up the table, one can easily to find out whether and are convertible by looking at the color in the direction. can be converted into by LOCC if the color are all green or white, and can be converted into by LOCC if the color are all red or white. When the table presents both red and green color, the states are not convertible.
Now we consider the product states and ：
Similarly, we make up the table:
The color in the direction are all green or white, therefore, according to the Nielsen's theorem, is possible to be converted into by the LOCC. The catalyst state is taken away after the conversion. Finally we find by the LOCC.