[论文解读] A Brief History of Persistence

José A. Perea|arXiv (Cornell University)|Sep 10, 2018

Topological and Geometric Data Analysis参考文献 38被引用 21

一句话总结

本文追溯了持久同调从1990年代初的计算起源，到现代范畴论与表示论框架的发展历程。文中重点阐述了若干关键进展，包括通过Rips复形形式化持久Betti数、在Hausdorff逼近下同调推断的作用，以及利用Gabriel定理与quiver理论对持久模进行分类，最终延伸至通过离散不变量（如条形码）实现的zigzag同调与多维同调。

ABSTRACT

Persistent homology is currently one of the more widely known tools from computational topology and topological data analysis. We present in this note a brief survey on the evolution of the subject. The goal is to highlight the main ideas, starting from the subject's computational inception more than 20 years ago, to the more modern categorical and representation-theoretic point of view.

研究动机与目标

• 追溯持久同调从1990年代初计算根源到现代代数框架的历史发展。
• 阐明持久同调在采样与Hausdorff逼近条件下解决同调推断问题的作用。
• 解释如何通过过滤单纯复形（如Rips复形）实现持久Betti数的高效计算。
• 通过quiver表示与Gabriel定理的视角，探讨从1D同调到zigzag同调与多维同调的演变。
• 确立持久模存在完整离散不变量的条件，特别是当底层图是Dynkin图时。

提出的方法

• 通过子水平集 $X^{(\rho)}$ 之间的包含诱导映射及其同调群 $H_n(X^{(\rho)}; \mathbb{F})$ 形式化持久同调。
• 将Vietoris-Rips复形 $R_\epsilon(Z)$ 用作逼近空间 $\mathbb{X}$ 拓扑的有限组合模型。
• 将持久Betti数 $\beta^{\epsilon,\delta}_n$ 计算为诱导映射 $\iota^\epsilon,\delta_*: H_n(X^{(\epsilon)}; \mathbb{F}) \to H_n(X^{(\epsilon+\delta)}; \mathbb{F})$ 的秩。
• 基于反Ackermann函数的增量算法，实现对过滤复形中Betti数的高效计算，时间复杂度为 $O(N\alpha(N))$。
• 当底层quiver为Dynkin图时，利用Gabriel定理对逐点有限维持久模进行分类。
• 通过索引范畴中使用zigzag图的框架扩展至zigzag同调，其中 $\widetilde{G}(\mathsf{J}) = A_n$ 确保通过条形码实现离散不变量。

实验结果

研究问题

• RQ1 如何在小Hausdorff距离下，从有限样本 $X$ 推断拓扑空间 $\mathbb{X}$ 的同调？
• RQ2 在何种条件下，Rips复形 $R_\epsilon(X)$ 的持久同调能捕捉 $\mathbb{X}^{(\epsilon)}$ 的同调？
• RQ3 当持久模的索引quiver满足何种条件时，其存在完整离散不变量？这与Dynkin图有何关联？
• RQ4 Zigzag同调如何推广标准同调？哪些不变量可对这类系统进行分类？
• RQ5 当底层图包含环路时，表示论在持久模分类中扮演何种角色？

主要发现

• 对于紧致空间 $\mathbb{X} \subset \mathbb{R}^d$ 且具有正弱特征尺寸的情形，当 $\epsilon > 0$ 取值在某一范围内时，有 $H_n^{\epsilon,3\epsilon}(\mathcal{R}(X); \mathbb{F}) \cong H_n(\mathbb{X}^{(\epsilon)}; \mathbb{F})$ 成立，从而实现稳定的同调推断。
• 当 $\mathbb{X}$ 为闭Riemann流形时，若 $\epsilon$ 足够小且采样误差较小，则 $R_\epsilon(X)$ 与 $\mathbb{X}$ 同伦等价。
• 通过在过滤单纯复形上使用增量更新，持久Betti数 $\beta^{\epsilon,\delta}_n$ 可在 $O(N\alpha(N))$ 时间内高效计算。
• 若底层quiver $\widetilde{G}(\mathsf{J})$ 为类型 $A_n$、$D_n$ 或 $E_n$ 的Dynkin图，则逐点有限维持久模可被离散不变量（如条形码）完全分类。
• 当 $\widetilde{G}(\mathsf{J}) = A_n$ 时，zigzag同调系统也可通过条形码完全分类，且已建立其稳定性定理。
• 对于更长的交换楼梯（长度 > 4），分类变为“野生类型”，需依赖连续不变量，表明复杂度发生相变。