[論文レビュー] Wasserstein Stability for Persistence Diagrams

Primož Škraba, Katharine Turner|arXiv (Cornell University)|Jun 30, 2020

Topological and Geometric Data Analysis参考文献 38被引用数 21

ひとこと要約

本稿は、新規の細胞的アプローチと代数的枠組みを用いて、p- Wasserstein 穩定性を特徴づける。古典的なボトルネック安定性よりも tighter な境界を与える。グレースケール画像、恒常的ホモロジー変換、ヴェトリス-リップス複体についても安定性を証明しており、主な貢献としてボトルネック安定性の簡略化された証明と、モジュールの短完全系列における全持久の新しい下界・上界が挙げられる。

ABSTRACT

The stability of persistence diagrams is among the most important results in applied and computational topology. Most results in the literature phrase stability in terms of the bottleneck distance between diagrams and the $\infty$-norm of perturbations. This has two main implications: it makes the space of persistence diagrams rather pathological and it is often provides very pessimistic bounds with respect to outliers. In this paper, we provide new stability results with respect to the $p$-Wasserstein distance between persistence diagrams. This includes an elementary proof for the setting of functions on sufficiently finite spaces in terms of the $p$-norm of the perturbations, along with an algebraic framework for $p$-Wasserstein distance which extends the results to wider class of modules. We also provide apply the results to a wide range of applications in topological data analysis (TDA) including topological summaries, persistence transforms and the special but important case of Vietoris-Rips complexes.

研究の動機と目的

• ボトルネックに基づく安定性の限界、特に持久図の空間における楽観的でない境界と病理的挙動を是正すること。
• p=1 または p=2 が好まれる応用分野において、よりタイトで実用的な境界を提供する p-Wasserstein 安定性フレームワークを構築すること。
• ボトルネック距離を超えて、代数的表現による p-Wasserstein 距離を用いて、より広いクラスの持久モジュールへ安定性結果を拡張すること。
• グレースケール画像の部分集合フィルトレーションや恒常的ホモロジー変換などのトップロジカルサマリーについて、新しい安定性定理を確立すること。
• 短完全系列における持久モジュールの全持久（ノルム）に関する幾何的境界を導出すること、特に上界と驚くべき下界を含む。

提案手法

• 持久図の点と細胞フィルトレーションの臨界細胞との局所的対応を活用して、細胞的 p-Wasserstein 安定性定理を導入する。
• 再配列不等式を用いて、有限複体上の関数摂動の p-ノルムによって、持久図間の p-Wasserstein 距離を評価する。
• 点ごとの有限次元持久モジュールにおける p-Wasserstein 距離の代数的表現を構築し、区間分解可能モジュールを超えた一般化を達成する。
• 持久モジュール上のノルム（全持久）を定義し、短完全系列に対してミンコフスキー型不等式を証明し、上界と下界の両方を導出する。
• 細胞的安定性定理を応用して、グレースケール画像の部分集合フィルトレーションおよび恒常的ホモロジー変換の安定性結果を導出する。
• 代数的枠組みを用いて、新たな補間的対象の概念を導入し、多パラメータモジュールやシーヴに基づく持久のより複雑な設定への安定性の一般化を図る。

実験結果

リサーチクエスチョン

• RQ1 ボトルネック安定性やインターリーブの議論に依存せずに、持久図に対する p-Wasserstein 安定性を確立できるか？
• RQ2 区間分解が利用できない状況において、持久モジュールの文脈で p-Wasserstein 距離を代数的に特徴づける方法は何か？
• RQ3 p-Wasserstein 安定性が、恒常的ホモロジー変換や持久ランドスケープなどのトップロジカルサマリーに与える影響は何か？
• RQ4 短完全系列におけるモジュールの全持久に対する下界を導出可能か？その幾何的意味は何か？
• RQ5 外れ値やポアソン分布に従う点群のような確率的点過程の存在下で、p-Wasserstein 界は安定性解析をどのように改善するか？

主な発見

• 細胞的 p-Wasserstein 安定性定理が証明され、有限複体におけるボトルネック安定性の簡略化された直接的証明が得られた。
• 持久図間の p-Wasserstein 距離は、関数摂動の p-ノルムによって評価可能であり、古典的な ∞-Wasserstein（ボトルネック）安定性よりもタイトで実用的な境界を提供する。
• 細胞的枠組みを用いて、グレースケール画像の部分集合フィルトレーション、恒常的ホモロジー変換、ヴェトリス-リップスフィルトレーションについて安定性が確立された。
• p-Wasserstein 距離の新たな代数的表現が開発され、ボトルネック距離が ∞-Wasserstein 場合として回復され、技術的条件を満たす点ごとの有限次元モジュールへ適用可能である。
• 短完全系列における全持久に対してミンコフスキー型不等式が証明され、上界と下界の両方が得られた。特に下界は、新しい幾何的結果である。
• これらの結果は、持久ランドスケープが 1-Wasserstein 距離の下でリプシッツ安定でないことを示唆し、分野における重要な未解決問題を解決した。