[論文レビュー] Hamiltonicity in randomly perturbed hypergraphs

Jie Han, Yi Zhao|arXiv (Cornell University)|Feb 13, 2018

Limits and Structures in Graph Theory参考文献 27被引用数 12

ひとこと要約

本稿は、ランダムに摂動された$k$-一様超グラフにおけるハミルトニシティの最初のタイトな閾値を確立し、最小1次度$\alpha n^{k-1}$の$k$-グラフが、$p \geq n^{-(k-\ell)-\epsilon}$（$\ell \geq 2$）または$p \geq Cn^{-(k-1)}$（$\ell=1$）である二項式ランダム$k$-グラフ$\mathbb{G}^{(k)}(n,p)$と結合された際に、ほとんど確実に$\ell$-ハミルトニアンであることを証明している。この結果は、クリーヴェリヴィッチ、クワン、スダコフが提起した問題を解決し、定数$\epsilon$と$C$の点で最適である。証明は、吸収パス、ランダム接続子、確率的数え上げを用いて、すべての頂点をカバーする$\ell$-サイクルを埋め込む。

ABSTRACT

For integers $k\ge 3$ and $1\le \ell\le k-1$, we prove that for any $α>0$, there exist $ε>0$ and $C>0$ such that for sufficiently large $n\in (k-\ell)\mathbb{N}$, the union of a $k$-uniform hypergraph with minimum vertex degree $αn^{k-1}$ and a binomial random $k$-uniform hypergraph $\mathbb{G}^{(k)}(n,p)$ with $p\ge n^{-(k-\ell)-ε}$ for $\ell\ge 2$ and $p\ge C n^{-(k-1)}$ for $\ell=1$ on the same vertex set contains a Hamiltonian $\ell$-cycle with high probability. Our result is best possible up to the values of $ε$ and $C$ and answers a question of Krivelevich, Kwan and Sudakov.

研究の動機と目的

• クライヴェリヴィッチ、クワン、スダコフが提起した、ボーマン–フリウズ–マーティンの結果を超グラフにおける$\ell$-ハミルトニシティに拡張する予想を解決すること。
• 密度の高い$k$-グラフと二項式ランダム$k$-グラフを組み合わせたランダムに摂動された超グラフモデルにおける$\ell$-ハミルトニシティの最適閾値を特定すること。
• 密度の高い部分に最小1次度$\alpha n^{k-1}$が存在し、スパースなランダム$k$-グラフと組み合わせることで、すべての$1 \leq \ell \leq k-1$に対して、ほとんど確実に$\ell$-ハミルトニアンであることを確立すること。
• ランダムエッジ確率$p$における定数$\epsilon$と$C$の点で、この結果がタイトであることを示し、閾値を著しく下げることはできないことの証明。

提案手法

• 確率的構成を用い、3段階の主なステップをとる：(1) レイマ3.2を用いてランダム接続子を特定し、(2) レイマ3.4を用いて吸収パスを構築し、(3) レイマ3.5を用いて残りの頂点をカバーする。
• 各$(k-\ell)$-集合がコア頂点集合$V_*$に$\beta^9 n$個の吸収子を持つように、吸収パス構成を採用し、残りの頂点を貪欲に吸収可能にする。
• 2段階のランダム接続子システムを採用：最初に${\mathcal{C}}_1$が$L$内の$\ell$-集合を接続し、次に${\mathcal{C}}_2$が吸収子とパスの端点を接続する。
• レフェリーのフィードバックを反映して改善された、正則性法に依存しない吸収補題を用いることで、複雑な正則性法を回避し、証明を簡素化し、理解を容易にする。
• 集中不等式と確率的数え上げを適用し、必要な接続子と吸収子がランダム超グラフ部品にほとんど確実に存在することを保証する。
• 決定論的およびランダムな要素を統合：密度の高い超グラフ$H$が最小次数を提供し、ランダム$\mathbb{G}^{(k)}(n,p)$がサイクルを閉じるのに必要なランダム性を供給する。

実験結果

リサーチクエスチョン

• RQ1 密度の高い$k$-グラフ（最小1次度$\alpha n^{k-1}$）と二項式ランダム$k$-グラフ$\mathbb{G}^{(k)}(n,p)$の和集合が、ほとんど確実に$\ell$-ハミルトニアンになる最小のランダムエッジ確率$p$は何か？
• RQ2 ランダムに摂動された$k$-グラフにおける$\ell$-ハミルトニシティの閾値を、完全にランダムな$k$-グラフにおける既知の閾値に一致させるようにタイトにできるか？
• RQ3 すべての$1 \leq \ell \leq k-1$に対して、スパースなランダム$k$-グラフと組み合わせた最小1次度条件が、$\ell$-ハミルトニシティに十分であるか？
• RQ4 正則性法に依存せずに、$k$-一様超グラフにおける$\ell$-サイクルに吸収法をどのように適応できるか？

主な発見

• 任意の$k \geq 3$、$1 \leq \ell \leq k-1$、$= 0$に対して、$\epsilon > 0$と$C > 0$が存在し、$p \geq n^{-(k-\ell)-\epsilon}$（$\ell \geq 2$）または$p \geq Cn^{-(k-1)}$（$\ell = 1$）のとき、$H \cup \mathbb{G}^{(k)}(n,p)$はほとんど確実に$\ell$-ハミルトニアンである。
• 閾値は定数$\epsilon$と$C$の点で最適であり、$\alpha n/k$のサイズの完全$k$-部グラフを用いた構成により、閾値未満では$\ell$-ハミルトニシティが阻害されることを示している。
• 証明は、3段階の確率的ステップでハミルトニアン$\ell$-サイクルを構築する：(1) ランダム接続子、(2) 吸収パス、(3) 残りの頂点をパスでカバーする。すべてのステップは、必要な構造物が高確率で存在することに依存する。
• 正則性法に依存しない吸収補題が構築され、著しく証明を簡素化し、査読者の助言に従って可読性が向上した。
• 結果はボーマン–フリウズ–マーティンの定理を超グラフへ拡張し、クライヴェリヴィッチ、クワン、スダコフが提起した、摂動超グラフにおける$\ell$-ハミルトニシティに関する未解決問題を解決した。
• 最終的な構成では、$2t_3\zeta n$以下のサイズの残りの頂点を、各$(k-\ell)$-集合あたり$\beta^9 n$個の吸収子を用いて吸収し、完全な$\ell$-サイクルの存在を保証する。