[论文解读] An Isometry Theorem for Generalized Persistence Modules

Killian Meehan, David Meyer|arXiv (Cornell University)|Oct 8, 2017

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

一句话总结

本文利用Bubenik、de Silva和Scott引入的交错度量，为广义持久性模在一大类偏序集中建立了等距定理。通过将交错关系建模为以态射参数化的仿射簇，作者证明了在特定情况下交错距离等于瓶颈距离，从而将代数稳定性推广至多维及非序化设定。

ABSTRACT

In recent work, generalized persistence modules have proved useful in distinguishing noise from the legitimate topological features of a data set. Algebraically, generalized persistence modules can be viewed as representations for the poset algebra. The interplay between various metrics on persistence modules has been of wide interest, most notably, the isometry theorem of Bauer and Lesnick for (one-dimensional) persistence modules. The interleaving metric of Bubenik, de Silva and Scott endows the collection of representations of a poset with values in any category with the structure of a metric space. This metric makes sense for any poset, and has the advantage that post-composition by any functor is a contraction. In this paper, we prove an isometry theorem using this interleaving metric on a full subcategory of generalized persistence modules for a large class of posets.

研究动机与目标

• 将代数稳定性定理从一维持久性模推广至任意偏序集上的广义持久性模。
• 通过函子构造，为偏序集表示的交错度量建立范畴框架。
• 证明交错距离可通过参数化模之间态射的仿射簇几何性质进行计算。
• 在有限偏序集背景下，将经典交错距离作为离散加权距离的极限恢复。
• 通过代数几何统一瓶颈距离与交错距离，特别是在1-形等非平凡偏序集结构中。

提出的方法

• 将广义持久性模建模为取值于范畴D的偏序集P的表示，满足复合公理。
• 应用Bubenik、de Silva和Scott提出的交错度量，将函子视为复合下的压缩映射。
• 使用仿射簇参数化不可约模之间的(Λ,Γ)-交错关系，其坐标环在特定理想下取商。
• 计算使簇V^{Λ,Λ}(I,M)非空的最小平移Λ，将其识别为交错距离。
• 利用同调数据（如Φ^Λ²、Hom空间）推导约束态射参数α、β和γ的方程。
• 分析不同平移Λ下簇V^{Λ,Λ}(I,M)的结构，识别解的存在性及其维数。

实验结果

研究问题

• RQ1 能否通过态射簇的几何性质，代数地刻画广义持久性模之间的交错距离？
• RQ2 交错距离与瓶颈距离之间的等距定理是否对非一维偏序集（如1-形）成立？
• RQ3 交错关系中的自由度与基于匹配的瓶颈度量有何不同？
• RQ4 一维情形下的经典交错距离是否可作为有限偏序集上离散加权距离的极限被恢复？
• RQ5 平移函子在定义和计算不同偏序集结构间交错关系中起什么作用？

主要发现

• 在1-形偏序集中，两个模A与B之间的交错距离等于使簇V^{Λ,Λ}(A,B)非空的最小平移Λ，如示例12中所示，D(A,B) = a。
• 当Λ = Λ_a时，(Λ_a, Λ_a)-交错关系的空间对应于簇K[α,β]/⟨αβ - 1⟩，由K*中的一个自由度参数化。
• 当Λ = Λ_{2a}时，簇V^{Λ,Λ}(A,B)对应于K[β]，由K中的一个自由度参数化，表明解的结构不同。
• 当Λ = Λ_l且l ≥ 3a时，唯一解为零态射，因此V^{Λ,Λ}(A,B)为零簇，表明不存在非平凡交错关系。
• 交错距离被实现为产生非空簇的最小平移高度，确认了距离的几何解释。
• 作者将经典交错距离作为有限偏序集上离散加权距离的极限恢复，验证了在一维情形下的方法有效性。