[论文解读] Computational Tools in Weighted Persistent Homology

Shiquan Ren, Chengyuan Wu+1 more|arXiv (Cornell University)|Nov 25, 2017

Topological and Geometric Data Analysis参考文献 28被引用 6

一句话总结

本文引入了加权持久同调的Mayer-Vietoris序列与广义Bockstein谱序列，实现了从模$p$同调高效计算并恢复整数同调。提出了一种从加权网络构建加权单纯复形滤子的算法，并证明了一个定理，可基于模$p$数据计算模$p^2$加权持久同调，显著提升了加权结构的拓扑数据分析能力。

ABSTRACT

In this paper, we study further properties and applications of weighted homology and persistent homology. We introduce the Mayer-Vietoris sequence and generalized Bockstein spectral sequence for weighted homology. For applications, we show an algorithm to construct a filtration of weighted simplicial complexes from a weighted network. We also prove a theorem that allows us to calculate the mod $p^2$ weighted persistent homology given some information on the mod $p$ weighted persistent homology.

研究动机与目标

• 将经典代数拓扑工具——Mayer-Vietoris序列与Bockstein谱序列——推广至加权持久同调的框架。
• 开发一种从加权网络构建加权单纯复形滤子的算法，避免重复构建团复形。
• 建立一个理论框架，用于利用模$p$持久同调信息计算模$p^2$加权持久同调。
• 将Bockstein谱序列推广至整环$R$系数，支持代数几何与加权数据分析中的应用。

提出的方法

• 通过利用系数在交换环$R$上的加权链复形结构，形式化了加权同调的Mayer-Vietoris序列。
• 使用理想的降链构造加权单纯复形的滤子，实现高效计算。
• 将广义Bockstein同态$\beta$定义为由系数模的短正合列诱导的长正合列中的连接同态。
• 建立一个单重分次谱序列$\{E^n_r, d^r\}$，其中$E^n_1 = H_n(K,w; R/pR)$且$d^1 = \beta$，该谱序列收敛于$(H_*(K,w;R)/\text{挠}) \otimes (R/pR)$。
• 利用短正合列$0 \to R/p^rR \to R/p^{2r}R \to R/p^rR \to 0$将谱序列推广至高阶项。
• 利用同构$E^n_r \cong \text{im}(\mu_{p^{r-1}})$，并将$d^r$识别为第$r$阶广义Bockstein同态。

实验结果

研究问题

• RQ1 如何将Mayer-Vietoris序列适配于加权同调，以简化子复形上的同调计算？
• RQ2 Bockstein谱序列能否被推广，以从模$p$同调恢复整数加权持久同调？
• RQ3 在何种条件下可基于模$p$持久同调计算模$p^2$加权持久同调？
• RQ4 如何在不重复生成团复形的前提下，高效地从加权网络构建加权单纯复形滤子？
• RQ5 在$H_n(K,w;R)$中的挠与广义Bockstein谱序列中的非平凡微分之间存在何种结构性关系？

主要发现

• 成功形式化了加权同调的Mayer-Vietoris序列，实现了基于分解的同调群计算。
• 开发了一种从加权网络构建加权单纯复形滤子的算法，通过仅构建一次团复形显著降低了计算开销。
• 证明了一个定理，当模$p$持久同调满足特定条件时，可计算模$p^2$加权持久同调。
• 广义Bockstein谱序列收敛于$(H_*(K,w;R)/\text{挠}) \otimes (R/pR)$，其中$E^n_1 = H_n(K,w; R/pR)$且$d^1 = \beta$，即广义Bockstein同态。
• 建立了$d^r E^{r}_{n+1}$中$R/pR$直和项与$H_n(K,w;R)$中$R/p^r R$直和项之间的一一对应关系，表明非平凡$d^r$意味着存在$p^r$-挠。
• 在$\mathbb{R}[x]$上的示例中，谱序列恢复了$H_0(K,w;\mathbb{R}[x]) \cong \mathbb{R}[x] \oplus \mathbb{R}[x]/(x^2) \oplus \mathbb{R}[x]/(x^2)$与$H_1(K,w;\mathbb{R}[x]) \cong \mathbb{R}[x]$，验证了该方法的有效性。