[论文解读] Persistent Betti numbers of random Čech complexes

Ulrich Bauer, Florian Pausinger|arXiv (Cornell University)|Jan 25, 2018

Topological and Geometric Data Analysis参考文献 6被引用 5

一句话总结

该论文通过泊松点过程模型，在亚临界 regime 下建立了随机 Čech 复形的第 k 个持久 Betti 数的渐近阶。通过推广 Penrose 对随机几何图的方法并应用 Palm 理论，证明了期望持久 Betti 数的尺度为 $\Theta(n^m r_n^{d(m-1)})$，其中 $m = k+1$，作为普通 Betti 数结果的特例，恢复了 Kahle 的结论。

ABSTRACT

We study the persistent homology of random Čech complexes. Generalizing a method of Penrose for studying random geometric graphs, we first describe an appropriate theoretical framework in which we can state and address our main questions. Then we define the kth persistent Betti number of a random Čech complex and determine its asymptotic order in the subcritical regime. This extends a result of Kahle on the asymptotic order of the ordinary kth Betti number of such complexes to the persistent setting.

研究动机与目标

• 将 Kahle 关于普通 Betti 数的结果扩展到随机 Čech 复形的持久同调设置。
• 通过泊松点过程建立分析随机几何复形中持久同调的理论框架。
• 确定在亚临界 regime 下，第 k 个持久 Betti 数的期望值的渐近增长速率。
• 通过刻画随机点集中持久同调的特性，弥合拓扑数据分析与概率零模型之间的差距。
• 为研究临界及其他参数 regime 下的持久 Betti 数奠定基础。

提出的方法

• 通过 $\mathbb{R}^d$ 中强度为 $nf(x)$ 的泊松点过程建模随机 Čech 复形，其中 $f$ 是有界的概率密度。
• 将第 k 个 $\vartheta$-持久 Betti 数 $\beta_k^\vartheta(\mathcal{P}_n, r_n)$ 定义为 Čech 复形过滤中持久同调的秩。
• 应用 Palm 理论（定理 1.1）计算与持久圈相关的有限几何子集性质的期望计数。
• 使用几何子集性质 $\Upsilon_{r,p}^{\vartheta,k}$ 识别支持非平凡 $\vartheta$-持久 $k$-圈的最小顶点集。
• 通过组合计数和 $\operatorname{RelativeCount}(\Upsilon, \mathcal{P}_n)$ 的渐近分析，推导下界与上界，从而得出 $\Theta(n^m r_n^{d(m-1)})$ 的尺度。
• 通过结合下界（推论 3.6）与上界（引理 4.1）建立渐近阶，其中 $m = k+1$。

实验结果

研究问题

• RQ1 在亚临界 regime 下，随机 Čech 复形的第 k 个持久 Betti 数的期望值的渐近阶是什么？
• RQ2 当点数 $n \to \infty$ 且半径 $r_n$ 满足 $r_n^d n \to 0$ 时，随机点集的持久同调行为如何？
• RQ3 Penrose 用于随机几何图的方法能否推广到持久同调和几何子集性质？
• RQ4 在随机 Čech 复形中，支持非平凡 $\vartheta$-持久 $k$-圈所需的最小顶点数是多少？
• RQ5 在亚临界 regime 下，期望持久 Betti 数如何随 $n$ 和 $r_n$ 变化？

主要发现

• 在亚临界 regime 下，第 $k$ 个 $\vartheta$-持久 Betti 数的期望值 $E(\beta_k^\vartheta(\mathcal{P}_n, r_n))$ 属于 $\Theta(n^m r_n^{d(m-1)})$，其中 $m = k+1$。
• 下界 $E(\beta_k^\vartheta(\mathcal{P}_n, r_n)) \in \Omega(n^m r_n^{d(m-1)})$ 来源于支持在最小顶点集上的持久圈的线性无关性。
• 上界 $E(\beta_k^\vartheta(\mathcal{P}_n, r_n)) \in \mathcal{O}(n^m r_n^{d(m-1)})$ 通过组合计数和渐近分析限制此类圈的数量而得出。
• 该结果将 Kahle 关于普通 Betti 数的渐近结果推广到持久设置，在 $\vartheta = 1$ 时作为特例恢复了其结论。
• 分析表明，$m$-顶点构型在渐近阶中占主导地位，提示 $c_{m,k}^\vartheta = 1$ 可能成立，尽管这仍是猜想。
• 该框架可扩展至其他系数环（如整数系数），只需适当重新定义持久圈和 Betti 数。