[論文レビュー] Energized simplicial complexes

Oliver Knill|arXiv (Cornell University)|Aug 19, 2019

Topological and Geometric Data Analysis参考文献 9被引用数 6

ひとこと要約

本稿は、集合の集合 G における単体にエネルギー値 h(x) を割り当てることで、エネルギーやかれた単体的複体を導入する。これは、下部集合 W^−(x) と上部集合 W^+(x) の交差を介して行列 L と g を定義する。主な結果として、det(L) = det(g) = ∏h(x) が成り立ち、E[G] = str(g) = ∑g(x,y) である。h(x) ∈ {−1,1} のとき、g は L の逆行列となり、SL(n,Z) 内にユニモジュラーかつ等スペクトルな行列が得られる。

ABSTRACT

For a simplicial complex with n sets, let W^-(x) be the set of sets in G contained in x and W^+(x) the set of sets in G containing x. An integer-valued function h on G defines for every A subset G an energy E[A]=sum_x in A h(x). The function energizes the geometry similarly as divisors do in the continuum, where the Riemann-Roch quantity chi(G)+deg(D) plays the role of the energy. Define the n times n matrices L=L^--(x,y)=E[W^-(x) cap W^-(y)] and L^++(x,y) = E[W^+(x) cap W^+(y)]. With the notation S(x,y)=1_n omega(x) =delta(x,y) (-1)dim(x) and str(A)=tr(SA) define g=S L^++ S. The results are: det(L)=det(g) = prod_x in G h(x) and E[G] = sum_x,y g(x,y) and E[G]=str(g). The number of positive eigenvalues of g is equal to the number of positive energy values of h. In special cases, more is true: A) If h(x) in -1, 1}, the matrices L=L^--,L^++ are unimodular and L^-1 = g, even if G is a set of sets. B) In the constant energy h(x)=1 case, L and g are isospectral, positive definite matrices in SL(n,Z). For any set of sets G we get so isospectral multi-graphs defined by adjacency matrices L^++ or L^-- which have identical spectral or Ihara zeta function. The positive definiteness holds for positive divisors in general. C) In the topological case h(x)=omega(x), the energy E[G]=str(L) = str(g) = sum_x,y g(x,y)=chi(G) is the Euler characteristic of G and phi(G)=prod_x omega(x), a product identity which holds for arbitrary set of sets. D) For h(x)=t^|x| with some parameter t we have E[H]=1-f_H(t) with f_H(t)=1+f_0 t + cdots + f_d t^d+1 for the f-vector of H and L(x,y) = (1-f_W^-(x) cap W^-(y)(t)) and g(x,y)=omega(x) omega(y) (1-f_W^+(x) cap W^+(y)(t)). Now, the inverse of g is g^-1(x,y) = 1-f_W^-(x) cap W^-(y)(t)/t^dim(x cap y) and E[G] = 1-f_G(t)=sum_x,y g(x,y).

研究の動機と目的

• 単体的複体における接続行列 L のユニモジュラリティおよびスペクトル的性質を、エネルギー関数 h:G→ℝ を持つ任意の集合の集合 G に一般化すること。
• エネルギー関数を除数とみなすことで、離散的リーマン・ローチ理論の類似を確立し、全エネルギーをオイラー乗数およびゼータ関数と関連付けること。
• 任意の集合の集合 G に対して、SL(n,Z) 内に等スペクトル的かつ正定値で整数値をとる行列 L^{++} および L^{--} を構成すること。これは、位相的および定数エネルギーの場合の結果を拡張する。
• エネルギーやかれた複体のスペクトル的および代数的幾何学的性質を調査し、特に行列 g = S L^{++} S 及びその逆行列の役割、および二次形式や格子詰めへの関連を明らかにすること。

提案手法

• 部分集合 A ⊂ G に対してエネルギー E[A] = ∑_{x∈A} h(x) を定義し、全エネルギー E[G] = ∑h(x) を得る。
• 行列 L^{--}(x,y) = E[W^−(x) ∩ W^−(y)]、L^{++}(x,y) = E[W^+(x) ∩ W^+(y)]、L^{+-}(x,y) = E[W^+(x) ∩ W^−(y)] を構成し、ブロック行列構造を形成する。
• S(x,y) = δ(x,y)(−1)^{dim(x)} である行列 S を用いて g = S L^{++} S を定義し、str(A) = tr(SA) を用いることで、トレースに基づくエネルギー計算を可能にする。
• det(L) = det(g) = ∏_{x∈G} h(x) を証明し、E[G] = str(g) = ∑_{x,y} g(x,y) を示すことで、エネルギーとスペクトル不変量を結びつける。
• h(x) ∈ {−1,1} のとき、g = L^{−1} が成り立つことを示し、ユニモジュラリティおよび整数値逆行列を示す。
• 定数 h(x) = 1 の場合、L と g は等スペクトル的かつ正定値であり、SL(n,ℤ) に属する。L^{++} と L^{--} は同じスペクトル的およびイハラゼータ関数を持つ。

実験結果

リサーチクエスチョン

• RQ1 任意の実数値エネルギー h(x) を集合の集合 G の単体に割り当てることで、接続行列 L のユニモジュラリティおよびスペクトル的性質はどのように一般化されるか？
• RQ2 エネルギー E[G] と行列 g = S L^{++} S のトレースとの関係は何か？また、オイラー乗数および除数論とどのように関連するか？
• RQ3 g が L の逆行列となる条件は何か？これにより得られる二次形式のスペクトル理論および格子構造にどのような影響があるか？
• RQ4 L^{++} と L^{--} が異なるエネルギー関数に対しても等スペクトル的であるのはどのような場合か？これは離散ゼータ関数およびグラフ算術に何を示唆するか？
• RQ5 L もしくは g で定義される二次形式が 1 から 15 までのすべての整数を表すのはどのような場合か？15-定理の文脈における普遍性は何かによって決定されるか？

主な発見

• h(x) ∈ {−1,1} のとき、行列 L^{±±} はユニモジュラーであり、g = L^{−1} が成り立つ。ゆえに det(L) = det(g) = ∏h(x) = ±1 である。
• h(x) = 1 がすべての x に対して成り立つとき、L と g は等スペクトル的かつ正定値であり、SL(n,ℤ) に属する。L^{++} と L^{--} は同一のスペクトル的およびイハラゼータ関数を持つ。
• h(x) = ω(x) = (−1)^{dim(x)} のとき、エネルギー E[G] = str(g) = χ(G) は G のオイラー乗数に等しく、∏_{x∈G} ω(x) = ϕ(G) という積の恒等式が成り立つ。
• h(x) = t^{|x|} のとき、エネルギー E[G] = 1 − f_G(t) であり、f_G(t) は G の f 多項式である。また、g^{−1}(x,y) = 1 − f_{W^−(x)∩W^−(y)}(t)/t^{dim(x∩y)} が成り立つ。
• h(x) ∈ {−1,1} のとき、g は L の逆行列であり、この場合、L は ℝ^n 内の自己双対な整数格子を定義し、最小距離が 1 で ℤ^n と同一の詰め込み密度を持つ。
• 周期的グラフ（例：C_5）では、L^{++} と L^{--} は等スペクトル的であり、l²(ℤ) 上の有界作用素に極限的に収束する。密度関数および質量ギャップは同一であり、双曲的ダイナミクスを示唆する。