Universal Central Limit Theorem for non-exchangeable interacting diffusions

技术摘要：非交换相互作用扩散过程的通用中心极限定理

问题陈述
本文研究了由如下随机微分方程控制的 $n$ 个相互作用扩散过程 $(X^1, \dots, X^n)$ 在 $\mathbb{R}^d$ 上的大 $n$ 行为：
$$dX^i_t = \left( b_0(t, X^i_t) + \sum_{j=1}^n \xi_{ij} b(t, X^i_t, X^j_t) \right) dt + \sigma dB^i_t,$$
其中 $\xi = (\xi_{ij})$ 是一个具有非负条目且对角线为零的确定性相互作用矩阵。虽然针对此类非交换系统的“大数定律”机制（混沌传播）已有广泛研究，特别是关于其经验测度向 McKean-Vlasov 极限收敛的问题，但对于异质相互作用结构下围绕该极限的“波动”（fluctuations）行为，目前的研究仍相对不足。

核心问题在于：在何种相互作用矩阵 $\xi$ 的条件下，全局波动场 $\eta^n_t := \sqrt{n}(\mu^n_t - \mu_t)$（其中 $\mu^n_t$ 是经验测度，$\mu_t$ 是确定性极限）会收敛到与经典交换情形（即 $\xi_{ij} = 1/(n-1)$）相同的高斯极限？具体而言，作者试图确定 $\xi$ 需满足何种条件，使得 $\eta^n$ 在分布上收敛于线性随机偏微分方程（SPDE）的唯一解。

方法论
证明过程遵循“紧性-极限-唯一性”策略，主要在负索伯列夫空间 $H^{-k}$ 内进行，以处理波动场的分布性质。

1. 紧性（Tightness）： 作者建立了序列 $(\eta^n)_{n \in \mathbb{N}}$ 在空间 $C([0, T]; H^{-k})$ 中的紧性。这通过以下方式实现：

   • 利用傅里叶分析和一致加权 $H^1$ 界限证明时间边际分布的紧性。
   • 通过验证 Aldous 判据来确保在路径空间中的紧性。
   • 至关重要的一点是，作者利用了精确的定量混沌传播估计（来自 Shkolnikov [58]）结合泛函不等式（Poincaré 不等式和传输不等式）来控制波动场的方差。他们将波动配对的二阶矩分解为一个方差项（由 Poincaré 不等式控制）和一个偏差项（由粒子分布与 McKean-Vlasov 极限之间的相对熵控制）。

2. 收敛（确定极限）： 为了将任何子序列极限识别为目标 SPDE 的解，作者分析了测试函数 $\phi$ 的半鞅分解 $\langle \eta^n_t, \phi \rangle$。

   • 鞅部分收敛到一个由二次变分表征的高斯噪声项。
   • 漂移项涉及线性化的 McKean-Vlasov 算子。由于漂移系数是有界的但并不一定在无穷远处衰减，且 $\eta^n$ 的收敛仅在无权重空间 $H^{-k}$ 中成立，因此产生了一个显著的技术挑战。
   • 为了解决这一问题，作者采用了截断法：他们在无权重收敛成立的紧集上对测试函数进行局部化，并利用 Bessel 核性质和传输不等式导出的统一加权矩估计来控制尾部。
   • 他们证明了在指定的稠密性条件下，由 $\xi$ 的异质性产生的误差项在极限下趋于零。

3. 唯一性： 本文证明了极限 SPDE 的路径唯一性。通过考虑由相同噪声驱动的两个解 $\eta_t$ 与 $\eta'_t$ 之差 $\delta_t$，噪声项相互抵消，从而留下一个确定性的线性方程。作者在加权负索伯列夫范数下推导了一个能量不等式，并应用 Gronwall 不等式证明了 $\delta_t \equiv 0$。

主要假设与条件
主要结果适用于满足假设 2.1 的相互作用矩阵 $\xi$，该假设包括：

• 行和： 对于所有 $i$，$\sum_j \xi_{ij} = 1$。
• 列和： 列和有界，且平均平方列和收敛于 1。
• 稠密性阈值： 矩阵条目必须满足特定的衰减条件。最关键的条件是 $\xi$ 的最大条目必须是 $o(n^{-1/2})$。具体而言，需要满足 $\frac{1}{n^{3/2}} (\sum_{i,j} |\tilde{\xi}_{ij}|) \max_{i,j} \xi_{ij} \to 0$，其中 $\tilde{\xi}$ 捕捉了与均值场情形的偏差。
• 正则性： 相互作用函数 $b_0$ 和 $b$ 必须具有直到 $k+1$ 阶的有界导数。

主要结果
本文确立了一个通用中心极限定理（定理 2.4）：

• 在给定的 $\xi$ 的结构和稠密性条件下，波动场 $\eta^n$ 在 $C([0, T]; H^{-k})$ 中依分布收敛于唯一的高斯过程 $\eta$。
• 该极限 $\eta$ 是如下线性 SPDE 的唯一解：
  $$\partial_t \eta_t = \frac{\sigma^2}{2} \Delta \eta_t - \nabla \cdot (b_0 \eta_t) - \nabla \cdot \left( \eta_t \int b(\cdot, y) \mu_t(dy) \right) - \nabla \cdot \left( \mu_t \int b(\cdot, y) \eta_t(dy) \right) - \sigma \nabla \cdot (\sqrt{\mu_t} \dot{W}),$$
  该方程与交换情形下的波动极限完全一致。
• 该结果适用于：
  • $m_n$-正则图的缩放邻接矩阵，其中 $m_n / \sqrt{n} \to \infty$。
  • Erdős–Rényi 图 $G(n, p_n)$，其中 $n p_n / \sqrt{n} \to \infty$（在 Quenched 意义下）。
  • 亚临界状态下的空间相互作用模型（$\alpha < 1/2$）。

意义与锐度
本文声称，相互作用矩阵的最大条目 $n^{-1/2}$ 阈值是**锐利（sharp）**的。

• 在空间相互作用模型（相互作用强度随 $|x_i - x_j|^{-\alpha}$ 衰减）的背景下，条件 $\max \xi_{ij} \sim n^{\alpha-1}$ 意味着 $n^{-1/2}$ 阈值对应于 $\alpha < 1/2$。
• 作者指出，在超临界状态下（$\alpha > 1/2$），当进行 $\sqrt{n}$ 缩放时，波动会发散，采用不同的缩放（$n^{1-\alpha}$）会导致一个确定性极限而非高斯极限。
• 高斯极限的普遍性具有重要意义，因为它表明，只要相互作用图足够稠密（即相互作用强度不会过度集中在任何单一对之间），微观层面的网络异质性就不会改变宏观层面的波动统计特性；系统的行为表现得如同完全交换的情形一样。

结论
这项工作将经典的均值场相互作用扩散过程的波动理论扩展到了广泛的非交换系统中。通过结合定量混沌传播与泛函不等式，以及在加权索伯列夫空间中进行的仔细分析，作者证明了只要相互作用矩阵满足特定的稠密性条件（该条件已被证明对于空间模型是最优的），高斯波动极限的普遍性便成立。