[论文解读] The homotopical dimension of random 2-complexes

Daniel C. Cohen, Michael Färber+1 more|arXiv (Cornell University)|May 19, 2010

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

一句话总结

本文在Linial–Meshulam模型中建立了随机2-复形同伦维数的精确阈值。当边概率 $ p \ll n^{-1 - \epsilon} $ 时，随机2-复形几乎必然在有限步内坍缩为图，意味着第二同调群平凡且基本群自由。反之，当 $ p \gg n^{-1 - 1/(3 \cdot 2^{k-1} - 1)} $ 时，几乎必然无法在 $ k $ 步内坍缩，揭示了在二维阈值下坍缩性与同伦维数的相变现象。

ABSTRACT

In this paper we study the Linial-Meshulam model of random two-dimensional complexes. We prove that a random 2-complex is homotopically one dimensional, with probability tending to one as n tends to infitnity, assuming that the probability parameter p satisfies pn --> 0.

研究动机与目标

• 确定随机2-复形在Linial–Meshulam模型中从同伦2维降至同伦1维的阈值概率 $ p $。
• 刻画随机2-复形在有限步内坍缩为图的坍缩性，将其与同伦维数及同调不变量如 $ H_2 $ 和 $ \pi_1 $ 联系起来。
• 识别阻碍 $ k $ 步坍缩的禁止子复形 $ \mathcal{L}_{k,r} $，并利用它们推导概率阈值。
• 在随机2-复形模型中建立第二同调群消失与基本群自由性的精确渐近阈值。

提出的方法

• 作者使用有限个禁止2-复形 $ \mathcal{L}_{k,r} $，使得一个2-复形当且仅当不包含其中任一子复形时，可在 $ k $ 步内坍缩为图。
• 他们应用[CFK10]中的嵌入概率结果，以确定这些禁止复形何时出现在随机2-复形 $ Y \in G(\Delta_n^{(2)}, p) $ 中。
• 该方法依赖于阈值指数 $ \tilde{\mu}_{k,r} $ 的概念，其定义为所有 $ S \in \mathcal{L}_{k,r} $ 的 $ \mu(S) $ 的下确界，其中对平衡复形有 $ \mu(S) = 1 + \frac{1}{f(S)/v(S) - 1} $。
• 对于复形 $ S $，通过其子复形中的顶点-面比计算 $ \mu(S) $，且 $ \tilde{\mu}_{k,r} $ 满足下界 $ 1 + \frac{1}{3 \cdot 2^{k-1} - 1} $，该下界由曲面 $ S_k $ 导出。
• 证明利用了如下事实：若 $ p \ll n^{-\tilde{\mu}_{k,r}} $，则 $ Y $ 几乎必然不包含任何 $ S \in \mathcal{L}_{k,r} $，因此是 $ k $ 步坍缩的。
• 反之，若 $ p \gg n^{-\tilde{\mu}_{k,r}} $，则 $ Y $ 几乎必然包含至少一个 $ S \in \mathcal{L}_{k,r} $，因此不是 $ k $ 步坍缩的。

实验结果

研究问题

• RQ1 随机2-复形的同伦维数从2降至1的阈值在何处？
• RQ2 在何种 $ p $ 条件下，随机2-复形几乎必然在 $ k $ 步内坍缩为图？
• RQ3 使得 $ Y $ 几乎必然不是 $ k $ 步坍缩的最小 $ p $ 是多少？
• RQ4 在 $ Y $ 为 $ k $ 步坍缩的区域中，同调不变量 $ H_2(Y;\mathbb{Z}) $ 和 $ \pi_1(Y) $ 如何表现？
• RQ5 曲面 $ S_k $ 在决定 $ k $ 步坍缩阈值中起什么作用？

主要发现

• 若 $ p \ll n^{-1 - 2/(k+1)} $，则随机2-复形 $ Y \in G(\Delta_n^{(2)}, p) $ 几乎必然在最多 $ k $ 步内坍缩为图。
• 当 $ p \gg n^{-1 - 1/(3 \cdot 2^{k-1} - 1)} $ 时，$ Y $ 几乎必然无法在 $ k $ 或更少步内坍缩为图。
• 曲面 $ S_k $ 拥有 $ v_k = 3 \cdot 2^k $ 个顶点和 $ f_k = 3 \cdot 2^k - 2 $ 个面，是平衡复形，且满足 $ \tilde{\mu}(S_k) = 1 + \frac{1}{3 \cdot 2^{k-1} - 1} $。
• 阈值指数 $ \tilde{\mu}_{k,r} $ 满足不等式 $ 1 + \frac{1}{3 \cdot 2^{k-1} - 1} \leq \tilde{\mu}_{k,r} \leq 1 + \frac{2}{k+1} $，且该结果对所有 $ r \geq 2 $ 成立。
• 当 $ p \ll n^{-1 - \epsilon} $ 时，$ Y $ 几乎必然为同伦1维，具有平凡的 $ H_2(Y;\mathbb{Z}) $ 和自由的 $ \pi_1(Y) $。
• 该结果改进了先前结果：当 $ p > 3/n $ 时，$ H_2(Y;\mathbb{Z}) $ 几乎必然非平凡，因此 $ Y $ 在该区域为同伦2维。