[論文レビュー] The counting matrix of a simplicial complex

Oliver Knill|arXiv (Cornell University)|Jul 22, 2019

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

ひとこと要約

本稿は、有限な抽象的単体複体 G に関連する数え上げ行列 K を導入し、K(x,y) は集合 x と y の共通部分単体の数を数える。K が整数係数で行列式が 1（SL(n,Z) に属する）であり、正定値で、逆行列がスターと符号を用いたグリーン関数の公式を持つことを証明する。K と K⁻¹ の固有値は同一であり、これによりスペクトルの対称性と、ゼータ関数の関数方程式が得られる。

ABSTRACT

For a finite abstract simplicial complex G with n sets, define the n x n matrix K(x,y) which is the number of subsimplices in the intersection of x and y. We call it the counting matrix of G. Similarly as the connection matrix L which is L(x,y)=1 if x and y intersect and 0 else, the counting matrix K is unimodular. Actually, K is always in SL(n,Z). The inverse of K has the Green function entries K^(-1)(x,y)=w(x) w(y) |W^+(x) intersected W^+y|, where W^+(x) is the star of x, the sets in G which contain x and w(x)=(-1)^dim(x). The matrix K is always positive definite. The spectra of K and K^(-1) always agree so that the matrix Q=K-K^(-1) has the spectral symmetry spec(Q)=-spec(Q) and the zeta function z(s) summing l(k)^(-s) with eigenvalues l(k) of K satisfies the functional equation z(a+ib)=z(-a+ib). The energy theorem in this case tells that the sum of the matrix elements of K^(-1)(x,y) is equal to the number sets in G. In comparison, we had in the connection matrix case the identity that the sum of the matrix elements of L^(-1) is the Euler characteristic of G.

研究の動機と目的

• 有限な抽象的単体複体 G に関連する新しい行列、数え上げ行列 K を定義し、その分析を行う。
• K が常にユニモジュラーであり、SL(n,Z) に属することを確立する。これは、接続行列について知られている性質の拡張である。
• スター集合とオイラーの符号を用いて、K の逆行列の閉形式表現を導出する。
• K と K⁻¹ の固有値が同一であることを証明し、これによりスペクトルの対称性を示す。
• K に対するエネルギー定理が、K⁻¹ のすべての成分の和が G の単体の総数に等しいことと関連することを示す。

提案手法

• 有限な単体複体 G において、K(x,y) を x と y の両方に共通する部分単体の数として定義する。
• 組合せ的および代数的議論を用いて、K が常に正定値であることを証明する。
• 包含除法と単体的構造を用いて、det(K) = 1 かつ整数成分であることを示し、K ∈ SL(n,Z) を確立する。
• 逆行列の公式を導出する：K⁻¹(x,y) = w(x)w(y)|W⁺(x) ∩ W⁺(y)| であり、w(x) = (−1)^dim(x) であり、W⁺(x) は x のスターである。
• スペクトルの対称性を用いて、spec(K) = spec(K⁻¹) を示し、これにより Q = K − K⁻¹ に対して spec(Q) = −spec(Q) が成り立つことを示す。
• ゼータ関数 z(s) = ∑ λ⁻ˢ（λ は K の固有値）を定義し、関数方程式 z(a+ib) = z(−a+ib) を証明する。

実験結果

リサーチクエスチョン

• RQ1 単体複体の数え上げ行列 K が持つ代数的およびスペクトル的性質は何か？
• RQ2 K の逆行列は、特にスターと符号を通じて、複体の組合せ的構造とどのように関係しているか？
• RQ3 K の固有値は対称性を示すか？ もしそうなら、関連するゼータ関数はどのような関数方程式を満たすか？
• RQ4 K に対するエネルギー定理は、接続行列 L に対する古典的エネルギー定理とどのように比較できるか？
• RQ5 すべての有限な単体複体に対して、数え上げ行列がユニモジュラーかつ正定値であることが示せるか？

主な発見

• 数え上げ行列 K は常にユニモジュラーであり、SL(n,Z) に属し、整数成分かつ行列式が 1 である。
• K の逆行列は明示的に K⁻¹(x,y) = w(x)w(y)|W⁺(x) ∩ W⁺(y)| で与えられ、w(x) = (−1)^dim(x) であり、W⁺(x) は x のスターである。
• K はすべての有限な抽象的単体複体に対して正定値である。
• K と K⁻¹ の固有値は同一であり、これによりスペクトルの対称性が生じる：Q = K − K⁻¹ に対して spec(Q) = −spec(Q) が成り立つ。
• ゼータ関数 z(s) = ∑ λ⁻ˢ（λ は K の固有値）は、関数方程式 z(a+ib) = z(−a+ib) を満たす。
• エネルギー定理により、K⁻¹ のすべての成分の和は、G の単体の総数に等しい。