[論文レビュー] Efficient Computation of Image Persistence

Ulrich Bauer, Maximilian Schmahl|arXiv (Cornell University)|Jan 11, 2022

Topological and Geometric Data Analysis被引用数 2

ひとこと要約

この論文は、相対コホモロジーにおけるクリーニング最適化と双対性を活用することで、持久ホモロジーにおける準同型写像の像のバーコードを計算する最適化されたアルゴリズムを提示している。この手法により、ベアトリス・リップス適合の包含写像における高速な画像持久計算が可能となり、Ripserにおける新実装により実際の実験結果で顕著な高速化が得られている。

ABSTRACT

We present an algorithm for computing the barcode of the image of a morphism in persistent homology induced by an inclusion of filtered finite-dimensional chain complexes. The algorithm makes use of the clearing optimization and can be applied to inclusion-induced maps in persistent absolute homology and persistent relative cohomology for filtrations of pairs of simplicial complexes. The clearing optimization works particularly well in the context of relative cohomology, and using previous duality results we can translate the barcodes of images in relative cohomology to those in absolute homology. This forms the basis for an implementation of image persistence computations for inclusions of filtrations of Vietoris-Rips complexes in the framework of the software Ripser.

研究の動機と目的

• 持久ホモロジーにおける画像持久のための効率的で公開可能な実装の不足に対処すること。
• 標準的な持久ホモロジーから得られる性能最適化技術（特にクリーニング最適化）を、画像持久の文脈に適応させること。
• 特にベアトリス・リップス複体の文脈において、フィルトレーションの包含写像に対する実用的な画像バーコード計算を可能にすること。
• 相対コホモロジーと絶対ホモロジーのバーコードの間の双対性に基づく変換を確立し、コホモロジーに基づくアルゴリズムが望ましいホモロジーのバーコードを計算可能にする。

提案手法

• 写像をフィルタード（余）チェーン複体間のモノモルフィズムとして扱い、代数的に画像持久計算を定式化する。
• クリーニング最適化を適用し、余域の境界行列です already 0 に簡約済みの列を置換された境界行列から削除する。
• 相対コホモロジー設定でクリーニング最適化を適用し、ピボット追跡を逆フィルトレーション順序で行い、コバウンダリ行列 (Df)⊥ と (DL)⊥ を簡約する。
• 双対性の結果を活用して、相対コホモロジーのバーコードを絶対ホモロジーのバーコードに変換し、コホモロジーに基づくアルゴリズムが望ましいホモロジーの画像バーコードを効率的に計算可能にする。
• 行列簡約の過程で出現ペア検出を統合し、ピボットが発見された段階で早期終了することで、さらなる計算高速化を実現する。
• Ripser用の新モジュールとして実装し、距離支配（d ≥ d'）の下で、ベアトリス・リップスフィルトレーションの包含写像における画像持久をサポートする。

実験結果

リサーチクエスチョン

• RQ1 クリーニング最適化は、持久ホモロジーにおける画像持久計算に効果的に適応可能か？
• RQ2 コホモロジーとホモロジー間の双対性をどのように活用すれば、コホモロジーに基づくアルゴリズムを用いてホモロジーの画像バーコードを効率的に計算できるか？
• RQ3 クリーニングと出現ペア検出を組み合わせることで、画像持久においてどの程度の性能向上が達成できるか？
• RQ4 ベアトリス・リップスフィルトレーションの包含写像に対して、実用的に画像バーコードを効率的に計算することは可能か？
• RQ5 画像持久においてマッピングシリンダ構成を回避可能か？その場合、どのような条件下で可能か？

主な発見

• 提案されたアルゴリズムにより、相対コホモロジーにおけるクリーニング最適化を活用した画像バーコードの効率的計算が可能となり、ナイーブなアプローチに比べて顕著な性能向上が達成された。
• Ripserに実装された同アルゴリズム（Ripser-image）は顕著な高速化を達成した：192点のS²データで54.7秒対31.4秒、256点のSO(3)データで223秒対126秒であり、メモリ使用量は同一であった。
• 距離d ≥ d'の下で、1つの距離が他を支配する場合に、ベアトリス・リップスフィルトレーションの包含写像をサポートしており、部分複体の包含関係を保証する。
• クリーニングと双対性を活用したコホモロジーに基づく簡約により、絶対ホモロジーにおける画像バーコードの正確な計算が可能となり、同時にコホモロジーのアルゴリズム的利点も享受できる。
• 行列簡約の過程での出現ペア検出が画像設定にうまく適応され、早期終了を可能にし、さらなる性能向上をもたらした。
• このアルゴリズムはRipserの一部として公開されており、トポロジカルデータ解析における画像持久ツールの主要な欠落を埋めることに成功した。