[論文レビュー] Kunneth formuale in persistent homology

Perea, José|arXiv (Cornell University)|Jan 1, 2019

Topological and Geometric Data Analysis参考文献 45被引用数 9

ひとこと要約

本稿では、フィルター付き積空間の持久ホモロジーがそのフィルター付き因子の持久ホモロジーからどのように再構成できるかを示す、持久ホモロジーにおけるK"unneth型の公式を確立する。異なる積フィルトレーションは、明示的な分解規則を持つ、古典的K"unneth定理を持久設定に一般化した異なる公式をもたらす。

ABSTRACT

The classical Kunneth formula in homological algebra provides a link between the homology of a product space and that of its factors. We will show in this talk a collection of similar results for persistent homology. That is, we show how the persistent homology of a filtered product space --- different product filtrations lead to different formulae --- can be recovered from that of its filtered factors.

研究の動機と目的

• 代数的ホモロジー論における古典的K"unneth公式を、持久ホモロジーの文脈へと拡張すること。
• 異なる積フィルトレーションが積空間の持久ホモロジーに与える影響を調査すること。
• フィルター付き積空間の持久ホモロジーをそのフィルター付き成分から回復するための分解法を提供すること。
• フィルター付き因子のバーコード分解と、それらが導く積空間との間の関係を形式化すること。

提案手法

• 元のフィルトレーションのさまざまな組み合わせを用いて、2つのフィルター付き空間の積にフィルトレーションを定義する。
• フィルター付きチェーン複体の構造を用いて、積の持久ホモロジーと因子の持久ホモロジーのテンソル積との間の同型を導出する。
• 積空間の持久ホモロジーが、因子の持久ホモロジー・モジュールのテンソル積の直和に分解されるための条件を確立する。
• 代数的ホモロジー論におけるKünneth定理を基盤とし、それをフィルター付きおよび持久的文脈に適応する。
• 得られたバーコード分解を分析し、積空間における特徴が因子内の特徴の相互作用からどのように生じるかを示す。
• 異なるフィルトレーション選択が、結果としての持久ホモロジーに異なる代数的構造をもたらし、それにより異なる公式が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 フィルター付き積空間の持久ホモロジーは、そのフィルター付き因子の持久ホモロジーを用いてどのように表現できるか？
• RQ2 異なるフィルトレーション方式下での積空間における持久ホモロジーの分解を支配する代数的構造は何か？
• RQ3 異なる積フィルトレーションは、古典的K"unneth公式と比較して、結果としての持久ホモロジー公式にどのような影響を及ぼすか？
• RQ4 積空間の持久ホモロジーのバーコードは、どの程度その成分のバーコードから再構成可能か？
• RQ5 積空間の持久ホモロジーが因子の持久ホモロジーのテンソル積と同型であるための条件は何か？

主な発見

• フィルター付き積空間の持久ホモロジーは、K"unneth型の同型を介して、そのフィルター付き因子の持久ホモロジーから回復可能である。
• 異なる積フィルトレーションは、積空間の持久ホモロジーに対する異なる代数的公式をもたらす。
• 積空間の持久ホモロジーの分解は、因子の持久ホモロジー・モジュールのテンソル積によって支配される。
• 積空間のバーコード分解は、個々の因子からのバーコードの相互作用を反映しており、フィルトレーションの選択が結果としてのバーコード集合の構造を決定する。
• 代数的ホモロジー論における古典的K"unneth公式が、明示的な同型が成立する条件とともに、持久設定へと一般化される。
• 本研究の結果は、積空間の持久ホモロジーを計算するための体系的な枠組みを提供し、問題を因子上の計算に還元可能である。