[论文解读] Combinatorial Persistent Homology Transform

Brittany Terese Fasy, Amit Patel|arXiv (Cornell University)|Aug 10, 2022

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

一句话总结

本文将持久同调变换（PHT）重新表述为组合性持久同调图的细胞余层，利用抽象偏序集上的函子性持久同调。通过在球面 $\mathbb{S}^N$ 的有限胞状分解上索引过滤，PHT 变成一个有限的、组合结构化的余层，从而使得形状分析能够应用范畴论与层论工具，实现对几何复形的精确且稳定的表示。

ABSTRACT

The combinatorial interpretation of the persistence diagram as a Möbius inversion was recently shown to be functorial. We employ this discovery to recast the Persistent Homology Transform of a geometric complex as a representation of a cellulation on $\mathbb{S}^n$ to the category of combinatorial persistence diagrams. Detailed examples are provided. We hope this recasting of the PH transform will allow for the adoption of existing methods from algebraic and topological combinatorics to the study of shapes.

研究动机与目标

• 为解决传统 PHT 的局限性，即即使对于有限生成的复形，也会产生不可数多个不同的持久同调图。
• 克服在实数索引的持久同调中，组合等价但拓扑不同的图之间的范畴不匹配问题。
• 利用抽象偏序集上的组合持久同调，开发 PHT 的有限细胞表示。
• 将 PHT 重述为细胞余层，从而可将层论与范畴论应用于形状分析。
• 为未来研究余层同调、整体截面以及参数化持久同调中的稳定性奠定基础。

提出的方法

• 采用 McClearly 和 Patel 提出的组合持久同调框架，将过滤的索引从 $\mathbb{R}$ 替换为抽象的全序偏序集。
• 构造 $\mathbb{S}^N$ 的有限胞状分解，使得同一胞腔内的方向产生相同的组合持久同调图。
• 将 PH 变换定义为余层 $F: \mathcal{C} \to \mathsf{Fnc}$，其中 $\mathcal{C}$ 为胞状分解，$\mathsf{Fnc}$ 为持久模的范畴。
• 利用胞状分解中的面关系，诱导顶点等价类之间的偏序映射，从而生成余层结构。
• 利用持久同调的函子性，确保在胞腔包含关系下图的一致性。
• 应用细胞余层理论，将整个 PHT 表示为一个有限的、凝聚的结构，便于代数与拓扑分析。

实验结果

研究问题

• RQ1 能否将持久同调变换重述为组合持久同调图的细胞余层，以实现对形状的范畴论分析？
• RQ2 $\mathbb{S}^N$ 的有限胞状分解如何确保同一胞腔内方向产生组合等价的持久同调图？
• RQ3 函子性在从 PHT 构造良好定义的余层结构中起什么作用？
• RQ4 如何将现有的 (余) 层论与范畴论工具应用于所得的持久同调图余层？
• RQ5 此类余层的整体截面与上同调不变量是什么，它们与形状重构有何关联？

主要发现

• 对于 PL 嵌入的有限单纯复形，其 PH 变换可被分解为 $\mathbb{S}^N$ 的有限细胞分解，使得单个胞腔内所有方向产生相同的组合持久同调图。
• PHT 同构于组合持久同调图的细胞余层，因此是余层范畴中的有限对象。
• 余层结构源于胞状分解中的面关系，这些关系诱导了在高度函数下顶点等价类之间的偏序映射。
• 类型-1 和类型-2 零胞腔分别对应三顶点与两对等价类，其中不存在的标记来自拓扑矛盾。
• 余层框架实现了对所有方向上持久同调图的统一、凝聚表示，使得可通过范畴论进行全局分析。
• 该方法提供了原始形状的稳定、完整且有限的表示，解决了传统 PHT 的不可数性与非同构性问题。