[论文解读] Bigraded Betti numbers and Generalized Persistence Diagrams

Woojin Kim, Samantha Moore|arXiv (Cornell University)|Nov 3, 2021

Topological and Geometric Data Analysis被引用 4

一句话总结

本文通过广义秩不变量的莫比乌斯反演，建立了一个组合公式，将双分次 Betti 数与广义持久性图谱联系起来。结果表明，双分次 Betti 数通过计数广义持久性图谱中区间子集的角点来实现，为多参数 TDA 中的条形码提供了一种新颖的代数代理。

ABSTRACT

Commutative diagrams of vector spaces and linear maps over $\mathbb{Z}^2$ are objects of interest in topological data analysis (TDA) where this type of diagrams are called 2-parameter persistence modules. Given that quiver representation theory tells us that such diagrams are of wild type, studying informative invariants of a 2-parameter persistence module $M$ is of central importance in TDA. One of such invariants is the generalized rank invariant, recently introduced by Kim and Mémoli. Via the Möbius inversion of the generalized rank invariant of $M$, we obtain a collection of connected subsets $I\subset\mathbb{Z}^2$ with signed multiplicities. This collection generalizes the well known notion of persistence barcode of a persistence module over $\mathbb{R}$ from TDA. In this paper we show that the bigraded Betti numbers of $M$, a classical algebraic invariant of $M$, are obtained by counting the corner points of these subsets $I$s. Along the way, we verify that an invariant of 2-parameter persistence modules called the interval decomposable approximation (introduced by Asashiba et al.) also encodes the bigraded Betti numbers in a similar fashion. We also show that the aforementioned results are optimal in the sense that they cannot be extended to $d$-parameter persistence modules for $d \geq 3$.

研究动机与目标

• 通过广义持久性图谱建立计算 2-参数持久性模的双分次 Betti 数的组合公式的任务。
• 证明双分次 Betti 数可通过广义持久性图谱中角点的计数来编码。
• 验证 Asashiba 等人提出的区间可分解逼近也以类似方式编码双分次 Betti 数。
• 将多参数持久同调中的不变量理解从 1-参数情形（此时存在完整的条形码）推广至更一般情形。
• 探索广义持久性图谱是否可在 d-参数设置中恢复高维 Betti 数。

提出的方法

• 通过广义秩不变量的莫比乌斯反演，将广义持久性图谱定义为 ℤ² 中连通子集的带符号集合。
• 应用一个组合公式，将双分次 Betti 数 β₁(M)(p) 表示为对 ℤ² 中区间 I ∈ Int(ℤ²) 的求和，其权重为 τ₁(I⁺)(p)，后者用于计数点 p 处的角类型。
• 分析点集 {p−e₁−e₂, p−e₁, p−e₂, p} 相对于子集 J 的包含/排除关系的全部 2⁴ = 16 种组合，以推导系数结构。
• 通过根据四个点中哪些属于 J 来分组情况，基于角类型配置分配带符号的重数，从而导出公式 (19)。
• 依赖于区间模及其上推的结构，将 τ₁(I⁺)(p) 与广义持久性图谱中特定角类型的出现相关联。
• 通过证明 β₁(M)(p) 等于广义持久性图谱值的加权和（权重为角类型指示函数 τ₁(I⁺)(p)），从而证明定理 3.5。

实验结果

研究问题

• RQ1 能否使用组合公式，从广义持久性图谱计算 2-参数持久性模的双分次 Betti 数？
• RQ2 作为广义秩不变量的莫比乌斯反演定义的广义持久性图谱，是否编码了与双分次 Betti 数相同的信息？
• RQ3 广义持久性图谱中的角点与模的代数不变量之间是否存在结构性对应？
• RQ4 Asashiba 等人提出的区间可分解逼近是否也能以类似于广义持久性图谱的方式恢复双分次 Betti 数？
• RQ5 该方法能否推广至 d-参数持久性模，以从广义持久性图谱中恢复 d-分次 Betti 数？

主要发现

• 双分次 Betti 数 β₁(M)(p) 被计算为广义持久性图谱值的带符号和，其权重为角类型指示函数 τ₁(I⁺)(p)，后者用于计数点 p 周围特定的点配置。
• 公式 (19) 显式地将 β₁(M)(p) 表示为四项之和，每一项对应一种不同的角类型，其中一项的系数为 2。
• 广义持久性图谱 dgm(M) 通过角点计数机制，捕捉了与双分次 Betti 数相同的信息。
• Asashiba 等人提出的区间可分解逼近也以类似方式编码双分次 Betti 数，表明其可作为 2-参数 TDA 中条形码的代理。
• 广义持久性图谱不仅具有稳定性，而且对区间可分解模是完备的，其结构允许精确重构 Betti 数。
• 该结果将 1-参数条形码对应关系推广至 2-参数模，为 Betti 数提供了新的代数-几何解释。