[论文解读] Proof of the 1-factorization and Hamilton decomposition conjectures I: the two cliques case

Daniela Kühn, Allan Lo+2 more|arXiv (Cornell University)|Jan 16, 2014

Limits and Structures in Graph Theory参考文献 26被引用 10

一句话总结

该论文证明了图论中三个长期存在的猜想对所有充分大的偶数 n 成立：1-因子分解猜想（每个 D-正则图满足 D ≥ 2⌈n/4⌉ − 1 可分解为完美匹配），哈密顿分解猜想（每个 D-正则图满足 D ≥ ⌊n/2⌋ 可分解为哈密顿圈及至多一个完美匹配），以及哈密顿圈的最优打包猜想（最小度 δ ≥ n/2 保证至少存在 (n−2)/8 条边不相交的哈密顿圈）。这些结果通过基于强扩张图和爆破引理的统一方法得以建立。

ABSTRACT

In this paper we prove the following results (via a unified approach) for all sufficiently large $n$: (i) [$1$-factorization conjecture] Suppose that $n$ is even and $D\geq 2\lceil n/4 ceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $\chi'(G)=D$. (ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 floor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching. (iii) [Optimal packings of Hamilton cycles] Suppose that $G$ is a graph on $n$ vertices with minimum degree $\delta\ge n/2$. Then $G$ contains at least ${ m reg}_{ m even}(n,\delta)/2 \ge (n-2)/8$ edge-disjoint Hamilton cycles. Here $ ext{reg}_{ ext{even}}(n,\delta)$ denotes the degree of the largest even-regular spanning subgraph one can guarantee in a graph on $n$ vertices with minimum degree $\delta$. (i) was first explicitly stated by Chetwynd and Hilton. (ii) and the special case $\delta= \lceil n/2 ceil$ of (iii) answer questions of Nash-Williams from 1970. All of the above bounds are best possible.

研究动机与目标

• 解决 1-因子分解猜想，即每个在 n 个顶点上且满足 D ≥ 2⌈n/4⌉ − 1 的 D-正则图均可分解为完美匹配。
• 证明哈密顿分解猜想，即每个满足 D ≥ ⌊n/2⌋ 的 D-正则图可分解为哈密顿圈及至多一个完美匹配。
• 建立最小度 δ ≥ n/2 的图中边不相交哈密顿圈的最优打包界限，证明至少存在 (n−2)/8 条这样的圈。
• 通过基于强扩张性和概率方法的统一框架，统一证明上述三个猜想。
• 提供最优界限，确认每个猜想中度条件的紧致性。

提出的方法

• 作者采用基于强扩张稠密图的统一方法，利用强扩张图理论控制图的全局连通性和扩张性质。
• 应用爆破引理将大子图（特别是哈密顿圈和完美匹配）嵌入图的强扩张核心中。
• 该方法涉及将图迭代分解为具有受控正则性的子图，使用概率和极值组合技术。
• 关键组成部分包括使用“强扩张图”以确保在顶点删除后仍保持扩张性，从而支持归纳分解。
• 证明依赖于稳定性型论证，将问题约化为极值情形，再应用关于正则子图的已知结果。
• 作者定义并分析函数 reg_even(n, δ)，表示最小度为 δ 的图中正则生成子图的最大偶数度，以量化最优打包。

实验结果

研究问题

• RQ1 每个满足 D ≥ 2⌈n/4⌉ − 1 的 D-正则图在 n 个顶点上是否可分解为 1-因子（即完美匹配）？
• RQ2 每个满足 D ≥ ⌊n/2⌋ 的 D-正则图是否可分解为哈密顿圈及至多一个完美匹配？
• RQ3 在最小度 δ ≥ n/2 的图中，能保证的边不相交哈密顿圈的最大数量是多少？
• RQ4 该图中边不相交哈密顿圈数量的 (n−2)/8 界是否紧致且最优？
• RQ5 能否使用单一统一方法证明 1-因子分解、哈密顿分解和最优打包猜想？

主要发现

• 1-因子分解猜想得到证实：每个满足 D ≥ 2⌈n/4⌉ − 1 的 D-正则图在 n 个顶点上均可分解为完美匹配，因此 χ'(G) = D。
• 哈密顿分解猜想已证明：每个满足 D ≥ ⌊n/2⌋ 的 D-正则图可分解为哈密顿圈及至多一个完美匹配。
• 对于最小度 δ ≥ n/2 的图，至少存在 (n−2)/8 条边不相交的哈密顿圈，且该界限为最优。
• 边不相交哈密顿圈数量的 (n−2)/8 界是紧致的，由极值构造得以证明。
• 上述结果对所有充分大的 n 成立，且界限为紧致，确认了各猜想中度条件的紧致性。
• 作者提供了一个基于强扩张性和爆破引理的统一证明框架，适用于上述三个猜想。