Rényi Entanglement of Purification Is Non-additive

Amir-Reza Negari; Zahra Baghali Khanian

Source-linked AI summary

Rényi Entanglement of Purification Is Non-additive

Amir-Reza Negari, Zahra Baghali Khanian

arXiv:2608.28897v1Aug 28, 2026quant-phcs.IT

TL;DR

The paper investigates whether Rényi entanglement of purification is additive for classical two-qubit states, addressing an unresolved question with exact one-copy analysis and analytic two-copy constructions. It proves nonadditivity for α ∈ [0,1) and additivity for α ∈ [2,∞], while leaving α ∈ [1,2) open and conjecturing additivity there.

Problem
Whether entanglement of purification is additive under tensor products remains unresolved, even for classical states, despite its operational role in asymptotic correlation preparation and visible compression.
Method
The paper solves the one-copy purification optimization exactly and analyzes two-copy behavior using canonical and sign-modified purifications plus a norm-compression argument.
Results
For classical two-qubit states, two copies witness strict nonadditivity for every α ∈ [0,1), while additivity holds for α ∈ [2,∞].
Takeaways & Limitations
The results provide explicit low-dimensional analytic counterexamples below one and establish a single-letter regime from order two onward within this family.
Takeaways & Limitations
The interval α ∈ [1,2), including the von Neumann case α = 1, remains open, although the paper conjectures additivity there.

Abstract

from arXiv · show

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.

I. INTRODUCTION

The paper asks whether Rényi entanglement of purification is additive for classical two-qubit states and develops low-dimensional analytic constructions to answer this across Rényi orders.

Additivity determines whether the asymptotic quantity has a single-letter formula instead of requiring optimization over exponentially growing tensor powers.
The paper targets the unresolved additivity of entanglement of purification for classical states using simple, low-dimensional deterministic constructions.
Entanglement of purification measures total classical and quantum correlations, and its regularized form governs asymptotic correlation preparation and visible compression.
The canonical purification is solved exactly for every Rényi order for classical two-qubit states.
For every 0 ≤ α < 1, two copies of a single classical two-qubit state witness strict nonadditivity, while α ≥ 2 admits additivity through a 2 × 2 norm-compression argument.
The interval 1 ≤ α < 2 remains open, with available indications motivating a conjecture of additivity throughout that interval.

II. EXACT ONE-COPY SOLUTION

For every classical two-qubit state, the canonical purification globally minimizes Rényi entropy across the relevant bipartition at every Rényi order.

The exact one-copy optimization is controlled by a single scalar parameter playing the role of concurrence in the two-qubit formula.
The canonical purification simultaneously minimizes Rényi entropy for every α ∈ [0, ∞], including the von Neumann and endpoint orders.
The canonical purification has a rank-at-most-two reduced spectrum whose eigenvalues are determined by the classical concurrence parameter.
The canonical spectrum majorizes the Schmidt spectrum of every competing purification.
Schur concavity, together with the rank and largest-eigenvalue endpoints, shows that no competing purification has lower Rényi entropy.
The same strategy extends to binary classical–quantum states, where an Uhlmann purification is globally optimal for all Rényi orders.

III. NONADDITIVITY BELOW ONE

The signed-canonical purification family exposes strict nonadditivity below Rényi order one: numerical enumeration motivates, and an explicit one-parameter construction proves, violations for every 0 ≤ α < 1.

Signed-canonical purifications: Every sign table s_ij = ±1 yields a purification of the same classical state, while nonfactorizing signs can change the Schmidt spectrum and Rényi entropies.Local-factorizable signs are removable by local diagonal unitaries; general patterns are not.
Numerical evidence: At two copies, 512 inequivalent sign patterns were exhaustively searched across 5 × 10^4 uniformly sampled classical two-qubit states.The witness beats the product value for a fraction of sampled states, with violations becoming rare near α = 1.
Explicit construction: Theorem 2 proves that for every 0 ≤ α < 1, some classical two-qubit state violates additivity using two copies.This replaces the numerical evidence with an explicit construction.
Explicit construction: For the one-parameter family, changing only the all-zero coefficient in the two-copy canonical purification produces the signed witness.For 0 < α < 1, sufficiently small r gives the strict entropy decrease; α = 0 is handled separately.
Strict violation: The signed two-copy purification has strictly lower Rényi entropy than the product purification, proving E_P^(α)(ρ_r^⊗2) < 2E_P^(α)(ρ_r).At α = 0, the signed coefficient matrix has rank three, while the one-copy theorem supplies the product value.

