[论文解读] Limit theorems for process-level Betti numbers for sparse, critical, and Poisson regimes

Takashi Owada, Andrew M. Thomas|arXiv (Cornell University)|Sep 15, 2018

Topological and Geometric Data Analysis参考文献 18被引用 4

一句话总结

本文研究了在 $[ d$-维欧几里得空间中，由泊松分布点构建的Čech复形的过程级贝蒂数的极限定理，分析了稀疏、临界和泊松三种情形。在稀疏和临界情形下证明了中心极限定理（极限过程分别表示为时间变换了的布朗运动和高斯过程），在泊松情形下证明了泊松极限定理，从而对随机几何复形中的拓扑复杂性提供了完整的渐近刻画。

ABSTRACT

The objective of this study is to examine the asymptotic behavior of Betti numbers of Čech complexes treated as stochastic processes and formed from random points in the $d$-dimensional Euclidean space $\mathbb{R}^d$. We consider the case where the points of the Čech complex are generated by a Poisson process with intensity $nf$ for a probability density $f$. We look at the cases where the behavior of the connectivity radius of Čech complex causes simplices of dimension greater than $k+1$ to vanish in probability, the so-called sparse and Poisson regimes, as well when the connectivity radius is on the order of $n^{-1/d}$, the critical regime. We establish limit theorems in all of the aforementioned regimes, a central limit theorem for the sparse and critical regimes, and a Poisson limit theorem for the Poisson regime. When the connectivity radius of the Čech complex is $o(n^{-1/d})$, i.e., the sparse and Poisson regimes, we can decompose the limiting processes into a time-changed Brownian motion and a time-changed homogeneous Poisson process respectively. In the critical regime, the limiting process is a centered Gaussian process but has much more complicated representation, because the Čech complex becomes highly connected with many topological holes of any dimension.

研究动机与目标

• 分析随机几何拓扑中，当点过程为泊松过程时，贝蒂数作为随机过程的渐近行为。
• 刻画在三种不同标度情形（稀疏、临界、泊松）下，过程级贝蒂数的极限分布。
• 在稀疏和临界情形下建立中心极限定理，在泊松情形下建立泊松极限定理。
• 推导极限过程的显式表示，包括时间变换了的布朗运动和高斯过程。
• 理解在 $[ d$-维空间中，强度为 $nf$ 的泊松过程所形成的Čech复形的拓扑复杂性。

提出的方法

• 使用强度为 $nf$ 的泊松点过程建模Čech复形，其中 $f$ 是 $[ d$ 上的概率密度函数。
• 将贝蒂数 $\beta_k$ 视为以连通半径 $t$ 为索引的随机过程，追踪不同尺度下的拓扑特征。
• 利用矩方法和阶乘矩测度，控制高阶单纯形及其对贝蒂数贡献的行为。
• 应用连续映射定理和泊松随机测度的拉普拉斯函数，刻画极限过程的弱收敛性。
• 通过变量代换和对单纯形交集指示函数积分的界估计，证明方差项趋于零。
• 通过渐近展开和复连通性概率的界估计，建立期望和二阶矩的收敛性。

实验结果

研究问题

• RQ1 当底层点过程为强度 $nf$ 的泊松过程时，Čech复形的贝蒂数作为随机过程如何演化？
• RQ2 在稀疏情形下，即连通半径为 $o(n^{-1/d})$ 时，第 $k$ 个贝蒂数过程的极限分布是什么？
• RQ3 在临界情形下，即连通半径为 $n^{-1/d}$ 量级时，贝蒂数过程的极限行为如何？
• RQ4 与稀疏和临界情形相比，泊松情形下的极限过程有何不同？
• RQ5 临界情形下的极限过程能否显式表示？其与底层空间几何结构的关系如何？

主要发现

• 在稀疏情形下，贝蒂数的极限过程为时间变换了的布朗运动，反映了拓扑特征的扩散波动。
• 在临界情形下，极限过程为均值为零的高斯过程，其复杂表示源于高连通性以及各维拓扑空洞的持久存在。
• 在泊松情形下，极限过程弱收敛于时间变换了的齐次泊松过程，表明拓扑事件稀少且相互独立。
• 第 $k$ 个贝蒂数过程的期望收敛到一个确定性极限 $\mu_{k,\mathbb{R}^d}(t,t)$，该值刻画了 $k$-圈的期望数量。
• 余项 $R_{k,n}(t)$（代表高维单纯形的贡献）在 $n \to \infty$ 时期望趋于零，从而保证主项的收敛性。
• 通过矩收敛性和对泊松随机测度应用连续映射定理，建立了有限维分布的收敛性。