Nielsen characterized in full those 2-party quantum protocols of local operations and classical communication that transform, with probability one, a pure global initial state into a pure global final state. The present work considers the generalization of Nielsen's characterization to n-party protocols. It presents a sweeping generalization of the only if part of Nielsen's result. The result presented here pertains also to protocols that do not generate a final state for sure, it considers arbitrary mixed initial states instead of pure states and n-party protocols for an arbitrary n. In this very general setting, local operations and classical communication can never decrease the expected spectra of the local mixed states in the majorization ordering. In other terms, the local states can only become purer (weakly) in expectation. The proof also provides an improvement on Nielsen's. The if part of Nielsen's characterization does not generalize. This is shown by studying the entanglement of three qubits. It is shown that one can find pure states of a system of three qubits that are not equivalent under unitary local operations but define local mixed states on all subparts of the system that have the same spectra. Neither equivalence of pure states under local unitary operations nor accessibility under LOCC operations among a system of three qubits can be characterized by properties of the spectra of the local mixed states.
Nielsen characterized in full those 2-party quantum protocols of local operations and classical communication that transform, with probability one, a pure global initial state into a pure global final state. The present work considers the generalization of Nielsen's characterization to n-party protocols. It presents a sweeping generalization of the only if part of Nielsen's result. The result presented here pertains also to protocols that do not generate a final state for sure, it considers arbitrary mixed initial states instead of pure states and n-party protocols for an arbitrary n. In this very general setting, local operations and classical communication can never decrease the expected spectra of the local mixed states in the majorization ordering. In other terms, the local states can only become purer (weakly) in expectation. The proof also provides an improvement on Nielsen's. The if part of Nielsen's characterization does not generalize. This is shown by studying the entanglement of three qubits. It is shown that one can find pure states of a system of three qubits that are not equivalent under unitary local operations but define local mixed states on all subparts of the system that have the same spectra. Neither equivalence of pure states under local unitary operations nor accessibility under LOCC operations among a system of three qubits can be characterized by properties of the spectra of the local mixed states.
Majorization is an outstanding tool to compare the purity of mixed states or the amount of information they contain and also the degrees of entanglement presented by such states in tensor products. States are compared by their spectra and majorization defines a partial order on those. This paper studies the effect of measurements on the majorization relation among states. It, then, proceeds to study the effect of local measurements on the agents sharing an entangled global state. If the result of the measurement is recorded, Nielsen and Vidal showed that the expected spectrum after any P.O.V.M. measurement majorizes the initial spectrum, i.e., a P.O.V.M. measurement cannot, in expectation, reduce the information of the observer. A new proof of this result is presented and, as a consequence, the only if part of Nielsen's characterization of LOCC transformations is generalized to n-party entanglement. If the result of a bi-stochastic measurement is not recorded, the initial state majorizes the final state, i.e., no information may be gained by such a measurement. This strengthens a result of A. Peres. In the n-party setting, no local trace preserving measurement by Alice can change the local state of another agent.
A necessary and sufficient condition of the possibility of a deterministic local operations and classical communication (LOCC) transformation of three-qubit pure states is given. The condition shows that the three-qubit pure states are a partially ordered set parametrized by five well-known entanglement parameters and a novel parameter; the five are the concurrences CAB, CAC, CBC, the tangle τABC and the fifth parameter J5 of Acín et al. (2000) Ref. [19], while the other new one is the entanglement charge Qe. The order of the partially ordered set is defined by the possibility of a deterministic LOCC transformation from a state to another state. In this sense, the present condition is an extension of Nielsen’s work (Nielsen (1999) [14]) to three-qubit pure states. We also clarify the rules of transfer and dissipation of the entanglement which is caused by deterministic LOCC transformations. Moreover, the minimum number of times of measurements to reproduce an arbitrary deterministic LOCC transformation between three-qubit pure states is given.
Abstract We develop the theory of local operations and classical communication (LOCC) for bipartite quantum systems represented by commuting von Neumann algebras. Our central result is the extension of Nielsen’s Theorem, stating that the LOCC ordering of bipartite pure states is equivalent to the majorization of their restrictions to arbitrary factors. As a consequence, we find that in bipartite system modeled by commuting factors in Haag duality, (a) all states have infinite single-shot entanglement if and only if the local factors are not of type I, (b) type III factors are characterized by LOCC transitions of arbitrary precision between any two pure states, and c) the latter holds even without classical communication for type III1 III 1 factors. In the case of semifinite factors, the usual construction of pure state entanglement monotones carries over. Together with recent work on embezzlement of entanglement, this gives a one-to-one correspondence between the classification of factors into types and subtypes and operational entanglement properties. In the appendix, we provide a self-contained treatment of majorization on semifinite von Neumann algebras and σ σ -finite measure spaces.
Suppose that several parties jointly possess a pure multipartite state, |ψ⟩. Using local operations on their respective systems and classical communication (i.e. LOCC), it may be possible for the parties to transform deterministically |ψ⟩ into another joint state |ϕ⟩. In the bipartite case, the Nielsen majorization theorem gives the necessary and sufficient conditions for this process of entanglement transformation to be possible. In the multipartite case, such a deterministic local transformation is possible only if both the states are in the same stochastic LOCC (SLOCC) class. Here, we generalize the Nielsen majorization theorem to the multipartite case, and find necessary and sufficient conditions for the existence of a local separable transformation between two multipartite states in the same SLOCC class. When such a deterministic conversion is not possible, we find an expression for the maximum probability to convert one state to another by local separable operations. In addition, we find necessary and sufficient conditions for the existence of a separable transformation that converts a multipartite pure state into one of a set of possible final states all in the same SLOCC class. Our results are expressed in terms of (i) the stabilizer group of the state representing the SLOCC orbit and (ii) the associate density matrices (ADMs) of the two multipartite states. The ADMs play a similar role to that of the reduced density matrices when considering local transformations that involve pure bipartite states. We show, in particular, that the requirement that one ADM majorizes another is a necessary condition but is, in general, far from also being sufficient as it happens in the bipartite case. In most of the results the twirling operation with respect to the stabilizer group (of the representative state in the SLOCC orbit) plays an important role that provides a deep link between entanglement theory and the resource theory of reference frames.
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.
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.