[論文レビュー] An algebraic Wasserstein distance for generalized persistence modules

Peter Bubenik, Jonathan Scott+1 more|arXiv (Cornell University)|Sep 25, 2018

Topological and Geometric Data Analysis参考文献 33被引用数 10

ひとこと要約

本稿では、特徴量図の計算を必要とせず、恒等的距離を保つ代数的 Wasserstein 距離を導入する。任意の p-Wasserstein 距離が、その特徴量図との間で等長写像であることを証明し、非区間分解可能かつ多パラメータ特徴量モジュールへの応用を可能にする。この代数的枠組みにより、単射および全射の誘導マッチングも確立される。

ABSTRACT

The Wasserstein distances are a family of $L^p$ distances, with $1 \leq p \leq \infty$, for persistence diagrams. We define Wasserstein distances for persistence modules, the algebraic counterpart to persistence diagrams, and prove the following isometry theorem. The $p$-Wasserstein distance of a persistence module and its persistence diagram agree. Since our algebraic Wasserstein distances do not require computing a persistence diagram, they apply to persistence modules that are not interval decomposable and also to generalized persistence modules, such as multi-parameter persistence modules. We also prove structure theorems for maps from an interval module and maps to an interval module and show that for monomorphisms and epimorphisms of persistence modules there is an induced algebraic matching.

研究の動機と目的

• 特徴量図の計算を必要とせず、特徴量モジュールそのものに直接 Wasserstein 距離を定義すること。
• Wasserstein 距離を、多パラメータ的および非区間分解可能な一般化特徴量モジュールへと拡張すること。
• 代数的 Wasserstein 距離と、特徴量図上の標準 Wasserstein 距離との間の等長性を確立すること。
• 区間モジュールを含む写像の構造定理を証明し、単射および全射の誘導代数的マッチングを示すこと。

提案手法

• 特徴量モジュールの空間における L^p 範囲を用いて、代数的 p-Wasserstein 距離を定義する。
• 代数的 p-Wasserstein 距離と、特徴量図上の標準 p-Wasserstein 距離との間の等長性を確立する。
• 特徴量モジュールの構造定理を用いて、区間モジュールへの写像を分析する。
• 特徴量モジュール間の単射および全射が、代数的 Wasserstein 框組みにおいて誘導マッチングをもたらすことを証明する。
• 代数的定式化を活用して、区間分解可能なモジュールを超える距離の一般化を実現する。
• 図に基づく計算を避けることで、多パラメータ特徴量モジュールに理論を適用する。

実験結果

リサーチクエスチョン

• RQ1 特徴量図の計算に依存せずに、特徴量モジュールそのものに Wasserstein 距離を定義できるか？
• RQ2 代数的 Wasserstein 距離は、特徴量図上の標準 Wasserstein 距離と一致するか？
• RQ3 この理論は、非区間分解可能および多パラメータ的特徴量モジュールへどのように拡張できるか？
• RQ4 区間モジュールへの写像またはからの写像が、代数的 Wasserstein 框組みにおいてどのような構造的性質を誘導するか？
• RQ5 特徴量モジュール間の単射および全射が、代数的マッチングを誘導できるか？

主な発見

• 特徴量モジュールの代数的 p-Wasserstein 距離は、その対応する特徴量図の p-Wasserstein 距離と等長である。
• 提案された代数的距離は、区間分解不可能なモジュールを含め、すべての特徴量モジュールに対して適切に定義される。
• この枠組みは、特徴量図が一般に利用できない多パラメータ特徴量モジュールに対しても自然に適用可能である。
• 区間モジュールへの写像またはからの写像は、代数的 Wasserstein 框組みにおいて特定の構造的性質を誘導する。
• 特徴量モジュール間の単射および全射は、代数的マッチングを誘導し、図に基づくマッチング概念を一般化する。
• 図に基づく距離の計算が非効率な状況において、図に基づかない距離の計算に代わる実用的代替手段を提供する。