English

On sensitivity of mixing times and cutoff

Probability 2018-04-02 v4

Abstract

A sequence of chains exhibits (total-variation) cutoff (resp., pre-cutoff) if for all 0<ϵ<1/20<\epsilon< 1/2, the ratio tmix(n)(ϵ)/tmix(n)(1ϵ)t_{\mathrm{mix}}^{(n)}(\epsilon)/t_{\mathrm{mix}}^{(n)}(1-\epsilon) tends to 1 as nn \to \infty (resp., the lim sup\limsup of this ratio is bounded uniformly in ϵ\epsilon), where tmix(n)(ϵ)t_{\mathrm{mix}}^{(n)}(\epsilon) is the ϵ\epsilon-total-variation mixing-time of the nnth chain in the sequence. We construct a sequence of bounded degree graphs GnG_n, such that the lazy simple random walks (LSRW) on GnG_n satisfy the "product condition" gap(Gn)tmix(n)(ϵ)\mathrm{gap}(G_n) t_{\mathrm{mix}}^{(n)}(\epsilon) \to \infty as nn \to \infty, where gap(Gn)\mathrm{gap}(G_n) is the spectral gap of the LSRW on GnG_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 Gn=(Vn,En)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 Θ(logVn)\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 Θ(logVn)\Theta (\log |V_n|). This gives a negative answer to a question asked by Aldous and Fill.

Keywords

Cite

@article{arxiv.1610.04357,
  title  = {On sensitivity of mixing times and cutoff},
  author = {Jonathan Hermon and Yuval Peres},
  journal= {arXiv preprint arXiv:1610.04357},
  year   = {2018}
}

Comments

35 pages, 7 figures. Section 3 was revised in the latest version