[論文レビュー] Random Čech Complexes on Manifolds with Boundary

Henry‐Louis de Kergorlay, Ulrike Tillmann+1 more|arXiv (Cornell University)|Jun 18, 2019

Topological and Geometric Data Analysis参考文献 23被引用数 10

ひとこと要約

本稿は、境界を有するコンpakトなリーマン多様体上におけるランダムČech複体の漸近的ホモロジー接続閾値を、ポアソン点過程を用いて確立する。k番目のホモロジーを回復するための主要項閾値は (2 - 2/d)"log(n) であり、閉多様体における "log(n) とは異なる。

ABSTRACT

Let $M$ be a compact, unit volume, Riemannian manifold with boundary. In this paper we study the homology of a random Čech-complex generated by a homogeneous Poisson process in $M$. Our main results are two asymptotic threshold formulas, an upper threshold above which the Čech complex recovers the $k$-th homology of $M$ with high probability, and a lower threshold below which it almost certainly does not. These thresholds are close together in the sense that they have the same leading term. Here $k$ is positive and strictly less than the dimension $d$ of the manifold. This extends work of Bobrowski and Weinberger in [BW17] and Bobrowski and Oliveira [BO19] who establish similar formulas when $M$ is a torus and, more generally, is closed and has no boundary. We note that the cases with and without boundary lead to different answers: The corresponding common leading terms for the upper and lower thresholds differ being $\log (n) $ when $M$ is closed and $(2-2/d)\log (n)$ when $M$ has boundary; here $n$ is the expected number of sample points. Our analysis identifies a special type of homological cycle, which we call a $Θ$-like-cycle, which occur close to the boundary and establish that the first order term of the lower threshold is $(2-2/d)\log (n)$.

研究の動機と目的

• 閉多様体からのホモロジー接続理論を境界を有するリーマン多様体へ拡張すること。
• ランダムČech複体が境界を有する多様体のk番目のホモロジーを高確率で回復する際の、正確な漸近的閾値を特定すること。
• 特にΘ-型サイクルを含む境界由来のトポロジカル障害がホモロジー回復に与える役割を同定および分析すること。
• 境界の存在が、閉多様体と比較してホモロジー接続閾値の主要項および2次項にどのように影響を与えるかを定量化すること。
• 境界を有する多様体におけるホモロジー回復のフェーズ転移を理解するための枠組みを提供すること。

提案手法

• コンパクトで単位体積を有するリーマン多様体 $M$ に、強度 $n$ の均一なポアソン点過程を用いてランダムČech複体をモデル化する。
• 複体トポロジーにおけるフェーズ転移を分析するため、$\Lambda = n\omega_d r^d$（半径 $r$ のd次元球内の期待点数）という主要パラメータを定義する。
• 特に境界付近のホモロジー的特徴を調べるため、点過程からの距離関数のモース理論および臨界点解析を用いる。
• 境界付近の点配置から生じる特殊なホモロジー的サイクル、すなわちΘ-型サイクルを導入・特徴づける。これらはホモロジー回復を妨げる。
• 境界 $\partial M$ の $r$-コラールの体積推定を適用し、$\text{Vol}(Δ M_r) \sim r \sim (\log n / n)^{1/d}$ を示し、主要項における $-(1/d)$補正を導出する。
• モース複体におけるΘ-型サイクルおよびその双対の出現確率的境界を用いて、ホモロジー回復の上界および下界閾値を確立する。

実験結果

リサーチクエスチョン

• RQ1 境界を有する多様体上におけるランダムČech複体のホモロジー接続閾値は、閉多様体におけるものとどのように異なるか？
• RQ2 境界を有する多様体のk番目のホモロジーが高確率で回復されるための正確な主要項漸近的閾値は何か？
• RQ3 特にΘ-型サイクルを通じた境界効果が、ホモロジー閾値の2次項にどのように影響を与えるか？
• RQ4 境界の $r$-コラール近傍は、Čech複体のホモロジー的構造にどのように寄与するか？
• RQ5 相対ホモロジー $M$ と $\partial M$ の間は、双対モース複体を介して解析可能か？また、これは絶対ホモロジー閾値とどのように関係するか？

主な発見

• 上界および下界のホモロジー接続閾値の主要項は $(2 - 2/d)\log n$ であり、境界効果のため、閉多様体における $\log n$ とは異なる。
• 下界は境界付近に存在するΘ-型サイクルに支配され、主要項における $-(2/d)\log n$ の補正の原因である。
• 下界の2次項は $2(1/d - 3)\log\log n$ のオーダーであり、2の係数は境界が体積寄与を半分にすることに起因する。
• 上界の2次項は $[(k-2)\log\log n, k\log\log n]$ の範囲に有界であり、境界由来サイクルの影響を反映している。
• ホモロジー回復の幾何的障害として、境界付近で接するように導入される $k$-単体からなるΘ-型サイクルが特定された。
• 相対ホモロジー $M$ と $\partial M$ は、負距離関数のモース複体を介して解析可能であり、Θ-型サイクルはインデックス $d-k$ の相対サイクルに双対化される。