Strict monotonicity of critical points in independent long-range percolation models

技术摘要：独立长程渗流模型中临界点的严格单调性

问题陈述
本文研究了局部有限顶点传递图上的独立长程渗流模型。核心问题是建立临界点（阈值）相对于连接函数局部扰动的严格单调性。具体而言，给定两个连接函数 $J$ 和 $J'$，满足 $J' < J$（逐坐标比较，且 $J \neq J'$），作者旨在证明：若 $J$ 是临界的，则 $J'$ 必然是严格亚临界的。

该问题解决了现有文献中关于长程模型的一个空白。虽然 Aizenman 和 Grimmett [2] 的经典方法成功建立了近邻和有限程模型的严格单调性，并利用了“本质增强”（essential enhancements）和微分不等式（Margulis–Russo 公式），但该方法在处理长程模型时无法产生最优结果。微分不等式方法要求连接函数具有 Lipschitz 型条件，以确保扰动是“连续可传播的”，这为连接函数 $J$ 施加了人为的正则性要求。

方法论
作者开发了一种新算法，通过随机占优技术和耦合论证取代了微分不等式。其方法论的核心是一种新颖的局部探索算法，旨在将扰动模型 $G_{J'}$ 的渗流簇与原始模型 $G_{pJ}$（其中 $p < 1$）的一个略微缩放的版本进行耦合。

方法论的关键组成部分包括：

1. 探索算法： 该算法探索包含原点 $o$ 的有限球 $B(o, n)$ 内的簇。它利用被揭示的边标记（edge marks）的过滤序列和辅助随机变量来确定边的状态。
2. 脆弱边与破碎边： 算法区分了“脆弱”（fragile）边（其移除取决于扰动集 $\Delta = \text{supp}(J-J')$ 中的局部邻域）和“破碎”（shattered）边。如果一条边的局部邻域在扰动图 $G_{J'}$ 中实际上是孤立的，使其对渗流无效，则该边被视为“破碎”边。
3. 标记机制： 通过涉及辅助均匀随机变量的具体检查（F-检查和S-检查），算法识别出可以被“标记”的边。被标记的边对应于在扰动模型中实际上被移除或孤立的边。
4. 随机占优： 作者证明了（命题 3.2）扰动模型 $G_{J'}$ 中原点的簇被 $G_{pJ}$ 的一个子图（具体为 $G_{pJ}$ 在 $G_J$ 中扩展一步后的簇）所随机占优。该占优关系对于由 $J'$ 与 $J$ 的比例以及扰动集 $\Delta$ 的几何结构决定的特定 $p < 1$ 成立。

主要结果
本文为顶点传递图 $\Gamma$ 上的可求和、不变连接函数 $J$ 建立了以下主要定理：

• 定理 2.2（临界参数集的特征描述）： 一个连接函数 $J$（假设取值 $<1$）是“强临界”的（意味着任何严格更小的 $J'$ 都会导致有限的期望簇大小，而任何严格更大的 $J''$ 都会导致渗流发生），当且仅当它是标准意义上的“临界”的（即对于 $(1+\epsilon)J$ 发生渗流，但不对于 $(1-\epsilon)J$ 发生渗流）。
• 定理 2.3（向上扰动下的良好表现）： 如果存在一个临界 $J' < J$，则 $J$ 是严格超临界的。
• 定理 2.4（向下扰动下的良好表现）： 如果存在一个临界 $J'' > J$，则 $J$ 是严格亚临界的，且期望簇大小是有限的。此外，如果 $J$ 具有有限支撑，则簇大小呈指数级衰减。

这些结果意味着临界阈值对连接函数的局部变化具有严格的敏感性。

意义与主张
作者声称其方法在以下几个方面改进了以往的研究结果：

1. 最小假设： 该方法仅要求连接函数是平移不变且可求和的。它不需要 Aizenman–Grimmett 微分不等式方法所必需的 Lipschitz 型正则性条件。
2. 普适性： 结果既适用于无向渗流也适用于有向键渗流模型。该方法足以处理具有无界支撑的连接函数，这在长程模型中很常见。
3. 对已知结果的扩展：
   • 本文将临界概率 $p_c(\mathbb{Z}^d)$ 随维度 $d$ 严格递减这一经典结论作为特例进行了回收。
   • 通过移除对连接函数全局 Lipschitz 条件的要求，强化了先前关于 $\mathbb{Z}^d$ 上长程渗流的研究（特别是 [6]）。
   • 将严格单调性结果扩展到了有向和定向渗流模型，包括离散时间接触过程，而在这些模型中，标准的本质增强方法已知会失效。
4. 技术贡献： 通过利用簇探索的局部耦合而非全局微分不等式，作者提供了一个灵活的框架，用于分析具有长程依赖性的渗流模型的敏感性。

文章总结道，虽然目前的设定侧重于传递图，但核心耦合机制（命题 3.2）是稳健的，并且有可能被适配到拟传递图和非独立过程中，尽管这些扩展工作留待未来研究。