Near-critical Ornstein--Zernike theory for the planar random-cluster model

技术摘要：平面随机簇模型的近临界 Ornstein–Zernike 理论

问题陈述
本文旨在对参数 $q \in [1, 4)$ 的二维随机簇模型（FK-渗流）在亚临界及近临界机制下的相关结构进行严谨理解。具体而言，作者旨在推导两点函数 $G(x) = \phi_p[0 \leftrightarrow x]$ 的渐近公式，该公式在参数 $p$ 趋于临界值 $p_c(q)$ 时保持一致性（uniform）。

经典的 Ornstein–Zernike (OZ) 理论描述了亚临界相（$p < p_c$）中相关性的指数衰减，其前因子为 $n^{-1/2}$ 量级（其中 $n = \|x\|$）。然而，先前的严谨推导（例如 [CIV08]）依赖于在小于相关长度 $\xi_p$ 的尺度上的有限能量论证；而当 $p \nearrow p_c$ 时，$\xi_p$ 会发散，导致这些结果在 $p$ 接近临界点时无法保持一致性。挑战在于如何刻画两点函数从指数衰减（亚临界）向代数衰减（临界）过渡的交叉过程，特别是当距离 $\|x\|$ 与相关长度 $\xi_p$ 相当或更大时。

方法论
作者开发了一种基于渗流簇序列探索（sequential exploration）的新方法，而非先前研究中使用的“钻石分解”（diamond decomposition）或“骨架微积分”（skeleton calculus）。其核心方法论包括：

1. 尺度相关探索（Scale-Dependent Exploration）： 将平面按与方向 $\vec{w}$ 正交的超平面进行切割，这些超平面的间距与特征长度 $L(p)$（等价于相关长度 $\xi_p$）相当。
2. 马尔可夫更新过程（Markov Renewal Process, MRP）： 从左至右探索原点的簇。该簇与每个超平面的交集定义了一个过程 $(X_t)$。作者证明，在给定簇连接到远处半平面的条件下，该过程表现为一个被杀马尔可夫更新过程（Killed Markov Renewal Process, KMRP）。
3. 锥形连接与混合（Cone-Connections and Mixing）： 一个关键的技术组成部分是建立长距离连接以高概率限制在固定张角的锥体内的结论（命题 3.7）。这依赖于适用于近临界机制的 RSW（Russo-Seymour-Welsh）估计以及混合性质（引理 3.8），后者允许在特定的“更新前”时刻，使簇的“未来”与“过去”实现独立采样。
4. 质量间隙与指数尾部（Mass-Gap and Exponential Tails）： 作者证明了该更新过程具有“质量间隙”，确保了生存概率呈指数级衰减，且更新间隔时间具有指数尾部。这使得应用随机游走和更新过程的标准极限定理成为可能。

主要贡献与结果

1. 一致的 Ornstein–Zernike 渐近公式（定理 1.1）：
   主要结果是一个对于 $p < p_c$ 且 $\|x\| \ge \xi_p(\vec{v})$ 均有效的渐近公式：
   $$\phi_p[0 \leftrightarrow \lfloor n\vec{v} \rfloor] \asymp \pi_1(\xi_p(\vec{v}))^2 \sqrt{\frac{\xi_p(\vec{v})}{n}} e^{-\frac{n}{\xi_p(\vec{v})}}$$
   此处，$\pi_1(R)$ 是临界单臂概率（one-arm probability）。该公式融合了两种行为：

   • 项 $e^{-n/\xi_p}$ 和前因子 $n^{-1/2}$ 代表了经典的亚临界 OZ 行为。
   • 项 $\pi_1(\xi_p)^2$ 捕捉了由于接近 $p_c$ 而产生的近临界增强效应。
     该结果统一了模型的亚临界与近临界机制描述。

2. 逆相关长度的严格凸性（定理 4.9）：
   分析确立了逆相关长度 $\xi_p(\cdot)$ 及其对偶的 Wulff 形在数学上是严格凸的，并具有可微边界。这是通过建立探索方向 $\vec{w}$ 与条件化簇的漂移方向之间的可逆映射实现的，绕过了早期工作中使用的微扰理论。

3. 不变原理（Invariance Principle, 定理 4.10）：
   作者证明了在给定连接到远处点或半平面的条件下，缩放后的簇在分布上收敛于布朗运动（或布朗桥）。这为相关长度尺度下的簇形状提供了严谨的几何描述。

4. 被杀马尔可夫更新过程框架：
   作者将簇的探索形式化为一个具有质量间隙的 KMRP。该框架将模型特定的几何论证（锥形限制、混合）与通用的更新过程概率分析分离，为类似问题提供了一种模块化的处理方法。

意义与主张
作者声称，其工作提供了针对 $q \in [1, 4)$ 平面随机簇模型，在 $p \near \near p_c$ 时关于 $p$ 一致的 Ornstein–Zernike 渐近公式的首次严谨推导。

方法论转变： 不同于以往通过静态分解（钻石/骨架）构建簇的方法，本文采用了*动态探索**策略。这避免了在相关长度发散的尺度上使用有限能量论证所带来的局限性。
*近临界交叉： 本文明确刻画了两点函数如何从指数衰减切换到代数衰减，并将临界项 $\pi_1(\xi_p)^2$ 识别为偏离经典 OZ 行为的来源。
*普适性： 虽然由于依赖 RSW 估计（在 $q=4$ 或 $q>4$ 时尚未完全建立），证明过程受限于 $d=2$，但作者指出该策略可以被改编用于更高维度的固定 $p < p_c$ 情况，以重现现有结果。

本文并未声称解决 $q=4$ 或 $q>4$ 的行为，并指出 $q=4$ 的情况可能涉及对数修正，而 $q>4$ 则表现出与所得一致的 OZ 行为不相容的一阶相变。这些结果被视为将 OZ 理论严谨扩展到近临界机制的成果，为平面渗流模型的相关性衰减提供了统一的视角。