[论文解读] Persistence Stability for Geometric complexes

Frédéric Chazal|arXiv (Cornell University)|Jul 17, 2012

Topological and Geometric Data Analysis参考文献 14被引用 6

一句话总结

本文建立了在完全有界度量空间上，针对几何复形（如Vietoris–Rips、Čech和Dowker复形）的持久同调的稳定性，其度量为Gromov–Hausdorff距离。通过ε-单纯多值映射和持久同调模中的ε-交错，作者证明了持久图之间的瓶颈距离至多为Gromov–Hausdorff距离的两倍，将先前针对有限空间的结果推广至完全有界空间，并证明了持久同调模的驯服性。

ABSTRACT

In this paper we study the properties of the homology of different geometric filtered complexes (such as Vietoris-Rips, Cech and witness complexes) built on top of precompact spaces. Using recent developments in the theory of topological persistence we provide simple and natural proofs of the stability of the persistent homology of such complexes with respect to the Gromov--Hausdorff distance. We also exhibit a few noteworthy properties of the homology of the Rips and Cech complexes built on top of compact spaces.

研究动机与目标

• 将持久同调的稳定性从有限度量空间推广至完全有界度量空间。
• 建立完全有界空间上此类几何复形的持久图之间的瓶颈距离与Gromov–Hausdorff距离之间的关系，证明其至多为后者两倍。
• 证明Rips和Čech复形在完全有界空间上的持久同调模具有驯服性。
• 分析紧致和δ-双曲度量空间上Rips与Čech复形的同调结构特性。
• 将稳定性结果推广至更广泛的滤子几何复形类别，包括Dowker复形。

提出的方法

• 引入在滤子复形之间定义的ε-单纯多值映射，以在持久同调模中诱导ε-交错。
• 将ε-交错理论应用于ε-接近的度量空间之间的对应关系，连接其持久同调模。
• 利用同调的函子性及持久同调模的复合律推导稳定性界。
• 建立基于完全有界空间上滤子复形的持久同调模的驯服性。
• 应用δ-双曲性条件分析Rips复形中二维同调的结构。
• 通过中点和内切圆点对三角形进行几何分解，以估计δ-双曲空间中的边长。

实验结果

研究问题

• RQ1 Rips复形的持久同调稳定性能否从有限度量空间扩展至完全有界度量空间？
• RQ2 度量空间之间的Gromov–Hausdorff距离与它们持久图之间的瓶颈距离之间存在何种关系？
• RQ3 Rips与Čech复形的同调群在紧致和完全有界度量空间上的行为如何？
• RQ4 δ-双曲性对Rips复形持久图施加了何种结构约束？
• RQ5 该稳定性界能否推广至其他滤子几何复形（如Dowker复形）？

主要发现

• 在完全有界度量空间上的Rips复形持久图之间的瓶颈距离至多为Gromov–Hausdorff距离的两倍，推广了已知的有限空间结果。
• 在完全有界空间上，Rips与Čech复形的持久同调模具有驯服性，确保持久图行为良好。
• 对于δ-双曲测地度量空间，H2持久图被限制在垂直条带[0, 2δ] × [0, ∞)内，意味着在尺度2δ之后不会出现新的2-挠类。
• 当q > 2δ时，δ-双曲空间中映射H2(Rips(X, 1/2 q + δ)) → H2(Rips(Z, q))是满射，表明所有2维同调在尺度1/2 q + δ处已被捕获。
• 通过迭代该满射性，可证明对所有p > 2δ和q > p，有H2(Rips(X, p)) → H2(Rips(X, q))是满射，从而确认持久图的约束性。
• 通过ε-单纯多值映射实现的ε-交错理论，为在各类滤子几何复形上证明稳定性提供了通用框架。