When Is a Genuine Multipartite Entanglement Measure Monogamous?

Abstract

A crucial issue in quantum communication tasks is characterizing how quantum resources can be quantified and distributed over many parties. Consequently, entanglement has been explored extensively. However, there are few genuine multipartite entanglement measures and whether it is monogamous is so far unknown. In this work, we explore the complete monogamy of genuine multipartite entanglement measure (GMEM) for which, at first, we investigate a framework for unified/complete GMEM according to the unified/complete multipartite entanglement measure we proposed in 2020. We find a way of inducing unified/complete GMEM from any given unified/complete multipartite entanglement measure. It is shown that any unified GMEM is completely monogamous, and any complete GMEM that is induced by given complete multipartite entanglement measure is completely monogamous. In addition, the previous GMEMs are checked under this framework. It turns out that the genuinely multipartite concurrence is not as good of a candidate as GMEM.

1. Introduction

Entanglement is a quintessential manifestation of quantum mechanics and is often considered to be a useful resource for tasks like quantum teleportation or quantum cryptography [1,2,3,4], etc. There has been a tremendous amount of research in the literature aimed at characterizing entanglement in the last three decades [1,2,3,4,5,6,7,8,9]. In an effort to contribute to this line of research, however, the genuine multiparty entanglement, which represents the strongest form of entanglement in many body systems, still remains unexplored or less studied in many facets.

A fundamental issue in this field is to quantify the genuine multipartite entanglement and then analyze the distribution among the different parties. In 2000 [10], Coffman et al. presented a measure of genuine three-qubit entanglement, called “residual tangle”, and discussed the distribution relation for the first time. In 2011, Ma et al. [11] established postulates for a quantity to be a GMEM and gave a genuine measure, called genuinely multipartite concurrence (GMC), by the origin bipartite concurrence. The GMC is further explored in Ref. [12], the generalized geometric measure is introduced in Refs. [13,14], and the average of “residual tangle” and GMC, i.e., $(\tau +C_{gme})/2$ [15], is shown to be genuine multipartite entanglement measures. Another one is the divergence-based genuine multipartite entanglement measure presented in [16,17]. Recently, Ref. [18] introduced a new genuine three-qubit entanglement measure, called concurrence triangle, which is quantified as the square root of the area of a triangle deduced by concurrence. Consequently, we improved and supplemented the method in [18] and proposed a general way of defining GMEM in Ref. [19].

The distribution of entanglement is believed to be monogamous, i.e., a quantum system entangled with another system limits its entanglement with the remaining others [20]. There are two methods used in this research. The first one is analyzing monogamy relation based on bipartite entanglement measure, and the second one is based on multipartite entanglement measure. For the former one, considerable efforts have been made in the last two decades [10,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40]. It is shown that almost all bipartite entanglement measures we know by now are monogamous. In 2020, we established a framework for multipartite entanglement measure and discussed its monogamy relation, which is called complete monogamy relation and tight complete monogamy relation [22]. Under this framework, the distribution of entanglement becomes more clear since it displays a complete hierarchy relation of different subsystems. We also proposed several multipartite entanglement measures and showed that they are completely monogamous.

The situation becomes much more complex when we deal with genuine entanglement, since it associates with not only multiparty system but also the most complex entanglement structure. The main purpose of this work is to establish the framework of unified/complete GMEM, by which we then present the definition of complete monogamy and tight complete monogamy of unified and complete GMEM, respectively. Another aim is to find an approach of deriving GMEM from the multipartite entanglement measure introduced in Ref. [22]. In the next section we list some necessary concepts and the associated notations. In Section 3 we discuss the framework of unified/complete GMEM and give several illustrated examples. Then, in Section 4, we investigate the complete monogamy relation and tight complete monogamy relation for GMEM accordingly. A summary is concluded in the last section.

2. Preliminary

For convenience, in this section, we recall the concepts of genuine entanglement, complete multipartite entanglement measure, monogamy relation, complete monogamy relation, and genuine multipartite entanglement measure. In the first subsection, we introduce the coarser relation of multipartite partition by which the following concepts can be easily processed. For simplicity, throughout this paper, we denote by ${\mathcal{H}}^{A_1{A}_2\cdots A_m}:={\mathcal{H}}^{A_1}\otimes {\mathcal{H}}^{A_2}\otimes \cdots \otimes {\mathcal{H}}^{A_m}$ an m-partite Hilbert space with finite dimension and by ${\mathcal{S}}^X$ we denote the set of density operators acting on ${\mathcal{H}}^X$.

2.1. Coarser Relation of Multipartite Partition

Let $X_1|X_2|\cdots |X_k$ be a partition (or called k-partition) of $A_1{A}_2\cdots A_m$, i.e., $X_s=A_{s\left(1\right)}{A}_{s\left(2\right)}\cdots A_{s\left(f\right(s\left)\right)}$, $s\left(i\right)<s\left(j\right)$ whenever $i<j$, and $s\left(p\right)<t\left(q\right)$ whenever $s<t$ for any possible p and q, $1\le s,t\le k$. For instance, partition $AB\left|C\right|DE$ is a 3-partition of $ABCDE$. Let $X_1|X_2|\cdots |X_k$ and $Y_1|Y_2|\cdots |Y_l$ be two partitions of $A_1{A}_2\cdots A_n$ or subsystem of $A_1{A}_2\cdots A_n$. $Y_1|Y_2|\cdots |Y_l$ is said to be coarser than $X_1|X_2|\cdots |X_k$, denoted by

$$\begin{array}{c}\hfill X_1|X_2|\cdots |X_k\succ Y_1|Y_2|\cdots |Y_l,\end{array}$$

(1)

if $Y_1|Y_2|\cdots |Y_l$ can be obtained from $X_1|X_2|\cdots |X_k$ by one or some of the following ways (the coarser relation was also introduced in Ref. [41], but the the third case in Ref. [41] is a little different from the third item below):

• (C1) Discarding some subsystem(s) of $X_1|X_2|\cdots |X_k$;
• (C2) Combining some subsystems of $X_1|X_2|\cdots |X_k$;
• (C3) Discarding some subsystem(s) of some subsystem(s) $X_k$ provided that $X_k=A_{k\left(1\right)}{A}_{k\left(2\right)}\cdots A_{k\left(f\right(k\left)\right)}$ with $f\left(k\right)\ge 2$.

For example, $A\left|B\right|C\left|D\right|E\succ A\left|B\right|C|DE\succ A|B\left|C\right|D\succ AB\left|C\right|D\succ AB|CD$, $A\left|B\right|C|DE\succ A|B|DE$. Clearly, $X_1|X_2|\cdots |X_k\succ Y_1|Y_2|\cdots |Y_l$ and $Y_1|Y_2|\cdots |Y_l\succ Z_1|Z_2|\cdots |Z_s$ imply $X_1|X_2|\cdots |X_k\succ Z_1|Z_2|\cdots |Z_s$.

Furthermore, if $X_1|X_2|\cdots |X_k\succ Y_1|Y_2|\cdots |Y_l$, we denote by $\Xi \left(X_1\right|X_2|\cdots |X_k-Y_1\left|Y_2\right|\cdots \left|Y_l\right)$ the set of all the partitions that are coarser than $X_1|X_2|\cdots |X_k$ and either exclude any subsystem of $Y_1|Y_2|\cdots |Y_l$ or include some but not all subsystems of $Y_1|Y_2|\cdots |Y_l$. We take the five-partite system $ABCDE$ for example, $\Xi \left(A\right|B\left|CD\right|E-A\left|B\right)=\left\{CD|E,A|CD|E,B|CD|E,A|CD,A|E,B|E,A|C,A|D,B|C,B|D\right\}$.

For more clarity, we fix the following notations. Let $X_1|X_2|\cdots |X_k$ and $Y_1|Y_2|\cdots |Y_l$ be partitions of $A_1{A}_2\cdots A_n$ or subsystem of $A_1{A}_2\cdots A_n$. We denote by

$$\begin{array}{c}\hfill X_1|X_2|\cdots |X_k{\succ }^a{Y}_1|Y_2|\cdots |Y_l\end{array}$$

(2)

for the case of (C1), by

$$\begin{array}{c}\hfill X_1|X_2|\cdots |X_k{\succ }^b{Y}_1|Y_2|\cdots |Y_l\end{array}$$

(3)

for the case of of (C2), and in addition by

