[论文解读] Law of the Iterated Logarithm for the random walk on the infinite percolation cluster

Hugo Duminil‐Copin|ArXiv.org|Sep 25, 2008

Stochastic processes and statistical mechanics被引用 7

一句话总结

本文在 $d \geq 2$ 时，建立了连续时间简单随机游动在 $\mathbb{Z}^d$ 上超临界渗流簇上的重对数律（LIL）。通过结合 Barlow 的高斯热核估计与 Berger 和 Biskup 所导出的环境马氏链的遍历性，作者证明了：当随机游动的 $L^1$-范数按 $\sqrt{t \log \log t}$ 缩放后，其上极限几乎必然收敛到一个依赖于渗流参数 $p$ 和维度 $d$ 的正的有限常数 $c(p,d)$。该结果确认了，作为关键的几乎必然路径行为，LIL 在随机渗流簇上依然成立，正如在规则格点上一样。

ABSTRACT

We show that random walks on the infinite supercritical percolation clusters in Z^d satisfy the usual Law of the Iterated Logarithm. The proof combines Barlow's Gaussian heat kernel estimates and the ergodicity of the random walk on the environment viewed from the random walker as derived by Berger and Biskup.

研究动机与目标

• 在 $\mathbb{Z}^d$ 的超临界键渗流无限簇上，建立连续时间简单随机游动的几乎必然渐近行为。
• 确定经典重对数律（LIL）——该律在 $\mathbb{Z}^d$ 上的随机游动中成立——是否可推广至无限渗流簇的随机几何结构。
• 证明：当按 $\sqrt{t \log \log t}$ 缩放后，随机游动的 $L^1$-范数的上极限几乎必然收敛到一个有限正的常数 $c(p,d)$。
• 通过将经典概率工具适配于渗流簇的 quenched（凝固）随机环境，弥合确定性格点行为与随机图行为之间的差距。

提出的方法

• 利用 Barlow 在无限渗流簇上的高斯热核估计，控制游动位移的尾概率。
• 应用 Borel-Cantelli 引理，借助高斯尾部衰减，推导出游动位移上极限的上界。
• 利用马氏性质和大球上的一致高斯界，建立上极限的下界，确保波动非退化。
• 依赖于由 Berger 和 Biskup 证明的、与从随机游动者视角观察的环境相关的平移 $T$ 的遍历性，推导出离散时间游动上极限的零一法则。
• 建立连续时间游动 $X_t^\omega$ 与离散时间近视游动 $Z_n^\omega$ 之间的耦合，表明二者的时间尺度通过平均停留时间 $\alpha_p^{-1}$ 渐近等价。
• 利用连续时间游动与离散时间游动之间的尺度等价性，将 LIL 结果从离散情形转移到连续情形，其中校正因子为 $1/\sqrt{\alpha_p}$。

实验结果

研究问题

• RQ1 在 $\mathbb{Z}^d$ 的无限超临界渗流簇上，连续时间简单随机游动是否满足重对数律？
• RQ2 在如渗流簇这类随机且非均匀的环境中，经典 LIL 行为（以 $\sqrt{t \log \log t}$ 为尺度）是否能够保持？
• RQ3 LIL 中的常数 $c(p,d)$ 如何依赖于渗流参数 $p$ 和维度 $d$？
• RQ4 高斯热核估计与环境过程的遍历性，在将路径性质从 $\mathbb{Z}^d$ 传递到随机簇方面，其作用程度如何？

主要发现

• 对于所有 $d \geq 2$ 和 $p > p_c(d)$，连续时间随机游动 $X_t^\omega$ 的 $L^1$-范数按 $\sqrt{t \log \log t}$ 缩放后的上极限，几乎必然收敛到一个正的有限常数 $c(p,d)$。
• 常数 $c(p,d)$ 严格为正且有限，仅依赖于渗流参数 $p$ 和维度 $d$，不依赖于簇的具体实现。
• 证明通过 Barlow 的高斯估计与马氏性质建立弱 LIL 的上下界，再通过由遍历性导出的零一法则加以强化。
• 离散时间近视游动的零一法则意味着其缩放位移的上极限几乎必然为常数，该性质通过时间尺度耦合传递至连续时间游动。
• 连续时间游动与离散时间游动之间的时间尺度被证明渐近等价，连续时间游动的推进速度为离散步长的 $\alpha_p^{-1}$ 倍。
• 该结果可推广至盲游与近视游动，确认 LIL 对这些相关过程也成立。