[論文レビュー] Packing Hamilton Cycles in Random and Pseudo-Random Hypergraphs

Alan Frieze, Michael Krivelevich|arXiv (Cornell University)|Mar 9, 2010

Limits and Structures in Graph Theory参考文献 8被引用数 4

ひとこと要約

本稿は、ランダムおよび擬似ランダムなk一様超グラフのほぼすべての辺が、1 ≤ ℓ ≤ k かつ ℓ ≤ k ≤ 2ℓ を満たす型ℓの辺を共有するハミルトンサイクルに、辺に重複のない形で詰め込まれる十分条件を確立している。確率的技法と次数に基づく正則性条件を用いて、edge probability p ≫ log²n/n のとき、whp H(n,p,k) は (1−o(1))·(n choose k)·p/νℓ 個の辺に重複のない型ℓハミルトンサイクルを含むことを証明した。これは、ランダムグラフにおけるハミルトンサイクルパッキングに関する先行研究を、サイクル構造と辺の非共有性を厳密に制御した超グラフ設定へと拡張した。

ABSTRACT

We say that a $k$-uniform hypergraph $C$ is a Hamilton cycle of type $\ell$, for some $1\le \ell \le k$, if there exists a cyclic ordering of the vertices of $C$ such that every edge consists of $k$ consecutive vertices and for every pair of consecutive edges $E_{i-1},E_i$ in $C$ (in the natural ordering of the edges) we have $|E_{i-1}-E_i|=\ell$. We prove that for $\ell \le k\le 2\ell$, with high probability almost all edges of a random $k$-uniform hypergraph $H(n,p,k)$ with $p(n)\gg \log^2 n/n$ can be decomposed into edge disjoint type $\ell$ Hamilton cycles. We also provide sufficient conditions for decomposing almost all edges of a pseudo-random $k$-uniform hypergraph into type $\ell$ Hamilton cycles, for $\ell \le k\le 2\ell$. For the case $\ell=k$ these results show that almost all edges of corresponding random and pseudo-random hypergraphs can be packed into disjoint perfect matchings.

研究の動機と目的

• ランダムグラフにおけるハミルトンサイクルパッキング理論を、ランダムおよび擬似ランダムなk一様超グラフへと拡張すること。
• 連続する辺が正確にℓ個の頂点で重なることによって定義される、k一様超グラフにおける型ℓハミルトンサイクルの定義と解析を行うこと。
• 頂点次数および共次数正則性に基づく十分条件を確立し、ほぼすべての辺を辺に重複のない型ℓハミルトンサイクルに分解できることを示すこと。
• このようなパッキングがwhpに成立するように、エッジ確率p(n)のタイトな境界を提供すること、特にℓ ≥ k/2 の場合に注目すること。
• ランダムグラフにおけるハミルトンサイクルパッキングに関する先行結果を、超グラフ設定へと一般化すること。特にℓ = k（完全マッチング）の場合を含む。

提案手法

• k一様超グラフにおける型ℓハミルトンサイクルを、各エッジがk個の連続する頂点からなり、連続するエッジが正確にℓ個の頂点で重なる循環的エッジ列として定義する。
• 期待次数に基づき、サイズ2(k−ℓ)、2ℓ−kなどの頂点集合の最小・最大次数に関する正則性条件（Pa–Pf）を導入する。
• チェルノフ不等式およびマルティングル・集中不等式を用いて、ランダムおよび擬似ランダムな超グラフがwhpこれらの正則性条件を満たすことを示す。
• ランダムな分割とラベル付けによる辺に重複のないハミルトンサイクルの構成：頂点集合を部分に分割し、エッジにランダムな部分構造への包含に基づくラベルを割り当て、正則性を用いてラベル付きグラフ内にハミルトンサイクルが存在することを保証する。
• ラベル付き部分グラフGiに定理1（(α,ε)-正則グラフにおけるハミルトンサイクルパッキング）を適用し、辺に重複のないサイクル数の下界を導出する。
• 提示されたp(n)およびεに関する条件の下で、得られたサイクルが辺に重複のなく、全エッジ集合の(1−o(1))をカバーすることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ℓ ≤ k ≤ 2ℓ のとき、ランダムk一様超グラフH(n,p,k)のほぼすべての辺が、辺に重複のない型ℓハミルトンサイクルにパッキング可能となるためのエッジ確率p(n)の閾値は何か？
• RQ2 擬似ランダムk一様超グラフの次数および共次数分布に十分な条件を課すことで、そのエッジが型ℓハミルトンサイクルにほぼ完全にパッキング可能になるか？
• RQ3 連続するエッジ間のℓ個の頂点による重なりで定義される型ℓハミルトンサイクルの構造が、このようなパッキングの実現可能性および密度にどのように影響するか？
• RQ4 ランダムグラフに用いられる技法が、o(n^k)個のエッジが存在するスパarsな領域において、超グラフへとどの程度拡張可能か？
• RQ5 このようなパッキングがwhpに成立するための、p(n)および正則性パrameter εのタイトな境界は何か？

主な発見

• ℓ ≤ k ≤ 2ℓ かつ p(n) ≫ log²n/n のとき、whp H(n,p,k) は (1−o(1))·(n choose k)·p/νℓ 個の辺に重複のない型ℓハミルトンサイクルを含む。
• このサイクル数は、全エッジ集合の(1−o(1))をカバーするため、漸近的に最適である。
• ℓ = k の場合、結果はwhp、H(n,p,k)のほぼすべてのエッジが辺に重複のない完全マッチングにパッキング可能であることを示唆する。
• 擬似ランダム超グラフにおける十分条件（Pa–Pf）は、ランダム超グラフにおいてwhpに成立することが示され、両モデルに適用可能であることを裏付けた。
• 本手法はランダムな分割とラベル付けに依存し、その後に定理1を部分グラフGiに適用することで、正則性によりハミルトンサイクルの存在を保証する。
• 分析では、チェルノフ不等式およびマルティングル型の議論を用いた集中不等式を用い、ラベル付き部分グラフGiが(α,ε)-正則であることを検証し、サイクルパッキングを可能にした。