[論文レビュー] On a Dehn-Sommerville functional for simplicial complexes

Oliver Knill|arXiv (Cornell University)|May 30, 2017

Topological and Geometric Data Analysis参考文献 13被引用数 8

ひとこと要約

本稿では、単体複体 G の接続ラプラシアン L から導かれる新しい関数的 η(G) = tr(L − L⁻¹) を提案し、それが G₁（G のバーチカル・リファインメント）の生成関数の導関数と関連することを示す。主な結果として、ガウス・ボンネ型の公式 η(G) = ∑ₓ∈V(G₁) χ(S(x)) を確立し、ここで χ(S(x)) は頂点 x における単位球面 S(x) のオイラー特性である。この公式により、単体複体の幾何的性質を特徴づける組合せ的不変量が得られる。

ABSTRACT

Assume G is a finite abstract simplicial complex with f-vector (v0,v1, ...), and generating function f(x) = sum(k=1 v(k-1) x^k = v0 x + v1 x^2+ v2 x^3 + ..., the Euler characteristic of G can be written as chi(G)=f(0)-f(-1). We study here the functional f1'(0)-f1'(-1), where f1' is the derivative of the generating function f1 of G1. The Barycentric refinement G1 of G is the Whitney complex of the finite simple graph for which the faces of G are the vertices and where two faces are connected if one is a subset of the other. Let L is the connection Laplacian of G, which is L=1+A, where A is the adjacency matrix of the connection graph G', which has the same vertex set than G1 but where two faces are connected they intersect. We have f1'(0)=tr(L) and for the Green function g L^(-1) also f1'(-1)=tr(g) so that eta1(G) = f1'(0)-f1'(-1) is equal to eta(G)=tr(L-L^(-1). The established formula tr(g)=f1'(-1) for the generating function of G1 complements the determinant expression det(L)=det(g)=zeta(-1) for the Bowen-Lanford zeta function zeta(z)=1/det(1-z A) of the connection graph G' of G. We also establish a Gauss-Bonnet formula eta1(G) = sum(x in V(G1) chi(S(x)), where S(x) is the unit sphere of x the graph generated by all vertices in G1 directly connected to x. Finally, we point out that the functional eta0(G) = sum(x in V(G) chi(S(x)) on graphs takes arbitrary small and arbitrary large values on every homotopy type of graphs.

研究の動機と目的

• 単体複体 G のバーチカル・リファインメント G₁ の生成関数から導かれる新しい関数的 η(G) = f₁′(0) − f₁′(−1) を定義し、その性質を調査すること。
• η(G) を G₁ の各頂点における単位球面のオイラー特性の和として表すガウス・ボンネ型の公式を確立すること。
• 接続ラプラシアン L = 1 + A 及びその逆行列 g = L⁻¹ が、G の位相的・幾何的不変量をどのように符号化しているかを解明すること。
• η(G) や関連関数的が、離散多様体や幾何的複体を区別するための変分的基準として機能できるかどうかを調査すること。

提案手法

• 単体複体 G₁ の f ベクトルの生成関数 f₁(x) を定義し、その導関数 f₁′(x) を計算することで、f₁′(0) = tr(L) および f₁′(−1) = tr(g) を得る。ここで g = L⁻¹ はグリーン関数を表す。
• ユニモジュラリティ定理を用いて、L が逆行列をもち、g = L⁻¹ の成分が整数であることを保証する。
• 関数的 η(G) = f₁′(0) − f₁′(−1) を、ヒドロゲン作用素 H = L − L⁻¹ のトレースとして関連付ける。
• 単位球面 S(x) の局所構造を分析することで、ガウス・ボンネ公式 η(G) = ∑ₓ∈V(G₁) χ(S(x)) を確立する。
• G の接続グラフ G′ を定義する。ここで頂点は G の単体であり、辺は非空の共通部分を持つ単体間の関係を表す。この接続グラフから隣接行列 A を得られ、接続ラプラシアン L = 1 + A を定義できる。
• ダブルピラミッドやオクタヘドロンなどの具体例を用いて、関数的の性質を検証し、ホモトピー的変形や位相的変更に対する挙動を示す。

実験結果

リサーチクエスチョン

• RQ1 関数的 η(G) = tr(L − L⁻¹) は、離散多様体や幾何的複体を特徴づける変分的不変量として機能できるか？
• RQ2 ガウス・ボンネ公式 η(G) = ∑ₓ∈V(G₁) χ(S(x)) は、すべての有限単体複体に対して普遍的に成り立つか？
• RQ3 ホモトピー同値の下で η(G) はどのように振る舞い、固定されたホモトピー型内で任意に大きくまたは小さくできるか？
• RQ4 接続ラプラシアン L の固有値スペクトルと関数的 η(G) = tr(L − L⁻¹) の間にはどのような関係があるか？
• RQ5 関数的 η(G) は、非球面的単位球面を持つような非幾何的または特異な単体複体を同定・分類するのにも使用可能か？

主な発見

• 関数的 η(G) = f₁′(0) − f₁′(−1) は、接続ラプラシアン L 及びその逆行列 L⁻¹（グリーン関数）のトレースとして、η(G) = tr(L − L⁻¹) に等しい。
• ダブルピラミッド G = P₃ + C₄ に対して、η(G) = −8 であり、tr(L) = 35、tr(g) = 43 であるため、η(G) = 35 − 43 = −8 が成立する。
• ガウス・ボンネ公式 η(G) = ∑ₓ∈V(G₁) χ(S(x)) が成立し、G₁ の 8 個の頂点で χ(S(x)) = −1 であり、合計は −8 となる。
• 関数的 η₀(G) = ∑ₓ∈V(G) χ(S(x)) は、穴を空ける操作によってダブルピラミッドを変形することで、任意のホモトピー型内で任意に大きくまたは小さくできることが示された。
• ダブルピラミッドの L の固有値は、負の固有値が 16 個、正の固有値が 19 個であり、凸包は [−3.30278, 20.0327] である。また g = L⁻¹ の成分は {−2, −1, 0, 1, 2} のいずれかである。
• 円周 Cₙ を底面とする三重サスペンションに対して、η(G) = −2n であり、η₀(G) = −n である。これにより、ホモトピー類内で η を任意に負に小さくできることが示された。