pith. sign in

arxiv: 2605.15439 · v1 · pith:EO6FEDBCnew · submitted 2026-05-14 · 🪐 quant-ph · cs.IT· math.IT

Additivity Results for the R\'enyi-2 Entanglement of Purification

Shokoufe Faraji , Zahra Baghali Khanian This is my paper

Pith reviewed 2026-05-19 14:44 UTC · model grok-4.3

classification 🪐 quant-ph cs.ITmath.IT
keywords Rényi entanglement of purificationadditivitymultiplicativitySchatten normscompletely positive mapsquantum channelsdepolarizing channel
0
0 comments X

The pith

A simple algebraic condition on quantum maps makes the Rényi-2 entanglement of purification additive.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper reformulates the Rényi entanglement of purification as the problem of maximizing the Schatten 2-norm of a completely positive map applied to a state whose one marginal is fixed to be maximally mixed. It then proves that whenever the map satisfies N dagger composed with N equals a times the identity plus b times the trace times the identity, this maximized norm multiplies exactly under tensor products of the map. The multiplicativity immediately gives additivity of the associated Rényi-2 entanglement of purification for those maps and, by a further argument, for their complementary maps. A reader would care because additivity lets one compute the measure for many independent copies without having to optimize over exponentially large joint states.

Core claim

For any completely positive map N from operators on B' to operators on A that obeys N† ∘ N = a id_A + b Tr[·] I_d with a, b nonnegative constants, the quantity υ₂(N) is multiplicative under tensor powers. This holds in particular for the transpose-depolarizing channel, the depolarizing channel, and their complementary channels. Multiplicativity of υ_p for any p implies the same property for the complementary map, which yields additivity statements for the Rényi-2 entanglement of purification.

What carries the argument