$$\begin{array}{c}\hfill X_1|X_2|\cdots |X_k{\succ }^c{Y}_1|Y_2|\cdots |Y_l\end{array}$$

(4)

for the case of of (C2). For example, $A\left|B\right|C|D{\succ }^{a}A\left|B\right|D{\succ }^{a}B|D$, $A\left|B\right|C|D{\succ }^{b}AC\left|B\right|D{\succ }^{b}AC|BD$, $A|BC{\succ }^{c}A|B$, $A|BC{\succ }^{c}A|C$.

2.2. Multipartite Entanglement

An m-partite pure state $|\psi \rangle \in {\mathcal{H}}^{A_1{A}_2\cdots A_m}$ is called biseparable if it can be written as $|\psi \rangle ={|\psi \rangle }^X\otimes {|\psi \rangle }^Y$ for some bipartition of $A_1{A}_2\cdots A_m$. $|\psi \rangle$ is said to be k-separable if $|\psi \rangle ={|\psi \rangle }^{X_1}{|\psi \rangle }^{X_2}\cdots {|\psi \rangle }^{X_k}$ for some k-partition of $A_1{A}_2\cdots A_m$. $|\psi \rangle$ is called fully separable if it is m-separable. It is clear that whenever a state is k-separable, it is automatically also l-separable for all $1<l<k\le m$. An m-partite mixed state $\rho$ is biseparable if it can be written as a convex combination of biseparable pure states $\rho ={\sum }_i{p}_i|{\psi }_i\rangle \langle {\psi }_i|$, wherein the contained $\left\{\right|{\psi }_i\rangle \}$ can be biseparable with respect to different bipartitions (i.e., a mixed biseparable state does not need to be separable with respect to any particular bipartition). Otherwise it is called genuinely m-partite entangled (or called genuinely entangled briefly). We denote by ${\mathcal{S}}_g^{A_1{A}_2\cdots A_m}$ the set of all genuinely entangled states in ${\mathcal{S}}^{A_1{A}_2\cdots A_m}$. Throughout this paper, for any $\rho \in {\mathcal{S}}^{A_1{A}_2\cdots A_m}$ and any given k-partition $X_1|X_2|\cdots |X_k$ of $A_1{A}_2\cdots A_m$, we denote by ${\rho }^{X_1|X_2|\cdots |X_k}$ the state for which we consider it as a k-partite state with respect to the partition $X_1|X_2|\cdots |X_k$.

2.3. Complete Multipartite Entanglement Measure

A function $E^{\left(m\right)}:{\mathcal{S}}^{A_1{A}_2\cdots A_m}\to {\mathbb{R}}_{+}$ is called an m-partite entanglement measure in literatures [3,42,43] if it satisfies:

• (E1)$E^{\left(m\right)}\left(\rho \right)=0$ if $\rho$ is fully separable;
• (E2)$E^{\left(m\right)}$ cannot increase under m-partite LOCC.

An m-partite entanglement measure $E^{\left(m\right)}$ is said to be an m-partite entanglement monotone if it is convex and does not increase on average under m-partite stochastic LOCC. For simplicity, throughout this paper, if E is an entanglement measure (bipartite, or multipartite) for pure states, we define

$$\begin{array}{c}\hfill E_F\left(\rho \right):=min\sum _i{p}_i{E}^{\left(m\right)}\left(\right|{\psi }_i\rangle )\end{array}$$

(5)

and call it the convex-roof extension of E, where the minimum is taken over all pure-state decomposition $\{p_i,|{\psi }_i\rangle \}$ of $\rho$ (Sometimes, we use $E^F$ to denote $E_F$ hereafter). When we take into consideration an m-partite entanglement measure, we need discuss whether it is defined uniformly for any k-partite system at first, $k<m$. Let $E^{\left(m\right)}$ be a multipartite entanglement measure (MEM). If $E^{\left(k\right)}$ is uniquely determined by $E^{\left(m\right)}$ for any $2\le k<m$, then we call $E^{\left(m\right)}$ a uniform MEM. For example, GMC, denoted by $C_{gme}$ [11], is uniquely defined for any k, thus it is a uniform GMEM. Recall that,

$$\begin{array}{c}\hfill C_{gme}\left(\right|\psi \rangle ):=\underset{{\gamma }_i\in \gamma }{min}\sqrt{2\left[1-\mathrm{Tr}{\left({\rho }^{A_{{\gamma }_i}}\right)}^2\right]}\end{array}$$

for pure state $|\psi \rangle \in {\mathcal{H}}^{A_1{A}_2\cdots A_m}$, where $\gamma =\left\{{\gamma }_i\right\}$ represents the set of all possible bipartitions of $A_1{A}_2\cdots A_m$, and via the convex-roof extension for mixed states [11]. All the unified MEMs presented in Ref. [22] are uniform MEM. That is, a uniform MEM is series of MEMs that have uniform expressions definitely. A uniform MEM $E^{\left(m\right)}$ is called a unified multipartite entanglement measure if it also satisfies the following condition [22]:

• (E3)the unification condition, i.e., $E^{\left(m\right)}$ is consistent with $E^{\left(k\right)}$ for any $2⩽k<m$.

The unification condition should be comprehended in the following sense [22]. Let ${|\psi \rangle }^{A_1{A}_2\cdots A_m}={|\psi \rangle }^{A_1{A}_2\cdots A_k}{|\psi \rangle }^{A_{k+1}\cdots A_m}$, then

$$\begin{array}{c}\hfill E^{\left(m\right)}{\left(\right|\psi \rangle }^{A_1{A}_2\cdots A_m})=E^{\left(k\right)}{\left(\right|\psi \rangle }^{A_1{A}_2\cdots A_k})+E^{(m-k)}{|\psi \rangle }^{A_{k+1}\cdots A_m}.\end{array}$$

And

$$\begin{array}{c}\hfill E^{\left(m\right)}\left({\rho }^{A_1{A}_2\cdots A_m}\right)=E^{\left(m\right)}\left({\rho }^{\pi (A_1{A}_2\cdots A_m)}\right)\end{array}$$

for any ${\rho }^{A_1{A}_2\cdots A_m}\in {\mathcal{S}}^{A_1{A}_2\cdots A_m}$, where $\pi$ is a permutation of the subsystems. In addition,

$$\begin{array}{c}\hfill E^{\left(k\right)}(X_1|X_2|\cdots |X_k)⩾E^{\left(l\right)}(Y_1|Y_2|\cdots |Y_l)\end{array}$$

for any ${\rho }^{A_1{A}_2\cdots A_m}\in {\mathcal{S}}^{A_1{A}_2\cdots A_m}$ whenever $X_1|X_2|\cdots |X_k{\succ }^a{Y}_1|Y_2|\cdots |Y_l$, where the vertical bar indicates the split across which the entanglement is measured. A uniform MEM $E^{\left(m\right)}$ is called a complete multipartite entanglement measure if it satisfies both (E3) above and the following [22]:

• (E4)$E^{\left(m\right)}(X_1|X_2|\cdots |X_k)⩾E^{\left(k\right)}(Y_1|Y_2|\cdots |Y_l)$ holds for all $\rho \in {\mathcal{S}}^{A_1{A}_2\cdots A_m}$ whenever $X_1|X_2|\cdots |X_k{\succ }^b{Y}_1|Y_2|\cdots |Y_l$.

We need to remark here that, although the partial trace is in fact a special trace-preserving completely positive map, we cannot derive ${\rho }^{Y_1|Y_2|\cdots |Y_l}$ from ${\rho }^{X_1|X_2|\cdots |X_k}$ by any k-partite LOCC for any given $X_1|X_2|\cdots |X_k\succ Y_1|Y_2|\cdots |Y_l$. Namely, different from that of bipartite case, the unification condition cannot be induced by the m-partite LOCC. For any bipartite measure E, $E\left(A\right|BC)\ge E(AB)$ for any ${\rho }^{ABC}$ since ${\rho }^{AB}={\mathrm{Tr}}_C{\rho }^{ABC}$ can be obtained by partial trace on part C and such a partial trace is in fact a bipartite LOCC acting on $A|BC$. However, ${\rho }^{AB}$ cannot be derived from any tripartite LOCC acting on ${\rho }^{ABC}$. Thus, whether $E^{\left(3\right)}\left(A\right|BC)\ge E^{\left(2\right)}\left(AB\right)$ is unknown.

