[論文レビュー] 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 に対して、グラフ理論における3つの長年の予想を証明する。1因子分解予想（D-正則グラフで D ≥ 2⌈n/4⌉ − 1 を満たすものは、完全マッチングへの分解をもつ）、ハミルトン分解予想（D-正則グラフで D ≥ ⌊n/2⌋ を満たすものは、ハミルトン閉路とたかだか1つの完全マッチングに分解可能）、および最適なハミルトン閉路パッキング（最小次数 δ ≥ 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.

研究の動機と目的

• D ≥ 2⌈n/4⌉ − 1 を満たす n 頂点の D-正則グラフが完全マッチングへの分解をもつという1因子分解予想を解決すること。
• D ≥ ⌊n/2⌋ を満たす D-正則グラフがハミルトン閉路とたかだか1つの完全マッチングに分解可能であるというハミルトン分解予想を証明すること。
• 最小次数 δ ≥ n/2 を満たすグラフにおける辺に分けたハミルトン閉路の最適なパッキング境界を確立し、少なくとも (n−2)/8 個のこのような閉路が存在することを示すこと。
• これらの3つの予想の証明を、強化拡張子と確率的技法に基づく共通の枠組みを用いて統一すること。
• 各予想における次数条件の鋭さを確認する、最良の境界を提供すること。

提案手法

• 著者たちは、密度の高いグラフにおける強化拡張子の理論を活用し、グローバルな接続性と拡張性を制御する、強化的に拡張する密度の高いグラフに基づく統一的アプローチを採用する。
• 彼らは、特にハミルトン閉路と完全マッチングを含む大きな部分グラフを、グラフの強化的に拡張するコアに埋め込むために、吹き増し補題を適用する。
• この手法は、制御された正則性を持つ部分グラフへの繰り返し的分解を含み、確率的および極値的組合せ論的技法が用いられる。
• 重要な要素として、「強化的に拡張する」グラフの使用があり、頂点の削除後でも拡張性が保たれることで、帰納的分解が可能になる。
• 証明は安定性型の議論に依存し、問題を極値的ケースに還元し、その後、正則部分グラフに関する既知の結果を適用する。
• 最適なパッキングを定量化するために、最小次数 δ を持つグラフにおける正則なスパニング部分グラフの最大偶数次数を表す関数 reg_even(n, δ) を定義・分析する。

実験結果

リサーチクエスチョン

• RQ1 D ≥ 2⌈n/4⌉ − 1 を満たす n 頂点の D-正則グラフは、完全マッチングへの1因子分解をもつのか？
• RQ2 D ≥ ⌊n/2⌋ を満たす D-正則グラフは、ハミルトン閉路とたかだか1つの完全マッチングに分解可能か？
• RQ3 最小次数 δ ≥ n/2 を満たすグラフには、最大で何個の辺に分けたハミルトン閉路が保証されるか？
• RQ4 このようなグラフにおける (n−2)/8 個の辺に分けたハミルトン閉路の境界は、タイトで最適なのか？
• RQ5 1因子分解、ハミルトン分解、最適パッキング予想は、1つの統一的メソッドで証明可能か？

主な発見

• 1因子分解予想が確認された：D ≥ 2⌈n/4⌉ − 1 を満たす n 頂点の D-正則グラフは完全マッチングへの分解をもち、χ'(G) = D である。
• ハミルトン分解予想が証明された：D ≥ ⌊n/2⌋ を満たす D-正則グラフは、ハミルトン閉路とたかだか1つの完全マッチングに分解可能である。
• 最小次数 δ ≥ n/2 を満たすグラフには、少なくとも (n−2)/8 個の辺に分けたハミルトン閉路が存在し、この境界は最適である。
• 極値的構成によって、(n−2)/8 個の辺に分けたハミルトン閉路の境界が最良であることが示された。
• これらの結果は、すべての十分に大きな n に対して成り立ち、境界は鋭く、各予想における次数条件の鋭さが確認された。
• 著者たちは、強化拡張子と吹き増し補題に基づく統一的証明枠組みを提供し、3つの予想にすべて適用可能である。