Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1502.01272 · Physical Review A

Monogamy, polygamy, and other properties of entanglement of purification

Shrobona Bagchi, Arun Kumar Pati

Published Apr 16, 2015• 36 citations
arXivHTMLPDF

Abstract

For bipartite pure and mixed quantum states, in addition to the quantum mutual information, there is another measure of total correlation, namely, the entanglement of purification. We study the monogamy, polygamy, and additivity properties of the entanglement of purification for pure and mixed states. In this paper, we show that, in contrast to the quantum mutual information which is strictly monogamous for any tripartite pure states, the entanglement of purification is polygamous for the same. This shows that there can be genuinely two types of total correlation across any bipartite cross in a pure tripartite state. Furthermore, we find the lower bound and actual values of the entanglement of purification for different classes of tripartite and higher-dimensional bipartite mixed states. Thereafter, we show that if entanglement of purification is not additive on tensor product states, it is actually subadditive. Using these results, we identify some states which are additive on tensor products for entanglement of purification. The implications of these findings on the quantum advantage of dense coding are briefly discussed, whereby we show that for tripartite pure states, it is strictly monogamous and if it is nonadditive, then it is superadditive on tensor product states.

DOI
10.1103/physreva.91.042323

Related papers

Monogamy of the entanglement of formation

Yu Jing Guo, Gilad Gour

We show that any measure of entanglement that on pure bipartite states is given by a strictly concave function of the reduced density matrix is monogamous on pure tripartite states. This includes the important class of bipartite measures of entanglement that reduce to the (von Neumann) entropy of entanglement. Moreover, we show that the convex roof extension of such measures (e.g., entanglement of formation) is monogamous also on mixed tripartite states. To prove our results, we use the definition of monogamy without inequalities recently put forward [Gour and Guo, Quantum 2, 81 (2018)]. Our results promote the concept that monogamy of entanglement is a property of quantum entanglement and not an attribute of some particular measures of entanglement.

arXiv:1809.08532•Physical Review A•Apr 1, 2019•46 citations

Rényi Entanglement of Purification Is Non-additive

Amir-Reza Negari, Zahra Baghali Khanian

Entanglement of purification is a fundamental measure of total correlations whose additivity remains unresolved. We study its additivity for classical states on two qubits at different Rényi orders. For every $α\in[0,1)$, we prove nonadditivity within this family, witnessed by two copies of a single state. We first solve the one-copy optimization exactly for the entire family at every Rényi order. We then restrict the two-copy optimization to a natural finite set of purifications and exhibit one whose entropy is strictly below the product value. In contrast, for $α\in[2,\infty]$ we prove additivity under tensor products within this family. The interval $α\in[1,2)$, including the von Neumann case $α=1$, remains open, and we conjecture additivity there throughout the same family.

quant-pharXiv:2608.28897•Sep 1, 2026•0 citations

The entanglement of purification is not additive

Artus Krohn-Grimberghe

The entanglement of purification $E_P$, introduced by Terhal, Horodecki, Leung, and DiVincenzo in 2002, measures the total correlations of a bipartite state by the entanglement needed to purify it; whether it is additive on tensor powers has been open since its introduction. In 2012 Chen and Winter argued "beyond reasonable doubt", from numerical evidence, that the two-qubit Werner state at singlet fraction $f = 1/200$ is a counterexample, and explicitly left a completely rigorous proof to future work. To our knowledge we give the first rigorous proof: for this state $W$, $E_P^\infty(W) \le 0.9663\ldots < 97/100 < E_P(W)$, hence the entanglement of purification is strictly nonadditive at some finite tensor power. The lower bound is a finite certificate: analytic reductions send the Schmidt spectrum of every purification in the complete complex Stiefel domain to a point satisfying explicit necessary inequalities in a three-dimensional box, and an exact-rational subdivision of that box has 25,383 leaves, each of which either excludes nonphysical points or proves the entropy bound. The upper bound combines an exact symmetric-support endpoint, an explicit feasible isometry, and a convexity theorem for the regularized quantity, closed by two directed rational logarithm certificates. Every computer-assisted certificate reduces to integer comparisons; a dependency-free program verifies all of them from the supplementary artifact.

quant-pharXiv:2609.29539•Aug 26, 2026•0 citations

Monogamy of quantum correlations in three-qubit pure states

Sudha, A. R. Usha Devi, A. K. Rajagopal