Several unified tripartite entanglement measures were proposed in Ref. [22]:

$$\begin{array}{ccc}\hfill E_f^{\left(3\right)}\left(|\psi \rangle \right)& =& \frac{1}{2}\left[S\left({\rho }^A\right)+S\left({\rho }^B\right)+S\left({\rho }^C\right)\right],\hfill \\ \hfill {\tau }^{\left(3\right)}\left(\right|\psi \rangle )& =& 3-\mathrm{Tr}{\left({\rho }^A\right)}^2-\mathrm{Tr}{\left({\rho }^B\right)}^2-\mathrm{Tr}{\left({\rho }^C\right)}^2,\hfill \\ \hfill C^{\left(3\right)}\left(\right|\psi \rangle )& =& \sqrt{{\tau }^{\left(3\right)}\left(\right|\psi \rangle )},\hfill \\ \hfill N^{\left(3\right)}\left(\right|\psi \rangle )& =& {\mathrm{Tr}}^2\sqrt{{\rho }^A}+{\mathrm{Tr}}^2\sqrt{{\rho }^B}+{\mathrm{Tr}}^2\sqrt{{\rho }^C}-3,\hfill \\ \hfill T_q^{\left(3\right)}\left(\right|\psi \rangle )& =& \frac{1}{2}\left[T_q\left({\rho }^A\right)+T_q\left({\rho }^B\right)+T_q\left({\rho }^C\right)\right],q>1,\hfill \\ \hfill R_{\alpha }^{\left(3\right)}\left(\right|\psi \rangle )& =& \frac{1}{2}{R}_{\alpha }({\rho }^A\otimes {\rho }^B\otimes {\rho }^C),0<\alpha <1\hfill \end{array}$$

for pure state $|\psi \rangle \in {\mathcal{H}}^{ABC}$, and then by the convex-roof extension for mixed state ${\rho }^{ABC}\in {\mathcal{S}}^{ABC}$ (for mixed state, $N^{\left(3\right)}$ is replaced with $N_F^{\left(3\right)}$), where $T_q\left(\rho \right):={(1-q)}^{-1}[\mathrm{Tr}\left({\rho }^q\right)-1]$ is the Tsallis q-entropy, $R_{\alpha }\left(\rho \right):={(1-\alpha )}^{-1}ln\left(\mathrm{Tr}{\rho }^{\alpha }\right)$ is the Rényi $\alpha$-entropy. In addition [22],

$$N^{\left(3\right)}\left(\rho \right)=\parallel {\rho }^{T_a}{\parallel }_{\mathrm{Tr}}+\parallel {\rho }^{T_b}{\parallel }_{\mathrm{Tr}}+{\parallel {\rho }^{T_c}\parallel }_{\mathrm{Tr}}-3$$

(6)

for any $\rho \in {\mathcal{S}}^{ABC}$. $E_f^{\left(3\right)}$, $C^{\left(3\right)}$, ${\tau }^{\left(3\right)}$ and $T_q^{\left(3\right)}$ are shown to be complete tripartite entanglement measures while $R_{\alpha }^{\left(3\right)}$, $N^{\left(3\right)}$ and $N_F^{\left(3\right)}$ are proved to be unified but not complete tripartite entanglement measures [22].

In Ref. [44], we introduce three unified tripartite entanglement measures (but not complete tripartite entanglement measures) in terms of fidelity:

$$\begin{array}{ccc}\hfill E_{\mathcal{F}}^{\left(3\right)}\left(|\psi \rangle \right)& :=& 1-\mathcal{F}\left(|\psi \rangle \langle \psi |,{\rho }^A\otimes {\rho }^B\otimes {\rho }^C\right),\hfill \end{array}$$

(7)

$$\begin{array}{ccc}\hfill E_{{\mathcal{F}}^{\prime }}^{\left(3\right)}\left(|\psi \rangle \right)& :=& 1-\sqrt{\mathcal{F}}\left(|\psi \rangle \langle \psi |,{\rho }^A\otimes {\rho }^B\otimes {\rho }^C\right),\hfill \end{array}$$

(8)

$$\begin{array}{ccc}\hfill E_{A\mathcal{F}}^{\left(3\right)}\left(|\psi \rangle \right)& :=& 1-{\mathcal{F}}_A\left(|\psi \rangle \langle \psi |,{\rho }^A\otimes {\rho }^B\otimes {\rho }^C\right),\hfill \end{array}$$

(9)

for any pure state $|\psi \rangle$ in ${\mathcal{H}}^{ABC}$, where $\mathcal{F}$ is the Uhlmann-Jozsa fidelity $\mathcal{F}$ [45,46], which is defined as

$$\begin{array}{c}\hfill \mathcal{F}(\rho ,\sigma ):={\left(\mathrm{Tr}\sqrt{\sqrt{\rho }\sigma \sqrt{\rho }}\right)}^2,\end{array}$$

(10)

$\sqrt{\mathcal{F}}$ is defined by [47,48,49]

$$\begin{array}{c}\hfill \sqrt{\mathcal{F}}(\rho ,\sigma ):=\sqrt{\mathcal{F}(\rho ,\sigma )},\end{array}$$

(11)

and the A-fidelity, ${\mathcal{F}}_A$, is the square of the quantum affinity $A(\rho ,\sigma )$ [50,51], i.e.,

$$\begin{array}{c}\hfill {\mathcal{F}}_A(\rho ,\sigma ):={\left[\mathrm{Tr}\left(\sqrt{\rho }\sqrt{\sigma }\right)\right]}^2.\end{array}$$

(12)

For mixed states, $E_{\mathcal{F},F}^{\left(3\right)}$, $E_{{\mathcal{F}}^{\prime },F}^{\left(3\right)}$, and $E_{A\mathcal{F},F}^{\left(3\right)}$ are defined by the convex-roof extension as in Equation (5).

2.4. Monogamy Relation

For a given bipartite measure Q (such as entanglement measure and other quantum correlation measure), Q is said to be monogamous (we take the tripartite case for example) if [10,26]

$$\begin{array}{c}\hfill Q\left(A\right|BC)⩾Q(AB)+Q(AC).\end{array}$$

(13)

However, Equation (13) is not valid for many entanglement measures [10,24,52,53] but some power function of Q admits the monogamy relation (i.e., $Q^{\alpha }\left(A\right|BC)⩾Q^{\alpha }\left(AB\right)+Q^{\alpha }\left(AC\right)$ for some $\alpha >0$). In Ref. [23], we address this issue by proposing an improved definition of monogamy (without inequalities) for entanglement measure: A bipartite measure of entanglement E is monogamous if for any $\rho \in {\mathcal{S}}^{ABC}$ that satisfies the disentangling condition, i.e.,

$$E\left({\rho }^{A|BC}\right)=E\left({\rho }^{AB}\right),$$

(14)

we have that $E\left({\rho }^{AC}\right)=0$, where ${\rho }^{AB}={\mathrm{Tr}}_C{\rho }^{ABC}$. With respect to this definition, a continuous measure E is monogamous according to this definition if and only if there exists $0<\alpha <\infty$ such that

$$E^{\alpha }\left({\rho }^{A|BC}\right)⩾E^{\alpha }\left({\rho }^{AB}\right)+E^{\alpha }\left({\rho }^{AC}\right)$$

(15)

for all $\rho$ acting on the state space ${\mathcal{H}}^{ABC}$ with fixed $dim{\mathcal{H}}^{ABC}=d<\infty$ (see Theorem 1 in Ref. [23]). Notice that, for these bipartite measures, only the relation between $A|BC$, $AB$ and $AC$ are revealed, and the global correlation in ABC and the correlation contained in part $BC$ are missed [22]. That is, the monogamy relation in such a sense is not “complete”. For a unified tripartite entanglement measure $E^{\left(3\right)}$, it is said to be completely monogamous if for any $\rho \in {\mathcal{S}}^{ABC}$ that satisfies [22]

$$E^{\left(3\right)}\left({\rho }^{ABC}\right)=E^{\left(2\right)}\left({\rho }^{AB}\right)$$

(16)

we have that $E^{\left(2\right)}\left({\rho }^{AC}\right)=E^{\left(2\right)}\left({\rho }^{BC}\right)=0$. If $E^{\left(3\right)}$ is a continuous unified tripartite entanglement measure. Then, $E^{\left(3\right)}$ is completely monogamous if and only if there exists $0<\alpha <\infty$ such that [22]

