On sensitivity of mixing times and cutoff

TL;DR

This paper investigates the sensitivity of mixing times and cutoff phenomena in Markov chains, constructing examples that challenge existing assumptions and showing how small perturbations can significantly alter mixing behavior.

Contribution

It provides counterexamples to known conditions for cutoff, demonstrates differences between continuous-time and lazy chains, and shows how perturbations affect mixing times.

Findings

A sequence of graphs with spectral gap and mixing time ratio not exhibiting pre-cutoff.

Disproves the equivalence of cutoff for continuous-time and lazy chains in separation.

Perturbations can increase mixing time by a factor of Θ(log |V|).

Abstract

A sequence of chains exhibits (total-variation) cutoff (resp., pre-cutoff) if for all $0<\epsilon< 1/2$, the ratio $t_{\mathrm{mix}}^{(n)}(\epsilon)/t_{\mathrm{mix}}^{(n)}(1-\epsilon)$ tends to 1 as $n \to \infty $ (resp., the $\limsup$ of this ratio is bounded uniformly in $\epsilon$), where $t_{\mathrm{mix}}^{(n)}(\epsilon)$ is the $\epsilon$-total-variation mixing-time of the $n$th chain in the sequence. We construct a sequence of bounded degree graphs $G_n$, such that the lazy simple random walks (LSRW) on $G_n$ satisfy the "product condition" $\mathrm{gap}(G_n) t_{\mathrm{mix}}^{(n)}(\epsilon) \to \infty $ as $n \to \infty$, where $\mathrm{gap}(G_n)$ is the spectral gap of the LSRW on $G_n$ (a known necessary condition for pre-cutoff that is often sufficient for cutoff), yet this sequence does not exhibit pre-cutoff. Recently, Chen and Saloff-Coste showed that total-variation cutoff is equivalent for the sequences of continuous-time and lazy versions of some given sequence of chains. Surprisingly, we show that this is false when considering separation cutoff. We also construct a sequence of bounded degree graphs $G_n=(V_{n},E_{n})$ that does not exhibit cutoff, for which a certain bounded perturbation of the edge weights leads to cutoff and increases the order of the mixing-time by an optimal factor of $\Theta (\log |V_n|)$. Similarly, we also show that "lumping" states together may increase the order of the mixing-time by an optimal factor of $\Theta (\log |V_n|)$. This gives a negative answer to a question asked by Aldous and Fill.