[論文レビュー] A parametrized Poincare-Hopf Theorem and Clique Cardinalities of graphs

Oliver Knill|arXiv (Cornell University)|Jun 15, 2019

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

ひとこと要約

本稿では、局所的に単射である関数 g によって定義される単位球面の部分グラフを用いて、グラフの f 関数を再帰的に表現するパrametrized Poincaré-Hopf 定理を導入する。主な貢献は、f ベクトルおよびクリークの基数を計算するための部分指数的アルゴリズムであり、問題をより小さな部分グラフに還元することで実現される。応用としては、多項式インデックス期待値を用いた Gauss-Bonnet 公式や Wu 特性の計算が含まれる。

ABSTRACT

Given a locally injective real function g on the vertex set V of a finite simple graph G=(V,E), we prove the Poincare-Hopf formula f_G(t) = 1+t sum_{x in V} f_{S_g(x)}(t), where S_g(x) = { y in S(x), g(y) less than g(x) } and f_G(t)=1+f_0 t + ... + f_{d} t^{d+1} is the f-function encoding the f-vector of a graph G, where f_k counts the number of k-dimensional cliques, complete sub-graphs, in G. The corresponding computation of f reduces the problem recursively to n tasks of graphs of half the size. For t=-1, the parametric Poincare-Hopf formula reduces to the classical Poincare-Hopf result X(G)=sum_x i_g(x), with integer indices i_g(x)=1-X(S_g(x)) and Euler characteristic X. In the new Poincare-Hopf formula, the indices are integer polynomials and the curvatures K_x(t) expressed as index expectations K_x(t) = E[i_x(t)] are polynomials with rational coefficients. Integrating the Poincare-Hopf formula over probability spaces of functions g gives Gauss-Bonnet formulas like f_G(t) = 1+sum_{x} F_{S(x)}(t), where F_G is the anti-derivative of f_G. A similar computation is done for the generating function f_{G,H}(t,s) = sum_{k,l} f_{k,l}(G,H) s^k t^l of the f-intersection matrix f_{k,l}(G,H) counting the number of intersections of k-simplices in G with l-simplices in H. Also here, the computation is reduced to 4 n^2 computations for graphs of half the size: f_{G,H}(t,s) = sum_{v,w} f_{B_g(v),B_g(w)}(t,s) - f_{B_g(v),S_g(w)}(t,s) - f_{S_g(v),B_g(w)}(t,s) + f_{S_g(v),S_g(w)}(t,s), where B_g(v)= S_g(v)+{v} is the unit ball of v.

研究の動機と目的

• 有限単純グラフの f ベクトルを再帰的に計算する方法を開発すること。f ベクトルは各次元のクリーク数を符号化する。
• クリーク列挙の NP 困難性を克服するため、局所関数に基づく部分グラフへの還元を可能にするパラメータ付き Poincaré-Hopf 公式を導入すること。
• 古典的 Poincaré-Hopf および Gauss-Bonnet 定理を Q 上の多項式値インデックスおよび曲率へ一般化すること。
• 再帰的インデックス分解を用いて、多変数 f 生成関数および Wu 特性の効率的計算を可能にすること。

提案手法

• パラメータ付き Poincaré-Hopf 公式を提案：f_G(t) = 1 + t∑_x f_{S_g(x)}(t)。ここで S_g(x) は、g(y) < g(x) を満たす S(x) の部分グラフである。
• f 関数 f_G(t) = 1 + f_0 t + ⋯ + f_d t^{d+1} を用いて、グラフ G の f ベクトルを符号化する。
• インデックス多項式 i_x(t) = f_{S_g(x)}(t) を定義し、これを用いて f_G(t) をより小さなグラフから再帰的に計算する。
• ランダム関数 g に対する統合を用いて、Gauss-Bonnet 型の公式を導出する。たとえば f_G(t) = 1 + ∑_x F_{S(x)}(t) であり、F は f の原始関数である。
• 多変数 f 関数 f_{G,H}(t,s) を導入し、G における k-単体と H における l-単体の交差数を数える。
• f_{G,H}(t,s) の再帰的公式を、4つの部分グラフ B_g(v), B_g(w), S_g(v), S_g(w) を用いて導出する。これにより、部分指数的計算が可能になる。

実験結果

リサーチクエスチョン

• RQ1 局所関数に基づく分解を活用することで、指数的時間より高速にグラフの f ベクトルを計算できるか？
• RQ2 Poincaré-Hopf 定理を整数インデックスから Q 上の多項式値インデックスへ一般化できるか？
• RQ3 単位球面の再帰的分解を用いて表した f_G(t) の生成関数の構造はいかなるものか？
• RQ4 多変数交差関数 f_{G,H}(t,s) は、複雑性を低減して再帰的に計算できるか？
• RQ5 パラメータ付き Poincaré-Hopf 公式と古典的 Gauss-Bonnet 定理との関係は何か？

主な発見

• パラメータ付き Poincaré-Hopf 公式 f_G(t) = 1 + t∑_x f_{S_g(x)}(t) により、期待サイズ n/2 の n 個の部分グラフを用いて f 関数を再帰的に計算可能であり、通常の状況では部分指数的計算量が得られる。
• t = -1 の場合、この公式は古典的 Poincaré-Hopf 定理に簡約される：χ(G) = ∑_x i_g(x) であり、i_g(x) = 1 - χ(S_g(x)) である。
• 曲率多項式 K_x(t) = E[i_x(t)] は有理多項式であり、ランダム関数に対する統合を用いて Gauss-Bonnet 公式 f_G(t) = 1 + ∑_x F_{S(x)}(t) が成立する。
• 多変数 f 関数 f_{G,H}(t,s) は、f_{B_g(v),B_g(w)} - f_{B_g(v),S_g(w)} - f_{S_g(v),B_g(w)} + f_{S_g(v),S_g(w)} の4項を含む再帰的分解を満たす。
• Wu 特性 ω(G,H) は f_{G,H}(-1,-1) として回復され、本稿ではインデックス分解を用いた再帰的計算のコードを提供する。
• 実験的評価では、Wu 特性の計算において再帰的手法は直接計算より遅いが、理論的解析および再帰的構造の探索を可能にする。