Parabolic Anderson Model in the Hyperbolic Space. Part II: Quenched Asymptotics

技术摘要：双曲空间中的抛物型安德森模型（第二部分：淬火渐近性）

问题陈述
本文研究了标准双曲空间 $\mathbb{H}^d$（具有常曲率 $\kappa = -1$）上抛型安德森模型（PAM）解 $u(t, x)$ 的长期淬火（quenched）渐近行为。方程如下：
$$\partial_t u = \Delta u + \xi \cdot u, \quad u(0, \cdot) \equiv 1$$
其中 $\xi$ 是一个实值、中心化、时间无关、平稳的高斯场，其协方差函数 $C(d(x,y))$ 在超过有限相关长度 $r_0$ 后消失。本研究关注解的几乎处处（almost sure）增长率，具体确定极限：
$$\lim_{t \to \infty} \frac{1}{t^{5/3}} \log u(t, x)$$
这项工作是该系列研究的第二部分，前作 [GX25] 已经建立了相同模型的退火（annealed，即矩）渐近性。

主要结果
其主要贡献在于确立了精确的淬火增长率，这与欧几里得情形有着本质的区别。

1. 精确增长率： 存在一个确定性常数 $L^* > 0$，使得以概率 1，对于每个 $x \in \mathbb{H}^d$：
   $$\lim_{t \to \infty} \frac{1}{t^{5/3}} \log u(t, x) = L^*$$
   增长率阶数为 $t^{5/3}$，这与欧几里得设置中发现的 $t \sqrt{\log t}$ 速率形成鲜明对比。

2. 显式常数： 常数 $L^*$ 由一个涉及场方差 $\sigma^2$ 和维度 $d$ 的显式优化问题决定：
   $$L^* = \sup_{\theta \in [0,1], K>0} \left\{ (1-\theta)\sqrt{2(d-1)\sigma^2 K} - \frac{K^2}{4\theta} \right\}$$
   最优参数为 $\theta^* = 1/5$ 和 $K^* = \frac{2^{5/3}}{5^{4/3}}((d-1)\sigma^2)^{1/3}$，得到：
   $$L^* = \frac{3 \cdot 2^{4/3}}{5^{5/3}} ((d-1)\sigma^2)^{2/3}$$

方法论与证明策略
证明依赖于费曼-卡茨（Feynman-Kac）表示 $u(t, o) = \mathbb{E}_o[\exp(\int_0^t \xi(W_s) ds)]$，其中 $W$ 是从原点 $o$ 开始的双曲布朗运动。分析过程涉及“奖励”（高斯场 $\xi$ 的最大值）与“代价”（布朗运动到达并停留在这些区域的概率）之间的微妙竞争。

1. 下界构造（最优情景）
作者识别了一个能够实现增长率 $e^{L^* t^{5/3}}$ 的特定布朗轨迹。最优情景包括：

• 移动阶段（Travel Phase）： 布朗运动在时间比例 $\theta^* t = t/5$ 内，从原点移动到靠近球 $B(o, K^* t^{4/3})$ 边界的点 $z_t$。其路径本质上是一条测地线。
• 停留阶段（Staying Phase）： 该运动在剩余的时间 $(1-\theta^*)t = 4t/5$ 内，停留在 $z_t$ 的一个微小邻域内（半径 $\sim t^{-2/9}$）。
• 机制： 在该区域，场 $\xi$ 达到其最大增长 $\approx \mu_0 \sqrt{R}$（其中 $R \sim t^{4/3}$）。在时间 $t/5$ 内移动这段距离的代价与停留在高势能区域的奖励相平衡。$t^{5/3}$ 指数源于奖励的线性时间缩放（$t \cdot \sqrt{t^{4/3}}$）与布朗运动大偏差的二次代价之间的相互作用。

2. 上界分析（排除其他情景）
由于双曲空间的指数级体积增长创造了指数级众多的潜在“峰值”区域，证明上界更具挑战性。作者采用了多步局部化策略：

• 向球体局部化： 首先，他们证明布朗运动不太可能移动到半径为 $K_0 t^{4/3}$ 的球体之外。
• 簇分解（Cluster Decomposition）： $\xi$ 的高值区域被分解为“岛屿”和“簇”。作者证明这些簇在局部是稀疏的；具体而言，一个半径为 $\eta t^{4/3}$ 的球体不能包含太多相互分离的高峰值。
• 离散轨迹： 连续的布朗路径被映射到所访问的离散簇序列。
• 精细局部化： 利用两尺度聚类论证和大型偏差估计，作者证明任何“合理”的轨迹必须花费大部分时间在峰值区域之外。他们表明，访问多个簇或偏离最优测地线路径的代价会严格惩罚增长，从而确保没有任何轨迹能超过速率 $L^* t^{5/3}$。

核心贡献与区别

• 非欧几里得局部化机制： 与欧几里得情形不同（在欧氏情形下，布朗运动几乎瞬时到达最优峰值，时间比例 $\to 0$，且代价可以忽略不计），双曲情形需要一个非平凡的时间比例（$\theta^* = 1/5$）来到达峰值。移动的代价与奖励相当，从而产生了一个独特的优化平衡。
• 最优情景的唯一性： 双曲设置下的最优情景本质上是唯一的（固定的时间比例和固定的距离缩放），而欧几里得情形则允许灵活的参数范围。
• 更强的局部化： 证明揭示了一种由双曲空间的几何结构和高斯场特定的增长特性（$\sqrt{R}$ 对比 $\sqrt{\log R}$）驱动的更强的局部化机制。

意义与主张
作者声称，这项工作确立了第一个在具有正则高斯势的非欧几里得设置下的精确淬火渐近性。结果强调了底层空间的几何结构从根本上改变了间歇性（intermittency）机制。虽然 [GX25] 中的退火（矩）渐近性与欧几里得情形相同（由欧几里得拉普拉斯算子决定），但淬火（几乎处处）行为是不同的，受双曲几何控制。

论文指出，选择常负曲率是为了技术上的便利，但指数级体积增长才是本质特征。所开发的方法预计是稳健的，并可扩展到更一般的几何设置。作者明确表示，时间相关势场或更奇异的高斯势（如白噪声）的情况仍是开放性的，需要不同的技术。