Abstract:We prove a variety of new and refined uniform continuity bounds for entropies of both classical random variables on an infinite state space and of quantum states of infinite-dimensional systems. We obtain the first tight continuity estimate on the Shannon entropy of random variables with a countably infinite alphabet. The proof relies on a new mean-constrained Fano-type inequality and the notion of maximal coupling of random variables. We then employ this classical result to derive the first tight energy-constrained continuity bound for the von Neumann entropy of states of infinite-dimensional quantum systems, when the Hamiltonian is the number operator, which is arguably the most relevant Hamiltonian in the study of infinite-dimensional quantum systems in the context of quantum information theory. The above scheme works only for Shannon- and von Neumann entropies. Hence, to deal with more general entropies, e.g. $\alpha$-Rényi and $\alpha$-Tsallis entropies, with $\alpha \in (0,1)$, for which continuity bounds are known only for finite-dimensional systems, we develop a novel approximation scheme which relies on recent results on operator Hölder continuous functions and the equivalence of all Schatten norms in special spectral subspaces of the Hamiltonian. This approach is, as we show, motivated by continuity bounds for $\alpha$-Rényi and $\alpha$-Tsallis entropies of random variables that follow from the Hölder continuity of the entropy functionals. Bounds for $\alpha>1$ are provided, too. Finally, we settle an open problem on related approximation questions posed in the recent works by Shirokov on the so-called Finite-dimensional Approximation (FA) property.

Estimates for entropy numbers of multiplier operators of multiple series

Multipliers for spherical harmonic expansions

Estimates For Unimodular Multipliers On Modulation Hardy Spaces

Entropy numbers of finite-dimensional Lorentz space embeddings

The Liouville theorem for a class of Fourier multipliers and its connection to coupling

On the entropy numbers of the mixed smoothness function classes

Multiplication Operators on Hilbert Spaces

Positive definite functions as uniformly ergodic multipliers of the Fourier algebra

Initial 𝐿²×⋯×𝐿² Bounds for Multilinear Operators

Bernoulli sums and Rényi entropy inequalities

Operator Entropy Inequalities

An entropy bound due to symmetries

Non-symmetric differentially subordinate martingales and sharp weak-type bounds for Fourier multipliers

Doubly stochastic operators with zero entropy

The Hörmander Multiplier Theorem, I: the Linear Case Revisited

Entropy of a unitary operator on $l^2(\mathbb{N}_0)$

Initial $L^2\times\cdots\times L^2 $ bounds for multilinear operators

A sharp Hörmander estimate for multi-parameter and multi-linear Fourier multiplier operators

Entropy for compact operators and results on entropy and specification

From Classical to Quantum: Uniform Continuity Bounds on Entropies in Infinite Dimensions