[論文レビュー] Computing Bottleneck Distance for Multi-parameter Interval Decomposable Persistence Modules

Tamal K. Dey, Cheng Xin|arXiv (Cornell University)|Mar 7, 2018

Topological and Geometric Data Analysis被引用数 20

ひとこと要約

本稿では、非定数の複雑さを有する非分解可能成分を伴うnパラメータ区間分解可能恒続的モジュールに対するバトルネック距離を計算する多項式時間アルゴリズムを提示する。また、多パラメータトポロジカルデータ解析におけるインターリーブ距離の効率的推定を可能にする、計算可能な下界である次元距離を導入する。

ABSTRACT

Computation of the interleaving distance between persistence modules is a central task in topological data analysis. For $1$-parameter persistence modules, thanks to the isometry theorem, this can be done by computing the bottleneck distance with known efficient algorithms. The question is open for most $n$-parameter persistence modules, $n>1$, because of the well recognized complications of the indecomposables. Here, we consider a reasonably complicated class called {\\em $n$-parameter interval decomposable} modules whose indecomposables may have a description of non-constant complexity. We present a polynomial time algorithm to compute the bottleneck distance for these modules from indecomposables, which bounds the interleaving distance from above, and give another algorithm to compute a new distance called {\\em dimension distance} that bounds it from below. An earlier version of this paper considered only the $2$-parameter interval decomposable modules~\\cite{DeyCheng18}.

研究の動機と目的

• 1パラメータの場合を除くnパラメータ恒続的モジュールに対するインターリーブ距離を効率的に計算するという未解決問題に取り組む。
• 非定数の複雑さを有する非分解可能成分を伴うnパラメータ区間分解可能モジュールにおけるバトルネック距離を計算する多項式時間アルゴリズムを開発する。
• インターリーブ距離の下界を提供する計算可能な新しい距離、すなわち次元距離を導入する。
• ブロック、長方形、自由モジュールに関する先行研究を、非定数の複雑さを有する非分解可能成分を伴うより広いクラスの区間分解可能モジュールへと拡張する。
• トポロジカルデータ解析における多パラメータ恒続的モジュールの安定性解析と比較のための基盤を提供する。

提案手法

• アルゴリズムは、区間分解可能モジュールの幾何的・代数的性質を用いて、非分解可能成分間の対ごとのインターリーブ距離を分析することでバトルネック距離を計算する。
• 次元関数およびその導出演算子（Δdmやδシフトなど）を活用し、離散グリッド上の恒続的モジュールの構造を特徴付ける。
• モジュールがδ-インターリーブである最小のδを見つけるために、δ値の有界範囲における二分探索を適用し、f±δおよびg±δの効率的計算を用いる。
• k-ary n次元グリッド上で、次元関数およびその変種（Δf、Δg、f±、g±）をO(k²)時間で計算する。
• 次元距離d₀は次元関数を用いて定義され、d₀ ≤ d_Iを満たすことが示され、インターリーブ距離の計算可能な下界を提供する。
• δ拡張およびδ収縮がインターリーブに対応することを証明することで、離散グリッド上の計算を用いた効率的な検証が可能になる。

実験結果

リサーチクエスチョン

• RQ1 非定数の複雑さを有する非分解可能成分を伴うnパラメータ区間分解可能モジュールに対して、バトルネック距離を効率的に計算できるか？
• RQ2 バトルネック距離がタイトに束縛しない場合でも、このようなモジュールにおけるインターリーブ距離の計算可能な下界は存在するか？
• RQ3 区間分解可能モジュールの構造を代数的および幾何的にどのように分析すれば、距離の効率的計算が可能になるか？
• RQ4 2パラメータモジュールに関する結果を、非定数の複雑さを有する非分解可能成分を伴うnパラメータモジュールへ一般化できるか？
• RQ5 このより広いクラスのモジュールにおいて、バトルネック距離とインターリーブ距離の関係は何か？また、その関係は束縛可能か？

主な発見

• 本稿では、非定数の複雑さを有する非分解可能成分を伴うnパラメータ区間分解可能モジュールに対するバトルネック距離を計算する多項式時間アルゴリズムを提示する。
• アルゴリズムは、グリッドサイズkのk-ary n次元グリッド上でO(k² log k)時間で実行される。
• バトルネック距離d_Bは、1パラメータの場合に既知の結果と整合的に、インターリーブ距離d_Iの上界をなす。
• 新しい距離、すなわち次元距離d₀を提案し、d₀ ≤ d_Iを満たすことが証明され、インターリーブ距離の計算可能な下界を提供する。
• δ拡張およびδ収縮が次元関数に対してインターリーブに対応することを確立し、最小δの二分探索による効率的検索が可能になる。
• 以前の2パラメータモジュールに関する研究を一般化し、バトルネック距離および次元ベースの距離の適用範囲を著しく広いクラスの恒続的モジュールへ拡張する。