[论文解读] Homological Domination in Large Random Simplicial Complexes

A. Costa, Michael Färber|arXiv (Cornell University)|Mar 11, 2015

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

一句话总结

本文提出一种多参数随机单纯复形模型，其中每个单纯形维度独立地以概率参数保留。该文建立了一个同调支配原理，表明在由参数决定的特定维度 $k({f p})$ 处，贝蒂数在该维度占主导地位，且有强烈证据支持两个猜想：在维度低于 $k$ 时同调群消失，而在维度高于 $k$ 时同调群由边界为零度的面生成，所有结论均在渐近几乎必然（a.a.s.）条件下成立。

ABSTRACT

In this paper we state the homological domination principle for random multi-parameter simplicial complexes, claiming that the Betti number in one specific dimension (which is explicitly determined by the probability multi-parameter) significantly dominates the Betti numbers in all other dimensions. We also state and discuss evidence for two interesting conjectures which would imply a stronger version of the homological domination principle, namely that generically homology of a random simplicial complex coincides with that of a wedges of k-dimensional spheres. These two conjectures imply that under an additional assumption (specified in the paper) a random simplicial complex collapses to a k-dimensional complex homotopy equivalent to a wedge of spheres of dimension k.

研究动机与目标

• 开发一种灵活的、多参数的概率模型，用于随机单纯复形，其中每个维度的单纯形包含独立随机化。
• 理解大随机单纯复形的拓扑结构，特别是贝蒂数在各维度上的分布。
• 建立同调支配原理，识别出一个特定维度 $k({f p})$，使得该维度的贝蒂数显著主导所有其他维度。
• 为两个猜想提供证据：(A) 在维度低于 $k$ 时同调群几乎必然消失；(B) 在维度高于 $k$ 时同调群由边界零度面生成，所有结论均在 a.a.s. 条件下成立。

提出的方法

• 该模型通过在 $n$ 个顶点上独立地以概率 $p_i$ 包含 $i$-维单形，构建随机单纯复形，形成一个多参数概率空间 $\mathbb{P}_{r,{\mathfrak{p}}}$。
• 概率测度定义为 $\mathbb{P}_{r,{\mathfrak{p}}}(Y) = \prod_{i=0}^r p_i^{f_i(Y)} \cdot q_i^{e_i(Y)}$，其中 $f_i(Y)$ 表示复形 $Y$ 中 $i$-维单形的数量，$e_i(Y)$ 表示 $i$-维外部单形的数量。
• 复形的几何维度由映射 $\Phi(\alpha)$ 确定，其中 $\alpha_i = -\log_n p_i$，且 $\Phi(\alpha)_i = \alpha_i / (i+1)$，当 $\Phi(\alpha) \in \mathfrak{D}_k$ 时，复形几乎必然具有维度 $k$。
• 分析使用了零度面与边界零度面的概念：移除维度大于 $k$ 的边界零度面不会影响维度 $k$ 的贝蒂数，且此类移除可导致复形坍缩为 $k$-维复形。
• 论文应用谱方法与加拉尔德技术分析有理同调，并在林亚尔-梅舒拉姆模型与团复形模型等特例中验证了猜想。
• 证明了当 $\alpha \in \mathfrak{D}_k$ 时，复形 $Y$ 几乎必然具有几何维度 $k$，并通过与特殊模型中已知结果的一致性，支持了相关猜想。

实验结果

研究问题

• RQ1 在大随机单纯复形中，贝蒂数显著超过所有其他维度的主导维度 $k({\bf p})$ 是什么？
• RQ2 复形的约化整同调群在所有低于 $k({\bf p})$ 的维度中是否几乎必然消失？
• RQ3 在高于 $k({\bf p})$ 的维度中，同调群是否由边界零度面几乎必然生成？
• RQ4 是否可以通过移除维度大于 $k$ 的边界零度面，使复形几乎必然坍缩为 $k$-维子复形？
• RQ5 连通性与单连通性的阈值如何与参数域 $\mathfrak{D}_k$ 相关联？

主要发现

• 同调支配原理成立：当 $\alpha \in \mathfrak{D}_k$ 时，复形 $Y$ 中的贝蒂数 $\beta_k(Y)$ 几乎必然主导所有其他贝蒂数。
• 在林亚尔-梅舒拉姆模型（$r=2$，$p_0=1$，$p_1=1$，$p_2=n^{-\alpha_2}$）中，当 $\alpha_2 > 1$ 时，复形坍缩为图（即维度为1），而当 $\alpha_2 < 1$ 时，复形为二维，与 $\mathfrak{D}_1$ 和 $\mathfrak{D}_2$ 一致。
• 在团复形模型中（$p_0=1$，$p_1=n^{-\alpha_1}$，$p_i=1$ 对于 $i \geq 2$），域 $\mathfrak{D}_i$ 为 $\{ \frac{1}{i+1} < \alpha_1 < \frac{1}{i} \}$（$i=1,\dots,r-1$），且 $\mathfrak{D}_r = \{ \alpha_1 < 1/r \}$，已知结果支持相关猜想。
• 在林亚尔-梅舒拉姆情形中，猜想 A 得到证实：当 $\alpha \in \mathfrak{D}_1$ 时，复形几乎必然坍缩为图，意味着维度大于 1 的同调群平凡。
• 在林亚尔-梅舒拉姆情形中，猜想 B 得到支持：当 $\alpha \in \mathfrak{D}_2$ 时，约化整同调在维度 1 处消失，如文献 [13] 所示。
• 在团复形情形中，关于有理同调在低于 $k$ 时消失以及整同调在高于 $k$ 时消失的已知结果，分别与猜想 A 和 B 一致。