[论文解读] One can hear the Euler characteristic of a simplicial complex

Oliver Knill|arXiv (Cornell University)|Nov 27, 2017

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

一句话总结

本文证明了有限抽象单纯复形的欧拉示性数可以通过其关联拉普拉斯算子 L 的特征值谱唯一确定：即正特征值个数与负特征值个数之差。关键结果是正特征值个数等于偶维单体的个数，负特征值个数等于奇维单体的个数，因此 χ(G) = p − n。这首次通过自伴拉普拉斯算子给出了欧拉示性数的谱表征。

ABSTRACT

We prove that that the number p of positive eigenvalues of the connection Laplacian L of a finite abstract simplicial complex G matches the number b of even dimensional simplices in G and that the number n of negative eigenvalues matches the number f of odd-dimensional simplices in G. The Euler characteristic X(G) of G therefore can be spectrally described as X(G)=p-n. This is in contrast to the more classical Hodge Laplacian H which acts on the same Hilbert space, where X(G) is not yet known to be accessible from the spectrum of H. Given an ordering of G coming from a build-up as a CW complex, every simplex x in G is now associated to a unique eigenvector of L and the correspondence is computable. The Euler characteristic is now not only the potential energy summing over all g(x,y) with g=L^{-1} but also agrees with a logarithmic energy tr(log(i L)) 2/(i pi) of the spectrum of L. We also give here examples of L-isospectral but non-isomorphic abstract finite simplicial complexes. One example shows that we can not hear the cohomology of the complex.

研究动机与目标

• 确定单纯复形的欧拉示性数是否可从自伴拉普拉斯算子的谱中推导得出。
• 建立一个谱不变量，以编码欧拉示性数 χ(G) = ∑(−1)^dim(x)，且不依赖上同调或霍奇理论。
• 探究关联拉普拉斯算子 L 的特征值与特征向量在多大程度上能完整描述如 χ(G) 这样的拓扑不变量。
• 研究 L 的谱数据在多大程度上决定了其底层单纯复形，包括是否存在谱同构但非同构的复形。

提出的方法

• 定义有限抽象单纯复形 G 中单体 x, y 的关联拉普拉斯算子为 L(x,y) = sign(|x ∩ y|)。
• 证明 L 的正特征值个数等于 G 中偶维单体的个数，负特征值个数等于奇维单体的个数。
• 利用未定性定理推导出恒等式 χ(G) = (2/iπ) tr(log(iL))，将欧拉示性数表示为 L 的对数谱能量。
• 构造显式例子，展示存在谱同构但非同构的单纯复形，证明 L 的谱不能唯一确定复形的同构类。
• 在 G 的单体（按 CW 复形排序）与 L 的特征向量之间建立规范双射，为每个单体分配唯一的能量本征态。
• 将谱公式推广至单纯复形的强环，证明 χ(G) = p − n 对乘积与生成对象也成立。

实验结果

研究问题

• RQ1 能否从自伴拉普拉斯算子的谱中恢复单纯复形的欧拉示性数？
• RQ2 是否存在关联拉普拉斯算子 L 的谱不变量，能编码欧拉示性数 χ(G) = ∑(−1)^dim(x) 而不依赖上同调理论？
• RQ3 L 的特征值与特征向量是否唯一确定单纯复形 G？
• RQ4 如 Wu 示性数 ω_k(G)（k = 2, 3, 4）等高阶拓扑不变量是否由 L 的谱决定？
• RQ5 Green 函数 g = L⁻¹ 是否可解释为路径积分或能量和，从而通过谱方式恢复 χ(G)？

主要发现

• 关联拉普拉斯算子 L 的正特征值个数等于 G 中偶维单体的个数，负特征值个数等于奇维单体的个数。
• 欧拉示性数可表示为 χ(G) = p − n，其中 p 与 n 分别为 L 的正负特征值个数，从而给出了 χ(G) 的谱公式。
• 欧拉示性数亦可表示为 χ(G) = (2/iπ) tr(log(iL))，表明其为 L 谱的对数能量。
• 存在谱同构但非同构的单纯复形，证明 L 的谱不能唯一确定复形的同构类。
• 在谱同构的例子中，Wu 示性数 ω_k(G)（k = 2, 3, 4）一致，提示高阶 Wu 不变量可能由谱决定，尽管该问题仍待解决。
• 由于存在偶维与奇维单体，对任意正维数的有限单纯复形，关联拉普拉斯算子 L 永远不会是正定或负定的。