[論文レビュー] Classical mathematical structures within topological graph theory

Oliver Knill|arXiv (Cornell University)|Feb 10, 2014

Topological and Geometric Data Analysis参考文献 42被引用数 12

ひとこと要約

本稿は、微分位相幾何学、微分幾つかくぎょうの古典的定理——ガウス・ボンネ、ポincareホフ、リーマン・ホフ、マクキャーン・シンガー——を、有限単純グラフの文脈で離散的曲率、コホモロジー、ラプラシアンの類似物を用いて確立する。これらの結果は、すべての有限単純グラフに対して条件なしに成り立つことが示され、代数的位相幾何学、離散的幾何学、解析学の間の深いつながりが、グラフ的不変量を通じて明らかになる。

ABSTRACT

Finite simple graphs are a playground for classical areas of mathematics. We illustrate this by looking at some theorems. These are slightly enhanced preparation notes for a talk given at the joint AMS meeting of January 16, 2014 in Baltimore.

研究の動機と目的

• 微分位相幾何学および微分幾何学の核心的定理——通常は滑らかな多様体を要件としている——が、有限単純グラフにおいて直接的かつ条件なしに類似定理を有することを示すこと。
• 離散的曲率、コホモロジー、ラプラシアン作用素を通じて、グラフ理論における代数的・位相的・解析的不変量を統一すること。
• グラフ的構造が自然に深い数学的結果を符号化することを示し、最小限の技術的負担で高級な概念を容易にアクセス可能にすること。
• 離散的アティヤ・シンガー指数定理の基盤を築き、離散的リーマン・ローチ定理の探求を行うこと。

提案手法

• 単位球 $ S(x) $ 内の $ K_{k+1} $ 部分グラフの数を表す $ V_k(x) $ を用いて、離散的曲率を定義する：$ K(x) = \sum_{k=0}^\infty (-1)^k V_{k-1}(x)/(k+1) $。
• 離散的リーマン・ホフ固定点定理を適用し、$ L(T) = \sum_{T(x)=x} i_T(x) $ を示す。ここで $ i_T(x) $ は単体 $ x $ における自己同型 $ T $ のインデックスである。
• 形式ラプラシアン $ L = dd^* + d^*d $ を用い、$ L_k $ が $ k $-形式に作用することによりコホモロジーを定義し、ホッジ＝ド・ラームおよびマクキャーン・シンガーの恒等式を証明する。
• 代数的不変量として、$ H^m(G) $ 内で $ f_1 \wedge \cdots \wedge f_m \neq 0 $ となるような $ k \geq 1 $ の $ k $-形式 $ f_j $ の最小個数であるカップ長さ $ \text{cup}(G) $ を導入する。
• 単射関数 $ f $ の臨界点を、$ S^-(x) = \{ y \in S(x) \mid f(y) < f(x) \} $ が変形可能でないような頂点 $ x $ として定義し、解析と位相の間の関係を結ぶ。
• ホモトピー不変性を用いて、$ G $ を変形可能な部分グラフの最小個数として $ \text{tcap}(G) $ を定義し、Ljusternik-Schnirelmannの不等式により $ \text{crit}(G) $ および $ \text{cup}(G) $ と関係付ける。

実験結果

リサーチクエスチョン

• RQ1 ガウス・ボンネやポincareホフといった古典的定理が、離散的曲率とコホモロジーを用いて、すべての有限単純グラフに対して条件なしに証明可能か？
• RQ2 カップ長さといった代数的不変量、tcapといった位相的不変量、臨界点数といった解析的不変量が、離散的グラフにおいてどのように関係するか？
• RQ3 リーマン・ホフ固定点定理を離散化可能か？ その場合、リーマン・ホフ数が固定単体におけるインデックスの和に等しくなるか？
• RQ4 滑らかな多様体の技術的複雑性を回避する離散的アティヤ・シンガー指数定理の類似物は存在するか？
• RQ5 離散的グラフにおけるディラック作用素の等スペクトル変形から、どのような幾何的構造が生じるか？

主な発見

• ガウス・ボンネ定理は条件なしに成立：$ \sum_{x \in V} K(x) = \chi(G) $、ここで $ \chi(G) $ はオイラー特徴量である。
• ポincareホフ定理は成立：$ \sum_{x \in V} i_f(x) = \chi(G) $、ここで $ i_f(x) $ は単射関数 $ f $ が頂点 $ x $ において持つインデックスである。
• インデックス期待値定理は：$ \mathbb{E}[i_f(x)] = K(x) $ であり、曲率とインデックスの確率的関係を示す。
• リーマン・ホフ固定点定理は成立：$ L(T) = \sum_{T(x)=x} i_T(x) $、ここで $ L(T) $ は自己同型 $ T $ のリーマン・ホフ数である。
• ブラウワーの固定単体定理が証明された：$ G $ が変形可能ならば、任意の自己同型 $ T $ は固定単体を持つ。
• Ljusternik-Schnirelmannの不等式は成立：$ \text{cup}(G) \leq \text{tcap}(G) \leq \text{crit}(G) $、代数的・位相的・解析的不変量の関係を示す。