[論文レビュー] 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$-正則グラフが$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$-正則グラフがハミルトン閉路とたかだか1つの完全マッチングに分解されることを確立する。
• 最小次数$\delta \geq n/2$を満たすグラフにおける辺素なハミルトン閉路パッキングの最適な数を特定し、少なくとも$(n-2)/8$個のこのような閉路が存在することを示す。
• ナッシュ＝ウィリアムズおよびディラックの先行結果を拡張し、二部グラフの場合にこれらの予想を証明することで、グラフ分解理論における長年の未解決問題を確認する。

提案手法

• 正則性法に基づく統一的枠組みを用い、$\varepsilon$-正則性と強固な拡張性を活用して、大きなグラフを構造化された部分グラフに分解する。
• 強固な分解補題を適用し、フレームワークグラフにおける二重普遍的ウォークとコード列を活用して、辺集合をハミルトン閉路と完全マッチングで被覆する。
• 階層的分解を構築する：まずグローバルなグラフを局所化されたスライスに分解し、次にクラス内での辺をパス系と例外集合で被覆する。
• 不規則性を管理し、分割間で次数条件を保つために、$(\varepsilon_0, \varepsilon', K_2, D_5)$-フレームワークを導入する。
• 不規則な次数を持つ頂点を処理するためのバランスの取れた例外系と特別な因子を導入し、重複なしに辺を被覆する。
• チェルノフ＝ホイーディングの不等式を用いて、ランダム部分グラフにおける次数の集中を制御し、サイクルパッキングにおける強健性を保証する。

実験結果

リサーチクエスチョン

• RQ1 十分に大きな$n$に対して、$D \geq 2\lceil n/4\rceil - 1$を満たす$n$頂点の$D$-正則グラフは、1因子分解を有するか？
• RQ2 $D \geq \lfloor n/2\rfloor$を満たす$D$-正則グラフは、ハミルトン閉路とたかだか1つの完全マッチングに分解可能か？
• RQ3 最小次数$\delta \geq n/2$を満たすグラフには、保証される辺素なハミルトン閉路の最大数は何か？
• RQ4 1因子分解およびハミルトン分解予想は、統一的な構造的アプローチを用いて二部グラフの場合に証明可能か？
• RQ5 強固な拡張性と$\varepsilon$-正則性は、密度の高い正則グラフにおけるハミルトン分解の構築にどのように活用可能か？

主な発見

• 1因子分解予想は、すべての十分に大きな偶数$n$および$D \geq 2\lceil n/4\rceil - 1$に対して成立し、この境界は最良である。
• ハミルトン分解予想は$D \geq \lfloor n/2\rfloor$に対して確認され、次数の閾値は最適である。
• 最小次数$\delta \geq n/2$を満たすグラフでは、少なくとも$(n-2)/8$個の辺素なハミルトン閉路が存在し、これは$\text{reg}_{\text{even}}(n,\delta)/2$からの理論的下界と一致する。
• 証明により、1因子分解およびハミルトン分解予想が二部グラフの場合にも成立することが示され、先行研究がより広いグラフクラスに拡張された。
• 強固な分解補題により、例外集合と残りの辺を構造化されたパス系で被覆することで、ハミルトン分解の構築が可能である。
• フレームワークにより、すべての辺が辺素なハミルトン閉路と完全マッチングで被覆され、$\varepsilon$-正則性による次数条件と誤差項の精密な制御が保証される。