[論文レビュー] Curvature from Graph Colorings

Oliver Knill|arXiv (Cornell University)|Oct 5, 2014

Advanced Graph Theory Research参考文献 24被引用数 15

ひとこと要約

本稿は、有限単純グラフの曲率 $ K(x) $ が、グラフ彩色におけるインデックス期待値によって定義され、離散ガウス・ボネの定理 $ \sum_x K(x) = \chi(G) $ を満たすことを確立する。すべての適切な $ c $-彩色（$ c $ は彩色数）の上でのポincare-ホフ指数 $ i_f(x) $ の平均が曲率 $ K(x) $ に一致することを証明し、離散幾何における曲率の確率的・組合せ的解釈を提供する。

ABSTRACT

Given a finite simple graph G=(V,E) with chromatic number c and chromatic polynomial C(x). Every vertex graph coloring f of G defines an index i_f(x) satisfying the Poincare-Hopf theorem sum_x i_f(x)=chi(G). As a variant to the index expectation result we prove that E[i_f(x)] is equal to curvature K(x) satisfying Gauss-Bonnet sum_x K(x) = χ(G), where the expectation is the average over the finite probability space containing the C(c) possible colorings with c colors, for which each coloring has the same probability.

研究の動機と目的

• 有限単純グラフにおける曲率の確率的・組合せ的解釈を、グラフ彩色を用いて確立すること。
• すべての適切な $ c $-彩色上でのPoincaré-Hopfインデックスの期待値が曲率関数 $ K(x) $ に一致することを示すこと。
• 曲率が彩色の有限確率空間上のインデックス期待値として表されることを示し、離散曲率と積分幾何学を統合すること。
• 連続関数空間から有限彩色空間へのインデックス期待値原理の拡張を図り、ガウス・ボネの公式を保持すること。

提案手法

• 各頂点 $ x $ に対して、$ S_f^-(x) $ を $ f(y) < f(x) $ を満たす $ S(x) $ 内の頂点 $ y $ によって生成される部分グラフとする。このとき、インデックスを $ i_f(x) = 1 - \chi(S_f^-(x)) $ と定義する。
• グラフのすべての適切な $ c $-彩色からなる有限確率空間を考察し、各彩色の確率は等しく $ 1/C(c) $ である。ここで $ C(c) $ は彩色多項式を $ c $ で評価した値である。
• この空間上での期待値 $ \mathbb{E}[i_f(x)] $ を計算し、それが曲率 $ K(x) $ に等しいことを示す。
• 一般化された手のひらの補題 $ \sum_x V_{k-1}(x) = (k+1)v_k $ を用いて、頂点レベルの曲率をグローバルなオイラー特性に関連付ける。
• 単射関数に対して成り立つPoincaré-Hopf定理 $ \sum_x i_f(x) = \chi(G) $ を、帰納法を用いて局所単射関数へと拡張する。
• 特に「和の順序の入れ替え」技法を用いた積分幾何的原則を適用し、インデックス期待値と曲率を等しくする。

実験結果

リサーチクエスチョン

• RQ1 有限単純グラフにおける曲率は、有限のグラフ彩色空間上でのPoincaré-Hopfインデックスの期待値として定義可能か？
• RQ2 この期待値に基づく曲率は、離散ガウス・ボネの公式 $ \sum_x K(x) = \chi(G) $ を満たすか？
• RQ3 単位球面上の $ K_{k+1} $ 部分グラフの重ね合わせによって定義される曲率と、彩色に基づいて導かれる曲率はどのように比較できるか？
• RQ4 奇数次元の幾何的グラフにおいて、彩色上での平均を取ったとき、曲率関数 $ K(x) $ は恒等的にゼロになるか？
• RQ5 滑らかな多様体のリーマン曲率は、埋め込み空間内の線形関数上でのインデックスの平均によって近似可能であり、これはグラフ彩色へと拡張可能か？

主な発見

• すべての適切な $ c $-彩色上でのPoincaré-Hopfインデックス $ i_f(x) $ の期待値は曲率 $ K(x) $ に一致し、$ \sum_x K(x) = \chi(G) $ を満たす。
• 彩色数 $ c=4 $ のグラフでは、確率空間に $ C(4) = 72 $ 個の適切な彩色が含まれ、曲率は72個のインデックス関数の平均として得られる。
• オイラー特性 $ \chi = 0 $ の特定のグラフについて、曲率ベクトルは $ (-1/4, -1/4, 1/4, 1/6, -5/12, 1/12, 0, 1/6, 1/6, 1/12) $ であり、要件通り合計がゼロとなる。
• 奇数次元の幾何的グラフでは、曲率関数 $ K(x) $ は彩色上での平均を取ると恒等的にゼロとなる。これは積分幾何学および対称的インデックス $ j_f(x) $ からの既知の結果と整合する。
• 本手法は、連続的状況と類似した、曲率が量子化されたインデックスの期待値として表される離散的積分幾何のアナロジーを提供する。
• 本アプローチは、テンソル解析や滑らかな構造を必要とせず、有限な組合せ的データのみを用いて曲率を計算する「モンテカルロ」法を提供する。