[論文レビュー] Front propagation and quasi-stationary distributions: the same selection principle?

Pablo Groisman, Matthieu Jonckheere|arXiv (Cornell University)|Apr 17, 2013

Stochastic processes and statistical mechanics参考文献 23被引用数 8

ひとこと要約

本稿は、前進波動の選択原理と準定常分布（QSD）の間に深い関係を確立し、一般化されたF-KPP方程式における最小速度の移動波が、ドリフト付きLévy過程の最小QSDに正確に対応することを示している。分岐ブラウン運動と選択、Fleming-Viot過程といった微視的モデルを通じて、両現象が同一の背後にある選択メカニズムに従うことを示し、巨視的および微視的視点を統合している。

ABSTRACT

We analyze the connection between selection principles in front propagation and quasi-stationary distributions. We describe the missing link through the microscopic models known as Branching Brownian Motion with selection and Fleming-Viot.

研究の動機と目的

• 無限に多くの解が存在する中で、両者とも最小解を選択するという事実に裏付けられた、前進波動における選択メカニズムと準定常分布（QSD）の間の関係を調査すること。
• KPP方程式やQSDといった巨視的モデルと、分岐ブラウン運動と選択、Fleming-Viot過程といった粒子系による微視的実現との間の欠落している接続を同定すること。
• 前進波動の最小速度とQSDの最小吸収率（吸収率の観点から）が、同一の数学的原理に由来することを示し、確率過程における二つの見かけ上異なる現象を統一すること。
• ブラウン運動に限らない一般のLévy過程に対し、最小移動波と最小QSDの対応関係を、重尾のジャンプを含む適切な条件下で拡張すること。
• 前進波動における選択原理とQSDにおける選択原理が、Lévy過程およびその条件付き過程の文脈において、同一の背後メカニズムの二つの顕在化であるという仮説に、厳密な基礎を提供すること。

提案手法

• 非線形項 $ f(s) = s^2 - s $ を持つ一般化されたF-KPP方程式を分析し、移動波解 $ v(t,x) = w_c(x - ct) $ に注目し、最小速度 $ c^* = rac{1}{2} rac{d}{dc} \text{some function} $ を特定する。これは、前進波動の最も遅い伝播に対応する。
• 分岐ブラウン運動（BBM）と選択を用いたKPP方程式の解の確率的表現を用い、前線における粒子の分岐と選択が、微視的ダイナミクスによって最小速度を強制することを示す。
• ドリフト付きLévy過程 $ Z^c $ に対する準定常分布（QSD）の理論を適用し、Yaglom極限が存在し、固有値 $ - ho = - ho(c) $ を持つQSDに対応することを示す。ここで $ ho(c) = -\text{inf}_{\theta} \big( \frac{1}{2} \text{分散} + c\theta + \text{Laplace指数} \big) $ である。
• 前進波動における最小速度 $ c^* $ とQSDにおける最小吸収率 $ r^* $ の間に双対性を確立し、$ c^* $ が与えられた $ r $ に対して最小であるための必要十分条件が、$ r^* $ が与えられた $ c $ に対して最大であることであることを示す。関数 $ \rho(c) = -\text{inf}_{\theta} \big( \text{Laplace指数} - c\theta \big) $ を用いる。
• BertoinとDoneyのクラスAおよびBのLévy過程に関する結果を応用し、Lévy測度およびドリフトに適切な条件が満たされれば、Yaglom極限が存在し、それが最小であることを示す。漸近的生存確率は $ \bb{P}_x(\tau > t) \to H(x,\theta_c) \tilde{\rho}(t) e^{\rho(c)t} $ と表され、ここで $ \tilde{\rho}(t) $ はゆっくり変動する。
• Lévy過程 $ Z^c $ のLaplace指数 $ \tilde{\rho}_c(\theta) = \tilde{\rho}(\theta) - c\theta $ を用い、臨界速度 $ c^* $ を、$ \tilde{\rho}_c $ が $ \theta_c \neq 0 $ で負の下界を達成するような $ c $ の下界として特徴づけ、これにより非自明なQSDの存在と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 前進波動における最小速度と確率過程における最小準定常分布の両者を選び出す背後にある統一原理は存在するか？
• RQ2 分岐ブラウン運動と選択、Fleming-Viot過程といった微視的モデルは、巨視的前進波動とQSD選択をどのように結びつけるか？
• RQ3 ブラウン運動に限らない一般のLévy過程へと、最小移動波速度と最小QSD吸収率の対応関係を拡張できるか？
• RQ4 ドリフト付きLévy過程に対して、移動波の速度 $ c $ とQSDの固有値 $ r $ の間の正確な数学的関係は何か？
• RQ5 Lévy測度とドリフトにどのような条件下でYaglom極限が存在し、それが最小QSDに対応するか？

主な発見

• 一般化されたF-KPP方程式における最小速度 $ c^* $ は、関連するドリフト付きLévy過程の最小吸収率 $ r^* $ に正確に対応する。
• 与えられたドリフト $ c $ に対して、最大吸収率 $ r(c) = -\text{inf}_{\theta} \big( \text{Laplace指数} - c\theta \big) $ は $ c $ に関して厳密に単調減少かつ連続であり、$ c $ と $ r $ の間の一対一対応を保証する。これにより、$ c $ が $ r $ に対して最小であるための必要十分条件が、$ r $ が $ c $ に対して最大であることであることが示される。
• 過程 $ Z^c $ のYaglom極限は存在し、$ \nu(dx) = \theta_0 \tilde{\rho}_{\theta_c}(0,\theta_c) e^{-\theta_c x} V_{\theta_c}(x) dx $ で与えられる。ここで $ V_{\theta_c} $ は上昇ラダー過程の再生関数であり、$ \tilde{\rho}_{\theta_c} $ は上昇ラダー過程のLaplace指数である。
• 生存確率 $ \bb{P}_x(\tau > t) $ は、$ \tilde{\rho}(t) $ が無限大において正しく変動するという漸近的減衰 $ H(x,\theta_c) \tilde{\rho}(t) e^{\rho(c)t} $ を示し、この減衰率がQSDの固有値を決定する。
• 最小QSDは、$ \bb{E}_x[e^{-\rho(c)\tau}] = \bb{E}_x[e^{-\rho(c)\tau}] < \bb{E}_x[e^{-\rho(c)\tau}] $ という性質を満たし、より小さい固有値を持つ任意のQSDは、漸近的生存挙動と矛盾する。
• QSDが存在するペア $ (c,r) $ の集合 $ \bb{C} $ は、速度 $ c $ を持つ移動波が存在するペアの集合と一致する。これにより、前進波動とQSDの間の直接的な双対性が確立される。