[论文解读] Almost Sure Invariance Principle for Continuous-Space Random Walk in Dynamic Random Environment

Mathew Joseph, Firas Rassoul‐Agha|arXiv (Cornell University)|Apr 6, 2010

Stochastic processes and statistical mechanics参考文献 10被引用 9

一句话总结

本文建立了在连续空间上、由随时间刷新的随机环境驱动的随机游走的几乎必然不变性原理（ASIP）的必要且充分条件。通过鞅方法，证明了在跳跃分布的矩条件成立下，quenched泛函中心极限定理成立，且在平均层面上收敛于布朗运动。

ABSTRACT

We consider a random walk on $\R^d$ in a polynomially mixing random environment that is refreshed at each time step. We use a martingale approach to give a necessary and sufficient condition for the almost-sure functional central limit theorem to hold.

研究动机与目标

• 建立在每个时间步都刷新的动态随机环境中，$\mathbb{R}^d$ 上随机游走的几乎必然不变性原理（ASIP）。
• 识别在此设定下quenched泛函中心极限定理成立的必要且充分条件。
• 将泛函中心极限定理从离散空间推广到连续空间，同时保持几乎必然收敛。
• 分析在quenched测度和平均测度下的游走行为，特别关注扩散矩阵和标度极限。

提出的方法

• 将环境建模为$\mathbb{R}^d$上概率测度的i.i.d.时间序列，其中每个环境分量$\omega_{n,x}$在时间$n$和位置$x$处定义转移概率。
• 定义游走$X_n$的quenched测度$P_x^\omega$和在平稳、遍历环境测度$\mathbb{P}$下的平均测度$P_x = \int P_x^\omega \, \mathbb{P}(d\omega)$。
• 使用鞅分解分析游走的波动，并通过耦合和矩估计推导ASIP。
• 使用基于从增长方盒$B_r = [-r,r]^d$中退出时间的更新型论证，将期望退出时间有界于$Cr^{13}$（当$r$较大时）。
• 建立游走段长度对重尾i.i.d.随机变量$\eta$的随机支配，满足$P(\eta \geq a) \geq Ca^{-1/2}$，从而实现矩控制。
• 利用Wald不等式和尾部估计，控制进入大小为$n^\varepsilon$的方盒中的游走段数量，从而得到关键的矩估计$\sum_k P_0(Y_k \in B_{n^\varepsilon}) \leq C n^{1+13\varepsilon - p\varepsilon/2}$。

实验结果

研究问题

• RQ1 在时间刷新的随机环境中，连续空间随机游走的quenched泛函中心极限定理在何种条件下成立？
• RQ2 几乎必然不变性成立的环境矩结构的必要且充分条件是什么？
• RQ3 在此动态设定下，扩散矩阵$\mathcal{D}$如何从quenched和平均测度中涌现？
• RQ4 能否在连续空间中，利用鞅方法在多项式混合条件下建立几乎必然不变性原理？
• RQ5 游走的占领时间在增长方盒中的标度行为如何？它如何影响收敛速度？

主要发现

• 几乎必然不变性原理成立当且仅当跳跃分布的二阶矩有限，即$E_0[|X_1|^2] < \infty$。
• 极限扩散矩阵为$\mathcal{D} = \mathbb{E}\left[\int (x - v)(x - v)^T \, \omega_{0,0}(dx)\right]$，其中$v = \mathbb{E}[X_1]$。
• 从方盒$B_r$中退出的期望时间有界于$Cr^{13}$，这对控制游走的常返性和混合性至关重要。
• 进入方盒的游走段长度在随机支配意义下大于i.i.d.随机变量$\eta_j$，满足$P(\eta_j \geq a) \geq Ca^{-1/2}$，其中$1 \leq a \leq n^{p\varepsilon}$。
• 在时间$n$之前进入大小为$n^\varepsilon$的方盒中的游走段数量的期望有界于$Cn^{1 - p\varepsilon/2}$，从而导出指数为$1 + 13\varepsilon - p\varepsilon/2$的矩估计。
• 平均不变性原理以相同的扩散矩阵$\mathcal{D}$成立，证实了在所述矩条件成立下，quenched与平均标度极限一致。