[论文解读] Vietoris-Rips Persistent Homology, Injective Metric Spaces, and The Filling Radius

Sunhyuk Lim, Facundo Mémoli+1 more|arXiv (Cornell University)|Jan 21, 2020

Topological and Geometric Data Analysis被引用 5

一句话总结

本文通过将度量空间嵌入到内射（超凸）度量空间中，为维陶里斯-里普斯持久同调建立了一个几何框架，证明了在内射性条件下，标准的维陶里斯-里普斯持久同调与该几何构造同构。关键贡献在于一个范畴同构，使得能够对条形码区间端点、球面的同伦型以及通过度量不变量（如展开度和填充半径）对持久同调进行新表征。

ABSTRACT

In the applied algebraic topology community, the persistent homology induced by the Vietoris-Rips simplicial filtration is a standard method for capturing topological information from metric spaces. In this paper, we consider a different, more geometric way of generating persistent homology of metric spaces which arises by first embedding a given metric space into a larger space and then considering thickenings of the original space inside this ambient metric space. In the course of doing this, we construct an appropriate category for studying this notion of persistent homology and show that, in a category theoretic sense, the standard persistent homology of the Vietoris-Rips filtration is isomorphic to our geometric persistent homology provided that the ambient metric space satisfies a property called injectivity. As an application of this isomorphism result we are able to precisely characterize the type of intervals that appear in the persistence barcodes of the Vietoris-Rips filtration of any compact metric space and also to give succinct proofs of the characterization of the persistent homology of products and metric gluings of metric spaces. Our results also permit proving several bounds on the length of intervals in the Vietoris-Rips barcode by other metric invariants. Finally, as another application, we connect this geometric persistent homology to the notion of filling radius of manifolds introduced by Gromov \cite{G07} and show some consequences related to (1) the homotopy type of the Vietoris-Rips complexes of spheres which follow from work of M.~Katz and (2) characterization (rigidity) results for spheres in terms of their Vietoris-Rips persistence barcodes which follow from work of F.~Wilhelm.

研究动机与目标

• 通过将度量空间嵌入到内射空间中，发展一种几何的、范畴论的持久同调框架。
• 在环境空间为内射空间时，建立标准维陶里斯-里普斯持久同调与该几何构造之间的同构关系。
• 利用几何不变量表征紧致度量空间的维陶里斯-里普斯条形码中区间的端点。
• 将同构关系应用于推导球面和复射影空间的维陶里斯-里普斯复形的同伦型结果。
• 将持久同调与格罗莫夫的填充半径联系起来，并通过条形码不变量证明球面的稳定性和刚性结果。

提出的方法

• 通过度量对 (X, Y) 定义一种新的持久同调概念，其中 X 嵌入到内射度量空间 Y 中。
• 构建度量同伦对的范畴，并证明在内射情况下，标准的维陶里斯-里普斯过滤与该几何构造同构。
• 利用同构关系将几何拓扑中的结果转移到持久同调中，特别是针对紧致度量空间。
• 利用同构关系，通过空间的展开度和填充半径精确推导条形码中的区间端点。
• 利用交错距离和格罗莫夫-豪斯多夫距离的稳定性，证明强填充半径和条形码区间上的界限。
• 结合代数拓扑（如库恩尼茨公式、神经引理）和几何分析（如格罗莫夫的填充半径）推导同伦和刚性定理。

实验结果

研究问题

• RQ1 在何种条件下，标准的维陶里斯-里普斯持久同调与通过嵌入到内射度量空间中的几何持久同调构造同构？
• RQ2 对于任意紧致度量空间，维陶里斯-里普斯条形码中区间的精确端点是什么？如何通过几何不变量表征？
• RQ3 黎曼流形的填充半径与其维陶里斯-里普斯复形的持久同调有何关系？
• RQ4 能否通过该几何框架完全表征球面和复射影空间的维陶里斯-里普斯复形的同伦型？
• RQ5 基于其维陶里斯-里普斯条形码和填充半径，球面会显现出哪些稳定性与刚性性质？

主要发现

• 当环境空间为内射空间时，任意紧致度量空间的维陶里斯-里普斯持久同调与几何持久同调构造同构。
• 条形码 $\mathrm{barc}^\mathrm{VR}_k(X)$ 中区间的端点可通过空间的展开度和填充半径精确表征。
• 对于具有测地距离的 $n$-维球面 $\mathbb{S}^n$，填充半径为 $\mathrm{FillRad}(\mathbb{S}^n) = \frac{1}{2}\arccos\left(-\frac{1}{n+1}\right)$，且强填充半径等于该值。
• 本文证明了豪斯曼定理的精确版本：当 $r \in \left(0, \arccos\left(-\frac{1}{n+1}\right)\right]$ 时，有 $\mathrm{VR}_r(\mathbb{S}^n) \simeq \mathbb{S}^n$，并提供了单纯单峰证明。
• 强填充半径满足 $|\mathrm{sFillRad}_k(X;\mathbb{F}) - \mathrm{sFillRad}_k(Y;\mathbb{F})| \leq 2\,d_{\mathrm{GH}}(X,Y)$，证明了在格罗莫夫-豪斯多夫距离下的稳定性。
• 存在非正则填充的流形（例如，$\mathbb{S}^1 \times \mathbb{S}^1 \times (r\cdot\mathbb{S}^1)$，当 $r > 5$ 时），使得 $\mathrm{sFillRad} > \mathrm{FillRad}$，表明等式并不总是成立。