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:1907.07856 · Documenta Mathematica

Additivity violation of the regularized minimum output entropy

Sang-Gyun Youn, Benoı̂t Collins

Published Jan 1, 2022• 4 citations
arXivHTMLPDF

Abstract

The problem of additivity of the Minimum Output Entropy is of fundamental importance in Quantum Information Theory (QIT). It was solved by Matthew B. Hastings [“Superadditivity of communication capacity using entangled inputs”, Nature Physics 5, 255–257 (2009; doi:)] in the one-shot case by exhibiting a pair of random quantum channels. However, the initial motivation was arguably to understand regularized quantities, and there was so far no way to solve additivity questions in the regularized case. The purpose of this paper is to give a solution to this problem. Specifically, we exhibit a pair of quantum channels that unearths additivity violation of the regularized minimum output entropy. Unlike previously known results in the one-shot case, our construction is non-random, infinite-dimensional, and in the commuting-operator setup. The commuting-operator setup is equivalent to the tensor-product setup in the finite-dimensional case for this problem, but their difference in the infinite-dimensional setting has attracted substantial attention and legitimacy recently in QIT with the celebrated resolutions of Tsirelson's and Connes embedding problem [ Z. Ji et al., “ \mathsf{MIP}^*= \mathsf{RE} ”, Preprint, ], Likewise, it is not clear that our approach works in the finite-dimensional setup. Our strategy of proof relies on developing a variant of the Haagerup inequality optimized for a product of free groups.

DOI
10.4171/dm/898

Related papers

Almost One Bit Violation of Minimum-Output Rényi Entropy Additivity Simultaneously at All Orders

Guocheng Zhen, Chengkai Zhu, Ranyiliu Chen +1 more

We prove that minimum-output Rényi-entropy additivity can fail by almost one bit simultaneously at every nonnegative order. For every $\varepsilon\in(0,\log2)$, there exists a finite-dimensional quantum channel with a real Stinespring isometry such that the same maximally entangled input witnesses a tensor-square entropy gap of at least $\log2-\varepsilon$ for all $p\in[0,\infty]$. The output dimension can be chosen to be $O(\varepsilon^{-3})$ as $\varepsilon\downarrow0$. The construction uses direct products of free groups: tensorized Haagerup estimates control the one-copy outputs, while commutation between distinct factors forces exact Bell-branch collisions at two copies. Strong convergence gives both an existential realization through finite-dimensional representations of right-angled Artin groups followed by realification, and a Haar-orthogonal model whose success probability tends to one as the matrix dimension grows. We also determine the exact Bell quotient, prove asymptotically sharp regular-radius bounds, and show that the cubic output-dimension scale is optimal within the present purity--rank certificate.

quant-pharXiv:2609.18747•Sep 17, 2026•0 citations

More examples of additivity violation of the regularized minimum output entropy in the commuting-operator setup

Mehrdad Kalantar, Homayoon Shobeiri

We generalize recent results of Collins and Youn (2022), presenting new classes of quantum channels violating the additivity of the regularized minimum output entropy in the commuting-operator setup.

arXiv:2501.15462•Jan 26, 2025•0 citations

Counterexamples to additivity of minimum output $p$-Rényi entropy of quantum channels for all $p\ge 0$

Debbie Leung, Benjamin Lovitz, Ion Nechita +1 more

The additivity of minimum output entropies is a central problem in quantum information theory. Nonadditivity is known for every Rényi order $p>1$, at the von Neumann point $p=1$, and for sufficiently small positive $p$, while much of the interval $0<p<1$ has remained open. In this work, we prove that for every $p>0$ there exist finite-dimensional quantum channels whose minimum output $p$-Rényi entropies violate additivity. Our proof combines two constructions: random projection-induced channels yield nonadditivity for $p>3/4$, and antisymmetric postprocessing extends the violation to all positive Rényi orders. Our estimates also improve the output-dimension bound obtained by Belinschi, Collins, and Nechita for additivity violation of minimum output von Neumann entropy.

quant-pharXiv:2607.15210•Jul 17, 2026•0 citations

Unbounded Holevo additivity gaps in finite dimensions

Jinzhao Wang

