[论文解读] On Fredholm determinants in topology

Oliver Knill|arXiv (Cornell University)|Dec 25, 2016

Graph theory and applications参考文献 13被引用 15

一句话总结

本文建立了一项单值性定理，将图的关联图的弗雷德霍姆行列式与其费米特征（由单纯形的莫比乌斯函数导出的组合不变量）联系起来。通过定义有限单纯复形的关联图，并证明其邻接矩阵的弗雷德霍姆行列式等于所有奇维单纯形的符号乘积，本文表明弗雷德霍姆矩阵的逆矩阵具有整数元素，揭示了有限几何中深层的代数-拓扑对偶性。

ABSTRACT

Given an abstract simplicial complex G, the connection graph G' of G has as vertex set the faces of the complex and connects two if they intersect. If A is the adjacency matrix of that connection graph, we prove that the Fredholm characteristic det(1+A) takes values in {-1,1} and is equal to the Fermi characteristic, which is the product of the w(x), where w(x)=(-1)^dim(x). The Fredholm characteristic is a special value of the Bowen-Lanford zeta function and has various combinatorial interpretations. The unimodularity theorem proven here shows that it is a cousin of the Euler characteristic as the later is the sum of the w(x). Unimodularity implies that the matrix 1+A has an inverse which takes integer values. Experiments suggest the conjecture that the range of the Green function values, the union of the entries of the inverse of 1+A form a combinatorial invariant of the simplicial complex and do not change under Barycentric or edge refinements.

研究动机与目标

• 建立有限单纯复形中代数不变量（弗雷德霍姆行列式）与组合不变量（费米特征）之间深层联系。
• 研究有限单纯复形 G 的关联图 G′ 的弗雷德霍姆矩阵 1 + A(G′) 的结构与性质。
• 证明弗雷德霍姆矩阵的逆矩阵具有整数元素，暗示存在隐藏的组合不变性。
• 通过单值性定理探讨莫比乌斯函数与欧拉-庞加莱对偶性在有限几何中的作用。

提出的方法

• 定义有限单纯复形 G 的关联图 G′，其中顶点为单纯形，若单纯形相交则存在边连接。
• 引入弗雷德霍姆行列式 ζ(G) = det(1 + A(G)) 与费米特征 φ(G) = ∏ₓ ω(x)，其中 ω(x) = (−1)^dim(x)。
• 证明单值性定理 ψ(G) = φ(G)，其中 ψ(G) = ζ(G′) 为关联图的弗雷德霍姆行列式。
• 通过单体附加的归纳法证明 ψ(G ∪ {x}) = i(x)ψ(G)，其中 i(x) = 1 − χ(S(x)) 为庞加莱-霍普夫指标。
• 利用球面的欧拉示性数为 0 或 2 的事实，通过归纳构造证明 ψ(G) ∈ {−1, 1}。
• 使用 Mathematica 代码在随机图、素数图与 Erdős–Rényi 模型上进行数值验证。

实验结果

研究问题

• RQ1 有限单纯复形的关联图的弗雷德霍姆行列式是否等于其费米特征？
• RQ2 在有限几何中，弗雷德霍姆矩阵 1 + A(G′) 的逆矩阵具有何种代数意义？
• RQ3 在贝尓森细分下，格林函数 g_ij = [(1 + A(G′))⁻¹]_ij 的取值范围是否为组合不变量？
• RQ4 整数的莫比乌斯函数与素数图中的费米特征有何关联？
• RQ5 关联图的弗雷德霍姆行列式是否恒为 ±1？何种拓扑条件可保证此性质？

主要发现

• 单值性定理成立：ψ(G) = φ(G)，证明了关联图的弗雷德霍姆行列式等于费米特征。
• 对于完全图 Kn，当 n > 1 时，弗雷德霍姆行列式 det(1 + A) 为 0，表明其并非总是非退化的。
• 对于环图 Cn，弗雷德霍姆行列式为 6-周期性，当 n ≡ 0 mod 6 时为零。
• 对于轮图 Wn，当 n 不被 3 整除时，弗雷德霍姆行列式为 (n−3)(−1)^n，否则为 0。
• 在素数图中，欧拉示性数 χ(Gn) 等于从 k = 2 到 M 的 −μ(k) 之和，且素数关联图的弗雷德霍姆行列式等于 −μ(k) 的乘积，数值上验证了单值性定理。
• 弗雷德霍姆矩阵 (1 + A(G′))⁻¹ 的格林函数元素 g_ij 始终为整数，暗示存在隐藏的组合不变性。