[論文レビュー] Wasserstein distance for generalized persistence modules and abelian categories

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

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

ひとこと要約

本稿では、一般化されたパーシステンス加群に対する Wasserstein 距離の代数的定式化を導入し、標準的な L^p 距離をパーシステンス図にとどまらず、すべてのパーシステンス加群へと拡張する。p=1 の場合、定義はアーベル圏へ一般化され、任意の p に対してはクラウル・シュミット圏へ一般化され、多パラメータパーシステンス加群の Wasserstein 距離の定義を可能にし、その計算の基盤を提供する。

ABSTRACT

In persistence theory and practice, measuring distances between modules is central. The Wasserstein distances are the standard family of L^p distances for persistence modules. They are defined in a combinatorial way for discrete invariants called persistence diagrams that are defined for certain persistence modules. We give an algebraic formulation of these distances that applies to all persistence modules. Furthermore, for p=1 this definition generalizes to abelian categories and for arbitrary p it generalizes to Krull-Schmidt categories. In particular, we obtain a definition of Wasserstein distance for multi-parameter persistence modules. These distances may be useful for the computation of distance between generalized persistence modules. In our most technical proof, we classify certain maps of persistence modules, which may be of independent interest.

研究の動機と目的

• パーシステンス図に依存しない、すべてのパーシステンス加群に適用可能な一様で代数的な Wasserstein 距離の定式化を提供すること。
• p=1 の場合にアーベル圏へ、任意の p に対してクラウル・シュミット圏へ Wasserstein 距離の定義を拡張すること。
• 従来の図に基づく定義が失敗する多パラメータパーシステンス加群において、Wasserstein 距離の使用を可能にすること。
• 強固な圏論的距離枠組みを通じて、一般化されたパーシステンス加群の計算的解析を支援すること。

提案手法

• パーシステンス加群の構造とその分解を用いて、Wasserstein 距離の代数的定義を構築する。
• クラウル・シュミットの定理を活用し、クラウル・シュミット圏における直和分解を通じて距離を定義する。
• p=1 の場合に、圏論的道具を用いて L^p 距離をアーベル圏へ一般化する。
• 加群間の組み合わせ的写像を用いて、非可約成分の最適なマッチングを定義し、距離の根拠を形成する。
• 最適なマッチングと加群圏における最小分解の間の対応関係を確立する。
• 距離構成の根拠となる、写像の技術的分類を証明する。

実験結果

リサーチクエスチョン

• RQ1 パーシステンス図に依存せずに、パーシステンス加群に対して代数的に Wasserstein 距離を定義する方法は何か？
• RQ2 Wasserstein 距離は、離散的図からパーシステンス加群の全圏へ一般化可能か？
• RQ3 p=1 の Wasserstein 距離は、標準的なパーシステンス加群設定を超えてアーベル圏へ自然に拡張可能か？
• RQ4 カテゴリカルな一般化を通じて、多パラメータパーシステンス加群へこの枠組みを拡張可能か？
• RQ5 距離計算のための最適なマッチングを構成可能にする、写像の構造的性質は何か？

主な発見

• 本稿は、パーシステンス図に限らない、すべてのパーシステンス加群に適用可能な完全な代数的定義を提供する。
• p=1 の場合、Wasserstein 距離はアーベル圏へ一般化され、より広範な圏的設定での利用が可能になる。
• 任意の p に対して、定義はクラウル・シュミット圏へ拡張され、多パラメータパーシステンス加群を含む。
• 非可約成分間の最適なマッチングの存在を保証する、写像の分類に依存している。
• 図に基づく手法が一般に適用できない多パラメータパーシステンスにおける距離計算を支援する。
• 証明における写像の技術的分類は、加群論および表現論において独立した応用を持つ可能性がある。