Non-Additivity of Minimum Output p-𝐑é𝐧𝐲𝐢 Entropy

Nengkun Yu,Mingsheng Ying

2010-01-01

Abstract:Hastings disproved additivity conjecture for minimum output entropy by using random unitary channels. In this note, we employ his approach to show that minimum output p-Rényi entropy is non-additive for p∈(0,p_0)∪(1-p_0,1) where p_0≈ 0.2855.

What problem does this paper attempt to address?

Non-Additivity of Minimum Output p-$\mathbf{R\acute{e}nyi}$ Entropy

Nengkun Yu,Mingsheng Ying

DOI: https://doi.org/10.48550/arXiv.1006.1733

2012-12-24

Abstract:Hastings disproved additivity conjecture for minimum output entropy by using random unitary channels. In this note, we employ his approach to show that minimum output $p-$Rényi entropy is non-additive for $p\in(0,p_0)\cup(1-p_0,1)$ where $p_0\approx 0.2855$.

Quantum Physics
New constructive counterexamples to additivity of minimum output Rényi p-entropy of quantum channels

Krzysztof Szczygielski,Michał Studziński

DOI: https://doi.org/10.1109/TIT.2024.3446191

2024-08-28

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., J. Phys. A: Math. Theor. 43 425304 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>2$.

Quantum Physics,Mathematical Physics
Additivity violation of the regularized Minimum Output Entropy

Benoît Collins,Sang-Gyun Youn

DOI: https://doi.org/10.25537/dm.2022v27.1299-1320

2020-06-07

Abstract:The problem of additivity of the Minimum Output Entropy is of fundamental importance in Quantum Information Theory (QIT). It was solved by Hastings 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 which 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 infinite dimensional setting has attracted substantial attention and legitimacy recently in QIT with the celebrated resolutions of Tsirelson's and Connes embedding problem. 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.

Operator Algebras,Mathematical Physics
Comment on "Stronger subadditivity of entropy" by Lieb and Seiringer <a class="link-https" data-arxiv-id="math-ph/0412009" href="https://arxiv.org/abs/math-ph/0412009">math-ph/0412009</a>

Mary Beth Ruskai

DOI: https://doi.org/10.48550/arXiv.math-ph/0603022

2006-04-05

Abstract:We show how recent results of Lieb and Seiringer [<a class="link-https" data-arxiv-id="math-ph/0412009" href="https://arxiv.org/abs/math-ph/0412009">math-ph/0412009</a>; Phys. Rev. A 71, 062329 (2005)] can be obtained from repeated use of the monotonicity of relative entropy under partial traces, and explain how to use their approach to obtain tighter bounds in many situations.

Mathematical Physics,Quantum Physics
Additivity of the Renyi entropy of order 2 for positive-partial-transpose-inducing channels

B. Dierckx,M. Fannes,C. Vandenplas

DOI: https://doi.org/10.1103/PhysRevA.77.060302

2008-06-02

Abstract:We prove that the minimal Renyi entropy of order 2 (RE2) output of a positive-partial-transpose(PPT)-inducing channel joint to an arbitrary other channel is equal to the sum of the minimal RE2 output of the individual channels. PPT-inducing channels are channels with a Choi matrix which is bound entangled or separable. The techniques used can be easily recycled to prove additivity for some non-PPT-inducing channels such as the depolarizing and transpose depolarizing channels, though not all known additive channels. We explicitly make the calculations for generalized Werner-Holevo channels as an example of both the scope and limitations of our techniques.

Quantum Physics
Yet another additivity conjecture

Keiji Matsumoto

DOI: https://doi.org/10.1016/j.physleta.2005.10.028

2005-09-16

Abstract:It is known that the additivity conjecture of Holevo capacity, output minimum entoropy, and the entanglement of formation (EoF), are equivalent with each other. Among them, the output minimum entropy is simplest, and hence many researchers are focusing on this quantity. Here, we suggest yet another entanglement measure, whose strong superadditivity and additivity are equivalent to the additivity of the quantities mentioned above. This quantity is as simple as the output minimum entropy, and in existing proofs of additivity conjecture of the output minimum entropy for the specific examples, they are essentially proving the strong superadditivity of this quantity.

Quantum Physics
Additive bounds of minimum output entropies for unital channels and an exact qubit formula

Motohisa Fukuda,Gilad Gour

DOI: https://doi.org/10.1109/TIT.2016.2641455

2015-02-23

Abstract:We investigate minimum output (Rényi) entropy of qubit channels and unital quantum channels. We obtain an exact formula for the minimum output entropy of qubit channels, and bounds for unital quantum channels. Interestingly, our bounds depend only on the operator norm of the matrix representation of the channels on the space of trace-less Hermitian operators. Moreover, since these bounds respect tensor products, we get bounds for the capacity of unital quantum channels, which is saturated by the Werner-Holevo channel. Furthermore, we construct an orthonormal basis, besides the Gell-Mann basis, for the space of trace-less Hermitian operators by using discrete Weyl operators. We apply our bounds to discrete Weyl covariant channels with this basis, and find new examples in which the minimum output Rényi $2$-entropy is additive.

