Non-negative Ollivier curvature on graphs, reverse Poincaré inequality, Buser inequality, Liouville property, Harnack inequality and eigenvalue estimates

Abstract

We prove that for combinatorial graphs with non-negative Ollivier curvature, one has \[ \|P_t μ- P_t ν\|_1 \leq \frac{W_1(μ,ν)}{\sqrt{t}} \] for all probability measures $μ,ν$ where $P_t$ is the heat semigroup and $W_1$ is the $\ell_1$-Wasserstein distance. This turns out to be an equivalent formulation of a version of reverse Poincaré inequality. Furthermore, this estimate allows us to prove Buser inequality, Liouville property and the the eigenvalue estimate $λ_1 \geq \log(2)/\operatorname{diam}^2$.