Comparing the Lee-Yang gap with the mass gap in the sub-critical planar Ising model

技术摘要：比较亚临界平面伊辛模型的 Lee–Yang 能隙与质量能隙

问题陈述
本文研究了亚临界（无序）相平面伊辛模型中两个基本谱量之间的定量关系：质量能隙 ($m_\beta$) 与 Lee–Yang 能隙 ($L_\beta$)。

• 质量能隙 ($m_\beta$) 表征了在无磁场情况下，二点相关函数的指数衰减速率（相关长度的倒数）。
• Lee–Yang 能隙 ($L_\beta$) 定义为复磁场平面中，离原点最近的配分函数零点到原点的距离（即最近纯虚零点的模长）。

虽然用于薛定谔算子的 Combes–Thomas 估计将谱距离与格林函数的空间衰减率联系起来，但对于伊辛模型，目前仍缺乏严格的定量类比。前人的工作已经建立了定性的联系（指数衰减意味着存在无零区域），但 $m_\beta$ 与 $L_\beta$ 在临界点 $\beta_c$ 附近的精确标度关系仍是一个悬而未决的问题。作者旨在证明这两个能隙是可比的，具体而言，建立当 $\beta \uparrow \beta_c$ 时，$m_\beta$ 随 $L_\beta^{8/15}$ 缩放（或反之，$L_\beta \sim m_\beta^{15/8}$）。

方法论
证明过程分为建立质量能隙关于 Lee–Yang 能隙的下界和上界。

1. 下界 ($m_\beta \gtrsim L_\beta^{8/15}$):

   • 作者利用 Lee–Yang 乘积公式（Hadamard 分解）将压强（对数配分函数）的导数与 Lee–Yang 零点联系起来。
   • 他们采用了平面伊辛模型的标准估计，特别是磁化率 ($\chi_\beta \sim m_\beta^{-7/4}$) 的渐近行为以及临界磁化强度 ($E_{\beta_c, h}[\sigma_0] \sim h^{1/15}$)。
   • 通过结合磁化强度的方差（通过磁化率联系）与磁化强度在场中的单调性，他们推导出了不等式 $L_\beta^{14/15} \lesssim m_\beta^{7/4}$，从而得到了所需的幂律关系。

2. 上界 ($m_\beta \lesssim L_\beta^{8/15}$):

   • 这个方向在技术上更为复杂，依赖于有限块展开（finite block expansion）结合随机电流矩界限（random-current moment bounds）以及一种特定的相关不等式。
   • 随机电流矩界限： 作者利用相关不等式（特别是 Aizenman 不等式和 Griffiths-Kelly-Sherman 不等式）建立了有限块磁化强度的高斯界限。
   • 相关不等式： 他们利用了 Ding, Song 和 Sun (DSS) 的一个结果，该结果将任意实场下的自旋协方差与其零场下的相关性联系起来。这使得他们能够比较给定边界条件下块内自旋的条件分布（具体为任意构型与全正构型）。
   • 有限块展开： 利用 DSS 不等式，作者构造了一个“无零判据”。他们定义了一个块 $T_\ell$ 及其周围的壳层 $S_\ell$。如果这两个收缩集合之间的零场相关性 ($q_\beta(\ell)$) 足够小，则配分函数在特定的复数邻域内不为零。
   • 平面穿越界限： 为了验证相关性 $q_\beta(\ell)$ 在相关长度尺度（$\ell \sim 1/m_\beta$）下呈指数级衰减，作者改编了渗流理论中的方法（Duminil-Copin 和 Manolescu；Köhler-Schindler 和 Tassion）。他们使用 FK-Ising 模型中的 RSW（Russo-Seymour-Welsh）型穿越估计，以证明在亚临界相中，分离的连通集之间的连接概率呈指数级减小。
   • 通过结合无零判据与磁化率界限 ($\chi_\beta \sim m_\beta^{-7/4}$) 以及块大小 $\ell \sim 1/m_\beta$，他们推导出了 $L_\beta$ 关于 $m_\beta$ 的下界。

主要贡献与结果

• 主定理 (Theorem 1.1)： 作者证明了对于在正方形方框上具有自由边界条件的平面伊辛模型，存在常数 $c, C > 0$，使得在 $\beta$ 足够接近 $\beta_c$ 时：
  $$c L_\beta^{8/15} \leq m_\beta \leq C L_\beta^{8/15}$$
  这证实了由连续场论（Fonseca 和 Zamolodchikov）提出的标度预测，其中 Lee–Yang 边缘发生在固定的 $h_{cont}/|m_{cont}|^{15/8}$ 处。
• 一致阶乘界限： 本文建立了压强（对数配分函数）场导数的一致界限。具体而言，对于任何 $k \geq 1$：
  $$\frac{1}{|\Lambda_L|} \left| \partial_h^{2k} \log Z_{\beta, L}(h) \bigg|_{h=0} \right| \leq (2k)! C^{2k} m_\beta^{2 - 15k/4}$$
  该结果直接遵循 Lee–Yang 乘积和已建立的能隙界限。
• 随机场伊辛模型 (RFIM) 猜想： 作者讨论了 RFIM，区分了空间衰减与复场能隙。他们猜想对于 RFIM，尽管质量能隙保持为正，但由于存在近似于有序相的、近乎消失的随机场的大区域，Lee–Yang 能隙可能几乎处处为零（$L_\beta^\eta = 0$）。
• 对更短证明的阻碍： 在附录中，作者分析了基于 CJN 最近论文中所断言的 Ursell 函数单调性的潜在更短证明。他们提供了一个针对该工作中使用的特定辅助不等式的反例，解释了为什么本证明中必须使用块展开和平面穿越论证。

意义
本文首次提供了亚临界平面伊辛模型中 Lee–Yang 能隙与质量能隙的定量比较。虽然定性联系（指数衰减 $\iff$ 无零区域）已知，但这项工作确立了连接两者的精确临界指数（$15/8$）。
作者指出，这种比较受到量子算子中 Combes–Thomas 估计的启发，暗示了量子算子的谱能隙与统计力学模型的 Lee–Yang 零点之间存在深刻的结构类比。该结果验证了连续标度预测在晶格模型中关于 Yang–Lee 边缘的有效性。这项工作还强调了在建立这些界限时，平面穿越估计和随机电流技术是必不可少的，因为仅基于 Ursell 函数单调性的简单论证似乎面临障碍。