[论文解读] The self-similar evolution of stationary point processes via persistent homology

Daniel J. Spitz, Anna Wienhard|arXiv (Cornell University)|Dec 10, 2020

Topological and Geometric Data Analysis被引用 7

一句话总结

本文通过持久同调方法，为平稳点过程的持久图谱建立了一个自相似标度框架，证明了标度指数之间的填充关系：在参数区间扩展的极限下，测度密度的标度指数（$\eta_2$）等于持久图谱坐标标度指数（$\eta_1$）的 $n$ 倍，即 $\eta_2 = n\eta_1$。该结果将持久贝蒂数的大数定律从立方平均推广至平衡凸平均序列，并为随机空间过程的拓扑数据分析中的自相似标度提供了严格的数学基础。

ABSTRACT

Persistent homology provides a robust methodology to infer topological structures from point cloud data. Here we explore the persistent homology of point clouds embedded into a probabilistic setting, exploiting the theory of point processes. We introduce measures on the space of persistence diagrams and the self-similar scaling of a one-parameter family of these. As the main result we prove a packing relation between the occurring scaling exponents.

研究动机与目标

• 在平稳且遍历点过程的背景下，形式化一维参数族持久图谱期望测度的自相似标度。
• 将持久贝蒂数的大数定律从立方平均推广至平衡凸平均序列。
• 建立随机空间结构的拓扑数据分析中自相似标度的严格数学框架，其动机源于量子物理中的应用。
• 证明控制持久图谱测度在标度变换下演化的标度指数 $\eta_1$ 与 $\eta_2$ 之间的普遍填充关系。

提出的方法

• 将持久图谱期望测度引入为在空间 $\Delta = \{(b,d) \in \mathbb{R}^2 \mid b < d\}$ 上的Radon测度，其来源于平稳且遍历的点过程。
• 通过变换 $\mathfrak{p}(t,A)(B) = (t/t')^{-\eta_2} \mathfrak{p}(t',A)((t/t')^{-\eta_1}B)$ 定义此类测度的一维参数族的自相似标度，其中 $t,t' \in (T_0,T_1)$。
• 应用有界总持久性理论 [CSEHM10] 的结果，推导出连接标度指数 $\eta_1$ 与 $\eta_2$ 的拓扑约束。
• 利用遍历性与体积平均收敛性，将持久贝蒂数的大数定律推广至满足平衡性条件的凸平均序列。
• 采用凸集的立方镶嵌，并通过估计不同区域间贝蒂数计数的差异来控制收敛速率。
• 证明体积平均的贝蒂数密度收敛意味着持久图谱测度收敛至 $\Delta$ 上唯一的Radon极限。

实验结果

研究问题

• RQ1 在何种条件下，平稳且遍历点过程的持久图谱期望测度存在？
• RQ2 持久图谱测度的自相似标度如何与 $\mathbb{R}^n$ 中底层点过程的几何标度相关联？
• RQ3 持久贝蒂数的大数定律能否从立方平均推广至其他凸平均序列？
• RQ4 自相似持久图谱测度族中，标度指数 $\eta_1$ 与 $\eta_2$ 之间存在何种普遍关系？
• RQ5 在参数区间扩展的极限下，标度指数 $\eta_2$ 何时等于 $n\eta_1$？

主要发现

• 持久图谱期望测度的自相似标度满足普遍填充关系：在足够长的参数区间 $(T_0, T_1)$ 下，有 $\eta_2 = n\eta_1$。
• 在点过程满足遍历性与有限矩条件时，持久图谱期望测度的存在性得以保证。
• 对于任意满足平衡性的凸平均序列，持久贝蒂数的大数定律成立，该结果将先前仅限于立方体的结果加以推广。
• 贝蒂数密度的体积平均收敛至极限，意味着相关持久图谱测度收敛至 $\Delta$ 上唯一的Radon测度。
• 对于平衡凸集 $A_k$，已证明归一化贝蒂数计数 $\psi(A_k)/\lambda_n(A_k)$ 收敛至常数 $\hat{\beta}^{r,s}_\ell$。
• 该证明依赖于通过在对称差集中对单纯形计数的估计，控制重叠区域间贝蒂数计数的差异，同时利用了遍历性与体积标度的性质。