Discrete-time Poincaré inequality for a Markov kernel
= 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$.