Although many different entanglement measures have been proposed so far, much less is known in the multipartite case, which leads to the previous monogamy relations in the literature being not complete. We establish here a strict framework for defining the multipartite entanglement measure (MEM): apart from the postulates of the bipartite measure, i.e., vanishing on separable measures and nonincreasing under local operations and classical communication, a complete MEM should additionally satisfy the unification condition and the hierarchy condition. We then come up with a complete monogamy formula for the unified MEM (an MEM is called a unified MEM if it satisfies the unification condition) and a tightly complete monogamy relation for the complete MEM (an MEM is called a complete MEM if it satisfies both the unification condition and the hierarchy condition). Consequently, we propose MEMs which are multipartite extensions of entanglement of formation (EoF), concurrence, tangle, Tsallis
q entropy of entanglement, R\'enyi $\ensuremath{\alpha}$ entropy of entanglement, the convex-roof extension of negativity, and negativity. We show that (i) the extensions of EoF, concurrence, tangle, and Tsallis
q entropy of entanglement are complete MEMs; (ii) multipartite extensions of R\'enyi $\ensuremath{\alpha}$ entropy of entanglement, negativity, and the convex-roof extension of negativity are unified MEMs but not complete MEMs; and (iii) all these multipartite extensions are completely monogamous, and the ones which are defined by the convex-roof structure (except for the R\'enyi $\ensuremath{\alpha}$ entropy of entanglement and the convex-roof extension of negativity) are not only completely monogamous but also tightly completely monogamous. In addition, as a byproduct, we find a class of states that satisfy the additivity of EoF. We also find a class of tripartite states one part of which can be maximally entangled with the other two parts simultaneously according to the definition of mixed maximally entangled state (MMES) in Li et al. [Z. Li, M. Zhao, S. Fei, H. Fan, and W. Liu, Quantum Inf. Comput. 12, 0063 (2012)]. Consequently, we improve the definition of maximally entangled state (MES) and prove that the only MES is the pure MES.
New measures of multipartite entanglement are constructed based on two definitions of multipartite information and different methods of optimizing over extensions of the states. One is a generalization of the squashed entanglement where one takes the mutual information of parties conditioned on the state's extension and takes the infimum over such extensions. Additivity of the multipartite squashed entanglement is proved for both versions of the multipartite information which turn out to be related. The second one is based on taking classical extensions. This scheme is generalized, which enables to construct measures of entanglement based on the mixed convex roof of a quantity, which in contrast to the standard convex roof method involves optimization over all decompositions of a density matrix rather than just the decompositions into pure states. As one of the possible applications of these results we prove that any multipartite monotone is an upper bound on the amount of multipartite distillable key. The findings are finally related to analogous results in classical key agreement.
New measures of multipartite entanglement are constructed based on two definitions of multipartite information and different methods of optimizing over extensions of the states. One is a generalization of the squashed entanglement where one takes the mutual information of parties conditioned on the state's extension and takes the infimum over such extensions. Additivity of the multipartite squashed entanglement is proved for both versions of the multipartite information which turn out to be related. The second one is based on taking classical extensions. This scheme is generalized, which enables to construct measures of entanglement based on the mixed convex roof of a quantity, which in contrast to the standard convex roof method involves optimization over all decompositions of a density matrix rather than just the decompositions into pure states. As one of the possible applications of these results we prove that any multipartite monotone is an upper bound on the amount of multipartite distillable key. The findings are finally related to analogous results in classical key agreement.
We recently showed that multipartite correlations between outcomes of random observables detect quantum entanglement in all pure and some mixed states. In this followup article we further develop this approach, derive a maximal amount of such correlations, and show that they are not monotonous under local operations and classical communication. Nevertheless, we demonstrate their usefulness in entanglement detection with a single random observable per party. Finally we study convex-roof extension of the correlations and provide a closed-form necessary and sufficient condition for entanglement in rank-2 mixed states and a witness in general.
Abstract To quantify the entanglement is one of the most important topics in quantum entanglement theory. An entanglement measure is built from measures for pure states. Conditions when the entanglement measure is entanglement monotone and convex are presented, as well as the interpretation of smoothed one‐shot entanglement cost. Next, a difference between the measure under the local operation and classical communication and the separability‐preserving operations is presented. Then, the relation between the convex roof extended method and the way here for the entanglement measures built from the geometric entanglement measure for pure states, as well as the concurrence for pure states in two‐qubit systems are considered. It is also shown that the measure is monogamous for system.