Entropy inequalities

Giacomo De Palma, Stefan Huber

We prove the quantum conditional entropy power inequality for quantum additive noise channels. This inequality lower bounds the quantum conditional entropy of the output of an additive noise channel in terms of the quantum conditional entropies of the input state and the noise when they are conditionally independent given the memory. We also show that this conditional entropy power inequality is optimal in the sense that we can achieve equality asymptotically by choosing a suitable sequence of Gaussian input states. We apply the conditional entropy power inequality to find an array of information-theoretic inequalities for conditional entropies which are the analogs of inequalities which have already been established in the unconditioned setting. Furthermore, we give a simple proof of the convergence rate of the quantum Ornstein-Uhlenbeck semigroup based on entropy power inequalities.

Guglielmo Grimaldi, Matthew Headrick, Veronika E. Hubeny +1 more

A holographic entropy inequality (HEI) is a linear inequality obeyed by Ryu-Takayanagi holographic entanglement entropies, or equivalently by the minimum cut function on weighted graphs. We establish a new combinatorial framework for studying HEIs, and use it to prove several properties they share, including two majorization-related properties as well as a necessary and sufficient condition for an inequality to be an HEI. We thereby resolve all the conjectures presented in [arXiv:2508.21823], proving two of them and disproving the other two. In particular, we show that the null reduction of any superbalanced HEI passes the majorization test defined in [arXiv:2508.21823], thereby providing strong new evidence that all HEIs are obeyed in time-dependent holographic states.

Huzihiro Araki, Élliott H. Lieb

Silviu Guiaşu

Rodney W. Benoist, Jean-Paul Marchand, Walter Wyss

Lin Zhang

In this short report, we give some new entropy inequalities based on Rényi relative entropy and the observation made by Berta {\em et al} [arXiv:1403.6102]. These inequalities obtained extends some well-known entropy inequalities. We also obtain a condition under which a tripartite operator becomes a Markov state.