IV. STRONG ADDITIVITY FROM ORDER TWO

A norm-compression argument proves strong additivity for classical two-qubit states at Rényi orders α ≥ 2, while the interval 1 ≤ α < 2 remains unsettled and motivates a broader conjecture.

Theorem: For every classical two-qubit state and finite-dimensional classical auxiliary state, Rényi entanglement of purification is additive for α ≥ 2.The result includes tensoring with an arbitrary finite classical state.
Norm compression: The proof converts purification optimization into maximizing a Schatten p norm with p = 2α, then compresses a 2 × 2 block operator to scalar norms.Product purifications saturate the resulting bound, making the optimized norm multiplicative.
Rényi-order phase diagram: The phase diagram distinguishes red orders with classical nonadditive examples, blue orders with additivity for every classical two-qubit state, and orange unsettled orders.The diagram summarizes the order-dependent status established by the paper.
Threshold: The proof threshold α = 2 comes from applying a positive 2 × 2 block inequality at exponent p/2, whose required direction begins at p/2 = 2.The argument is established for every real p ≥ 4 and also treats α = ∞.
Open interval: The interval 1 ≤ α < 2 remains open; Audenaert’s conjectured norm inequality would extend the proof to α > 1 and, by continuity, to α = 1.The authors therefore conjecture additivity throughout α ≥ 1.

V. OUTLOOK

The von Neumann point is the central unresolved boundary: nonadditive gains vanish as α approaches one from below, while a conjectured norm inequality could extend additivity down from higher orders.

Central conjecture: The authors conjecture that classical two-qubit Rényi entanglement of purification is additive, and hence single-letter, for all α ≥ 1.This is motivated by the meeting point between the vanishing subunit-order witness and the conjectured extension of norm compression.
Open problem: Proving the von Neumann case α = 1 is identified as the central remaining step.Possible routes are norm compression plus continuity or a direct entropic inequality.
Next testing ground: If the conjecture holds, a von Neumann counterexample must lie outside the classical two-qubit family.Binary classical–quantum states are proposed as a next testing ground because they retain an exact one-copy formula.
Extensions: The signed Z2 witness suggests a hierarchy toward continuous U(1) phases and restricted unitaries for larger classical or classical–quantum states.These extensions generalize the available phase freedom beyond sign choices.
Broader connections: The construction connects EoP with reflected entropy, tensor-network or geometric interpretations, and constrained minimum-output-entropy problems.The paper presents these as broader settings for the small witnesses developed here.

Appendix A: Largest eigenvalue of an arbitrary purification

The appendix bounds the largest eigenvalue of an arbitrary purification by reducing product overlaps to the canonical two-bit structure, supporting the one-copy optimality result and extending the framework to classical–quantum states.

Purification structure: An arbitrary purification must attach orthonormal ancillary states to distinct occupied classical outcomes when the reduced state is diagonal.This structural constraint enables the overlap analysis.
Overlap bound: The largest eigenvalue is bounded by maximizing the overlap of the purification with arbitrary normalized product kets across AA′ : BB′.The test kets are resolved according to the classical bits A and B.
Norm reduction: Triangle inequality and normalization bound each product-overlap contribution by the norms of its classical-bit components.The proof then retains only these four norms to construct normalized logical kets.
Canonical reduction: Replacing arbitrary components by normalized logical kets reduces the overlap problem to the scalar classical coefficient table.The preceding bound is combined with the variational characterization of the largest eigenvalue.
Classical–quantum extension: The same rank-two outer structure supports an exact optimization for binary classical–quantum states at every Rényi order.The appendix states this as Proposition 1 for 0 ≤ α ≤ ∞.

B.1. A fidelity-saturating purification

Uhlmann’s theorem supplies branch purifications with maximal overlap, and orthogonal flags assemble them into a purification whose marginal spectrum matches the target bound.

