[论文解读] Annealed invariance principle for random walks on random graphs generated by point processes in $\mathbb{R}^d$

Arnaud Rousselle|arXiv (Cornell University)|Jun 18, 2015

Stochastic processes and statistical mechanics参考文献 28被引用 3

一句话总结

本论文为在 $ℝ^d$ 中由点过程构造的随机几何图——如Delaunay三角剖分、Gabriel图和溪流交叉图——上的连续时间简单随机游走建立了退火不变性原理。在底层点过程满足温和的矩条件与遍历性条件下，经过缩放的游走过程在退火测度下收敛于布朗运动，该结果借助环境标记粒子过程与马氏嵌入技术得以实现。

ABSTRACT

We consider simple random walks on random graphs embedded in $\mathbb{R}^d$ and generated by point processes such as Delaunay triangulations, Gabriel graphs and the creek-crossing graphs. Under suitable assumptions on the point process, we show an annealed invariance principle for these random walks. These results hold for a large variety of point processes including Poisson point processes, Matérn cluster and Matérn hardcore processes which have respectively clustering and repulsiveness properties. The proof relies on the use the process of the environment seen from the particle. It allows to reconstruct the original process as an additive functional of a Markovian process under the annealed measure.

研究动机与目标

• 建立 $ℝ^d$ 中随机几何图上连续时间简单随机游走的退火不变性原理。
• 将不变性原理扩展至由多种点过程生成的几何图，包括具有聚类特征（如Matérn簇过程）或排斥特征（如Matérn硬核过程）的点过程。
• 通过从粒子视角观察的环境框架，统一随机游走在几何图上的分析方法。
• 验证一大类点过程（包括平稳、遍历与非周期性点过程）的缩放极限。
• 为在退火测度下证明扩散极限提供一个通用框架，该框架可超越基于格点的模型而适用。

提出的方法

• 利用从粒子视角观察的环境，构造一个马氏过程，使原始游走可表示为该过程的可加泛函。
• 将退火测度作为点过程实现与游走路径的半直积测度。
• 采用生成元 $\mathcal{L}^{\xi^0}f(y) = \sum_{z \in \xi^0} \mathbf{1}_{\{\{y,z\} \in E_{G(\xi^0)}\}} (f(z) - f(y))$ 定义具有指数等待时间的连续时间游走。
• 依赖Feller-Meyer-Meyer-Weinberger（FMW）方法，并在退火测度下应用鞅功能中心极限定理。
• 建立对度分布的矩条件，以确保游走过程不爆炸且缩放过程的相对紧性。
• 使用Palm版本 $\mathcal{P}_0$ 条件化原点属于点过程，从而支持平稳性与遍历性论证。

实验结果

研究问题

• RQ1 在随机几何图上，连续时间简单随机游走的退火缩放极限是否收敛于布朗运动？
• RQ2 不变性原理能否扩展至由具有聚类或排斥特性的点过程（如Matérn簇或硬核过程）生成的几何图？
• RQ3 在何种点过程条件下，从粒子视角观察的环境可生成一个马氏过程，从而允许应用功能中心极限定理？
• RQ4 平稳性、遍历性、非周期性以及有限度矩等假设如何影响退火不变性原理的有效性？
• RQ5 该框架能否在统一的分析框架下处理多种几何图构造（如Delaunay、Gabriel与溪流交叉图）？

主要发现

• 在适当的矩条件与遍历性条件下，退火不变性原理对Delaunay三角剖分、Gabriel图与溪流交叉图上的随机游走成立。
• 在退火测度下，缩放后的随机游走弱收敛于 $ℝ^d$ 中的布朗运动，且在温和假设下，极限扩散矩阵是非退化的。
• 该结果适用于泊松点过程、Matérn簇过程与Matérn硬核过程，这些过程均满足所需的矩条件与结构条件。
• 点过程的二阶阶乘矩测度关于 $(2d)$-维勒贝格测度绝对连续，确保了中心极限定理所需的充分混合性。
• 在 $\mathcal{P}_0$ 下，原点的度具有所有阶的矩，这保证了连续时间游走不爆炸。
• 通过从粒子视角观察环境的证明方法，使原始过程可表示为退火测度下马氏过程的可加泛函，从而可应用鞅中心极限定理工具。