[論文レビュー] A derived isometry theorem for constructible sheaves on $\mathbb{R}$

Nicolas Berkouk, Rafael J. L. Morcillo|arXiv (Cornell University)|May 24, 2018

Topological and Geometric Data Analysis参考文献 18被引用数 5

ひとこと要約

本稿は、実直線上の構成可能層のための導来等長定理を確立し、層の有界導来カテゴリにおける畳み込み距離が、順序付きバーコード上のマッチング距離と等長であることを証明する。明示的な自己準同型の計算とBjerkevikの安定性証明の適応により、層論的不変量が組合せ的かつ安定的に取り扱えることが示され、アルゴリズム的に計算可能であるハンガリアン法を用いて、1パラメータのパーシステンスを導来設定に一般化する。

ABSTRACT

Persistent homology has been recently studied with the tools of sheaf theory in the derived setting by Kashiwara and Schapira, after J. Curry has made the first link between persistent homology and sheaves. We prove the isometry theorem in this derived setting, thus expressing the convolution distance of sheaves as a matching distance between combinatorial objects associated to them that we call graded barcodes. This allows to consider sheaf-theoretical constructions as combinatorial, stable topological descriptors of data, and generalizes the situation of persistence with one parameter. To achieve so, we explicitly compute all morphisms in $D^b_{\mathbb{R} c}( extbf{k}_\mathbb{R})$, which enables us to compute distances between indecomposable objects. Then we adapt Bjerkevik's stability proof to this derived setting. As a byproduct of our isometry theorem, we prove that the convolution distance is closed, give a precise description of connected components of $D^b_{\mathbb{R} c}( extbf{k}_\mathbb{R})$and provide some explicit examples of computation of the convolution distance.

研究の動機と目的

• R上の構成可能層の導来カテゴリへの1パラメータパーシステンス理論の一般化を図ること。
• D^b_{Rc}(k_R)における畳み込み距離と順序付きバーコード上の組合せ的マッチング距離との間の等長性を確立すること。
• 層論的構成を用いて、ノイズのあるデータに対して安定的かつ計算可能なトポロジカル記述子を提供すること。
• 畳み込み距離の閉性を証明し、導来カテゴリの連結成分を記述すること。

提案手法

• D^b_{Rc}(k_R)内のすべての自己準同型を明示的に計算し、分解不能対象とその距離を分析する。
• 層に関連する組合せ的不変量として順序付きバーコードの概念を導入する。
• Bjerkevikの安定性証明を導来設定に適応し、入れ子安定性を確立する。
• 順序付きバーコードのカテゴリからD^b_{Rc}(k_R)への完全忠実関手を定義し、Krull-Schmidtの定理を用いて同値性を示す。
• 畳み込み距離とそのバーストネック距離への等長性を用いて、アルゴリズム的計算を可能にする。
• ハンガリアン法を用いてバーコード間の最適マッチングを計算し、距離計算を組合せ最適化問題に還元する。

実験結果

リサーチクエスチョン

• RQ1 R上の構成可能層の導来カテゴリにおける畳み込み距離は、組合せ的不変量上のマッチング距離として表現可能か？
• RQ2 D^b_{Rc}(k_R)が畳み込み距離を備える場合、バーストネック型距離を備えた順序付きバーコードのカテゴリと等長か？
• RQ3 導来等長定理は、データの小さな摂動に対して層論的不変量の安定性を示唆するか？
• RQ4 導来カテゴリのトポロジカル構造、特にその連結成分は何か？
• RQ5 畳み込み距離は組合せ的マッチングアルゴリズムを用いて効率的に計算可能か？

主な発見

• 導来等長定理により、D^b_{Rc}(k_R)における畳み込み距離d_Cと順序付きバーストネック距離d_Bを備えた順序付きバーコードのカテゴリとの間の等長性が確立される。
• 畳み込み距離は閉じている。これは、距離関数がカテゴリ内のコンパクト集合上で下限を達成することを意味する。
• D^b_{Rc}(k_R)の連結成分は、正確に対象の同型類であり、各成分はd_B距離に関して路的に連結である。
• 順序付きバーコードのカテゴリはスケルタルである。これは、同型なバーコードが等しいことを意味し、バーコードからD^b_{Rc}(k_R)への関手ιは同値である。
• 導来等長性のおかげで、ハンガリアン法を用いて距離を多項式時間で計算可能となり、実用的な計算が可能になる。
• 等長性により、層論的不変量が小さな摂動に対して安定することが示され、古典的パーシステンスホモロジーの安定性定理が一般化される。