We establish unbounded two-use Holevo additivity gaps in finite dimensions. For each sufficiently large fixed integer $K$ and all sufficiently large $n$, we construct channels $T_n$ with output dimension $K^n$, input dimension $\exp(Θ_K(n^2))$, and \[ χ(T_n^{\otimes2})-2χ(T_n) \ge n\left[\frac{\log_2K}{K}-2\log_2(1+9/K)\right]-O(1/n). \] The gap is linear in output qubits, with an explicit quadratic input-qubit cost and an explicit threshold on $n$. We also obtain channels whose single-use Holevo quantity tends to zero while their two-use Holevo information, and hence classical capacity, diverges. The channels arise from structured tensor products of the complementary mixed-unitary channels used in Collins's free-probabilistic proof. We establish minimum-output-entropy gaps by combining Collins--Youn's product-group Haagerup inequality with Bordenave--Collins's quantitative strong-convergence estimates. We also provide a Lean certificate for our proofs.

quant-pharXiv:2609.18222•Sep 17, 2026•0 citations

Quantum Channels and their Minimum Output Entropies

Nathan Mehlhop, William Travis Ogletree

We investigate non-random quantum channels generated from the representation the- ory of orthogonal quantum groups to perform numerical computations for estimates of their minimum output entropies. In doing so, we address the violation of the additiv- ity conjecture for minimum output entropies, previously established through probabilistic proofs. This violation is relevant because given two quantum channels whose minimum output entropies sum to a value greater than the minimum output entropy of their tensor product channel it can be shown that more information can be sent with greater fidelity via the two channels in parallel than by using each separately. This is directly related to the relevance of quantum entanglement in quantum information theory. \nWe numerically compute minimum output entropies for single quantum channels and tensor products of quantum channels with respect to both Von Neumann and Renyi en- tropies. We then proceed to compute entropy estimates for nonplanar channels directly with Temperley-Lieb Category Theory. We conclude by discussing which of our choices for channels are optimal for entangled inputs.

•May 23, 2018•0 citations

A constructive violation of additivity of minimum output von Neumann entropy

Laura Shou, Alexey V. Gorshkov

We give an explicit non-random example of nonadditivity of minimum output von Neumann entropy. The proof uses a finite-dimensional construction which imitates free Haar unitary behavior. The same channel gives a violation of additivity for the minimum output Rényi-$p$ entropy for any $p\in[1,\infty]$. Additionally, given any $p_0>0$ and $\mathfrak g>0$, we extend the construction to obtain an explicit non-random channel which has entropy gap $\ge\mathfrak g$ uniformly over $p\in[p_0,\infty]$.

