[論文レビュー] Stable Invariants for Multiparameter Persistence

Oliver Gäfvert, Wojciech Chachólski|arXiv (Cornell University)|Mar 10, 2017

Topological and Geometric Data Analysis参考文献 22被引用数 4

ひとこと要約

本稿では、多パラメータのパーシステントモジュールにおける離散的不変量を安定化不変量に変換する手法として階層的安定化を導入し、ノイズ下でも頑健なトポロジカルデータ解析を可能にする。主な貢献は、r ≥ 2パラメータの場合に、安定化された0次ベッチ数（特徴数関数と同等）の計算がNP困難であることを証明したことであり、1パラメータの場合を越えた多パラメータトポロジカルデータ解析における根本的な計算的障壁を示している。

ABSTRACT

In this paper we explain how to convert discrete invariants into stable ones via what we call hierarchical stabilization. We illustrate this process by constructing stable invariants for multi-parameter persistence modules with respect to the interleaving distance and so called simple noise systems. For one parameter, we recover the standard barcode information. For more than one parameter we prove that the constructed invariants are in general NP-hard to calculate. A consequence is that computing the feature counting function, proposed by Scolamiero et. al. (2016), is NP-hard.

研究の動機と目的

• 多パラメータパーシステントモジュールにおける離散的不変量から安定不変量を構成する一般枠組みを構築すること。
• データの微小な摂動に対して不安定である古典的代数的不変量（例：ベッチ数、最小生成子）の問題を扱うこと。
• 特に0次ベッチ数に関して、多パラメータ設定における安定不変量の計算複雑性の境界を確立すること。
• Scolamieroらが提唱した特徴数関数が計算可能かどうか、あるいはNP困難に計算可能かどうかを示すこと。
• インターリーブ距離とノイズシステムに基づく擬距離が、一貫した安定不変量の構築を可能にする同等の安定性枠組みを提供すること。

提案手法

• ノイズシステムから誘導される擬距離を用いて、離散的不変量を安定化する手続きとして階層的安定化を導入する。
• ノイズシステムを、データの摂動をモデル化する部分関手の族として定義し、単純なノイズシステムはパーシステントコンターを用いて構成的に定義可能であることを示す。
• 与えられた擬距離内でのすべてのモジュールにおける最小のベッチ数として、安定化された0次ベッチ数を構成する。
• 単純なノイズシステムに対して、安定化プロセスが有限体上での有限個の算術演算のみを要することを証明する。
• インターリーブ距離と標準ノイズシステムから誘導される擬距離が同等であることを確立し、結果の移行を可能にする。
• 既知のNP困難問題への還元を用いて、ノイズシステムおよびインターリーブ距離の擬距離の下で、安定化された0次ベッチ数の計算がNP困難であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 多パラメータパーシステントモジュールにおける離散的不変量を、データのノイズに強い安定不変量に体系的に変換できるか？
• RQ2 多パラメータ設定において、安定不変量（例：安定化された0次ベッチ数）を計算する際の計算複雑性はいかほどか？
• RQ3 Scolamieroらが提唱した特徴数関数は計算可能か、それともNP困難に計算可能か？
• RQ4 インターリーブ距離とノイズシステムに基づく擬距離は、安定不変量の構築文脈でどのように関係しているか？
• RQ5 安定化されたベッチ数の計算がNP困難であることは、ランク不変量から多次元のパーシステント情報を抽出することも計算的に非効率であることを示唆するか？

主な発見

• 階層的安定化プロセスは、ノイズシステムから誘導される擬距離を用いて、離散的不変量を安定化不変量に成功裏に変換する。
• 単純なノイズシステムに対しては、0次ベッチ数の安定化が有限体上での有限個の算術演算のみで計算可能である。
• r ≥ 2パラメータの場合に、安定化された0次ベッチ数の計算はNP困難であり、多パラメータパーシステントにおける根本的な計算的障壁を確立する。
• Scolamieroらの特徴数関数は安定化された0次ベッチ数と同等であり、したがって同様にNP困難に計算可能である。
• インターリーブ距離と標準ノイズシステムから誘導される擬距離は、定数倍（1/6 ≤ d_I / d ≤ 1）の範囲で同等であり、安定性枠組み間の一貫性を保証する。
• インターリーブ距離下での安定化された0次ベッチ数は、ノイズシステムの擬距離下と同一であり、この構築の頑健性を確認する。