The limitation on the shareability of quantum entanglement over several parties, the so-called monogamy of entanglement, is an issue that has received considerable attention from the quantum information community over the last decade. A natural question of interest in this connection is whether monogamy of correlations is true for correlations other than entanglement. This issue is examined here by choosing quantum deficit, proposed by A. K. Rajagopal and R. W. Rendell [Phys. Rev. A 66, 022104 (2002)], an operational measure of correlations. In addition to establishing the polygamous nature of the class of three-qubit symmetric pure states characterized by two distinct Majorana spinors (to which the $W$ states belong), those with three distinct Majorana spinors [to which Greenberger-Horne-Zeilinger (GHZ) states belong] are shown to either obey or violate monogamy relations. While the generalized $W$ states can be monogamous or polygamous, the generalized GHZ states exhibit monogamy with respect to quantum deficit. The issue of using monogamy conditions based on quantum deficit to witness the states belonging to stochastic local operations and classical communication (SLOCC) inequivalent classes is discussed in light of these results.

arXiv:1110.3026•Physical Review A•Jan 10, 2012•44 citations

Non-monogamy of quantum discord and upper bounds for quantum correlation

Xi-Jun Ren, Heng Fan

We consider a monogamy inequality of quantum discord in a pure tripartite state and show that it is equivalent to an inequality between quantum mutual information and entanglement of formation of two parties. Since this inequality does not hold for arbitrary bipartite states, quantum discord can generally be both monogamous and polygamous. We also carry out numerical calculations for some special states. The upper bounds of quantum discord and classical correlation are also discussed and we give physical analysis on the invalidness of a previous conjectured upper bound of quantum correlation. Our results provide new insights for further understanding of distributions of quantum correlations.

arXiv:1111.5163•Quantum Information and Computation•May 1, 2013•14 citations

A New Method of Classification of Pure Tripartite Quantum States

Jyoti Faujdar, Anoopa Joshi, Satyabrata Adhikari

The classification of the multipartite entanglement is an important problem in quantum information theory. We propose a class of two qubit mixed states $σ_{AB}= p|χ_{1}\rangle\langleχ_{1}|\otimesρ_{1}+(1-p)|χ_{2}\rangle\langleχ_{2}|\otimesρ_{2}$, where $|χ_{1}\rangle=α|0\rangle+β|1\rangle$, $|χ_{2}\rangle=β|0\rangle+(-1)^{n}α|1\rangle$. We have shown that the state $σ_{AB}$ represent a classical state when $n$ is odd while it represent a non-classical state when $n$ is even. The purification of the state $σ_{AB}$ is studied and found that the purification is possible if the spectral decomposition of the density matrices $ρ_{1}$ and $ρ_{2}$ represent pure states. We have established a relationship between three tangle, which measures the amount of entanglement in three qubit system and the quantity $\langleχ_{1}|χ_{2}\rangle$, which identifies whether the two qubit mixed state is classical or non-classical. The three qubit purified state is then classified as a separable or biseparable or W-type or GHZ-type state using the quantum correlation, measured by geometric discord, of its reduced two qubit density matrix.

