[论文解读] On a Dehn-Sommerville functional for simplicial complexes

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

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

一句话总结

本文提出了一种新函数 η(G) = tr(L − L⁻¹)，其源自单纯复形 G 的连接拉普拉斯矩阵 L，将其与 G₁（即 G 的Barycentric细分）的生成函数的导数联系起来。关键结果建立了一个类似Gauss-Bonnet的公式：η(G) = ∑ₓ∈V(G₁) χ(S(x))，其中 χ(S(x)) 表示顶点 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 的 Barycentric 细分 G₁ 的生成函数导出的新泛函 η(G) = f₁′(0) − f₁′(−1)。
• 建立一个类似Gauss-Bonnet的公式，将 η(G) 表示为 G₁ 中单位球面欧拉示性数之和。
• 探讨连接拉普拉斯矩阵 L = 1 + A 及其逆 g = L⁻¹ 在编码 G 的拓扑与几何不变量中的作用。
• 研究 η(G) 或相关泛函是否可作为变分准则，用于区分离散流形或几何复形。

提出的方法

• 为 Barycentric 细分 G₁ 的 f-向量定义生成函数 f₁(x)，并计算其导数 f₁′(x)，以提取 f₁′(0) = tr(L) 和 f₁′(−1) = tr(g)，其中 g = L⁻¹ 为 Green 函数。
• 利用unimodularity定理，确保 L 可逆，且 g = L⁻¹ 的元素为整数。
• 将泛函 η(G) = f₁′(0) − f₁′(−1) 与算子 H = L − L⁻¹ 的迹联系起来，该算子称为氢算子。
• 通过分析 G₁ 中单位球面 S(x) 的局部结构，建立 Gauss-Bonnet 公式 η(G) = ∑ₓ∈V(G₁) χ(S(x))。
• 利用 G 的连接图 G′，其中顶点为面，边表示非空交集，定义邻接矩阵 A，从而得到连接拉普拉斯矩阵 L = 1 + A。
• 通过双金字塔和八面体等具体例子验证该泛函，并展示其在同伦变换和拓扑修改下的行为。

实验结果

研究问题

• RQ1 泛函 η(G) = tr(L − L⁻¹) 是否可作为刻画离散流形或几何复形的变分不变量？
• RQ2 Gauss-Bonnet 公式 η(G) = ∑ₓ∈V(G₁) χ(S(x)) 是否对所有有限单纯复形普遍成立？
• RQ3 η(G) 在同伦等价下如何表现？其值在固定同伦类型内是否可任意增大或减小？
• RQ4 连接拉普拉斯矩阵 L 的谱与泛函 η(G) = tr(L − L⁻¹) 之间存在何种关系？
• RQ5 该泛函是否可用于检测或分类非几何或奇异单纯复形（如单位球面非球面的复形）？

主要发现

• 泛函 η(G) = f₁′(0) − f₁′(−1) 等于 tr(L − L⁻¹)，其中 L 为连接拉普拉斯矩阵，L⁻¹ 为连接图 G′ 的 Green 函数。
• 对于双金字塔 G = P₃ + C₄，有 η(G) = −8，其中 tr(L) = 35，tr(g) = 43，验证了 η(G) = 35 − 43 = −8。
• Gauss-Bonnet 公式 η(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，表明在同伦类中 η 可被任意变负。