[论文解读] Stability of persistence spaces of vector-valued continuous functions

Andrea Cerri, Claudia Landi|arXiv (Cornell University)|May 28, 2013

Topological and Geometric Data Analysis参考文献 7被引用 4

一句话总结

本文引入了持久性空间（persistence space），作为向量值连续函数的多维持久贝蒂数的稳定且完备的表示。通过利用持久贝蒂数不连续点的重数来定义点，持久性空间将持久性图推广至多参数情形，并证明了其稳定性：持久性空间之间的Hausdorff距离由函数差值的上确界范数有界。

ABSTRACT

Multidimensional persistence modules do not admit a concise representation analogous to that provided by persistence diagrams for real-valued functions. However, there is no obstruction for multidimensional persistent Betti numbers to admit one. Therefore, it is reasonable to look for a generalization of persistence diagrams concerning those properties that are related only to persistent Betti numbers. In this paper, the persistence space of a vector-valued continuous function is introduced to generalize the concept of persistence diagram in this sense. The main result is its stability under function perturbations: any change in vector-valued functions implies a not greater change in the Hausdorff distance between their persistence spaces.

研究动机与目标

• 为解决多维持久同调中缺乏类似持久性图的离散稳定表示的问题。
• 通过仅关注稳定且可重构的持久贝蒂数，推广持久性图的概念。
• 定义一种新对象——持久性空间，以在多维情形下完全表征持久贝蒂数。
• 在函数扰动下建立该表示的稳定性，确保对噪声的鲁棒性。
• 证明持久性空间点的坐标对应于同调临界值，保留了一维图的关键结构特性。

提出的方法

• 将持久性空间定义为 ℝⁿ 中的多重集，其中每个点对应持久贝蒂数函数的一个不连续点。
• 利用子水平集之间同态的秩差导出的重数，为点分配权重。
• 通过多维表示定理证明持久性空间可完全重构持久贝蒂数函数。
• 通过有界持久性空间之间的Hausdorff距离不超过 ||f - g||_∞，建立稳定性。
• 利用Čech同调与角点分析的性质，将非对角点的坐标表征为同调临界值。
• 利用Čech同调理论的结果，证明持久贝蒂数在超过空间拓扑维数的同调度上消失。

实验结果

研究问题

• RQ1 当持久模无离散分解时，能否构建多维持久贝蒂数的稳定且完备的表示？
• RQ2 是否存在一种持久性图的推广形式，能保持稳定性与从贝蒂数重构等关键性质？
• RQ3 持久性空间之间的Hausdorff距离是否由函数差值的上确界范数有界？
• RQ4 持久性空间中点的坐标在多维情形下是否可识别为同调临界值？
• RQ5 在离散情形下，同调临界值集合能否被缩减为有限代表集，从而实现高效计算？

主要发现

• 持久性空间为多维持久贝蒂数提供了完整且离散的表示，将持久性图推广至向量值函数。
• 持久性空间具有稳定性：两个函数 f 和 g 的持久性空间之间的Hausdorff距离至多为 ||f - g||_∞。
• 持久性空间中非对角点的坐标为同调临界值，扩展了一维持久性图的关键性质。
• 对于维数为 d 的紧致三角剖分空间，持久贝蒂数在同调度 k > d 时消失，且同调临界值集合在 n 维Lebesgue测度下为零测集。
• 在离散情形下，同调临界值集合存在有限代表集，暗示了高效计算瓶颈距离的潜力。
• 持久性空间的构造与光滑范畴中的Pareto临界性一致，其坐标投影至函数的Pareto临界值。