[논문 리뷰] Demystifying Latschev's Theorem: Manifold Reconstruction from Noisy Data

Sushovan Majhi|arXiv (Cornell University)|2023. 05. 26.

Topological and Geometric Data Analysis인용 수 3

한 줄 요약

이 논문은 Latschev의 정리에 대한 첫 번째 정량적 형태를 제공하며, 노이즈가 있는 데이터의 Vietoris–Rips 복합체가 닫힌 리만다만에서 올바른 호모토피 동치가 되기 위한 명시적 표본 조건을 수립한다. 다발의 볼록성 반경과 섹션 굴률의 상한을 활용하여, 노이즈가 있는 표본으로부터의 다발 재구성에서 위상적 정밀도를 보장하는 계산 가능한 거리 척도 β를 유도한다. 이는 유클리드 부분다발으로까지 도달하는 도구를 제공한다.

ABSTRACT

For a closed Riemannian manifold $\mathcal{M}$ and a metric space $S$ with a small Gromov$\unicode{x2013}$Hausdorff distance to it, Latschev's theorem guarantees the existence of a sufficiently small scale $β>0$ at which the Vietoris$\unicode{x2013}$Rips complex of $S$ is homotopy equivalent to $\mathcal{M}$. Despite being regarded as a stepping stone to the topological reconstruction of Riemannian manifolds from a noisy data, the result is only a qualitative guarantee. Until now, it had been elusive how to quantitatively choose such a proximity scale $β$ in order to provide sampling conditions for $S$ to be homotopy equivalent to $\mathcal{M}$. In this paper, we prove a stronger and pragmatic version of Latschev's theorem, facilitating a simple description of $β$ using the sectional curvatures and convexity radius of $\mathcal{M}$ as the sampling parameters. Our study also delves into the topological recovery of a closed Euclidean submanifold from the Vietoris$\unicode{x2013}$Rips complexes of a Hausdorff close Euclidean subset. As already known for Čech complexes, we show that Vietoris$\unicode{x2013}$Rips complexes also provide topologically faithful reconstruction guarantees for submanifolds.

연구 동기 및 목표

• 장기적으로 남아 있던 Latschev의 정리의 이론적 공백을 메우기 위해, 위상 재구성에 대한 정량적이고 계산 가능한 거리 척도 β를 제공한다.
• 닫힌 리만다만의 내재 기하 불변량—특히 볼록성 반경과 섹션 굴률의 상한—기반으로 표본 조건을 수립한다.
• 다른 다발의 표본 조건을 도전적으로 사용하여 유클리드 부분다발으로의 재구성 보장을 확장한다.
• Hausdorff 거리 기반의 근접성 하에서 Vietoris–Rips 복합체가 부분다발의 위상적 복원을 충실하게 수행함을 보여준다. 이는 Čech 복합체에 대해 알려진 결과와 유사하다.
• 위상 데이터 분석에서 정성적 호모토피 동치와 실용적 다발 재구성 사이의 이론적 격차를 메운다.

제안 방법

• 다만 M의 볼록성 반경 ρ(M)과 섹션 굴률의 상한 Kmax를 사용하여 거리 척도 β에 대한 정량적 상한을 유도한다.
• Rips 복합체 Rβ(M)를 기반으로 지오데식 연장 구조를 활용한 단순형 사상 eg: sd(K) → Rβ(S)를 도입한다.
• R(1−2ζ)β(M), Rβ(S), R4/3(1−2ζ)β(M)를 포함하는 호모토피 교환 다이어그램을 구성함으로써 Rβ(S)와 M 사이의 호모토피 동치를 확립한다.
• Proposition A.2를 사용하여 φ ∘ eg와 포함 사상 ι가 이웃임을 보이고, 이는 호모토피 사상임을 의미한다.
• Whitehead의 정리를 활용하여 호모토피 군에 유도된 사상이 동형임을 결론 내리며, 따라서 호모토피 동치임을 증명한다.
• 유클리드 부분다발의 경우, 다발의 reach τ(M)를 사용하여 β를 정의함으로써 dH(M, S) < ζβ 이면 Rβ(S) ≃ M 임을 보장한다. 여기서 0 < ζ < 1/14 이다.

실험 결과

연구 질문

• RQ1 노이즈가 있는 표본 S의 Vietoris–Rips 복합체가 닫힌 리만다만 M과 호모토피 동치가 되도록 보장하는 명시적이고 계산 가능한 표본 조건 β는 무엇인가?
• RQ2 볼록성 반경과 다만 M의 섹션 굴률을 어떻게 활용하여 Latschev의 정리의 정량적 형태를 도출할 수 있는가?
• RQ3 Hausdorff 거리 기반의 근접성 하에서 Vietoris–Rips 복합체는 유클리드 부분다발의 위상적으로 충실한 재구성을 제공할 수 있는가?
• RQ4 하나의 부분다발의 reach가 충실한 위상 복원을 위한 척도 β를 결정하는 데 어떤 역할을 하는가?
• RQ5 더 복잡한 Čech 복합체에 의존하지 않고, 계산적으로 단순한 Rips 복합체만으로도 호모토피 동치 재구성을 달성할 수 있는가?

주요 결과

• Latschev의 정리에 대한 정량적 형태가 확립되었으며, β ≤ (1 − 2ζ)β 를 선택함으로써 dGH(M, S) < δ 이면 Rβ(S) ≃ M 임을 보장한다. 여기서 δ는 충분히 작다.
• 거리 척도 β는 볼록성 반경 ρ(M)과 굴률에 대해 명시적으로 상한이 주어지며, β ≤ (1 − 2ζ)β < (1 − 2ζ)ρ(M) 를 만족한다.
• 닫힌 리만다만 M에 대해, β ≤ 3(1 + 2ζ)(1 − 14ζ) / [8(1 − 2ζ)²] ⋅ τ(M) 를 만족하면 Vietoris–Rips 복합체 Rβ(S)는 M과 호모토피 동치이다. 여기서 τ(M)는 reach이다.
• 모든 p ∈ M 에 대해 ∥p − φ(p)∥ < ζβ 를 만족하는 단순형 사상 φ: R(1−2ζ)β(M) → Rβ(S) 를 통해 호모토피 동치가 달성된다.
• 합성 사상 ψ ∘ φ 와 포함 사상 ι: R(1−2ζ)β(M) → R4/3(1−2ζ)β(M) 는 이웃이며, 이는 호모토피 사상임을 의미하고, 따라서 동일한 호모토피 군을 유도한다.
• 결과적으로 Vietoris–Rips 복합체가 Hausdorff 거리 기반의 근접성 하에서 Rd 내의 부분다발의 위상적으로 충실한 재구성을 달성할 수 있음을 확인하였으며, reach τ(M) 가 핵심 표본 조건으로 작용한다.