[论文解读] Edge-disjoint Hamilton cycles in random graphs

Fiachra Knox, Daniela Kühn+1 more|arXiv (Cornell University)|Apr 22, 2011

Limits and Structures in Graph Theory参考文献 21被引用 13

一句话总结

本文证实了 Frieze 和 Krivelevich 的一个猜想：对于满足 $ \log^{50}n/n \leq p \leq 1 - n^{-1/4}\log^9n $ 的随机图 $ G_{n,p} $，以高概率，图中包含 $ \lfloor \delta(G)/2 \rfloor $ 条边不相交的哈密顿回路，若 $ \delta(G) $ 为奇数，则额外包含一条最优匹配。该结果通过证明一种确定性的伪随机性条件足以实现此类分解，并验证该条件在指定 $ p $ 范围内以高概率成立而获得。

ABSTRACT

We show that provided $\log^{50} n/n \leq p \leq 1 - n^{-1/4}\log^9 n$ we can with high probability find a collection of $\lfloor δ(G)/2 floor$ edge-disjoint Hamilton cycles in $G \sim G_{n, p}$, plus an additional edge-disjoint matching of size $\lfloor n/2 floor$ if $δ(G)$ is odd. This confirms, for the above range of $p$, a conjecture of Frieze and Krivelevich.

研究动机与目标

• 解决关于随机图中边不相交哈密顿回路打包的长期猜想。
• 证明对于广泛的边概率 $ p $，随机图 $ G_{n,p} $ 以高概率具有性质 $ \mathcal{H} $，其定义为 $ \lfloor \delta(G)/2 \rfloor $ 条边不相交的哈密顿回路，若 $ \delta(G) $ 为奇数则额外包含一条最优匹配。
• 建立一个图具有性质 $ \mathcal{H} $ 的确定性充分条件（即伪随机性与近似正则性），并验证该条件在给定 $ p $ 范围内以高概率在 $ G_{n,p} $ 中成立。
• 通过填补此前在 $ p $ 范围内完全保证边不相交分解的空白，扩展了关于随机图中哈密顿回路打包的已有结果。

提出的方法

• 证明一个确定性定理（定理 48），表明任何满足特定伪随机性条件且足够接近正则的图均具有性质 $ \mathcal{H} $。
• 将 $ G_{n,p} $ 分解为多个子图 $ G_0, G_1, \dots, G_5 $，其边概率递减，以控制局部度数和边的分布。
• 通过迭代应用引理 47 和推论 27，在连续的子图中构造边不相交的哈密顿回路，确保覆盖高阶顶点。
• 应用引理 22 在首个子图 $ G_1' $ 中构造一个正则的支撑子图 $ H_1 $，确保所有与最小度顶点 $ x_0 $ 相连的边均被保留。
• 使用推论 46 将最终的残留图分解为 2-因子，其连通分量数量有界，从而支持最终的回路构造。
• 验证在给定 $ p $ 范围内，伪随机性和度数条件在 $ G_{n,p} $ 中以高概率成立，尤其依赖于集中不等式和度数界。

实验结果

研究问题

• RQ1 当 $ \log^{50}n/n \leq p \leq 1 - n^{-1/4}\log^9n $ 时，$ G_{n,p} $ 是否以高概率包含 $ \lfloor \delta(G)/2 \rfloor $ 条边不相交的哈密顿回路？
• RQ2 一个确定性的伪随机性条件是否足以保证图中存在 $ \lfloor \delta(G)/2 \rfloor $ 条边不相交的哈密顿回路，即使图并非正则图？
• RQ3 性质 $ \mathcal{H} $ 所保证的最优匹配是否总能实现为覆盖最小度顶点的形式？
• RQ4 边不相交哈密顿回路的构造能否扩展到 $ \delta(G) \approx np $ 的整个 $ p $ 范围，特别是在 $ p $ 不过小也不过大的情况下？
• RQ5 使得 $ G_{n,p} $ 以高概率具备近乎完整的哈密顿分解（即覆盖除可忽略的边数外的所有边）的最小 $ p $-阈值是多少？

主要发现

• 当 $ \log^{50}n/n \leq p \leq 1 - n^{-1/4}\log^9n $ 时，以高概率 $ G_{n,p} $ 包含 $ \lfloor \delta(G)/2 \rfloor $ 条边不相交的哈密顿回路，从而在该范围内证实了 Frieze-Krivelevich 猜想。
• 该构造确保若 $ \delta(G) $ 为奇数，则额外的最优匹配（大小为 $ \lfloor n/2 \rfloor $）可被选择为覆盖最小度顶点，从而覆盖其所有关联边。
• 证明建立了图具有性质 $ \mathcal{H} $ 的确定性充分条件（定理 48），基于伪随机性与近似正则性，该条件在给定 $ p $ 范围内以高概率在 $ G_{n,p} $ 中成立。
• 最终 2-因子分解中连通分量的数量满足 $ c(\mathcal{F}) \leq 3n\sqrt{np_4\log^3 n} $，该值被证明足够小，足以支持最终的回路构造。
• 该结果对构造中省略一次迭代具有鲁棒性，表明通过微小改进，$ p $ 的下限可提升至约 $ \log^{30}n/n $。
• 分析表明，$ \log^{50}n/n $ 下限的全部强度仅用于确保两个关键不等式（33）和（34）的有效性，而这两个不等式控制了迭代过程中残留图的增长。