[論文レビュー] Vietoris-Rips Persistent Homology, Injective Metric Spaces, and The Filling Radius

Sunhyuk Lim, Facundo Mémoli+1 more|arXiv (Cornell University)|Jan 21, 2020

Topological and Geometric Data Analysis被引用数 5

ひとこと要約

本稿は、距離空間を単射（超凸）距離空間に埋め込むことにより、ベトリス＝リプス持続ホモロジーの幾何的枠組みを確立する。標準的なベトリス＝リプス持続ホモロジーが単射性のもとで、この幾何的構成と同型であることを証明する。主な貢献は、カテゴリー的同型が得られることで、バーコード区間の端点、球面のホモトピー型、およびスプレッドや充填半径などの距離不変量を用いた持続的性の境界に関する新たな特徴づけが可能になることである。

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.

研究の動機と目的

• 距離空間を単射距離空間に埋め込むことによる、持続ホモロジーの幾何的・圏論的枠組みの構築。
• 環境空間が単射である場合に、標準的ベトリス＝リプス持続ホモロジーとこの幾何的構成との同型性の確立。
• コンパクト距離空間のベトリス＝リプスバーコードの区間端点を幾何的不変量を用いて特徴づける。
• 同型を応用して、球面および複素射影空間のベトリス＝リプス複体のホモトピー型に関する結果を導出する。
• 持続ホモロジーをグロモフの充填半径と結びつけ、球面のバーコード不変量を用いた安定性および剛性結果の証明。

提案手法

• X が単射距離空間 Y に埋め込まれた距離対 (X, Y) を用いた、新たな持続ホモロジーの概念を定義する。
• 距離ホモトピー対の圏を構成し、単射の場合に標準的ベトリス＝リプスフィルトレーションがこの幾何的構成と同型であることを証明する。
• 同型を用いて、特にコンパクト距離空間に対して、幾何トポロジーの結果を持続ホモロジーに移す。
• 同型を用いて、空間のスプレッドおよび充填半径を用いて、バーコードにおける正確な区間端点を導出する。
• インタレーリング距離およびグロモフ＝ハウスドルフ距離の安定性を活用し、強い充填半径およびバーコード区間の境界を証明する。
• 代数的トポロジー（例：クンネッフの公式、神経体の補題）および幾何解析（例：グロモフの充填半径）の結果を用いて、ホモトピーおよび剛性定理を導出する。

実験結果

リサーチクエスチョン

• RQ1 標準的ベトリス＝リプス持続ホモロジーが、単射距離空間への埋め込みによる幾何的持続ホモロジー構成と同型である条件は何か？
• RQ2 任意のコンパクト距離空間のベトリス＝リプスバーコードにおける区間の正確な端点は何か？ そして、幾何的不変量を用いてどのように特徴づけられるか？
• RQ3 リーマン多様体の充填半径は、そのベトリス＝リプス複体の持続ホモロジーとどのように関係するか？
• RQ4 本稿の幾何的枠組みを用いて、球面および複素射影空間のベトリス＝リプス複体のホモトピー型を完全に特徴づけられるか？
• RQ5 バーコード不変量および充填半径に基づいて、球面に対してどのような安定性および剛性特性が生じるか？

主な発見

• 任意のコンパクト距離空間のベトリス＝リプス持続ホモロジーは、環境空間が単射である場合に、幾何的持続ホモロジー構成と同型である。
• バーコード $\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)$ for $r > 5$）が存在し、その場合 $\mathrm{sFillRad} > \mathrm{FillRad}$ となるため、等号が常に成り立つとは限らない。