For a multipartite system, we sort out all possible entanglements, each of which is among a set of subsystems. Each entanglement can be measured by a generalized relative entropy of entanglement, which is conserved on average under reversible local operations and classical communication (LOCC) defined for all the parties. Then we derive a series of inequalities of different entanglements that have to be satisfied by any pure state which can be generated by reversible LOCC from the set of all GHZ-like states.
For a multipartite system, we sort out all possible entanglements, each of which is among a set of subsystems. Each entanglement can be measured by a generalized relative entropy of entanglement, which is conserved on average under reversible local operations and classical communication (LOCC) defined for all the parties. Then we derive a series of inequalities of different entanglements that have to be satisfied by any pure state which can be generated by reversible LOCC from the set of all GHZ-like states.
We show that not all four-party pure states are Greenberger-Horne-Zeilinger (GHZ) reducible (i.e., can be generated reversibly from a combination of two-, three-, and four-party maximally entangled states by local quantum operations and classical communication asymptotically). We also present some properties of the relative entropy of entanglement for those three-party pure states that are GHZ reducible, and then we relate these properties to the additivity of the relative entropy of entanglement.
Hoping to simplify the classification of pure entangled states of multi $(m)\ensuremath{-}\mathrm{p}\mathrm{a}\mathrm{r}\mathrm{t}\mathrm{i}\mathrm{t}\mathrm{e}$ quantum systems, we study exactly and asymptotically (in n) reversible transformations among nth tensor powers of such states (i.e., n copies of the state shared among the same m parties) under local quantum operations and classical communication (LOCC). For exact transformations, we show that two states whose marginal one-party entropies agree are either locally unitarily equivalent or else LOCC incomparable. In particular we show that two tripartite Greenberger-Horne-Zeilinger states are LOCC incomparable to three bipartite Einstein-Podolsky-Rosen (EPR) states symmetrically shared among the three parties. Asymptotic transformations yield a simpler classification than exact transformations; for example, they allow all pure bipartite states to be characterized by a single parameter---their partial entropy---which may be interpreted as the number of EPR pairs asymptotically interconvertible to the state in question by LOCC transformations. We show that $m\ensuremath{-}\mathrm{p}\mathrm{a}\mathrm{r}\mathrm{t}\mathrm{i}\mathrm{t}\mathrm{e}$ pure states having an $m\ensuremath{-}\mathrm{w}\mathrm{a}\mathrm{y}$ Schmidt decomposition are similarly parametrizable, with the partial entropy across any nontrivial partition representing the number of standard quantum superposition or ``cat'' states $|{0}^{\ensuremath{\bigotimes}m}〉+|{1}^{\ensuremath{\bigotimes}m}〉$ asymptotically interconvertible to the state in question. For general $m\ensuremath{-}\mathrm{p}\mathrm{a}\mathrm{r}\mathrm{t}\mathrm{i}\mathrm{t}\mathrm{e}$ states, partial entropies across different partitions need not be equal, and since partial entropies are conserved by asymptotically reversible LOCC operations, a multicomponent entanglement measure is needed, with each scalar component representing a different kind of entanglement, not asymptotically interconvertible to the other kinds. In particular we show that the m=4 cat state is not isentropic to, and therefore not asymptotically interconvertible to, any combination of bipartite and tripartite states shared among the four parties. Thus, although the m=4 cat state can be prepared from bipartite EPR states, the preparation process is necessarily irreversible, and remains so even asymptotically. For each number of parties m we define a minimal reversible entanglement generating set (MREGS) as a set of states of minimal cardinality sufficient to generate all $m\ensuremath{-}\mathrm{p}\mathrm{a}\mathrm{r}\mathrm{t}\mathrm{i}\mathrm{t}\mathrm{e}$ pure states by asymptotically reversible LOCC transformations. Partial entropy arguments provide lower bounds on the size of the MREGS, but for m>2 we know no upper bounds. We briefly consider several generalizations of LOCC transformations, including transformations with some probability of failure, transformations with the catalytic assistance of states other than the states we are trying to transform, and asymptotic LOCC transformations supplemented by a negligible [o(n)] amount of quantum communication.
The main concern of this paper is how to define proper measures of multipartite entanglement for mixed quantum states. Since the structure of partial separability and multipartite entanglement is getting complicated if the number of subsystems exceeds two, one can not expect the existence of an ultimate scalar entanglement measure, which grasps even a small part of the rich hierarchical structure of multipartite entanglement, and some higher order structure characterizing that is needed. In this paper we make some steps towards this direction.
First, we reveal the lattice-theoretic structure of the partial separability classification, introduced earlier [Sz. Szalay and Z. Kokenyesi, Phys. Rev. A 86, 032341 (2012)]. It turns out that, mathematically, the structure of the entanglement classes is the up-set lattice of the structure of the different kinds of partial separability, which is the down-set lattice of the lattice of the partitions of the subsystems. It turns also out that, physically, this structure is related to the LOCC convertibility: if a class can completely be mapped into another one by the use of LOCC, then it can be found higher in the hierarchy.
Second, we introduce the notion of multipartite monotonicity, expressing that a given set of entanglement monotones, while measuring the different kinds of entanglement, shows also the same hierarchical structure as the entanglement classes. Then we construct such hierarchies of entanglement measures, and propose a physically well-motivated one, being the direct multipartite generalization of the entanglement of formation based on the entanglement entropy, motivated by the notion of statistical distinguishability. The multipartite monotonicity shown by this set of measures motivates us to consider the measures to be the different manifestations of some unified notion of entanglement.
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 main concern of this paper is how to define proper measures of multipartite entanglement for mixed quantum states. Since the structure of partial separability and multipartite entanglement is getting complicated if the number of subsystems exceeds two, one cannot expect the existence of an ultimate scalar entanglement measure, which grasps even a small part of the rich hierarchical structure of multipartite entanglement, and some higher-order structure characterizing that is needed. In this paper we make some steps in this direction. First, we reveal the lattice-theoretic structure of the partial separability classification, introduced earlier [Sz. Szalay and Z. K\"ok\'enyesi, Phys. Rev. A 86, 032341 (2012)]. It turns out that, mathematically, the structure of the entanglement classes is the up-set lattice of the structure of the different kinds of partial separability, which is the down-set lattice of the lattice of the partitions of the subsystems. It also turns out that, physically, this structure is related to the local operations and classical communication convertibility: If a state from a class can be mapped into another one, then that class can be found higher in the hierarchy. Second, we introduce the notion of multipartite monotonicity, expressing that a given set of entanglement monotones, while measuring the different kinds of entanglement, shows also the same hierarchical structure as the entanglement classes. Then we construct such hierarchies of entanglement measures and propose a physically well-motivated one, being the direct multipartite generalization of the entanglement of formation based on the entanglement entropy, motivated by the notion of statistical distinguishability. The multipartite monotonicity shown by this set of measures motivates us to consider the measures to be the different manifestations of some ``unified'' notion of entanglement.
Entanglement is one of the fundamental features of quantum information science.\nThough bipartite entanglement has been analyzed thoroughly in theory and shown to\nbe an important resource in quantum computation and communication protocols, the\ntheory of entanglement shared between more than two parties, which is called multipartite\nentanglement, is still not complete. Specifically, the classification of multipartite\nentanglement and the transformation property between different multipartite states by\nlocal operators and classical communications (LOCC) are two fundamental questions in\nthe theory of multipartite entanglement.\nIn this thesis, we present results related to the LOCC transformation between multipartite\nentangled states. Firstly, we investigate the bounds on the LOCC transformation\nprobability between multipartite states, especially the GHZ class states. By analyzing\nthe involvement of 3-tangle and other entanglement measures under weak two-outcome\nmeasurement, we derive explicit upper and lower bound on the transformation probability\nbetween GHZ class states. After that, we also analyze the transformation between\nN-party W type states, which is a special class of multipartite entangled states that\nhas an explicit unique expression and a set of analytical entanglement monotones. We\npresent a necessary and sufficient condition for a known upper bound of transformation\nprobability between two N-party W type states to be achieved.\nWe also further investigate a novel entanglement transformation protocol, the random\ndistillation, which transforms multipartite entanglement into bipartite entanglement\nii\nshared by a non-deterministic pair of parties. We find upper bounds for the random distillation\nprotocol for general N-party W type states and find the condition for the upper\nbounds to be achieved. What is surprising is that the upper bounds correspond to entanglement\nmonotones that can be increased by Separable Operators (SEP), which gives\nthe first set of analytical entanglement monotones that can be increased by SEP.\nFinally, we investigate the idea of a new class of multipartite entangled states, the\nAbsolutely Maximal Entangled (AME) states, which is characterized by the fact that\nany bipartition of the states would give a maximal entangled state between the two sets.\nThe relationship between AME states and Quantum secret sharing (QSS) protocols is\nexhibited and the application of AME states in novel quantum communication protocols\nis also explored.