[论文解读] Height Fluctuations of Random Lozenge Tilings Through Nonintersecting Random Walks

Jiaoyang Huang|arXiv (Cornell University)|Nov 3, 2020

Stochastic processes and statistical mechanics参考文献 41被引用 7

一句话总结

本文证明了在三角晶格上多边形区域的随机菱形密铺中，高度涨落的极限收敛于高斯自由场（GFF），适用于具有单一直边边界的广泛区域类。通过使用离散环路方程的动态版本与非相交伯努利随机游走表示，作者推导出高度函数的Stieltjes变换的随机微分方程（SDE），并在标度极限下证明其收敛于GFF。

ABSTRACT

In this paper we study height fluctuations of random lozenge tilings of polygonal domains on the triangular lattice through nonintersecting Bernoulli random walks. For a large class of polygons which have exactly one horizontal upper boundary edge, we show that these random height functions converge to a Gaussian Free Field as predicted by Kenyon and Okounkov [28]. A key ingredient of our proof is a dynamical version of the discrete loop equations as introduced by Borodin, Guionnet and Gorin [5], which might be of independent interest.

研究动机与目标

• 建立三角晶格上多边形区域随机菱形密铺高度涨落的普遍标度极限。
• 验证Kenyon与Okounkov的预测：在一般条件下，这些涨落收敛于高斯自由场（GFF）。
• 发展并应用离散环路方程的动态版本，以分析高度函数的标度极限。
• 将密铺模型与非相交伯努利随机游走联系起来，并利用该联系推导出GFF极限。

提出的方法

• 将菱形密铺表示为三角晶格上的离散高度函数，其取值由某一方向上穿过的菱形数量决定。
• 通过高度到游走的双射，将密铺问题映射为一组非相交伯努利随机游走的系统。
• 使用Borodin、Guionnet与Gorin引入的离散环路方程的动态版本，分析高度函数的标度极限。
• 推导出高度函数空间导数的Stieltjes变换的随机微分方程（SDE），并证明其在标度极限下收敛于GFF的SDE。
• 分析Stieltjes变换增量的均值与协方差，识别出主导阶漂移项与噪声项。
• 证明高度函数的中心化Stieltjes变换满足与GFF相同的SDE，从而确立了依分布收敛。

实验结果

研究问题

• RQ1 在标度极限下，多边形区域随机菱形密铺的高度涨落是否收敛于高斯自由场？
• RQ2 动态离散环路方程能否用于分析密铺模型中高度函数的标度极限？
• RQ3 控制高度函数导数的Stieltjes变换演化的精确随机微分方程是什么？
• RQ4 非相交随机游走表示如何促进GFF极限的推导？
• RQ5 函数 $ f_t(x;\beta,t) $ 在刻画高度涨落的局部协方差结构中起什么作用？

主要发现

• 对于具有恰好一条水平上边界边的广泛多边形区域类，随机菱形密铺的高度函数在标度极限下收敛于高斯自由场（GFF）。
• 高度函数空间导数的Stieltjes变换的涨落满足一个随机微分方程（SDE），其形式与GFF的SDE完全一致。
• SDE中主导阶漂移项由 $ \partial_t m_t(z;\beta,t) $ 给出，该表达式源自高度函数的确定性标度极限。
• SDE中噪声项的协方差结构由 $ \operatorname{Im}\left( \frac{f_t(w;\beta,t)}{f_t(w;\beta,t)+1} \right) $ 决定，该表达式编码了密铺中的局部相关性。
• 动态离散环路方程提供了一个关键技术工具，使GFF极限的推导成为可能，且该工具本身可能在本研究之外也具有独立兴趣。
• 通过中心化Stieltjes变换的收敛性，确立了向GFF的收敛，从而证实了Kenyon与Okounkov的预测。