[論文レビュー] Ephemeral Persistence Features and the Stability of Filtered Chain Complexes

Facundo Mémoli, Ling Zhou|arXiv (Cornell University)|Aug 24, 2022

Topological and Geometric Data Analysis被引用数 2

ひとこと要約

本稿では、フィルタードチェーン複体からの一時的特徴（非ゼロでない持久期間のないバー）を含む、標準的パーシステントホモロジー・バー図の改良版である「冗長バー図（verbose barcode）」を導入する。アーユァーとチャンのフィルタードチェーン複体に関する枠組みを活用して、有限距離空間において同一の標準的ビエトリス＝リプスバー図を持つが、それらを区別できる新たな安定距離（プルバックインターリービング距離およびボトルネック距離）を定義した。冗長バー図が安定的であり、標準バー図よりも厳密に優れた識別能力を有することを証明した。

ABSTRACT

We strengthen the usual stability theorem for Vietoris-Rips (VR) persistent homology of finite metric spaces by building upon constructions due to Usher and Zhang in the context of filtered chain complexes. The information present at the level of filtered chain complexes includes points with zero persistence which provide additional information to that present at homology level. The resulting invariant, called verbose barcode, which has a stronger discriminating power than the usual barcode, is proved to be stable under certain metrics that are sensitive to these ephemeral points. In some situations, we provide ways to compute such metrics between verbose barcodes. We also exhibit several examples of finite metric spaces with identical (standard) VR barcodes yet with different verbose VR barcodes thus confirming that these ephemeral points strengthen the standard VR barcode.

研究の動機と目的

• 標準的バー図では捉えきれない一時的パーシステント特徴を組み込むことで、ビエトリス＝リプスパーシステントホモロジーの安定定理を強化すること。
• フィルタードチェーン複体におけるゼロ長バーに敏感な新たな距離（プルバックインターリービング距離およびボトルネック距離）を定義・分析すること。
• 一時的特徴を含む冗長バー図が、標準バー図よりも厳密に優れた識別能力を有することを示すこと。
• 特に超距離空間におけるプルバック構成を用いて、冗長バー図の比較に可能な計算可能な距離を提供すること。
• フィルタードチェーン複体間のプルバックインターリービング距離と、冗長バー図間のマッチング距離との間の等長定理を確立すること。

提案手法

• 単体的フィルトレーションとホモロジー・モジュールの間のパーシステントホモロジー・パイプラインに、フィルタードチェーン複体（FCC）を挿入することで拡張する。
• アーユァーとチャンのFCCの分解法を採用し、ゼロ長バー（一時的特徴を含む）を含む、非分解的素性成分に分解する。
• 冗長バー図を、標準的（簡潔な）バー図と一時的バーの和集合として定義し、関数 µkp⃗mpIpqq を用いて重複度を追跡する。
• プルバック構成を導入：2つの距離空間 X と Y に対して、整数ベクトル ⃗m, ⃗m1 を用いて新たな有限距離空間 X(⃗m) と Y(⃗m1) を生成する。
• プルバックインターリービング距離 dI およびプルバックボトルネック距離 dM を、すべての有効なプルバックベクトル (⃗m, ⃗m1) ∈ MMap における下界として定義する。
• 等長定理を用いて dI = dM を証明し、これらの新規距離における冗長バー図の安定性を確立する。

実験結果

リサーチクエスチョン

• RQ1 フィルタードチェーン複体における一時的パーシステント特徴（ゼロ長バー）は、標準的パーシステントホモロジー・バー図では捉えきれない追加の識別能力を提供できるか？
• RQ2 同一の標準的ビエトリス＝リプスバー図を持つ有限距離空間を区別できる、このような一時的特徴に敏感な安定距離は存在するか？
• RQ3 プルバック構成を用いて、有限距離空間の冗長バー図の間の計算可能で安定な距離を定義できるか？
• RQ4 フィルタードチェーン複体間のプルバックインターリービング距離 dI と、冗長バー図間のプルバックボトルネック距離 dM は等しいか？
• RQ5 標準的ボトルネック距離では区別できないが、新しい距離によって区別可能な超距離空間の差異を検出できるか？

主な発見

• 一時的特徴を含む冗長バー図は、標準バー図よりも厳密に優れた識別能力を有する：2つの有限距離空間が同一の標準的VRバー図を持つが、冗長バー図は異なることがある。
• 冗長バー図間のプルバックボトルネック距離 dM は、フィルタードチェーン複体間のプルバックインターリービング距離 dI に等長である。すなわち、dI = dM が成り立つ。
• ペア (X, W) および (W, Y) に対して、プルバック距離 (dTri_I, dCor_I, dMap_I) はゼロである。これは、X と W（および W と Y）の冗長バー図がプルバック下で同型であることを示している。
• ペア (X, Y) に対して、3つのプルバック距離 (dTri_I, dCor_I, dMap_I) はすべて 1 に等しく、新しい距離における非ゼロ距離を示している。
• 3つの5点超距離空間 X, Y, W を用いた反例により、プルバック距離 dTri_I, dCor_I, dMap_I における三角不等式が成り立たないことが示された。
• X と Y 間の非ゼロ距離の証明は、それらの冗長バー図がすべての次数で一致するようなプルバックベクトルが存在しないことを示すディオファントス方程式の解法に依存している。