Critical and near-critical influence bounds for ferromagnetic Ising models

技术摘要：铁磁伊辛模型的临界与近临界影响界限

问题陈述
本文研究了最大度为 $\Delta \ge 3$ 的有限图上铁磁伊辛模型中影响矩阵的行为。具体而言，它调查了在树唯一性阈值处及附近时，总影响（影响矩阵的最大行和，$\|\Psi\|_\infty$）的标度。虽然已知无限正则树上的相关性在临界点处不存在一致可求和的界限，但有限图施加了约束。总影响的预期临界标度为 $\sqrt{n}$，该标度决定了谱独立性和 Glauber 动力学的混合时间。之前的研究（Chen 等人）曾提出 $\sqrt{n}$ 的猜想，但随后撤回了其耦合论证；而 Bencs 等人的近期研究则为正则图建立了 $O(\sqrt{n} \log n)$ 的界限。核心问题在于证明铁磁模型在没有对数因子的情况下具有精确的 $\sqrt{n}$ 阶，并将其扩展到近临界区域。

方法论
证明综合了三个主要部分：

1. 逐点空腔界限（Pointwise Cavity Bounds）： 作者利用了由 Carlson, Davies, Kolla, 和 Perkins 通过磁化强度论证推导出的空腔不等式。这涉及分析在均匀正场 $h$ 下顶点 $u$ 的磁化强度 $m_u(h)$。通过建立关于“空腔场”（通过函数 $f_\beta(x) = \text{arctanh}(t \tanh x)$）的递归不等式，他们推导出了磁化强度的逐点界限。在临界点（$\beta = \beta_c$）处，这得出 $m_u(h) \le 4h^{1/3}$。在临界点上方，界限变为 $m_u(h) \le C(\sqrt{\varepsilon} + h^{1/3})$，其中 $\varepsilon$ 衡量了与阈值的距离。
2. 正级数磁化强度倾斜（Positive-Series Magnetization Tilt）： 为了将磁化强度与易受性（相关性的总和）联系起来，作者使用了双曲正弦函数的自旋展开。利用 Griffiths 不等式，他们表明 $E_0[\sigma_v \sinh(hM)]$ 的级数展开项均为非负项。这使得他们能够通过磁化强度 $m_v(h)$ 与配分函数倾斜 $Z(h)$ 的乘积来限制易受性 $\chi_v$。通过优化探测场 $h$（具体选择 $h \sim n^{-3/4}$），他们推导出了易受性行的 $\sqrt{n}$ 界限。
3. 场比较定理（Field Comparison Theorem）： 为了将这些零场易受性界限扩展到任意外部场和钉扎（pinnings），本文应用了 Ding, Song, 和 Sun 的比较定理。该定理将任意场下的影响与零场相关性联系起来，从而有效地将推导出的界限转移到一般情况中。

主要贡献与结果
本文确立了关于影响矩阵 $\Psi$ 的两个主要定理：

• 定理 1.1（临界情况）： 对于耦合 $J_e \le \beta_c = \text{arctanh}(1/(\Delta-1))$，影响矩阵满足 $\|\Psi\|_\infty \le 4\sqrt{6e}\sqrt{k} < 17\sqrt{k}$，其中 $k$ 是未钉扎顶点的数量。该界限在度数 $\Delta$、外部场和钉扎方面是均匀的。指数 $1/2$ 被证明是紧致的。
• 定理 1.2（近临界情况）： 对于耦合受限于 $\beta$ 且 $\varepsilon = ((\Delta-1)\tanh \beta - 1)_+$ 的情况，界限为 $\|\Psi\|_\infty \le \min\{k, 512e(\sqrt{k} + k\varepsilon)\}$。这提供了一个高于阈值的有限尺寸估计。

动力学后果
作为这些影响界限的直接结果，本文推导了零场单点 Glauber 动力学（随机扫描热浴）的混合时间结果：

• 推论 1.3： 在超临界窗口内，即 $\varepsilon = O(\sqrt{\log n / n})$ 时，混合时间 $T_{\text{mix}}$ 是 $n$ 的多项式。具体而言，对于 $\varepsilon \le B\sqrt{\log n/n}$，混合时间被限制在 $O(n^{2 + 2/(\Delta-2) + 5CB^2 \log(en)})$。多项式次数取决于窗口大小参数 $B$。

意义与主张
本文声称消除了近期一般图界限（例如 $O(\sqrt{n} \log n)$）中的对数因子，确立了铁磁情况下的精确平方根阶 $\sqrt{n}$。这一结果解决了一般图上铁磁伊辛模型临界标度的端点问题。作者明确指出，虽然证明确立了临界窗口内的多项式混合，但并未给出最优的混合指数。这项工作为 $\sqrt{n}$ 标度猜想提供了严格的证实，并将其扩展到临界温度以上的有限尺寸区域，证明了谱独立性在该窗口内持续成立。