[論文レビュー] A subset of Euclidean space with large Vietoris-Rips homology

Jean-Marie Droz|arXiv (Cornell University)|Oct 15, 2012

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

ひとこと要約

本稿では、パラメータ $a \in [1 - \frac{1}{2 \cdot 243^2}, 1]$ の範囲で、最初のバーティス・ライプスホモロジー群 $\operatorname{H}_1(\operatorname{Rips}(K,a))$ が非可算に生成されるような、$\mathbb{R}^4$ のコンパクト部分集合 $K$ を構成する。この構成は、$[0,1]^3$ への積空間の $\frac{1}{243}$-近似拡張埋め込みに加え、放物型下界による幾何的制約を用いて、特定の1次単体が剛性を持ち、埋め込めないことを保証し、非可算なホモロジー階数を引き起こす。

ABSTRACT

We construct a compact subset K of the four dimensional Euclidean space with the following property: For all values of the parameter in an interval, the Vietoris-Rips complex of K has uncountably generated first homology. This answers a question that arose in work on persistent homology.

研究の動機と目的

• ユークリッド空間のコンパクト部分集合が非可算な最初のバーティス・ライプスホモロジーをもつ可能性に関する、恒続的ホモロジーにおける疑問を解決すること。
• パラメータ $a$ の正の長さの区間で $\operatorname{H}_1(\operatorname{Rips}(K,a))$ が非可算に生成されるような、特定のコンパクト部分集合 $K \subset \mathbb{R}^4$ を構成すること。
• ユークリッド空間のコンパクト部分集合のバーティス・ライプス複体において、非可算なホモロジー階数が生じることを示し、ホモロジーの有限性に関する直感に反する事実を明らかにすること。

提案手法

• $k$-単体が $k+1$ 個の点の集合に対応し、直径が $\leq a$ であるような、単体的複体としてのバーティス・ライプス複体 $\operatorname{Rips}(K,a)$ を定義する。
• 基数 $|D| = 2^{\aleph_0}$ を持つ $I_{\text{many}} = [0,1] \times D$ から $[0,1]^3$ への $\frac{1}{243}$-近似拡張単射写像 $e: I_{\text{many}} \to [0,1]^3$ を、3進展開とシーケンスのインターリーブを用いて構成する。
• 集合 $T = \left\{ \left( \frac{x}{2 \cdot 243^2}, e((x,y)) \right) \mid x \in [0,1], y \in D \right\}$ を定義し、コンパクト性を保証するために閉包 $\overline{T}$ をとる。
• 完全なコンパクト集合 $K = \overline{T} \cup \{0\} \times [0,1]^3 \cup \{1\} \times [0,1]^3 \subset \mathbb{R}^4$ を定義する。
• 補題6を用いて幾何的下界を確立し、$\operatorname{Rips}(K,a)$ 内の特定の1次単体が剛性を持ち、いかなる2次単体にも含まれないことを保証する。
• 剛性を持つ1次単体（$\{1\} \times [0,1]^3$ から $\overline{T}$ へのもの）がホモロジーで線形独立であることを示し、$\operatorname{H}_1$ における非可算な階数を導く。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド空間のコンパクト部分集合が、パラメータ $a$ の正の長さの区間で非可算な最初のバーティス・ライプスホモロジーを示すことは可能か？
• RQ2 非可算なファイバーを持つ積空間からの近似拡張写像を用いて、このような集合を構成することは可能か？
• RQ3 どのような幾何的・位相的制約が、バーティス・ライプス複体内の特定の1次単体が埋め込めない（非可算ホモロジーに寄与する）ようにするのか？
• RQ4 補題6による度合いと曲率の相互作用が、1次単体の高次元への埋め込みを防ぐ仕組みは何か？
• RQ5 非コンパクトまたは非距離的構成に依存せずに、ホモロジーにおける非可算階数を達成することは可能か？

主な発見

• すべての $a \in [1 - \frac{1}{2 \cdot 243^2}, 1]$ に対して、最初のホモロジー群 $\operatorname{H}_1(\operatorname{Rips}(K,a))$ は非可算に生成される。
• この構成は、$\frac{1}{243}$-近似拡張埋め込み $e: I_{\text{many}} \to [0,1]^3$ に依存しており、像内の距離が定義域内の距離の平方根によって制御されることを保証する。
• 剛性を持つ1次単体（$\{1\} \times [0,1]^3$ から $\overline{T}$ へのもの）は、補題6による幾何的制約のおかげで、いかなる非自明な2次単体にも含まれない。
• このような剛性を持つ1次単体の数は $2^{\aleph_0}$ 個であり、これは非可算集合 $D$ に対応し、ホモロジーにおいて線形独立である。
• バーティス・ライプス複体 $\operatorname{Rips}(K,a)$ は、$K$ がコンパクトであり、複体が有限個のコンパクトな部分から構成されるため、コンパクトである。
• 非可算な階数は、任意の2つの剛性を持つ1次単体が、小さな長さの1次単体を用いて1サイクルに完成可能であり、ホモロジーにおいて線形独立性が保たれるため生じる。