Quantum Physics,Mathematical Physics
Minimum entropy of a log-concave variable for fixed variance

James Melbourne,Piotr Nayar,Cyril Roberto

2024-03-16

Abstract:We show that for log-concave real random variables with fixed variance the Shannon differential entropy is minimized for an exponential random variable. We apply this result to derive upper bounds on capacities of additive noise channels with log-concave noise. We also improve constants in the reverse entropy power inequalities for log-concave random variables.

Probability,Information Theory
Isotropic quantum spin channels and additivity questions

Robert Alicki

DOI: https://doi.org/10.48550/arXiv.quant-ph/0402080

2004-02-12

Quantum Physics

Abstract:The minimum entropy output is computed for rotationally invariant quantum channels acting on spin-1/2 and spin-1 systems. For the case of two parallel such channels and initial entangled (singlet) state the entropy of the output is higher then the doubled minimal entropy output of the single channel. This gives a certain moral support to the additivity hypothesis. Another related simple function of the channel (minimum entropy gain) is shown to be additive in general.
New Additivity Properties of the Relative Entropy of Entanglement and Its Generalizations

Roberto Rubboli,Marco Tomamichel

DOI: https://doi.org/10.1007/s00220-024-05025-3

IF: 2.361

2024-06-24

Communications in Mathematical Physics

Abstract:We prove that the relative entropy of entanglement is additive when at least one of the two states belongs to some specific class. We show that these classes include bipartite pure, maximally correlated, GHZ, Bell diagonal, isotropic, and generalized Dicke states. Previously, additivity was established only if both states belong to the same class. Moreover, we extend these results to entanglement monotones based on the - z Rényi relative entropy. Notably, this family of monotones includes also the generalized robustness of entanglement and the geometric measure of entanglement. In addition, we prove that any monotone based on a quantum relative entropy is not additive for general states. We also compute closed-form expressions of the monotones for bipartite pure, Bell diagonal, isotropic, generalized Werner, generalized Dicke, and maximally correlated Bell diagonal states. Our results rely on developing a method that allows us to recast the initial convex optimization problem into a simpler linear one. Even though we mostly focus on entanglement theory, we expect that some of our technical results could be useful in investigating more general convex optimization problems.

physics, mathematical
An Extended Result on the Optimal Estimation under the Minimum Error Entropy Criterion

Badong Chen,Guangmin Wang,Nanning Zheng,Jose C. Principe

DOI: https://doi.org/10.3390/e16042223

IF: 2.738

2014-01-01

Entropy

Abstract:The minimum error entropy (MEE) criterion has been successfully used in fields such as parameter estimation, system identification and the supervised machine learning. There is in general no explicit expression for the optimal MEE estimate unless some constraints on the conditional distribution are imposed. A recent paper has proved that if the conditional density is conditionally symmetric and unimodal (CSUM), then the optimal MEE estimate (with Shannon entropy) equals the conditional median. In this study, we extend this result to the generalized MEE estimation where the optimality criterion is the Renyi entropy or equivalently, the α-order information potential (IP).
The maximum output p-norm of quantum channels is not multiplicative for any p>2

Andreas Winter

DOI: https://doi.org/10.48550/arXiv.0707.0402

2008-07-30

Abstract:We prove the claim made in the title by showing that approximately randomising maps of large dimension are counterexamples to the multiplicativity conjecture.

Quantum Physics
On an entropic analogue of additive energy

Marcel K. Goh

2024-07-02

Abstract:Recent advances have linked various statements involving sumsets and cardinalities with corresponding statements involving sums of random variables and entropies. In this vein, this paper shows that the quantity $2{\bf H}\{X, Y\} - {\bf H}\{X+Y\}$ is a natural entropic analogue of the additive energy $E(A,B)$ between two sets. We develop some basic theory surrounding this quantity, and demonstrate its role in the proof of Tao's entropy variant of the Balog--Szemerédi--Gowers theorem. We examine the regime where entropic additive energy is small, and discuss a family of random variables related to Sidon sets. In finite fields, one can define an entropic multiplicative energy as well, and we formulate sum-product-type conjectures relating these two entropic energies.

Combinatorics,Number Theory
Bernoulli sums and Rényi entropy inequalities

Mokshay Madiman,James Melbourne,Cyril Roberto

DOI: https://doi.org/10.3150/22-BEJ1511

2024-03-16

Abstract:We investigate the Rényi entropy of independent sums of integer valued random variables through Fourier theoretic means, and give sharp comparisons between the variance and the Rényi entropy, for Poisson-Bernoulli variables. As applications we prove that a discrete ``min-entropy power'' is super additive on independent variables up to a universal constant, and give new bounds on an entropic generalization of the Littlewood-Offord problem that are sharp in the ``Poisson regime''.

