[论文解读] 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

一句话总结

本论文通过泊松点过程，建立了紧致黎曼流形（带边界）上随机Č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$ 个同调群的渐近阈值。
• 识别并分析边界引起的拓扑障碍（特别是 $Θ$-型圈）在同调恢复中的作用。
• 量化边界的存在如何改变同调连通性阈值的主导项与第二项，相较于闭流形的情形。
• 为理解带边界流形在超临界区域中同调恢复的相变现象提供一个框架。

提出的方法

• 通过在紧致、单位体积的黎曼流形 $M$（带边界）上使用强度为 $n$ 的齐次泊松点过程，对随机Čech复形进行建模。
• 定义关键参数 $\Lambda = n\omega_d r^d$，即半径为 $r$ 的 $d$ 维球体内点的期望数量，以分析复形拓扑的相变。
• 利用距离函数的Morse理论与临界点分析，研究同调特征，尤其关注边界附近的情况。
• 引入并表征 $Θ$-型圈——由边界附近点配置产生的特殊同调圈，阻碍同调恢复。
• 应用边界 $\partial M$ 的 $r$-环形邻域的体积估计，证明 $\text{Vol}(Δ M_r) \sim r \sim (\log n / n)^{1/d}$，从而推导出主导项中的 $-(1/d)$ 修正项。
• 通过 $\u0398$-型圈及其对偶在Morse复形中出现的概率界，建立同调恢复的上下阈值。

实验结果

研究问题

• RQ1 带边界的流形上随机Čech复形的同调连通性阈值与闭流形相比有何不同？
• RQ2 带边界流形第 $k$ 个同调群以高概率被恢复的精确主导阶渐近阈值是什么？
• RQ3 边界效应（特别是通过 $\u0398$-型圈）如何改变同调阈值中的第二项？
• RQ4 边界 $r$-环形邻域在塑造Čech复形的同调结构方面起什么作用？
• RQ5 能否通过负距离函数的对偶Morse复形分析 $M$ 相对于 $\partial M$ 的相对同调？这与绝对同调阈值有何关联？

主要发现

• 上下同调连通性阈值的主导项为 $(2 - 2/d)\log n$，由于边界效应，与闭流形中的 $\log n$ 不同。
• 下阈值主要受边界附近 $\u0398$-型圈的影响，这些圈导致主导项中出现 $-(2/d)\log n$ 的修正。
• 下阈值的第二项为 $2(1/d - 3)\log\log n$，其中因子 2 来源于边界对体积贡献的减半。
• 上阈值的第二项位于 $[(k-2)\log\log n, k\log\log n]$ 范围内，反映了边界诱导圈的影响。
• 分析识别出一种几何障碍：由在边界附近切向引入的 $k$-单形形成的 $\u0398$-型圈，阻碍同调恢复。
• 通过负距离函数的Morse复形，可研究 $M$ 相对于 $\partial M$ 的相对同调，其中 $\u0398$-型圈对偶于指标为 $d-k$ 的相对圈。