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:2301.07428 · IEEE Transactions on Information Theory

New Constructive Counterexamples to Additivity of Minimum Output Rényi p-Entropy of Quantum Channels

Krzysztof Szczygielski, Michał Studziński

Published Aug 19, 2024• 0 citations
arXivHTMLPDF

Abstract

In this paper, we present new families of quantum channels for which corresponding minimum output Rényi p-entropy is not additive. Our manuscript is motivated by the results of Grudka et al. and we focus on channels characterized by both extensions and subspaces of the antisymmetric subspace in$\mathbb {C}^{d} \otimes \mathbb {C} ^{d}$, which exhibit additivity breaking for$p\gt 2$.

DOI
10.1109/tit.2024.3446191

Related papers

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

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

Constructive counterexamples to the additivity of minimum output Rényi entropy of quantum channels for all $p>1$

Harm Derksen, Benjamin Lovitz

We present explicit quantum channels with strictly sub-additive minimum output Rényi entropy for all $p>1$, improving upon prior constructions which handled $p>2$. Our example is provided by explicit constructions of linear subspaces with high geometric measure of entanglement. This construction applies in both the bipartite and multipartite settings. As further applications, we use our construction to find entanglement witnesses with many highly negative eigenvalues, and to construct entangled mixed states that remain entangled after perturbation.

arXiv:2510.07547•Oct 8, 2025•0 citations

Additive Bounds of Minimum Output Entropies for Unital Channels and an Exact Qubit Formula

Motohisa Fukuda, Gilad Gour

We find an upper bound for the minimum output entropy of a unital quantum channel, and obtain an exact formula for general qubit channels. Our techniques incorporate the Rényi entropies, particularly, with Rényi parameter α = 2. Moreover, since our upper bound is additive under tensor product, we get as a corollary an upper bound for the classical capacity of unital quantum channels. Interestingly, our upper bound for the classical capacity depends only on the operator norm of matrix representations of channels on the space of traceless Hermitian operators, and is tight in the sense that it gives the precise quantity of classical capacity of the Werner-Holevo channel. As an example, we study quantum channels with operator sum representation that is made of the discrete Weyl operators (generalized Pauli operators), and explain how our formula works in this case. Finally, we find new examples for which the minimum output Rényi 2-entropy is additive.

arXiv:1502.06411•IEEE Transactions on Information Theory•Dec 19, 2016•5 citations

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

Additivity Results for the Rényi-2 Entanglement of Purification

Shokoufe Faraji, Zahra Baghali Khanian

We reformulate the Rényi entanglement of purification as a constrained minimum output Rényi 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 $Ω:L(B')\to L(A)$, we consider the quantity $\upsilon_p(Ω)$ defined by optimizing $\|(Ω\otimes \mathrm{id}_E)(σ^{B'E})\|_p$ over all bipartite states $σ^{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 $Ω$, multiplicativity of $\upsilon_p(Ω)$ implies multiplicativity for its complementary map. This yields the corresponding additivity statements for the associated Rényi-2 entanglement of purification.

quant-pharXiv:2605.15439•May 18, 2026•0 citations
In this paper, we present new families of quantum channels for which corresponding minimum output Rényi p-entropy is not additive. Our manuscript is motivated by the results of Grudka et al. and we focus on channels characterized by both extensions and subspaces of the antisymmetric subspace inCd⊗Cd\mathbb {C}^{d} \otimes \mathbb {C} ^{d}Cd⊗Cd, which exhibit additivity breaking forp>2p\gt 2p>2.
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 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​,∞].
Constructive counterexamples to the additivity of minimum output Rényi entropy of quantum channels for all p>1p>1p>1
We present explicit quantum channels with strictly sub-additive minimum output Rényi entropy for all p>1p>1p>1, improving upon prior constructions which handled p>2p>2p>2. Our example is provided by explicit constructions of linear subspaces with high geometric measure of entanglement. This construction applies in both the bipartite and multipartite settings. As further applications, we use our construction to find entanglement witnesses with many highly negative eigenvalues, and to construct entangled mixed states that remain entangled after perturbation.
We find an upper bound for the minimum output entropy of a unital quantum channel, and obtain an exact formula for general qubit channels. Our techniques incorporate the Rényi entropies, particularly, with Rényi parameter α = 2. Moreover, since our upper bound is additive under tensor product, we get as a corollary an upper bound for the classical capacity of unital quantum channels. Interestingly, our upper bound for the classical capacity depends only on the operator norm of matrix representations of channels on the space of traceless Hermitian operators, and is tight in the sense that it gives the precise quantity of classical capacity of the Werner-Holevo channel. As an example, we study quantum channels with operator sum representation that is made of the discrete Weyl operators (generalized Pauli operators), and explain how our formula works in this case. Finally, we find new examples for which the minimum output Rényi 2-entropy is additive.
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.
We reformulate the Rényi entanglement of purification as a constrained minimum output Rényi entropy problem. Equivalently, for p>1p>1p>1, this formulation can be expressed in terms of a constrained maximal output Schatten ppp-norm. More precisely, for a completely positive map Ω:L(B′)→L(A)Ω:L(B')\to L(A)Ω:L(B′)→L(A), we consider the quantity υp(Ω)\upsilon_p(Ω)υp​(Ω) defined by optimizing ∥(Ω⊗idE)(σB′E)∥p\|(Ω\otimes \mathrm{id}_E)(σ^{B'E})\|_p∥(Ω⊗idE​)(σB′E)∥p​ over all bipartite states σB′Eσ^{B'E}σB′E whose B′B'B′-marginal is maximally mixed. We focus on the case p=2p=2p=2. First, we compute υ2\upsilon_2υ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′)→L(A)N:L(B')\to L(A)N:L(B′)→L(A) satisfies N†∘N=a idA+b Tr[⋅] IdN^{\dagger} \mathbin{\circ} N=a\,\mathrm{id}_A+b\,\mathrm{Tr}[\cdot]\,I_dN†∘N=aidA​+bTr[⋅]Id​ for some constants a,b≥0a,b\ge 0a,b≥0, where N†N^{\dagger}N† denotes the Hilbert-Schmidt adjoint of NNN, the quantity υ2(N)\upsilon_2(N)υ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 ΩΩΩ, multiplicativity of υp(Ω)\upsilon_p(Ω)υp​(Ω) implies multiplicativity for its complementary map. This yields the corresponding additivity statements for the associated Rényi-2 entanglement of purification.