[論文レビュー] Hamilton cycles in graphs and hypergraphs: an extremal perspective

Daniela Kühn, Deryk Osthus|arXiv (Cornell University)|Feb 18, 2014

Advanced Graph Theory Research被引用数 13

ひとこと要約

本調査では、グラフおよび超グラフにおけるハミルトン閉路に関する極値的および確率的アプローチの最近の進展を、拡張性、準ランダム性、レジリエンス、およびレジリエンスの観点から取り上げる。正則および頂点推移的グラフに関する長年の予想を解決し、準ランダム超グラフにおけるハミルトン閉路への近似的な分解を確立し、エントロピーに基づく手法と確率的アルゴリズムを用いて、ディラグラフおよびランダムグラフにおけるハミルトン閉路の数え上げに関する漸近公式を提供する。

ABSTRACT

As one of the most fundamental and well-known NP-complete problems, the Hamilton cycle problem has been the subject of intensive research. Recent developments in the area have highlighted the crucial role played by the notions of expansion and quasi-randomness. These concepts and other recent techniques have led to the solution of several long-standing problems in the area. New aspects have also emerged, such as resilience, robustness and the study of Hamilton cycles in hypergraphs. We survey these developments and highlight open problems, with an emphasis on extremal and probabilistic approaches.

研究の動機と目的

• グラフおよび超グラフにおけるハミルトン閉路の極値的および確率的研究における最近のブレークスルーを調査すること。
• 拡張性およびレジリエンス技術を用いて、正則、頂点推移的、およびカイリー・グラフに関する長年の予想に取り組むこと。
• 密度の高いおよびランダムなグラフ／超グラフのエッジに重複のないハミルトン閉路への近似的および正確な分解を確立すること。
• エントロピーおよび確率的アルゴリズムを用いて、ディラグラフおよびランダムグラフにおけるハミルトン閉路の数え上げに関する漸近公式を開発すること。
• 正則グラフにおけるハミルトン閉路の存在、完全マッチング、および固有値ギャップの間の関係を調査すること。

提案手法

• 密度の高い正則グラフを少数のレジリエント・エクスパンダーまたは双方向レジリエント・エクスパンダー成分に構造的分割する。
• 準ランダム性および固有値ギャップ条件（Krivelevich-Sudakov予想を介して）を適用し、正則グラフにおけるハミルトニアン性を導出する。
• エントロピーに基づく最適化：分数マッチング x に対して ∑ₑ xₑ log₂(1/xₑ) の最大値 h(G) を定義し、ハミルトン閉路の数を抑え込む。
• 超グラフの分解問題を、準ランダム有向グラフにおける近似的な分解に還元し、3-一様超グラフにおけるタイトなハミルトン閉路に関する結果を得る。
• ランダムウォーク埋め込みおよび確率的近似スキーム（FPRAS）を用いて、ディラグラフにおけるハミルトン閉路の数を推定する。
• ランダムグラフ過程における到達時間解析を適用し、ハミルトン閉路の出現の正確な閾値を特定する。

実験結果

リサーチクエスチョン

• RQ1 3連結正則グラフにおけるハミルトニアン性を保証する最小次数条件は何か。また、それは最良のものか？
• RQ2 トゥーリネス予想は、ハミルトン閉路を保証するための拡張性または準ランダム性条件に置き換えられたり強化されたりできるか？
• RQ3 ディラグラフにおけるハミルトン閉路の漸近的数は何か。また、それを効率的に近似できるか？
• RQ4 完全な k-一様超グラフまたはランダム超グラフがエッジに重複のないハミルトン ℓ-閉路に分解可能となる条件は何か？
• RQ5 ランダムグラフにおけるハミルトン閉路の数は期待値とどのように関係し、その集中性の挙動は何か？

主な発見

• 任意の 3-連結 d-正則グラフ（n ≥n₀ 頂点、d ≥n/4）はハミルトニアンであり、この境界は最良である。
• 任意の ε > 0 に対して、n ≥n₀ 頂点、次数 ≥εn の連結頂点推移的グラフはハミルトン閉路を含む。これは、ロヴァーシュおよびカイリー予想の密度の高い場合を確認する。
• 1 ≤ℓ < k に対して、n が可除性条件を満たす場合、完全な k-一様超グラフ Kₙ^(k) はエッジに重複のないハミルトン ℓ-閉路への近似的な分解を有する。
• ランダム 3-一様超グラフ Hₙ,p^(3) に対して、ε⁴⁵np¹⁶ ≥(log n)²¹ ならば、a.a.s. すべての辺のうち ε¹ᐟ¹⁵-分数を除き、エッジに重複のないタイトなハミルトン閉路がカバーする。
• ディラグラフ G（δ(G) ≥n/2）におけるハミルトン閉路の数は、漸近的に 2²ʰ⁽ᴳ⁾⁻ⁿ log₂ e − o(n) に等しく、ここで h(G) は分数マッチングにおけるグラフのエントロピーである。
• ランダムグラフ過程において、最小次数が 2 に達する到達時間に、a.a.s. ハミルトン閉路の数は (1−o(1))n(log n/e)ⁿ に等しく、これは p ≈ log n/n の Gn,p における期待値と一致する。