[論文レビュー] Gauss-Bonnet for multi-linear valuations

Oliver Knill|arXiv (Cornell University)|Jan 18, 2016

Topological and Geometric Data Analysis参考文献 108被引用数 17

ひとこと要約

本稿は、有限単純グラフ上の多変量評価関数に対して、ガウス・ボンネ・およびポincare・ホフプ法の定理を確立し、オイラー特性の一般化である高次元のウー特性がグラフ積において乗法的であり、曲率公式を満たすことを証明する。グリーンバウムの1970年の予想を確認するため、境界のないd-グラフ上で消える高次元のデーン・ゾンメルビル評価関数を構成し、これらの評価関数がバーチカル・リファインメントに関して不変であり、頂点ごとの曲率分解を有することを示す。

ABSTRACT

We prove Gauss-Bonnet and Poincare-Hopf formulas for multi-linear valuations on finite simple graphs G=(V,E) and answer affirmatively a conjecture of Gruenbaum from 1970 by constructing higher order Dehn-Sommerville valuations which vanish for all d-graphs without boundary. An example of a quadratic valuation is the Wu characteristic w(G) which sums (-1)^(dim(x)+dim(y)) over all intersecting pairs of complete subgraphs x,y of a G. More generally, an intersection number w(A,B) sums (-1)^(dim(x)+dim(y)) over pairs x,y, where x is in A and y is in B and x,y intersect. w(G) is a quadratic Euler characteristic X(G), where X sums (-1)^dim(x) over all complete subgraphs x of G. We prove that w is multiplicative, like Euler characteristic: w(G x H) = w(G) w(H) for any two graphs and that w is invariant under Barycentric refinements. We construct a curvature K satisfying Gauss-Bonnet w(G) = sum K(a). We also prove w(G) = X(G)-X(dG) for Euler characteristic X which holds for any d-graph G with boundary dG. We also show higher order Poincare-Hopf formulas: there is for every multi-linear valuation X and function f an index i(a) such that sum i(a)=X(G). For d-graphs G and X=w it agrees with the Euler curvature. For the vanishing multi-valuations which were conjectured to exist, like for the quadratic valuation X(G) = (V X) Y with X=(1,-1,1,-1,1),Y=(0,-2,3,-4,5) on 4-graphs, discrete 4 manifolds, where V_{ij}(G) is the f-matrix counting the number of i and j-simplices in G intersecting, the curvature is constant zero. For all graphs and multi-linear Dehn-Sommerville relations, the Dehn-Sommerville curvature K(v) at a vertex is a Dehn-Sommerville valuation on the unit sphere S(v). We show X V(G) Y = v(G) Y for any linear valuation Y of a d-graph G with f-vector v(G). This provides examples for the Gruenbaum conjecture.

研究の動機と目的

• 有限単純グラフ上の線形評価関数から多変量評価関数へ、ガウス・ボンネおよびポincare・ホフプの定理を拡張すること。
• グリーンバウムの1970年予想を解消するため、境界のないd-グラフ上で消える高次元のデーン・ゾンメルビル評価関数を構成すること。
• ウー特性が高次元のオイラー特性として、グラフ積において乗法的であり、バーチカル・リファインメントに関して不変であることを示すこと。
• 多変量評価関数に対して頂点曲率を定義し、その和がグラフの評価関数値に一致することを証明すること。線形の場合の一般化である。

提案手法

• k-線形評価関数を、k個の部分グラフの組に対して定義し、非ゼロの共通部分集合をもつ場合にのみ非ゼロの出力を与えるものとする。
• ウー特性 ω(G) を、交差する単体の自己交差数として定義し、オイラー特性の一般化とする。
• 単体において乗法的性質 ω(G×H) = ω(G)ω(H) が成り立つことを示し、バーチカル・リファインメント不変性を用いて一般化する。
• 交差する単体ペアの分割を用いて、各頂点 v における曲率 K(v) を構成し、∑K(v) = ω(G) となるようにする。
• 任意の k-線形評価関数 X と関数 f に対して、Poincaré-Hopf インデックス i_{X,f}(v) を定義し、∑i_{X,f}(v) = X(G) が成り立つようにする。
• f-行列 V(G) と線形汎関数 ψ を用いて、評価関数を ⟨χ, V(G), ψ⟩ として表現し、単位球面上の線形代数を用いて曲率を導出する。

実験結果

リサーチクエスチョン

• RQ1 ガウス・ボンネおよびポincare・ホフプの定理は、有限単純グラフ上の線形評価関数から多変量評価関数へ拡張可能か？
• RQ2 グリーンバウムが1970年に予想したように、境界のないd-グラフ上で消える高次元のデーン・ゾンメルビル評価関数は存在するか？
• RQ3 ウー特性はグラフ積において乗法的であり、バーチカル・リファインメントに関して不変か？
• RQ4 多変量評価関数に対して、その和がグラフの評価関数値に一致するような頂点曲率を定義可能か？
• RQ5 k-線形デーン・ゾンメルビル評価関数の空間の次元は何か？ また、古典的デーン・ゾンメルビル空間とどのように関係するか？

主な発見

• ウー特性 ω(G) は、単体の交差構造から導かれる頂点曲率 K(v) を用いて ω(G) = ∑K(v) と表され、多変量評価関数に対するガウス・ボンネの公式を証明する。
• 境界 δG をもつ任意の d-グラフ G に対して、ω(G) = χ(G) − χ(δG) が成り立つ。これは、オイラー特性の公式を高次元不変量へ一般化する。
• k-線形評価関数 X と関数 f に対して、Poincaré-Hopf インデックス i_{X,f}(v) は ω(B⁻_f(v)) − ω(S⁻_f(v)) として定義され、∑i_{X,f}(v) = X(G) を満たす。
• すべてのウー特性はバーチカル・リファインメントに関して不変であり、乗法的である：ω(G×H) = ω(G)ω(H) が成り立つ。これは、スターリング・ライスナー環上の乗法的関数であることを意味する。
• k-線形デーン・ゾンメルビル評価関数の空間の次元は [(d+1)/2] であり、古典的空間と一致する。この空間は、相異なる固有値の固有ベクトルによって生成される。
• 境界のない d-グラフに対して、任意のデーン・ゾンメルビル評価関数は、定数ゼロの曲率を持つ。平坦性は X(G) = 0 と同値である。