Hyper-contractivity and entropy decay in discrete time
Justin Salez
TL;DR
This paper investigates the relationship between hyper-contractivity and entropy decay for measure-preserving kernels $T$ on a probability space. It proves a one-step, static implication: if $T$ satisfies $\|T\|_{p\to q}\le 1$ with $1\le p\le q$, then for all $\mu$ we have $\mathrm H(\mu T\,|\pi)\le (p/q)\,\mathrm H(\mu\,|\pi)$, with no reversibility or regularity required. The result can be iterated for discrete-time processes to obtain geometric rates in relative entropy and provides a stronger instantaneous bound at fixed time compared to the classical dynamic link between hypercontractivity and entropy decay along Markov semigroups; the authors also supply a concise duality-based proof that avoids semigroup techniques. Overall, the work offers a general and elementary static framework connecting functional-analytic regularization (hyper-contractivity) with information-theoretic decay (entropy).
Abstract
Consider a measure-preserving transition kernel $T$ on an arbitrary probability space $(\mathbb X,\mathcal cA,π)$. In this level of generality, we prove that a one-step hyper-contractivity estimate of the form $\|T\|_{p\to q}\le 1$ with $p< q$ implies a one-step entropy contraction estimate of the form ${\mathrm H}(μT\,|\,π)\le θ\, {\mathrm H}(μ\,|\,π)$, with $θ=p/q$. Neither reversibility, nor any sort of regularity is required. This static implication is simultaneously simpler and stronger than the celebrated dynamic relation between exponential hyper-contractivity and exponential entropy decay along continuous-time Markov semi-groups.
