[论文解读] Slow Mixing of Glauber Dynamics for the Six-Vertex Model in the Ordered Phases

Matthew Fahrbach, Dana Randall|arXiv (Cornell University)|Apr 2, 2019

Markov Chains and Monte Carlo Methods参考文献 37被引用 6

一句话总结

本文首次严格证明了在特定边界条件下，六顶点模型的 Glauber 动力学在铁电相及反铁电相的较大区域中以指数时间缓慢混合。通过将配置解释为相交格点路径的路由方式，并分析加权非回溯随机游走与相关随机游走，作者证明了在这些有序相中，局部马尔可夫链无法有效采样平衡配置。

ABSTRACT

The six-vertex model in statistical physics is a weighted generalization of the ice model on $\\mathbb{Z}^2$ (i.e., Eulerian orientations) and the zero-temperature three-state Potts model (i.e., proper three-colorings). The phase diagram of the model depicts its physical properties and suggests where local Markov chains will be efficient. In this paper, we analyze the mixing time of Glauber dynamics for the six-vertex model in the ordered phases. Specifically, we show that for all Boltzmann weights in the ferroelectric phase, there exist boundary conditions such that local Markov chains require exponential time to converge to equilibrium. This is the first rigorous result bounding the mixing time of Glauber dynamics in the ferroelectric phase. Our analysis demonstrates a fundamental connection between correlated random walks and the dynamics of intersecting lattice path models (or routings). We analyze the Glauber dynamics for the six-vertex model with free boundary conditions in the antiferroelectric phase and significantly extend the region for which local Markov chains are known to be slow mixing. This result relies on a Peierls argument and novel properties of weighted non-backtracking walks.

研究动机与目标

• 严格分析六顶点模型在有序相中 Glauber 动力学的混合时间。
• 识别出局部马尔可夫链无法在多项式时间内收敛的边界条件。
• 建立相关随机游走与相交格点路径模型动力学之间的根本联系。
• 将反铁电相中已知的缓慢混合区域扩展至先前结果之外。
• 为加权非回溯随机游走与相关游走的尾部不等式开发新的分析工具。

提出的方法

• 将六顶点模型表示为欧拉定向，并利用双射路由解释将配置映射为非相交格点路径。
• 通过 Glauber 更新建模边的动力学，其中单条边以与其玻尔兹曼权重成比例的概率被反转。
• 在格点路径表示中，利用相关随机游走的新指数尾部界分析混合时间。
• 推导加权非回溯随机游走的闭式生成函数，以分析路径统计与混合行为。
• 应用类似 Peierls 的论证方法，通过限制稀有配置的概率，证明在反铁电相中混合缓慢。
• 使用渐近分析与洛必达法则，验证大系统尺寸极限下关键表达式的收敛性。

实验结果

研究问题

• RQ1 在何种边界条件下，六顶点模型的 Glauber 动力学在铁电相中混合缓慢？
• RQ2 格点路径表示中的相关随机游走如何影响局部马尔可夫链的混合时间？
• RQ3 能否显著扩展反铁电相中缓慢混合区域的范围，超越先前的界限？
• RQ4 加权非回溯随机游走在此模型动力学表征中起何种作用？
• RQ5 为何在铁电相与无序相之间存在清晰的相变边界，从混合时间行为的角度如何解释？

主要发现

• 对于某些边界条件，Glauber 动力学在铁电相的整个区域内需要指数时间才能混合，这是该领域首次严格结果。
• 作者将反铁电相中缓慢混合的区域扩展至先前工作的范围之外，显著拓宽了已知的缓慢混合区域。
• 推导出一种新的相关随机游走指数尾部不等式，并用于限制反铁电相中的混合时间。
• 推导出加权非回溯随机游走的闭式生成函数，使路径统计的精确分析成为可能。
• 证明技术揭示了六顶点模型动力学与格点上加权游走行为之间的深刻联系。
• 结果表明，无序相中的快速混合仍未被证明，目前仅知无权重情况（欧拉定向）可在多项式时间内混合。