[论文解读] Ising model and s-embeddings of planar graphs

Dmitry Chelkak|arXiv (Cornell University)|Jun 25, 2020

Stochastic processes and statistical mechanics被引用 6

一句话总结

本文提出s-嵌入作为通过费米子可观测量分析平面伊辛模型的几何框架，表明这些可观测量在嵌入上成为s-全纯函数。在有界几何和小Q-映射条件下，作者证明了FK-伊辛模型的RSW型交叉估计，并建立了费米子可观测量的收敛性，且给出了定量的速度估计，将闵可夫斯基空间中离散曲面的平均曲率与连续极限中狄拉克方程的质质量联系起来。

ABSTRACT

We discuss the notion of s-embeddings $\mathcal{S}=\mathcal{S}_\mathcal{X}$ of planar graphs carrying a nearest-neighbor Ising model. The construction of $\mathcal{S}_\mathcal{X}$ is based upon a choice of a global complex-valued solution $\mathcal{X}$ of the propagation equation for Kadanoff-Ceva fermions. Each choice of $\mathcal{X}$ provides an interpretation of all other fermionic observables as s-holomorphic functions on $\mathcal{S}_\mathcal{X}$. We set up a general framework for the analysis of such functions on s-embeddings $\mathcal{S}^δ$ with $δ o 0$. Throughout this analysis, a key role is played by the functions $\mathcal{Q}^δ$ associated with $\mathcal{S}^δ$, the so-called origami maps in the bipartite dimer model terminology. In particular, we give an interpretation of the mean curvature of the limit of discrete surfaces $(\mathcal{S}^δ;\mathcal{Q}^δ)$ viewed in the Minkowski space $\mathbb R^{2,1}$ as the mass in the Dirac equation describing the continuous limit of the model. We then focus on the simplest situation when $\mathcal{S}^δ$ have uniformly bounded lengths/angles and $\mathcal{Q}^δ=O(δ)$; as a particular case this includes all critical Ising models on doubly periodic graphs via their canonical s-embeddings. In this setup we prove RSW-type crossing estimates for the random cluster representation of the model and the convergence of basic fermionic observables. The proof relies upon a new strategy as compared to the already existing literature, it also provides a quantitative estimate on the speed of convergence.

研究动机与目标

• 开发一种通用框架，通过s-嵌入分析平面伊辛模型中的费米子可观测量。
• 通过闵可夫斯基空间R^{2,1}中的离散曲面解释伊辛模型的连续极限，将平均曲率与狄拉克质量联系起来。
• 在图的几何假设较弱的条件下，为FK-伊辛模型建立RSW型交叉估计。
• 在尺度极限中证明费米子可观测量的收敛性，并给出明确的定量速度估计。
• 提出一种与以往文献不同的新策略，基于s-嵌入上的离散复分析进行收敛性证明。

提出的方法

• 从Kadanoff–Ceva费米子传播方程的全局复解X构造s-嵌入S_X。
• 在s-嵌入上定义s-全纯函数，并通过H_F变换将其与费米子可观测量关联。
• 为每个s-嵌入S^δ引入与之相关的Q^δ映射（折纸映射），该映射控制R^{2,1}中离散曲面的几何结构。
• 利用Q^δ映射将极限曲面的平均曲率解释为连续狄拉克方程中质量项的来源。
• 在Flat(δ)假设下建立s-全纯函数的先验正则性理论，使拉普拉斯算子可被Q^δΔ_S逼近。
• 在S-图上应用反向随机游走，并通过离散矩形中的命中概率估计证明交叉估计。

实验结果

研究问题

• RQ1 如何系统地将伊辛模型中的费米子可观测量解释为图的几何嵌入上的s-全纯函数？
• RQ2 在闵可夫斯基空间R^{2,1}的离散曲面背景下，Q^δ映射的几何与物理意义是什么？
• RQ3 在何种条件下费米子可观测量在尺度极限中收敛？收敛速度如何？
• RQ4 能否通过s-嵌入上的离散复分析为FK-伊辛模型建立RSW型交叉估计？
• RQ5 极限曲面的平均曲率与连续模型中狄拉克方程的质量项之间有何关系？

主要发现

• 作者在s-嵌入的边长和角度一致有界且Q^δ = O(δ)的假设下，证明了FK-伊辛模型的RSW型交叉估计。
• 费米子可观测量在尺度极限中收敛，且收敛速度估计是通过一种新颖策略得出的，不同于以往方法。
• 在闵可夫斯基空间R^{2,1}中，极限曲面(S^δ; Q^δ)的平均曲率被识别为控制该模型的连续狄拉克方程中的质量项。
• Q^δ映射作为关键几何工具，使狄拉克方程的质量项可被解释为离散到连续极限中的曲率项。
• 在Flat(δ)假设下，s-嵌入上的拉普拉斯算子可被Q^δΔ_S逼近，从而建立了稳健的离散复分析框架。
• 本文建立了s-全纯函数的新先验正则性理论，这对收敛性与交叉估计的证明至关重要。