Polygamy of Distributed Entanglement

Polygamy of Distributed Entanglement

Francesco Buscemi Statistical Laboratory, DPMMS, University of Cambridge, Wilberforce Road, CB3 0WB, UK    Gilad Gour Institute for Quantum Information Science, University of Calgary, Alberta T2N 1N4, Canada Department of Mathematics and Statistics, University of Calgary , Alberta T2N 1N4, Canada    Jeong San Kim jkim@qis.ucalgary.ca Institute for Quantum Information Science, University of Calgary, Alberta T2N 1N4, Canada
August 28, 2019
Abstract

While quantum entanglement is known to be monogamous (i.e. shared entanglement is restricted in multi-partite settings), here we show that distributed entanglement (or the potential for entanglement) is by nature polygamous. By establishing the concept of one-way unlocalizable entanglement (UE) and investigating its properties, we provide a polygamy inequality of distributed entanglement in tripartite quantum systems of arbitrary dimension. We also provide a polygamy inequality in multi-qubit systems, and several trade offs between UE and other correlation measures.

pacs:
03.67.-a, 03.67.Hk, 03.65.Ud,

I Introduction

Quantum entanglement is a non-local quantum correlation providing a lot of useful applications in the field of quantum communications and computations such as quantum teleportation and quantum key distribution tele ; qkd1 ; qkd2 . This important role of quantum entanglement has stimulated intensive study in both way of its quantification and qualification.

One of the essential differences of quantum correlations (especially, quantum entanglement) from other classical ones is that it cannot be freely shared among the parties in multipartite quantum systems. In particular, a pair of components that are maximally entangled cannot share entanglement CKW ; ov nor classical correlations KW with any part of the rest of the system, hence the term Monogamy of Entanglement (MoE) T04 . Monogamy of entanglement was shown to have a complete mathematical characterization for multi-qubit systems ov using a certain entanglement measures, the concurrence ww .

Whereas MoE shows the restricted sharability of multi-party quantum entanglement, the distribution of entanglement, or Entanglement of Assistance (EoA) d ; cohen in multipartite quantum systems was shown to have a dually monogamous (or Polygamous) property. Using Concurrence of Assistance (CoA) lve as the measure of distributed entanglement, it was also shown that whereas monogamy of entanglement inequalities provide an upper bound for bipartite sharability of entanglement in a multipartite system, the same quantity provides a lower bound for distribution of bipartite entanglement in a multipartite system gbs . In this paper, by introducing the concept of One-way Unlocalizable Entanglement (UE), we provide a polygamy inequality of entanglement in tripartite quantum systems of arbitrary dimension using entropic entanglement measure. Based on the functional relation between concurrence and entropic measure in two-qubit systems, we provide a polygamy inequality in multi-qubit systems. We also provide several trade offs between UE and other correlations such as EoA, and localizable entanglement.

The paper is organized as follows. In Sec. II, we provide the definition of UE, and its basic properties. In Sec. III, we provide a polygamy inequality of distributed entanglement in tripartite quantum systems in terms of entropy and EoA. In Sec. IV, we generalize the polygamy inequality of entanglement into multi-qubit systems, and provide a more tight polygamy inequality for three-qubit systems. In Sec. V, we provide several trade offs between UE and other correlations, and we summarize our results, in Sec. VI.

Ii One-Way Unlocalizable Entanglement

ii.1 Definition

For any bipartite quantum state , its one-way distillable common randomness DV is defined as

(1)

where, the function  Henderson-Vedral01 is

(2)

and where the maximum is taken over all the measurements applied on system . Here, is the von Neumann entropy of , is the probability of the outcome , and is the state of system when the outcome was .

For a tripartite pure state with , , and , it was shown that KW

(3)

Here, is the Entanglement of Formation (EoF) of defined as bdsw

(4)

where the minimization is taken over all pure state decomposition of such that,

(5)

with .

As a dual quantity to EoF, EoA is defined by the maximum average entanglement of ,

(6)

over all possible pure state decompositions of .

Definition 1.

The one-way unlocalizable entanglement (UE) of a bipartite state is defined as follows:

(7)

where denotes the reduced state of a purification of .

The one-way unlocalizable entanglement can be equivalently characterized as follows:

Lemma 1.

