[論文レビュー] A graph theoretical Poincare-Hopf Theorem

Oliver Knill|arXiv (Cornell University)|Jan 5, 2012

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

ひとこと要約

この論文は、関数値が低い頂点からなる単位球面 $ S(v) $ の部分グラフ $ S^{-}(v) $ を用いて、$ i(v) = 1 - \chi(S^{-}(v)) $ と定義されるグラフ論的インデックスを導入することで、有限単純グラフにおける離散的ポアンカレ＝ホフプア定理を提示する。すべての頂点におけるこれらのインデックスの和は、オイラー乗数 $ \chi(G) $ に等しくなり、クラーク数え上げがNP困難なグラフに対しても、モース関数を用いて計算が高速かつ計算的に効率的な方法で $ \chi(G) $ を計算可能であることを示している。

ABSTRACT

We introduce the index i(v) = 1 - X(S(v)) for critical points of a locally injective function f on the vertex set V of a simple graph G=(V,E). Here S(v) = {w in E | (v,w) in E, f(w)-f(v)<0} is the subgraph of the unit sphere at v in G. It is the exit set of the gradient vector field. We prove that the sum of i(v) over V is always is equal to the Euler characteristic X(G) of the graph G. This is a discrete Poincare-Hopf theorem in a discrete Morse setting. It allows to compute X(G) for large graphs for which other methods become impractical.

研究の動機と目的

• 古典的ポアンカレ＝ホフプア定理のグラフ理論における離散的類似を確立すること。
• 有限単純グラフのオイラー乗数 $ \chi(G) $ を計算する計算的に効率的な方法を提供すること。
• クリーク数え上げやコホモロジーの計算の複雑さを避けるために、局所的インデックスの和を用いること。
• オイラー乗数 $ \chi(S^{-}(v)) $ を用いて、グラフにモース理論を一般化すること。

提案手法

• 各頂点 $ v $ におけるインデックスを、$ S^{-}(v) $ を $ f(w) < f(v) $ を満たす頂点 $ w $ によって生成される単位球面 $ S(v) $ の部分グラフとする $ i(v) = 1 - \chi(S^{-}(v)) $ と定義する。
• 頂点集合 $ V $ 上の局所的単射関数 $ f $ を用いて、インデックス関数による臨界点を定義する。
• すべての頂点におけるインデックスの和 $ \sum_{v \in V} i(v) $ がオイラー乗数 $ \chi(G) $ に等しいことを証明し、古典的ポアンカレ＝ホフプア定理を離散的グラフに一般化する。
• この方法が、クラーク数え上げがNP困難な場合でも、大多数のグラフに対して多項式時間で $ \chi(G) $ を計算できることを示す。
• このインデックス公式を幾何的グラフに適用し、三角形分割を通じて滑らかな極限における古典的定理と一致することを示す。
• インデックス定義を用いて、臨界点の周囲の小さな球面をとることで、連続的状況における古典的インデックスを回復する。

実験結果

リサーチクエスチョン

• RQ1 頂点ベースのインデックスと局所的グラフ構造のみを用いて、有限単純グラフに対して離散的ポアンカレ＝ホフプア定理を定式化できるか？
• RQ2 すべての有限単純グラフに対して、すべての頂点におけるインデックスの和 $ i(v) = 1 - \chi(S^{-}(v)) $ がオイラー乗数 $ \chi(G) $ に等しいか？
• RQ3 このインデックスに基づく方法は、従来のクリーク数え上げがNP困難な場合でも、$ \chi(G) $ を多項式時間で計算できるか？
• RQ4 多様体が三角形分割された場合、グラフ論的インデックスは滑らかな状況における古典的インデックスとどのように関係するか？
• RQ5 このアプローチは、ベッチ数を計算し、オイラー＝ポワンカレの公式を検証できるといった、モース理論の主要な特徴を保持するか？

主な発見

• 有限単純グラフ $ G $ のすべての頂点におけるインデックスの和 $ \sum_{v \in V} i(v) $ は、オイラー乗数 $ \chi(G) $ に等しくなる。これは、離散的ポアンカレ＝ホフプア定理の証明である。
• インデックス $ i(v) = 1 - \chi(S^{-}(v)) $ は、任意の局所的単射関数 $ f $ に対して定義可能であり、$ \chi(\emptyset) = 0 $ であり、整数値をとる。
• 21頂点と31辺を持つランダムグラフでは、インデックスの和が $ \chi(G) = -2 $ に一致し、計算されたオイラー乗数と一致した。
• 離散的トーラス $ C_n \times C_m $ の場合、極大点および極小点におけるインデックスは $ 1 $、鞍点では $ -1 $ となり、合計は $ 0 $ となり、$ \chi(G) $ に一致する。
• $ d $ 次元の球面をグラフとして三角形分割した場合、インデックスの和は $ \chi(G) = 1 + (-1)^d $ を与え、古典的結果と整合的である。
• 滑らかな極限において、グラフインデックス $ i_{r,f}(p) = 1 - \chi(S_r^-(p)) $ は、モース指数 $ k $ の臨界点に対して古典的ポアンカレ＝ホフプアインデックス $ (-1)^k $ に収束する。