Critical-curve regularity for finite-lifespan frog models via local-to-global comparisons

技术摘要：通过局部-全局比较研究有限寿命青蛙模型的临界曲线正则性

问题陈述
本文研究了在无限、连通、局部有限且传递的超线性增长图上的有限寿命青蛙模型的相边界。在该模型中，粒子（青蛙）根据 Poisson($\lambda$) 分布初始处于休眠状态于顶点处。一个初始激活（在根顶点 $o$ 处）会触发级联反应：活跃的青蛙进行独立的连续时间简单随机游走（速率为 1），并在访问其顶点时唤醒休眠中的青蛙。每只青蛙在被激活 $t$ 单位时间后会被移除。

研究的核心对象是粒子密度 $\lambda$ 与寿命 $t$ 之间的权衡。作者定义了临界密度 $\lambda_c(t)$ 和临界寿命 $t_c(\lambda)$，它们是分隔亚临界区域（有限激活簇）与超临界区域（无限激活簇）的阈值。虽然之前的研究已经确立了这一相变的锐度，但关于临界曲线的正则性——即曲线是否连续且严格递减——仍然是 Angel, de la Riva, Hermon, 和 Shi 提出的一个开放猜想。本文旨在探讨密度与寿命之间的交换是否是“真实的且稳定的”，从而排除平坦区域（即增加寿命无法带来密度收益）和跳跃现象（即微小的寿命增加导致宏观密度的下降）。

方法论
作者开发了一个用于由独立的有限根范围（finite rooted ranges）生成的激活过程的“局部-全局”框架。该方法依赖于两个方向相反的主要比较机制：

1. 局部-全局比较 (定理 B)： 作者建立了一个原则，即局部层面的“命中概率”（源自一个随机范围与目标集合相交的概率）的排序意味着全局层面的可达性和生存概率的排序。该定理将之前的近邻比较推广到了具有不连通范围和长程跳跃的情形。它依赖于逐一揭示源范围，并证明到达目标集合的事件仅通过“单次命中”问题取决于已暴露的范围。
2. 前向比较 (定理 C)： 该方法通过分析青蛙在时间 $t$ 内进行的跳跃次数（通过泊松抽样建模），将增加寿命 $t$ 的效果与减少密度 $\lambda$ 进行比较。通过证明增加寿命从 $s$ 到 $t$ 可以补偿固定比例的青蛙，即因子 $\rho(s, t) = (1-e^{-s})/(1-e^{-t})$，作者证明了较长的寿命能严格降低所需的临界密度，从而排除了曲线中存在平坦部分的可能性。
3. 反向比较 (第 4 节)： 为了排除跳跃并证明连续性，作者推导了一个反向界限。利用有限体积敏感性公式（Russo 型导数）和几何退出估计，作者将延长寿命的影响限制在增加密度的影响之内。这需要跳跃核 $Q$ 满足“两步条件”：$Q^2(x, y) \le \kappa Q(x, y)$（对于 $x \neq y$）。该条件确保了两步到达某个顶点的概率不会显著高于一步到达，从而允许对加权了退出概率的跳跃计数进行控制。

主要贡献与结果

• 临界曲线的正则性 (定理 A)： 在超线性增长的传递图上，证明了临界密度曲线 $\lambda_c(t)$ 在 $(0, \infty)$ 上是连续且严格递减的。此外，$-\log \lambda_c(t)$ 是局部双 Lipschitz 连续的，这为变化率提供了定量界限。反函数曲线 $t_c(\lambda)$ 在区间 $(\lambda_\infty, \infty)$ 上具有相同的正则性，其中 $\lambda_\infty = \lim_{t \to \infty} \lambda_c(t)$。
• 解决猜想： 本文完整解决了 Angel 等人针对非齐次（nonamenable）传递图和超线性多项式增长传递图的猜想，因为这些类别的 $\lambda_\infty = 0$。对于一般的超线性增长图，建立了边界有限部分的正则性，仅留下关于 $\lambda_\infty = 0$（即是否每个正密度都对应一个有限的临界寿命）的问题仍待解决。
• 小寿命标度极限： 作者证明了极限 $L_G = \lim_{t \downarrow 0} t \lambda_c(t)$ 的存在性，并给出了涉及图度数 $\Delta$ 和键连通阈值 $p_c(G)$ 的显式界限。
• 长程扩展 (定理 6.3)： 研究结果被扩展到一类满足“两步条件”的跳跃核的长程青蛙模型。这包括在多项式增长 Cayley 图上的对称、平移不变幂律核模型。对于这些模型，临界曲线在 $(0, \infty)$ 上是连续且严格递减的。
• 锐度： 利用两步条件，本文将锐度论证（即在临界点上方生存概率的线性下界以及亚临界簇的指数尾部估计）适配到了长程设置中。

意义
本文声称，这是首次对一般传递图上有限寿命青蛙模型的正则性问题提供定量解决的研究。通过分离出“局部-全局”原则，作者证明了相边界的正则性并不依赖于近邻几何结构，而是取决于激活范围的结构属性和跳跃核。这项工作证实了密度与寿命之间的权衡是稳定且连续的，将对相变的定性理解从单调关系提升到了严格递减、连续且局部双 Lipschitz 连续的曲线。引入“两步条件”使得这些结果可以应用于重尾、长程相互作用，补充了现有关于激活时间和有限体积覆盖寿命的研究工作。