For any given bipartite state , its one-way unlocalizable entanglement is given by

(8)

where the minimum is taken over all possible rank-1 measurements applied on subsystem .

Proof.

Eq. (8) can be rewritten as

(9)

where the maximum is taken over all possible rank-1 measurements applied on system .

Since is a pure state, all possible pure state decompositions of can be realized by rank-1 measurements of subsystem , and conversely, any rank-1 measurement can be induced from a pure state decomposition of . Thus, the second term on the right hand side of Eq. (9) is the maximum average entanglement over all possible pure state decomposition of , which is the definition of , and this completes the proof. ∎

By definition, the UE of is the difference between and . Here, quantifies the entanglement of the pure state with respect to the bipartite cut , whereas measures the maximum average entanglement that can be localized on the subsystem with the assistance of . The terminology used is then clear. Figure 1 graphically illustrates this separation.


Fig. 1: The entanglement of ((a) in the figure) consists of two different parts: One is the localizable entanglement onto represented by ((b) in the figure), and the other part is the unlocalizable entanglement represented by ((c) in the figure).

ii.2 Properties

ii.2.1 Subadditivity

Lemma 2.

For all bipartite states and ,

(10)

where

(11)

with , , and the minimum is taken over all possible rank-1 measurements applied on subsystem .

Proof.

Let and be the optimal rank-1 measurements on subsystems and for and respectively, then, we have

(12)

where , , and the second equality is due to the additivity of von Neumann entropy and the definition of . ∎

By Lemma 2, we can assure the existence of the regularized UE

(13)

which satisfies

(14)

ii.2.2 Simple Lower Bound

Lemma 3.

For any bipartite state ,

(15)

where is the coherent information of .

Proof.

Let be a purification of , then due to the monotonicity of entanglement, we have

(16)

where .

Thus, together with Lemma 1, we have

(17)

where the last equality is due to the purity of , that is, . ∎

Since is a purification of both and , we have

(18)

By taking the limit , and due to the relation Smolin-Ver-Win

(19)

we have that

(20)

Eq. (20) implies that, in the asymptotic limit of many copies, separable states do not exhibit quantumness in their correlations, or their correlations are completely erasable. This is a strong evidence that the distinction between separable and entangled states is operational only in asymptotic sense, since separable states can exhibit non-zero UE in finite case.

Iii Polygamy of entanglement in tripartite quantum systems

For any bipartite pure state , its concurrence, is defined as ww

(21)

where . For any mixed state , its concurrence is defined via convex-roof extension, that is,

(22)

where the minimum is taken over all possible pure state decompositions, .

As a dual value to concurrence, CoA lve of is defined as

(23)

where the maximum is taken over all possible pure state decompositions of .

By using concurrence and CoA as the quantification of bipartite entanglement, it was shown that there exists a polygamy relation of entanglement in multi-qubit systems gbs . More precisely, for any pure state in an -qubit system where for ,

(24)

where is the concurrence of with respect to the bipartite cut and , and is the CoA of for .

In this section, we provide an analytic upper bound of UE in Eq. (8), and derive a polygamy inequality of entanglement in terms of von-Neumann entropy and EoA for tripartite quantum systems of arbitrary dimension.

First, for an upper bound of UE, we have the following theorem.

Theorem 4.

For any bipartite state in a bipartite quantum system ,

(25)

where is the mutual information of .

Proof.

Let be a spectral decomposition of where is the dimension of the subsystem . The proof method follows the construction used in christandl .

For any state , define the channels

(26)

where is the Fourier basis such that,

(27)

and is the -th root of unity.

Notice that , and , so that . We can also write

(28)

where and are generalized -dimensional Pauli operators,

(29)

In the following, we will write

(30)

where , and for .

The induced ensembles on by the channels and will be denoted by and , and the entropy defects of the induced ensembles on will be denoted as

(31)

By defining a four-partite quantum state in such that

(32)

we have

(33)

and

(34)

By straightforward calculation, we can obtain

(35)

where is the mutual information of with respect to the bipartite cut , and the second, third equalities are due to the joint entropy theorem nc . Analogously, we have

(36)

Due to the independence of subsystems and , we have , which implies

(37)