$$\begin{array}{c}\hfill E^{\alpha }\left({\rho }^{ABC}\right)⩾E^{\alpha }\left({\rho }^{AB}\right)+E^{\alpha }\left({\rho }^{AC}\right)+E^{\alpha }\left({\rho }^{BC}\right)\end{array}$$

(17)

for all ${\rho }^{ABC}\in {\mathcal{S}}^{ABC}$ with fixed $dim{\mathcal{H}}^{ABC}=d<\infty$, here we omitted the superscript ${}^{(2,3)}$ of $E^{(2,3)}$ for brevity. Let $E^{\left(3\right)}$ be a complete MEM. $E^{\left(3\right)}$ is defined to be tightly complete monogamous if for any state ${\rho }^{ABC}\in {\mathcal{S}}^{ABC}$ that satisfies [22]

$$\begin{array}{c}\hfill E^{\left(3\right)}\left({\rho }^{ABC}\right)=E^{\left(2\right)}\left({\rho }^{A|BC}\right)\end{array}$$

(18)

we have $E^{\left(2\right)}\left({\rho }^{BC}\right)=0$, which is equivalent to

$$\begin{array}{c}\hfill E^{\alpha }\left({\rho }^{ABC}\right)⩾E^{\alpha }\left({\rho }^{A|BC}\right)+E^{\alpha }\left({\rho }^{BC}\right)\end{array}$$

for some $\alpha >0$. Here we omitted the superscript ${}^{(2,3)}$ of $E^{(2,3)}$ for brevity. For the general case of $E^{\left(m\right)}$, one can similarly follow with the same spirit.

2.5. Genuine Entanglement Measure

A function $E_g^{\left(m\right)}:{\mathcal{S}}^{A_1{A}_2\cdots A_m}\to {\mathbb{R}}_{+}$ is defined to be a measure of genuine multipartite entanglement if it admits the following conditions [11]:

• (GE1)$E_g^{\left(m\right)}\left(\rho \right)=0$ for any biseparable $\rho \in {\mathcal{S}}^{A_1{A}_2\cdots A_m}$;
• (GE2)$E_g^{\left(m\right)}\left(\rho \right)>0$ for any genuinely entangled state $\rho \in {\mathcal{S}}^{A_1{A}_2\cdots A_m}$. This item can be weakened as: $E_g^{\left(m\right)}\left(\rho \right)⩾0$ for any genuinely entangled state $\rho \in {\mathcal{S}}^{A_1{A}_2\cdots A_m}$. That is, maybe there exists some state that is genuinely entangled such that $E_g^{\left(m\right)}\left(\rho \right)=0$. In such a case, the measure is called not faithful. Otherwise, it is called faithful. For example, the “residual tangle” is not faithful since it is vanished for the W state;
• (GE3)$E_g^{\left(m\right)}\left({\sum }_i{p}_i{\rho }_i\right)⩽{\sum }_i{p}_i{E}_g^{\left(m\right)}\left({\rho }_i\right)$ for any $\{p_i,{\rho }_i\}$, ${\rho }_i\in {\mathcal{S}}^{A_1{A}_2\cdots A_m}$, $p_i>0$, ${\sum }_i{p}_i=1$;
• (GE4)$E_g^{\left(m\right)}\left(\rho \right)⩾E_g^{\left(m\right)}\left({\rho }^{\prime }\right)$ for any m-partite LOCC $\epsilon$, $\epsilon \left(\rho \right)={\rho }^{\prime }$.

Note that (GE4) implies that $E_g^{\left(m\right)}$ is invariant under local unitary transformations. $E_g^{\left(m\right)}$ is said to be a genuine multipartite entanglement monotone if it does not increase on average under m-partite stochastic LOCC. For example, $C_{gme}$ is a GMEM.

3. Complete Genuine Multipartite Entanglement Measure

Analogous to that of unified/complete multipartite entanglement measure established in Ref. [22], we discuss the unification condition and the hierarchy condition for genuine multipartite entanglement measure in this section. We start out with an observation of the examples. Let $|\psi \rangle$ be an m-partite pure state in ${\mathcal{H}}^{A_1{A}_2\cdots A_m}$. Recall that, the multipartite entanglement of formation $E_f^{\left(m\right)}$ is defined as [22]

$$\begin{array}{ccc}\hfill E_f^{\left(m\right)}\left(\right|\psi \rangle )& :=& \frac{1}{2}\sum _{i=1}^{m}S\left({\rho }_{A_i}\right),\hfill \end{array}$$

where ${\rho }_X:={\mathrm{Tr}}_{\overline{X}}\left(\right|\psi \rangle \langle \psi \left|\right)$. We define

$$\begin{array}{ccc}\hfill E_{g-f}^{\left(m\right)}\left(\right|\psi \rangle )& :=& \frac{1}{2}\delta \left(\right|\psi \rangle )\sum _{i=1}^{m}S\left({\rho }_{A_i}\right),\hfill \end{array}$$

(19)

where $\delta \left(\rho \right)=0$ if $\rho$ is biseparable up to some bi-partition and $\delta \left(\rho \right)=1$ if $\rho$ is not biseparable up to any bi-partition. For mixed state, it is defined by the convex-roof extension. Obviously, $E_{g-f}^{\left(m\right)}$ is a uniform GMEM since $I(A_1:A_2:\cdots :A_n)⩾0$ for any n [54], where $I(A_1:A_2:\cdots :A_n):={\sum }_{k=1}^{n}S\left({\rho }_{A_k}\right)-S(A_1{A}_2\cdots A_n)=S({\rho }^{A_1{A}_2\cdots A_n}\parallel {\rho }^{A_1}\otimes {\rho }^{A_2}\otimes \cdots {\rho }^{A_n})⩾0$. The following properties are straightforward: For any ${\rho }^{A_1{A}_2\cdots A_m}\in {\mathcal{S}}_g^{A_1{A}_2\cdots A_m}$,

$$\begin{array}{c}\hfill E_{g-f}^{\left(k\right)}(X_1|X_2|\cdots |X_k)>E_{g-f}^{\left(l\right)}(Y_1|Y_2|\cdots |Y_l)\end{array}$$

for any $X_1|X_2|\cdots |X_k{\succ }^b{Y}_1|Y_2|\cdots |Y_l$. It is worth noting that, for any uniform GMEM $E_g^{\left(m\right)}$, we cannot require $E_g^{\left(k\right)}(X_1|X_2|\cdots |X_k)=E_g^{\left(l\right)}(Y_1|Y_2|\cdots |Y_l)$ for any $\rho \in {\mathcal{S}}_g^{A_1{A}_2\cdots A_m}$ and any $X_1|X_2|\cdots |X_k{\succ }^a{Y}_1|Y_2|\cdots |Y_l$. For example, if $E_g^{\left(4\right)}\left({\rho }^{ABCD}\right)=E_g^{\left(3\right)}\left({\rho }^{ABC}\right)$ for some ${\rho }^{ABCD}\in {\mathcal{S}}_g^{ABCD}$, then the entanglement between part $ABC$ and part D is zero, which means that ${\rho }^{ABCD}$ is biseparable with respect to the partition $ABC|D$—a contradiction. In addition, let ${|\psi \rangle }^{ABC}$ be a tripartite genuine entangled state in ${\mathcal{H}}^{ABC}$, then ${|\psi \rangle }^{ABC}{|\psi \rangle }^D$ is not a four-partite genuine entangled state, i.e.,

$$\begin{array}{c}\hfill E_g^{\left(4\right)}{\left(\right|\psi \rangle }^{ABC}{|\psi \rangle }^D)=0,\end{array}$$

but $E_g^{\left(3\right)}{(\psi \rangle }^{ABC})>0$ provided that $E_g^{\left(3\right)}$ is faithful. That is, the genuine multipartite entanglement measure is not necessarily decreasing under the discarding of the subsystem. However, for the genuine entangled state, it is decreasing definitely. From these observations, we give the following definition.

Definition 1.

Let $E_g^{\left(m\right)}$ be a uniform genuine entanglement measure. If it satisfies the unification condition, i.e.,

$$\begin{array}{c}\hfill E_g^{\left(m\right)}\left(A_1{A}_2\cdots A_m\right)=E_g^{\left(m\right)}\left(\pi (A_1{A}_2\cdots A_m)\right)\end{array}$$

(20)

and

