[论文解读] Dimer model and holomorphic functions on t-embeddings of planar graphs

Dmitry Chelkak, Benoît Laslier+1 more|arXiv (Cornell University)|Jan 31, 2020

Markov Chains and Monte Carlo Methods被引用 7

一句话总结

本文提出了一种在加权双色平面图的 t-嵌入上定义的离散全纯函数的统一框架，表明此类函数同时推广了 Kenyon 在 T-图上的调和函数导数理论与 Ising 模型中 Smirnov 的 s-全纯性。核心贡献是一个元定理，证明在一般 t-嵌入条件下，dimer 模型的高度涨落收敛于高斯自由场，并发展了 t-全纯函数的先验正则性理论。

ABSTRACT

We introduce the framework of discrete holomorphic functions on t-embeddings of weighted bipartite planar graphs; t-embeddings also appeared under the name Coulomb gauges in a recent paper arXiv:1810.05616. We argue that this framework is particularly relevant for the analysis of scaling limits of the height fluctuations in the corresponding dimer models. In particular, it unifies both Kenyon's interpretation of dimer observables as derivatives of harmonic functions on T-graphs and the notion of s-holomorphic functions originated in Smirnov's work on the critical Ising model. We develop an a priori regularity theory for such functions and provide a meta-theorem on convergence of the height fluctuations to the Gaussian Free Field. We also discuss how several more standard discretizations of complex analysis fit this general framework.

研究动机与目标

• 通过 t-嵌入统一 dimer 模型与 Ising 模型中的离散全纯函数理论。
• 建立一个通用框架，用于分析平面图上 dimer 模型高度涨落的标度极限。
• 为 t-嵌入上的 t-全纯函数及其相关 T-图发展先验正则性理论。
• 在一般几何假设下证明 dimer 耦合函数收敛于高斯自由场。

提出的方法

• 将 t-嵌入定义为满足与 Kasteleyn 矩阵相关的特定几何约束的加权平面图，其边向量满足特定条件。
• 引入 t-全纯函数为定义在对偶图顶点上的复值函数，满足涉及局部旋转因子的离散柯西-黎曼型条件。
• 推导 t-全纯函数的封闭形式与积分恒等式，将其与 T-图上的调和函数联系起来。
• 在利普希茨与指数尾部假设下，建立 T-图上随机游动的方差与交叉估计。
• 在几何控制假设（Lip(κ,δ) 与 Exp-Fat(δ)）下，证明调和函数与 t-全纯函数的子列收敛性。
• 证明标准离散化方法——正交对角嵌入、s-嵌入、等半径网格与正则格点——均属于 t-全纯函数框架。

实验结果

研究问题

• RQ1 如何通过 t-嵌入上的离散全纯函数统一 s-全纯性与 T-图调和函数等现有理论？
• RQ2 在何种几何与分析条件下，dimer 模型的高度涨落收敛于高斯自由场？
• RQ3 t-全纯函数及其在 T-图上相关调和函数具有何种正则性性质？
• RQ4 复分析的标准离散化方法（如正方形镶嵌、等半径网格）如何融入 t-嵌入框架？
• RQ5 折纸映射在关联 t-嵌入与离散全纯结构中起何种作用？

主要发现

• 证明了 dimer 模型在 t-嵌入上的耦合函数是 t-全纯函数的线性组合。
• 在 Lip(κ,δ) 与 Exp-Fat(δ) 假设下，建立了 t-全纯函数的先验正则性理论，确保其有界性与收敛性。
• 在 Exp-Fat(δ) 条件下，T-图上调和函数的子列极限存在且连续。
• 在一般 t-嵌入假设下，dimer 模型的高度涨落在标度极限下收敛于高斯自由场。
• 在适当 t-嵌入下，通过 [22] 条件在正三角网格上定义的离散全纯函数等价于 t-全纯函数。
• 该框架将 s-全纯性、正交对角嵌入与等半径网格统一为 t-全纯函数的特例。