We consider generic pure $n$-qubit states and a general class of pure states of arbitrary dimensions and arbitrary many subsystems. We characterize those states which can be reached from some other state via Local Operations assisted by finitely many rounds of Classical Communication ($LOCC_{\mathbb{N}}$). For qubits we show that this set of states is of measure zero, which implies that the maximally entangled set is generically of full measure if restricted to the practical scenario of finite-round LOCC. Moreover, we identify a class of states for which any $LOCC_{\mathbb{N}}$ protocol can be realized via a concatenation of deterministic steps. We show, however, that in general there exist state transformations which require a probabilistic step within the protocol, which highlights the difference between bipartite and multipartite LOCC.
We consider generic pure n-qubit states and a general class of pure states of arbitrary dimensions and arbitrary many subsystems. We characterize those states which can be reached from some other state via Local Operations assisted by finitely many rounds of Classical Communication (LOCCN). For qubits we show that this set of states is of measure zero, which implies that the maximally entangled set is generically of full measure if restricted to the practical scenario of finite-round LOCC. Moreover, we identify a class of states for which any LOCCN protocol can be realized via a concatenation of deterministic steps. We show, however, that in general there exist state transformations which require a probabilistic step within the protocol, which highlights the difference between bipartite and multipartite LOCC.
We consider generic pure n-qubit states and a general class of pure states of arbitrary dimensions and arbitrarily many subsystems. We characterize those states which can be reached from some other state via local operations assisted by finitely many rounds of classical communication (LOCC_{N}). For n qubits with n>3, we show that this set of states is of measure zero, which implies that the maximally entangled set is generically of full measure if restricted to the practical scenario of LOCC_{N}. Moreover, we identify a class of states for which any LOCC_{N} protocol can be realized via a concatenation of deterministic steps. We show, however, that in general there exist state transformations which require a probabilistic step within the protocol, which highlights the difference between bipartite and multipartite LOCC.
We studied pure state transformations using local operations assisted by finitely many rounds of classical communication (LOCCIN) [C. Spee, J. I. de Vicente, D. Sauerwein, and B. Kraus [Phys. Rev. Lett. (to be published)], arXiv:1606.04418]. Here, we present the details of some of the proofs and generalize the construction of examples of state transformations via LOCCIN which require a probabilistic step. However, we also present explicit examples of SLOCC classes where any separable transformation can be realized by a protocol in which each step is deterministic (all-det-LOCCIN). Such transformations can be considered as natural generalizations of bipartite transformations. Furthermore, we provide examples of pure state transformations which are possible via separable transformations, but not via LOCCIN. We also analyze an interesting genuinely multipartite effect which we call locking or unlocking the power of other parties. This means that one party can prevent or enable the implementation of LOCC transformations by other parties. Moreover, we investigate the maximally entangled set restricted to LOCCIN and show how easily computable bounds on some entanglement measures can be derived by restricting to LOCCIN.
Recent advances have led towards first prototypes of quantum networks in which entanglement is distributed by sources producing bipartite entangled states. This raises the question of which states can be generated in quantum networks based on bipartite sources using local operations and classical communication. In this work, we study state transformations under finite rounds of local operations and classical communication (LOCC) in networks based on maximally entangled two-qubit states. We first derive the symmetries for arbitrary network structures, as these determine which transformations are possible. Then, we show that contrary to tree graphs, for which it has already been shown that any state within the same entanglement class can be reached, there exist states which can be reached probabilistically but not deterministically if the network contains a cycle. Furthermore, we provide a systematic way to determine states which are not reachable in networks consisting of a cycle. Moreover, we provide a complete characterization of the states which can be reached in a cycle network with a protocol where each party measures only once, and each step of the protocol results in a deterministic transformation. Finally, we present an example which cannot be reached with such a simple protocol, and constitutes, up to our knowledge, the first example of a LOCC transformation among fully entangled states requiring three rounds of classical communication.
Understanding multipartite entanglement is a key goal in quantum information. Entanglement in pure states can be characterized by considering transformations under local operations assisted by classical communication (LOCC). However, it has been shown that, for $n\ensuremath{\ge}5$ parties, multipartite pure states are generically isolated, i.e., they can be neither reached nor transformed under LOCC. Nonetheless, in any real laboratory, one never deterministically transforms a pure initial state exactly to a pure target state. Instead, one transforms a mixed state near the initial state to an ensemble that is on average close to the target state. This motivates studying approximate LOCC transformations. After reviewing in detail the known results in the bipartite case, we present the gaps that remain open in the multipartite case. While the analysis of the multipartite setting is much more technically involved due to the existence of different stochastic LOCC (SLOCC) classes, certain features simplify in the approximate setting. In particular, we show that it is sufficient to consider pure initial states, that it is sufficient to consider LOCC protocols with finitely many rounds of communication, and that approximate transformations can be approximated by ensemble transformations within an SLOCC class. Then we formally define a hierarchy of different forms of approximate transformations that are relevant from a physical point of view. Whereas this hierarchy collapses in the bipartite case, we show that this is not the case for the multipartite setting, which is fundamentally richer. To wit, we show that optimal multipartite approximate transformations are not generally deterministic, that ensemble transformations within an SLOCC class can achieve a higher fidelity than deterministic transformations within an SLOCC class, and that there are approximate transformations with no deterministic transformations nearby.
The study of state transformations under local operations and classical communication (LOCC) plays a crucial role in entanglement theory. While this has been long ago characterized for pure bipartite states, the situation is drastically different for systems of more parties: generic pure qudit states cannot be obtained from nor transformed to any state (i.e., they are isolated), which contains a different amount of entanglement. We consider here the question of LOCC convertibility for permutation-symmetric pure states of an arbitrary number of parties and local dimension, a class of clear interest both for physical and mathematical reasons and for which the aforementioned result does not apply given that it is a zero-measure subset in the state space. While it turns out that generic n-qubit symmetric states are also isolated, we consider particular families for which we can determine to be, on the contrary, endowed with a rich local stabilizer, a necessary requirement for LOCC convertibility to be possible. This allows us to identify classes in which LOCC transformations among permutation-symmetric states are possible. Notwithstanding, we provide several results that indicate severe obstructions to LOCC convertibility in general even within these highly symmetrical classes. In the course of the study of LOCC transformations, we also characterize the local symmetries of symmetric states.
Local operations assisted by classical communication (LOCC) constitute the free operations in entanglement theory. Hence, the determination of LOCC transformations is crucial for the understanding of entanglement. We characterize here almost all LOCC transformations among pure multipartite multilevel states. Combined with the analogous results for qubit states shown by Gour \emph{et al.} [J. Math. Phys. 58, 092204 (2017)], this gives a characterization of almost all local transformations among multipartite pure states. We show that nontrivial LOCC transformations among generic, fully entangled, pure states are almost never possible. Thus, almost all multipartite states are isolated. They can neither be deterministically obtained from local-unitary-inequivalent (LU-inequivalent) states via local operations, nor can they be deterministically transformed to pure, fully entangled LU-inequivalent states. In order to derive this result, we prove a more general statement, namely, that, generically, a state possesses no nontrivial local symmetry. We discuss further consequences of this result for the characterization of optimal, probabilistic single copy and probabilistic multi-copy LOCC transformations and the characterization of LU-equivalence classes of multipartite pure states.