[論文レビュー] Loose Hamiltonian cycles forced by large $(k-2)$-degree - sharp version

Josefran de Oliveira Bastos, Guilherme Oliveira Mota+3 more|arXiv (Cornell University)|May 9, 2017

Limits and Structures in Graph Theory被引用数 2

ひとこと要約

本稿は、$k \geq 4$ および $1 \leq \ell < k/2$ の場合に、$k$-uniformハイパーグラフにおけるハミルトニアン $\ell$-サイクルの存在を保証する鋭い最小 $(k-2)$-次数条件を確立する。HanとZhaoによる3-一様ハイパーグラフの結果を拡張する。著者らは、特定の極値ハイパーグラフ $X_{k,\ell}(n)$ の $(k-2)$-次数を超えるならばハミルトニアン $\ell$-サイクルが存在することを証明し、次数および埋め込み技法を用いた非極値および極値ケースの解析により、このパrameter範囲における問題を解決する。

ABSTRACT

We prove for all $k\geq 4$ and $1\leq\ell

研究の動機と目的

• $k \geq 4$ および $1 \leq \ell < k/2$ の場合に、$k$-一様ハイパーグラフにおけるハミルトニアン $\ell$-サイクルの存在を保証する鋭い最小 $(k-2)$-次数閾値を同定すること。
• HanとZhaoによる3-一様ハイパーグラフの鋭い結果を、より高い一様性に拡張すること。
• 極値ケースを解消するため、閾値に非常に近いがハミルトニアン $\ell$-サイクルを含まないハイパーグラフを特徴付けること。
• $k$-一様ハイパーグラフの $(k-2)$-次数が極値構成 $X_{k,\ell}(n)$ のそれより大きいならば、ハミルトニアン $\ell$-サイクルが存在することを証明すること。

提案手法

• 証明は、頂点集合を特定のサイズ制約を満たす集合 $A$ と $B$ に分割する基準に基づき、非極値および極値ハイパーグラフの2つのケースに分ける。
• 非極値ケースでは、閾値よりわずかに低い次数条件を用い、安定性型の議論を適用して $\ell$-サイクルを構成する。
• 極値ケースでは、辺が小さな集合 $A$ に集中し、$B$ 上の誘導部分ハイパーグラフが疎であるような $(\ell, \xi)$-極値ハイパーグラフを定義する。
• Corollary 8 を用いた反復的パス拡張により $\ell$-パスを接続し、最終的なパスの両端がサイクルに閉じ込められることを保証する。
• 主要な道具には、$\ell$-集合上の次数条件、$\varepsilon$-典型性、および典型および非典型集合に接続する辺の数の上限が含まれる。
• 構成は、$A$ と $B$ の頂点を用いた反復的パス結合に依存し、残りの頂点集合のサイズを制御することで、次数条件を維持する。

実験結果

リサーチクエスチョン

• RQ1 $k \geq 4$ および $1 \leq \ell < k/2$ の場合に、$k$-一様ハイパーグラフにおけるハミルトニアン $\ell$-サイクルの存在を保証する鋭い最小 $(k-2)$-次数条件は何か？
• RQ2 極値構成 $X_{k,\ell}(n)$ を用いて、ハミルトニアン $\ell$-サイクルが保証される閾値を超える構造を特徴付けることができるか？
• RQ3 ハイパーグラフの構造、特に辺が小さな集合に集中するという点が、ハミルトニアン $\ell$-サイクルの存在に与える影響は何か？
• RQ4 どのような次数条件が、ハイパーグラフが極値でなくなり、したがって $\ell$-サイクルの構成的埋め込みを許容することを保証するか？
• RQ5 どのような条件下で、$\ell$-パスを制御された頂点の追加およびパスの接続によりハミルトニアン $\ell$-サイクルに拡張できるか？

主な発見

• 本稿は、すべての $k \geq 4$ および $1 \leq \ell < k/2$ に対して、$n \geq n_0$ 頂点、$n \in (k-\ell)\mathbb{N}$ を満たす $k$-一様ハイパーグラフ $H$ が $\delta_{k-2}(H) > \delta_{k-2}(X_{k,\ell}(n))$ を満たすならば、ハミルトニアン $\ell$-サイクルを含むことを確立した。
• 最小 $(k-2)$-次数閾値は鋭いものであり、極値ハイパーグラフ $X_{k,\ell}(n)$ はこの境界に達しているが、ハミルトニアン $\ell$-サイクルを含まない。
• 非極値ケースは、閾値よりわずかに低い次数条件でも反復的パス構成によりハミルトニアン $\ell$-サイクルが強制されることを示すことによって解決された。
• 極値ケースでは、$H$ が $(\ell, \xi)$-極値であり、かつその $(k-2)$-次数が $X_{k,\ell}(n)$ のそれより大きいならば、$H$ はハミルトニアン $\ell$-サイクルを含むことを証明した。
• $\ell$-パスの構成は、Corollary 8 を用いた反復的結合により行われ、最終的なパスの両端がサイクルに閉じ込められることを保証する。
• 証明は、残りの頂点集合のサイズを制御し、$A$ および $B$ における次数条件を構成の全過程にわたり維持することに依存しており、最終的なパスがサイクルに完成できることを保証する。