$$\begin{array}{c}\hfill E_g^{\left(k\right)}(X_1|X_2|\cdots |X_k)>E_g^{\left(l\right)}(Y_1|Y_2|\cdots |Y_l)\end{array}$$

(21)

for any $\rho \in {\mathcal{S}}_g^{A_1{A}_2\cdots A_m}$ whenever $X_1|X_2|\cdots |X_k{\succ }^a{Y}_1|Y_2|\cdots |Y_l$, we call $E_g^{\left(m\right)}$ a unified genuine multipartite entanglement measure, where $\pi (·)$ denotes the permutation of the subsystems.

For any $\rho \in {\mathcal{S}}_g^{A_1{A}_2\cdots A_m}$, if $X_1|X_2|\cdots |X_k{\succ }^b{Y}_1|Y_2|\cdots |Y_l$, We expect any unified GMEM satisfies $E_g^{\left(k\right)}(X_1|X_2|\cdots |X_k)⩾E_g^{\left(l\right)}(Y_1|Y_2|\cdots |Y_l)$ since ‘some amount of entanglement’ may be hided in the combined subsystem. For example, the quantity $E_g^{\left(3\right)}\left(AB\right|C\left|D\right)$ cannot report the entanglement contained between subsystems A and B. We thus present the following definition.

Definition 2.

Let $E_g^{\left(m\right)}$ be a unified GMEM. If $E_g^{\left(m\right)}$ admits the hierarchy condition, i.e.,

$$\begin{array}{c}\hfill E_g^{\left(k\right)}(X_1|X_2|\cdots |X_k)⩾E_g^{\left(l\right)}(Y_1|Y_2|\cdots |Y_l)\end{array}$$

(22)

for any $\rho \in {\mathcal{S}}_g^{A_1{A}_2\cdots A_m}$ whenever $X_1|X_2|\cdots |X_k{\succ }^b{Y}_1|Y_2|\cdots |Y_l$, then it is said to be a complete genuine multipartite entanglement measure.

We remark here that, for any given uniform GMEM $E_g^{\left(m\right)}$,

$$\begin{array}{c}\hfill E_g^{\left(k\right)}(X_1|X_2|\cdots |X_k)⩾E_g^{\left(k\right)}(X_1^{\prime }|X_2^{\prime }|\cdots |X_k^{\prime })\end{array}$$

(23)

holds for any $\rho \in {\mathcal{S}}_g^{A_1{A}_2\cdots A_m}$ whenever $X_1|X_2|\cdots |X_k{\succ }^c{X}_1^{\prime }|X_2^{\prime }|\cdots |X_k^{\prime }$ since ${\rho }^{X_1^{\prime }|X_2^{\prime }|\cdots |X_k^{\prime }}$ is obtained from ${\rho }^{X_1|X_2|\cdots |X_k}$ by partial trace and such a partial trace is indeed a k-partite LOCC, $2\le k\le m$. That is, a complete GMEM is a series of GMEMs that are compatible in the following sense: Not only the genuine entanglement contained in the global system and that of any subsystem or new partition of the global system are comparable but also the genuine entanglement in any subsystems with the coarser relation can be compared with each other. Of course, the genuine entanglement should be decreasing whenever the system is coarsening, as one may expect. By definition, $E_{g-f}^{\left(m\right)}$ is a complete GMEM. We just take $E_{g-f}^{\left(m\right)}$ for example. For the three-qubit GHZ state $|GHZ\rangle =\frac{1}{\sqrt{2}}\left(\right|000\rangle +|111\rangle )$,

$$\begin{array}{c}\hfill E_{g-f}^{\left(3\right)}\left(\right|GHZ\rangle )=\frac{3}{2}>E_{g-f}^{\left(2\right)}{\left(\right|GHZ\rangle }^{A|BC})=1>E_{g-f}^{\left(2\right)}({\rho }^{AB})=0,\end{array}$$

and for the W state $|W\rangle =\frac{1}{\sqrt{3}}\left(\right|100\rangle +|010\rangle +|001\rangle )$, it is straightforward that

$$\begin{array}{c}\hfill E_{g-f}^{\left(3\right)}\left(\right|W\rangle )=\frac{3}{2}{log}_{2}3-1>E_{g-f}^{\left(2\right)}{\left(\right|W\rangle }^{A|BC})={log}_{2}3-\frac{2}{3}>E_{g-f}^{\left(2\right)}({\rho }^{AB})=\frac{2}{3}.\end{array}$$

In general, the equality in Equation (23) does not hold, i.e., the genuine entanglement decreases strictly under coarser relation (C3). For example, if $E{\left(\right|\psi \rangle }^{A|BC})=E\left({\rho }^{AB}\right)$, then ${|\psi \rangle }^{ABC}$ is biseparable for almost all bipartite entanglement measures E so far [36].

It is clear that $C_{gme}$ is not a complete GMEM since it does not satisfy the hierarchy condition (22). We take a four-partite state for example. Let

$$\begin{array}{c}\hfill |\psi \rangle =\frac{\sqrt{5}}{4}|0000\rangle +\frac{1}{4}|1111\rangle +\frac{\sqrt{5}}{4}|0100\rangle +\frac{\sqrt{5}}{4}|1010\rangle ,\end{array}$$

then $C_{gme}{\left(\right|\psi \rangle )=C\left(\right|\psi \rangle }^{ABC|D})=\frac{\sqrt{15}}{8}<C{\left(\right|\psi \rangle }^{AB|CD})=\frac{\sqrt{65}}{8}$. In general, $C_{gme}$ is not even a unified GMEM since we can not guarantee that unification condition (21) holds true.

We now turn to find unified/complete GMEM. $E_{g-f}^{\left(m\right)}$ is derived from unified/complete multipartite entanglement measures $E_f^{\left(m\right)}$. This motivates us to obtain unified/complete GMEMs from the unified/complete MEMs.

Proposition 1.

Let $E^{\left(m\right)}$ be a unified/complete multipartite entanglement measure (resp. monotone), and define

$$\begin{array}{c}\hfill E_{g-F}^{\left(m\right)}\left(\rho \right):=\underset{\{p_i,|{\psi }_i\rangle \}}{min}\sum p_i\delta \left(\right|{\psi }_i\rangle )E^{\left(m\right)}\left(\right|{\psi }_i\rangle )\end{array}$$

(24)

whenever $E_F^{\left(m\right)}={min}_{\{p_i,|{\psi }_i\rangle \}}\sum p_i{E}^{\left(m\right)}\left(\right|{\psi }_i\rangle )$ and

$$\begin{array}{c}\hfill E_g^{\left(m\right)}\left(\rho \right):=\delta \left(\rho \right)E^{\left(m\right)}\left(\rho \right)\end{array}$$

(25)

whenever $E^{\left(m\right)}$ is not defined by the convex-roof extension for mixed state, where the minimum is taken over all pure-state decomposition $\{p_i,|{\psi }_i\rangle \}$ of $\rho \in {\mathcal{S}}^{A_1{A}_2\cdots A_m}$, $\delta \left(\rho \right)=1$ whenever ρ is genuinely entangled and $\delta \left(\rho \right)=0$ otherwise. Then, $E_g^{\left(m\right)}$ is a unified/complete genuine multipartite entanglement measure (resp. monotone).

Proof. 

It is clear that $E_{g-F}^{\left(m\right)}$ and $E_g^{\left(m\right)}$ satisfy the unification condition (resp. hierarchy condition) on ${\mathcal{S}}_g^{A_1{A}_2\cdots A_m}$ whenever $E^{\left(m\right)}$ satisfies the unification condition (resp. hierarchy condition) on ${\mathcal{S}}^{A_1{A}_2\cdots A_m}$. □

Consequently, according to Proposition 1, we get

