[논문 리뷰] A subset of Euclidean space with large Vietoris-Rips homology

Jean-Marie Droz|arXiv (Cornell University)|2012. 10. 15.

Topological and Geometric Data Analysis참고 문헌 1인용 수 4

한 줄 요약

이 논문은 $K \subset \mathbb{R}^4$의 컴act 부분집합을 구성하여, 매개변수 $a \in [1 - \frac{1}{2 \cdot 243^2}, 1]$의 범위에서 첫 번째 비에토리스-립스 호모로지 군 $\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.

연구 동기 및 목표

• 유계 유클리드 공간의 컴팩트 부분집합이 비가산적인 첫 번째 비에토리스-립스 호모로지를 가질 수 있는지에 관한 영구 호모로지 이론에서 발생하는 문제를 해결하기 위해.
• 일정한 길이의 간격 내에서 $\operatorname{H}_1(\operatorname{Rips}(K,a))$가 비가산적으로 생성되는 특정한 컴팩트 부분집합 $K \subset \mathbb{R}^4$를 구성하기 위해.
• 비가산 호모로지 계수가 유클리드 공간의 컴팩트 부분집합의 비에토리스-립스 복합체에서 발생할 수 있음을 보여주어, 호모로지의 유한성에 대한 통찰을 도전하기 위해.

제안 방법

• 비에토리스-립스 복합체 $\operatorname{Rips}(K,a)$를 $k$-심플렉스가 $k+1$개의 점들로 이루어지며, 그 직경이 $\leq a$인 집합에 대응하는 심플렉스 복합체로 정의한다.
• 기저-3 전개와 교차 시퀀스를 사용하여, $I_{\text{many}} = [0,1] \times D$에서 $|D| = 2^{\aleph_0}$인 $[0,1]^3$로의 $\frac{1}{243}$-근접확장형 단사 매핑 $e: I_{\text{many}} \to [0,1]^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$가 컴팩트이고 복합체가 유한한 컴팩트 조각들로 구성되어 있으므로 컴팩트하다.
• 비가산 계수의 근본 원인은 임의의 두 강성 있는 1-심플렉스가 작은 길이의 1-심플렉스들을 사용하여 1-사이클로 완성될 수 있으며, 이 과정에서 호모로지 내에서 선형 독립성이 유지되기 때문이다.