f5d72305f526ad6e.tex
1: \begin{abstract}
2: Introduced in 1963, Glauber dynamics is one of the most practiced and extensively studied methods for sampling the Ising model on lattices.
3: It is well known that at high temperatures, the time it takes this chain to mix in $L^1$ on a system of size $n$ is $O(\log n)$. Whether in this regime there is \emph{cutoff}, i.e.\ a sharp transition in the $L^1$-convergence to equilibrium, is a fundamental open problem: If so, as conjectured by Peres, it would imply that mixing occurs abruptly at $(c+o(1))\log n$
4: for some fixed $c>0$,
5: thus providing a rigorous stopping rule for this MCMC sampler. However, obtaining the precise asymptotics of the mixing and proving cutoff can be extremely challenging even for
6: fairly simple Markov chains.
7: Already for the one-dimensional Ising model, showing cutoff is a longstanding open problem.
8: 
9: We settle the above by establishing cutoff and its location at the high temperature regime of the
10: Ising model on the lattice
11: with periodic boundary conditions. Our results hold for any dimension and at any temperature
12: where there is strong spatial mixing: For $\Z^2$ this carries all the way to the critical temperature.
13: Specifically, for fixed $d\geq 1$, the continuous-time Glauber dynamics
14: for the Ising model on $(\Z/n\Z)^d$ with periodic boundary conditions has cutoff at
15: $(d/2\lambda_\infty)\log n$, where $\lambda_\infty$ is the spectral gap of the dynamics on the
16: infinite-volume lattice. To our knowledge, this is the first time where cutoff is shown for a Markov chain where
17: even understanding its stationary distribution is limited.
18: 
19: The proof hinges on a new technique for translating $L^1$-mixing to $L^2$-mixing of projections of the chain,
20: which enables the application of logarithmic-Sobolev inequalities. The technique is general and carries to other
21: monotone and anti-monotone spin-systems,
22: e.g.\ gas hard-core, Potts, anti-ferromagentic Ising, arbitrary boundary conditions, etc.
23: \end{abstract}
24: