[論文レビュー] Universality of the Homotopy Interleaving Distance

Andrew J. Blumberg, Michael Lesnick|arXiv (Cornell University)|May 4, 2017

Topological and Geometric Data Analysis被引用数 7

ひとこと要約

この論文は、位相的データ解析（TDA）におけるインターリービングのホモトピー的不変な類似物としてホモトピーインターリービングを導入し、被覆空間に於いて普遍的安定性およびホモトピー不変性を満たす擬距離 $d_{HI}$ を定義する。主な貢献は、$d_{HI}$ が自然な安定性およびホモトピー不変性の公理を満たすような普遍的擬距離であることを証明することであり、これにより基本的なTDA定理をフィルタリングされた空間レベルでより強力に定式化できる。同時に、単純な永続的ホワイトヘッド定理の反例を提示し、洗練された予想を提示する。

ABSTRACT

As a step towards establishing homotopy-theoretic foundations for topological data analysis (TDA), we introduce and study homotopy interleavings between filtered topological spaces. These are homotopy-invariant analogues of interleavings, objects commonly used in TDA to articulate stability and inference theorems. Intuitively, whereas a strict interleaving between filtered spaces $X$ and $Y$ certifies that $X$ and $Y$ are approximately isomorphic, a homotopy interleaving between $X$ and $Y$ certifies that $X$ and $Y$ are approximately weakly equivalent. The main results of this paper are that homotopy interleavings induce an extended pseudometric $d_{HI}$ on filtered spaces, and that this is the universal pseudometric satisfying natural stability and homotopy invariance axioms. To motivate these axioms, we also observe that $d_{HI}$ (or more generally, any pseudometric satisfying these two axioms and an additional "homology bounding" axiom) can be used to formulate lifts of several fundamental TDA theorems from the algebraic (homological) level to the level of filtered spaces. Finally, we consider the problem of establishing a persistent Whitehead theorem in terms of homotopy interleavings. We provide a counterexample to a naive formulation of the result.

研究の動機と目的

• フィルタリングされた位相空間間の近似的な弱同値を形式化することで、位相的データ解析のホモトピー論的基盤を構築すること。
• 厳密なインターリービングの一般化として、ホモトピー不変性を持つインターリービングを定義し、それらを研究すること。
• ホモトピーインターリービング距離 $d_{HI}$ が自然な安定性およびホモトピー不変性の公理を満たす唯一の普遍的擬距離であることを証明すること。
• バーコードではなく、フィルタリングされた空間レベルそのものに直接的に古典的TDA定理を強化すること。
• ホモトピーインターリービングを用いて永続的ホワイトヘッド定理の可能性を検討し、洗練された予想を導くこと。

提案手法

• フィルタリングされた位相空間間のホモトピー不変なインターリービングとしてホモトピーインターリービングを導入すること。
• ホモトピーインターリービングを用いて、フィルタリングされた空間上に拡張擬距離として $d_{HI}$ を定義すること。
• モデル圏におけるケン拡張の性質と一般化されたインターリービング圏を用いて、$d_{HI}$ の三角不等式を証明すること。
• 安定性およびホモトピー不変性の公理を満たす中で、最も強いものであることを示すことにより、$d_{HI}$ の普遍性を確立すること。同様の性質を満たすより小さい擬距離は存在しないことの証明も含む。
• 構成における図式構造が適切に扱われるよう、コフェイブルリプレースメントとホモトピーコロイムを用いること。
• 単純な永続的ホワイトヘッド定理の形式化に対する反例を構成し、洗練された予想を導くための指針を得ること。

実験結果

リサーチクエスチョン

• RQ1 フィルタリングされた空間に対して、近似的な弱同値を捉えるホモトピー不変なインターリービングの類似物を定義できるか？
• RQ2 ホモトピーインターリービング距離 $d_{HI}$ は、安定性およびホモトピー不変性を満たす唯一の普遍的擬距離か？
• RQ3 リプスフィルタリングの安定性といった、基本的なTDA定理を、バーコードではなくフィルタリングされた空間レベルそのもので成立するように強化できるか？
• RQ4 永続的ホモトピー群のインターリービングと、フィルタリングされた空間のホモトピーインターリービングとの間に、永続的ホワイトヘッド定理が成立する可能性はあるか？
• RQ5 単純な永続的ホワイトヘッド定理の形式化にはどのような制限があり、それらはどのように是正できるか？

主な発見

• ホモトピーインターリービング距離 $d_{HI}$ は適切に定義されており、三角不等式を満たし、フィルタリングされた空間上に頑健な拡張擬距離を形成する。
• 擬距離 $d_{HI}$ は、自然な安定性およびホモトピー不変性の公理を満たすすべての擬距離の中で普遍的である。
• 論文は、$\delta$-インターリービングされた永続的ホモトピー群が、$\delta$-ホモトピー同値性またはフィルタリングされた空間のインターリービングを示さない反例を提示する。
• 洗練された永続的ホワイトヘッド予想を提示する：次元が有界で、ホモトピー群が $\delta$-インターリービングされている場合、$X$ と $Y$ は定数 $c$（次元にのみ依存）を用いて $c\delta$-ホモトピーインターリービングされる。
• 反例は、各レベルで自明なホモトピー群だが非自明なホモロジーを持つ空間列 $Y^n$ を用いており、これはホモロジーのインターリービングが任意の有限スケールで失敗することを示している。これは、永続的ホモトピー群がインターリービングされている場合でも成立する。
• 本研究の結果により、古典的TDA定理をバーコードからフィルタリングされた空間レベルに持ち上げることができ、その位相的およびホモトピー的頑健性が向上する。