[论文解读] Phase Coexistence and Slow Mixing for the Hard-Core Model on Z^2

Antonio Blanca, David Galvin+2 more|arXiv (Cornell University)|Nov 27, 2012

Markov Chains and Monte Carlo Methods参考文献 17被引用 8

一句话总结

该论文首次为 ℤ² 上硬核模型的相共存建立了非平凡的下界，通过一种基于轮廓的新型论证方法（引入断层线与出租车行走），证明了当所有 λ > 5.3646 时存在多个吉布斯态。此外，该研究还表明在环形格点上当 λ > 5.3646 时局部马尔可夫链混合缓慢，在自由边界格点上当 λ > 7.1031 时亦然，相较于以往的界限显著提升了七倍。

ABSTRACT

In the hard-core model on a finite graph we are given a parameter lambda>0, and an independent set I arises with probability proportional to lambda^|I|. On infinite graphs a Gibbs distribution is defined as a suitable limit with the correct conditional probabilities. In the infinite setting we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs states. On finite graphs we are interested in determining the mixing time of local Markov chains. On Z^2 it is conjectured that these problems are related and that both undergo a phase transition at some critical point lambda_c approx 3.79. For phase coexistence, much of the work to date has focused on the regime of uniqueness, with the best result being recent work of Restrepo et al. showing that there is a unique Gibbs state for all lambda < 2.3882. Here we give the first non-trivial result in the other direction, showing that there are multiple Gibbs states for all lambda > 5.3646. Our proof adds two significant innovations to the standard Peierls argument. First, building on the idea of fault lines introduced by Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain vastly improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of Z^2. We extend our characterization of fault lines to show that local Markov chains will mix slowly when lambda > 5.3646 on lattice regions with periodic (toroidal) boundary conditions and when lambda > 7.1031 with non-periodic (free) boundary conditions. The arguments here rely on a careful analysis that relates contours to taxi walks and represent a sevenfold improvement to the previously best known values of λ.

研究动机与目标

• 在 ℤ² 的二维整数格点上，首次建立硬核模型相共存的非平凡下界。
• 改进在具有周期性边界条件和自由边界条件的有限方块格点上局部马尔可夫链快速混合的先前界限。
• 开发一种新方法，通过将轮廓计数与一类定向格点上的自避行走（称为“出租车行走”）关联，来限制轮廓数量。
• 将兰德尔的断层线技术加以拓展，以避免对短轮廓精确计数的依赖。
• 对出租车行走的连通常数 μₜ 提供更紧的界限，从而实现对临界活性 λ_c 更优的估计。

提出的方法

• 引入一种基于断层线的新事件，以区分完全固定边界与自由边界条件，确保长轮廓始终存在。
• 将硬核模型中的轮廓与 ℤ² 的定向版本上的有向自避行走（称为“出租车行走”）关联，以限制其数量。
• 利用次可加性与费凯特定理分析出租车行走的增长率，建立该类行走的连通常数 μₜ。
• 采用基于矩阵的特征值技术（通过 Alm 方法），通过长度为 n 且以长度-m 段起止的行走的转移矩阵 A(m,n) 的最大特征值，对 μₜ 进行上界估计。
• 利用桥（出租车行走的一个子类）的超乘性，推导出 μₜ 的下界，从而提升该方法的理论极限。
• 将 μₜ 的界限与佩尔斯论证结合，推导出相共存与混合缓慢的 λ 的下界。

实验结果

研究问题

• RQ1 在 ℤ² 上的硬核模型中，λ 取何值时会出现相共存，即存在多个吉布斯态？
• RQ2 目前对临界活性 λ_c 的最佳已知下界是多少，即相共存开始发生的临界点？
• RQ3 随着 λ 增大，硬核模型在 ℤ² 有限方块上的局部马尔可夫链的混合时间行为如何？
• RQ4 能否通过将轮廓数量与一类新的自避行走关联，更有效地限制其数量？
• RQ5 当前利用出租车行走及其连通常数来限制 λ_c 的方法，其理论极限是什么？

主要发现

• 该论文证明了当所有 λ > 5.3646 时存在相共存，首次在共存区域内建立了非平凡的下界。
• 研究建立了在环形（周期性）边界条件下当 λ > 5.3646 时局部马尔可夫链混合缓慢，以及在自由边界条件下当 λ > 7.1031 时亦然。
• 作者通过 20114×20114 矩阵的特征值分析，得到出租车行走的连通常数上界 μₜ < 1.5884。
• 通过桥的枚举得到下界 μₜ > 1.5196，表明该方法当前无法将临界点进一步优化至 λ_c ≤ 4.3332 以下。
• 由 μₜ < 1.5884 推导出相共存的临界阈值估计为 λ_c < μₜ⁴ − 1 < 5.3646。
• 该方法相较于以往最差混合时间界限，实现了七倍的改进，此前的界限约为 λ ≈ 7.1031。