[論文レビュー] Demystifying Latschev's Theorem: Manifold Reconstruction from Noisy Data

Sushovan Majhi|arXiv (Cornell University)|May 26, 2023

Topological and Geometric Data Analysis被引用数 3

ひとこと要約

本稿は、ラツシェフの定理の最初の定量的版を提供し、ノイズのあるデータのベトリス–ライプス複体が閉じたリーマン多様体とホモトピー同値となるための明示的なサンプリング条件を確立する。多様体の凸性半径と断面曲率の上限を活用することで、多様体の再構築における位相的整合性を保証する計算可能な近接スケールβを導出する。この結果は、リーマン多様体の凸性半径と断面曲率に基づき、ユークリッド部分多様体へと拡張される。

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.

研究の動機と目的

• 長年の空白を埋めるために、位相的再構築のための定量的で計算可能な近接スケールβを提供すること。
• 閉じたリーマン多様体の内在的幾何的不変量—特に凸性半径と断面曲率の上限—に基づくサンプリング条件を確立すること。
• リーマン多様体の再構築保証を、ユークリッド部分多様体へとリーマン多様体の到達距離τ(M)に基づく条件を用いて拡張すること。
• ハウスドルフ距離近接性のもとで、ベトリス–ライプス複体が部分多様体の位相を忠実に回復できることを示すこと。これは、Č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の間のホモトピー同値性を確立する。
• 命題A.2を用いて、合成写像φ ∘ egと包含写像ιが連続的であることを示し、これによりホモトピックな写像が得られることを示す。
• ホワイトヘッドの定理を活用し、ホモトピー群への誘導写像が同型であることを結論づけ、したがってホモトピー同値であることを示す。
• ユークリッド部分多様体の場合、到達距離τ(M)を用いてβを定義し、dH(M, S) < ζβならばRβ(S) ≃ Mが成り立つことを示す（0 < ζ < 1/14）。

実験結果

リサーチクエスチョン

• RQ1 ノイズのあるサンプルSのベトリス–ライプス複体が閉じたリーマン多様体Mとホモトピー同値となるための、明示的かつ計算可能な近接スケールβのサンプリング条件は何か？
• RQ2 多様体Mの凸性半径と断面曲率を用いて、ラツシェフの定理の定量的版をどのように導出できるか？
• RQ3 ハウスドルフ距離近接性のもとで、ベトリス–ライプス複体はユークリッド部分多様体を位相的に忠実に再構築できるか？
• RQ4 部分多様体の到達距離が、忠実な位相的回復のためのスケールβを決定する上で果たす役割は何か？
• RQ5 より複雑なČech複体に依存せず、計算がより単純なRips複体のみを用いても、ホモトピー同値性を達成できるか？

主な発見

• ラツシェフの定理の定量的版が確立され、dGH(M, S) < δを満たす十分に小さなδに対してβ ≤ (1 − 2ζ)βを選び、Rβ(S) ≃ Mが成り立つ。
• 近接スケールβは、凸性半径ρ(M)と断面曲率の観点から明示的にバウンドされ、β ≤ (1 − 2ζ)β < (1 − 2ζ)ρ(M)を満たす。
• 閉じたリーマン多様体Mに対して、β ≤ 3(1 + 2ζ)(1 − 14ζ) / [8(1 − 2ζ)²] ⋅ τ(M)を満たす場合、ベトリス–ライプス複体Rβ(S)はMとホモトピー同値である。ここでτ(M)は到達距離である。
• ホモトピー同値性は、すべてのp ∈ Mに対して∥p − φ(p)∥ < ζβを満たす単体写像φ: R(1−2ζ)β(M) → Rβ(S)を介して達成される。
• 合成写像ψ ∘ φと包含写像ι: R(1−2ζ)β(M) → R4/3(1−2ζ)β(M)は連続的であり、これによりホモトピックな写像が得られ、したがって同型なホモトピー群を誘導する。
• この結果は、ハウスドルフ近接性のもとで、ベトリス–ライプス複体がRd内の部分多様体の位相的忠実な再構築を達成できることを確認する。ここで到達距離τ(M)が主要なサンプリングパラメータとして機能する。