Non-Multiplicativity of the Holevo Barycenter of Quantum Channels

I. INTRODUCTION

• The Holevo capacity is the single-letter rate for product-state encodings, and its additivity would make regularization unnecessary for classical communication capacity.The additivity question was settled negatively following Hastings’ counterexample and Shor’s equivalence between the relevant additivity conjectures.Source: §I · p. 1
• Holevo-capacity additivity forces barycenter tensorization, but tensorization alone is not sufficient for capacity additivity.Thus, capacity non-additivity is necessary but may not be sufficient for barycenter non-multiplicativity.Source: §I · p. 1
• The Shor–Hastings construction yields non-additive Holevo capacity while its individual and product-channel barycenters still tensorize.Twirling gives capacity-achieving ensembles with maximally mixed average outputs for both the enlarged channels and their product.Source: §I · p. 1
• The paper constructs channels whose Holevo barycenter fails to tensorize with itself, using direct sums to produce incompatible block weights.It also shows that the tensor-square barycenter entropy can be either smaller or larger than twice the individual barycenter entropy.Source: §I · p. 1

II. THE HOLEVO BARYCENTER AND THE MULTIPLICATIVITY PROBLEM

• All capacity-achieving ensembles have the same average output state, called the Holevo barycenter.Uniqueness follows by mixing optimal ensembles and applying Donald’s identity to the mixture’s components.Source: §II · p. 2
• Holevo-capacity additivity makes the tensor product of optimal ensembles optimal, so uniqueness gives tensorization of the barycenter.The converse fails: multiplicativity must be supplemented by a geometric condition on the product channel’s optimal set to characterize additivity.Source: §II · p. 2
• Shor’s reduction converts minimum-output-entropy non-additivity into Holevo-capacity non-additivity, yet the resulting barycenters still tensorize.The optimal ensembles have maximally mixed average outputs, and uniqueness fixes the individual and product-channel barycenters accordingly.Source: §II · p. 2
• The paper’s main result establishes that some channel’s barycenter is not multiplicative under tensoring the channel with itself.This distinguishes the paper’s construction from the Shor–Hastings example, where capacity non-additivity coexists with barycenter tensorization.Source: §II · p. 2

III. DIRECT SUMS OF QUANTUM CHANNELS

• An optimal ensemble for a direct-sum channel is a block-diagonal convex combination of optimal ensembles for its component channels.The weight assigned to each block is determined by the capacities of the component channels.Source: §III · p. 3
• The tensor square of a direct-sum channel is itself a direct-sum channel indexed by pairwise products of component channels.Applying the direct-sum formula to the product and expanding the tensor product of individual barycenters provides the comparison used in the construction.Source: §III · p. 3
• The direct-sum formulas are used with suitable component channels to establish the paper’s main results.The section introduces the channel spaces and projections onto the component input blocks.Source: §III · pp. 2–3

• The construction starts from channels N1 and N2 with strictly superadditive Holevo capacity and uses an arbitrary entanglement-breaking channel in a direct sum.Source: §IV · p. 3
• The proof compares ratios of block weights, whose normalization factors cancel, and uses their inequality to show the two weight families cannot coincide.Source: §IV · p. 3
• The constructed channel satisfies Ω(N ⊗ N) ≠ Ω(N) ⊗ Ω(N), so its Holevo barycenter is not multiplicative under self-tensoring.Source: §IV · p. 3

V. NO UNIVERSAL ENTROPIC ORDERING

• The construction uses a Shor-reduced channel N1 with a strict product-capacity excess and a depolarizing channel N0, combined as N=N0⊕N1.The strict excess δ is available from the Shor–Hastings construction; the depolarizing channel’s capacity can be varied to obtain either entropy ordering.Source: §V · pp. 3–4
• Each of the four block states is maximally mixed on a d²-dimensional output space, so comparing the barycenter entropies reduces to comparing the Shannon entropies H(λ) and H(µ).The block weights depend on the component capacities for N and the pairwise product-channel capacities for N⊗N.Source: §V · p. 4
• Choosing χ(N0)=χ(N1) gives H(Ω(N− ⊗N−)) < H(Ω(N−)⊗Ω(N−)), while choosing χ(N0)=χ(N1)+δ gives the reverse ordering.The first choice makes λ uniform and µ nonuniform; the second yields λ ≻ µ strictly.Source: §V · p. 4
• Neither majorization direction holds universally between Ω(M ⊗ N) and Ω(M) ⊗Ω(N), since either strict ordering of the block-weight distributions can be enforced.Because the block states are maximally mixed on equal-dimensional spaces, the distributions’ majorization relations lift to the quantum states.Source: §V · p. 4

VI. DISCUSSION

• The construction uses a direct sum of additive and non-additive channels and shows that no simple relation need connect the product of barycenters with the barycenter of the product channel.The paper presents this non-multiplicativity as a strengthening of the non-additivity of Holevo capacity.Source: §VI · p. 4
• The discussion proposes that tensor products may generate extremal output-ensemble points absent from either channel individually, and raises barycentric activation as a question for further study.It suggests that comparisons of barycenter-based quantities can depend on the tensor environment.Source: §VI · p. 4
• The authors suggest that the geometric mechanisms may offer avenues toward a manageable counterexample to Holevo-capacity additivity and that the relation may extend beyond finite dimensions.Continuous-variable channels are identified as a setting for further exploration.Source: §VI · p. 4