[论文解读] Amplitudes in abelian categories

Barbara Giunti, John S. Nolan+2 more|arXiv (Cornell University)|Jul 19, 2021

Topological and Geometric Data Analysis被引用 1

一句话总结

本文提出一个通用框架，用于研究多参数持久同调中的稳定性，通过定义幅度——对持久模分配非负实数值的单调、次可加不变量。该文表明，拓扑数据分析中的许多现有不变量和距离均为幅度的特例，并利用此结构在多参数设置下推导出新的稳定性结果。

ABSTRACT

The use of persistent homology in applications is justified by the validity of certain stability results. At the core of such results is a notion of distance between the invariants that one associates to data sets. While such distances are well-understood in the one-parameter case, the situation for multiparameter persistence modules is more challenging, since there is no generalisation of the barcode. Here we introduce a general framework to study stability questions in multiparameter persistence. We introduce amplitudes -- invariants that arise from assigning a non-negative real number to each persistence module, and which are monotone and subadditive in an appropriate sense -- and then study different ways to associate distances to such invariants. Our framework is very comprehensive, as many different invariants that have been introduced in the Topological Data Analysis literature are examples of amplitudes, and furthermore, many known distances for multiparameter persistence can be shown to be distances from amplitudes. Finally, we show how our framework can be used to prove new stability results.

研究动机与目标

• 为解决多参数持久同调中条形码的泛化缺失问题，该问题阻碍了稳定性分析。
• 形式化一个统一的框架，用于多参数持久同调模的不变量与距离。
• 识别并表征幅度作为一类满足单调性与次可加性的不变量。
• 表明多参数持久同调中的已知距离可源自此类幅度。
• 利用幅度框架证明多参数持久同调中新的稳定性定理。

提出的方法

• 将幅度定义为在持久模上取非负实数值的不变量，其在直和分解下满足单调性与次可加性。
• 通过对偶构造从幅度构造距离，广义化了通过不变量比较定义距离的概念。
• 证明标准不变量（如秩、维数以及某些谱不变量）均为幅度的特例。
• 建立已知的多参数持久同调距离（如基于交错或匹配的距离）可由幅度导出。
• 利用幅度的结构性质，推导出数据集扰动下的新稳定性界。
• 将该框架应用于证明传统基于条形码的方法失效的场景下的稳定性结果。

实验结果

研究问题

• RQ1 如何在条形码不可用的多参数情形下，将一参数情形下的稳定性结果进行泛化？
• RQ2 不变量需满足何种结构性质，方能在多参数持久同调的稳定性分析中发挥作用？
• RQ3 哪些已知的不变量与距离可在单一框架下统一？
• RQ4 通过分析幅度的性质，能否推导出新的稳定性结果？
• RQ5 不变量的单调性与次可加性如何与多参数设置下拓扑特征的鲁棒性相关联？

主要发现

• 幅度提供了一个统一框架，广义化了拓扑数据分析中的许多现有不变量，包括秩与维数。
• 许多已知的多参数持久同调距离（如基于交错或匹配的距离）被证明可源自幅度。
• 该框架通过利用幅度的单调性与次可加性，实现了新稳定性结果的推导。
• 多参数持久同调中条形码的缺失，可通过基于幅度的不变量及其关联距离得到补偿。
• 该框架揭示了不同不变量与距离之间的结构性关系，增强了对高参数设置下稳定性理论的理解。
• 该方法提供了一种系统化的方法，通过定义适当的幅度函数，构造新的不变量与距离。