$$\begin{array}{ccc}\hfill {\tau }_g^{\left(3\right)}\left(\right|\psi \rangle )& =& \delta \left(\right|\psi \rangle )\left[3-\mathrm{Tr}{\left({\rho }^A\right)}^2-\mathrm{Tr}{\left({\rho }^B\right)}^2-\mathrm{Tr}{\left({\rho }^C\right)}^2\right],\hfill \\ \hfill C_g^{\left(3\right)}\left(\right|\psi \rangle )& =& \sqrt{{\tau }_g^{\left(3\right)}\left(\right|\psi \rangle )},\hfill \\ \hfill N_g^{\left(3\right)}\left(\right|\psi \rangle )& =& \delta \left(\right|\psi \rangle )\left[{\mathrm{Tr}}^2\sqrt{{\rho }^A}+{\mathrm{Tr}}^2\sqrt{{\rho }^B}+{\mathrm{Tr}}^2\sqrt{{\rho }^C}-3\right],\hfill \\ \hfill T_{g-q}^{\left(3\right)}\left(\right|\psi \rangle )& =& \frac{1}{2}\delta \left(\right|\psi \rangle )\left[T_q\left({\rho }^A\right)+T_q\left({\rho }^B\right)+T_q\left({\rho }^C\right)\right],q>1,\hfill \\ \hfill R_{g-\alpha }^{\left(3\right)}\left(\right|\psi \rangle )& =& \frac{1}{2}\delta \left(\right|\psi \rangle )R_{\alpha }({\rho }^A\otimes {\rho }^B\otimes {\rho }^C),0<\alpha <1,\hfill \\ \hfill E_{g-\mathcal{F}}^{\left(3\right)}\left(|\psi \rangle \right)& =& \delta \left(\right|\psi \rangle )\left[1-\mathcal{F}\left(|\psi \rangle \langle \psi |,{\rho }^A\otimes {\rho }^B\otimes {\rho }^C\right)\right],\hfill \\ \hfill E_{g-{\mathcal{F}}^{\prime }}^{\left(3\right)}\left(|\psi \rangle \right)& =& \delta \left(\right|\psi \rangle )\left[1-\sqrt{\mathcal{F}}\left(|\psi \rangle \langle \psi |,{\rho }^A\otimes {\rho }^B\otimes {\rho }^C\right)\right],\hfill \\ \hfill E_{g-A\mathcal{F}}^{\left(3\right)}\left(|\psi \rangle \right)& =& \delta \left(\right|\psi \rangle )\left[1-{\mathcal{F}}_A\left(|\psi \rangle \langle \psi |,{\rho }^A\otimes {\rho }^B\otimes {\rho }^C\right)\right],\hfill \end{array}$$

for pure states, and define by the convex-roof extension for the mixed states (for mixed state, where $N_g^{\left(3\right)}$ is replaced with the convex-roof extension of $N_g^{\left(3\right)}$, $N_{g-F}^{\left(3\right)}$), and

$$\begin{array}{c}\hfill N_g^{\left(3\right)}\left(\rho \right)=\delta \left(\rho \right)\left(\parallel {\rho }^{T_a}{\parallel }_{\mathrm{Tr}}+\parallel {\rho }^{T_b}{\parallel }_{\mathrm{Tr}}+{\parallel {\rho }^{T_c}\parallel }_{\mathrm{Tr}}-3\right)\end{array}$$

for any $\rho \in {\mathcal{S}}^{ABC}$. These tripartite measures, except for $N_g^{\left(3\right)}$ are in fact special cases of ${\mathcal{E}}_{g-123}^F$ in Ref. [19]. Generally, we can define

$$\begin{array}{ccc}\hfill {\tau }_g^{\left(m\right)}\left(\right|\psi \rangle )& =& \delta \left(\right|\psi \rangle )\left[m-\sum _i\mathrm{Tr}{\left({\rho }^{A_i}\right)}^2\right],\hfill \\ \hfill C_g^{\left(m\right)}\left(\right|\psi \rangle )& =& \sqrt{{\tau }_g^{\left(m\right)}\left(\right|\psi \rangle )},\hfill \\ \hfill N_g^{\left(m\right)}\left(\right|\psi \rangle )& =& \delta \left(\right|\psi \rangle )\left[\sum _i{\mathrm{Tr}}^2\sqrt{{\rho }^{A_i}}-m\right],\hfill \\ \hfill T_{g-q}^{\left(m\right)}\left(\right|\psi \rangle )& =& \frac{1}{2}\delta \left(\right|\psi \rangle )\sum _i{T}_q\left({\rho }^{A_i}\right),q>1,\hfill \\ \hfill R_{g-\alpha }^{\left(m\right)}\left(\right|\psi \rangle )& =& \frac{1}{2}\delta \left(\right|\psi \rangle )R_{\alpha }\left(\underset{i}{⨂}{\rho }^{A_i}\right),0<\alpha <1,\hfill \\ \hfill E_{g-\mathcal{F}}^{\left(m\right)}\left(|\psi \rangle \right)& =& \delta \left(\right|\psi \rangle )\left[1-\mathcal{F}\left(|\psi \rangle \langle \psi |,\underset{i}{⨂}{\rho }^{A_i}\right)\right],\hfill \\ \hfill E_{g-{\mathcal{F}}^{\prime }}^{\left(m\right)}\left(|\psi \rangle \right)& =& \delta \left(\right|\psi \rangle )\left[1-\sqrt{\mathcal{F}}\left(|\psi \rangle \langle \psi |,\underset{i}{⨂}{\rho }^{A_i}\right)\right],\hfill \\ \hfill E_{g-A\mathcal{F}}^{\left(m\right)}\left(|\psi \rangle \right)& =& \delta \left(\right|\psi \rangle )\left[1-{\mathcal{F}}_A\left(|\psi \rangle \langle \psi |,\underset{i}{⨂}{\rho }^{A_i}\right)\right],\hfill \end{array}$$

for pure states and define by the convex-roof extension for the mixed states (for mixed state, $N_g^{\left(m\right)}$ is replaced with $N_{g-F}^{\left(m\right)}$), and

$$\begin{array}{c}\hfill N_g^{\left(m\right)}\left(\rho \right)=\delta \left(\rho \right)\left({∥\sum _i{\rho }^{T_i}∥}_{\mathrm{Tr}}-m\right)\end{array}$$

for any $\rho \in {\mathcal{S}}^{A_1{A}_2\cdots A_m}$. According to Proposition 1, together with Theorem 5 in Ref. [22], the statement below is straightforward.

Proposition 2.

$E_{g-f}^{\left(m\right)}$, ${\tau }_g^{\left(m\right)}$, $C_g^{\left(m\right)}$, and $T_{g-q}^{\left(m\right)}$ are complete genuine multipartite entanglement monotones while $R_{g-\alpha }^{\left(m\right)}$, $N_{g-F}^{\left(m\right)}$, $N_g^{\left(m\right)}$, $E_{g-\mathcal{F}}^{\left(m\right)}$, $E_{g-{\mathcal{F}}^{\prime }}^{\left(m\right)}$, and $E_{g-A\mathcal{F}}^{\left(m\right)}$ are unified genuine multipartite entanglement monotones, but not complete genuine multipartite entanglement monotones.

Very recently, we proposed the following genuine four-partite entanglement measures [19]. Let E be a bipartite entanglement measure and let

$$\begin{array}{c}\hfill {\mathcal{E}}_{g-1234\left(2\right)}\left(\right|\psi \rangle ):=\delta \left(\right|\psi \rangle )\sum _i{x}_i^{\left(2\right)}\end{array}$$

(26)

for any given $|\psi \rangle \in {\mathcal{H}}^{ABCD}$, where $E{\left(\right|\psi \rangle }^{AB|CD})=x_1^{\left(2\right)}$, $E{\left(\right|\psi \rangle }^{A|BCD})=x_2^{\left(2\right)}$, $E{\left(\right|\psi \rangle }^{AC|BD})=x_3^{\left(2\right)}$, $E{\left(\right|\psi \rangle }^{ABC|D})=x_4^{\left(2\right)}$, $E{\left(\right|\psi \rangle }^{AD|BC})=x_5^{\left(2\right)}$, $E{\left(\right|\psi \rangle }^{B|ACD})=x_6^{\left(2\right)}$, $E{\left(\right|\psi \rangle }^{C|ABD})=x_7^{\left(2\right)}$. Then ${\mathcal{E}}_{g-1234\left(2\right)}^F$ is a genuine four-partite entanglement measure. Let $E^{\left(3\right)}$ be a tripartite entanglement measure,

$$\begin{array}{c}\hfill {\mathcal{E}}_{g-1234\left(3\right)}\left(\right|\psi \rangle )=\delta \left(\right|\psi \rangle )\sum _i{x}_i^{\left(3\right)}\end{array}$$

(27)

