[論文レビュー] 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

ひとこと要約

本稿は、時刻毎に再設定される動的確率環境によって駆動される $ℝ^d$ 上の連続空間ランダムウォークにおける、ほとんど確実な不変原理（ASIP）の必要十分条件を確立する。マルティンゲール手法を用いて、ジャンプ分布のモーメント条件のもとで、クエンチド関数中心極限定理が成り立つことを証明し、平均化されたレベルでのブラウン運動への収束を示す。

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.

研究の動機と目的

• 各時刻で再設定される動的確率環境下での $ℝ^d$ 上のランダムウォークにおける、ほとんど確実な不変原理（ASIP）を確立すること。
• この設定において、クエンチド関数中心極限定理が成り立つための必要十分条件を特定すること。
• 離散空間から連続空間への関数中心極限定理の拡張を、ほとんど確実収束を保ちながら行うこと。
• 特に拡散行列とスケーリング極限に注目して、クエンチド測度および平均化測度下でのウォークの挙動を分析すること。

提案手法

• 環境を $ℝ^d$ 上の確率測度のi.i.d. 時系列としてモデル化し、各環境成分 $\omega_{n,x}$ が時刻 $n$ および位置 $x$ における遷移確率を定義する。
• ウォーク $X_n$ のクエンチド測度 $P_x^\omega$ と、定常的かつ混合的環境測度 $\mathbb{P}$ の下での平均化測度 $P_x = \int P_x^\omega \, \mathbb{P}(d\omega)$ を定義する。
• フラクチュエーションの分析とASIPの導出のため、マルティンゲール分解を用い、カップリングおよびモーメント推定を行う。
• 成長するボックス $B_r = [-r,r]^d$ からの抜出し時間を利用したレニュアル型の議論を適用し、期待抜出し時間を $Cr^{13}$ で上から抑える。
• 期待される抜出し時間のバウンドを得るために、重い尾を持つi.i.d. ランダム変数による、巡回時間の確率的支配を確立する。ここで $P(\eta \geq a) \geq Ca^{-1/2}$ が成り立つ。
• ワルドの不等式と尾確率推定を用いて、サイズ $n^\varepsilon$ のボックスへの巡回回数の期待値を評価し、主要なモーメント推定 $\sum_k P_0(Y_k \in B_{n^\varepsilon}) \leq C n^{1+13\varepsilon - p\varepsilon/2}$ を得る。

実験結果

リサーチクエスチョン

• RQ1 時刻再設定環境下の連続空間ランダムウォークにおいて、クエンチド関数中心極限定理が成り立つ条件は何か？
• RQ2 ほとんど確実な不変原理が成り立つために、環境のモーメント構造に必要な十分条件は何か？
• RQ3 この動的設定下で、拡散行列 $\mathcal{D}$ はクエンチド測度および平均化測度からどのように導かれるか？
• RQ4 多項式的混合性を満たす連続空間において、マルティンゲール手法を用いてASIPを確立できるか？
• RQ5 成長するボックス内でのウォークの占有時間のスケーリング挙動は何か？ また、収束速度にどのように影響するか？

主な発見

• ほとんど確実な不変原理が成り立つのは、ジャンプ分布の2次モーメントが有限である、すなわち $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}$ で上から抑えられ、これはウォークの再帰性と混合性の制御に不可欠である。
• ボックスへの巡回時間の長さは、$1 \leq a \leq n^{p\varepsilon}$ に対して $P(\eta_j \geq a) \geq Ca^{-1/2}$ を満たすi.i.d. ランダム変数 $\eta_j$ によって確率的に支配される。
• 時間 $n$ までのサイズ $n^\varepsilon$ のボックスへの巡回回数の期待値は $Cn^{1 - p\varepsilon/2}$ で抑えられ、これにより指数 $1 + 13\varepsilon - p\varepsilon/2$ を持つモーメント推定が得られる。
• 平均化された不変原理は、同じ拡散行列 $\mathcal{D}$ で成り立つ。これは、指定されたモーメント条件のもとで、クエンチドおよび平均化されたスケーリング極限が一致することを確認する。