Discrete-time Poincaré inequality for a Markov kernel (source code)

= Discrete-time Poincaré inequality for a Markov kernel
{c}

For a reversible kernel $K$, the inequality $\operatorname{Var}_\pi(f)\leq C\mathcal E_{K^2}(f)$ is equivalent to geometric contraction of variance under iteration of $K$.