[論文レビュー] Characterization of the critical values of branching random walks on weighted graphs through infinite-type branching processes

Daniela Bertacchi, Fabio Zucca|Apr 1, 2008

Stochastic processes and statistical mechanics被引用数 4

ひとこと要約

この論文は、無限型の分岐過程を用いて重み付きグラフ上の分岐ランダムウォークの臨界値を特徴づけ、弱臨界値 λ_w が線形作用素のスペクトル半径の下界によって決定されることを確立し、λ_w = 1/M_w^− であると示し、λ_w においてはグローバルな生存が可能であるのに対し、強臨界値 λ_s においては局所的崩壊がほとんど確実に発生することを示している。

ABSTRACT

We study the branching random walk on weighted graphs; site-breeding and edge-breeding branching random walks on graphs are seen as particular cases. We describe the strong critical value in terms of a geometrical parameter of the graph. We characterize the weak critical value and relate it to another geometrical parameter. We prove that, at the strong critical value, the process dies out locally almost surely; while, at the weak critical value, global survival and global extinction are both possible.

研究の動機と目的

• 重み付きグラフ上の分岐ランダムウォークの弱臨界値 λ_w(x) を、無限型分岐過程を用いて特徴づける。
• λ_w(x) を、グラフに関連する線形作用素のスペクトル半径の下界として定義される幾何的パラメータ M_w^−(x) に関連付ける。
• λ_w および λ_s における臨界挙動を明確にし、特にこれらの閾値においてグローバル生存が発生するか、あるいは崩壊が発生するかを特定する。
• λ_w = 1/M_w^− の等式がいつ成り立つのかを解明し、特定の条件下で成り立つことを示し、厳密な不等号が成立する反例を提示する。
• λ_w においてグローバル生存が可能であることを示し、それに対して λ_s において局所的崩壊がほとんど確実に発生することと対比する。

提案手法

• 分岐ランダムウォーク（BRW）を重み付きグラフ上で定義する無限次元の生成関数を用いて、自然な無限型分岐過程（IBP）を定義する。
• 順序部分集合上の単調関数の不動点解析を用いて、IBPにおける崩壊確率を研究する。
• 不等式 λKv ≥ v を満たす正の有界解 v ∈ l^∞(X) の存在を用いて λ_w(x) を特徴づけ、核行列 K のコラーツ＝ヴァイランド数と関連付ける。
• M_w^−(x) = 1 / sup{‖v‖∞ : v > 0, λKv ≥ v for some λ > 0} を導入し、これにより弱臨界閾値を定義する。
• 無限次元線形システムの理論を応用して、BRWの臨界パrameterにおける挙動を分析する。
• 径数木と ℕ 上の列を用いた明示的例を構築し、非可約な場合を含む例を提示し、理論的結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 重み付きグラフ上の分岐ランダムウォークの弱臨界値 λ_w(x) の正確な特徴づけは何か？
• RQ2 λ_w(x) は幾何的パラメータ M_w^−(x) とどのように関係しており、λ_w(x) = 1/M_w^−(x) がいつ成り立つのか？
• RQ3 λ_w(x) においてグローバル生存が可能か？また、その臨界挙動の性質は何か？
• RQ4 強臨界値 λ_s(x) において何が起こるのか？局所的崩壊がほとんど確実に発生するのか？
• RQ5 λ_w(x) ≠ 1/M_w(x) となることは可能か？その場合、グラフの構造的条件は何か？

主な発見

• 弱臨界値 λ_w(x) は λ_w(x) ≥ 1/M_w^−(x) を満たし、可約性や特定のレート構造などの十分条件のもとで等号が成り立つ。
• 強臨界値 λ_s(x) において、プロセスは局所的にほとんど確実に崩壊する。これはエッジ増殖 BRW における予想を裏付ける。
• λ_w(x) においてグローバル生存が可能であることが、例3で示された：λ_w = 1 であり、各サイトでは崩壊するがグローバルには生存する。
• 弱臨界値は 1/M_w(x) と異なることがある。例2では M_w = 2 かつ M_w^− = 1 であり、λ_w = 1/1 = 1 ≠ 1/2 となる。
• 可約でない BRW に対しては λ_w ≥ 1/M_w^− が成り立ち、やや緩い条件下で等号が達成されるが、一般に λ_w = 1/M_w^− が成り立つかどうかは未解決の問題のままである。
• 自然な IBP の構成により、無限次元不動点理論を用いて BRW における崩壊と生存を分析でき、臨界値分析の統一的枠組みを提供する。