[论文解读] Persistence for Circle Valued Maps

Dan Burghelea, Tamal K. Dey|arXiv (Cornell University)|Apr 29, 2011

Topological and Geometric Data Analysis参考文献 19被引用 15

一句话总结

本文为圆值映射提出了一种持久性理论，通过在单纯复形上对矩阵进行约化，引入了新的不变量——条形码和若尔当块，将拓扑数据分析从实值函数推广至圆值映射。其主要贡献是建立了一个可计算的框架，将源空间及其子空间的同调与这些不变量联系起来，同时提出一种算法，能够从输入矩阵中同步计算条形码和若尔当块。

ABSTRACT

We study circle valued maps and consider the persistence of the homology of their fibers. The outcome is a finite collection of computable invariants which answer the basic questions on persistence and in addition encode the topology of the source space and its relevant subspaces. Unlike persistence of real valued maps, circle valued maps enjoy a different class of invariants called Jordan cells in addition to bar codes. We establish a relation between the homology of the source space and of its relevant subspaces with these invariants and provide a new algorithm to compute these invariants from an input matrix that encodes a circle valued map on an input simplicial complex.

研究动机与目标

• 开发圆值映射的持久性理论，推广标准实值函数的子水平集持久性。
• 识别并表征圆值映射特有的新型拓扑不变量——条形码和若尔当块。
• 建立一个计算框架，将源空间及其子空间的同调与这些不变量联系起来。
• 提供一种算法，能够从编码圆值映射的单纯复形矩阵中，同步计算条形码和若尔当块。
• 展示该理论在实值映射（作为特例）以及具有李雅普诺夫闭1-形式的向量场中的适用性。

提出的方法

• 该理论基于循环quiver的表示理论，为圆值映射的水平集同调持久性提供了完整的不变量集合。
• 从单纯复形的原始关联矩阵构建一个分块矩阵，编码水平集之间同调群的同态。
• 对分块矩阵应用迭代矩阵约化以消除条形码，通过列变换实现列阶梯形。
• 将所得可逆矩阵转换为若尔当标准形，以提取若尔当块，使用标准线性代数技术。
• 该算法按顺序处理临界水平集和正则水平集，通过行与列变换修改分块矩阵，逐步计算不变量。
• 该方法推广了锯齿持久性，可作为该场景下计算条形码的替代方案。

实验结果

研究问题

• RQ1 鉴于圆值映射的圆周余定义域引入了拓扑复杂性，如何将拓扑持久性从实值映射扩展至圆值映射？
• RQ2 在圆值映射的持久性中，除了标准实值持久性中使用的条形码外，还会出现哪些新不变量？
• RQ3 如何从圆值映射的持久性不变量中重构源空间及其子空间的同调？
• RQ4 能否设计一种高效算法，从映射的矩阵表示中同步计算条形码和若尔当块？
• RQ5 计算这些不变量的时间复杂度是多少？与现有方法（如锯齿持久性）相比有何差异？

主要发现

• 圆值映射的持久性引入了一类新型不变量——若尔当块，同时伴随更精细的条形码，这些在标准实值持久性中并不存在。
• 源空间及其子空间的同调可被条形码和若尔当块完全重构，如定理3.1和定理3.2所形式化。
• 该算法的时间复杂度为 $ O(m^2n^2M(n) + M(mn)) $，其中 $ n $ 为单形数量，$ m $ 为临界值数量，$ M(n) $ 为计算 $ n \times n $ 矩阵乘法的时间。
• 该方法推广了锯齿持久性，可作为该场景下计算条形码的替代方案，且具备计算若尔当块的附加能力。
• 该理论适用于实值映射作为特例，可恢复已知结果，并为其实现同调结构提供新见解。
• 该框架在莫尔斯-诺维科夫理论中具有坚实的数学基础，并对具有李雅普诺夫闭1-形式的向量场的动力学具有启示意义。