Abstract:We prove a new inequality bounding the probability that the random walk on a group has small total displacement in terms of the spectral and isoperimetric profiles of the group. This inequality implies that if the random walk on the group is diffusive then Cheeger's inequality is sharp in the sense that the isoperimetric profile $\Phi$ and spectral profile $\Lambda$ of the group are related by $\Lambda \simeq \Phi^2$. Our inequality also yields substantial progress on a conjecture of Lyons, Peres, Sun, and Zheng (2017) stating that for any transient random walk on an infinite, finitely generated group, the expected occupation time of the ball of radius $r$ is $O(r^2)$: We prove that this conjecture holds for every group of superpolynomial growth whose spectral profile is slowly varying, which we conjecture is always the case. For groups of exponential or stretched-exponential growth satisfying a further mild regularity assumption on their spectral profile, our method yields the strong quantitative small-ball estimate \[-\log \mathbb{P}\bigl(d(X_0,X_n) \leq \varepsilon n^{1/2}\bigr) \succeq \frac{1}{\varepsilon^2} \wedge (-\log \mathbb{P}(X_n=X_0)),\] which is sharp for the lamplighter group. Finally, we prove that the regularity assumptions needed to apply the strongest versions our results are satisfied for several classical examples where the spectral profile is not known explicitly, including the first Grigorchuk group and Thompson's group $F$.

SOME REMARKS ON THE ELLIPTIC HARNACK INEQUALITY

A Note on the Harnack Inequality Related with the Martin Boundary

Gaussian Bounds and Parabolic Harnack Inequality on Locally Irregular Graphs

Harnack Inequalities of Hitting Distributions of Projections of Planar Symmetric Random Walks on the Lattice Torus

The Weak Elliptic Harnack Inequality Revisited

The Helly number of Hamming balls and related problems

A Strong Harnack Inequality for Graphs

The nonlocal Harnack inequality for antisymmetric functions: an approach via Bochner's relation and harmonic analysis

Parabolic Harnack inequality and local limit theorem for percolation clusters

Harnack Inequalities and Applications for Ornstein–Uhlenbeck Semigroups with Jump

Small-ball estimates for random walks on groups

A Note on the Harnack Inequality for Elliptic Equations in Divergence Form

The Geometry of Differential Harnack Estimates

Lower bounds for transition probabilities on graphs

Helly type problems in convexity spaces

An Extension of the Hardy-Littlewood-pólya Inequality

Random Conductance Models with Stable-Like Jumps: Heat Kernel Estimates and Harnack Inequalities

A Hölder--Young--Lieb inequality for norms of Gaussian Wick products

A Harnack Inequality for Homogeneous Graphs and Subgraphs

Random Walk on a Surface Group: Boundary Behavior of the Green's Function at the Spectral Radius