[论文解读] Toroidal Dimer Model and Temperley's Bijection

Wangru Sun|arXiv (Cornell University)|Mar 2, 2016

Stochastic processes and statistical mechanics参考文献 14被引用 5

一句话总结

该论文通过Temperley双射将环面上的双周期图上的环形偶模型的热力学极限中的相变现象建立起来，映射到环根生成树（CRSF）。证明了当极限偶模型测度的斜率为零时，对应的CRSF测度几乎必然收敛到一棵生成树；否则，它收敛到具有无限多个连通分支的不连通生成森林。该结果由高度函数的斜率表征，并在特定图条件（⋆）下成立，该条件已在漂移正方形网格上得到验证。

ABSTRACT

Temperley's bijection relates the toroidal dimer model to cycle rooted spanning forests ($CRSF$) on the torus. The height function of the dimer model and the homology class of $CRSF$ are naturally related. When the size of the torus tends to infinity, we show that the measure on $CRSF$ arising from the dimer model converges to a measure on (disconnected) spanning forests or spanning trees. There is a phase transition, which is determined by the average height change.

研究动机与目标

• 表征由环面偶模型产生的环根生成树（CRSF）极限测度的拓扑结构。
• 基于偶模型高度函数的斜率，确定无限体积极限下的相变。
• 建立极限CRSF测度支持于单棵生成树或不连通森林的条件。
• 通过生成森林和高度函数的视角，扩展对偶模型相图的理解。
• 验证在零斜率下，极限测度收敛于与边界根选择无关的 wired 生成树。

提出的方法

• 利用Temperley双射，将双图上的偶配置映射到环面商图 $\mathcal{G}_N$ 上的环根生成树（CRSF）。
• 通过几何和拓扑论证，分析CRSF的同调类及其与偶模型高度函数的关系。
• 应用随机游动和环消除随机游动（LERW）的缩放极限，研究极限森林的连通性。
• 利用转移电流定理和Green函数估计，分析有限图上测度向无限体积极限的收敛性。
• 对图施加条件（⋆），以确保Green函数的收敛性和衰减性质，从而实现相变结果。
• 使用wired生成树测度作为极限测度的代理，并证明其收敛性与边界上根位置的选择无关。

实验结果

研究问题

• RQ1 在何种条件下，由偶模型产生的极限CRSF测度收敛到单棵生成树？
• RQ2 极限偶模型测度的斜率如何决定极限CRSF中连通分支的数量？
• RQ3 高度函数的平均变化量（斜率）在决定极限森林的拓扑结构中起什么作用？
• RQ4 当斜率为零时，偶模型测度收敛于环面上的Gibbs测度是否意味着存在唯一的生成树？
• RQ5 极限测度是否独立于wired生成树构造中根顶点的选择？

主要发现

• 当极限偶模型测度的斜率为零且图满足条件（⋆）时，极限CRSF测度几乎必然支持于单棵生成树。
• 当斜率非零时，极限CRSF测度几乎必然支持于具有无限多个连通分支的不连通森林。
• 相变被完全表征：零斜率 → 一棵树；非零斜率 → 无限多棵树。
• 该结果适用于所有$\mathbb{Z}^2$-周期图且斜率为零的情况，且收敛性与wired生成树测度中根位置的选择无关。
• 对于满足条件⋆的漂移正方形网格图，相图显示一个有界区域（浅蓝色）对应于零斜率和单棵生成树，而在该区域外，出现无限多个连通分支。
• 当斜率为零时，偶模型的渐近熵与生成树测度的渐近熵一致，这是由于它们的极限测度收敛所致。