[論文レビュー] A New Matching Algorithm for Multidimensional Persistence

Madjid Állili, Tomasz Kaczyński+2 more|arXiv (Cornell University)|Nov 17, 2015

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

ひとこと要約

本稿では、最小上界を用いて拡張されたベクトル値関数を用いて単体複体上で非巡回部分マッチングを構築する、多次元ホモロジーのための新規なマッチングアルゴリズムを提示する。本手法は、頂点だけでなく、すべての次元の単体の下部スターオブジェクトを処理することで、余分な臨界単体を著しく削減しながらも、多次元的恒続ホモロジーを保持する。従来の頂点ベースの手法に比べて、特に余分な臨界単体の削減において顕著な優位性を示している。

ABSTRACT

An algorithm is presented that constructs an acyclic partial matching on the cells of a given simplicial complex from a vector-valued function defined on the vertices and extended to each simplex by taking the least common upper bound of the values on its vertices. The resulting acyclic partial matching may be used to construct a reduced filtered complex with the same multidimensional persistent homology as the original simplicial complex filtered by the sublevel sets of the function. Numerical tests show that in practical cases the rate of reduction in the number of cells achieved by the algorithm is substantial. This promises to be useful for the computation of multidimensional persistent homology of simplicial complexes filtered by sublevel sets of vector-valued functions.

研究の動機と目的

• 従来の離散モースマッチングアルゴリズムが多次元的恒続ホモロジーにおいて過剰な余分な臨界単体を生じるという限界を是正すること。
• 頂点ベースの処理を超えて、すべての単体次元を含む範囲に拡張することで、多次元フィルトレーションにおけるマッチング最適性を向上させること。
• 合成的および実世界のデータの両方において、単体数の高い削減率を達成しながらも、多次元的恒続ホモロジーを保持する手法を開発すること。
• 特に3Dメッシュやトポロジカルサーフェスのような複雑なデータに対して、実用的かつスケーラブルな恒続ホモロジー計算アルゴリズムを提供すること。

提案手法

• 頂点上で定義されたベクトル値関数を、頂点値の最小上界を計算することで、すべての単体に拡張する。
• 頂点だけでなく、すべての単体の下部スターオブジェクトを処理することで、多次元フィルトレーションにおける非比較可能な値の処理を改善する。
• 複体の細胞に対して非巡回部分マッチングを構築し、それらをマッチングペアと臨界単体に分割する。
• 得られたマッチングにより、元の複体と同一の多次元的恒続ホモロジーを持つ、縮小されたレフシェッツ複体が構築可能である。
• 非巡回性と正しさを保証するために、トポロジカルソートと反復的マッチングを用いる。
• アルゴリズムは、トーラスやクラインボトルの三角形分割と、成分ごとに単射的摂動を加えた実際の3Dメッシュ上に実装・テストされた。

実験結果

リサーチクエスチョン

• RQ1 頂点だけでなく、すべての単体の下部スターオブジェクトを処理するマッチングアルゴリズムは、多次元的恒続ホモロジーにおける余分な臨界単体の数を削減できるか？
• RQ2 本手法の性能は、従来の頂点ベースのアプローチと比較して、単体の削減率と恒続ホモロジーの保持の観点でどの程度優れているか？
• RQ3 本アルゴリズムは、大規模かつ複雑な3D単体複体において、どの程度スケーラブルで高い削減率を達成できるか？
• RQ4 高次元単体にベクトル値関数を最小上界を用いて拡張することで、縮小された複体におけるトポロジーの忠実性が向上するか？

主な発見

• 7200個の単体を含むトーラスの三角形分割において、臨界単体の数を156に削減し、元の複体の2.17%にまで減少させた。
• 1881個の単体を含むクラインボトルの近似において、257個の臨界単体（元のサイズの13.67%）を達成した。
• スペースシャトルの実際の3Dメッシュにおいて、臨界細胞の総数を元の3.82%まで削減し、2376個中225個の臨界頂点にまで減少させた。
• スペースシャトルメッシュでは臨界細胞が96.18%削減され、実世界データにおいても強力なスケーラビリティと効率性を示した。
• 本手法は、従来の研究における頂点ベースの再帰的手法を著しく上回り、特に臨界面や臨界辺の削減において顕著な優位性を示した。
• 実験により、複体サイズの増大に伴い本手法が良好にスケーリングされ、多様なトポロジカル構造において高い削減率を維持することが確認された。