[论文解读] Excited random walks: results, methods, open problems

Elena Kosygina, Martin Zerner|arXiv (Cornell University)|Apr 9, 2012

Stochastic processes and statistical mechanics参考文献 48被引用 18

一句话总结

本文对d维整数格点上的兴奋随机游走（ERWs）进行了全面综述，分析了在独立同分布或平稳饼干环境下的常返性、遍历性及标度极限。文章建立了瞬态一维ERWs的新泛函极限定理，并证明了零一律，通过饼干堆栈和再生结构提供了一个统一框架，以理解带有记忆的自相互作用随机游走。

ABSTRACT

We consider a class of self-interacting random walks in deterministic or random environments, known as excited random walks or cookie walks, on the d-dimensional integer lattice. The main purpose of this paper is two-fold: to give a survey of known results and some of the methods and to present several new results. The latter include functional limit theorems for transient one-dimensional excited random walks in bounded i.i.d. cookie environments as well as some zero-one laws. Several open problems are stated.

研究动机与目标

• 综述兴奋随机游走（ERWs）理论中的已知结果与关键方法，ERWs是一类通过饼干堆栈编码记忆的自相互作用随机游走。
• 在有界独立同分布饼干环境中，提出瞬态一维ERWs的新泛函极限定理。
• 建立ERW模型中常返性与遍历性的零一律。
• 识别并陈述该领域中的开放问题，特别是关于 quenched 中心极限定理与大偏差的问题。
• 通过再生结构与分支过程技术，统一并拓展对ERWs的理解，特别是在瞬态区域。

提出的方法

• 将ERWs建模为在Z^d上时间离散的随机游走，其中转移概率依赖于每个站点的局部时间，通过独立同分布或平稳的饼干堆栈实现。
• 使用quenched测度P_{x,ω}与平均测度P_x，分析从概率测度P在饼干环境空间上抽取的随机环境ω下的路径行为。
• 应用再生结构将游走分解为独立同分布的循环，从而能够应用更新理论与极限定理。
• 利用分支过程分析瞬态ERWs中的最大局部时间与尾部行为，特别是在弹道（δ > 2）与非弹道（δ ∈ (1,2]）区域。
• 应用Lindeberg-Feller中心极限定理，在特定独立同分布饼干条件下（含随机中心化）推导quenched CLT结果。
• 对平均测度P_0应用大偏差原理（LDP），其中速率函数I(x)在[0,v]上为零（对应弹道游走，δ > 2），并推导对数尾部衰减速率。

实验结果

研究问题

• RQ1 在有界独立同分布饼干环境中，一维兴奋随机游走的quenched测度下何时满足泛函中心极限定理？
• RQ2 在何种条件下，ERW的常返性或遍历性由零一律决定？
• RQ3 能否在非独立同分布或非独立同分布饼干堆栈环境中建立ERWs的quenched中心极限定理？
• RQ4 在瞬态ERWs中，最大局部时间ξ_n^*的渐近行为如何？其依赖于参数δ的机制是什么？
• RQ5 在平均测度下，游走速度的精确大偏差速率函数I(x)是什么？它如何反映弹道与非弹道行为？

主要发现

• 在有界独立同分布饼干环境下的瞬态一维ERWs中，quenched测度下存在泛函极限定理，经适当中心化与标度后收敛于标准布朗运动。
• 建立了常返性与遍历性的零一律，表明在独立同分布或平稳遍历饼干环境中，游走以概率1要么常返，要么遍历。
• 最大局部时间ξ_n^*满足lim_{n→∞} ξ_n^* / (n^{1/(2∨δ)} (log n)^α) = 0 a.s.，对所有α > 1/δ成立，且倒数比值发散，表明在δ = 2处存在相变。
• 当δ > 2（弹道区域）时，P_0[X_n/n < x]的尾部衰减速率满足log P_0[X_n/n < x] ∼ (1 - δ/2) log n，显示出依赖于δ的幂律衰减。
• 在平均测度P_0下，大偏差原理成立，其速率函数I(x)为连续凸函数，且在[0,v]上为零，其中v为游走速度。
• 在退化独立同分布饼干模型中，建立了quenched中心极限定理，其中每个站点的第一个饼干决定了游走增量的分布，且中心化依赖于ω。