[論文レビュー] A note on self-adjoint extensions of the Laplacian on weighted graphs

Xueping Huang, Matthias Keller+2 more|arXiv (Cornell University)|Aug 31, 2012

Geometric Analysis and Curvature Flows参考文献 32被引用数 5

ひとこと要約

本稿では、重み付きグラフ上の重み付きラプラシアンが一意な自己共役拡張またはマルコフ拡張を持つための条件を確立する。内在的距離と容量論を用いて、局所的に有限なグラフでは、距離の完備性が本質的自己共役性を示し、不完全なグラフでは、コーシー境界の容量によって一意性が特徴づけられることを証明する。

ABSTRACT

We study the uniqueness of self-adjoint and Markovian extensions of the Laplacian on weighted graphs. We first show that, for locally finite graphs and a certain family of metrics, completeness of the graph implies uniqueness of these extensions. Moreover, in the case when the graph is not metrically complete and the Cauchy boundary has finite capacity, we characterize the uniqueness of the Markovian extensions.

研究の動機と目的

• 重み付きグラフ上の重み付きラプラシアンが一意な自己共役拡張またはマルコフ拡張を持つための条件を同定すること。
• 標準的パス距離の代わりに内在的距離を用いることで、リーマン多様体からの結果を離散的グラフへと拡張すること。
• グラフが幾何的に不完全である場合、コーシー境界の役割がマルコフ拡張の一意性を決定する仕組みを同定すること。
• 本質的自己共役性の一意性結果において、標準的パス距離ではなく、内在的距離が正しい幾何的構造であることを示すこと。
• 不完全なグラフにおける境界の容量、ミンコフスキー余次元、および拡張の一意性との関係を調査すること。

提案手法

• Frank, Lenz, および Wingert が導入した内在的距離を用いて、重み付きグラフに幾何的構造を定義する。
• 内在的パス距離に関する距離の完備性の概念を適用し、本質的自己共役性を確立する。
• 不完全なグラフにおける一意性を分析するために、コーシー境界の容量の概念を導入する。
• マルコフ拡張の一意性と境界の容量がゼロであることが同値であるという関係を用い、リーマン幾何学からの結果を一般化する。
• 上位ミンコフスキー余次元を用いて、境界の容量がゼロであるための十分条件を導出する。
• 容量と余次元の条件が必要でないことを示す明示的な反例を構成し、本質的自己共役性がマルコフ拡張の一意性を示さないことも示す。

実験結果

リサーチクエスチョン

• RQ1 重み付きグラフにおいて、ラプラシアンが本質的に自己共役であるための条件は何か？
• RQ2 内在的パス距離に関する距離の完備性は、マルコフ拡張の一意性とどのように関係するか？
• RQ3 コーシー境界の容量は、マルコフ拡張の一意性を決定する上で果たす役割は何か？
• RQ4 上位ミンコフスキー余次元が2以下であれば、境界の容量がゼロになると言えるか？
• RQ5 ラプラシアンが本質的に自己共役であるが、一意なマルコフ拡張を持たないグラフは存在するか？

主な発見

• 局所的に有限なグラフでは、内在的パス距離に関する距離の完備性が、重み付きラプラシアンの本質的自己共役性を示す。
• 距離的に不完全な場合、ラプラシアンが一意なマルコフ拡張を持つための必要十分条件は、コーシー境界の容量がゼロであることである。
• コーシー境界の上位ミンコフスキー余次元が2より大きい場合、境界の容量はゼロである。
• 境界の容量が無限大であるようなグラフが存在し、その場合ラプラシアンは本質的に自己共役であるか、一意なマルコフ拡張を持たないことが示され、容量のみでは一意性が決定されないことがわかる。
• 「本質的に自己共役である」から「一意なマルコフ拡張を持つ」という含みは成り立たないことが、例5.1によって示された。
• 例は、上位ミンコフスキー余次元が≤2の場合、境界が極的（容量ゼロ）であるか、非極的（容量無限大）であるかの両方が可能であることを示しており、余次元の条件が容量ゼロを保証するものではないことを示している。