[论文解读] Limit theorems for persistence diagrams

Trinh Khanh Duy, Yasuaki Hiraoka+1 more|arXiv (Cornell University)|Dec 26, 2016

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

一句话总结

该论文为 $\mathbb{R}^N$ 上平稳点过程的持久图建立了极限定理，证明了当观测窗口扩大时，归一化持久图几乎必然收敛到一个确定的极限图。此外，论文还给出了极限图具有满支撑的充分条件，并建立了持久贝蒂数的中心极限定理，推动了随机拓扑结构在随机几何中理解的进展。

ABSTRACT

The persistent homology of a stationary point process on ${\bf R}^N$ is studied in this paper. As a generalization of continuum percolation theory, we study higher dimensional topological features of the point process such as loops, cavities, etc. in a multiscale way. The key ingredient is the persistence diagram, which is an expression of the persistent homology. We prove the strong law of large numbers for persistence diagrams as the window size tends to infinity and give a sufficient condition for the limiting persistence diagram to have the full support. We also discuss a central limit theorem for persistent Betti numbers.

研究动机与目标

• 研究 $\mathbb{R}^N$ 上平稳点过程生成的持久图的渐近行为。
• 将连续渗滤理论扩展到更高维度的拓扑特征，如环路和空腔。
• 为持久图和持久贝蒂数建立极限定理——具体而言，是大数定律和中心极限定理。
• 提供极限持久图具有满支撑的条件，以确保极限中具有丰富的拓扑结构。
• 通过利用持久图分析多尺度拓扑特征，弥合随机拓扑与随机几何之间的鸿沟。

提出的方法

• 作者分析了在增长窗口 $\Lambda_L = [-L/2, L/2)^N$ 上受限的平稳点过程 $\Phi_{\Lambda_L}$ 所构建的 Čech 复形。
• 他们将持久图用作 Čech 复形持久同调的多尺度总结，追踪尺度参数 $r \geq 0$ 下拓扑特征的出生与死亡。
• 通过证明在 $\Phi$ 满足遍历性和矩条件时，随着 $L \to \infty$，归一化持久图几乎必然收敛到一个确定的极限图，从而证明了大数定律。
• 基于点过程的强度和相关结构，推导出极限图具有满支撑的充分条件。
• 对于中心极限定理，他们分析了持久贝蒂数 $\beta_q(C(\Phi_{\Lambda_L}, r))$ 相对于其均值的波动，证明在适当归一化后收敛到正态分布。
• 他们利用持久图的稳定性结果，特别是瓶颈距离，以控制图对点配置扰动的敏感性。

实验结果

研究问题

• RQ1 当观测窗口扩展至无穷大时，平稳点过程的持久图是否几乎必然收敛到一个确定的极限？
• RQ2 在何种条件下，极限持久图在持久图空间中具有满支撑？
• RQ3 对于平稳点过程，持久贝蒂数 $\beta_q$ 在期望和分布上的渐近行为如何？
• RQ4 能否为基于平稳点过程构建的随机 Čech 复形的持久贝蒂数建立中心极限定理？
• RQ5 持久图在点过程扰动下的稳定性如何与极限图的收敛性相关？

主要发现

• 在遍历性和有限矩条件下，当窗口大小 $L \to \infty$ 时，平稳点过程的归一化持久图几乎必然收敛到一个确定的极限图。
• 给出了极限持久图具有满支撑的充分条件，该条件依赖于底层点过程的强度和相关结构。
• 期望持久贝蒂数 $\mathbb{E}[\beta_q(C(\Phi_{\Lambda_L}, r))]$ 随 $L^N$ 线性增长，且归一化后的期望收敛到一个常数 $\hat{\beta}_q^r \geq 0$。
• 对于单位强度的齐次泊松点过程，经过 $L^{N/2}$ 缩放后，$\beta_q(C(\Phi_{\Lambda_L}, r))$ 的归一化波动在分布上收敛到一个正态随机变量。
• 证明了持久图之间的瓶颈距离在点过程的小扰动下是稳定的，其界依赖于 Hausdorff 距离和过滤函数的连续性。
• 建立了连续性结果：若过滤函数关于 Hausdorff 距离是 Lipschitz 连续的，则持久图之间的瓶颈距离受 Lipschitz 常数与点集之间 Hausdorff 距离的乘积有界。