[論文レビュー] Combinatorial Persistent Homology Transform

Brittany Terese Fasy, Amit Patel|arXiv (Cornell University)|Aug 10, 2022

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

ひとこと要約

本稿は、抽象的poset上の関手的恒続ホモロジーを用いて、恒続ホモロジー変換（PHT）の組合せ的再定式化を導入する。球面 $\mathbb{S}^N$ の有限セルレーションに沿ってフィルトレーションをインデックス化することで、PHTは有限で組合せ構造を持つコシェーブとしてなり、幾何的複体の正確で安定な表現を可能にするカテゴリカルおよびシェーブ理論的ツールを形状解析に応用できる。

ABSTRACT

The combinatorial interpretation of the persistence diagram as a Möbius inversion was recently shown to be functorial. We employ this discovery to recast the Persistent Homology Transform of a geometric complex as a representation of a cellulation on $\mathbb{S}^n$ to the category of combinatorial persistence diagrams. Detailed examples are provided. We hope this recasting of the PH transform will allow for the adoption of existing methods from algebraic and topological combinatorics to the study of shapes.

研究の動機と目的

• 従来のPHTが、有限生成の複体に対しても非可算個の異なる.persistence図を生成するという限界を解消すること。
• 実数インデックスの恒続ホモロジーにおける、組合せ的に同値だが位相的に異なる図の間のカテゴリカルな不一致を克服すること。
• 抽象的poset上の組合せ的恒続ホモロジーを用いて、PHTの有限でセルラーベースの表現を開発すること。
• PHTをセルラーコシェーブとして再定式化し、シェーブ理論およびカテゴリー理論を形状解析に応用可能にする。
• コシェーブホモロジー、グローバルセクション、パラメータ化された恒続ホモロジーにおける安定性に関する今後の研究の基盤を提供すること。

提案手法

• McClearlyおよびPatelの組合せ的恒続ホモロジー枠組みを採用し、$\mathbb{R}$ の代わりに抽象的全順序posetにフィルトレーションをインデックス化する。
• $\mathbb{S}^N$ の有限セルレーションを構築し、同じセルに属する方向が同一の組合せ的.persistence図をもたらすようにする。
• PH変換をコシェーブ $F: \mathcal{C} \to \mathsf{Fnc}$ として定義する。ここで $\mathcal{C}$ はセルレーション、$\mathsf{Fnc}$ は恒続モジュールの圏である。
• セルレーションにおける面関係を用いて、頂点同値類間のposet写像を定義し、これによりコシェーブ構造を生成する。
• 恒続ホモロジーの関手性を活用し、セルの包含関係に沿った図の整合性を保証する。
• セルラーコシェーブ理論を応用し、PHT全体を有限で一貫性のある対象として表現し、代数的および位相的解析に適した形に保つ。

実験結果

リサーチクエスチョン

• RQ1 恒続ホモロジー変換を、組合せ的.persistence図のセルラーコシェーブとして再定式化することで、形状のカテゴリカル解析が可能になるか？
• RQ2 $\mathbb{S}^N$ の有限セルレーションは、同じセルに属する方向が組合せ的に同値な.persistence図をもたらす仕組みをどのように保証するか？
• RQ3 PHTから整合的なコシェーブ構造を構築するにあたり、関手性が果たす役割は何か？
• RQ4 既存のシェーブ（コ）シェーブ理論およびカテゴリー理論のツールは、得られた.persistence図のコシェーブにどのように応用可能か？
• RQ5 このようなコシェーブのグローバルセクションおよびコホモロジー的不変量は何か？それらは形状再構成とどのように関係するか？

主な発見

• PL埋め込みされた有限単体的複体のPH変換は、$\mathbb{S}^N$ の有限セルレーションに沿った分解を有し、1つのセルに属するすべての方向が同一の組合せ的.persistence図をもたらす。
• PHTは組合せ的.persistence図のセルラーコシェーブと同型であり、コシェーブの圏における有限対象である。
• コシェーブ構造はセルレーションにおける面関係から生じ、高さ関数の下での頂点同値類間のposet写像を介して生成される。
• タイプ1およびタイプ2の0次元セルは、それぞれ3頂点および2ペアの同値類に対応し、位相的矛盾から生じる存在しないラベル付けが存在する。
• コシェーブ枠組みにより、方向にわたるすべての.persistence図が統一的かつ一貫性のある形で表現され、カテゴリー理論によるグローバル解析が可能になる。
• 本手法により、元の形状の安定的で完全かつ有限な表現が得られ、従来のPHTの非可算性および同型でない問題が解決される。