[論文レビュー] 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

ひとこと要約

本稿は、新規のメイヤー＝ビートロス系の枠組みを用いて、レベル集合のパーシステンス加群と実直線上の導来可解的層の間のファンクター的同値性を確立する。2パラメータのパーシステンス加群におけるインターリーブ距離が、層における畳み込み距離と等長であることを証明し、トップロジカルデータ解析における2つの主要な視点を統合し、層論的およびパーシステンス論的不変量の間で安定的かつ計算可能な比較を可能にする。

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.

研究の動機と目的

• レベル集合のパーシステンスと実直線上の導来層理論との間の厳密な圏論的・ファンクター的ブリッジを確立すること。
• メイヤー＝ビートロス系と呼ばれる新しい代数的構造を導入・分類し、モース関数から生じる2パラメータのパーシステンス加群を一般化すること。
• メイヤー＝ビートロス系におけるインターリーブ距離が、可解的層における畳み込み距離と等長であることを証明すること。
• 関数 f: X → ℝ の導来押し出し Rf_*k_X が、そのレベル集合パーシステンス加群 M^f の層化と正確に一致することを示すこと。
• 等長同値を通じて、トップロジカル不変量を安定的・計算可能・普遍的に比較するフレームワークを提供すること。

提案手法

• 2パラメータのパーシステンス加群から ℝ 上の層へのファンクターを構成し、層化プロセスを (⋅)MV と表記する。
• メイヤー＝ビートロス系を上半平面 Δ⁺ 上の真中完全なパーシステンス加群として定義し、レベル集合ホモロジーの構造を捉える。
• 可解的層からメイヤー＝ビートロス系への逆ファンクター Ψ を導入し、擬似等長同値を確立する。
• メイヤー＝ビートロス系におけるインターリーブ距離が、層におけるグレーデッドボトルネック距離と等長であり、これが畳み込み距離に一致することを証明する。
• 導来等長定理を用いて、層における畳み込み距離がパーシステンス加群におけるインターリーブ距離に等しいことを示す。
• 具体的な例（座標射影を伴う円や定数関数）にこのフレームワークを適用し、等長性および分解結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 レベル集合パーシステンス加群は、圏論的構成を用いて導来層理論と体系的に関係づけられるか？
• RQ2 モース関数から生じるレベル集合パーシステンス加群の背後にある代数的構造は何か？ そして、それを分類できるか？
• RQ3 2パラメータのパーシステンス加群におけるインターリーブ距離と、層における畳み込み距離との間に、安定的かつ等長的な対応関係があるか？
• RQ4 導来押し出し Rf_*k_X は、レベル集合パーシステンス加群 M^f の層化と正確に一致するか？
• RQ5 バーコード分解と安定性定理は、メイヤー＝ビートロス系へ一般化可能か？

主な発見

• メイヤー＝ビートロス系におけるインターリーブ距離が、導来可解的層における畳み込み距離と等長であることを示し、基礎的な等長定理を確立する。
• 層化ファンクター (⋅)MV と逆ファンクター Ψ が、厳密に点ごとの有限次元であるメイヤー＝ビートロス系の圏と、可解的層の導来圏との間で擬似等長同値を形成する。
• 座標射影 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-インターリーブが存在する。
• 等長結果により、層における畳み込み距離がパーシステンス加群におけるインターリーブ距離を介して計算可能であり、逆もまた同様であることが示される。
• 本稿は、カシワラ＝シャピラの安定性結果を回復・強化し、等長定理を用いて d_C(Rf_*k_X, Rg_*k_X) ≤ sup_x |f(x)−g(x)| を示す。