We show that any measure of entanglement that on pure bipartite states is given by a strictly concave function of the reduced density matrix is monogamous on pure tripartite states. This includes the important class of bipartite measures of entanglement that reduce to the (von Neumann) entropy of entanglement. Moreover, we show that the convex roof extension of such measures (e.g., entanglement of formation) is monogamous also on mixed tripartite states. To prove our results, we use the definition of monogamy without inequalities recently put forward [Gour and Guo, Quantum 2, 81 (2018)]. Our results promote the concept that monogamy of entanglement is a property of quantum entanglement and not an attribute of some particular measures of entanglement.
We provide a fine-grained definition for monogamous measure of entanglement that does not invoke any particular monogamy relation. Our definition is given in terms an equality, as oppose to inequality, that we call the "disentangling condition". We relate our definition to the more traditional one, by showing that it generates standard monogamy relations. We then show that all quantum Markov states satisfy the disentangling condition for any entanglement monotone. In addition, we demonstrate that entanglement monotones that are given in terms of a convex roof extension are monogamous if they are monogamous on pure states, and show that for any quantum state that satisfies the disentangling condition, its entanglement of formation equals the entanglement of assistance. We characterize all bipartite mixed states with this property, and use it to show that the G-concurrence is monogamous. In the case of two qubits, we show that the equality between entanglement of formation and assistance holds if and only if the state is a rank 2 bipartite state that can be expressed as the marginal of a pure 3-qubit state in the W class.
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.
Multipartite entanglement includes not only the genuine entanglement but also the
k-entanglement $(k\ensuremath{\geqslant}2)$. It is known that the most bipartite entanglement measures have been shown to be monogamous, but the monogamy relation is involved in the bipartite entanglement measures rather than the multipartite ones. So how we can explore the monogamy relation for
k-entanglement becomes a basic open problem. In this paper we establish an axiomatic definition of the monogamy relation for the
k-entanglement measure based on the coarser relation of the system partition. We also present the axiomatic definition of the complete
k-entanglement measure and the associated complete monogamy relation according to the framework of the complete multipartite entanglement measure we established in [Phys. Rev. A 101, 032301 (2020)], which is shown to be an efficient tool for characterizing the multipartite quantum correlation as complementary to the monogamy relation associated with the bipartite measure. Consequently, the relation and the difference between monogamy, complete monogamy, and tightly complete monogamy are clearly depicted in light of the three types of coarser relation of the system partition. We then illustrate our approach with two classes of
k-entanglement measures in detail. We find that all these
k-entanglement measures are monogamous if the reduced function is strictly concave, they are not completely monogamous, and they are not complete generally.
This work focuses on the entanglement quantification. Specifically, we will go over the properties of entanglement that should be satisfied by a "good" entanglement measure. We will have a look at some of the propositions of the entanglement measures that have been made over the years. Then we will be ready to discuss the proposals of the mathematical representations of another property of entanglement, called monogamy. We will introduce some definitions of monogamous entanglement measures that were proposed and compare them. As an original observation of mine (see page 15, Proof 1), I will also prove that the inequalities (23) and (24) from [C. Lancien, S. Di Martino, M. Huber, M. Piani, G. Adesso and A. Winter Phys. Rev. Lett., 117:060501 (2016).] automatically show that the entanglement of formation and the regularised entropy of entanglement are monogamous entanglement measures in the sense of the definitions that was given in [G. Gour and G. Yu, Quantum 2, 81 (2018).].
This dissertation will serve as an introduction to entanglement quantification, containing highly detailed proofs ensuring solid understanding of the subject. Specifically, we will review the properties of entanglement that should be satisfied by a "good" entanglement measure. Then we will have a look at some of the propositions of the entanglement measures that have been made over the years. We will review in greater detail the entanglement of formation. We will discuss the proposals of the mathematical representations of another property of entanglement, called monogamy. We will introduce some definitions of monogamous entanglement measures that were proposed and compare them. As an original observation of mine (page 28), I will also show that "Should Entanglement Measures be Monogamous or Faithful?" (arXiv:1604.02189) has already developed most of what is necessary to prove that the entanglement of formation and the regularised entropy of entanglement are monogamous entanglement measures in the sense of the definition that was given in "Monogamy of entanglement without inequalities" (arXiv:1710.03295).
Abstract Quantum entanglement is known to be monogamous, i.e. it obeys strong constraints on how the entanglement can be distributed among multipartite systems. Almost all the entanglement monotones so far are shown to be monogamous. We explore here a family of entanglement monotones with the reduced functions are concave but not strictly concave and show that they are not monogamous. They are defined by four kinds of the ‘partial-norm’ of the reduced state, which we call them partial-norm of entanglement, minimal partial-norm of entanglement, reinforced minimal partial-norm of entanglement, and partial negativity, respectively. This indicates that, the previous axiomatic definition of the entanglement monotone needs supplemental agreement that the reduced function should be strictly concave since such a strict concavity can make sure that the corresponding convex-roof extended entanglement monotone is monogamous. Here, the reduced function of an entanglement monotone refers to the corresponding function on the reduced state for the measure on bipartite pure states.