[论文解读] Defining and Computing Topological Persistence for 1-cocycles

Dan Burghelea, Tamal K. Dey+1 more|arXiv (Cornell University)|Dec 16, 2010

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

一句话总结

本文提出了一种新颖的框架，通过将单形复形的无限循环覆叠提升至实值映射，利用层级持久性来定义并计算1-上循环的拓扑持久性——即闭1-形式的离散类比。关键贡献是设计了一种算法，通过将标准持久同调技术适配到覆叠上的实值映射，实现对几乎整数1-上循环的持久性不变量计算，从而支持对圆周值数据（如离散向量场和排序数据）的拓扑分析。

ABSTRACT

The concept of topological persistence, introduced recently in computational topology, finds applications in studying a map in relation to the topology of its domain. Since its introduction, it has been extended and generalized in various directions. However, no attempt has been made so far to extend the concept of topological persistence to a generalization of `maps' such as cocycles which are discrete analogs of closed differential forms, a well known concept in differential geometry. We define a notion of topological persistence for 1-cocycles in this paper and show how to compute its relevant numbers. It turns out that, instead of the standard persistence, one of its variants which we call level persistence can be leveraged for this purpose. It is worth mentioning that 1-cocyles appear in practice such as in data ranking or in discrete vector fields.

研究动机与目标

• 将拓扑持久性从0-上链（实值函数）扩展至1-上循环，后者用于建模离散闭1-形式，并在数据排序和向量场等应用中出现。
• 解决标准持久同调无法应用于圆周值映射的问题，因为其缺乏子水平集。
• 通过一种适配于覆叠空间上实值函数的持久性变体——层级持久性，为1-上循环定义有意义的持久性概念。
• 提供一种算法，通过将几乎整数1-上循环的滤子提升至无限循环覆叠，计算其持久性不变量。
• 证明层级持久性计算的关联结构可直接从原始单形复形及其滤子中导出，从而实现高效计算。

提出的方法

• 通过选择基点和基于路径的角度赋值模 $ \alpha $，将几乎整数1-上循环 $ f: X \to \mathbb{S}^1 $ 提升为无限循环覆叠 $ \tilde{X} $ 上的实值映射 $ \tilde{f} $。
• 通过迭代添加 $ \mathcal{L}^\theta(n) $、$ \partial_+\mathcal{L}^\theta(n) $、$ \mathcal{T}^\theta(n) $ 和 $ \partial_-\mathcal{L}^\theta(n+1) $ 的副本，构建一个滤子单形复形 $ \tilde{X}^\theta(n) $，保持原始复形的顺序与关联结构。
• 递归定义关联系数矩阵 $ I_n(\sigma, \tau) $，确保与原始复形的边界结构兼容，并保证提升复形保持滤子性。
• 在提升复形 $ \tilde{X}^\theta(n) $ 上使用标准持久同调算法，以 $ \tilde{f} $ 作为滤子函数，计算层级持久性不变量。
• 对矩阵 $ M(\tilde{X}^\theta(n)) $ 的行列进行重排，以确保与 $ \tilde{f} $ 的滤子兼容性，从而通过标准算法实现高效计算。
• 计算中使用的 $ \mathcal{L} $ 和 $ \mathcal{T} $ 的副本总数受原始单形复形 $ \mathcal{X} $ 的基数限制。

实验结果

研究问题

• RQ1 如何为1-上循环（即闭1-形式的离散类比）有意义地定义拓扑持久性，其在数据排序和向量场等实际场景中出现？
• RQ2 为何标准持久同调不适用于圆周值映射？应采用何种替代持久性框架？
• RQ3 层级持久性（最初定义于实值函数）能否通过提升至无限循环覆叠，被适配用于计算1-上循环的不变量？
• RQ4 使用提升的滤子复形计算1-上循环持久性不变量的计算复杂度与可行性如何？
• RQ5 提升复形的关联结构与原始单形复形有何关系？能否高效重构以用于算法实现？

主要发现

• 本文证明，几乎整数1-上循环可诱导出一个良定义的 $ \mathbb{S}^1 $-值映射，该映射可被提升为无限循环覆叠上的实值映射，从而通过持久性实现拓扑分析。
• 层级持久性被证明是分析圆周值映射的合适持久性变体，因其避免了标准持久性中固有的子水平集问题。
• 在无限循环覆叠 $ \tilde{X} $ 上的提升映射 $ \tilde{f} $ 是适度的，且其滤子与原始单形复形结构兼容，使得标准持久同调算法可被应用。
• 提升复形 $ \tilde{X}^\theta(n) $ 的关联结构可高效地从原始复形 $ X $ 导出，从而可直接适配标准持久同调算法。
• 计算中使用的 $ \mathcal{L} $ 和 $ \mathcal{T} $ 的副本总数小于原始单形复形 $ \mathcal{X} $ 的基数，确保了计算效率。
• 该方法提供了一套完整的算法，通过将问题约化为在提升的滤子复形上计算标准持久同调，实现对几乎整数1-上循环持久性不变量的计算。