[論文レビュー] Volume growth and stochastic completeness of graphs

Matthew Folz|arXiv (Cornell University)|Jan 27, 2012

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

ひとこと要約

本稿では、可変速度ランダムウォークから導かれる適応された計量を用いて、重み付きグラフの確率的完全性の鋭い体積増大基準を確立する。メトリックグラフ上にブラウン運動を構成し、局所的ディリクレ空間におけるシュトゥルムの定理を適用することで、体積増大の対数に関する積分を含む条件が確率的完全性を特徴づけることを導出し、リーマン多様体におけるグリゴリヤンの結果を非局所的設定へ一般化する。

ABSTRACT

Given the variable-speed random walk on a weighted graph and a metric adapted to the structure of the random walk, we construct a Brownian motion on a closely related metric graph which behaves similarly to the VSRW and for which the associated intrinsic metric has certain desirable properties. Jump probabilities and moments of jump times for Brownian motion on metric graphs with varying edge lengths, jump conductances, and edge densities are computed. We use these results together with a theorem of Sturm for stochastic completeness, or non-explosiveness, on local Dirichlet spaces to prove sharp volume growth criteria in adapted metrics for stochastic completeness of graphs.

研究の動機と目的

• 重み付きグラフの確率的完全性を保証する体積増大条件を確立すること。
• 非局所的ディリクレ形式のため、グリゴリヤンの多様体基準がグラフに適用できないという問題に対処すること。
• 可変速度ランダムウォークの内在的幾何を反映するように適応された計量を構築すること。
• ランダムウォークの構造から導かれる内在的計量を用いて、鋭い確率的完全性基準を証明すること。
• 標準的グラフ計量が鋭い基準を導けないことを示すことで、計量の適応の必要性を示すこと。

提案手法

• 元のグラフ上の可変速度ランダムウォーク（VSRW）の挙動を模倣するメトリックグラフ上にブラウン運動を構成する。
• 辺のコンダクタンスと頂点の重みに基づいて、VSRWのジャンプダイナミクスと整合性を持つ内在的計量 $ d_V $ を定義する。
• 熱核とジャンプ時間のモーメント母関数を用いて、ブラウン運動の確率的挙動を分析する。
• 局所的ディリクレ空間における確率的完全性に関するシュトゥルムの定理を、メトリックグラフの設定に適用する。
• 体積増大に関する条件 $ \int^{\infty}_{r_0} \frac{r}{\log V_{\rho}(B_{\rho}(x_0,r))} \, dr = \infty $ を導出し、これが確率的完全性の必要十分条件であることを示す。
• 特定の例（出生死滅過程や球対称木）に対して、適応計量における漸近的体積推定を用いて基準を検証する。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体におけるグリゴリヤンの結果に類似した、グラフにおける確率的完全性の体積増大基準を導くことは可能か？
• RQ2 どの計量構造が、その計量における体積増大が確率的完全性を決定することを保証するか？
• RQ3 なぜ標準的グラフ計量は、非対称的または非正則なグラフにおいて鋭い基準を導けないのか？
• RQ4 計量の選択が、確率的完全性の体積増大条件の鋭さにどのように影響するか？
• RQ5 VSRWから導かれる内在的計量を用いて、元のグラフの確率的完全性を反映するブラウン運動を構築できるか？

主な発見

• 本稿では、重み付きグラフの確率的完全性が、$ \rho $ を適応計量 $ d_V $ として、積分 $ \int^{\infty}_{r_0} \frac{r}{\log V_{\rho}(B_{\rho}(x_0,r))} \, dr $ の発散と同値であることを証明している。
• 辺重み $ \pi_{n,n+1} = (n+1)^2 \log_+^\beta(n+1) $ を持つ出生死滅過程では、確率的完全性が成立するための必要十分条件は $ \beta \leq 1 $ であり、これは積分条件から得られる鋭い基準と一致する。
• 距離 $ r $ における近隣数が $ k(r) = \lfloor r^\alpha \rfloor $ である球対称木では、確率的完全性が成立するための必要十分条件は $ \alpha \leq 1 $ であり、$ d_V $ 計量における体積増大から確認できる。
• 内在的計量 $ d_V $ は強く適応されており、これを用いることで体積増大条件は鋭い基準を与えるが、他の適応計量（例：$ d_\beta $）では鋭い結果が得られないことがある。
• 標準的グラフ計量 $ d_I $ を用いると、たとえ確率的不完全なグラフ（例：$ \alpha > 1 $）であっても、積分の発散を満たすことがあるため、グラフ計量のみでは鋭い基準を得ることはできない。
• グラフ $ \Gamma_\alpha $ を $ d_I $ で評価した反例は、非局所的ディリクレ空間とは対照的に、グラフにおける体積増大と確率的完全性の関係が根本的に異なることを示している。