[論文レビュー] Stochastic Completeness of Graphs

Radosław K. Wojciechowski|ArXiv.org|Dec 10, 2007

Graph theory and applications参考文献 9被引用数 57

ひとこと要約

本稿は、固定された根からの距離 r における平均頂点次数 m(r) の系列 ∑₁/ₘ(r) の発散を用いて、無限で局所的に有限かつ連結なグラフの確率的完全性の鋭い基準を確立する。頂点次数が急速に増加するグラフ（例えば、特定の木構造）は確率的不完全であることが示され、これとスペクトル的性質が関連づけられ、幾何的条件下でラプラシアンの空の本質的スペクトルが示される。

ABSTRACT

In this thesis, we analyze the stochastic completeness of a heat kernel on graphs which is a function of three variables: a pair of vertices and a continuous time, for infinite, locally finite, connected graphs. For general graphs, a sufficient condition for stochastic completeness is given in terms of the maximum valence on spheres about a fixed vertex. That this result is optimal is shown by studying a particular family of trees. We also prove a lower bound on the bottom of the spectrum for the discrete Laplacian and use this lower bound to show that in certain cases the Laplacian has empty essential spectrum.

研究の動機と目的

• 頂点次数の増加に関する幾何的条件を用いて、無限グラフの確率的完全性を特徴づけること。
• 根からの距離 r における平均次数 m(r) の系列 ∑₁/ₘ(r) の発散に基づき、確率的不完全性の明確な境界を確立すること。
• 確率的完全性を離散ラプラシアンのスペクトル的性質、特にスペクトルの下端と本質的スペクトルとに関連付けること。
• リーマン幾何における比較定理を、モデルツリーを基準構造として用いることで、離散グラフへと拡張すること。
• 特定の幾何的成長条件の下で、グラフ上のラプラシアンが本質的スペクトルを持たないことを示すこと。これは、負に曲がった多様体における類似結果と類似する。

提案手法

• 一般のグラフ上での熱核を、被覆法による構成を行い、スペクトル定理による構成と等価であることを検証する。
• 頂点次数が根からの距離にのみ依存するグラフとしてモデルツリーを定義し、熱核の明示的解析を可能にする。
• モデルツリーが ∑₁/ₘ(r) = ∞ であるときに限り確率的完全であることを、径対称関数上の熱核との比較技術を用いて証明する。
• 熱核の比較定理を確立する：一般の木がモデルツリーよりも速く分岐する場合、その熱核は点ごとに小さくなる。
• 標準的辺重みを用いた有界ラプラシアンを導入し、その熱核がいかなるグラフに対しても常に確率的完全であることを証明する。
• 根頂点に向かう辺と遠ざかる辺を含む幾何的比の条件に基づき、スペクトルの下端 λ₀(Δ) の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 頂点次数の増加に関するどの幾何的条件がグラフの確率的完全性を保証するか？
• RQ2 次数が根からの距離にのみ依存するモデルツリーの構造が、確率的完全性にどのように影響するか？
• RQ3 どの条件下でグラフ上の離散ラプラシアンが本質的スペクトルを持たないか？
• RQ4 木構造上の熱核比較定理は、確率的完全性およびスペクトルの下界とどのように関係するか？
• RQ5 正の λ-調和関数の存在とスペクトルの下端の間にはどのような関係があるか？

主な発見

• モデルツリーは、根からの距離 r における共通の次数 m(r) を用いて、∑_{r=0}^∞ 1/m(r) = ∞ であるときに限り確率的完全である。
• あるモデル部分木が確率的不完全である場合、その木全体も確率的不完全である。
• 木 T が確率的完全なモデルツリー Tₙ に含まれるならば、T は同様に確率的完全である。
• 任意のグラフ G に対して、固定頂点を中心とする球面上の最大次数が十分にゆっくり増加するならば、G は確率的完全である。
• 有界ラプラシアンに付随する熱核は、任意のグラフに対して常に確率的完全である。
• 固定頂点を中心とする球面上の最小次数が無限大に近づき、幾何的比の条件が満たされるならば、ラプラシアンは本質的スペクトルを持たない。