Probability,Information Theory,Combinatorics
Generalized Rényi entropy accumulation theorem and generalized quantum probability estimation

Amir Arqand,Thomas A. Hahn,Ernest Y.-Z. Tan

2024-07-09

Abstract:The entropy accumulation theorem, and its subsequent generalized version, is a powerful tool in the security analysis of many device-dependent and device-independent cryptography protocols. However, it has the drawback that the finite-size bounds it yields are not necessarily optimal, and furthermore it relies on the construction of an affine min-tradeoff function, which can often be challenging to construct optimally in practice. In this work, we address both of these challenges simultaneously by deriving a new entropy accumulation bound. Our bound yields significantly better finite-size performance, and can be computed as an intuitively interpretable convex optimization, without any specification of affine min-tradeoff functions. Furthermore, it can be applied directly at the level of Rényi entropies if desired, yielding fully-Rényi security proofs. Our proof techniques are based on elaborating on a connection between entropy accumulation and the frameworks of quantum probability estimation or $f$-weighted Rényi entropies, and in the process we obtain some new results with respect to those frameworks as well. In particular, those findings imply that our bounds apply to prepare-and-measure protocols without the virtual tomography procedures or repetition-rate restrictions previously required for entropy accumulation.

Quantum Physics
A Marginal Characterization of Entropy Functions for Conditional Mutually Independent Random Variables (with Application to Wyner's Common Information)

Qi Chen,Fan Cheng,Tie Liu,Raymond W. Yeung

DOI: https://doi.org/10.1109/isit.2015.7282600

2015-01-01

Abstract:We prove that by imposing a conditional mutual independence constraint and a marginalisation constraint, the almost entropic region can be completely characterised by Shannon-type information inequalities. Such a property is applied to obtain an explicit lower bound on the generalised Wyner common information.
Entropy and the uniform mean ergodic theorem for a family of sets

Terrence M. Adams,Andrew B. Nobel

DOI: https://doi.org/10.1090/tran/6675

IF: 1.3529

2016-03-21

Transactions of the American Mathematical Society

Abstract:We define the entropy of an infinite family C\mathcal {C} of measurable sets in a probability space, and show that a family has zero entropy if and only if it is totally bounded under the symmetric difference semi-metric. Our principal result is that the mean ergodic theorem holds uniformly for C\mathcal {C} under every ergodic transformation if and only if C\mathcal {C} has zero entropy. When the entropy of C\mathcal {C} is positive, we establish a strong converse showing that the uniform mean ergodic theorem fails generically in every isomorphism class, including the isomorphism classes of Bernoulli transformations. As a corollary of these results, we establish that every strong mixing transformation is uniformly strong mixing on C\mathcal {C} if and only if the entropy of C\mathcal {C} is zero, and we obtain a corresponding result for weak mixing transformations.

mathematics
A simple proof of the entropy-power inequality

S. Verdu,D. Guo

DOI: https://doi.org/10.1109/TIT.2006.872978

IF: 2.5

2006-01-01

IEEE Transactions on Information Theory

Abstract:This correspondence gives a simple proof of Shannon's entropy-power inequality (EPI) using the relationship between mutual information and minimum mean-square error (MMSE) in Gaussian channels.

Non-Additivity of Minimum Output p-𝐑é𝐧𝐲𝐢 Entropy

Non-Additivity of Minimum Output p-$\mathbf{R\acute{e}nyi}$ Entropy

New constructive counterexamples to additivity of minimum output Rényi p-entropy of quantum channels

Additivity violation of the regularized Minimum Output Entropy

Comment on "Stronger subadditivity of entropy" by Lieb and Seiringer <a class="link-https" data-arxiv-id="math-ph/0412009" href="https://arxiv.org/abs/math-ph/0412009">math-ph/0412009</a>

Additivity of the Renyi entropy of order 2 for positive-partial-transpose-inducing channels

Yet another additivity conjecture

Additive bounds of minimum output entropies for unital channels and an exact qubit formula

Minimum entropy of a log-concave variable for fixed variance

Isotropic quantum spin channels and additivity questions

New Additivity Properties of the Relative Entropy of Entanglement and Its Generalizations

An Extended Result on the Optimal Estimation under the Minimum Error Entropy Criterion

The maximum output p-norm of quantum channels is not multiplicative for any p>2

On an entropic analogue of additive energy

Bernoulli sums and Rényi entropy inequalities

Generalized Rényi entropy accumulation theorem and generalized quantum probability estimation

A Marginal Characterization of Entropy Functions for Conditional Mutually Independent Random Variables (with Application to Wyner's Common Information)

Entropy and the uniform mean ergodic theorem for a family of sets

A simple proof of the entropy-power inequality