[论文解读] An Introduction to Multiparameter Persistence

Magnus Bakke Botnan, Michael Lesnick|arXiv (Cornell University)|Mar 27, 2022

Topological and Geometric Data Analysis被引用 7

一句话总结

本文引入了多参数持久同调（multiparameter persistence），这是拓扑数据分析中持久同调的扩展框架，适用于多维参数空间索引的多重过滤。它建立了Mayer–Vietoris带作为中间正合、可区间分解的持久同调模，适用于Morse型函数，通过1-参数扩展或Zigzag持久同调实现稳定且可计算的条形码，适用于鲁棒的形状分析及具有复杂结构（如异常值或噪声）的数据。

ABSTRACT

In topological data analysis (TDA), one often studies the shape of data by constructing a filtered topological space, whose structure is then examined using persistent homology. However, a single filtered space often does not adequately capture the structure of interest in the data, and one is led to consider multiparameter persistence, which associates to the data a space equipped with a multiparameter filtration. Multiparameter persistence has become one of the most active areas of research within TDA, with exciting progress on several fronts. In this article, we introduce multiparameter persistence and survey some of this recent progress, with a focus on ideas likely to lead to practical applications in the near future.

研究动机与目标

• 为多参数持久同调提供全面介绍，将其作为1-参数持久同调在分析复杂数据结构方面的推广。
• 解决在高参数设置下定义条形码的挑战，其中经典条形码分解因表示类型过于复杂而失效。
• 建立Mayer–Vietoris带作为源自Morse型函数互层集的稳定、可区间分解的持久同调模。
• 将多参数持久同调与张量表示理论及交换代数联系起来，突出其理论丰富性与实际潜力。
• 展示如何通过标准1-参数方法计算Mayer–Vietoris带的条形码，从而实现实际应用。

提出的方法

• 通过数据上的函数（如水平集或上水平集）构建多重过滤，以在完全有序集的乘积上定义图示。
• 对多重过滤应用具有域系数的同调，得到多参数持久同调模，将其视为多项式环上的多分次模。
• 利用Mayer–Vietoris正合列定义相邻互层集同调模之间的连接映射，形成在乘积偏序集上的持久同调模。
• 将Mayer–Vietoris带定义为在与两个链积同构的偏序集上的一种类似Zigzag的持久同调模，支持区间分解。
• 应用张量表示理论的结构定理，在p.f.d.（有限点维）与中间正交性条件下，证明Mayer–Vietoris带的区间可分解性。
• 利用已知的扩展或Zigzag持久同调算法，计算Mayer–Vietoris带的条形码，确保计算上的可行性。

实验结果

研究问题

• RQ1 持久同调如何推广到多维参数空间索引的多重过滤？在定义条形码等不变量时，其基本挑战是什么？
• RQ2 为何经典条形码分解在多参数设置下会失效？哪些代数或拓扑条件允许其有意义的推广？
• RQ3 Mayer–Vietoris带构造能否为具有复杂拓扑特征（如环或高密度区域）的数据提供稳定、可计算且可解释的不变量？
• RQ4 在多大程度上可使用标准1-参数持久同调技术计算Mayer–Vietoris带的条形码？这对实际应用有何含义？
• RQ5 Mayer–Vietoris带条形码的稳定性如何与函数上的$L^∞$-距离及矩形上的瓶颈距离相关？

主要发现

• Morse型函数的Mayer–Vietoris带是区间可分解的，每个区间对应于索引偏序集中的一个最大矩形。
• Mayer–Vietoris带的条形码完全由函数的水平集或扩展持久同调条形码决定，可通过标准1-参数算法计算。
• Mayer–Vietoris带的条形码在矩形上的瓶颈距离与函数上的$L^∞$-距离下保持稳定，确保对小扰动的鲁棒性。
• 相对互层集模的中间正交性在p.f.d.条件下确保了区间可分解性，推广了1-参数情形。
• Mayer–Vietoris带构造在连续度数的同调之间提供了自然匹配，几何上与环和连通分支等拓扑特征对齐。
• 该理论可通过Mayer–Vietoris带的一种变体推广至开区间，该变体同样具有区间可分解性，并在相同度量下保持稳定。