[论文解读] Randomly Weighted $d-$complexes: Minimal Spanning Acycles and Persistence Diagrams

Primož Škraba, Gugan Thoppe+1 more|arXiv (Cornell University)|Jan 1, 2017

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

一句话总结

本文在随机加权 $d$-复形中建立了最小生成环（MSA）与持久性图之间的基本等价关系，证明 MSA 的面权重恰好对应于持久性图中的死亡时间。此外，本文进一步表明，在平均场扰动模型下，极值面权重、MSA 权重与死亡时间联合收敛至一个非齐次泊松点过程，从而完全刻画了这些结构在高维随机复形中的极值行为。

ABSTRACT

A weighted $d-$complex is a simplicial complex of dimension $d$ in which each face is assigned a real-valued weight. We derive three key results here concerning persistence diagrams and minimal spanning acycles (MSAs) of such complexes. First, we establish an equivalence between the MSA face-weights and \emph{death times} in the persistence diagram. Next, we show a novel stability result for the MSA face-weights which, due to our first result, also holds true for the death and birth times, separately. Our final result concerns a perturbation of a mean-field model of randomly weighted $d-$complexes. The $d-$face weights here are perturbation of some i.i.d. distribution while all the lower-dimensional faces have a weight of $0$. If the perturbations decay sufficiently quickly, we show that suitably scaled extremal nearest face-weights, face-weights of the $d-$MSA, and the associated death times converge to an inhomogeneous Poisson point process. This result completely characterizes the extremal points of persistence diagrams and MSAs. The point process convergence and the asymptotic equivalence of three point processes are new for any weighted random complex model, including even the non-perturbed case. Lastly, as a consequence of our stability result, we show that Frieze's $ζ(3)$ limit for random minimal spanning trees and the recent extension to random MSAs by Hino and Kanazawa also hold in suitable noisy settings.

研究动机与目标

• 建立加权 $d$-复形中最小生成环（MSA）与持久性图之间的严格联系。
• 分析在平均场模型下随机加权 $d$-复形中面权重与死亡时间的极值行为。
• 通过稳定性与扰动理论，将经典结果如 Frieze 的 $\zeta(3)$ 极限定理推广至含噪声的高维设置。
• 利用点过程收敛性，表征持久性图与 MSA 中最极端特征的极限分布。

提出的方法

• 引入单纯形版本的 Kruskal 算法，用于在 $d$-复形中计算最小生成环。
• 通过逐步构造与同调对偶性，建立 MSA 面权重与持久性图中死亡时间之间的等价关系。
• 提出一种 MSA 面权重的新稳定性结果，该结果可推广至持久性图中的出生时间与死亡时间。
• 分析一种扰动的平均场模型，其中 $d$-面权重为基分布的独立同分布扰动，而低维面固定为零权重。
• 使用弱收敛技术，证明适当缩放后的极值面权重与死亡时间收敛至非齐次泊松点过程。
• 运用上同调工具与组合论证（例如 $g_{\sigma,\sigma'}$ 生成元）来控制贝蒂数并调控复形中孤立的 $d$-面。

实验结果

研究问题

• RQ1 加权 $d$-复形中的最小生成环与复形的持久性图之间有何关系？
• RQ2 在平均场扰动模型下，随机加权 $d$-复形中最极端面权重的极限分布是什么？
• RQ3 经典 Frieze 的 $\zeta(3)$ 结果能否推广至高维复形与含噪声的设置？
• RQ4 MSA 的极值面权重、持久性图中的死亡时间以及最近邻面权重是否联合收敛于同一分布？
• RQ5 在临界随机阈值下，随机 $d$-复形中孤立 $d$-面的数量的渐近行为如何？

主要发现

• 最小生成环的面权重恰好等于加权 $d$-复形持久性图中的死亡时间。
• MSA 面权重的新稳定性结果意味着持久性图中出生时间与死亡时间也具有稳定性。
• 在具有衰减扰动的平均场扰动模型下，适当缩放后的极值面权重、MSA 权重与死亡时间联合收敛至非齐次泊松点过程。
• 三种不同点过程——极值面权重、MSA 权重与死亡时间——的联合收敛是此类加权随机复形模型中的新发现。
• 极限点过程完全刻画了该类随机复形中持久性图与 MSA 的极值特征。
• 由于稳定性结果，Frieze 的 $\zeta(3)$ 极限定理及其近期由 Hino 与 Kanazawa 扩展至随机 MSA 的结果在合适的含噪声设置下依然成立。