[论文解读] Collapsibility and vanishing of top homology in random simplicial complexes

Lior Aronshtam, Nathan Linial+2 more|arXiv (Cornell University)|Oct 7, 2010

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

一句话总结

本文研究了在 $(n-1)$-单纯形上构建的随机 $d$-维单纯复形中，可收缩性与上同调消失的阈值。结果表明，当 $c < \gamma_d = \Theta(\log d)$ 时，此类复形几乎必然可收缩为 $(d-1)$-复形或包含 $\partial\Delta_{d+1}$；当 $c > c_d = d+1 - \Theta(d/e^d)$ 时，上同调 $H_d(Y;\mathbb{F})$ 几乎必然非平凡，且 $\gamma_d$ 被猜想为可收缩性的精确阈值。

ABSTRACT

Let Y be a random d-dimensional subcomplex of the (n-1)-dimensional simplex S obtained by starting with the full (d-1)-dimensional skeleton of S and then adding each d-simplex independently with probability p=c/n. We compute an explicit constant gamma_d=Theta(log d) so that for c &lt; gamma_d such a random simplicial complex either collapses to a (d-1)-dimensional subcomplex or it contains the boundary of a (d+1)-simplex. We conjecture this bound to be sharp. In addition we show that there exists a constant gamma_d&lt; c_d c_d and a fixed field F, asymptotically almost surely H_d(Y;F) eq 0.

研究动机与目标

• 确定随机 $d$-维单纯复形在 $\Delta_{n-1}$ 上的阈值概率 $p = c/n$，使其从 $d$-可收缩转变为不可收缩。
• 在不包含 $\partial\Delta_{d+1}$ 的前提下，建立 $d$-可收缩性的精确阈值 $\gamma_d = \Theta(\log d)$，并猜想该阈值为紧致的。
• 改进上同调 $H_d(Y;\mathbb{F})$ 不消失的阈值上界，表明当 $c > c_d = d+1 - \Theta(d/e^d)$ 时，该性质几乎必然成立。
• 分析极小非 $d$-可收缩复形的结构及其在确定可收缩阈值中的作用。
• 比较 $d$-可收缩性与非平凡 $H_d$ 的阈值，提示二者可能不同。

提出的方法

• 将 $\gamma_d$ 定义为满足方程 $u_d(\gamma, x) = \exp(-\gamma(1-x)^d) - x = 0$ 在 $x < 1$ 处有解的最小 $\gamma$，由此得到 $\gamma_d = \log d + O(\log \log d)$。
• 使用随机 $d$-树过程与 Kruskal-Katona 定理，控制 $d$-坍缩后仍能保留的 $d$-单形数量。
• 应用二项分布的大偏差界，控制当 $c < \gamma_d$ 且 $Y \in \mathcal{F}_{n,d}$ 时，过多 $d$-单形在坍缩后仍存在的概率。
• 利用欧拉-庞加莱公式与同调代数，关联 $f_d(Y)$、$h_d(Y)$ 与复形的结构。
• 通过马尔可夫不等式与所有小子集 $\mathcal{G}$ 的并集界，控制坍缩后仍存在的 $d$-单形数量。
• 证明：任何具有少量 $d$-单形的非 $d$-可收缩复形必包含 $\partial\Delta_{d+1}$，从而获得一个条件性坍缩结果。

实验结果

研究问题

• RQ1 在避免 $\partial\Delta_{d+1}$ 的前提下，$\gamma_d = \Theta(\log d)$ 是否为随机 $d$-复形中 $d$-可收缩性的精确阈值？
• RQ2 非平凡 $H_d(Y;\mathbb{F})$ 的阈值 $c_d = d+1 - \Theta(d/e^d)$ 是否为真实阈值，或可进一步改进？
• RQ3 $d$-可收缩性与非平凡上同调的阈值是否不同？若不同，二者相距多远？
• RQ4 上同调 $H_d(Y;\mathbb{F}) \neq 0$ 的阈值是否依赖于域 $\mathbb{F}$ 的选择？
• RQ5 能否证明：尽管 $d$-可收缩性蕴含 $H_d = 0$，但具有平凡 $H_d$ 的随机复形通常并非 $d$-可收缩？

主要发现

• 当 $c < \gamma_d = \Theta(\log d)$ 时，随机 $d$-复形 $Y \in Y_d(n, c/n)$ 几乎必然可 $d$-收缩（前提是避免 $\partial\Delta_{d+1}$），其中 $\gamma_2 \approx 2.455$，$\gamma_3 \approx 3.089$，$\gamma_{100} \approx 7.555$。
• 该阈值 $\gamma_d$ 被猜想为 $d$-可收缩性的精确阈值，模拟结果支持其在 $d=2$ 时成立。
• 当 $c > c_d = d+1 - \Theta(d/e^d)$ 时，上同调 $H_d(Y;\mathbb{F})$ 几乎必然非平凡，改进了 Kozlov 结果中的上界。
• 复形 $Y$ 避免 $\partial\Delta_{d+1}$ 的概率为 $\exp(-c^{d+2}/(d+2)!)$，且随 $c$ 增大而迅速衰减。
• 任何具有 $O(n^d)$ 个 $d$-单形的非 $d$-可收缩复形必包含 $\partial\Delta_{d+1}$，这是关键的结构约束。
• 结果表明，$d$-可收缩性与非平凡 $H_d$ 具有不同的阈值，且 $d$-可收缩性是更强的条件。