[论文解读] Proof of the 1-factorization and Hamilton decomposition conjectures II: the bipartite case

Béla Csaba, Daniela Kühn+3 more|arXiv (Cornell University)|Jan 16, 2014

graph theory and CDMA systems参考文献 16被引用 15

一句话总结

本文证明了足够大的二分图正则图的1-因子分解与哈密顿分解猜想，确立了每个$D$-正则图在$n$个顶点上且$D \geq 2\lceil n/4\rceil - 1$时可进行1-因子分解，且每个$D$-正则图在$D \geq \lfloor n/2\rfloor$时具有哈密顿分解。证明依赖于基于$\varepsilon$-正则性与结构图划分中迭代环打包的稳健分解框架。

ABSTRACT

In a sequence of four papers, 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, $χ'(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 $δ\ge n/2$. Then $G$ contains at least ${ m reg}_{ m even}(n,δ)/2 \ge (n-2)/8$ edge-disjoint Hamilton cycles. Here ${ m reg}_{ m even}(n,δ)$ denotes the degree of the largest even-regular spanning subgraph one can guarantee in a graph on $n$ vertices with minimum degree $δ$. According to Dirac, (i) was first raised in the 1950s. (ii) and the special case $δ= \lceil n/2 ceil$ of (iii) answer questions of Nash-Williams from 1970. All of the above bounds are best possible. In the current paper, we prove the above results for the case when $G$ is close to a complete balanced bipartite graph.

研究动机与目标

• 解决大偶数正则图的1-因子分解猜想，证明当$D \geq 2\lceil n/4\rceil - 1$时，$D$-正则图可分解为完美匹配。
• 证明大正则图的哈密顿分解猜想，确立当$D \geq \lfloor n/2\rfloor$时，$D$-正则图可分解为哈密顿圈与至多一个完美匹配。
• 确定最小度$\delta \geq n/2$的图中边不相交哈密顿圈打包的最大数量，证明至少存在$(n-2)/8$个这样的圈。
• 通过统一的结构方法证明纳什-威廉姆斯与狄拉克先前结果的推广，确认图分解理论中长期悬而未决的开放问题在二分图情形下的成立。

提出的方法

• 采用基于正则性方法的统一框架，利用$\varepsilon$-正则性与稳健扩张，将大图分解为结构化子图。
• 应用稳健分解引理，通过框架图中的双通用行走与弦序列，利用哈密顿圈与完美匹配覆盖边集。
• 构建分层分解：首先将全局图分解为局部切片，然后通过路径系统与例外集覆盖各类内部边。
• 使用$(\varepsilon_0, \varepsilon', K_2, D_5)$-框架管理不规则性，并确保在各划分中保持度条件。
• 引入平衡例外系统与特殊因子，处理度不规则的顶点，确保边被完全覆盖且无重叠。
• 应用切尔诺夫-霍夫丁不等式控制随机子图中度的集中性，确保环打包的稳健性。

实验结果

研究问题

• RQ1 对于足够大的$n$，每个$D$-正则图在$n$个顶点上且满足$D \geq 2\lceil n/4\rceil - 1$时是否可进行1-因子分解？
• RQ2 每个$D$-正则图在$D \geq \lfloor n/2\rfloor$时是否可分解为哈密顿圈与至多一个完美匹配？
• RQ3 在最小度$\delta \geq n/2$的图中，可保证存在多少条边不相交的哈密顿圈？
• RQ4 能否通过统一的结构方法证明1-因子分解与哈密顿分解猜想在二分图情形下的成立？
• RQ5 如何利用稳健扩张与$\varepsilon$-正则性在稠密正则图中构造哈密顿分解？

主要发现

• 对于所有足够大的偶数$n$及$D \geq 2\lceil n/4\rceil - 1$，1-因子分解猜想成立，且该边界为最优。
• 当$D \geq \lfloor n/2\rfloor$时，哈密顿分解猜想得到证实，且度阈值为最优。
• 对于最小度$\delta \geq n/2$的图，至少存在$(n-2)/8$条边不相交的哈密顿圈，与$\text{reg}_{\text{even}}(n,\delta)/2$的理论下界一致。
• 该证明确立了1-因子分解与哈密顿分解猜想在二分图情形下成立，将先前结果推广至更广的图类。
• 稳健分解引理通过结构化路径系统覆盖例外集与剩余边，实现了哈密顿分解的构造。
• 该框架确保所有边均被边不相交的哈密顿圈与完美匹配覆盖，且通过$\varepsilon$-正则性对度条件与误差项实现精确控制。