[論文レビュー] Defining and computing persistent Z-homology in the general case

Ana Romero, Jónathan Heras+2 more|arXiv (Cornell University)|Mar 26, 2014

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

ひとこと要約

この論文は、無限型の空間に対して ℤ-係数の持続的ホモロジーを計算する手法を紹介する。修正されたスペクトル系列アルゴリズムを用いることで、ホモロジー群が無限次元であっても、持続的ホモロジー群と整数バーコードの計算が可能になる。主な貢献は、持続的ホモロジーとスペクトル系列の間の正しい関係を特定したことである。これは、広く引用されている定理に欠陥があったことを明らかにし、持続的ホモロジーにおける拡張問題の検出を可能にする。

ABSTRACT

By general case we mean methods able to process simplicial sets and chain complexes not of finite type. A filtration of the object to be studied is the heart of both subjects persistent homology and spectral sequences. In this paper we present the complete relation between them, both from theoretical and computational points of view. One of the main contributions of this paper is the observation that a slight modification of our previous programs computing spectral sequences is enough to compute also persistent homology. By inheritance from our spectral sequence programs, we obtain for free persistent homology programs applicable to spaces not of finite type (provided they are spaces with effective homology) and with Z-coefficients (significantly generalizing the usual presentation of persistent homology over a field). As an illustration, we compute some persistent homology groups (and the corresponding integer barcodes) in the case of a Postnikov tower.

研究の動機と目的

• 有限型の空間にとどまらず、有効なホモロジーを持つ無限次元複体に対しても、持続的ホモロジーの計算を拡張すること。
• 係数体から ℤ-係数へと持続的ホモロジーを一般化し、拡張問題の検出を可能にすること。
• 持続的ホモロジーとスペクトル系列の関係を記述する文献における長年の誤りを是正すること。
• Kenzo システム内に、生成元と整数バーコードを含む持続的ホモロジー群を計算する計算フレームワークを実装すること。
• 明示的な生成元を用いてサイクルの誕生と消滅の時を追跡することで、標準的なバーコードを超えた定性的な持続的ホモロジー解析を可能にすること。

提案手法

• Kenzo システム内に既存のスペクトル系列計算プログラムを活用し、わずかに修正して持続的ホモロジーを計算する。
• 有効なホモロジー法を用いて、ホモロジー群が有限生成である無限型の空間を処理する。
• 標準的なフィルトレーションに基づくアプローチを整数係数へと拡張することで、ℤ-係数の持続的ホモロジーを定義する。
• スペクトル系列を計算的ブリッジとして用い、[4]で示された誤った公式を是正し、持続的ホモロジー群を決定する。
• 拡張問題を解消する新しい関数 total-prst-hmlg-group を実装する。
• 整数バーコードを生成し、持続的ホモロジー群の生成元を追跡することで、標準的なバーコードを超えた定性的な解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 持続的ホモロジーとスペクトル系列の正しい関係は何か？また、[4]で示された公式とはどのように異なるか？
• RQ2 既存のスペクトル系列アルゴリズムを用いて、有限型でない空間に対しても ℤ-係数の持続的ホモロジーを計算できるか？
• RQ3 持続的ホモロジー群における拡張問題を計算的に検出し、解消できるか？
• RQ4 ポストニコフ塔の持続的ホモロジー群と整数バーコードは何か？また、体係数の場合とはどのように異なるか？
• RQ5 同じ計算フレームワークでスペクトル系列と持続的ホモロジーの両方を計算可能か？どのような修正が必要か？

主な発見

• 文献[4]で提唱された「スペクトル系列定理」は誤りである。レベル r ≥ 1 におけるスペクトル系列群の総ランクは、持久度 ≥ r であるパーサーテーション図の点数に等しくない。むしろ、それより大きくなる可能性がある。
• 持続的ホモロジーとスペクトル系列の正しい関係が確立され、持続的ホモロジー群がスペクトル系列のデータから計算可能であることが示されたが、以前に主張されたよりもより洗練された公式を必要とする。
• ポストニコフ塔の段階における持続的ホモロジー群 H⁴⁷₇ は ℤ₂ ⊕ ℤ₄ であることが判明し、非自明な拡張問題が存在することが示された。
• 持続的ホモロジー群の生成元が明示的に計算され、それらが個々のバーコード成分から引き継がれるとは限らないことが示され、サイクルの複雑な進化が明らかになった。
• この手法により、ℤ-係数では区別可能な Klein 瓶とトーラスの区別が可能になった。両者の ℤ₂-ホモロジーは同一であるが、本手法により差が明確に分離された。
• Kenzo における実装により、ポストニコフ塔のような無限型の空間に対しても、完全な整数バーコードと拡張問題の解消を伴う持続的ホモロジーの計算が可能になった。