Discrete-time Poincaré inequality for a Markov kernel

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