[论文解读] Defining and computing persistent Z-homology in the general case

Ana Romero, Jónathan Heras+2 more|arXiv (Cornell University)|Mar 26, 2014

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

一句话总结

本文提出了一种方法，通过改进的谱序列算法计算无限型空间的ℤ系数持久同调，即使同调群为无限维，也能计算持久同调群与整数条形码。关键贡献在于修正了持久同调与谱序列之间的关系，揭示了广泛引用定理中的缺陷，并实现了持久同调中扩张问题的检测。

ABSTRACT

By general case we mean methods able to process simplicial sets and chain complexes not of finite type. A filtration of the object to be studied is the heart of both subjects persistent homology and spectral sequences. In this paper we present the complete relation between them, both from theoretical and computational points of view. One of the main contributions of this paper is the observation that a slight modification of our previous programs computing spectral sequences is enough to compute also persistent homology. By inheritance from our spectral sequence programs, we obtain for free persistent homology programs applicable to spaces not of finite type (provided they are spaces with effective homology) and with Z-coefficients (significantly generalizing the usual presentation of persistent homology over a field). As an illustration, we compute some persistent homology groups (and the corresponding integer barcodes) in the case of a Postnikov tower.

研究动机与目标

• 将持久同调计算从有限型空间扩展至包含具有有效同调的无限维复形的场景。
• 将持久同调从域系数推广至ℤ系数，以实现对扩张问题的检测。
• 纠正文献中持久同调与谱序列关系上的长期错误。
• 在Kenzo系统中实现计算框架，以计算带生成元的持久同调群与整数条形码。
• 通过显式生成元追踪循环的出生与死亡时刻，实现对持久同调的定性分析。

提出的方法

• 利用Kenzo系统中现有的谱序列计算程序，稍作修改以计算持久同调。
• 应用有效同调方法，处理具有有限生成同调群的无限型空间。
• 通过将标准基于过滤的途径扩展至整系数，定义ℤ系数下的持久同调。
• 使用谱序列作为计算桥梁以确定持久同调群，修正[4]中存在缺陷的公式。
• 实现新函数total-prst-hmlg-group，以解决持久同调群中的扩张问题。
• 生成整数条形码，并追踪持久同调群的生成元，以实现超越标准条形码的定性分析。

实验结果

研究问题

• RQ1 持久同调与谱序列之间正确的关联关系是什么？它与[4]中所述公式有何不同？
• RQ2 能否使用现有的谱序列算法计算非有限型空间的ℤ系数持久同调？
• RQ3 如何计算检测并解决持久同调群中的扩张问题？
• RQ4 一个Postnikov塔的持久同调群与整数条形码是什么？它们与域系数下的结果有何不同？
• RQ5 相同的计算框架能否同时计算谱序列与持久同调？需要哪些修改？

主要发现

• [4]中所谓的“谱序列定理”是错误的：在r ≥ 1水平上，谱序列群的总秩并不等于持久图中持久性≥ r的点数，而可能超过该值。
• 建立了持久同调与谱序列之间正确的关联关系，表明持久同调群可从谱序列数据中计算得出，但其公式比先前声称的更为精细。
• 在Postnikov塔的一个阶段中，持久同调群H⁴⁷₇被发现为ℤ₂ ⊕ ℤ₄，表明存在非平凡的扩张问题。
• 持久同调群的生成元被显式计算，且其并不一定源自各个条形码分量，表明循环演化过程复杂。
• 该方法成功通过ℤ系数区分了克莱因瓶与环面，而它们的ℤ₂-同调在此前是无法区分的。
• 在Kenzo中的实现成功计算了如Postnikov塔等无限型空间的持久同调，包含完整的整数条形码与扩张问题的解析。