Analyticity of the correlation length in subcritical FK-percolation and Potts models

技术摘要：亚临界 FK-渗流与 Potts 模型中相关长度的解析性

问题陈述
本文研究了统计力学格点模型中热力学量的正则性性质，特别关注亚临界区域内 FK-渗流（FK-percolation）和 Potts 模型的相关长度（或其倒数，即质量）。虽然 [DCRT19] 已确立了两点函数的指数衰减（相变的锐利性），但质量关于渗流参数 $p$（或逆温度 $\beta$）以及空间方向的解析性仍然是一个悬而未决的问题，尤其是在维度 $d \geq 3$ 的情况下。先前的结果仅限于摄动区域（靠近 $p=0$ 或 $p=1$）或特定的可积情形（例如二维 Ising 模型）。作者旨在证明相关长度在整个亚临界相 $(0, p_c)$ 内对于参数和方向都是联合解析的。

方法论
作者采用了一种不同于“直接法”（将两点函数延拓至复平面并取对数）的策略，因为直接法会受到复化概率可能为零的阻碍。相反，他们利用了一种受 Ornstein–Zernike 理论以及 Campanino, Ioffe, 和 Velenik (CIV) [CIV03, CIV08] 启发的框架。

1. 极对偶与质量间隙（Polar Duality and the Mass Gap）： 作者研究了量 $y(p, t)$，它是极对偶质量的倒数。从几何上看，$y(p, t)$ 代表了连接到超平面的概率的衰减速率。
2. FK-Ruelle 算子： 他们将 $y(p, t)$ 识别为作用在不可约簇链上的特定 Banach 空间上的谱半径方程的解，该算子即为 FK-Ruelle 算子 ($L_{\psi}$)。
3. Kato 摄动理论： 证明的核心依赖于 Kato 关于线性算子解析摄动的理论 [Kat95]。为了应用此理论，作者必须证明当参数（$p$ 和方向 $s$）被摄动进入复平面时，FK-Ruelle 算子构成了一个全纯算子族。
4. 簇展开（Cluster Expansion）： 为了建立算子的全纯性，作者对 FK-Ruelle 势能进行了严谨的簇展开（遵循 [Ott20a, Ott20b]）。一项关键创新是引入了唯一解耦（Unique Decoupling, UD）事件。他们证明了这些特定事件的概率可以解析地延拓到实参数 $p$ 的复邻域内，并且其对数导数具有一致界限。这使得他们能够控制复化后的势能，并验证必要的 Hölder 条件和质量间隙条件（定理 3.4）。
5. 隐函数定理： 一旦通过 Kato 定理证明了复化算子的谱半径是解析的，那么 $y(p, t)$ 的解析性便可由应用于质量与谱半径之间恒等关系的全纯隐函数定理得出。

核心贡献

• 定理 1.2： 证明了对于任何维度 $d \geq 2$ 和簇权重 $q \geq 1$，质量函数 $(p, x) \mapsto m(p, x)$ 在 $(0, p_c) \times \mathbb{R}^d \setminus \{0\}$ 上是联合解析的。
• 定理 1.9： 建立了对偶量 $y(p, t)$ 在相同定义域上的联合解析性。
• Ruelle 算子的复正则性（定理 3.4）： 本文首次证明了 FK-Ruelle 算子可以在复参数 $p$ 下进行全纯摄动，同时保持实现 Ruelle-Perron-Frobenius 定理所需的关键质量间隙和 Hölder 连续性性质。这是通过在 $\mathbb{Z}^d$ 上的一般子图上进行一种新型簇展开实现的。
• 刚性原理（Rigidity Principle）： 作者证明了相关长度的解析性意味着一种“刚性原理”：任何可以重新表述为相关长度恒等式的模型属性，要么在整个亚临界区域内成立，要么仅在可数参数集上成立。

结果

• 推论 1.4： 作为 Edwards–Sokal 耦合的推论，Potts 模型（以及对于 $q=2$ 时的 Ising 模型）的相关长度在所有 $d \geq 2$ 和 $q \geq 2$ 的情况下，在 $\beta$ 和方向上都是联合解析的。这解决了 [OV23] 中提到的关于 $d \geq 3$ 时 Ising 质量解析性的猜想。
• 推论 1.5 & 1.6： 利用平面对偶性，证明了在各自定义域内，截断质量（truncated mass）和表面张力是联合解析且严格正的。
• 定理 1.7（非旋转不变性）： 作者证明了 Wulff 形在 $(0, p_c)$ 内任何紧子区间内，其旋转不变性（为球体）对应的参数 $p$ 集合是有限的。这提供了一个严谨的、尽管稍弱的证实，表明离临界态的格点模型通常缺乏旋转对称性，除非在孤立点处。

意义与主张
本文声称解决了 FK-渗流和 Potts 模型在整个亚临界区域内相关长度解析性的长期问题，其范围超越了摄动展开。

• 不存在饱和现象： 该结果证明了最近邻 FK-渗流不存在“饱和现象”（即解析性在中间参数 $\beta_{sat}$ 处失效），这支持了此类模型在整个非饱和区域内是解析的猜想。
• 方法论进步： 这项工作架起了“现代更新图景”（modern renewal picture）的 Ornstein–Zernike 理论与处理复参数所需的严谨簇展开技术之间的桥梁。作者指出，他们的方法依赖于 FK-Ruelle 势能的具体形式，而“现代”更新权重过于复杂，难以验证满足 Kato 理论所需的正则性。
• 刚性： 通过建立解析性，本文提供了一个强大的工具来排除亚临界相中的“偶然”对称性或恒等式，将其限制在孤立参数值内。

作者对非旋转不变性的结果保持谦逊，承认虽然他们证明了异常参数集是有限的，但目前还不能证明该集合为空（尽管对于二维 Ising 模型已知为空）。他们还指出，他们的方法依赖于在更广泛背景下预期成立的成分（如指数混合、质量间隙），这表明其方法可能是解决其他模型在非饱和区域内解析性一般猜想的一条路径。