[論文レビュー] How is a graph like a manifold?

Ethan D. Bolker, Victor Guillemin+1 more|ArXiv.org|Jun 10, 2002

Advanced Combinatorial Mathematics参考文献 17被引用数 15

ひとこと要約

この論文は、正則グラフ上のモース理論を用いてグラフ論的ベッチ数を導入することで、グラフ理論と多様体理論の間の深い類似関係を確立し、単体的凸ポリトープにおける面の数え上げや埋め込みグラフの平行再描画といった古典的組合せ問題の解決を可能にした。主な貢献は、マクマレン予想の面数公式が、これらのグラフベッチ数から自然に導かれるのを示したことである。平行再描画の数は、マクマレン公式に類似した公式で与えられ、GKM多様体や等長コホモロジーとの関係によって検証された。

ABSTRACT

In this article, we discuss some classical problems in combinatorics which can be solved by exploiting analogues between graph theory and the theory of manifolds. One well-known example is the McMullen conjecture, which was settled twenty years ago by Richard Stanley by interpreting certain combinatorial invariants of convex polytopes as the Betti numbers of a complex projective variety. Another example is the classical parallel redrawing problem, which turns out to be closely related to the problem of computing the second Betti number of a complex compact $(\C^*)^n$-manifold.

研究の動機と目的

• グラフ理論と多様体理論の間の概念的かつ計算的ブリッジを確立すること、特にベッチ数の観点から。
• 単体的 $n$ 次元凸ポリトープにおける $n-k$ 次元面の数を、グラフ的不変量を用いて解く古典的問題を解決すること。
• マクマレン予想の組合せ的解釈を提供すること。その不変量が、グラフ上のモース理論から生じるグラフベッチ数であることを示すこと。
• 接続と軸関数を用いてラグランジュ補間をグラフに一般化し、多項式合同式の系を解くこと。
• 埋め込みグラフの平行再描画の数を、零番目および第一ベッチ数を含む公式で数えること。単純ポリトープや 3-独立でないグラフへの拡張を含む。

提案手法

• 正則グラフに接続とモース関数を定義し、離散的モース理論フレームワークを導出する。
• 離散的モース理論を用いて、グラフの臨界セルに関連するホモロジー群のランクとしてグラフベッチ数 $\beta_\ell$ を定義する。
• 得られたベッチ数を用いて、単体的ポリトープの $n-k$ 次元面の数を公式 $f_{n-k} = \sum_{\ell=0}^{k} \binom{n-\ell}{k-\ell} \beta_\ell$ で表現する。
• 辺に軸関数を導入し、無限小運動と平行再描画をモデル化する。正確性と測地線的構造を活用する。
• グラフ上の接続を用いて、$f_i - f_j \equiv 0 \mod x_i - x_j$ の形の系を解くことで、グラフ上の多項式補間問題の解を構成する。
• 次数 $k$ の解の空間の次元の公式を導出：$n\beta_0 + \beta_1$。これは測地線的正確性や曲率のない曲線といった条件のもとで有効である。

実験結果

リサーチクエスチョン

• RQ1 正則グラフ上の離散的モース理論を用いて、グラフ的ベッチ数をどのように定義・計算できるか。
• RQ2 単体的ポリトープの面数に関するマクマレン予想が、グラフベッチ数を用いて再解釈され、証明可能か。
• RQ3 埋め込みグラフの平行再描画と、そのグラフのベッチ数との関係は何か。
• RQ4 グラフ上の多項式合同式の系は、古典的ラグランジュ補間をどのように一般化するか。また、いつ解が存在するか。
• RQ5 標準的仮定（例：3-独立性）が成立しない場合でも、公式 $n\beta_0 + \beta_1$ が平行再描画を正しく数えられる範囲はどの程度か。

主な発見

• 単体的 $n$ 次元凸ポリトープにおける $n-k$ 次元面の数は、$f_{n-k} = \sum_{\ell=0}^{k} \binom{n-\ell}{k-\ell} \beta_\ell$ で与えられ、ここで $\beta_\ell$ はポリトープの 1 スケルトンのグラフベッチ数である。
• ベッチ数 $\beta_\ell$ は $\beta_k = \beta_{n-k}$ を満たし、$\beta_0 \leq \beta_1 \leq \cdots \leq \beta_r$（$r = \lceil n/2 \rceil$）を満たす。これは、複素射影的多様体のベッチ数としての解釈により、マクマレン予想が確認されたことを示している。
• $\mathbb{R}^n$ に埋め込まれたグラフの平行再描画の数は、$n\beta_0 + \beta_1$ で与えられ、ここで $\beta_0$ および $\beta_1$ は接続のもとでのグラフの零番目および第一ベッチ数である。
• ペテルセン図形では、ベッチ数は $\beta = (1,4,4,1)$ であり、平行再描画の数は $2 \cdot 1 + 4 = 6$ である。これは内側の正五角形の拡大を含む。
• 大星型イコーサエドロンは、ベッチ数 $\beta = (5,5,5,5)$ を持ち、$3 \cdot 5 + 5 = 20$ 通りの平行再描画を持つ。$\beta_0 = 1$ 条件が満たされないにもかかわらず、1 面ずつに対応する。
• 軸関数が 3-独立でない、または測地線が曲率を持たない場合でも、公式 $n\beta_0 + \beta_1$ は、$n$ 角形（$n = 2\beta_0 + \beta_1$）の例のように、依然として平行再描画を正しく数えられる。