[論文レビュー] Edge-disjoint Hamilton cycles in random graphs

Fiachra Knox, Daniela Kühn+1 more|arXiv (Cornell University)|Apr 22, 2011

Limits and Structures in Graph Theory参考文献 21被引用数 13

ひとこと要約

この論文は、FriezeとKrivelevichが提起した予想を確認する。$ G_{n,p} $ において $ \log^{50}n/n \leq p \leq 1 - n^{-1/4}\log^9n $ の範囲で、高確率に、$ \lfloor \delta(G)/2 \rfloor $ 個の辺に重複のないハミルトングラフが存在し、さらに $ \delta(G) $ が奇数の場合は最適マッチングが追加で存在する。この結果は、特定の擬似ランダム性条件が十分であることを示し、その条件が指定された $ p $ 範囲で高確率に成り立つことを確認することで得られた。

ABSTRACT

We show that provided $\log^{50} n/n \leq p \leq 1 - n^{-1/4}\log^9 n$ we can with high probability find a collection of $\lfloor δ(G)/2 floor$ edge-disjoint Hamilton cycles in $G \sim G_{n, p}$, plus an additional edge-disjoint matching of size $\lfloor n/2 floor$ if $δ(G)$ is odd. This confirms, for the above range of $p$, a conjecture of Frieze and Krivelevich.

研究の動機と目的

• ランダムグラフにおける辺に重複のないハミルトングラフのパッキングに関する長年の予想を解決すること。
• エッジ確率 $ p $ の広い範囲で、ランダムグラフ $ G_{n,p} $ が高確率に性質 $ \mathcal{H} $ を持つことを証明すること。ここで性質 $ \mathcal{H} $ とは、$ \lfloor \delta(G)/2 \rfloor $ 個の辺に重複のないハミルトングラフに加え、$ \delta(G) $ が奇数の場合は最適マッチングが存在するものである。
• グラフが性質 $ \mathcal{H} $ を持つための決定的十分条件（擬似ランダム性とほぼ正則性）を確立し、その条件が与えられた $ p $ 範囲で $ G_{n,p} $ において高確率に成り立つことを確認すること。
• ハミルトングラフパッキングに関する先行研究を、$ \delta(G) \approx np $ となる $ p $ の範囲で、完全な辺に重複のない分解が保証される範囲にギャップを埋める形で拡張すること。

提案手法

• 特定の擬似ランダム性条件を満たし、正則性に十分近い任意のグラフが性質 $ \mathcal{H} $ を持つことを示す決定的定理（定理48）を証明する。
• 局所的な次数とエッジ分布を制御するために、エッジ確率が減少する複数の部分グラフ $ G_0, G_1, \dots, G_5 $ に $ G_{n,p} $ を分解する。
• 繰り返し Lemma 47 と Corollary 27 を適用することで、順次部分グラフ内で辺に重複のないハミルトングラフを構成し、高次元頂点をカバーすることを保証する。
• Lemma 22 を適用して、最初の部分グラフ $ G_1' $ に正則なスパニング部分グラフ $ H_1 $ を形成し、最小次数頂点 $ x_0 $ に接続するすべての辺を保持する。
• Corollary 46 を用いて、最終的な残差グラフを成分数が有界な2因子に分解し、最終的なサイクル構成を可能にする。
• 与えられた $ p $ 範囲で、擬似ランダム性および次数条件が高確率に成り立つことを確認する。特に、集中不等式と次数の上限に依存している。

実験結果

リサーチクエスチョン

• RQ1 $ G_{n,p} $ が高確率に $ \lfloor \delta(G)/2 \rfloor $ 個の辺に重複のないハミルトングラフを有するか？ ただし $ \log^{50}n/n \leq p \leq 1 - n^{-1/4}\log^9n $ の範囲で。
• RQ2 決定的擬似ランダム性条件が、正則でないグラフに対しても、$ \lfloor \delta(G)/2 \rfloor $ 個の辺に重複のないハミルトングラフの存在を保証できるか？
• RQ3 性質 $ \mathcal{H} $ によって保証される最適マッチングは、常に最小次数頂点をカバーするように実現可能か？
• RQ4 辺に重複のないハミルトングラフの構成は、$ \delta(G) \approx np $ となる $ p $ の全範囲に拡張可能か？ 特に $ p $ が小さすぎず、大きすぎない場合に有効か？
• RQ5 高確率に近い完全なハミルトングラフ分解（すべてのエッジのほとんどをカバーする）が可能になる最小の $ p $-閾値は何か？

主な発見

• $ \log^{50}n/n \leq p \leq 1 - n^{-1/4}\log^9n $ の範囲で、高確率に $ G_{n,p} $ は $ \lfloor \delta(G)/2 \rfloor $ 個の辺に重複のないハミルトングラフを有し、Frieze-Krivelevich予想がこの範囲で確認された。
• 構成法により、$ \delta(G) $ が奇数の場合、最小次数頂点に接続するすべてのエッジをカバーするように、追加の最適マッチング（サイズ $ \lfloor n/2 \rfloor $）を選べることを保証している。
• 証明により、擬似ランダム性とほぼ正則性に基づく決定的十分条件（定理48）が、性質 $ \mathcal{H} $ を持つためのものであることが示され、与えられた $ p $ 範囲で高確率に成り立つことが確認された。
• 最終的な2因子分解の成分数は $ c(\mathcal{F}) \leq 3n\sqrt{np_4\log^3 n} $ で有界であり、これが十分に小さく、最終的なサイクル構成を可能にする。
• 構成の1ステップを省略しても結果が成立することを示しており、$ p $ の下限を $ \log^{50}n/n $ からわずかな修正で $ \log^{30}n/n $ に改善可能である可能性を示唆している。
• 解析により、$ \log^{50}n/n $ の下限が、反復間で残差グラフの成長を制御する2つの重要な不等式（33）と（34）の妥当性を保証するためにのみ必要であることが判明した。