[논문 리뷰] Vietoris-Rips Persistent Homology, Injective Metric Spaces, and The Filling Radius

Sunhyuk Lim, Facundo Mémoli외 1명|arXiv (Cornell University)|2020. 01. 21.

Topological and Geometric Data Analysis인용 수 5

한 줄 요약

이 논문은 메트릭 공간을 삽입 가능한(초수렴성 있는) 메트릭 공간에 매립함으로써 비에토리스-리프 지속 homology에 대한 기하적 프레임워크를 수립한다. 삽입 가능성 조건 하에서 표준 비에토리스-리프 지속 homology가 이 기하적 구성과 동형임을 증명한다. 주요 기여는 범주론적 동형을 통해 바코드 간격의 끝점, 구의 호모토피 유형, 그리고 스프레드와 메트릭 불리닝 반경과 같은 메트릭 불변량을 통한 지속성에 대한 경계를 새롭게 특성화할 수 있게 해주는 것이다.

ABSTRACT

In the applied algebraic topology community, the persistent homology induced by the Vietoris-Rips simplicial filtration is a standard method for capturing topological information from metric spaces. In this paper, we consider a different, more geometric way of generating persistent homology of metric spaces which arises by first embedding a given metric space into a larger space and then considering thickenings of the original space inside this ambient metric space. In the course of doing this, we construct an appropriate category for studying this notion of persistent homology and show that, in a category theoretic sense, the standard persistent homology of the Vietoris-Rips filtration is isomorphic to our geometric persistent homology provided that the ambient metric space satisfies a property called injectivity. As an application of this isomorphism result we are able to precisely characterize the type of intervals that appear in the persistence barcodes of the Vietoris-Rips filtration of any compact metric space and also to give succinct proofs of the characterization of the persistent homology of products and metric gluings of metric spaces. Our results also permit proving several bounds on the length of intervals in the Vietoris-Rips barcode by other metric invariants. Finally, as another application, we connect this geometric persistent homology to the notion of filling radius of manifolds introduced by Gromov \cite{G07} and show some consequences related to (1) the homotopy type of the Vietoris-Rips complexes of spheres which follow from work of M.~Katz and (2) characterization (rigidity) results for spheres in terms of their Vietoris-Rips persistence barcodes which follow from work of F.~Wilhelm.

연구 동기 및 목표

• 삽입 가능한 공간에 메트릭을 매립함으로써 범주론적 기하 프레임워크를 개발하여 지속 homology를 수립한다.
• 배경 공간이 삽입 가능할 경우 표준 비에토리스-리프 지속 homology와 이 기하적 구성 간의 동형을 확립한다.
• 기하 불변량을 사용하여 컴act 메트릭 공간에 대한 비에토리스-리프 바코드 간격의 끝점을 특성화한다.
• 이 동형을 응용하여 구와 복소 프로젝티브 공간의 비에토리스-리프 복합체의 호모토피 유형 결과를 도출한다.
• 지속 homology를 그로모프의 불리닝 반경과 연결하고, 바코드 불변량을 통해 구에 대한 안정성 및 강성 결과를 증명한다.

제안 방법

• 메트릭 쌍 (X, Y)에서 새로운 지속 homology 개념을 정의하며, 여기서 X는 삽입 가능한 메트릭 공간 Y에 매립된다.
• 메트릭 호모토피 쌍의 범주를 구성하고, 삽입 가능한 경우 표준 비에토리스-리프 필터링이 이 기하적 구성과 동형임을 증명한다.
• 이 동형을 통해 기하 위상수학의 결과를 지속 homology로 이행하며, 특히 컴팩트 메트릭 공간에 대해 적용한다.
• 이 동형을 응용하여 스프레드와 불리닝 반경을 사용해 바코드의 정확한 간격 끝점을 도출한다.
• 인터레이빙 거리와 그로모프-하우스도르프 거리의 안정성에 기반하여 강한 불리닝 반경과 바코드 간격에 대한 경계를 증명한다.
• 대수적 위상수학(예: 쿠엔트 공식, 네르브 보조정리)과 기하 분석(예: 그로모프의 불리닝 반경)의 결과를 활용하여 호모토피 및 강성 정리를 도출한다.

실험 결과

연구 질문

• RQ1 표준 비에토리스-리프 지속 homology가 삽입 가능한 메트릭 공간에 매립된 기하적 지속 homology 구성과 동형이 되는 조건은 무엇인가?
• RQ2 모든 컴팩트 메트릭 공간에 대해 비에토리스-리프 바코드의 간격 끝점은 정확히 무엇이며, 기하 불변량을 통해 어떻게 특성화할 수 있는가?
• RQ3 리만다이언 맨폴드의 불리닝 반경은 그 비에토리스-리프 복합체의 지속 homology와 어떻게 관련되는가?
• RQ4 이 기하 프레임워크를 통해 구와 복소 프로젝티브 공간의 비에토리스-리프 복합체의 호모토피 유형을 완전히 특성화할 수 있는가?
• RQ5 비에토리스-리프 바코드와 불리닝 반경에 기반한 구에 대해 어떤 안정성 및 강성 성질이 도출되는가?

주요 결과

• 모든 컴팩트 메트릭 공간에 대해, 배경 공간이 삽입 가능할 경우 비에토리스-리프 지속 homology는 기하적 지속 homology 구성과 동형이다.
• 바코드 $\mathrm{barc}^\mathrm{VR}_k(X)$의 간격 끝점은 공간의 스프레드와 불리닝 반경을 정확히 사용하여 특성화된다.
• 지오데식 거리로 가진 $n$-차원 구 $\mathbb{S}^n$에 대해 불리닝 반경은 $\mathrm{FillRad}(\mathbb{S}^n) = \frac{1}{2}\arccos\left(-\frac{1}{n+1}\right)$이며, 강한 불리닝 반경은 이 값과 같다.
• 논문은 하우스만의 정리의 날카운 판정을 증명한다: $\mathrm{VR}_r(\mathbb{S}^n) \simeq \mathbb{S}^n$ 이다. $r \in \left(0, \arccos\left(-\frac{1}{n+1}\right)\right]$ 에서 성립하며, 삼각형 증명이 제공된다.
• 강한 불리닝 반경은 $|\mathrm{sFillRad}_k(X;\mathbb{F}) - \mathrm{sFillRad}_k(Y;\mathbb{F})| \leq 2\,d_{\mathrm{GH}}(X,Y)$ 를 만족하여, 그로모프-하우스도르프 거리에 대해 안정성을 증명한다.
• 일부 비정규 불리닝 맨폴드(예: $\mathbb{S}^1 \times \mathbb{S}^1 \times (r\cdot\mathbb{S}^1)$, $r > 5$)에서는 $\mathrm{sFillRad} > \mathrm{FillRad}$ 가 성립함을 보여, 등호가 항상 성립하지는 않음을 시사한다.