[论文解读] 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

一句话总结

本文构建了一个紧子集 $K \subset \mathbb{R}^4$，使得对于参数范围 $a \in [1 - \frac{1}{2 \cdot 243^2}, 1]$，其第一个 Vietoris-Rips 上同调群 $\operatorname{H}_1(\operatorname{Rips}(K,a))$ 为不可数生成。该构造利用了从乘积空间到 $[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.

研究动机与目标

• 为持久上同调中关于欧几里得空间紧子集是否存在不可数第一 Vietoris-Rips 上同调的问题提供解答。
• 构造一个具体的紧子集 $K \subset \mathbb{R}^4$，使得当 $a$ 属于一个正长度区间时，$\operatorname{H}_1(\operatorname{Rips}(K,a))$ 为不可数生成。
• 证明不可数上同调秩可在欧几里得空间紧子集的 Vietoris-Rips 复形中出现，挑战关于上同调有限性的直觉。

提出的方法

• 将 Vietoris-Rips 复形 $\operatorname{Rips}(K,a)$ 定义为：$k$-单形对应于直径 $\leq a$ 的 $k+1$ 个点的集合。
• 通过三进制展开和序列交错构造，构建一个 $\frac{1}{243}$-接近扩张的单射映射 $e: I_{\text{many}} \to [0,1]^3$，其中 $I_{\text{many}} = [0,1] \times D$ 且 $|D| = 2^{\aleph_0}$。
• 定义集合 $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\} \times [0,1]^3$ 到 $\overline{T}$ 的刚性 1-单形在上同调中线性无关，从而导致 $\operatorname{H}_1$ 中出现不可数秩。

实验结果

研究问题

• RQ1 欧几里得空间的紧子集是否可能在参数 $a$ 的正长度区间内表现出不可数的第一 Vietoris-Rips 上同调？
• RQ2 是否可以利用具有不可数纤维的乘积空间的接近扩张映射来构造此类集合？
• RQ3 何种几何与拓扑约束会导致 Vietoris-Rips 复形中的某些 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}$ 的 1-单形——由于引理 6 所提供的几何约束，不包含于任何非平凡 2-单形中。
• 此类刚性 1-单形的数量为 $2^{\aleph_0}$，对应于不可数集 $D$，且它们在上同调中线性无关。
• $\operatorname{Rips}(K,a)$ 复形是紧致的，因为 $K$ 是紧致的，且复形由有限多个紧致部分构成。
• 不可数秩的出现是因为任意两个刚性 1-单形均可通过添加短长度 1-单形完成为 1-循环，同时在上同调中保持线性无关性。