[論文レビュー] A discrete Gauss-Green identity for unbounded Laplace operators and transience of random walks

Palle E. T. Jørgensen, Erin P. J. Pearse|arXiv (Cornell University)|Jun 8, 2009

Graph theory and applications参考文献 26被引用数 12

ひとこと要約

本稿は、無限重み付きグラフ（抵抗ネットワーク）上の非有界ラプラシアンに対して、離散的ガウス＝グリーン恒等式を確立する。境界項が消えない形で、マーティン境界を一般化する新しい境界対象 bdG を導入する。主な貢献は、エネルギーが有限である調和関数の境界積分表現を可能にし、離散的ポテンシャル論における新しい境界理論を提供するとともに、このようなネットワーク上でのランダムウォークの非再帰性に関する基準を提示することにある。

ABSTRACT

A resistance network is a connected graph $(G,c)$. The conductance function $c_{xy}$ weights the edges, which are then interpreted as resistors of possibly varying strengths. The relationship between the natural Dirichlet form $\mathcal E$ and the discrete Laplace operator $Δ$ on a finite network is given by $\mathcal E(u,v) = \la u, \Lap v a_2$, where the latter is the usual $\ell^2$ inner product. We extend this formula to infinite networks, where a new (boundary) term appears. The Laplace operator is typically unbounded in this context; we construct a reproducing kernel for the space of functions of finite energy which allows us to specify a dense domain for $Δ$ and give several criteria for the transience of the random walk on the network. The extended Gauss-Green identity and the reproducing kernel are the foundation for a boundary integral representation for harmonic functions of finite energy, akin to that of Martin boundary theory.

研究の動機と目的

• 本稿の目的は、境界項が消えない無限で非有界なネットワークに対して、古典的ガウス＝グリーン恒等式を拡張することにある。
• 無限グラフにおけるエネルギーが有限である調和関数のためのきめ細かな境界理論の欠如に対処すること。
• 非有界ラプラシアン ∆ の定義域を定義し、エネルギー空間に対する再生核を構成すること。
• 新しい境界構造を用いて、無限ネットワーク上でのランダムウォークの非再帰性を特徴づけること。
• マーティン境界やポアソン境界理論に類似した境界表現理論の基盤を築くこと。ここでは抵抗境界 bdG を調和関数表現の支えとして用いる。

提案手法

• 著者らは、関数のディリクレエネルギーが有限であることを前提に、エネルギーヒルベルト空間 HE を、形式 E(u,v) = 1/2 ∑cxy(u(x)−u(y))(v(x)−v(y)) の完備化として定義する。
• 新しい境界対象 bdG を、被覆集合の極限として定義し、頂点集合の部分集合ではなく、測地線の同値類として解釈する。
• ラプラシアン ∆ は、エネルギー形式と整合性を持つように、HE に対する再生核を用いて構成された稠密な定義域 M 上で定義される。
• 離散的ガウス＝グリーン恒等式が導出される：E(u,v) = ∑u∆v + ∑u ∂v/∂n over bdG であり、非再帰的ネットワークでは境界項が非ゼロである。
• 境界微分 ∂v/∂n は、有限部分グラフの被覆列における極限過程として定義される。
• 同定された例（同次的木、双曲的グラフ、スターネットワーク）を通じて理論の妥当性が検証され、境界項の明示的計算と調和拡張が示される。

実験結果

リサーチクエスチョン

• RQ1 非有界な無限ネットワークに対して、非ゼロの境界項を持つ離散的ガウス＝グリーン恒等式は存在するか？
• RQ2 エネルギーが有限である関数を有する無限グラフの文脈において、非有界ラプラシアン ∆ の定義域をどのように厳密に定義できるか？
• RQ3 ガウス＝グリーン恒等式における境界項が収束し、かつ非ゼロであるための条件は何か？
• RQ4 新しい境界対象 bdG は、無限ネットワーク上でのランダムウォークの非再帰性とどのように関係するか？
• RQ5 エネルギーが有限である調和関数は、bdG と法線微分 ∂v/∂n を含む境界積分によって表現可能か？

主な発見

• 無限ネットワークに対して離散的ガウス＝グリーン恒等式が確立された：E(u,v) = ∑u∆v + ∑u ∂v/∂n over bdG であり、非再帰的ネットワークでは境界項が非ゼロである。
• 境界対象 bdG は頂点集合の部分集合ではなく、測地線の同値類の極限として得られる対象であり、後続の研究で測度空間として形式化されている。
• E(h) < ∞ を満たす調和関数 h に対して、h(x) = ∑ h ∂hx/∂n + h(o) と境界積分表現が得られる。
• 非自明なモノポールが存在する場合、bdG は空でない。非ゼロの調和関数が存在する場合、少なくとも2つの境界点が存在する。
• 幾何的半整数モデル (Z, cn) において、モノポール wo(n) = ar|n| が存在し、h(n) = sgn(n)(1−wo(n)) の境界項は正確に 1 に等しい。
• u が定義域 M に属さない場合、境界項は被覆の選び方に依存する。例として、被覆に応じて境界項が log 2 で下から抑えられることも、0 に近づくこともあることが示され、M に制限する必要性が強調される。