[论文解读] Data structures for real multiparameter persistence modules

Ezra Miller|arXiv (Cornell University)|Sep 24, 2017

Topological and Geometric Data Analysis参考文献 36被引用 20

一句话总结

本文通过提出一个有限编码条件以捕捉拓扑驯服性，引入了计算上可行且具有拓扑可解释性的多参数持久同调（实参数）的数据结构。它在实数与离散多面体群上建立了完整的同调理论，最终形成函子性的QR码与长者态射，推广了一维情形下的条码与长者法则；通过最小边界表示与典范初等分解，实现了稳定且具有几何意义的不变量。

ABSTRACT

A theory of modules over posets is developed to define computationally feasible, topologically interpretable data structures, in terms of birth and death of homology classes, for persistent homology with multiple real parameters. To replace the noetherian hypothesis in the general setting of modules over posets, a "finitely encoded" condition is defined combinatorially and developed algebraically. It captures topological tameness of persistent homology. Poset-modules satisfying it can be specified by "fringe presentations" that reflect birth-and-death descriptions of persistence. A syzygy theorem characterizes finitely encoded modules as admitting appropriately finite presentations and resolutions. The geometric and algebraic theory focuses on modules over real polyhedral groups (real vector spaces with polyhedral positive cones) and a parallel theory over discrete polyhedral groups (abelian groups with finitely generated positive cones). Existence of primary decomposition is proved over arbitrary polyhedral partially ordered abelian groups, but the real and discrete cases carry enough geometry and, crucially in the real case, topology to induce complete theories of minimal primary and secondary decomposition, associated and attached faces, minimal generators and cogenerators, socles and tops, minimal upset covers and downset hulls, Matlis duality, and minimal fringe presentation. Real semialgebraic properties of data are preserved by functorial constructions. Tops and socles become functorial birth and death spaces for multiparameter persistence modules. They yield functorial "QR codes" and "elder morphisms" for modules over real and discrete polyhedral groups that generalize and categorify the bar code and elder rule for persistent homology in one parameter. The disparate ways that QR codes and elder morphisms model bar codes coalesce, in one parameter, to functorial bar codes.

研究动机与目标

• 开发计算上可行且具有拓扑可解释性的多参数持久同调（实参数）的数据结构。
• 以组合学上的有限编码条件替代偏序集模理论中的诺特性假设，以捕捉拓扑驯服性。
• 在实数与离散多面体群上建立完整的同调代数框架，包括最小表示与解析。
• 定义函子不变量（如QR码与长者态射），推广一维情形下的条码与长者法则。
• 证明这些不变量在输入数据的小扰动下保持稳定，确保其适用于数据分析。

提出的方法

• 引入有限编码条件作为诺特性的组合替代，确保持久同调中计算可行性和拓扑驯服性。
• 提出一个关系式定理，通过使用上集与下集模的直和的有限表示或解析，刻画有限编码模。
• 将上部与余部定义为函子性的出生与死亡空间，推广一维持久同调中出生与死亡的概念。
• 构建反映同调类出生与死亡描述的最小边界表示，利用上集与下集。
• 为实多面体群上的模建立典范初等与二级分解，关联与附着面提供几何与代数结构。
• 应用马特利对偶性，并引入闭合生成元与余生成元函子，以建模出生与死亡偏序集的几何结构。

实验结果

研究问题

• RQ1 如何为具有实参数的多参数持久同调定义计算上可行且具有拓扑可解释性的数据结构？
• RQ2 何种组合条件可替代诺特性，以确保有限编码模具有拓扑驯服性且可计算？
• RQ3 函子性QR码与长者态射在多参数情形下如何推广一维条码与长者法则？
• RQ4 最小表示、初等分解与余部在刻画同调类的出生与死亡中起何种作用？
• RQ5 数据的小扰动如何影响同调不变量？何种条件可确保这些不变量的稳定性？

主要发现

• 有限编码条件提供诺特性的组合替代，确保模可由有限数据指定，并体现拓扑驯服性。
• 有限编码模存在最小边界表示，通过上集与下集直接编码同调类的出生与死亡。
• 上部与余部作为函子性的出生与死亡空间，支持QR码与长者态射的构造，推广了一维情形。
• 实多面体群上的模存在典范初等与二级分解，关联与附着面提供几何与代数结构。
• 函子性QR码与长者态射在输入数据的小扰动下保持稳定，归因于实偏序集 ${\mathbb{R}}^n$ 的连续性及对上集与下集的几何控制。
• 当模为群本身子商模时，最小初等与二级分解是典范的，且通过马特利对偶性，该理论支持完整的对偶框架。