[论文解读] Ising Model: Local Spin Correlations and Conformal Invariance

Reza Gheissari, Clément Hongler+1 more|arXiv (Cornell University)|Dec 16, 2013

Theoretical and Computational Physics参考文献 15被引用 5

一句话总结

本文通过将任意有限自旋图案概率用离散费米子可观测量表示，首次在非平凡的δ阶次上建立了二维临界伊辛模型中局域自旋关联函数的共形协变性。利用离散复分析以及具有单值性（monodromy）的多点格点旋量的显式构造，作者推导出与共形场论（CFT）预测相符的精确标度极限，将先前关于单点函数的结果推广至任意局域自旋构型。

ABSTRACT

We study the 2-dimensional Ising model at critical temperature on a simply connected subset $Ω_δ$ of the square grid $δ\mathbb{Z}^{2}$. The scaling limit of the critical Ising model is conjectured to be described by Conformal Field Theory; in particular, there is expected to be a precise correspondence between local lattice fields of the Ising model and the local fields of Conformal Field Theory. Towards the proof of this correspondence, we analyze arbitrary spin pattern probabilities (probabilities of finite spin configurations occurring at the origin), explicitly obtain their infinite-volume limits, and prove their conformal covariance at the first (non-trivial) order. We formulate these probabilities in terms of discrete fermionic observables, enabling the study of their scaling limits. This generalizes results of [Hon10,HoSm13] and [CHI15] to one-point functions of any local spin correlations. We introduce a collection of tools which allow one to exactly and explicitly translate any spin pattern probability (and hence any lattice local field correlation) in terms of discrete complex analysis quantities. The proof requires working with multipoint lattice spinors with monodromy (including construction of explicit formulae in the full plane), and refined analysis near their source points to prove convergence to the appropriate continuous conformally covariant functions.

研究动机与目标

• 严格建立二维临界伊辛模型中局域自旋关联函数的共形协变性，超越单点函数的范围。
• 将先前关于自旋与能量场关联的结果推广至原点处任意有限自旋构型（自旋图案）。
• 发展一种系统性框架，将任意局域格点场关联转化为基于费米子可观测量的离散复分析量。
• 证明这些关联收敛至其共形协变的连续极限，包括δ阶次的几何修正项。
• 在全平面上显式构造具有单值性的多点格点旋量，并分析其在源点附近的性质。

提出的方法

• 作者利用离散复分析来定义并分析离散费米子可观测量，特别是旋量场 $ H_{\text{disc}} $，其编码了自旋图案概率。
• 他们提出一种新颖的多点格点旋量构造方法，具备单值性，从而能够精确计算任意自旋构型的关联。
• 该方法涉及通过由离散调和函数与格林函数导出的反对称矩阵的佩费尔米安（Pfaffian）来表达自旋图案概率。
• 通过分析这些可观测量在源点附近的性质，并证明其收敛至连续的共形协变函数，获得标度极限。
• 该框架使用s-定向与边权来定义离散全纯旋量，通过在Mathematica中实现显式递推程序以进行数值验证。
• 关键技术工具是使用离散调和测度及其在切口区域上的递推，从而精确控制边界效应与单值性影响。

实验结果

研究问题

• RQ1 二维临界伊辛模型中局域自旋关联函数在共形变换下如何行为？它们在δ的首阶非平凡项中是否表现出共形协变性？
• RQ2 能否系统地将任意有限自旋图案概率（例如 σ₀σₐσ_b...）表达为离散复分析对象（如费米子可观测量）？
• RQ3 自旋关联在域 Ωδ 中的无限体积极限的精确几何修正项为何？它与共形场论预测有何关系？
• RQ4 如何在全平面上显式构造具有单值性的多点格点旋量？其标度极限为何？
• RQ5 自旋图案关联的标度极限在多大程度上与共形场论预测的共形协变函数一致？

主要发现

• 证明了单点函数 $ \mathbb{E}_{\Omega_\delta}[\sigma_0] $ 的无限体积极限为零，其共形修正项为 $ \delta^{1/8} $ 阶，与CFT预测一致。
• 对于两自旋关联，$ \mathbb{E}_{\Omega_\delta}[\sigma_0\sigma_\delta] \to \frac{\sqrt{2}}{2} + C_\epsilon |\varphi'(0)|^{-1} \delta + o(\delta) $，确认了首阶共形协变性。
• 三自旋关联 $ \mathbb{E}_{\Omega_\delta}[\sigma_0\sigma_{(1+i)\delta}\sigma_{2\delta}] $ 的标度极限被显式计算，其几何修正项在δ阶次包含 $ \partial_z \log r_\Omega(z)|_{z=0} $。
• 由离散全纯旋量导出的矩阵 $ \mathbf{F}^{\{e_k\}} $ 的佩费尔米安，给出了自旋图案概率的主导修正项，且在全平面上有 $ \lim_{\delta\to 0} \mathbb{E}_{\Omega_\delta}[\sigma_0\sigma_{2\delta}] = \frac{2}{\pi} $。
• 作者推导出显式公式：$ \frac{\mathbb{E}_{\Omega_\delta}[\sigma_0\sigma_{(1+i)\delta}\sigma_{2\delta}]}{\mathbb{E}_{\Omega_\delta}[\sigma_0]} = 2(\sqrt{2}-1) + \delta \cdot \frac{5\sqrt{2}-7}{2} \cdot \text{Re}[\partial_z \log r_\Omega(z)]_{z=0} + o(\delta) $，证实了共形协变性。
• 该方法成功将先前关于自旋与能量场的结果推广至任意局域自旋构型，通过离散复分析建立了一个完整的格点场与CFT算符之间的字典。