[论文解读] Correlations of primary fields in the critical Ising model

Dmitry Chelkak, Clément Hongler+1 more|arXiv (Cornell University)|Mar 18, 2021

Stochastic processes and statistical mechanics参考文献 27被引用 8

一句话总结

本文建立了在任意有限连通区域上、具有不同边界条件的临界伊辛模型中，初级场（自旋、 disorder、费米子和能量密度）的归一化相关函数的收敛性。通过离散的全纯旋量和 s-全纯函数，作者证明了标度极限满足共形协变的黎曼边界值问题，并推导出在点碰撞时的算符乘积展开的显式融合规则。

ABSTRACT

We prove convergence of renormalized correlations of primary fields, i. e., spins, disorders, fermions and energy densities, in the scaling limit of the critical Ising model in arbitrary finitely connected domains, with fixed (plus or minus) or free boundary conditions, or mixture thereof. We describe the limits of correlations in terms of solutions of Riemann boundary value problems, and prove their conformal covariance. Moreover, we prove fusion rules, or operator product expansions, which describe asymptotics of the scaling limits of the correlations as some of the points collide together. We give explicit formulae for correlations in the case of simply-connected and doubly-connected domains. Our presentation is self-contained, and the proofs are simplified as compared to the previous work where particular cases are treated.

研究动机与目标

• 在任意有限连通区域中，建立临界伊辛模型中初级场的离散相关函数收敛到连续极限。
• 将标度极限表征为满足共形协变性的黎曼边界值问题的解。
• 推导当点彼此接近时，标度极限的融合规则（算符乘积展开）。
• 为单连通和双连通区域提供相关函数的显式公式。
• 通过一个自包含的框架，统一并简化先前关于相关函数收敛性和融合规则的研究成果。

提出的方法

• 利用正方形晶格上的离散全纯旋量和 s-全纯函数，对伊辛模型中的费米子可观测量进行建模。
• 应用 s-全纯旋量的柯西积分公式和最大值原理，证明收敛到连续极限。
• 通过共形映射和卡拉西奥多里收敛性，建立标度极限的共形协变性。
• 通过在碰撞点附近对连续费米子可观测量进行渐近展开，推导融合规则。
• 使用拉东-尼科迪姆导数关联不同边界条件测度，并将鞅论证推广至 SLE 收敛性。
• 应用吉尔萨诺夫变换和鞅技术，证明在适当边界条件下，界面收敛到 SLE(3) 和 SLE(16/3)。

实验结果

研究问题

• RQ1 在任意有限连通区域中，临界伊辛模型中初级场的相关函数是否收敛到共形协变的极限？
• RQ2 在一般区域中，自旋、 disorder、费米子和能量密度相关函数的标度极限的精确函数形式是什么？
• RQ3 当多个场插入点彼此接近时，相关函数的行为如何，其结果的融合规则是什么？
• RQ4 是否可以在包括混合正负边界条件和自由边界在内的各种边界条件下，统一证明离散相关函数的收敛性？
• RQ5 伊辛模型的标度极限与 SLE 过程之间有何联系？鞅可观测量如何与驱动 SDE 相关联？

主要发现

• 自旋、 disorder、费米子和能量密度相关函数的标度极限在任意有限连通区域中收敛到黎曼边界值问题的解。
• 极限相关函数具有共形协变性，其在共形映射下按预期的共形权重变换。
• 严格推导出融合规则，描述了点碰撞时相关函数的渐近行为，并给出了显式的算符乘积展开系数。
• 通过共形映射和旋量解，为单连通和双连通区域提供了连续相关函数的显式公式。
• 通过鞅可观测量和吉尔萨诺夫变换，确立了界面收敛到 SLE(3) 和 SLE(16/3) 的结果，其驱动 SDE 由相关函数的对数导数导出。
• 该证明框架自包含，通过 s-全纯性统一处理离散与连续费米子可观测量，简化了先前的方法。