[论文解读] Bootstrapping the Ising Model on the Lattice

Minjae Cho, Barak Gabai+4 more|arXiv (Cornell University)|Jun 25, 2022

Theoretical and Computational Physics被引用 6

一句话总结

本文通过推导自旋翻转方程——自旋关联函数的线性约束——并施加正性条件（如反射正性与格里菲斯不等式），提出了一种针对二维和三维晶格上伊辛模型的新颖自举方法。该方法可得到临界关联函数与磁化强度的严格数值边界，在零磁场下二维情形可得精确结果，三维情形则获得高精度边界，且随着约束条件的细化，边界收敛于精确值。

ABSTRACT

We study the statistical Ising model of spins on the infinite lattice using a bootstrap method that combines spin-flip identities with positivity conditions, including reflection positivity and Griffiths inequalities, to derive rigorous two-sided bounds on spin correlators through semi-definite programming. For the 2D Ising model on the square lattice, the bootstrap bounds based on correlators supported in a 13-site diamond-shaped region determine the nearest-spin correlator to within a small window, which for a wide range of coupling and magnetic field is narrower than the precision attainable with Monte Carlo methods. We also report preliminary results of the bootstrap bounds for the 3D Ising model on the cubic lattice.

研究动机与目标

• 开发一种非微扰、数值严格的自举框架，适用于超出共形场论范围的晶格几何上的经典伊辛模型。
• 通过局域自旋翻转对称性，推导出精确的线性约束——自旋翻转方程——以关联自旋关联函数。
• 施加正性条件（如反射正性与格里菲斯不等式）以约束允许的自旋关联函数空间。
• 计算磁化强度与自旋关联等可观测量的双边边界，且随着约束空间的扩大，边界收敛于精确结果。
• 将自举程序的适用范围扩展至伊辛模型的有限温度与非共形区域。

提出的方法

• 通过利用局域自旋翻转对称性推导自旋翻转方程，得到自旋关联函数之间的线性关系，形式为 ∑B⊂Λ L_A|B ⟨s_B⟩ = 0。
• 通过实施晶格平移不变性，将系统简化为以原点为中心的有限方程组。
• 通过要求对所有局域算符 O 满足 ⟨O O^R⟩ ≥ 0 来施加反射正性，其中 R 为晶格反射对称操作。
• 应用格里菲斯不等式，对特定关联函数（如 ⟨s_0⟩ ≥ 0）施加额外的正性约束。
• 利用这些约束构建不变的半定规划，以计算可观测量的严格上界与下界。
• 通过数值优化求解所得的半定规划，获得自旋关联函数与磁化强度的双边边界。

实验结果

研究问题

• RQ1 能否系统地推导出伊辛模型在 d 维晶格上的自旋翻转方程，以约束关联函数？
• RQ2 反射正性与格里菲斯不等式如何约束伊辛模型中允许的自旋关联函数空间？
• RQ3 基于自旋翻转方程与正性条件的自举方法能否对磁化强度与自旋关联等可观测量产生双边边界？
• RQ4 随着约束数量的增加，自举边界的收敛行为如何？
• RQ5 该方法在多大程度上可复现二维中的已知精确结果，并在三维中产生高精度边界？

主要发现

• 该方法在零磁场下复现了二维伊辛模型的精确结果，验证了自举框架的有效性。
• 在零磁场下的二维伊辛模型中，能量密度与磁化强度的自举边界随着约束数量的增加而收敛至精确值。
• 在非零磁场的二维伊辛模型中，该方法对磁化强度给出了严格边界，其中最紧的边界由 y₁ = 0 给出，条件为 J ≤ ln(1 + 2√2)/4。
• 在三维情形中，自举方法对自旋关联函数与磁化强度产生了高精度的双边边界，且随着约束空间的扩大，边界趋近于精确临界值。
• 引入格里菲斯不等式显著收紧了边界，其中 y₅ ≥ 0 提供了二维中磁化强度的最紧约束。
• 数值自举算法高效且可扩展，通过选择性约束选取与矩阵截断，具有进一步优化的潜力。