[论文解读] Packing Hamilton Cycles in Random and Pseudo-Random Hypergraphs

Alan Frieze, Michael Krivelevich|arXiv (Cornell University)|Mar 9, 2010

Limits and Structures in Graph Theory参考文献 8被引用 4

一句话总结

该论文为随机和伪随机k-一致超图中几乎全部边的打包问题建立了充分条件，使其可分解为类型ℓ的边不相交哈密顿圈，其中1 ≤ ℓ ≤ k且ℓ ≤ k ≤ 2ℓ。通过概率方法与基于度数的正则性条件，作者证明：当边概率p ≫ log²n/n时，whp H(n,p,k) 包含(1−o(1))·(n choose k)·p/νℓ个此类圈，将先前关于随机图中哈密顿圈打包的结果推广至超图情形，并对圈结构与边不相交性实现了精确控制。

ABSTRACT

We say that a $k$-uniform hypergraph $C$ is a Hamilton cycle of type $\ell$, for some $1\le \ell \le k$, if there exists a cyclic ordering of the vertices of $C$ such that every edge consists of $k$ consecutive vertices and for every pair of consecutive edges $E_{i-1},E_i$ in $C$ (in the natural ordering of the edges) we have $|E_{i-1}-E_i|=\ell$. We prove that for $\ell \le k\le 2\ell$, with high probability almost all edges of a random $k$-uniform hypergraph $H(n,p,k)$ with $p(n)\gg \log^2 n/n$ can be decomposed into edge disjoint type $\ell$ Hamilton cycles. We also provide sufficient conditions for decomposing almost all edges of a pseudo-random $k$-uniform hypergraph into type $\ell$ Hamilton cycles, for $\ell \le k\le 2\ell$. For the case $\ell=k$ these results show that almost all edges of corresponding random and pseudo-random hypergraphs can be packed into disjoint perfect matchings.

研究动机与目标

• 将哈密顿圈打包理论从随机图推广至随机和伪随机k-一致超图。
• 定义并分析k-一致超图中类型ℓ的哈密顿圈，其中连续边恰好在ℓ个顶点上相交。
• 建立基于顶点度数与共度数正则性的充分条件，以实现几乎全部边分解为边不相交的类型ℓ哈密顿圈。
• 提供确保此类打包whp成立的边概率p(n)的紧致界，尤其针对ℓ ≥ k/2的情形。
• 将先前关于随机图中哈密顿圈打包的结果推广至超图情形，包括ℓ = k（完美匹配）的情形。

提出的方法

• 将k-一致超图中的类型ℓ哈密顿圈定义为一个循环边序列，其中每条边由k个连续顶点构成，且连续边恰好在ℓ个顶点上相交。
• 基于随机超图中的期望度数，引入关于大小为2(k−ℓ)、2ℓ−k等的顶点集的最小与最大度数的正则性条件（Pa–Pf）。
• 利用切尔诺夫不等式与鞅集中不等式，证明随机与伪随机超图whp满足这些正则性条件。
• 通过随机划分与标记构造边不相交的哈密顿圈：将顶点集划分为若干部分，根据边在随机子结构中的包含关系为边分配标签，并利用正则性保证标记图中存在哈密顿圈。
• 将定理1（关于(α,ε)-正则图中哈密顿圈打包）应用于标记子图Gi，推导出边不相交圈数量的下界。
• 证明在给定的p(n)与ǫ条件下，所得圈为边不相交且覆盖了(1−o(1))的总边集。

实验结果

研究问题

• RQ1 对于ℓ ≤ k ≤ 2ℓ，随机k-一致超图H(n,p,k)中，whp将几乎全部边打包为边不相交的类型ℓ哈密顿圈的临界边概率p(n)是多少？
• RQ2 伪随机k-一致超图的度数与共度数分布若满足何种充分条件，可保证其边几乎完全打包为类型ℓ哈密顿圈？
• RQ3 类型ℓ哈密顿圈的结构——即连续边之间ℓ维交集——如何影响此类打包的可行性与密度？
• RQ4 在稀疏情形（即o(n^k)条边存在时），用于随机图的技术在多大程度上可推广至超图？
• RQ5 为使此类打包whp成立，p(n)与正则性参数ε的最紧致界是什么？

主要发现

• 当ℓ ≤ k ≤ 2ℓ且p(n) ≫ log²n/n时，whp H(n,p,k) 包含(1−o(1))·(n choose k)·p/νℓ个边不相交的类型ℓ哈密顿圈。
• 此类圈的数量渐近最优，因其覆盖了(1−o(1))的总边集。
• 当ℓ = k时，结果表明whp H(n,p,k) 的几乎全部边可打包为边不相交的完美匹配。
• 伪随机超图的充分条件（Pa–Pf）在随机超图中whp成立，使结果适用于两类模型。
• 该方法依赖于随机划分与标记，随后将定理1应用于子图Gi，通过正则性确保哈密顿圈的存在。
• 分析使用了集中不等式（切尔诺夫不等式与鞅型论证），以验证标记子图Gi为(α,ε)-正则，从而支持圈的打包。