υ₂(Ω), the maximum of the Schatten 2-norm of (Ω ⊗ id_E)(σ^{B'E}) taken over all states σ whose B' marginal is maximally mixed.

If this is right

  • υ₂ is multiplicative for tensor powers of the transpose-depolarizing channel.
  • υ₂ is multiplicative for the depolarizing channel and for its complementary channel.
  • Multiplicativity of υ_p for a map implies multiplicativity for its complementary map.
  • The Rényi-2 entanglement of purification is additive for every channel obeying the adjoint condition.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same algebraic test may identify additivity for other standard noise channels not explicitly treated in the paper.
  • Additivity results of this type can be used to obtain exact values of the measure on multiple uses without joint optimization.
  • Analogous reformulations might produce additivity proofs for Rényi parameters other than 2.

Load-bearing premise

The constrained maximal-output Schatten-2-norm problem is equivalent to the original definition of the Rényi entanglement of purification and carries the same multiplicativity properties.

What would settle it

An explicit computation of υ₂ for two copies of the transpose-depolarizing channel that yields a value different from the square of the single-copy value would disprove the multiplicativity claim.

read the original abstract

We reformulate the R\'enyi entanglement of purification as a constrained minimum output R\'enyi entropy problem. Equivalently, for $p>1$, this formulation can be expressed in terms of a constrained maximal output Schatten $p$-norm. More precisely, for a completely positive map $\Omega:L(B')\to L(A)$, we consider the quantity $\upsilon_p(\Omega)$ defined by optimizing $\|(\Omega\otimes \mathrm{id}_E)(\sigma^{B'E})\|_p$ over all bipartite states $\sigma^{B'E}$ whose $B'$-marginal is maximally mixed. We focus on the case $p=2$. First, we compute $\upsilon_2$ for the transpose-depolarizing channel and prove that it is multiplicative under tensor powers. We then establish a general multiplicativity criterion: whenever a completely positive map $N:L(B')\to L(A)$ satisfies $N^{\dagger} \mathbin{\circ} N=a\,\mathrm{id}_A+b\,\mathrm{Tr}[\cdot]\,I_d$ for some constants $a,b\ge 0$, where $N^{\dagger}$ denotes the Hilbert-Schmidt adjoint of $N$, the quantity $\upsilon_2(N)$ is multiplicative under tensor powers. Examples of channels satisfying this criterion include the transpose-depolarizing channel, the depolarizing channel, and their respective complementary channels. Furthermore, we show that, for every completely positive map $\Omega$, multiplicativity of $\upsilon_p(\Omega)$ implies multiplicativity for its complementary map. This yields the corresponding additivity statements for the associated R\'enyi-2 entanglement of purification.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript reformulates the Rényi-2 entanglement of purification associated to a CP map Ω : L(B') → L(A) as the constrained maximal output Schatten-2 norm υ₂(Ω) = max ‖(Ω ⊗ id_E)(σ^{B'E})‖₂, where the maximum is taken only over states σ whose B'-marginal is maximally mixed. It computes υ₂ explicitly for the transpose-depolarizing channel and proves multiplicativity υ₂(N^{⊗k}) = υ₂(N)^k whenever N satisfies the adjoint condition N† ∘ N = a id_A + b Tr[·] I_d for a,b ≥ 0. The same multiplicativity is shown to pass to complementary maps, yielding corresponding additivity statements for the Rényi-2 EoP.

Significance. Additivity results for Rényi entropies of purification remain scarce; a general algebraic criterion based on the Hilbert-Schmidt adjoint that covers the transpose-depolarizing channel, the depolarizing channel and their complements would be a useful addition to the literature if the reformulation is shown to be equivalent to the standard variational definition.

major comments (1)
  1. [Abstract and reformulation paragraph] The central claim rests on the asserted equivalence between the constrained Schatten-2 problem υ₂(Ω) and the original Rényi-2 EoP variational problem. The manuscript does not supply an explicit argument that every optimizer of the unconstrained problem can be replaced by one whose B'-marginal is maximally mixed without changing the value, nor that the two quantities coincide for arbitrary CP maps. Because multiplicativity is proved only for the constrained version, this equivalence is load-bearing for the additivity statements for EoP.
minor comments (2)
  1. Notation for the adjoint N† should be introduced once and used consistently; the current text alternates between N† and the Hilbert-Schmidt adjoint without a single definition.
  2. The statement that multiplicativity of υ_p implies multiplicativity for the complementary map is asserted for general p; a short remark clarifying whether the proof uses p=2-specific properties would help readers.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need for a more explicit justification of the reformulation. We address this point below and will revise the manuscript accordingly to strengthen the presentation.

read point-by-point responses

  1. Referee: [Abstract and reformulation paragraph] The central claim rests on the asserted equivalence between the constrained Schatten-2 problem υ₂(Ω) and the original Rényi-2 EoP variational problem. The manuscript does not supply an explicit argument that every optimizer of the unconstrained problem can be replaced by one whose B'-marginal is maximally mixed without changing the value, nor that the two quantities coincide for arbitrary CP maps. Because multiplicativity is proved only for the constrained version, this equivalence is load-bearing for the additivity statements for EoP.

    Authors: We agree that an explicit argument establishing the equivalence is desirable for clarity, even though the reformulation is standard in the literature on output norms and entanglement measures. In the revised manuscript we will add a dedicated paragraph (or short appendix) proving that υ₂(Ω) coincides with the unconstrained variational definition of the Rényi-2 entanglement of purification for any completely positive map Ω. The argument proceeds by showing that, for any feasible state σ^{B'E} in the unconstrained problem, there exists a purification or extension whose B'-marginal is maximally mixed and that attains the same Schatten-2 norm; this follows from the fact that the maximally mixed state on B' can always be realized by an appropriate choice of the purifying system E without decreasing the objective, combined with the monotonicity properties of the Schatten-2 norm under partial traces and the complete positivity of Ω. Consequently, the constrained and unconstrained maxima are identical, so the multiplicativity results established for υ₂ transfer directly to the Rényi-2 EoP. We believe this addition will fully address the concern while preserving the manuscript's scope. revision: yes

Circularity Check

0 steps flagged

No circularity: multiplicativity derived from adjoint and Schatten-norm algebra

full rationale

The paper explicitly reformulates Rényi-2 EoP as the constrained quantity υ₂(Ω) = max ‖(Ω ⊗ id_E)(σ^{B'E})‖₂ over states with maximally mixed B'-marginal, then proves that any CP map obeying N† ∘ N = a id_A + b Tr[·] I_d satisfies υ₂(N⊗k) = υ₂(N)^k by direct algebraic manipulation of the adjoint and p=2 Schatten norm. This step uses only the given operator equation and norm properties; it does not rename a fitted parameter as a prediction, invoke a self-citation as the sole justification for a uniqueness claim, or smuggle an ansatz. The central multiplicativity result therefore stands independently of the original unconstrained variational definition, yielding a self-contained derivation against external algebraic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard definitions and properties of completely positive maps, Hilbert-Schmidt adjoints, Schatten norms, and entanglement measures from prior quantum information literature; no new free parameters or invented entities are introduced.

axioms (2)
  • standard math Standard properties of completely positive trace-preserving maps and their adjoints in finite-dimensional quantum systems.
    Invoked in the reformulation of υ_p and the multiplicativity proofs.
  • domain assumption Equivalence between the Rényi entanglement of purification and the constrained maximal output Schatten p-norm.
    Stated as the starting reformulation in the abstract.

pith-pipeline@v0.9.0 · 5840 in / 1339 out tokens · 59667 ms · 2026-05-19T14:44:04.551487+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages · 4 internal anchors

  1. [1]

    In order to obtain sharp bounds (and later to identify candidate optimizers), it is essential to know the spectrum ofτAA′ explicitly

    Spectral decomposition of the seed operatorτAA′ The reformulation Eq.(51) shows that the optimization concerns the action ofidA ⊗Λon the fixed operator τAA′. In order to obtain sharp bounds (and later to identify candidate optimizers), it is essential to know the spectrum ofτAA′ explicitly. Since τAA′ is a linear combination of the identity and the flip o...

    work page

  2. [2]

    → L (A)is CP,Λ : L(B1 ⊗B 2) → L (E)is CPTP, andΦ B′ 1B1 d andΦ B′ 2B2 d are normalized maximally entangled states of dimensiond. Finally, we obtain the following explicit form of(Γc t)† in Lemma 40: (Γc t)†(Y) = Tr B′ 2(St Y S t)(288) where St = (a+ +a −)IB′ 1B′ 2 + (a+ −a −)ΠB′ 1B′ 2 .(289) HereΠ B′ 1B′ 2 is the flip operator onB′ 1 ⊗B ′ 2 and a+ = r 1 +...

    work page

  3. [3]

    → L(A)is the adjoint of the complementary channel ofΓt. This is a CP map obtained as (Γc t)†(Y) = Tr B′ 2(St Y S t), where St = (a+ +a −)IB′ 1B′ 2 + (a+ −a −)ΠB′ 1B′ 2 .(C16) HereΠ B′ 1B′ 2 is the flip operator onB′ 1 ⊗B ′ 2, and a+ = r 1 + (d−1)t 4d , a − = r 1−(d+ 1)t 4d .(C17) Proof.Let WAC(t) = (idA ⊗Γt)(ΦAA′ d )(C18) be the Werner state obtained from...

    work page

  4. [4]

    Terhal, Michał Horodecki, Debbie W

    Barbara M. Terhal, Michał Horodecki, Debbie W. Leung, and David P. DiVincenzo. The entanglement of purification.Journal of Mathematical Physics, 43(9):4286–4298, 2002

    work page 2002

  5. [5]

    R. F. Werner and A. S. Holevo. Counterexample to an additivity conjecture for output purity of quantum channels.Journal of Mathematical Physics, 43(9):4353–4357, 2002

    work page 2002

  6. [6]

    G. G. Amosov, A. S. Holevo, and R. F. Werner. On some additivity problems in quantum information theory. Problems of Information Transmission, 36(4):305–313, 2000. 43

    work page 2000

  7. [7]

    Peter W. Shor. Equivalence of additivity questions in quantum information theory.Communications in Mathematical Physics, 246(3):453–472, 2004

    work page 2004

  8. [8]

    Counterexamples to the maximalp-norm multiplicativity conjecture for all p >1.Communications in Mathematical Physics, 284(1):263–280, 2008

    Patrick Hayden and Andreas Winter. Counterexamples to the maximalp-norm multiplicativity conjecture for all p >1.Communications in Mathematical Physics, 284(1):263–280, 2008

    work page 2008

  9. [9]

    Nonadditivity of Rényi entropy and Dvoretzky’s theorem.Journal of Mathematical Physics, 51(2):022102, 2010

    Guillaume Aubrun, Stanislaw Szarek, and Elisabeth Werner. Nonadditivity of Rényi entropy and Dvoretzky’s theorem.Journal of Mathematical Physics, 51(2):022102, 2010

    work page 2010

  10. [10]

    A. S. Holevo. The additivity problem in quantum information theory. InProceedings of the International Congress of Mathematicians, Madrid, August 22–30, 2006, volume 3, pages 999–1018, Zürich, 2006. European Mathematical Society

    work page 2006

  11. [11]

    Additivity for unital qubit channels.Journal of Mathematical Physics, 43(10):4641–4653, 2002

    Christopher King. Additivity for unital qubit channels.Journal of Mathematical Physics, 43(10):4641–4653, 2002

    work page 2002

  12. [12]

    Comments on multiplicativity of maximalp-norms when p = 2

    Christopher King and Mary Beth Ruskai. Comments on multiplicativity of maximalp-norms when p = 2. Quantum Information and Computation, 4:500–512, 2004

    work page 2004

  13. [13]

    Remarks on additivity of the Holevo channel capacity and of the entanglement of formation.Communications in Mathematical Physics, 246(3):427–442, 2004

    Keiji Matsumoto, Toshiyuki Shimono, and Andreas Winter. Remarks on additivity of the Holevo channel capacity and of the entanglement of formation.Communications in Mathematical Physics, 246(3):427–442, 2004

    work page 2004

  14. [14]

    Additivity of minimal entropy output for a class of covariant channels

    M. Fannes, B. Haegeman, M. Mosonyi, and D. Vanpeteghem. Additivity of minimal entropy output for a class of covariant channels, 2004. arXiv:quant-ph/0410195

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  15. [15]

    Alicki and M

    R. Alicki and M. Fannes. Note on multiple additivity of minimal Rényi entropy output of the Werner-Holevo channels.Open Systems & Information Dynamics, 11(4):339–342, 2004

    work page 2004

  16. [16]

    Notesonsuper-operatornormsinducedbySchattennorms.Quantum Information and Computation, 5(1):58–68, 2005

    JohnWatrous. Notesonsuper-operatornormsinducedbySchattennorms.Quantum Information and Computation, 5(1):58–68, 2005

    work page 2005

  17. [17]

    Maximal output purity and capacity for asymmetric unital qudit channels.Journal of Physics A: Mathematical and General, 38(45):9785–9802, 2005

    Nilanjana Datta and Mary Beth Ruskai. Maximal output purity and capacity for asymmetric unital qudit channels.Journal of Physics A: Mathematical and General, 38(45):9785–9802, 2005

    work page 2005

  18. [18]

    Leung, and Andreas Winter

    Patrick Hayden, Debbie W. Leung, and Andreas Winter. Aspects of generic entanglement.Communications in Mathematical Physics, 265(1):95–117, 2006

    work page 2006

  19. [19]

    Additivity in isotropic quantum spin channels.International Journal of Quantum Information, 4(3):473–485, 2006

    Nilanjana Datta. Additivity in isotropic quantum spin channels.International Journal of Quantum Information, 4(3):473–485, 2006

    work page 2006

  20. [20]

    The maximal p-norm multiplicativity conjecture is false

    Patrick Hayden. The maximal p-norm multiplicativity conjecture is false, 2007. arXiv:quant-ph/0707.3291

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  21. [21]

    Some Open Problems in Quantum Information Theory

    Mary Beth Ruskai. Some open problems in quantum information theory, 2007. arXiv:quant-ph/0708.1902

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  22. [22]

    M. B. Hastings. Superadditivity of communication capacity using entangled inputs.Nature Physics, 5(4):255–257, 2009

    work page 2009

  23. [23]

    Fernando G. S. L. Brandão and Michał Horodecki. On Hastings’ counterexamples to the minimum output entropy additivity conjecture.Open Systems & Information Dynamics, 17(1):31–52, 2010

    work page 2010

  24. [24]

    Motohisa Fukuda, Christopher King, and David K. Moser. Comments on Hastings’ additivity counterexamples. Communications in Mathematical Physics, 296(1):111–143, 2010

    work page 2010

  25. [25]

    Hastings’s additivity counterexample via Dvoretzky’s theorem.Communications in Mathematical Physics, 305(1):85–97, 2011

    Guillaume Aubrun, Stanisław Szarek, and Elisabeth Werner. Hastings’s additivity counterexample via Dvoretzky’s theorem.Communications in Mathematical Physics, 305(1):85–97, 2011

    work page 2011

  26. [26]

    Multiplicativity of maximalp-norms in Werner-Holevo channels for1≤p≤ 2, 2004

    Nilanjana Datta. Multiplicativity of maximalp-norms in Werner-Holevo channels for1≤p≤ 2, 2004. arXiv:quant- ph/0410063

    work page arXiv 2004

  27. [27]

    Holevo, and Yuri M

    Nilanjana Datta, Alexander S. Holevo, and Yuri M. Suhov. Additivity for transpose depolarizing channels. International Journal of Quantum Information, 4(1):85–98, 2006

    work page 2006

  28. [28]

    Christandl and A

    M. Christandl and A. Winter. Uncertainty, monogamy, and locking of quantum correlations.IEEE Transactions on Information Theory, 51(9):3159–3165, 2005

    work page 2005

  29. [29]

    Non-additivity of the entanglement of purification (beyond reasonable doubt),

    Jianxin Chen and Andreas Winter. Non-additivity of the entanglement of purification (beyond reasonable doubt),

    work page

  30. [30]

    arXiv[quant-ph]:1206.1307

    work page internal anchor Pith review Pith/arXiv arXiv

  31. [31]

    Nilanjana Datta, Motohisa Fukuda, and Alexander S. Holevo. Complementarity and additivity for covariant channels.Quantum Information Processing, 5(3):179–207, 2006

    work page 2006

  32. [32]

    A. S. Holevo. Complementary channels and the additivity problem.Theory of Probability & Its Applications, 51(1):92–100, 2007

    work page 2007