[論文レビュー] 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

ひとこと要約

本稿は、2つの互いに素なクリークに近いスパースな正則グラフを、ハミルトニアンサイクルと完全マッチングに分解する方法を確立し、例外的辺系に注目する。特に、クラスターや境界頂点に接続する『例外的辺』を、構造的なパス系に分解するための新規な手法を導入することで、1-ファクタリゼーションおよびハミルトニアン分解予想の2クリーク極値ケースにおけるハミルトニアン分解の構成が可能になる。

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.

研究の動機と目的

• グラフが2つの互いに素なクリークの和集合に近い極値ケースにおいて、1-ファクタリゼーションおよびハミルトニアン分解予想を解決すること。
• 境界頂点に接続する辺、またはクラスター間を結ぶ辺である『例外的辺』を、構造的なパス系に分解するための手法を開発すること。
• 最小次数条件のもとで、ハミルトニアンサイクルと完全マッチングへの分解が存在することを保証すること。
• 1-ファクタリゼーションおよびハミルトニアン分解予想の一般証明における基盤的要素を提供すること。

提案手法

• 頂点集合をほぼ n/2 の大きさをもつ2つの集合に分けたとき、その間の辺数が εn² 以下である場合、グラフを ε-近傍の2つのクリークと定義する。
• 正則性を破る辺を分離するために、頂点集合をクラスター A, B および例外集合 A₀, B₀ に分割する。
• 『例外的辺』とは、A₀ や B₀ に接続する辺、または A′ = A ∪ A₀ と B′ = B ∪ B₀ の間を渡る辺を指す。
• これらの例外的辺に対して、次数と辺分布を制御した局所的部分グラフ H″(i,i′) を構築する。
• 命題 2.4 を用いて、辺彩色およびマッチング分解技術を適用し、サイズが 0 または 2 の小さなマッチングに H″(i,i′) を分割する。
• 補題 4.9 を用いて、これらのマッチングを完全な例外系（ES）に拡張し、忠実な拡張とハミルトニアン性を保証する。

実験結果

リサーチクエスチョン

• RQ1 2つの互いに素なクリークに近いグラフにおける例外的辺を、ハミルトニアン分解に適したパス系に体系的に分解する方法は何か？
• RQ2 このような極値グラフにおいて、ハミルトニアンサイクルと完全マッチングへの分解が存在するための構造的条件は何か？
• RQ3 例外的辺系を、辺を共有しないままかつ正則性を保ちながら、完全なハミルトニアンサイクルに拡張することは可能か？
• RQ4 2クリーク極値ケースにおいて、このような分解を保証する次数およびスパarsityの閾値は何か？
• RQ5 グラフ構造における摂動や不規則性に対しても、分解が頑健に保たれるようにするにはどうすればよいか？

主な発見

• 任意の ε_ex > 0 に対して、n₀ が存在し、n ≥ n₀ 個の頂点を持つ D-正則グラフで、2つの大きさ n/2 の互いに素なクリークに ε_ex-近傍であるものは、⌊min{D, F}/2⌋ 個のハミルトニアンサイクルと D − 2⌊min{D, F}/2⌋ 個の完全マッチングに分解可能である。ここで F は最小カットのサイズである。
• 例外的辺は、互いに辺を共有しない例外系候補（ESCs）に分解され、その後補題 4.9 を用いて完全な例外系（ES）に拡張される。
• 構成法により、各例外系がコアマッチングの忠実な拡張として保たれ、連結性と辺を共有しない性質が維持される。
• この手法は、頂点集合の洗練された分割と、最大次数が有界で辺分布が制御された局所的部分グラフ H″(i,i′) に依存している。
• 最終的なハミルトニアンサイクルと完全マッチングへの分解は、例外系とメインのサイクル分解マシンガリーを組み合わせることで達成される。
• このアプローチにより、1-ファクタリゼーションおよびハミルトニアン分解予想の2クリーク極値ケースが確認され、一般証明フレームワークにおける重要な要素が完成する。