for any given $|\psi \rangle \in {\mathcal{S}}^{ABCD}$, where $E^{\left(3\right)}\left({\rho }^{A\left|B\right|CD}\right)=x_1^{\left(3\right)}$, $E^{\left(3\right)}({\rho }^{A\left|BC\right|D})=x_2^{\left(3\right)}$, $E^{\left(3\right)}({\rho }^{AC\left|B\right|D})=x_3^{\left(3\right)}$, $E^{\left(3\right)}({\rho }^{AB\left|C\right|D})=x_4^{\left(3\right)}$, $E^{\left(3\right)}({\rho }^{AD\left|B\right|C})=x_5^{\left(3\right)}$, $E^{\left(3\right)}({\rho }^{A\left|BD\right|C})=x_6^{\left(3\right)}$. It is clear that ${\mathcal{E}}_{g-1234\left(3\right)}^F$ is a genuine four-partite entanglement measure but not uniform GMEM.

Generally, we can define ${\mathcal{E}}_{g-1234\cdots m\left(2\right)}^F$ by the same way, and it is a uniform GMEM. We check below that ${\mathcal{E}}_{g-1234\cdots m\left(2\right)}^F$ is a complete GMEM whenever E is an entanglement monotone. We only need to discuss the case of $m=4$, and the general cases can be argued similarly. For any genuine entangled pure state $|\psi \rangle \in {\mathcal{H}}^{ABCD}$, and any bipartite entanglement monotone E, it is clear that ${\mathcal{E}}_{g-1234\left(2\right)}\left(\right|\psi \rangle )>E^F\left({\rho }^{XY}\right)$ for any $\{X,Y\}\in \{A,B,C,D\}$. For any pure state decomposition of ${\rho }^{ABC}$, ${\rho }^{ABC}={\sum }_i{p}_i|{\psi }_i\rangle \langle {\psi }_i|$, we have $E{(|\psi \rangle }^{A|BCD})⩾{\sum }_i{p}_{i}E{(|{\psi }_i\rangle }^{A|BC})$, $E{(|\psi \rangle }^{AB|CD})⩾{\sum }_i{p}_{i}E{(|{\psi }_i\rangle }^{AB|C})$, and $E{(|\psi \rangle }^{B|ACD})⩾{\sum }_i{p}_{i}E{(|{\psi }_i\rangle }^{B|AC})$ since any ensemble $\{p_i,|{\psi }_i\rangle \}$ can be derived by LOCC from $|\psi \rangle$. It follows that ${\mathcal{E}}_{g-1234(2)}(|\psi \rangle )>{\mathcal{E}}_{g-123(2)}^F({\rho }^{ABC})$. By symmetry of the subsystems, we get that the unification condition is valid for pure state. For mixed state $\rho \in {\mathcal{S}}_g^{ABCD}$, we let

$$\begin{array}{c}\hfill {\mathcal{E}}_{g-1234\left(2\right)}^F\left(\rho \right)=\sum _j{p}_j{\mathcal{E}}_{g-1234\left(2\right)}\left(\right|{\varphi }_j\rangle )\end{array}$$

for some decomposition $\rho ={\sum }_j{p}_j|{\varphi }_j\rangle \langle {\varphi }_j|$. Then

$$\begin{array}{c}\hfill {\mathcal{E}}_{g-1234\left(2\right)}\left(\right|{\varphi }_j\rangle )⩾{\mathcal{E}}_{g-123\left(2\right)}^F({\rho }_j^{ABC})\end{array}$$

for any j, where ${\rho }_j^{ABC}={\mathrm{Tr}}_D\left(\right|{\varphi }_j\rangle \langle {\varphi }_j\left|\right)$. Therefore

$$\begin{array}{c}\hfill {\mathcal{E}}_{g-1234\left(2\right)}^F\left(\rho \right)=\sum _j{p}_j{\mathcal{E}}_{g-1234\left(2\right)}\left(\right|{\varphi }_j\rangle )⩾\sum _j{p}_j{\mathcal{E}}_{g-123\left(2\right)}^F\left({\rho }_j^{ABC}\right)⩾{\mathcal{E}}_{g-123\left(2\right)}^F\left({\rho }^{ABC}\right)\end{array}$$

as desired. In addition, it is clear that

$$\begin{array}{c}\hfill {\mathcal{E}}_{g-123\left(2\right)}^F\left({\rho }^{ABC}\right)>E^F\left({\rho }^{AB}\right)\end{array}$$

(28)

for any $\rho \in {\mathcal{S}}_g^{ABCD}$. That is, ${\mathcal{E}}_{g-1234\cdots m\left(2\right)}^F$ is a unified GMEM. The hierarchy condition is obvious. Thus, ${\mathcal{E}}_{g-1234\cdots m\left(2\right)}^F$ is a complete GMEM whenever E is an entanglement monotone.

Remark 1.

It is clear that, for ${\mathcal{E}}_{g-1234\cdots m\left(2\right)}^F$, the inequality in Equation (22) is a strict inequality, i.e.,

$$\begin{array}{c}\hfill E_g^{\left(k\right)}(X_1|X_2|\cdots |X_k)>E_g^{\left(l\right)}(Y_1|Y_2|\cdots |Y_l)\end{array}$$

(29)

for any $\rho \in {\mathcal{S}}_g^{A_1{A}_2\cdots A_m}$ whenever $X_1|X_2|\cdots |X_k{\succ }^b{Y}_1|Y_2|\cdots |Y_l$. In addition, according to the proof of Proposition 4 in Ref. [22], Equation (22) holds for $E_{g-f}^{\left(m\right)}$, ${\tau }_g^{\left(m\right)}$, $C_g^{\left(m\right)}$, and $T_{g-q}^{\left(m\right)}$. Namely, in general, there does not exist $\rho \in {\mathcal{S}}_g^{A_1{A}_2\cdots A_m}$ such that $E_g^{\left(k\right)}(X_1|X_2|\cdots |X_k)=E_g^{\left(l\right)}(Y_1|Y_2|\cdots |Y_l)$ holds, $X_1|X_2|\cdots |X_k{\succ }^b{Y}_1|Y_2|\cdots |Y_l$.

4. Complete Monogamy of Genuine Multipartite Entanglement Measure

We are now ready to discuss the complete monogamy relation of GMEM. By the previous arguments, the genuine multipartite entanglement does not necessarily decrease when discarding the subsystem. However, for the genuine entangled state, it does decrease. We thus conclude the following definition of complete monogamy for genuine entanglement measure.

Definition 3.

Let $E_g^{\left(m\right)}$ be a uniform GMEM. We call $E_g^{\left(m\right)}$ completely monogamous if for any $\rho \in {\mathcal{S}}_g^{A_1{A}_2\cdots A_m}$ we have

$$\begin{array}{c}\hfill E_g^{\left(k\right)}\left({\rho }^{X_1|X_2|\cdots |X_k}\right)>E_g^{\left(l\right)}\left({\rho }^{Y_1|Y_2|\cdots |Y_l}\right)\end{array}$$

(30)

holds for all $X_1|X_2|\cdots |X_k{\succ }^a{Y}_1|Y_2|\cdots |Y_l$.

That is, any unified GMEM is completely monogamous. Moreover, according to the proof of Theorem 1 in Ref. [23], we can get the equivalent statement of complete monogamy for continuous genuine tripartite entanglement measure (the general m-partite case can be followed in the same way).

Proposition 3.

Let $E_g^{\left(3\right)}$ be a continuous uniform genuine tripartite entanglement measure. Then, $E_g^{\left(3\right)}$ is completely monogamous if and only if there exists $0<\alpha <\infty$ such that

$$\begin{array}{c}\hfill E_g^{\alpha }\left({\rho }^{ABC}\right)>E^{\alpha }\left({\rho }^{AB}\right)+E^{\alpha }\left({\rho }^{AC}\right)+E^{\alpha }\left({\rho }^{BC}\right)\end{array}$$

(31)

for all ${\rho }^{ABC}\in {\mathcal{S}}_g^{ABC}$ with fixed $dim{\mathcal{H}}^{ABC}=d<\infty$, here we omitted the superscript ${}^{\left(3\right)}$ of $E^{\left(3\right)}$ for brevity.

Analogously, for the four-partite case, if $E_g^{\left(4\right)}$ is a continuous uniform GMEM, then $E_g^{\left(4\right)}$ is completely monogamous if and only if there exist $0<\alpha ,\beta <\infty$ such that

