[论文解读] Quenched invariance principles for random walks on percolation clusters

Pierre Mathieu, Andrey Piatnitski|arXiv (Cornell University)|May 31, 2005

Stochastic processes and statistical mechanics参考文献 8被引用 5

一句话总结

本文建立了在 $\mathbb{Z}^d$ 上超临界伯努利键渗流的无限渗流簇上简单对称随机游走的 quenched 不变量原理，$d \geq 2$。通过构造一个校正函数使过程变为鞅，并利用缩放 Poincaré 不等式和双尺度收敛技术证明其次线性增长，作者证明了重标度游走以概率 1 收敛到一个非退化的布朗运动，其协方差矩阵为 $\sigma^2 I_d$，其中 $\sigma^2 > 0$ 为确定性常数且与环境 $\omega$ 无关。该结果解决了高维中长期悬而未决的问题，并将早期的 annealed 结果推广到了 quenched 设置。

ABSTRACT

We prove the almost sure ('quenched') invariance principle for a random walker on an infinite Bernoulli percolation cluster in $\Z^d$ where $d$ is larger or equal than 2.

研究动机与目标

• 在 $\mathbb{Z}^d$ 上、$d \geq 2$ 的超临界伯努利渗流的无限簇上建立简单对称随机游走的 quenched 不变量原理。
• 证明随机游走的重标度路径在渗流测度 $Q_0$ 几乎必然下依分布收敛到一个非退化的布朗运动。
• 通过发展一种适用于随机、奇异环境的校正方法，克服缺乏椭圆性与簇测度的奇异性质。
• 将 Kozlov 的经典均质化方法推广到渗流中的 quenched 设置，其中由于非椭圆、随机的几何结构，标准的 $L^2$-函数分析工具失效。

提出的方法

• 构造一个校正函数 $\chi(\omega, x)$，使得在 $P^\omega_0$ 下，该函数可将游走的生成元转化为鞅，从而确保过程满足鞅不变性原理。
• 采用双尺度收敛框架处理渗流簇上的奇异、随机测度，避免依赖经典 Sobolev 嵌入。
• 在大小为 $\delta$ 的小方块上应用缩放 Poincaré 不等式，常数在 $\varepsilon$ 上一致，以控制校正函数的波动并证明其次线性增长。
• 证明校正函数的弱 $L^2$ 收敛性，然后通过缩放论证和空间遍历性将其加强为强 $L^2$ 收敛。
• 将校正函数定义为梯度场在 $L^2$-势函数空间上的正交投影，以确保其满足所需的正交性和均值为零条件。
• 利用校正函数在每个小方块上均值为零，且其 $L^2$-范数在极限下趋于零的事实，得出校正函数在重标度下变得可忽略。

实验结果

研究问题

• RQ1 在 $\mathbb{Z}^d$ 上、$d \geq 2$ 的无限渗流簇上，简单对称随机游走是否满足 quenched 不变量原理？
• RQ2 在周期性和椭圆均质化中使用的校正方法能否被适配到超临界渗流的 quenched、非椭圆设置中？
• RQ3 校正函数 $\chi$ 是否满足次线性性，即其在大方块上的重标度 $L^2$-范数在 $\varepsilon \to 0$ 时趋于零？
• RQ4 极限扩散是否具有不依赖于渗流簇实现的确定性、非退化协方差矩阵 $\sigma^2 I_d$？
• RQ5 尽管簇测度在重标度下具有奇异性质，是否仍可建立校正函数的强 $L^2$ 收敛？

主要发现

• 重标度过程 $X^\varepsilon(t) = \varepsilon X(t/\varepsilon^2)$ 在 $Q_0$-几乎处处的 $\omega$ 下，依分布收敛到一个非退化的布朗运动，其极限分布为 $P^\omega_0$。
• 极限扩散的协方差矩阵为 $\sigma^2 I_d$，其中 $\sigma^2 > 0$，且该 $\sigma^2$ 为确定性常数，不依赖于渗流配置 $\omega$。
• 校正函数 $\chi$ 满足 $\varepsilon^d \sum_{|x| \leq 1/\varepsilon} (\varepsilon \chi(\omega,x) - a_\varepsilon)^2 \to 0$ $Q_0$-几乎必然，当 $\varepsilon \to 0$ 时，证明了其次线性增长。
• 该证明依赖于在大小为 $\delta$ 的小方块上、常数与 $\varepsilon$ 无关的缩放 Poincaré 不等式，以控制校正函数的波动。
• 校正函数通过 $L^2$-空间中梯度场与势函数的正交投影构造，确保其满足必要的正交性和均值为零条件。
• 收敛性通过双尺度收敛技术和缩放论证建立，使得可以利用空间遍历定理将极限过程传递到极限。