Since and of Eq. (37) can be obtained, respectively, from by rank-1 measurements and of subsystem , by defining a rank-1 measurement

(38)

we have

(39)

which completes the proof. ∎

Corollary 1.

For any tripartite pure state , we have

(40)
Proof.

By Lemma 7, we have

(41)

and thus,

(42)

Now, by Theorem 4, we have

(43)

Corollary 1 tells us that for a tripartite pure state of arbitrary dimension, there exists a polygamy relation of entanglement in terms of entropy of entanglement and EoA. Furthermore, this is, we believe, the first result of the polygamous (or dually monogamous) property of distribution of entanglement in multipartite higher-dimensional quantum systems rather than qubits.

Iv Polygamy relation of entanglement in multi-qubit quantum systems

In this section, we show that the polygamy inequality of entanglement in Corollary 1 can be generalized into multipartite quantum systems for the case when each subsystem is a two-level quantum system. By investigating the functional relation between concurrence and EoF in two-qubit systems ww , we show that there exists a polygamy inequality of entanglement in terms of entropy and EoA in -qubit systems. We also show that, in three-qubit systems, we have a more tight polygamy inequality than Eq. (40) in Corollary 1.

First, let us consider the functional relation of concurrence with EoF in two-qubit systems. For a 2-qubit mixed state (or a pure state ), the relation between its concurrence, and can be given as a monotone increasing, convex function  ww , such that

(44)

where

(45)

and is the binary entropy function . The same function relates also the EoA of a bipartite state with its CoA via the equation

(46)

which is due to the convexity of and the definition of EoA. The following lemma shows an important property of the function .

Lemma 5.
(47)

for such that .

Proof.

By considering

(48)

as a two-vairable real-valued function on the domain , it is enough to show that in .

Since is a compact subset in , whereas is analytic on the interior of , and continuous on , the minimum value of arises only on the critical points or on the boundary of . It can be directly checked that does not have any vanishing gradient on the interior of , and has non-negative function values on the boundary of . Thus, is non-negative on the domain . ∎

iv.1 Three-qubit systems

A direct observation from CKW shows that, for a 3-qubit pure state ,

(49)

where and are the concurrence and concurrence of assistance of and respectively. (Later, Eq. (49) was formally shown in ys .) From Eq. (49) together with Lemma 5, we have the following theorem.

Theorem 6.

For a three-qubit pure state ,

(50)
Proof.

Since is a bipartite pure state in with respect to the bipartite cut and , we have,

(51)

Thus,

(52)

where the first inequality is by Lemma 5, and the second inequality is by Eq. (46). ∎

Thus, the polygamy relation of distributed entanglement in tripartite quantum systems obtained in Corollary 1 can have a more tight form in three-qubit systems. Furthermore, the result of Theorem 6 together with Eqs. (3) and (7) give us the following corollary.

Corollary 2.

For any two-qubit mixed state with rank less than or equal to two,

(53)
(54)
Remark 1.

Eq. (54) of Corollary 2 implies that any two-qubit separable state of rank less than or equal to two has zero UE, . However, this is not generally true for two-qubit separable states of rank larger than two. Here, we provide an example of two-qubit rank-three separable state with non-zero UE.

Example: Let us consider the following state in quantum system CCJKKL ,

(55)

where and are two orthogonal states in the such that

(56)

First, since , it is clear that , therefore we have .

Since , Hughston-Jozsa-Wootters (HJW) theorem HJW says that for any decompositions of , there exists an unitary operator such that with . Thus,

(57)

with , and we obtain that for any pure state in any pure state decomposition of .

Since is a pure state, we have

(58)

and thus .

Now, we have , whereas, it can be easily seen that has a Positive Partial Transposition (PPT) which is equivalent to separability for two-qubit states horo1 . Thus, is a two-qubit, rank-three separable state with non-zero UE.

iv.2 -qubit systems

The polygamy inequality of entanglement in -qubit systems in Eq. (24) gives us an inequality

(59)

Thus, together with Lemma 5, we have the following theorem.

Theorem 7.

For any -qubit pure state ,

(60)
Proof.

First, let us assume that , then we have

(61)

where the first inequality is due to the monotonicity of the function , the second and third inequalities are obtained by iterating Lemma 5, and the last inequality is by Eq. (46).

Now, assume that