[论文解读] Rapid mixing of Swendsen-Wang and single-bond dynamics in two dimensions

Mario Ullrich|arXiv (Cornell University)|Feb 28, 2012

Markov Chains and Monte Carlo Methods参考文献 15被引用 14

一句话总结

该论文建立了随机簇模型中Swendsen-Wang (SW)动力学谱间隙的多项式上界，该上界以单键（热浴）动力学的谱间隙表示，证明了SW动力学的快速混合性与单键动力学的快速混合性等价。关键成果是首次证明了在所有非临界温度下，2D正方形晶格上的伊辛模型实现快速混合。

ABSTRACT

We prove that the spectral gap of the Swendsen-Wang dynamics for the random-cluster model on arbitrary graphs with m edges is bounded above by 16 m log m times the spectral gap of the single-bond (or heat-bath) dynamics. This and the corresponding lower bound imply that rapid mixing of these two dynamics is equivalent. Using the known lower bound on the spectral gap of the Swendsen-Wang dynamics for the two dimensional square lattice $Z_L^2$ of side length L at high temperatures and a result for the single-bond dynamics on dual graphs, we obtain rapid mixing of both dynamics on $\Z_L^2$ at all non-critical temperatures. In particular this implies, as far as we know, the first proof of rapid mixing of a classical Markov chain for the Ising model on $\Z_L^2$ at all temperatures.

研究动机与目标

• 建立一般图上随机簇模型中Swendsen-Wang动力学与单键动力学快速混合性的等价性。
• 解决长期悬而未决的难题：证明2D正方形晶格上伊辛模型在所有非临界温度下的快速混合性。
• 提供一种仅依赖于边数而非图结构的谱间隙比较方法，从而可应用于晶格模型。
• 利用对偶性及单键动力学的已知结果，通过对偶模型将快速混合性推广至低温区域。

提出的方法

• 推导出Swendsen-Wang动力学谱间隙的上界，其表达式以单键动力学的谱间隙表示，其中包含一个$16m\log m$的因子，$m$为边数。
• 在扩展的状态空间上使用马尔可夫链比较技术，通过$(\sigma, A)$配置的联合测度表示两种动力学。
• 应用对偶性论证：SW动力学在对偶图上的谱间隙等于其在原图上的谱间隙，从而实现跨温度区域的混合结果转移。
• 利用已知的单键动力学在高温度下于$\mathbb{Z}_L^2$上的谱间隙下界，并通过对其偶性将其扩展至低温区域。
• 利用对偶图上单键动力学的转移矩阵具有相同特征值的事实，确保谱间隙的等价性。
• 将上界与单键动力学谱间隙的现有下界相结合，得出SW动力学在$\mathbb{Z}_L^2$上所有非临界温度下均实现快速混合的结论。

实验结果

研究问题

• RQ1 在一般图上，随机簇模型中Swendsen-Wang动力学的快速混合性是否等价于单键动力学的快速混合性？
• RQ2 是否可以仅以边数为依赖项，将Swendsen-Wang动力学的谱间隙用单键动力学的谱间隙来界定？
• RQ3 该混合性质的等价性是否可推广至2D伊辛模型在所有非临界温度下的情形？
• RQ4 能否利用对偶性将高至低温区域的快速混合结果进行转移？
• RQ5 是否存在Swendsen-Wang在临界温度下的直接快速混合性证明，还是其本质上慢于单自旋动力学？

主要发现

• 对于任意具有$m$条边的图，Swendsen-Wang动力学的谱间隙上界为$16m\log m$倍于单键动力学的谱间隙。
• 由于谱间隙比值的上下界紧密，因此在一般图上，Swendsen-Wang动力学的快速混合性与单键动力学的快速混合性等价。
• 对于2D正方形晶格$\mathbb{Z}_L^2$，Swendsen-Wang动力学在所有非临界温度下均实现快速混合，包括低温区域。
• 该结果意味着首次为伊辛模型在$\mathbb{Z}_L^2$上所有非临界温度下的经典马尔可夫链提供了快速混合性的证明。
• Swendsen-Wang动力学在对偶图$\mathbb{Z}_L^{2*}$上的谱间隙等于其在原图上的谱间隙，从而实现了跨温度区域的混合结果转移。
• 谱间隙比值的上界在对数因子范围内是紧的，如树图情形所示。