[論文レビュー] The theorems of Green-Stokes,Gauss-Bonnet and Poincare-Hopf in Graph Theory

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

Graph Theory and Algorithms参考文献 19被引用数 9

ひとこと要約

本稿は、有限単純グラフ上の組合せ的曲率、微分形式、インデックス理論の定義を用いて、グラフ理論におけるグリーン＝ストークス、オイラー＝ボンネ、ポincare＝ホフプの古典的定理の離散的類似を確立する。主な貢献は、すべての頂点におけるグラフ曲率の和がオイラー特性に等しくなること、およびすべての頂点における単射関数のインデックスの和もオイラー特性に等しくなることの証明であり、微分位相幾何学の根幹的概念が完全に離散的な設定で統一されることを示している。

ABSTRACT

By proving graph theoretical versions of Green-Stokes, Gauss-Bonnet and Poincare-Hopf, core ideas of undergraduate mathematics can be illustrated in a simple graph theoretical setting. In this pedagogical exposition we present the main proofs on a single page and add illustrations. While discrete Stokes is is old, the other two results for graphs were found only recently.

研究の動機と目的

• 微分位相幾何学の古典的定理（グリーン＝ストークス、ガウス＝ボンネ、ポincare＝ホフプ）を、完全に組合せ的なグラフ理論的枠組みへと拡張すること。
• 連続的概念の離散的類似を用いて、有限単純グラフ上での曲率、微分形式、インデックス理論を定義すること。
• すべての頂点における局所的曲率の和がグラフのオイラー特性に等しくなること、およびすべての頂点における単射関数のインデックスの和もオイラー特性に等しくなることの証明。
• これらの結果をグラフ論的言語を用いて教育的かつ自己完結的に提示し、高度な位相的アイデアを離散数学によってアクセス可能にすること。

提案手法

• グラフのオイラー特性を、各次元のクランク（clique）の交項和として定義する：$\chi(G) = \sum_{k=0}^{\infty} (-1)^k v_k$、ここで$v_k$は$K_{k+1}$部分グラフの数を表す。
• 頂点$v$における曲率を$K(v) = \sum_{k=0}^{\infty} (-1)^k V_{k-1}(v)/(k+1)$として定義する。ここで$V_{k-1}(v)$は、$v$の単位球$S(v)$内の$k$-クランクの数を数える。
• $k$-形式を$k$-クランク上の反対称関数として定義し、外微分$df$を面への交項和によって定義する。
• 単射関数$f: V \to \mathbb{R}$を用いて、インデックス$i_f(v) = 1 - \chi(S_f^-(v))$を定義する。ここで$S_f^-(v)$は$f$-値が小さい隣接頂点の部分グラフを表す。
• 頂点$v$における$k$-単体の数$W_k(v)$が、$f$-値が$f(v)$より小さい・大きい両方の頂点を含む$S(v)$内の$k$-クランクの数であるとし、転送方程式$\sum_{v \in V} W_k(v) = (k+1) v_{k+1}$を用いてグラフ論的ストークスの定理を確立する。
• 曲率の和をとることによりガウス＝ボンネの定理を証明する：$\sum_{v \in V} K(v) = \chi(G)$、およびインデックスの和をとることによりポincare＝ホフプの定理を証明する：$\sum_{v \in V} i_f(v) = \chi(G)$。

実験結果

リサーチクエスチョン

• RQ1 古典的ガウス＝ボンネの定理は、有限グラフを用いた完全な離散的設定で再定式化され、証明可能か？
• RQ2 単純グラフ上で、隣接頂点の部分グラフを用いて定義される離散的インデックスを用いた場合、ポincare＝ホフプのインデックス定理は成立するか？
• RQ3 離散的微分形式およびクランク上に定義された外微分を用いて、グリーン＝ストークスの定理をグラフに適応可能か？
• RQ4 次元と可定向性は、これらの定理の離散的類似を定式化する上で果たす役割は何か？
• RQ5 離散的曲率およびインデックスの概念は、グラフ論的文脈においてオイラー特性とどのように関係するか？

主な発見

• 有限単純グラフ$G$のすべての頂点$v$における曲率$K(v)$の和が、オイラー特性$\chi(G)$に等しい。これは離散的ガウス＝ボンネの定理の証明である。
• 頂点集合$V$上に任意の単射関数$f$が与えられたとき、すべての頂点におけるインデックス$i_f(v) = 1 - \chi(S_f^-(v))$の和がオイラー特性$\chi(G)$に等しい。これは離散的ポincare＝ホフプの定理の確立を示している。
• 転送方程式$\sum_{v \in V} W_k(v) = (k+1) v_{k+1}$が成り立つ。ここで$W_k(v)$は、$f$-値が$f(v)$より小さい・大きい両方の頂点を含む$S(v)$内の$k$-クランクの数を表す。この関係によりストークスの定理の証明が可能になる。
• $k$次元グラフにおいて、頂点$v$における曲率は、$k=1$のとき$K(v) = 1 - \text{deg}(v)/2$、$k=2$で境界なしのとき$K(v) = 1 - \text{deg}(v)/6$として与えられる。これは低次元における明示的な曲率公式を示している。
• 本稿では、単位球が球的であることを帰納的に定義する「球的グラフ」—つまり、正確に2つの臨界点を持つ関数を備えるグラフ—が、位相的球体の離散的類似に一致することを示している。
• 離散的リーマンの定理が実現されている：$k$次元グラフが球的であるための必要十分条件は、正確に2つの臨界点を持つ単射関数を備え、そのレベル集合が$h$-コボルディズムな球体を形成することである。