[論文レビュー] Recent results on branching random walks

Daniela Bertacchi, Fabio Zucca|arXiv (Cornell University)|Apr 27, 2011

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

ひとこと要約

本稿では、生成関数を用いて局所的・全般的・強局所的生存などの生存特性を分析する、分岐ブラウン運動（BRW）における最近の進展を提示する。純粋な全般的生存のための条件を確立し、無限次元生成関数の不動点を用いて相転移を証明する。非可換グラフおよびスぺクトル半径基準に関する重要な結果が得られている。

ABSTRACT

This paper is a collection of recent results on discrete-time and continuous-time branching random walks. Some results are new and others are known. Many aspects of this theory are considered: local, global and strong local survival, the existence of a pure global survival phase and the approximation of branching random walks by means of multitype contact processes or spatially confined branching random walks. Most results are obtained using a generating function approach: the probabilities of extinction are seen as fixed points of an infinite dimensional power series. Throughout this paper we provide many nontrivial examples and counterexamples.

研究の動機と目的

• 離散時間および連続時間の分岐ブラウン運動に関する最近の理論的結果を統合・拡張すること。
• 生成関数技術を用いて、生存状態（局所的、全般的、強局所的）を調査すること。
• 特に非可換グラフにおいて、純粋な全般的生存が成立する条件を特定すること。
• BRWと多型接触過程、または空間的に制限されたモデルとの関係を確立すること。
• 臨界挙動および相転移を示す非自明な例および反例を提供すること。

提案手法

• 消滅確率が生成関数 G の不動点である無限次元生成関数 G を用いた BRW のモデル化。
• 非可換グラフ上での生存を分析するため、スぺクトル半径および作用素ノルム（例：‖M‖ = ρ(M)）の使用。
• 生成関数を含む不等式の解に対する最大原理を適用し、生存基準を導出する。
• 上位調和関数およびコーシー＝シュワルツの不等式を用いて、初到達確率と生存確率を関連付ける。
• 対称および非対称遷移核を関連付けるために、詳細釣り合い条件 κ(x)k^{(n)}_{xy} = κ(y)k^{(n)}_{yx} を使用する。
• 無限積 ∏(1−αi)^{ki} の収束を分析し、∑kiαi < ∞ によって、消滅と生存の区別がなされることを特定する。

実験結果

リサーチクエスチョン

• RQ1 分岐ブラウン運動が、局所的生存なしに純粋な全般的生存を示すための条件は何か？
• RQ2 連続時間 BRW における臨界値 λw および λs は、消滅、全般的のみ、局所的および全般的生存の間の相転移をどのように決定するか？
• RQ3 可換性およびスぺクトル半径が、生成関数の非自明な不動点の存在を決定づける役割を果たすか？
• RQ4 BRW は、多型接触過程や切断された空間的モデルによってどのように近似可能か？生存挙動を研究するにはどうか？
• RQ5 強局所的生存はいつ発生するか？また、有界な下位調和関数の存在とどのように関係するか？

主な発見

• 不可約 BRW において、強局所的生存が成立しないことは、ある固定された頂点 x̄ に戻らない確率が正であるような頂点 x が存在することと同値である。
• 非可換グラフ上では、‖f‖_{D(2)} ≥ c‖f‖₂ を満たす c > 0 が存在する場合、スぺクトル半径 ρ(M) = ‖M‖ が成り立つ。これは生存閾値を証明する上で重要である。
• 頂点 x における局所的生存の臨界値は、F(x,x|ρ) > 1 によって決定され、ここで F は基礎的なランダムウォークの生成関数である。
• 再帰的グラフでは、消滅確率 q̄ < 1 ならば強局所的生存が成立し、生存確率はすべての頂点で一定である。
• ∑kiαi < ∞ は、∏(1−αi)^{ki} > 0 と同値であり、これは特定の BRW の構成において、消滅がほとんど確実かどうかを決定する。
• 同一の後代分布を有する BRW では、消滅確率は頂点間で一定であり、F(t) = ∑ρ(n)t^n の最小不動点に等しい。