[论文解读] 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,ℤ) 中得到单模、同谱矩阵。

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 的单模性与谱性质推广至任意集合族 G 及能量函数 h:G→ℝ。
• 通过将能量函数视为除子，建立离散 Riemann-Roch 理论类比，关联总能量与欧拉示性数及 zeta 函数。
• 为任意集合族 G 构造属于 SL(n,ℤ) 的同谱、正定、整数值矩阵 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)]，形成分块矩阵结构。
• 定义矩阵 g = S L^{++} S，其中 S(x,y) = δ(x,y)(−1)^{dim(x)}，且 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^{--} 具有相同的谱性质与 Ihara zeta 函数。

实验结果

研究问题

• RQ1 为集合族 G 中的单纯形分配任意实数值能量 h(x) 时，如何推广连接矩阵的单模性与谱性质？
• RQ2 总能量 E[G] 与矩阵 g = S L^{++} S 的迹之间关系为何？该关系如何关联欧拉示性数与除子理论？
• RQ3 在何种条件下矩阵 g 成为 L 的逆矩阵？这对谱理论与相应二次型的格点结构有何影响？
• RQ4 L^{++} 与 L^{--} 在不同能量函数下为何保持同谱？这对离散 zeta 函数与图算术有何启示？
• RQ5 在何种情况下由 L 或 g 定义的二次型可表示从 1 到 15 的所有整数？ universality 在 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^{--} 具有相同的谱性质与 Ihara zeta 函数。
• 当 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²(ℤ) 上的有界算子，具有相同的态密度与能隙，表明存在双曲动力学。