Abstract:"Bounds on information combining" are entropic inequalities that determine how the information (entropy) of a set of random variables can change when these are combined in certain prescribed ways. Such bounds play an important role in classical information theory, particularly in coding and Shannon theory; entropy power inequalities are special instances of them. The arguably most elementary kind of information combining is the addition of two binary random variables (a CNOT gate), and the resulting quantities play an important role in Belief propagation and Polar coding. We investigate this problem in the setting where quantum side information is available, which has been recognized as a hard setting for entropy power inequalities. Our main technical result is a non-trivial, and close to optimal, lower bound on the combined entropy, which can be seen as an almost optimal "quantum Mrs. Gerber's Lemma". Our proof uses three main ingredients: (1) a new bound on the concavity of von Neumann entropy, which is tight in the regime of low pairwise state fidelities; (2) the quantitative improvement of strong subadditivity due to Fawzi-Renner, in which we manage to handle the minimization over recovery maps; (3) recent duality results on classical-quantum-channels due to Renes et al. We furthermore present conjectures on the optimal lower and upper bounds under quantum side information, supported by interesting analytical observations and strong numerical evidence. We finally apply our bounds to Polar coding for binary-input classical-quantum channels, and show the following three results: (A) Even non-stationary channels polarize under the polar transform. (B) The blocklength required to approach the symmetric capacity scales at most sub-exponentially in the gap to capacity. (C) Under the aforementioned lower bound conjecture, a blocklength polynomial in the gap suffices.

Isotropic quantum spin channels and additivity questions

Additivity violation of the regularized Minimum Output Entropy

Quantum Channels from Association Schemes

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

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

Inevitable Negativity: Additivity Commands Negative Quantum Channel Entropy

Relative Entropy and Single Qubit Holevo-Schumacher-Westmoreland Channel Capacity

Eigenvalue and Entropy Statistics for Products of Conjugate Random Quantum Channels

Properties of Conjugate Channels with Applications to Additivity and Multiplicativity

Mixed-state additivity properties of magic monotones based on quantum relative entropies for single-qubit states and beyond

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

Trade--off relations for operation entropy of complementary quantum channels

Generic nonadditivity of quantum capacity in simple channels

An Exponential Mixing Condition for Quantum Channels

Random covariant quantum channels

New entropic inequalities for qudit(spin j=9/2)

Comparing two entropy functions of a quantum channel

Bounds on Information Combining With Quantum Side Information

On the structure of optimal sets for tensor product channel

New additivity properties of the relative entropy of entanglement and its generalizations