[论文解读] Local convergence of large random triangulations coupled with an Ising model

Marie Albenque, Laurent Ménard+1 more|arXiv (Cornell University)|Dec 7, 2018

Stochastic processes and statistical mechanics参考文献 80被引用 6

一句话总结

该论文证明了大随机三角剖分在伊辛自旋装饰下的局部弱极限存在，证明其收敛于唯一的无限随机三角剖分——即无限伊辛平面三角剖分——其中临界温度在所有边界条件下均为普适。作者推导出配分函数的代数表达式，并证明在临界点处，该极限对象上的简单随机游走是常返的。

ABSTRACT

We prove the existence of the local weak limit of the measure obtained by sampling random triangulations of size $n$ decorated by an Ising configuration with a weight proportional to the energy of this configuration. To do so, we establish the algebraicity and the asymptotic behaviour of the partition functions of triangulations with spins for any boundary condition. In particular, we show that these partition functions all have the same phase transition at the same critical temperature. Some properties of the limiting object -- called the Infinite Ising Planar Triangulation -- are derived, including the recurrence of the simple random walk at the critical temperature.

研究动机与目标

• 建立大小为 $n$ 的随机三角剖分在伊辛自旋配置装饰下的局部弱极限的存在性。
• 分析在任意边界条件下，带伊辛自旋的三角剖分配分函数的渐近行为。
• 证明所有此类配分函数在同一个普适临界温度下表现出相同的相变。
• 表征极限对象——无限伊辛平面三角剖分——并推导其关键的概率与几何性质。

提出的方法

• 使用生成函数与代数组合学方法，分析在各种边界条件下带伊辛自旋的三角剖分的配分函数。
• 应用本杰明-施拉姆局部拓扑定义有限随机三角剖分与自旋向无限对象的收敛性。
• 构建分支过程模型，以耦合和比较有限三角剖分与自旋的增长，从而支持随机控制论证。
• 显式计算分支过程的均值后代矩阵，以验证极限的临界性。
• 利用与树的双射关系及生成函数方法，推导生成级数的闭式表达式。
• 证明在临界点处，均值后代矩阵的谱半径小于 1，从而确认分支过程收敛，进而确认局部极限的存在。

实验结果

研究问题

• RQ1 当 $n \to \infty$ 时，从大小为 $n$ 的随机三角剖分中采样伊辛配置所诱导的测度是否在局部收敛？
• RQ2 带伊辛自旋的三角剖分的配分函数是否在单一临界温度下表现出普适相变？
• RQ3 极限无限随机三角剖分的几何与概率性质是什么？
• RQ4 在临界温度下，简单随机游走在极限的无限伊辛平面三角剖分上是否为常返？

主要发现

• 带伊辛自旋的随机三角剖分的局部弱极限存在且唯一，构成无限伊辛平面三角剖分。
• 无论边界条件如何，所有带伊辛自旋的三角剖分的配分函数均表现出相同的临界温度，表明具有普适临界行为。
• 在关联分支过程的均值后代矩阵中，临界温度下的谱半径严格小于 1，确认了收敛性。
• 在临界温度下，简单随机游走在无限伊辛平面三角剖分上是常返的，该结论通过谱半径分析得到证实。
• 配分函数是自旋耦合参数 $\nu$ 的代数函数，且在临界点处其渐近行为被完全表征。