[论文解读] Kunneth formuale in persistent homology

Perea, José|arXiv (Cornell University)|Jan 1, 2019

Topological and Geometric Data Analysis参考文献 45被引用 9

一句话总结

本文建立了持久同调的K"unneth型公式，展示了如何从其过滤因子的持久同调重构过滤乘积空间的持久同调。不同的乘积过滤方式产生不同的公式，将经典的K"unneth定理推广到持久同调设置，并给出了条形码模组的显式分解规则。

ABSTRACT

The classical Kunneth formula in homological algebra provides a link between the homology of a product space and that of its factors. We will show in this talk a collection of similar results for persistent homology. That is, we show how the persistent homology of a filtered product space --- different product filtrations lead to different formulae --- can be recovered from that of its filtered factors.

研究动机与目标

• 将同调代数中的经典K"unneth公式推广到持久同调的设定中。
• 研究不同的乘积过滤如何影响乘积空间的持久同调。
• 提供一种方法，从其过滤分量中恢复过滤乘积空间的持久同调。
• 形式化过滤因子的条形码分解与最终乘积空间之间关系。

提出的方法

• 通过原始过滤的各种组合，在两个过滤空间的乘积上定义一种乘积过滤。
• 利用过滤链复形的结构，推导出乘积的持久同调与因子持久同调的张量积之间的同构。
• 建立乘积空间的持久同调可分解为持久同调模组张量积的直和的条件。
• 以同调代数中的K"unneth定理为基础，将其适应到过滤和持久同调的语境中。
• 分析所得的条形码分解，说明乘积空间中的特征如何源于因子之间特征的相互作用。
• 证明不同的过滤选择会导致结果持久同调中出现不同的代数结构，从而产生不同的公式。

实验结果

研究问题

• RQ1 如何用其过滤因子的持久同调来表达过滤乘积空间的持久同调？
• RQ2 在不同过滤方案下，控制乘积空间中持久同调分解的代数结构是什么？
• RQ3 与经典K"unneth公式相比，不同的乘积过滤在多大程度上改变了结果持久同调公式？
• RQ4 在多大程度上可以从未经分解的条形码重构乘积空间的持久同调条形码？
• RQ5 在什么条件下，乘积空间的持久同调同构于其因子持久同调的张量积？

主要发现

• 通过K"unneth型同构，可以从未经分解的过滤因子的持久同调中恢复过滤乘积空间的持久同调。
• 不同的乘积过滤方式导致乘积空间持久同调的代数公式不同。
• 乘积空间持久同调的分解由因子持久同调模组的张量积所控制。
• 乘积空间的条形码分解反映了来自各独立因子条形码的相互作用，而过滤选择决定了结果条形码集合的结构。
• 经典同调代数中的K"unneth公式被推广到持久同调设置，并给出了同构成立的显式条件。
• 结果为通过将问题简化为对因子的计算，系统性地计算乘积空间的持久同调提供了框架。