All Multiparty Quantum States Can Be Made Monogamous
Monogamy of quantum correlation measures puts restrictions on the sharability of quantum correlations in multiparty quantum states. Multiparty quantum states can satisfy or violate monogamy relations with respect to given quantum correlations. We show that all multiparty quantum states can be made monogamous with respect to all measures. More precisely, given any quantum correlation measure that is non-monogamic for a multiparty quantum state, it is always possible to find a monotonically increasing function of the measure that is monogamous for the same state. The statement holds for all quantum states, whether pure or mixed, in all finite dimensions and for an arbitrary number of parties. The monotonically increasing function of the quantum correlation measure satisfies all the properties that is expected for quantum correlations to follow. We illustrate the concepts by considering a thermodynamic measure of quantum correlation, called the quantum work deficit.
Sharing of quantum correlations among many parties is known to play an important role in quantum phenomena, ranging from quantum communication protocols BW (); teleportation (); exp (); comm-review () to cooperative events in quantum many-body systems amader-AdP (); Andreas-Fazio-Vlatko-RMP (). It is therefore important to conceptualize and quantify quantum correlations, for which investigations are usually pursued in two directions, viz. the entanglement-separability HHHH-RMP () and the information-theoretic Modi () ones. Any such measure of quantum correlation is expected to satisfy a monotonicity (precisely, non-increasing) under an intuitively satisfactory set of local quantum operations.
For a quantum state which is shared between more than two parties, one may expect that all the measures of quantum correlation would additionally follow a monogamy property Wootters (); Bennetteof (); KW (); monogamyN (), which restricts the sharability of quantum correlations among many parties. In the case of three parties, say, Alice, Bob and Charu, monogamy of a measure, , says that the sum, , of quantum correlations of the two-party local states between the Alice-Bob and the Alice-Charu pairs, should not exceed the quantum correlation, , of Alice with Bob and Charu taken together. Alice is therefore alloted a special status, and is called the “nodal observer”. If the tripartite state, shared between the three parties, Alice, Bob, and Charu, is symmetric under exchange of particles, then any of the three parties in the monogamy relation can act as the nodal observer. However, if the state under consideration is non-symmetric under interchange of particles, then we allot the status of the nodal observer to the party that minimises the monogamy expression , with being chosen from Alice, Bob, and Charu, and with no two of being equal. Let us mention however that our results hold with other choices of the nodal observer also. The concept of monogamy has also been carried over to more than two extra-nodal observers. Classical correlations certainly do not satisfy a monogamy constraint monogamyN (). The monogamous nature of quantum correlations plays a key role in the security of quantum cryptography cryptoRMP (). Moreover, monogamy of quantum correlations has recently been used to study frustrated spin systems koteswar (). Surprisingly however, there are important and useful entanglement measures that do not satisfy monogamy for certain multiparty quantum states, an example being the entanglement of formation Bennetteof (), which quantifies the amount of entanglement required for preparation of a given bipartite quantum state. Nevertheless, it was found that for multiqubit systems, the concurrence squared concurrence (), a monotonically increasing function of the entanglement of formation is monogamous Wootters (); Bennetteof (); KW (); monogamyN (). Similarly, the square of concurrence and entanglement of formation are monogamous for arbitrary multiqubit systems OliveiraBai (), although concurrence and entanglement of formation themselves are not so. Recently, it was shown that the information-theoretic quantum correlation measure, quantum discord discord1 (); discord2 (), can violate monogamy amaderPrabhu (); Giorgi (); lightcone (); RenFan () (cf. LOCC-monogamy (); Dagmar ()), and again a monotonically increasing function of the quantum discord satisfies monogamy for three-qubit pure states monogamyDnew ().
In this paper, we show that if any bipartite quantum correlation measure, of an arbitrary number of parties in arbitrary finite dimensions, is non-increasing under loss of a part of a local subsystem, any multiparty quantum state is either already monogamous with respect to that measure or an increasing function of the bipartite measure can make it so. Note that the result holds for both pure and mixed states. It is interesting to note that the increasing function also satisfies all the properties for being a measure of quantum correlation, which include monotonicity under local operations and vanishing for “classically correlated” states (which is the set of separable states for measures of entanglement). Moreover we show that the function can always be chosen to be reversible, so that there is no loss of information in applying the function on the parent quantum correlation HHHH-RMP (); Vidal (). To illustrate the result, we show that although the quantum work-deficit workdeficit (), an information-theoretic quantum correlation measure, violates monogamy even for three-qubit pure states, the states become monogamous when one considers integer powers of the measure. In stark contrast to what happens for concurrence and quantum discord, we show that for the three-qubit generalized W states Wstate (); dur-vidal-cirac (), the fourth power of quantum work-deficit is required to obtain monogamy for these states. In case of arbitrary three-qubit W-class states Wstate (); dur-vidal-cirac () and the GHZ-class states GHZ (); dur-vidal-cirac (), to obtain monogamy of quantum work-deficit, one requires higher polynomials. We also find that three-qubit pure states that are monogamous with respect to quantum discord are also so with respect to quantum work-deficit.
Ii Turning non-monogamous multisite quantum states into monogamous ones
Let be a quantum correlation measure that is defined for arbitrary bipartite states (pure or mixed) in arbitrary finite dimensions. Consider a three-party quantum state (pure or mixed), , in arbitrary finite dimensions, shared between three observers, Alice , Bob , and Charu . Let denote the quantum correlation for the two-party reduced state . is similarly defined. Let denote the quantum correlation for the state in the partition. To prove our results, we consider quantum states of three finite dimensional systems. However, the results can be generalized to an arbitrary number of finite dimensional systems.
The measure is said to satisfy monogamy for the state if . The idea is that a measure will be called monogamous for a certain shared quantum state if the amount of quantum correlations that Alice has with Bob and Charu separately would be smaller than what she has with her partners taken together. The measure will be called strictly monogamous for if . On the other hand, , will imply that the measure is non-monogamous for the corresponding state.
It is interesting to note that the “monogamy score” Wootters (); VanishingDisc () can be used to quantify sharability of quantum correlations in tripartite quantum systems. Such quantities has been employed to detect regime changes in frustrated quantum many-body systems in experimental nuclear magnetic resonance substances koteswar ().
The following theorem demonstrates that the non-monogamous nature of any measure for any state can be transformed to a monogamous one (in fact, strictly so), by considering an increasing function of the measure.
Let be the set of all real numbers.
Theorem 1: If violates monogamy for an arbitrary three-party quantum state in arbitrary finite dimensions, there always exists an increasing function such that
is monotonically decreasing under discarding systems and invariance under discarding systems occurs only for monogamy-satisfying states.
Proof: Let us first rename
for notational simplicity. Then the constraints in the premise of the theorem (non-monogamy and monotonicity of ) can be rewritten as
Hence it follows that
This implies that
Hence , there exists positive integers such that
Let us now choose . Therefore, and , positive integers , where Adding the inequalities, we have , positive integers . Hence the proof.
The above theorem can be generalized to an arbitrary number of parties (say, ) by choosing , whereby an inequality (with will lead us to for a suitably chosen .
Note here that invariance under discarding part of a subsystem implying monogamy, holds for many quantum correlation measures, including entanglement of formation and concurrence for three-qubit systems and quantum discord in arbitrary finite dimensional three-party states. Note also that any positive power of a measure vanishes for the same class of states for which the original measure vanishes, so that the set of states that is indicated to be “classical” by the original measure, is invariant after the transformation of the original measure into the new one. Let us also mention here that if a measure is monotonically non-increasing for a certain class of local operations (possibly assisted by classical communication between the parties), a positive integer power of the measure also has the same property. Specifically, for a measure and a multiparty state , implies that for any positive , where represents a map that can be implemented by local quantum operations and classical communication. Note that while the cases of vanishing have been ignored in the proof, they can be handled easily.
There is no guarantee that a given power that is instrumental in rendering a quantum correlation monogamous for Alice as the nodal observer, will also work for Bob or Charu as the nodal observer. However, the lowest common multiple of the these powers, corresponding to the three nodal observers, does the job.
There do exist examples of situations where a non-strict monotonically increasing function turns a non-monogamous quantum correlation into a monogamous one. However, they do not preserve all information about the original quantum correlation. In other words, for such functions, knowing will not necessarily imply a knowledge of . This can make the to be drastically less useful in comparison to . We therefore want to restrict ourselves to strictly monotonically increasing functions. More specifically, we consider only “reversible functions”, i.e., function such that can be used to find for all arguments .
We now show that the class of monogamous states is closed under the operation of taking positive integral powers of the corresponding
Theorem 2: If a quantum correlation measure is monogamous for a three-party quantum state, any positive integer power of the measure is also monogamous for the same state.
Proof: The premise implies that . Then for any positive integer , we have
which in turn is , as , are non-negative. Hence the proof.
Iii On monogamy of quantum work-deficit
We will now consider the monogamy properties of the information-theoretic quantum correlation measure, called quantum work-deficit (WD) workdeficit (). In particular, this will help to illustrate that positive powers of a measure can lead to monogamous nature for a state, when the measure itself is not so.
We begin by relating the monogamy properties of quantum discord, quantum work-deficit, and entanglement of formation. Consider an arbitrary pure three-party state .
Let us denote the quantum discord for
the state by , where the measurement is performed by the observer .
is similarly defined, with the measurement being performed by the observer .
The entanglements of formation of and are denoted by and respectively.
Similar notations are used for the different varieties of
the quantum work-deficits,
, , and .
See the Appendix for the definitions of these measures.
Proposition 1: For an arbitrary three-party pure state,
where is the entropy produced by the measurement in , and similarly for .
Proof: It can be obtained from Ref. KW () that for an arbitrary pure state ,
where forms the optimal measurement by the observer and are the corresponding probabilities. Here denotes the von Neumann entropy of its argument. Therefore,
where denotes the Shannon entropy of the probability distribution in its argument. Here we assume that projective measurements attain optimality, which is conjectured to be the case for rank-2 states in Ref. seikhane-hobe-dekha (). Consequently, . Hence the result.
Performing measurements on the first parties will lead to
, where () is the entropy
produced in the measurement at on ().
Theorem 3: For an arbitrary pure three-party quantum state ,
quantum discord is monogamous whenever the quantum work-deficit, , is so.
Proof: From the definitions of quantum discord and WD, we obtain
where is the von Neumann entropy of . Since , . For states for which WD is monogamous, we have
Here we assume that the minimum of work-deficit and quantum discord are attained by the same measurement. It is easy to see that the theorem holds even if the first parties perform the measurements.
The converse of the theorem does not hold, and by numerically searching over randomly-chosen pure three-qubit states, uniformly with respect to the Haar measure, we find that there are 35.788% of three-qubit pure states for which WD is non-monogamous while quantum discord is monogamous, 6.975% of them for which WD and quantum discord are both non-monogamous, and 57.237% of them for which WD and quantum discord are both monogamous.
iii.1 Monogamy of quantum work-deficit for three qubit states
We now consider the monogamy properties of quantum work-deficit for three-qubit pure states, and will begin by investigating the same for an important class of three-qubit pure states, viz. the generalized W states Wstate (); dur-vidal-cirac (), given by
where and . Numerical evidence indicate that quantum work-deficit is non-monogamous for all or almost all members of this class (see Fig. 1 (left)). In other words, setting
for an arbitrary bipartite quantum correlation measure and an arbitrary three-party state , we find that
for all the generalized W states that we randomly chose from the class of . Note here that another information-theoretic quantum correlation measure, the quantum discord, can also be non-monogamous for these states amaderPrabhu (); Giorgi (); RenFan (); lightcone (). However, recently it has been shown that the square of (one variety of) quantum discord is a monogamous quantity for all three-qubit pure states monogamyDnew (). This however is no longer valid for WD. As stated in Theorem 1, suitably chosen integral powers of WD will be monogamous for any given state. And we find that for WD, monogamy for generalized W states is obtained (numerically) for the fifth power (see Fig. 1 (right)), i.e.
for all the randomly chosen generalized W states. This feature remains unchanged when the measurement is performed by the observer .
If one considers the W-class states, the percentage of non-monogamous states decreases slowly, as compared to the case of generalized W states with the increase of powers of work-deficit. In particular, we found by numerical simulation that the percentage of non-monogamous states with respect to is 10.76, decreasing from 100% for . The percentages are determined by Haar uniform generation of 10 randomly chosen states in the space of W-class states.
We have also considered the monogamy properties of general three-qubit pure states with respect to quantum work-deficit, . A histogram showing the relative frequencies of non-monogamous states among randomly chosen pure three-qubit states, for different powers of quantum work-deficit, is given in Fig. 2. Admixture of noise, if sufficiently small in amount, will still satisfy monogamy for the same power of . Theorem 1 is however true for all mixed states, but larger levels of noise may require higher powers of to attain monogamy. In a given experimental setup, the experimenter can in principle find out her shared quantum state, and then Theorem 1 guarantees a finite positive power, , for every bipartite quantum correlation measure, , so that the corresponding will satisfy the monogamy relation.
It is well-known that quantum correlation measures can be monogamous or non-monogamous for multisite quantum states. This can occur for quantum correlation measures of the entanglement-separability paradigm, as well as those of the information-theoretic one. We demonstrated that any quantum correlation measure that is non-monogamous for a multiparty quantum state can be made monogamous for the same by considering an increasing function of the measure. The transformed measure retains the important properties, like monotonicity under local operations and vanishing for “classical” states, of the original measure. We illustrate the results by using quantum work-deficit, an information-theoretic quantum correlation measure. We show that while the generalized W states are non-monogamous with respect to quantum work-deficit, the fifth power of the measure makes the states monogamous. We also discuss the monogamy properties of quantum work-deficit, and its powers, for arbitrary three-qubit pure states.
Let us mention here that in the literature, monotonically increasing functions of a quantum correlation measure are regarded with the same level of importance as the original measure. So, for example, the nearest-neighbor entanglement of quantum spin-1/2 systems amader-AdP (); Andreas-Fazio-Vlatko-RMP () is usually investigated by employing the measure, concurrence, although a more physically meaningful measure is the entanglement of formation, with concurrence being an increasing function of the latter.
RP acknowledges an INSPIRE-faculty position at the Harish-Chandra Research Institute (HRI) from the Department of Science and Technology, Government of India, and SK thanks HRI for hospitality and support.
Appendix A Definitions of quantum correlation measures
This appendix provides a brief definition to the various quantum correlation measures used in this paper.
Entanglement of formation
The entanglement of formation of a pure bipartite state, , shared between two parties and , can be shown to be equal to the von Neumann entropy of the local density matrix of the shared state Bennetteof ():
where and similarly for . Entanglement of formation of a mixed bipartite state is then defined by the convex roof approach EoF1 ():
where the minimization is over all pure state decompositions of .
Quantum discord is defined as the difference between two quantum information-theoretic quantities, whose classical counterparts are equivalent expressions for the classical mutual information discord2 (); discord1 ():
where is the von Neumann entropy of the quantum state , and and are the reduced density matrices of . On the other hand, can be interpreted as the amount of classical correlation in , and is defined as
is the conditional entropy of , conditioned on a measurement performed by with a rank-one projection-valued measurement ,
producing the states
with probability .
is the identity operator on the Hilbert space of .
We now briefly introduce the information-theoretic measure of quantum correlation, known as quantum work-deficit workdeficit () for an arbitrary bipartite quantum state . Let us begin by considering the number, , of pure qubits that can be extracted from by “closed global operations”, with the latter consisting of any sequence of unitary operations and dephasing. It can be shown that
where is the of the dimension of the Hilbert space on which is defined. This thermodynamic “work” that can be extracted from the quantum state may require to employ global operations, which are not accessible to observers who are situated in separated laboratories. To obtain a quantification of the amount of work that can be extracted from by local actions, we restrict to “closed local quantum operations and classical communication (CLOCC)”, which consists of local unitaries, local dephasings, and sending dephased states from one party to another. Under these local actions, the number of pure qubits that can be extracted is given by
where and . For an arbitrary bipartite state , the quantum work-deficit is then defined as
and is interpreted as an information-theoretic quantum correlation measure of . The quantity is not efficiently computable for arbitrary bipartite states. General CLOCC actions are also difficult to implement in an experiment. Therefore we will also consider the quantity , in which we restrict our attention to CLOCC consisting of projection measurements at the single party () only for extracting work with local actions. If the measurement is performed by , we denote it as .
- (1) C.H.Bennett, S.J. Wiesner, Phys. Rev. Lett. 69 (1992) 2881.
- (2) C.H. Bennett, G. Brassard, C. Crépeau, R. Josza, A. Peres, W.K. Wootters, Phys. Rev. Lett. 70 (1993) 1895.
- (3) J.-W. Pan, Z.-B. Chen, C.-Y. Lu, H. Weinfurter, A. Zeilinger, M. Żukowski, Rev. Mod. Phys. 84 (2012) 777–838; H. Häffner, C.F. Roos, R. Blatt, Phys. Rep. 469 (2008) 155–203; L.-M. Duan, C. Monroe, Rev. Mod. Phys. 82 (2010) 1209–1224; K. Singer, U. Poschinger, M. Murphy, P. Ivanov, F. Ziesel, T. Calarco, F. Schmidt-Kaler, Rev. Mod. Phys. 82 (2010) 2609–2632; D. Jaksch, Contemp. Phys. 45 (2004) 367–381; D. Jaksch, P. Zoller P, Ann. Phys. 315 (2005) 52–79; L.M.K. Vandersypen, I.L Chuang, Rev. Mod. Phys. 76 (2005) 1037–1069; Y. Makhlin, G. Schön, A. Shnirman, Rev. Mod. Phys. 73 (2001) 357–400; J.M. Raimond, M. Brune, S. Haroche, Rev. Mod. Phys. 73 (2001) 565–582.
- (4) For a recent review, see e.g. A. Sen(De), U. Sen, Physics News 40 (2010) 17–32 (available at arXiv:quant-ph/1105.2412).
- (5) M. Lewenstein, A. Sanpera, V. Ahufinger, B. Damski, A. Sen(De), U. Sen, Adv. Phys. 56 (2007) 243–379.
- (6) L. Amico, R. Fazio, A. Osterloh, V. Vedral, Rev. Mod. Phys. 80 (2008) 517–576.
- (7) R. Horodecki, P. Horodecki, M. Horodecki, K. Horodecki, Rev. Mod. Phys. 81 (2009) 865–942.
- (8) K. Modi, A. Brodutch, H. Cable, T. Paterek, V. Vedral, Rev. Mod. Phys. 84 (2012) 1655.
- (9) A.K. Ekert, Phys. Rev. Lett. 67 (1991) 661; V. Coffman, J. Kundu, W.K. Wootters, Phys. Rev. A 61 (2000) 052306.
- (10) C.H. Bennett, H.J. Bernstein, S. Popescu, B. Schumacher, Phys. Rev. A 53 (1996) 2046.
- (11) K. Koashi, A. Winter, Phys. Rev. A 69 (2004) 022309.
- (12) See also T.J. Osborne, F. Verstraete, Phys. Rev. Lett. 96 (2006) 220503; G. Adesso, A. Serafini, F. Illuminati, Phys. Rev. A 73 (2006) 032345; G. Adesso, F. Illuminati, New J. Phys. 8 (2006) 15; T. Hiroshima, G. Adesso, F. Illuminati, Phys. Rev. Lett. 98 (2007) 050503; M. Seevinck, Phys. Rev. A 76 (2007) 012106; G. Adesso, M. Ericsson, F. Illuminati, Phys. Rev. A 76 (2007) 022315; S. Lee, J. Park, Phys. Rev. A 79 (2009) 054309; A. Kay, D. Kaszlikowski, R. Ramanathan, Phys. Rev. Lett. 103 (2009) 050501; F.F. Fanchini, M.F. Cornelio, M.C. de Oliveira, A.O. Caldeira, Phys. Rev. A 84 (2011) 012313; M. Hayashi, L. Chen, Phys. Rev. A 84 (2011) 012325 and references therein.
- (13) N. Gisin, G. Ribordy, W. Tittel, H. Zbinden, Rev. Mod. Phys. 74 (2002) 145–195; B.M. Terhal, IBM J. Res. Dev. 48 (2004) 71-78.
- (14) K.R.K. Rao, H. Katiyar, T.S. Mahesh, A. Sen(De), U. Sen, A. Kumar, Phys. Rev. A 88 (2013) 022312.
- (15) S. Hill, W.K. Wootters, Phys. Rev. Lett. 78 (1997) 5022; W.K. Wootters, Phys. Rev. Lett. 80 (1998) 2245.
- (16) T.R. de Oliveira, M.F. Cornelio, and F.F. Fanchini, Phys. Rev. A 89, 034303 (2014); Y.-K. Bai, Y.-F. Xu, Z.D. Wang, arXiv:1401.3205 [quant-ph].
- (17) H. Ollivier, W.H. Zurek, Phys. Rev. Lett. 88 (2001) 017901.
- (18) L. Henderson, V. Vedral, J. Phys. A 34 (2001) 6899–6905.
- (19) R. Prabhu, A.K. Pati, A. Sen(De), U. Sen, Phys. Rev. A 85 (2012) 040102(R).
- (20) G.L. Giorgi, Phys. Rev. A 84 (2011) 054301.
- (21) R. Prabhu, A.K. Pati, A. Sen(De), U. Sen, Phys. Rev. A 86 (2012) 052337.
- (22) X.-J. Ren, H. Fan, Quant. Inf. Comp. 13 (2013) 0469–0478.
- (23) A. Sen(De), U. Sen, Phys. Rev. A 85 (2012) 052103.
- (24) A. Streltsov, G. Adesso, M. Piani, D. Bruß, Phys. Rev. Lett. 109 (2012) 050503.
- (25) Y.-K. Bai, N. Zhang, M.-Y. Ye, Z.D. Wang, Phys. Rev. A 88 (2013) 012123.
- (26) G. Vidal, arXiv:quant-ph/0203107.
- (27) J. Oppenheim, M. Horodecki, P. Horodecki, R. Horodecki, Phys. Rev. Lett. 89, (2002) 180402; M. Horodecki, K. Horodecki, P. Horodecki, R. Horodecki, J. Oppenheim, A. Sen(De), U. Sen, Phys. Rev. Lett. 90 (2003) 100402; M. Horodecki, P. Horodecki, R. Horodecki, J. Oppenheim, A. Sen(De), U. Sen, B. Synak-Radtke, Phys. Rev. A 71 (2005) 062307.
- (28) A. Zeilinger, M.A. Horne, D.M. Greenberger, Higher-order quantum entanglement, in: D. Han, Y.S. Kim, W.W. Zachary (Eds.), Proceedings of Squeezed States and Quantum Uncertainty, NASA Conference Publication No. 3135, NASA, Washington, DC, 1992, pp.73-81.
- (29) W. Dür, G. Vidal, J.I. Cirac, Phys. Rev. A 62 (2000) 062314.
- (30) D.M. Greenberger, M.A. Horne, A. Zeilinger, Going beyond Bell’s theorem, in: M. Kafatos (Eds.), Bell’s Theorem, Quantum Theory, and Conceptions of the Universe, Kluwer Academic, Dordrecht, 1989, pp.69-72.
- (31) M.N. Bera, R. Prabhu, A. Sen(De), U. Sen, Phys. Rev. A 86 (2012) 012319.
- (32) S. Hamieh, R. Kobes, H. Zaraket, Phys. Rev. A 70 (2004) 052325.
- (33) C.H. Bennett, D.P. DiVincenzo, J.A. Smolin, W.K. Wootters, Phys. Rev. A 54 (1996) 3824.
- (34) W.H. Zurek, Information Transfer in Quantum Measurements: Irreversibility and Amplification, in: P. Meystre, M.O. Scully (Eds.), Quantum Optics, Experimental Gravitation and Measurement Theory, Plenum Press, New York, 1983, pp. 87–116; S.M. Barnett, S.J.D. Phoenix, Phys. Rev. A 40 (1989) 2404.
- (35) N.J. Cerf, C. Adami, Phys. Rev. Lett. 79 (1997) 5194.
- (36) B. Schumacher, M.A. Nielsen, Phys. Rev. A 54 (1996) 2629; B. Groisman, S. Popescu, A. Winter, Phys. Rev. A 72 (2005) 032317.