[论文解读] Betti Numbers of Gaussian Excursions in the Sparse Regime

Gugan Thoppe, Sunder Ram Krishnan|arXiv (Cornell University)|Jul 29, 2018

Topological and Geometric Data Analysis参考文献 25被引用 3

一句话总结

本文首次对稀疏区域中高斯场超越集的贝蒂数——量化连通分量与空洞的拓扑不变量——进行了全面分析。通过使用Čech复形建模超越集，并结合极值理论与组合拓扑学，作者推导出贝蒂数的极限定理，包括相变、泊松近似以及临界阈值附近的中心极限定理，且在协方差结构上仅作最小假设。

ABSTRACT

Random field excursions is an increasingly vital topic within data analysis in medicine, cosmology, materials science, etc. This work is the first detailed study of their Betti numbers in the so-called `sparse' regime. Specifically, we consider a piecewise constant Gaussian field whose covariance function is positive and satisfies some local, boundedness, and decay rate conditions. We model its excursion set via a Cech complex. For Betti numbers of this complex, we then prove various limit theorems as the window size and the excursion level together grow to infinity. Our results include asymptotic mean and variance estimates, a vanishing to non-vanishing phase transition with a precise estimate of the transition threshold, and a weak law in the non-vanishing regime. We further obtain a Poisson approximation and a central limit theorem close to the transition threshold. Our proofs combine extreme value theory and combinatorial topology tools.

研究动机与目标

• 为稀疏区域中高斯场超越集的贝蒂数提供首次详细研究。
• 建立通过Čech复形建模的超越集贝蒂数的渐近均值与方差估计。
• 精确识别稀疏区域中从零到非零贝蒂数的相变阈值。
• 在临界阈值附近推导贝蒂数的弱大数定律、泊松近似与中心极限定理。
• 在协方差衰减的最小假设下，将拓扑数据分析工具扩展至稀疏高斯场。

提出的方法

• 使用Čech复形对定义在离散格点上的分段常数、零均值、平稳高斯场的超越集进行建模。
• 利用组合拓扑工具，通过格点上的局部统计量近似复形的贝蒂数。
• 应用Stein-Chen方法控制极端场值中的罕见事件。
• 利用Slepian引理与Savage的多变量高斯尾部估计，界定场最大值的尾部概率。
• 通过将极值理论与协方差矩阵的谱界相结合，建立贝蒂数分布的收敛速度。
• 利用持久同调中的拓扑稳定性论证，将近似统计量的结果传递至真实的贝蒂数。

实验结果

研究问题

• RQ1 在稀疏区域中，高斯场高阶超越集的贝蒂数βk的渐近行为如何？
• RQ2 当窗口大小与超越水平增长时，k维空洞的期望数量从消失变为非消失的阈值在何处？
• RQ3 在临界阈值附近，贝蒂数的行为如何？是否可被泊松或正态分布近似？
• RQ4 在非消失区域中，贝蒂数的均值与方差的收敛速率精确为何？
• RQ5 在协方差函数的弱假设下（如可积性而非指数衰减），这些结果在多大程度上仍成立？

主要发现

• 论文精确推导出稀疏区域中贝蒂数从零到非零的相变阈值，该阈值由协方差衰减速率与场水平决定。
• 推导出贝蒂数βk的渐近均值与方差估计，表明在适当缩放下收敛至非退化极限。
• 在非消失区域中证明了贝蒂数的弱大数定律，确认其围绕极限均值的集中性。
• 在临界阈值附近，对孤立连通分量（β0）的数量建立了泊松近似，表明其具有罕见事件行为。
• 在相变附近推导出贝蒂数的中心极限定理，验证了临界窗口内高斯波动的合理性。
• 结果在最小假设下成立：协方差函数为正、局部有界且可积，无需指数衰减要求。