[論文レビュー] Weak survival for branching random walks on graphs

Daniela Bertacchi, Fabio Zucca|arXiv (Cornell University)|Mar 16, 2006

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

ひとこと要約

本稿は、多重グラフ上の連続時間分岐的ランダムウォークにおける弱い生存と強い生存を調査し、強い臨界値 λₛ においては局所的滅亡がほとんど確実に発生し、弱い臨界値 λ_w においては広範なクラスの多重グラフに対して全般的滅亡がほとんど確実に発生することを確立している。主な貢献は、広範なクラスの多重グラフにおいて、純粋な弱い相の存在が非アーメン性と同値であることを証明したことである。これは、準推移的グラフや正則グラフに関する先行研究を拡張するものである。

ABSTRACT

We study weak and strong survival for branching random walks on multigraphs. We prove that, for a large class of multigraphs, weak survival is related to a geometrical parameter of the multigraph and that the existence of a pure weak phase is equivalent to nonamenability. Finally we study weak and strong critical behaviors of the branching random walk.

研究の動機と目的

• 多重グラフ上の分岐的ランダムウォークの弱い臨界値 λ_w を特定すること。
• 臨界値 λ = λ_s および λ = λ_w におけるプロセスの挙動を分析すること。
• 純粋な弱い相が存在する条件を、特にグラフの幾何構造とアーメン性の関係において特定すること。
• 分岐的ランダムウォークの相転移に関する既知の結果を、準推移的グラフからより広いクラスの多重グラフに拡張すること。
• グラフの幾何的パラメータと臨界閾値 λ_w および λ_s 間の関係を調査すること。

提案手法

• 著者らは、グラフの構造に基づいて二つの漸近的次数 M_s と M_w を定義し、それらが臨界値 λ_s と λ_w を特徴付ける。
• 最初の通過確率と生存確率を分析するために、生成関数 F(x,x|λ) と G(x,x|λ) を用いる。
• 生成関数 G(x,x|λ) の収束半径 R に依存する分析が行われ、これが λ_s に等しいことが示された。
• λ_w = 1 となるように変更された BRW が導入され、λ = 1 における全般的滅亡の導出が可能になった。
• 辺の重みを一般化し、生成関数フレームワークを適応させることで、重み付きグラフへの結果の拡張が行われた。
• スペクトル的および幾何的議論を用いて、非有向 F-多重グラフのクラスにおいて、非アーメン性と純粋な弱い相の存在が同値であることを証明した。

実験結果

リサーチクエスチョン

• RQ1 弱い臨界値 λ_w と多重グラフの幾何的構造との間の正確な関係は何か？
• RQ2 広範なクラスの多重グラフに対して、分岐的ランダムウォークは λ = λ_w で全般的にほとんど確実に滅亡するか？
• RQ3 準推移的グラフを越えるクラスの多重グラフにおいて、純粋な弱い相の存在が非アーメン性と同値であるか？
• RQ4 臨界値 λ_w は、すべての多重グラフにおいて漸近的次数 M_w によって普遍的に特徴付けられるか、それとも制限されたクラスでのみか？
• RQ5 λ_s = λ_w であるが、λ_w においてもプロセスが全般的に滅亡しないような多重グラフは存在するか？

主な発見

• 強い臨界値 λ_s において、分岐的ランダムウォークは局所的にほとんど確実に滅亡する。
• 弱い臨界値 λ_w において、正則グラフや準推移的グラフを含む広範なクラスの多重グラフに対して、プロセスは全般的にほとんど確実に滅亡する。
• 弱い臨界値 λ_w は、グラフ構造から導かれる幾何的パラメータ M_w に対して 1/M_w に等しい。
• 非有向 F-多重グラフにおいて、純粋な弱い相の存在は非アーメン性と同値であり、Stacey の結果がより広いクラスに拡張された。
• 臨界値 λ_s は、生成関数 G(x,x|λ) の収束半径 R に等しく、これはグラフ構造にのみ依存する。
• 変更された BRW においては λ_w = 1 であり、λ = 1 において全般的滅亡がほとんど確実に発生するため、一般ケースの基準として機能する。