[论文解读] Limit laws for transient random walks in random environment on $\z$

Nathanaël Enriquez, Christophe Sabot+1 more|arXiv (Cornell University)|Mar 22, 2007

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

一句话总结

该论文对在 i.i.d. 随机环境中、渐近速度为零的瞬态一维随机游走中，首次击中水平 $ n $ 的极限稳定分布进行了完整刻画。通过基于势理论和过去最小值之上的首返点的创新方法，作者推导出稳定分布指数和尺度参数的显式公式，特别地，在狄利克雷分布环境中，参数通过 digamma 函数和 beta 函数表达。

ABSTRACT

We consider transient random walks in random environment on $\z$ with zero asymptotic speed. A classical result of Kesten, Kozlov and Spitzer says that the hitting time of the level $n$ converges in law, after a proper normalization, towards a positive stable law, but they do not obtain a description of its parameter. A different proof of this result is presented, that leads to a complete characterization of this stable law. The case of Dirichlet environment turns out to be remarkably explicit.

研究动机与目标

• 完全刻画在 $ \mathbb{Z} $ 上以零渐近速度运行的瞬态随机游走中，归一化击中时间 $ \tau(n) $ 所服从的正稳定分布。
• 克服以往研究仅建立弱收敛但未指定稳定分布参数的局限性。
• 基于势的波动和过去最小值之上的首返点，发展一种新的分析框架，替代此前使用的分支过程编码方法。
• 为狄利克雷分布转移概率的情形，提供稳定分布尺度参数的显式表达式。
• 将分析扩展至临界情形 $ \kappa = 1 $，此时出现对数校正项。

提出的方法

• 引入一种基于势在历史最小值之上的首返点的新型‘山谷’概念，替代西蒙在遍历情形下的山谷概念。
• 利用 Iglehart 关于首返点高度尾部分布的渐近结果，分析穿越高首返点所花费的时间。
• 证明击中时间 $ \tau(n) $ 的渐近行为由一系列分隔良好的高首返点的通过时间之和主导，从而导致 i.i.d. 贡献。
• 将单个首返点上通过时间的尾部行为表示为与桥过程泛函期望的联系，该泛函与 Kesten 的更新常数 $ C_K $ 相关。
• 应用 Chamayou 和 Letac (1994) 的结果，当转移概率服从 Beta 分布时，显式计算 $ C_K $。
• 推导归一化击中时间 $ n^{-1/\kappa} \tau(n) $ 的拉普拉斯变换，证明其收敛于指数为 $ \kappa $、尺度参数显式确定的正稳定分布。

实验结果

研究问题

• RQ1 在 $ \mathbb{Z} $ 上以零渐近速度运行的瞬态随机游走中，击中时间 $ \tau(n) $ 的极限分布所服从的正稳定分布的确切参数是什么？
• RQ2 对于特定环境（如狄利克雷情形），是否可以显式计算稳定分布的尺度参数？
• RQ3 势的结构及其首返点行为如何影响向稳定分布的收敛？
• RQ4 当 $ \kappa = 1 $（即弹道与亚弹道行为之间的临界情形）时，方法需要做哪些修改？
• RQ5 击中时间的 quenched 极限定律是否稳定，还是由于环境随机性而发生波动？

主要发现

• 归一化击中时间 $ n^{-1/\kappa} \tau(n) $ 在分布上收敛于指数为 $ \kappa $ 的正稳定分布，其中对于狄利克雷分布环境，$ \kappa = \alpha - \beta $，参数 $ \alpha, \beta > 0 $。
• 对于狄利克雷环境，极限稳定分布的尺度参数显式给出为 $ 2^{\kappa} \frac{\pi \kappa^2}{\sin(\pi \kappa)} C_K^2 \mathbb{E}[\rho_0^\kappa \log \rho_0] $，其中 $ C_K = \frac{1}{(\alpha - \beta) B(\alpha, \beta)} $。
• Kesten 更新定理中出现的常数 $ C_K $，通过 Chamayou 和 Letac 的结果显式计算，其与 $ \sum_{k \geq 1} e^{V(k)} $ 尾部行为相关联。
• 归一化击中时间 $ n^{-1/\kappa} \tau(n) $ 的拉普拉斯变换收敛于 $ \exp\left\{ -C \lambda^\kappa \right\} $，证实其收敛于具有推导出的尺度参数的稳定分布。
• 在临界情形 $ \kappa = 1 $ 时，论文提出 $ X_n / (n / \log n) $ 依概率收敛于 $ \mathbb{E}[\rho_0 \log \rho_0]/2 $，基于 Goldie 对 $ C_K $ 的公式。
• 该方法成功地用基于势的首返点分析替代了分支过程编码，使得此前方法无法实现的参数显式计算成为可能。