[论文解读] Ephemeral Persistence Features and the Stability of Filtered Chain Complexes

Facundo Mémoli, Ling Zhou|arXiv (Cornell University)|Aug 24, 2022

Topological and Geometric Data Analysis被引用 2

一句话总结

本文提出了一种冗长条形图（verbose barcode）——标准持久同调条形图的改进版本，其包含了从过滤链复形中提取的瞬态特征（零持久性条带）。通过利用Usher和Zhang关于过滤链复形的框架，作者定义了新的稳定度量（拉回交错距离与瓶颈距离），这些度量能够检测出具有相同标准Vietoris-Rips条形图的有限度量空间之间的差异，证明了冗长条形图在稳定性上优于标准条形图，且具有更强的判别能力。

ABSTRACT

We strengthen the usual stability theorem for Vietoris-Rips (VR) persistent homology of finite metric spaces by building upon constructions due to Usher and Zhang in the context of filtered chain complexes. The information present at the level of filtered chain complexes includes points with zero persistence which provide additional information to that present at homology level. The resulting invariant, called verbose barcode, which has a stronger discriminating power than the usual barcode, is proved to be stable under certain metrics that are sensitive to these ephemeral points. In some situations, we provide ways to compute such metrics between verbose barcodes. We also exhibit several examples of finite metric spaces with identical (standard) VR barcodes yet with different verbose VR barcodes thus confirming that these ephemeral points strengthen the standard VR barcode.

研究动机与目标

• 通过引入标准条形图中未捕捉到的瞬态持久性特征，强化Vietoris-Rips持久同调的稳定性定理。
• 定义并分析新的度量——拉回交错距离与瓶颈距离，使其对过滤链复形中的零长度条带敏感。
• 证明包含瞬态特征的冗长条形图相比标准条形图具有严格更强的判别能力。
• 提供可计算的度量以比较冗长条形图，特别是通过超度量空间上的拉回构造。
• 建立一个等距定理，将过滤链复形之间的拉回交错距离与冗长条形图之间的匹配距离联系起来。

提出的方法

• 通过在单纯复形过滤与同调模之间插入过滤链复形（FCCs），扩展了持久同调的处理流程。
• 采用Usher和Zhang对FCCs的分解方法，将其分解为不可约的基本分量，包括具有零长度条带（瞬态特征）的分量。
• 将冗长条形图定义为标准（简洁）条形图与瞬态条带的并集，并通过函数µkp⃗mpIpqq追踪重数。
• 引入拉回构造：对于两个度量空间X和Y，使用整数向量⃗m, ⃗m1生成新的有限度量空间X(⃗m)和Y(⃗m1)。
• 将拉回交错距离dI与拉回瓶颈距离dM定义为所有有效拉回向量(⃗m, ⃗m1) ∈ MMap下的下确界。
• 利用等距定理证明dI = dM，从而确立了在这些新度量下冗长条形图的稳定性。

实验结果

研究问题

• RQ1 过滤链复形中的瞬态持久性特征（零长度条带）是否能提供超越标准持久同调条形图的额外判别能力？
• RQ2 是否存在对这些瞬态特征敏感的稳定度量，能够区分具有相同标准Vietoris-Rips条形图的有限度量空间？
• RQ3 拉回构造能否用于定义有限度量空间冗长条形图之间的可计算且稳定的度量？
• RQ4 过滤链复形之间的拉回交错距离dI是否等于冗长条形图之间的拉回瓶颈距离dM？
• RQ5 新度量能否检测出在标准瓶颈距离下无法区分的超度量空间之间的差异？

主要发现

• 包含瞬态特征的冗长条形图相比标准条形图具有严格更强的判别能力：两个有限度量空间可能具有相同的标准VR条形图，但其冗长条形图不同。
• 冗长条形图之间的拉回瓶颈距离dM与过滤链复形之间的拉回交错距离dI等距，即dI = dM。
• 对于对(X, W)和(W, Y)，拉回度量(dTri_I, dCor_I, dMap_I)为零，表明在拉回下X与W（以及W与Y）的冗长条形图同构。
• 对于对(X, Y)，所有三种拉回度量(dTri_I, dCor_I, dMap_I)均等于1，表明在新度量下存在非零距离。
• 三角不等式在拉回度量dTri_I、dCor_I与dMap_I下不成立，如三组5点超度量空间X、Y、W的反例所示。
• X与Y之间非零距离的证明依赖于求解丢番图方程，以证明不存在使它们在所有度数下冗长条形图匹配的拉回向量。