Uhlmann’s theorem provides purifications of the two branch states with maximal overlap on a common ancillary system.
Orthogonal local flags combine the branch purifications into a purification of the classical state.
The resulting marginal has the same nonzero spectrum as G, establishing the achievable entropy bound.

B.2. No competing purification can do better

The optimality proof bounds the largest eigenvalue of any purification using fidelity, then upgrades that bound to majorization and Rényi-entropy optimality.

Any purification is resolved into the same two classical branches, reducing the comparison to branch-dependent ancillary states.
Because G has rank two, controlling the largest eigenvalue suffices to obtain the full majorization relation.
The only remaining freedom is the overlap between the two right-side branch kets, which is bounded by the original fidelity.
Schur concavity converts majorization into Sα(ΦAA′) ≥ Sα(G) for every 0 < α < ∞.
The exact one-copy optimum underpins the subsequent two-copy nonadditivity proof.

C.1. The signed two-copy purification

A single sign flip in the product canonical purification preserves the classical state while changing the marginal through a purely coherent collective effect.

The construction flips only the amplitude associated with physical outcome 00 in both copies.
All sixteen squared amplitudes remain unchanged, so the sign-flipped ket is an admissible purification of ρr⊗2.
Only the |00⟩R branch changes the left marginal under this sign flip.
The diagonal contribution cancels exactly, leaving only coherence terms in the marginal difference.
Equation (C12) isolates the complete collective effect needed for the two-copy witness.

C.2. Strict entropy gain for every fixed 0 < α < 1

The paper analyzes the signed witness through Rényi-trace concavity below one and Schatten-norm compression above one, establishing strict entropy gain for fixed subunit orders and additivity from order two onward.

C.2. Strict entropy gain for every fixed 0 < α < 1: For 0 < α < 1, the interpolation Xr(t) between the product marginal and the signed marginal remains full rank for sufficiently small r.
C.2. Strict entropy gain for every fixed 0 < α < 1: Concavity of Tr Xα places the Rényi-trace curve below its tangent at the product point, reducing the comparison to its derivative.
C.2. Strict entropy gain for every fixed 0 < α < 1: The exact derivative identity and the sign analysis imply a strict entropy decrease for every sufficiently small r > 0.
C.2. Strict entropy gain for every fixed 0 < α < 1: The required smallness of r depends on α, so the argument is not uniform as α approaches 1 and does not settle the von Neumann case.
C.3. The rank endpoint α = 0: At α = 0, the signed marginal has rank three rather than the product rank four, yielding log2 3 < log2 4.
Higher Rényi orders: The proof compresses operator blocks to a nonnegative 2 × 2 scalar matrix and applies norm monotonicity at the threshold p ≥ 4.
Higher Rényi orders: King’s inequality supplies the required direction only for s = p/2 ≥ 2, explaining the order threshold.

D.4. Proof of strong additivity

The proof converts arbitrary purifications of tensor-product classical two-qubit states into nested block matrices, then applies Schatten-norm compression to establish strong additivity for Rényi orders α≥2, including the min-entropy endpoint.

Purification decomposition: A general purification of ρP ⊗ ρQ decomposes into outer P-blocks whose inner leaf matrices are admissible purification amplitudes for Q.The construction preserves Hilbert–Schmidt orthonormality within each fixed P-block.
Norm compression: For p ≥4, block compression and entrywise monotonicity bound the joint purification norm by the corresponding one-copy quantity.Taking the supremum over joint purifications yields the required upper bound.
One-copy and converse bounds: The one-copy optimization is exact: when Q is trivial, the canonical purification attains the reverse inequality, identifying the optimization with ∥A(P)∥p.Tensor products of admissible amplitudes remain admissible and Schatten norms multiply, supplying the converse direction.
Rényi-order conclusion: Setting p = 2α proves strong additivity for every finite real α ≥2, while an operator-norm block estimate handles the min-entropy endpoint.The endpoint argument bounds each output block-row norm by the corresponding component of a matrix of operator norms.
Block structure: The resulting coefficient matrix has a 2 × 2 outer structure, with each block carrying a 2 × 2 inner structure suited to the compression lemma.Outer indices identify the P-block, while inner indices locate entries within that block.