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

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

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

一句话总结

本文将接近两个不相交团的稀疏正则图分解为哈密顿圈和完美匹配，重点研究异常边系统。提出一种新方法，将连接簇与边界顶点的‘异常边’分解为结构化路径系统，从而在1-因子化与哈密顿分解猜想的双团极值情形下实现哈密顿分解。

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) We prove an optimal result on the number of edge-disjoint Hamilton cycles in a graph of given minimum degree. According to Dirac, (i) was first raised in the 1950s. (ii) and (iii) answer questions of Nash-Williams from 1970. The above bounds are best possible. In the current paper, we prove results on the decomposition of sparse graphs into path systems. These are used in the proof of (i) and (ii) in the case when $G$ is close to the union of two disjoint cliques.

研究动机与目标

• 解决1-因子化与哈密顿分解猜想在图接近两个不相交团的极值情形下的问题。
• 开发一种将‘异常边’（即与边界顶点相关或在簇之间交叉的边）分解为结构化路径系统的方法。
• 在最小度条件约束下，确保哈密顿圈与完美匹配的分解存在。
• 为1-因子化与哈密顿分解猜想在所有足够大图中的广义证明提供基础组件。

提出的方法

• 若两个大小约为n/2的顶点集之间的边数不超过εn²，则定义图为ε-接近双团。
• 将顶点集划分为簇A、B以及异常集A₀、B₀，以隔离破坏正则性的边。
• 将‘异常边’定义为与A₀、B₀相关或在A′ = A ∪ A₀与B′ = B ∪ B₀之间交叉的边。
• 在这些异常边上构造局部子图H″(i,i′)，其度数与边分布受控。
• 通过命题2.4应用边着色与匹配分解技术，将H″(i,i′)划分为大小为0或2的小匹配。
• 利用引理4.9将这些匹配扩展为完整的异常系统（ES），确保忠实扩展与哈密顿性。

实验结果

研究问题

• RQ1 如何系统地将接近两个不相交团的图中的异常边分解为路径系统，以实现哈密顿分解？
• RQ2 何种结构条件可确保此类极值图中存在哈密顿圈与完美匹配的分解？
• RQ3 能否在保持边不相交性与正则性的同时，将异常边系统扩展为完整哈密顿圈？
• RQ4 在双团极值情形下，何种度数与稀疏性阈值可保证此类分解？
• RQ5 如何使该分解在图结构存在扰动或不规则性时仍具鲁棒性？

主要发现

• 对任意ε_ex > 0，存在n₀，使得每个在n ≥ n₀个顶点上的D-正则图，若为ε_ex-接近大小为n/2的两个不相交团，则可分解为⌊min{D, F}/2⌋个哈密顿圈与D − 2⌊min{D, F}/2⌋个完美匹配，其中F为最小割的大小。
• 异常边被分解为边不相交的异常系统候选（ESCs），再通过引理4.9扩展为完整的异常系统（ES）。
• 该构造确保每个异常系统均为其中心匹配的忠实扩展，保持连通性与边不相交性。
• 该方法依赖于对顶点集的精细划分，以及最大度有界且边分布受控的局部子图H″(i,i′)。
• 通过将异常系统与主圈分解机制结合，最终实现哈密顿圈与完美匹配的分解。
• 该方法确认了1-因子化与哈密顿分解猜想在双团极值情形下的成立，完成了广义证明框架中的关键组件。