[論文レビュー] Asymptotic of the maximal displacement in a branching random walk

Bastien Mallein|arXiv (Cornell University)|May 26, 2016

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

ひとこと要約

本稿は、最適に近い積分可能性条件の下で、実数直線上の上位分岐拡散過程における最大移動距離の漸近的挙動を確立する。ロバーツ（2009）にインspiredされた修正された脊椎的分解と湾曲境界解析を用いて、生存事象上ではほとんど確実に $ M_n = -\frac{3}{2}\log n + O_{\mathbb{P}}(1) $ が成り立つことを証明し、先頭の個体における正確なフラクチュエーションと系統的構造を明らかにする。

ABSTRACT

In this article, we study the maximal displacement in a branching random walk. We prove that its asymptotic behaviour consists in a first almost sure ballistic term, a negative logarithmic correction in probability and stochastically bounded fluctuations. This result, proved by Addario-Berry and Reed, and Hu and Shi is given here under close-to-optimal integrability conditions. We provide simple proofs for this result, also deducing the genealogical structure of the individuals that are close to the maximal displacement.

研究の動機と目的

• 実数直線上の分岐拡散過程における最大移動距離 $ M_n $ の正確な漸近的挙動を、補正項とフラクチュエーションを含めて特定すること。
• 従来の研究が強いモーメント仮定を必要としていたのに対し、近似的に最良の積分可能性条件の下で結果を確立すること。
• 近似的に最大移動距離を達成する個体の系統的構造を同定し、それらが互いに近縁であるか、または最近いの共通祖先を共有していることを示すこと。
• 複雑なカップリング論法を避けるために、脊椎的分解と湾曲境界技術を用いて漸近的挙動の簡略化された証明を提供すること。

提案手法

• ライオンズが導入した分岐拡散過程の脊椎的分解を用い、測度を再重み付けし、加法的モーメントをランダムウォークの推定に結びつける。
• 粒子が境界を越える数を解析するために、湾曲境界 $ f_n(k) = \sqrt{2k} - \frac{3}{2} \frac{k}{n} \log n $ を用いることで、$ M_n $ の左端の尾部を正確に制御する。
• 独立同分布の増分と追加の確率変数を伴うランダムウォークに対する精密な大偏差推定を適用し、アイデコンとシ（2010）の結果を非i.i.d.摂動を扱えるように拡張する。
• 分岐拡散過程とギャルトン＝ワトソン過程とのカップリング技術を用いて、最大移動距離に関連するレアイベントの確率を制御する。
• マルコフ性と経路ごとの推定を適用し、摂動が加わっても時間に依存する境界を常に上回る確率をバインドする。
• 脊椎測度を用いたブートストラップ論法によりモーメントバウンドを導出し、積分可能性条件が必要かつほぼ最適であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 上位分岐拡散過程における最大移動距離 $ M_n $ の正確な漸近的展開、補正項を含めて、どのようなものか？
• RQ2 $ M_n $ の中央値まわりのフラクチュエーションはどのように振る舞い、極限分布の性質は何か？
• RQ3 近似的に最大移動距離を達成する個体の系統的構造は何か？ それらは共通祖先の周囲に集まっているか？
• RQ4 積分可能性条件がほぼ最適な場合に、$ M_n $ の漸近的挙動をどのように導出できるか？
• RQ5 湾曲境界法は、過去の手法が得られていた $ o(\log n) $ の誤差項をどのように改善するか？

主な発見

• 仮定（1.1）、（1.2）、（1.3）の下で、生存事象 $ S $ 上ではほとんど確実に $ M_n = -\frac{3}{2}\log n + O_{\mathbb{P}}(1) $ が成り立つ。
• $ O_{\mathbb{P}}(1) $ 項は確率的に有界なフラクチュエーションを捉えており、中心化された最大移動距離のタイトネスを確認する。
• 対数補正項 $ -\frac{3}{2}\log n $ は、分岐機構と境界ケース条件 $ \mathbb{E}[\sum e^{V(u)}] = 1 $ の相互作用から生じる。
• 先頭の個体の系統的構造は次のように特徴づけられる：互いに近縁であるか、またはそれらの最も最近の共通祖先が根の近縁である。
• 積分可能性条件（1.3）は、脊椎的分解から自然に導かれ、チエン（2010）の既知の鋭さの結果と一致するため、ほぼ最適であることが示された。
• 湾曲境界と精密なランダムウォーク推定に基づく証明技法により、誤差項が1次に抑えられ、従来の研究が達成した $ o(\log n) $ の精度を上回る結果が得られた。