quant-pharXiv:2609.23946•Sep 22, 2026•0 citations
The problem of additivity of the Minimum Output Entropy is of fundamental importance in Quantum Information Theory (QIT). It was solved by Matthew B. Hastings [“Superadditivity of communication capacity using entangled inputs”, Nature Physics 5, 255–257 (2009; doi:)] in the one-shot case by exhibiting a pair of random quantum channels. However, the initial motivation was arguably to understand regularized quantities, and there was so far no way to solve additivity questions in the regularized case. The purpose of this paper is to give a solution to this problem. Specifically, we exhibit a pair of quantum channels that unearths additivity violation of the regularized minimum output entropy. Unlike previously known results in the one-shot case, our construction is non-random, infinite-dimensional, and in the commuting-operator setup. The commuting-operator setup is equivalent to the tensor-product setup in the finite-dimensional case for this problem, but their difference in the infinite-dimensional setting has attracted substantial attention and legitimacy recently in QIT with the celebrated resolutions of Tsirelson's and Connes embedding problem [ Z. Ji et al., “ \mathsf{MIP}^*= \mathsf{RE} ”, Preprint, ], Likewise, it is not clear that our approach works in the finite-dimensional setup. Our strategy of proof relies on developing a variant of the Haagerup inequality optimized for a product of free groups.
We prove that minimum-output Rényi-entropy additivity can fail by almost one bit simultaneously at every nonnegative order. For every ε∈(0,log⁡2)\varepsilon\in(0,\log2)ε∈(0,log2), there exists a finite-dimensional quantum channel with a real Stinespring isometry such that the same maximally entangled input witnesses a tensor-square entropy gap of at least log⁡2−ε\log2-\varepsilonlog2−ε for all p∈[0,∞]p\in[0,\infty]p∈[0,∞]. The output dimension can be chosen to be O(ε−3)O(\varepsilon^{-3})O(ε−3) as ε↓0\varepsilon\downarrow0ε↓0. The construction uses direct products of free groups: tensorized Haagerup estimates control the one-copy outputs, while commutation between distinct factors forces exact Bell-branch collisions at two copies. Strong convergence gives both an existential realization through finite-dimensional representations of right-angled Artin groups followed by realification, and a Haar-orthogonal model whose success probability tends to one as the matrix dimension grows. We also determine the exact Bell quotient, prove asymptotically sharp regular-radius bounds, and show that the cubic output-dimension scale is optimal within the present purity--rank certificate.
Counterexamples to additivity of minimum output ppp-Rényi entropy of quantum channels for all p≥0p\ge 0p≥0
The additivity of minimum output entropies is a central problem in quantum information theory. Nonadditivity is known for every Rényi order p>1p>1p>1, at the von Neumann point p=1p=1p=1, and for sufficiently small positive ppp, while much of the interval 0<p<10<p<10<p<1 has remained open. In this work, we prove that for every p>0p>0p>0 there exist finite-dimensional quantum channels whose minimum output ppp-Rényi entropies violate additivity. Our proof combines two constructions: random projection-induced channels yield nonadditivity for p>3/4p>3/4p>3/4, and antisymmetric postprocessing extends the violation to all positive Rényi orders. Our estimates also improve the output-dimension bound obtained by Belinschi, Collins, and Nechita for additivity violation of minimum output von Neumann entropy.
We establish unbounded two-use Holevo additivity gaps in finite dimensions. For each sufficiently large fixed integer KKK and all sufficiently large nnn, we construct channels TnT_nTn​ with output dimension KnK^nKn, input dimension exp⁡(ΘK(n2))\exp(Θ_K(n^2))exp(ΘK​(n2)), and χ(Tn⊗2)−2χ(Tn)≥n[log⁡2KK−2log⁡2(1+9/K)]−O(1/n). χ(T_n^{\otimes2})-2χ(T_n) \ge n\left[\frac{\log_2K}{K}-2\log_2(1+9/K)\right]-O(1/n). χ(Tn⊗2​)−2χ(Tn​)≥n[Klog2​K​−2log2​(1+9/K)]−O(1/n). The gap is linear in output qubits, with an explicit quadratic input-qubit cost and an explicit threshold on nnn. We also obtain channels whose single-use Holevo quantity tends to zero while their two-use Holevo information, and hence classical capacity, diverges. The channels arise from structured tensor products of the complementary mixed-unitary channels used in Collins's free-probabilistic proof. We establish minimum-output-entropy gaps by combining Collins--Youn's product-group Haagerup inequality with Bordenave--Collins's quantitative strong-convergence estimates. We also provide a Lean certificate for our proofs.
We investigate non-random quantum channels generated from the representation the- ory of orthogonal quantum groups to perform numerical computations for estimates of their minimum output entropies. In doing so, we address the violation of the additiv- ity conjecture for minimum output entropies, previously established through probabilistic proofs. This violation is relevant because given two quantum channels whose minimum output entropies sum to a value greater than the minimum output entropy of their tensor product channel it can be shown that more information can be sent with greater fidelity via the two channels in parallel than by using each separately. This is directly related to the relevance of quantum entanglement in quantum information theory. \nWe numerically compute minimum output entropies for single quantum channels and tensor products of quantum channels with respect to both Von Neumann and Renyi en- tropies. We then proceed to compute entropy estimates for nonplanar channels directly with Temperley-Lieb Category Theory. We conclude by discussing which of our choices for channels are optimal for entangled inputs.
We give an explicit non-random example of nonadditivity of minimum output von Neumann entropy. The proof uses a finite-dimensional construction which imitates free Haar unitary behavior. The same channel gives a violation of additivity for the minimum output Rényi-ppp entropy for any p∈[1,∞]p\in[1,\infty]p∈[1,∞]. Additionally, given any p0>0p_0>0p0​>0 and g>0\mathfrak g>0g>0, we extend the construction to obtain an explicit non-random channel which has entropy gap ≥g\ge\mathfrak g≥g uniformly over p∈[p0,∞]p\in[p_0,\infty]p∈[p0​,∞].