[論文レビュー] Stochastic incompleteness for graphs and weak Omori-Yau maximum principle

Xueping Huang|arXiv (Cornell University)|Sep 14, 2010

Advanced Topology and Set Theory参考文献 18被引用数 4

ひとこと要約

本稿は、ケラーとレンツの枠組みにおいて、グラフに対する弱オモリ・ヤウ最大原理の離散版を確立し、確率的不完全性と勾配類似の境界を満たす特定の有界関数の存在を結びつける。既知の確率的完全性／不完全性の基準を統一的かつ拡張的に扱い、グラフの手術（例：高次数の頂点への制限）に対して安定であることを示し、特に物理的ラプラシアンに対して、曲率的条件およびハシャミンスキー型基準のより強い形を提供する。

ABSTRACT

We prove an analogue of the weak Omori-Yau maximum principle and Khas'minskii's criterion for graphs in the general setting of Keller and Lenz. Our approach naturally gives the stability of stochastic incompleteness under certain surgeries of graphs. It allows to develop a unified approach to all known criteria of stochastic completeness/incompleteness, as well as to obtain new criteria.

研究の動機と目的

• ケラーとレンツの枠組みにおいて、グラフに対する弱オモリ・ヤウ最大原理の離散版を確立すること。
• グラフにおける確率的完全性および不完全性の既存基準を、一つの解析的枠組みで統一すること。
• 特定のグラフの手術（例：高次数の頂点への制限）に対して、確率的不完全性の安定性を証明すること。
• 物理的ラプラシアンに対して、既知の基準（ハシャミンスキーの基準や曲率的条件）を強化すること。
• 体積成長の閾値や境界および次数の差に関する予想を含む、未解決の問題を探索すること。

提案手法

• 確率的不完全性と、グラフ設定における弱オモリ・ヤウ最大原理の条件を満たす関数の存在との同値性を証明すること。
• 弱オモリ・ヤウ原理を用いて、確率的不完全性のための、より強いハシャミンスキー基準の新バージョンを導出すること。
• この枠組みを物理的ラプラシアンに適用し、改善された曲率的基準を導出し、球対称グラフを分析すること。
• 重み付き次数が固定の閾値を超える頂点に制限するなどのグラフの手術に対して、確率的不完全性の安定性を確立すること。
• 体積成長および境界条件を分析するための枠組みを用い、特に球対称および木構造のグラフにおいて分析すること。
• 離散的設定の特徴を活かして、多様体の場合には得られない結果（例：より強いハシャミンスキー型基準）を証明すること。

実験結果

リサーチクエスチョン

• RQ1 グラフにおける確率的不完全性は、離散的弱オモリ・ヤウ最大原理の条件を満たす関数の存在と対応するか？
• RQ2 弱オモリ・ヤウ原理は、グラフにおける確率的完全性および不完全性の既存基準を統一的かつ強化できるか？
• RQ3 高重み次数の頂点への制限などのグラフの手術に対して、確率的不完全性は安定か？
• RQ4 グラフ設定では、多様体の場合と比較して、曲率的条件およびハシャミンスキー型基準を強化できるか？
• RQ5 グラフにおける確率的不完全性に必要な最小の体積成長は何か？ また、r^3 の多項式成長は確率的完全性を保証するか？

主な発見

• 確率的不完全性は、グラフ設定において、弱オモリ・ヤウ最大原理の条件を満たす関数の存在と同値である。
• ハシャミンスキーの基準のより強いバージョンが証明され、これは多様体の場合の直接の一般化ではない。
• 重み付き次数が固定の閾値を超える頂点からなる部分グラフは、元のグラフが確率的不完全であれば、依然として確率的不完全性を保つ。
• 球対称グラフでは、確率的不完全性は、球のサイズを含むある級数が収束する場合にかつその場合に限り成立する。
• 体積成長 μ(B_r) ≤ Cr^{3+ε} を満たす確率的不完全なグラフが構成され、r^3 の成長が確率的完全性を保証しないことが示された。
• 体積比 ∑ #B_r / #∂B_r = ∞ が確率的完全性を示すという予想に対して反例が提示され、離散的設定ではこのような条件が十分でないことが示された。