[论文解读] Critical Ising on the square lattice mixes in polynomial time

Eyal Lubetzky, Allan Sly|arXiv (Cornell University)|Jan 11, 2010

Stochastic processes and statistical mechanics参考文献 43被引用 4

一句话总结

该论文首次为正方形格点上二维伊辛模型临界点处的格劳伯动力学谱隙建立了严格的多项式上界，证实了预期的临界减速现象。通过利用临界福廷-卡斯特勒因表示的极限缩放最新进展及马尔可夫链分析，证明了谱隙的倒数在边长上为多项式增长，且与边界条件无关。

ABSTRACT

The Ising model is widely regarded as the most studied model of spin-systems in statistical physics. The focus of this paper is its dynamic (stochastic) version, the Glauber dynamics, introduced in 1963 and by now the most popular means of sampling the Ising measure. Intensive study throughout the last three decades has yielded a rigorous understanding of the spectral-gap of the dynamics on $\Z^2$ everywhere except at criticality. While the critical behavior of the Ising model has long been the focus for physicists, mathematicians have only recently developed an understanding of its critical geometry with the advent of SLE, CLE and new tools to study conformally invariant systems. A rich interplay exists between the static and dynamic models. At the static phase-transition for Ising, the dynamics is conjectured to undergo a critical slowdown: At high temperature the inverse-gap is O(1), at the critical $β_c$ it is polynomial in the side-length and at low temperature it is exponential in it. A seminal series of papers verified this on $\Z^2$ except at $β=β_c$ where the behavior remained a challenging open problem. Here we establish the first rigorous polynomial upper bound for the critical mixing, thus confirming the critical slowdown for the Ising model in $\Z^2$. Namely, we show that on a finite box with arbitrary (e.g. fixed, free, periodic) boundary conditions, the inverse-gap at $β=β_c$ is polynomial in the side-length. The proof harnesses recent understanding of the scaling limit of critical Fortuin-Kasteleyn representation of the Ising model together with classical tools from the analysis of Markov chains.

研究动机与目标

• 解决格劳伯动力学在二维伊辛模型临界点处长期悬而未决的临界减速问题，其逆温度为 βc。
• 在临界点处建立谱隙倒数的多项式上界，证实了预期的临界减速行为。
• 将结果推广至纵横比无界的矩形区域，以及周期性与反铁磁性边界条件。
• 在静态临界几何（通过 SLE 和 CLE）与伊辛模型动态混合性质之间建立严格的联系。

提出的方法

• 利用伊辛模型的临界福廷-卡斯特勒因（FK）随机簇表示，利用其共形不变性与极限缩放性质。
• 应用基于 FK 模型中穿越事件概率的空间混合技术，限制边界条件的影响。
• 采用块动力学与递归分析，将问题简化为具有固定边界条件的更小区域。
• 使用耦合论证表明，以正概率，相邻块中的配置可在一步内耦合，从而确保块动力学的谱隙倒数有界。
• 应用单格点动力学与块动力学之间的谱隙关系，将该界传递至原始的格劳伯动力学。
• 通过将环面划分为具有一个周期边界对的重叠块，并在该条件下利用空间混合性，将结果推广至周期性边界条件。

实验结果

研究问题

• RQ1 格劳伯动力学在 Z² 上临界伊辛模型的谱隙渐近行为如何？
• RQ2 在临界点处，谱隙倒数是否如猜想所示随边长呈多项式增长？
• RQ3 能否利用共形不变系统与 SLE 的现代工具，严格证实临界减速？
• RQ4 混合时间如何依赖于边界条件，特别是周期性或反铁磁性情形？
• RQ5 该多项式界能否推广至纵横比无界的矩形区域？

主要发现

• 有限方盒边长为 n 的临界伊辛模型格劳伯动力学谱隙倒数上界为 n^C，其中 C > 0 为绝对常数，且与边界条件无关。
• 格劳伯动力学的总变差混合时间上界为 n 的多项式，证实了临界点处的快速混合。
• 对于纵横比无界的矩形区域，谱隙倒数仅以较短边长的多项式为上界。
• 证明了谱隙倒数至少以 n^{7/4} 的速度增长，提供了与猜想的普遍性指数一致的下界。
• 由于自旋翻转变换下的对称性，该结果可推广至任意边界条件下的临界反铁磁伊辛模型。
• 通过将具有周期性边界条件的环面系统分解为具有一个周期边界对的重叠块，证明了谱隙倒数在环面上存在统一上界。