[論文レビュー] Excited random walk in three dimensions has positive speed

Gady Kozma|ArXiv.org|Oct 20, 2003

Stochastic processes and statistical mechanics参考文献 4被引用数 20

ひとこと要約

本稿は、一定のバイアス（ε > 0）を持つ3次元の励起ランダムウォークが、ほとんど確実に正の速度を示すことを証明している。これは、バイアス方向におけるウォークの位置が時間に対して線形に増加することを意味する。証明は、個々のブロックでの失敗を補うためにリスタート機構を備えた多層構造のブロック分解を用い、単純なランダムウォークとのカップリングおよび回復性を保証するための新規な2次元カバー推定を活用することで、再帰性を制御し、線形のドリフトを確保する。

ABSTRACT

Excited random walk is a random walk that has a positive drift to the right when it reaches a vertex it hasn't been to before. We show that in three dimensions the walk drifts to the right in non-zero speed.

研究の動機と目的

• 3次元の励起ランダムウォークの1次元射影が時間とともに線形に増加すること、すなわち正の速度を示すこと。
• 不良ブロックにおける連鎖的失敗のため、標準的なブロック分解が失敗するという課題を克服すること。
• まれな不良ブロックの後にプロセスが回復できるよう、2次元的考察に基づく再初期化を可能にするリスタート機構の開発。
• 独立した単純ランダムウォークに対して、2次元カバー推定を鋭く示し、再帰性とドリフトの制御に不可欠な結果を得ること。
• ウォークの位置の下限が時間で割った値の下限がほとんど確実に正であることを示し、モデルにおける主要な未解決問題を解消すること。

提案手法

• 各層が前層の失敗をリスタート機構で処理する多層ブロック分解戦略を用いる。
• 励起ウォークと単一対称ランダムウォークを比較するカップリング論法を採用し、励起ウォークが常に右側に位置することを保証する。
• 鍵となる2次元の結果を適用：長さnおよびm = exp(log^μ n)の2つの独立した単純ランダムウォークは、高確率で共通領域をカバーし、最初のウォークは√m近傍内に少なくともm^{3/4}個の「穴」を持つ。
• √log nを含む指数的尾確率推定を用いて、「不良」ブロック（十分な進行が得られないもの）の数の確率的バウンドを実装する。
• dyadicな時刻列（n = 2^i）に対してBorel-Cantelli補題を適用し、ウォークが最終的にほとんど確実に線形速度条件を満たすことを示す。
• ブロックサイズと故障確率に依存するパrameter化された速度α_nを導入し、速度が0から一様に離れていることを保証する。

実験結果

リサーチクエスチョン

• RQ1 3次元の励起ランダムウォークは正の速度を示すか、すなわちliminf_{n→∞} R(n)_1 / n がほとんど確実に正か？
• RQ2 不良ブロックにおける連鎖的失敗のリスクがあるにもかかわらず、標準的なブロック分解法を再考できるか？
• RQ3 長さが異なる独立した単純ランダムウォークの2次元カバー推定の鋭さはいかほどか？
• RQ4 R(n)_1 / n の下限がほとんど確実に極限であるか、それとも振動する可能性があるか？
• RQ5 まれな大きな逸脱が存在する場合でも、速度が0から一様に離していることが保証できるか？

主な発見

• 3次元におけるε-励起ランダムウォークの1次元射影は、ほとんど確実にliminf_{n→∞} R(n)_1 / n > 0 を満たし、正の速度が保証される。
• 証明により、nとは無関係にc(ε) > 0のオーダーの速度下限が得られ、定数はεにのみ依存する。
• 2次元カバー推定（定理2）により、高確率で長さm = exp(log^μ n)の長い単純ランダムウォークが、長さnの短いウォークが訪問していない少なくともm^{3/4}個の頂点をカバーすることが示される。
• 速度推定の失敗確率はexp(−c√log n)のオーダーで減少し、これは可 summable であり、Borel-Cantelli補題の適用を可能にする。
• リスタート機構により、まれな不良ブロックに対して2次元的視点から再初期化が行われ、長期的な進行が保証される。
• この結果は鋭く、exp(−c√log n)の減少率は、完全カバー確率に対する下界が一致する以上に改善できないことが示されており、より強い仮定がなければ向上不可能である。