[論文レビュー] Powers of cycles in random graphs and hypergraphs

Rajko Nenadov, Nemanja Škorić|arXiv (Cornell University)|Jan 1, 2017

Limits and Structures in Graph Theory参考文献 11被引用数 3

ひとこと要約

本論文は、ランダムグラフ $\mathcal{G}_{n,p}$ におけるハミルトン閉路の $k$ 乗が現れる閾値を確立し、$p^k \ge C \log^8 n / n$ が漸近的にほとんど確実に十分であることを示している。吸収法とハクセルの超グラフマッチング基準の新規応用を用いて、同じ条件下でランダム $k$-一様超グラフにおけるタイトなハミルトン閉路の存在を証明し、先行研究から対数因子を除去することで、より良い境界を得た。

ABSTRACT

We prove that if $p^k \ge C \log^8 n / n$ for a constant $k \in \mathbb{N}$, then asymptotically almost surely the random graph $\mathcal{G}_{n,p}$ contains the $k$th power of a Hamilton cycle. This determines the threshold for the appearance of the square of a Hamilton cycle up to the logarithmic factor, improving the result of K\uhn and Osthus. Using similar ideas, we also give a combinatorial proof for the appearance of a tight Hamilton cycle in the random $k$-uniform hypergraph $\mathcal{G}^{(k)}_{n.p}$, for $p \ge C \log^8 n/ n$. Our proofs are based on the absorber method and follow the strategy of K\uhn and Osthus and Allen et al. The new ingredient is the proof of the Connecting Lemma using a hypergraph matching criteria of Haxell, which allows us to connect tuples of vertices using more complex structures.

研究の動機と目的

• エドーシュ–レニーのランダムグラフ $\mathcal{G}_{n,p}$ におけるハミルトン閉路の $k$ 乗が現れる確率閾値を特定すること。
• この結果を $k$-一様超グラフの設定に拡張し、同様の条件下でタイトなハミルトン閉路の存在を証明すること。
• クーハンとオストゥスの先行研究を改善し、閾値条件における対数因子を除去すること。
• 複雑な構造における頂点タプルの接続を可能にするために、吸収法とハクセルの超グラフマッチング基準を用いた組合せ的証明を開発すること。

提案手法

• 吸収法を用いて、ランダムグラフにおけるハミルトン閉路の $k$ 乗の埋め込みを実行する。
• ハクセルが考案した新規な超グラフマッチング基準を用いて、接続補題を証明し、複雑な頂点タプルの接続を可能にする。
• ランダムグラフ $\mathcal{G}_{n,p}$ におけるハミルトン閉路の $k$ 乗の出現のための閾値条件 $p^k \ge C \log^8 n / n$ を確立する。
• 同じ枠組みを $k$-一様超グラフ $\mathcal{G}^{(k)}_{n,p}$ に適応し、同じ閾値条件下でタイトなハミルトン閉路の存在を証明する。
• 確率的および極値的組合せ論的技法を用いて、吸収構造および接続構造の存在を検証する。
• スパarsなランダムグラフと構造的超グラフマッチングの相互作用に依存することで、強固な埋め込みを達成する。

実験結果

リサーチクエスチョン

• RQ1 確率 $p$ がどの程度であれば、$\mathcal{G}_{n,p}$ が漸近的にほとんど確実にハミルトン閉路の $k$ 乗を含むようになるか？
• RQ2 吸収法は超グラフへと拡張可能であり、$\mathcal{G}^{(k)}_{n,p}$ におけるタイトなハミルトン閉路の存在を証明できるか？
• RQ3 ハクセルの超グラフマッチング基準は、ランダムグラフおよび超グラフの文脈において接続補題をどのように強化できるか？
• RQ4 先行研究と比較して、閾値における対数因子をどの程度まで除去できるか？

主な発見

• ハミルトン閉路の $k$ 乗が $\mathcal{G}_{n,p}$ に漸近的にほとんど確実に現れるための閾値 $p^k \ge C \log^8 n / n$ が十分である。
• この結果は、クーハンとオストゥスの先行研究を改善し、閾値条件における対数因子を除去した。
• 同じ閾値条件下で、ランダム $k$-一様超グラフにおけるタイトなハミルトン閉路の存在を組合せ的証明で確立した。
• 接続補題はハクセルの超グラフマッチング基準を用いて証明され、吸収法フレームワーク内での複雑な頂点タプルの接続を可能にした。