[論文レビュー] On index expectation and curvature for networks

Oliver Knill|arXiv (Cornell University)|Feb 21, 2012

Topological and Geometric Data Analysis参考文献 4被引用数 36

ひとこと要約

本稿では、有限単純グラフ上の単射関数の期待インデックスが、各頂点におけるグラフの組合せ的曲率に等しいことを確立し、ガウス・ボンネとポincare・ホフプファーティーレムを統合する。確率論を用いて、すべての単射関数上での離散的インデックス関数 $ i_f(x) $ の期待値が曲率 $ K(x) $ に等しいことを証明し、離散幾何における曲率の確率的解釈を提供する。

ABSTRACT

We prove that the expectation value of the index function i(x) over a probability space of injective function f on any finite simple graph G=(V,E) is equal to the curvature K(x) at the vertex x. This result complements and links Gauss-Bonnet sum K(x) = chi(G) and Poincare-Hopf sum i(x) = chi(G) which both hold for arbitrary finite simple graphs.

研究の動機と目的

• 有限単純グラフにおける離散的モース理論とグラフ曲率の間の確率的関係を確立すること。
• 単射関数上でのインデックス関数の期待値を通じて、ガウス・ボンネとポincare・ホフプファーティーレムを統合すること。
• 連続的結果における曲率がオイラー乗数に積分されることの離散的類似を提供すること。
• 奇数次元の幾何的グラフが連続的状況と同様にゼロ曲率を持つことを示す基礎を築くこと。

提案手法

• 頂点集合 $ V $ 上の積測度としてのリーマン測度を備えた単射関数 $ f: V \to [-1,1] $ の確率空間を定義する。
• インデックス関数 $ i_f(x) = 1 - \chi(S^{-}(x)) $ を導入し、ここで $ S^{-}(x) $ は関数値が小さい頂点からなる単位球の部分グラフを表す。
• 頂点レベルのクライク数とグローバルクライク数を関連付ける転送方程式 $ \sum_{x \in V} V_{k-1}(x) = (k+1)v_k $ を用いる。
• 中間方程式 $ \sum_{x \in V} W_k(x) = k v_{k+1} $ を適用し、ここで $ W_k(x) $ は $ S(x) $ 内の $ k $-単体で、$ S^{-}(x) $ と $ S^{+}(x) $ の両方の頂点を含むものを数える。
• 変形によるインデックス安定性を用いて、$ \sum i_f(x) $ が $ f $ に依存しないことを示し、$ -f $ との対称性を用いる。
• これらの道具をガウス・ボンネおよびポincare・ホフプファーティーレムと組み合わせ、期待値と和の交換を用いて $ \mathbb{E}[i_f(x)] = K(x) $ を証明する。

実験結果

リサーチクエスチョン

• RQ1 すべての単射関数 $ f $ 上での離散的インデックス $ i_f(x) $ の期待値は、頂点 $ x $ における組合せ的曲率 $ K(x) $ に等しいか？
• RQ2 ポincare・ホフプファーティーレムは、確率的視点から再解釈可能であり、曲率を回復できるか？
• RQ3 球面上のクライク数に関する転送および中間方程式は、グローバルトポロジカル不変量とどのように関係するか？
• RQ4 この枠組みは、連続的状況と同様に奇数次元の幾何的グラフがゼロ曲率を持つことを示すために拡張可能か？
• RQ5 多様体上の連続的状況を模倣する、グラフ上のモース関数の自然な確率空間は何か？

主な発見

• すべての単射関数 $ f $ 上でのインデックス関数 $ i_f(x) $ の期待値は、頂点 $ x $ における曲率 $ K(x) $ に等しく、すなわち $ \mathbb{E}[i_f(x)] = K(x) $ である。
• この結果により、ガウス・ボンネ $ \sum_x K(x) = \chi(G) $ とポincare・ホフプファーティーレム $ \sum_x i_f(x) = \chi(G) $ の両定理が、確率的平均化を通じて統合される。
• インデックス和 $ \sum_x i_f(x) $ は、$ f $ の連続的変形に対して不変であり、単射関数の選択に依存しないことが証明される。
• すべての単位球がサイクルであるグラフ（例：イコスハエドロン）では、インデックス期待値と曲率が一致する：$ \mathbb{E}[1 - s_f(x)/2] = 1 - |S(x)|/6 = K(x) $。
• 証明は、転送方程式 $ \sum_x V_{k-1}(x) = (k+1)v_k $ および中間方程式 $ \sum_x W_k(x) = k v_{k+1} $ に依存しており、これらは球面上の混合クライクを数える。
• この結果により、奇数次元多様体がゼロオイラー乗数を持つという連続的事実の離散的類似が得られる。対称的インデックスが消えるためである。