arXiv:1408.1539•Aug 7, 2014•0 citations
For bipartite pure and mixed quantum states, in addition to the quantum mutual information, there is another measure of total correlation, namely, the entanglement of purification. We study the monogamy, polygamy, and additivity properties of the entanglement of purification for pure and mixed states. In this paper, we show that, in contrast to the quantum mutual information which is strictly monogamous for any tripartite pure states, the entanglement of purification is polygamous for the same. This shows that there can be genuinely two types of total correlation across any bipartite cross in a pure tripartite state. Furthermore, we find the lower bound and actual values of the entanglement of purification for different classes of tripartite and higher-dimensional bipartite mixed states. Thereafter, we show that if entanglement of purification is not additive on tensor product states, it is actually subadditive. Using these results, we identify some states which are additive on tensor products for entanglement of purification. The implications of these findings on the quantum advantage of dense coding are briefly discussed, whereby we show that for tripartite pure states, it is strictly monogamous and if it is nonadditive, then it is superadditive on tensor product states.
We show that any measure of entanglement that on pure bipartite states is given by a strictly concave function of the reduced density matrix is monogamous on pure tripartite states. This includes the important class of bipartite measures of entanglement that reduce to the (von Neumann) entropy of entanglement. Moreover, we show that the convex roof extension of such measures (e.g., entanglement of formation) is monogamous also on mixed tripartite states. To prove our results, we use the definition of monogamy without inequalities recently put forward [Gour and Guo, Quantum 2, 81 (2018)]. Our results promote the concept that monogamy of entanglement is a property of quantum entanglement and not an attribute of some particular measures of entanglement.
Entanglement of purification is a fundamental measure of total correlations whose additivity remains unresolved. We study its additivity for classical states on two qubits at different Rényi orders. For every α∈[0,1)α\in[0,1)α∈[0,1), we prove nonadditivity within this family, witnessed by two copies of a single state. We first solve the one-copy optimization exactly for the entire family at every Rényi order. We then restrict the two-copy optimization to a natural finite set of purifications and exhibit one whose entropy is strictly below the product value. In contrast, for α∈[2,∞]α\in[2,\infty]α∈[2,∞] we prove additivity under tensor products within this family. The interval α∈[1,2)α\in[1,2)α∈[1,2), including the von Neumann case α=1α=1α=1, remains open, and we conjecture additivity there throughout the same family.
The entanglement of purification EPE_PEP​, introduced by Terhal, Horodecki, Leung, and DiVincenzo in 2002, measures the total correlations of a bipartite state by the entanglement needed to purify it; whether it is additive on tensor powers has been open since its introduction. In 2012 Chen and Winter argued "beyond reasonable doubt", from numerical evidence, that the two-qubit Werner state at singlet fraction f=1/200f = 1/200f=1/200 is a counterexample, and explicitly left a completely rigorous proof to future work. To our knowledge we give the first rigorous proof: for this state WWW, EP∞(W)≤0.9663…<97/100<EP(W)E_P^\infty(W) \le 0.9663\ldots < 97/100 < E_P(W)EP∞​(W)≤0.9663…<97/100<EP​(W), hence the entanglement of purification is strictly nonadditive at some finite tensor power. The lower bound is a finite certificate: analytic reductions send the Schmidt spectrum of every purification in the complete complex Stiefel domain to a point satisfying explicit necessary inequalities in a three-dimensional box, and an exact-rational subdivision of that box has 25,383 leaves, each of which either excludes nonphysical points or proves the entropy bound. The upper bound combines an exact symmetric-support endpoint, an explicit feasible isometry, and a convexity theorem for the regularized quantity, closed by two directed rational logarithm certificates. Every computer-assisted certificate reduces to integer comparisons; a dependency-free program verifies all of them from the supplementary artifact.
The limitation on the shareability of quantum entanglement over several parties, the so-called monogamy of entanglement, is an issue that has received considerable attention from the quantum information community over the last decade. A natural question of interest in this connection is whether monogamy of correlations is true for correlations other than entanglement. This issue is examined here by choosing quantum deficit, proposed by A. K. Rajagopal and R. W. Rendell [Phys. Rev. A 66, 022104 (2002)], an operational measure of correlations. In addition to establishing the polygamous nature of the class of three-qubit symmetric pure states characterized by two distinct Majorana spinors (to which the WWW states belong), those with three distinct Majorana spinors [to which Greenberger-Horne-Zeilinger (GHZ) states belong] are shown to either obey or violate monogamy relations. While the generalized WWW states can be monogamous or polygamous, the generalized GHZ states exhibit monogamy with respect to quantum deficit. The issue of using monogamy conditions based on quantum deficit to witness the states belonging to stochastic local operations and classical communication (SLOCC) inequivalent classes is discussed in light of these results.
We consider a monogamy inequality of quantum discord in a pure tripartite state and show that it is equivalent to an inequality between quantum mutual information and entanglement of formation of two parties. Since this inequality does not hold for arbitrary bipartite states, quantum discord can generally be both monogamous and polygamous. We also carry out numerical calculations for some special states. The upper bounds of quantum discord and classical correlation are also discussed and we give physical analysis on the invalidness of a previous conjectured upper bound of quantum correlation. Our results provide new insights for further understanding of distributions of quantum correlations.
The classification of the multipartite entanglement is an important problem in quantum information theory. We propose a class of two qubit mixed states σAB=p∣χ1⟩⟨χ1∣⊗ρ1+(1−p)∣χ2⟩⟨χ2∣⊗ρ2σ_{AB}= p|χ_{1}\rangle\langleχ_{1}|\otimesρ_{1}+(1-p)|χ_{2}\rangle\langleχ_{2}|\otimesρ_{2}σAB​=p∣χ1​⟩⟨χ1​∣⊗ρ1​+(1−p)∣χ2​⟩⟨χ2​∣⊗ρ2​, where ∣χ1⟩=α∣0⟩+β∣1⟩|χ_{1}\rangle=α|0\rangle+β|1\rangle∣χ1​⟩=α∣0⟩+β∣1⟩, ∣χ2⟩=β∣0⟩+(−1)nα∣1⟩|χ_{2}\rangle=β|0\rangle+(-1)^{n}α|1\rangle∣χ2​⟩=β∣0⟩+(−1)nα∣1⟩. We have shown that the state σABσ_{AB}σAB​ represent a classical state when nnn is odd while it represent a non-classical state when nnn is even. The purification of the state σABσ_{AB}σAB​ is studied and found that the purification is possible if the spectral decomposition of the density matrices ρ1ρ_{1}ρ1​ and ρ2ρ_{2}ρ2​ represent pure states. We have established a relationship between three tangle, which measures the amount of entanglement in three qubit system and the quantity ⟨χ1∣χ2⟩\langleχ_{1}|χ_{2}\rangle⟨χ1​∣χ2​⟩, which identifies whether the two qubit mixed state is classical or non-classical. The three qubit purified state is then classified as a separable or biseparable or W-type or GHZ-type state using the quantum correlation, measured by geometric discord, of its reduced two qubit density matrix.