[論文レビュー] Poincare Hopf for vector fields on graphs

Oliver Knill|arXiv (Cornell University)|Nov 11, 2019

Topological and Geometric Data Analysis参考文献 32被引用数 5

ひとこと要約

この論文は、各単体に支配的頂点を割り当てるバンドル写像 $F: G \to V$ を用いて、有限単純グラフ上のベクトル場に対してポアンカレ＝ホプフの定理を一般化する。インデックス $i_F(v) = \chi(F^{-1}(v))$ は、$v$ の逆像のオイラー特徴量として定義され、主な結果としてすべての頂点におけるインデックスの和がオイラー特徴量 $\chi(G)$ に等しいことが示され、微分位相幾何学の古典的結果がグラフ力学系やエネルギー関数への応用を伴って離散的設定へと拡張される。

ABSTRACT

We generalize the Poincare-Hopf theorem sum_v i(v) = X(G) to vector fields on a finite simple graph (V,E) with Whitney complex G. To do so, we define a directed simplicial complex as a finite abstract simplicial complex equipped with a bundle map F: G to V telling which vertex T(x) in x dominates the simplex x. The index i(v) of a vertex v is defined as X(F^-1(v)), where X is the Euler characteristic. We get a flow by adding a section map F: V to G. The resulting map T on G is a discrete model for a differential equation x'=F(x) on a compact manifold. Examples of directed complexes are defined by Whitney complexes defined by digraphs with no cyclic triangles or gradient fields on finite simple graphs defined by a locally injective function. The result extends to simplicial complexes equipped with an energy function H:G to Z that implements a divisor. The index sum is then the total energy.

研究の動機と目的

• 滑らかな多様体から有限単純グラフおよび離散的単体的複体へ、古典的ポアンカレ＝ホプフの定理を拡張すること。
• 各単体に支配的頂点を割り当てる写像 $F: G \to V$ を用いて、グラフ上におけるベクトル場および微分方程式の離散的類似を定義すること。
• エネルギー構造を持つ単体的複体へのインデックス定理の一般化を図り、全エネルギー $\chi(G) = \sum_{x \in G} H(x)$ がインデックスの和 $\sum_v i_F(v)$ に等しいことを示すこと。
• 写像 $F: G \to V$ と $F: V \to G$ の合成により、頂点集合上に力学系を構成する離散的カウチ＝ピカール存在定理を確立すること。

提案手法

• 有限な抽象的単体的複体 $G$ に写像 $F: G \to V$ を備えた有向単体的複体を定義し、各単体 $x \in G$ に対して $F(x) \in x$ が成り立つように、各単体に支配的頂点を割り当てる。
• 頂点 $v$ のインデックスを $i_F(v) = \chi(F^{-1}(v))$ として定義し、微分位相幾何学におけるインデックスの概念を一般化する。
• バンドル写像 $F$ を用いて単体のエネルギーを頂点に再分配することで全エネルギーを保存するキルヒホッフ型保存則を用いて、ポアンカレ＝ホプフの定理 $\sum_{v \in V} i_F(v) = \chi(G)$ を証明する。
• $F: G \to V$ と $F: V \to G$ の組み合わせにより離散的ベクトル場を構成し、$v \in F(v)$ を満たすセクション写像を用いて、$V$ および $G$ の両方上で $T = F^2$ という離散的フローを定義し、$x$ と $T(x)$ の交差により連続性を保証する。
• 局所的に単射な関数 $g: V \to \mathbb{R}$ で定義される勾配場に対して、$F(x)$ を $x$ 内で $g$ を最大にする頂点として定義し、インデックスを $i_F(v) = 1 - \chi(S^{-}(v))$ とし、$S^{-}(v)$ を $g(w) < g(v)$ を満たす頂点からなる $S(v)$ の部分複体とする。
• エネルギー関数 $H: G \to \mathbb{Z}$ に拡張し、全エネルギー $\chi(G) = \sum_{x \in G} H(x)$ がインデックスの和に等しくなることを示し、$H(x) = \omega(x) = (-1)^{\dim(x)}$ の場合にオイラー特徴量に還元されることを回復する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな多様体から有限グラフおよび離散的単体的複体へ、離散的ベクトル場構造を用いてポアンカレ＝ホプフの定理を一般化することは可能か？
• RQ2 有限グラフ上で写像 $F: G \to V$ を用いて、微分方程式 $x' = F(x)$ の離散的類似をどのようにモデル化できるか？
• RQ3 バンドル写像 $F: G \to V$ は、頂点のインデックスを定義し、オイラー特徴量のような位相的不変量を保存する上で果たす役割は何か？
• RQ4 ランダムまたは無渇ベクトル場の平均化により曲率が得られる仕組みは何か？また、グラフ上のレヴィット曲率とはどのような関係にあるか？
• RQ5 $d$-グラフ上の離散的ベクトル場は、滑らかな多様体上の勾配フローの力学をどの程度模倣するか？また、この設定においてベッチ数と臨界点の関係は何か？

主な発見

• 離散的設定においてもポアンカレ＝ホプフの定理が成立する：$\sum_{v \in V} i_F(v) = \chi(G)$ であり、$i_F(v) = \chi(F^{-1}(v))$ はバンドル写像 $F: G \to V$ による $v$ の逆像のオイラー特徴量である。
• $H(x) = \omega(x) = (-1)^{\dim(x)}$ の場合、全エネルギー $\chi(G)$ は単体的複体のオイラー特徴量に還元され、インデックスの和は古典的ポアンカレ＝ホプフ恒等式を回復する。
• 局所的に単射な関数 $g$ で定義される勾配場に対して、$v$ におけるインデックスは $i_F(v) = 1 - \chi(S^{-}(v))$ であり、$S^{-}(v)$ は単位球 $S(v)$ のうち $g(w) < g(v)$ を満たす頂点からなる部分複体である。
• 頂点のすべての可能なランダム順序（または彩色）に対するインデックスの平均を取ることでレヴィット曲率 $K(v)$ が得られ、期待値 $\mathbb{E}[i_g(v)] = K(v)$ が成り立つ。これにより離散的ガウス＝ボンネの定理が確立される。
• bi-directional ベクトル場を備えた $d$-グラフの場合、理論は双曲的力学をモデル化する：臨界点はソース、シンク、またはサドルに対応し、安定・不安定多様体は $F^{-}(v)$ および $F^{+}(v)$ のホモトピー型としてモデル化され、それらの結合は単位球 $S(v)$ とホモトープである。
• リーブの球面定理は離散的に成立する：$d$-球面はちょうど2つの臨界点（最小値と最大値）を持つモース関数を備え、これは離散的設定における球面の特徴づけを提供する。