[论文解读] Level-sets persistence and sheaf theory

Nicolas Berkouk, Rafael J. L. Morcillo+1 more|arXiv (Cornell University)|Jul 23, 2019

Topological and Geometric Data Analysis参考文献 8被引用 7

一句话总结

本文通过一种新颖的Mayer-Vietoris系统框架，建立了水平集持久性模与实直线上导出构造层之间的函子等价。证明了二维持久性模上的交错距离与层上的卷积距离之间存在等距关系，统一了拓扑数据分析中两种主要视角，并实现了层理论与持久性理论不变量之间稳定且可计算的比较。

ABSTRACT

In this paper we provide an explicit connection between level-sets persistence and derived sheaf theory over the real line. In particular we construct a functor from 2-parameter persistence modules to sheaves over $\\mathbb{R}$, as well as a functor in the other direction. We also observe that the 2-parameter persistence modules arising from the level sets of Morse functions carry extra structure that we call a Mayer-Vietoris system. We prove classification, barcode decomposition, and stability theorems for these Mayer-Vietoris systems, and we show that the aforementioned functors establish a pseudo-isometric equivalence of categories between derived constructible sheaves with the convolution or (derived) bottleneck distance and the interleaving distance of strictly pointwise finite-dimensional Mayer-Vietoris systems. Ultimately, our results provide a functorial equivalence between level-sets persistence and derived pushforward for continuous real-valued functions.

研究动机与目标

• 建立水平集持久性与实直线上导出层理论之间严谨的范畴论与函子论桥梁。
• 引入并分类一种新的代数结构——Mayer-Vietoris系统，该结构推广了由Morse函数产生的二维持久性模。
• 证明Mayer-Vietoris系统上的交错距离与构造层上的卷积距离之间存在等距关系。
• 表明函数 f: X → ℝ 的导出正向像 Rf_*k_X 恰好对应于其水平集持久性模 M^f 的层化。
• 提供一个稳定、可计算且通用的框架，通过等距等价关系比较拓扑不变量。

提出的方法

• 通过记为 (⋅)MV 的层化过程，从二维持久性模构造一个到 ℝ 上层的函子。
• 将Mayer-Vietoris系统定义为上半平面 Δ⁺ 上的中间正合持久性模，以捕捉水平集同调的结构。
• 引入从构造层到Mayer-Vietoris系统的逆函子 Ψ，建立伪等距等价关系。
• 证明Mayer-Vietoris系统上的交错距离与层上的分次瓶颈距离之间存在等距关系，该距离与卷积距离一致。
• 利用导出等距定理，证明层上的卷积距离等于持久性模上的交错距离。
• 将该框架应用于具体例子，如坐标投影下的圆和常值映射，以验证等距关系与分解结果。

实验结果

研究问题

• RQ1 水平集持久性模能否通过范畴构造系统地关联到导出层理论？
• RQ2 由Morse函数产生的水平集持久性模背后的代数结构是什么？能否对其进行分类？
• RQ3 是否存在二维持久性模上的交错距离与层上的卷积距离之间的稳定等距对应关系？
• RQ4 导出正向像 Rf_*k_X 是否对应于水平集持久性模 M^f 的层化？
• RQ5 条形码分解与稳定性定理能否推广至Mayer-Vietoris系统？

主要发现

• Mayer-Vietoris系统上的交错距离与导出构造层上的卷积距离之间存在等距关系，建立了基础性的等距定理。
• 层化函子 (⋅)MV 与逆函子 Ψ 在严格点有限维的Mayer-Vietoris系统范畴与构造层的导出范畴之间形成伪等距等价。
• 对于圆上的坐标投影 f: S¹ → ℝ，有 Rf_*k_S¹ ≅ k_(-1,1) ⊕ k_[-1,1]；对于常值映射 p，有 Rf_*k_S¹ ≅ k_{0} ⊕ k_{0}[-1]。
• 水平集持久性模 M^f 分解为 S₀^{B_b^{]-1,1[}} ⊕ S₀^{B_d^{[-1,1]}}，而 M^p 分解为 S₀^{B_b^{]0,0[}} ⊕ S₁^{B_b^{]0,0[}}，且 M^f 与 M^p 之间存在 1-交错关系。
• 等距结果意味着层的卷积距离可通过持久性模上的交错距离计算，反之亦然。
• 本文恢复并强化了Kashiwara-Schapira的稳定性结果，通过等距定理表明 d_C(Rf_*k_X, Rg_*k_X) ≤ sup_x |f(x)−g(x)|。