$$\begin{array}{ccc}\hfill E_g^{\alpha }\left({\rho }^{ABCD}\right)& >& E_g^{\alpha }\left({\rho }^{ABC}\right)+E_g^{\alpha }\left({\rho }^{ABD}\right)+E_g^{\alpha }\left({\rho }^{ACD}\right)+E_g^{\alpha }\left({\rho }^{BCD}\right),\hfill \end{array}$$

(32)

$$\begin{array}{ccc}\hfill E_g^{\beta }\left({\rho }^{ABCD}\right)& >& E^{\beta }\left({\rho }^{AB}\right)+E^{\beta }\left({\rho }^{BC}\right)+E^{\beta }\left({\rho }^{AC}\right)+E^{\beta }\left({\rho }^{BD}\right)+E^{\beta }\left({\rho }^{AD}\right)+E^{\beta }\left({\rho }^{CD}\right)\hfill \end{array}$$

(33)

for all ${\rho }^{ABCD}\in {\mathcal{S}}_g^{ABCD}$ with fixed $dim{\mathcal{H}}^{ABC}=d<\infty$, here we omitted the superscript ${}^{(3,4)}$ of $E^{(3,4)}$ for brevity. Since $C_{gme}$ may not be a unified GMEM, we conjecture that $C_{gme}$ is not completely monogamous.

As a counterpart to the tightly complete monogamous relation of the complete multipartite entanglement measure in Ref. [22], we give the following definition.

Definition 4.

Let $E_g^{\left(m\right)}$ be a complete GMEM. We call $E_g^{\left(m\right)}$ tightly complete monogamous if it satisfies the genuine disentangling condition, i.e., either for any $\rho \in {\mathcal{S}}_g^{A_1{A}_2\cdots A_m}$ that satisfies

$$\begin{array}{c}\hfill E_g^{\left(k\right)}\left(X_1|X_2|\cdots |X_k\right)=E_g^{\left(l\right)}\left(Y_1|Y_2|\cdots |Y_l\right)\end{array}$$

(34)

we have that

$$\begin{array}{c}\hfill E_g^{(*)}(\Gamma )=0\end{array}$$

(35)

holds for all $\Gamma \in \Xi \left(X_1\right|X_2|\cdots |X_k-Y_1\left|Y_2\right|\cdots \left|Y_l\right)$, or

$$\begin{array}{c}\hfill E_g^{\left(k\right)}\left(X_1|X_2|\cdots |X_k\right)>E_g^{\left(l\right)}\left(Y_1|Y_2|\cdots |Y_l\right)\end{array}$$

(36)

holds for any $\rho \in {\mathcal{S}}_g^{A_1{A}_2\cdots A_m}$, where $X_1|X_2|\cdots |X_k{\succ }^b{Y}_1|Y_2|\cdots |Y_l$, and the superscript $(*)$ is associated with the partition Γ, e.g., if Γ is a n-partite partition, then $(*)=\left(n\right)$.

Definitions 3 and 4 mean that, if $E_g^{\left(k\right)}\left(X_1|X_2|\cdots |X_k\right)\approx E_g^{\left(l\right)}\left(Y_1|Y_2|\cdots |Y_l\right)$, then $E_g^{(*)}(\Gamma )\approx 0$ for any $\Gamma \in \Xi \left(X_1\right|X_2|\cdots |X_k-Y_1\left|Y_2\right|\cdots \left|Y_l\right)$. This fact can make ensure the security of quantum communication tasks, which rely on genuine entanglement as the resource: Whenever $E_g^{\left(k\right)}\left(X_1|X_2|\cdots |X_k\right)\approx E_g^{\left(l\right)}\left(Y_1|Y_2|\cdots |Y_l\right)$, the joint information in subsystems $\Gamma \in \Xi \left(X_1\right|X_2|\cdots |X_k-Y_1\left|Y_2\right|\cdots \left|Y_l\right)$ is nearly zero, i.e., we could choose such an entangled state when we would like to prevent subsystem $\Gamma$ in sharing the information based on the genuine entanglement or from any evegetting information from subsystem $\Gamma$.

Remark 2.

According to Remark 1, for $E_{g-f}^{\left(m\right)}$, ${\tau }_g^{\left(m\right)}$, $C_g^{\left(m\right)}$, $T_{g-q}^{\left(m\right)}$, and ${\mathcal{E}}_{g-1234\cdots m\left(2\right)}^F$, the case of Equation (34) cannot occur, so they are tightly complete monogamous. We conjecture that the case of Equation (34) cannot occur for any complete GMEM. In such a sense, any complete GMEM is tightly complete monogamous.

For example, if $E_g^{\left(3\right)}$ is a complete GMEM, then $E_g^{\left(3\right)}$ is tightly complete monogamous if for any ${\rho }^{ABC}\in {\mathcal{S}}_g^{ABC}$ that satisfies

$$\begin{array}{c}\hfill E_g^{\left(3\right)}\left({\rho }^{ABC}\right)=E^{\left(2\right)}\left({\rho }^{A|BC}\right)\end{array}$$

(37)

we have $E^{\left(2\right)}\left({\rho }^{BC}\right)=0$, and $E_g^{\left(3\right)}$ is completely monogamous

$$\begin{array}{c}\hfill E_g^{\left(3\right)}\left({\rho }^{ABC}\right)>E^{\left(2\right)}\left({\rho }^{AB}\right)\end{array}$$

(38)

is always correct for any ${\rho }^{ABC}\in {\mathcal{S}}_g^{ABC}$. That is, the complete monogamy of $E_g^{\left(m\right)}$ refers to it being completely monogamous in the genuine entangled state, and $E_g^{\left(m\right)}$ is strictly decreasing under discarding of the subsystem, which is different from that of the complete entanglement measure. Equivalently, if $E_g^{\left(3\right)}$ is a continuous complete GMEM, then $E_g^{\left(3\right)}$ is tightly complete monogamous if and only if there exists $0<\alpha <\infty$ such that

$$\begin{array}{c}\hfill E_g^{\alpha }\left({\rho }^{ABC}\right)⩾E^{\alpha }\left({\rho }^{AB}\right)+E^{\alpha }\left({\rho }^{AB|C}\right)\end{array}$$

(39)

holds for all ${\rho }^{ABC}\in {\mathcal{S}}_g^{ABC}$ with fixed $dim{\mathcal{H}}^{ABC}=d<\infty$, here we omitted the superscript ${}^{\left(3\right)}$ of $E^{\left(3\right)}$ for brevity.

By Definition 4, ${\mathcal{E}}_{g-1234\cdots m\left(2\right)}^F$ is tightly complete monogamous since for ${\mathcal{E}}_{g-1234\cdots m\left(2\right)}^F$ the genuine disentangling condition (36) always holds. $C_{gme}$ is not tightly complete monogamous since it violates the genuine disentangling condition. In addition, the tightly complete monogamy of $E_g^{\left(m\right)}$ is closely related to that of $E^{\left(m\right)}$ whenever $E_g^{\left(m\right)}$ is derived from $E^{\left(m\right)}$ as in Equations (24) or (25).

Proposition 4.

Let $E^{\left(m\right)}$ be a complete multipartite entanglement measure. If $E^{\left(m\right)}$ is tightly complete monogamous, then the genuine multipartite entanglement measure $E_g^{\left(m\right)}$, induced by $E^{\left(m\right)}$ as in Equations (24) or (25), is tightly complete monogamous.

Together with Proposition 4 in Ref. [22], $R_{g-\alpha }^{\left(m\right)}$, $N_{g-F}^{\left(m\right)}$ and $N_g^{\left(m\right)}$ are completely monogamous but not tightly complete monogamous.

5. Conclusions and Discussion

We have proposed a framework of unified/complete genuine multipartite entanglement measure, from which we established the scenario of complete monogamy and tightly complete monogamy of genuine multipartite entanglement measure. The spirit here is consistent with that of a unified/complete multipartite entanglement measure in Ref. [22]. We also find a simple way of deriving a unified/complete genuine multipartite entanglement measure from the unified/complete multipartite entanglement measure. Under such a framework, the multipartite entanglement becomes more clear, and, in addition, we can judge whether a given genuine entanglement measure is good or not. Compared with other multipartite entanglement measure, the unified genuine entanglement measure is automatically completely monogamous. That is, genuine entanglement displays the monogamy of entanglement more evidently than other measures. These results support that entanglement is monogamous, as we expected. We thus suggest that monogamy should be a necessary requirement for a genuine entanglement measure.