[论文解读] Limit theorems for Betti numbers of random simplicial complexes

Matthew Kahle, Elizabeth Meckes|arXiv (Cornell University)|Sep 21, 2010

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

一句话总结

本文在三类随机单纯复形模型中建立了贝蒂数的泊松和正态逼近定理：Erdős-Rényi随机团复形、随机Vietoris-Rips复形和随机Čech复形。通过使用Stein方法和超图计数极限定理，证明了在稀疏和热力学区域中贝蒂数的中心极限定理，首次提供了这些拓扑不变量在期望值和阈值结果之外的极限分布。

ABSTRACT

There have been several recent articles studying homology of various types of random simplicial complexes. Several theorems have concerned thresholds for vanishing of homology, and in some cases expectations of the Betti numbers. However little seems known so far about limiting distributions of random Betti numbers. In this article we establish Poisson and normal approximation theorems for Betti numbers of different kinds of random simplicial complex: Erdős-Rényi random clique complexes, random Vietoris-Rips complexes, and random Čech complexes. These results may be of practical interest in topological data analysis.

研究动机与目标

• 在期望值和消失阈值之外，建立随机单纯复形中贝蒂数的极限分布。
• 将已知的同调阈值和期望贝蒂数结果扩展至包含渐近分布行为。
• 通过概率和组合技术分析随机几何复形（Rips和Čech）及团复形的拓扑复杂性。
• 通过表征随机复形中贝蒂数波动的理论基础，为拓扑数据分析提供支持。

提出的方法

• 应用Stein方法进行正态和泊松逼近，推导贝蒂数的极限定理。
• 使用超图计数极限定理，扩展Penrose关于几何随机图中子图计数的结果。
• 通过组合构造界定贝蒂数：将其与在$2k+3$个顶点上的最小连通图的子图计数相关联。
• 利用集中不等式，建立贝蒂数分布与泊松或正态极限之间的总变差距离界。
• 分析诱导子图计数的联合分布，以控制贝蒂数逼近中的误差项。
• 将随机几何图的技术适应至高维复形，特别是Rips和Čech复形。

实验结果

研究问题

• RQ1 当$n \to \infty$时，Erdős-Rényi随机团复形$X(n,p)$中贝蒂数$\beta_k$的极限分布是什么？
• RQ2 在热力学区域中，随机Vietoris-Rips和Čech复形中贝蒂数$\beta_k$的渐近行为如何？
• RQ3 能否使用超图计数技术，为随机几何复形中的贝蒂数建立泊松或正态逼近定理？
• RQ4 在何种条件下，归一化贝蒂数$\frac{\beta_k - \mathbb{E}[\beta_k]}{\sqrt{\mathrm{Var}[\beta_k]}}$收敛于标准正态分布？
• RQ5 欧氏空间中的结果在多大程度上可推广至黎曼流形？

主要发现

• 对于Erdős-Rényi随机团复形$X(n,p)$，当$n \to \infty$时，归一化贝蒂数$\frac{\beta_k - \mathbb{E}[\beta_k]}{\sqrt{\mathrm{Var}[\beta_k]}}$依分布收敛于标准正态$\mathcal{N}(0,1)$，从而确立了中心极限定理。
• 对于随机Čech和Vietoris-Rips复形，当$n^2 r_n^d \to \infty$时，在适当缩放下，$k \geq 1$的贝蒂数$\beta_k$满足中心极限定理。
• 在稀疏区域中，$o_k + g_{2k+3}$的分布与均值为$\mathbb{E}[o_k + g_{2k+3}]$的泊松随机变量之间的总变差距离被界为$c \alpha_n r_n^d$，从而表明泊松逼近成立。
• 能够扩展一个$k$-维面的$2k+3$个顶点上的最小连通图的数量，其上界为仅依赖于$k$的固定常数，从而实现对贝蒂数界中误差项的控制。
• 对于$k=1$，误差项$f_1^{\geq 5}$被界为$4(t_1 + t_2 + t_3)$，其中$t_i$表示五个顶点上三种同构类型的树的计数，从而可通过子图计数实现逼近。
• 结果可推广至一般的黎曼流形，表明其在拓扑数据分析中具有更广泛的应用潜力，超越欧氏空间。