[論文レビュー] A Dirac-type theorem for uniform hypergraphs

Yue Ma, Xinmin Hou+1 more|arXiv (Cornell University)|Apr 10, 2020

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

ひとこと要約

本稿は、$r$-一様超グラフにおける長さ $2k+1$ のBerger路およびサイクルの存在を保証するDirac型の最小次数条件を確立する。連結な$n$-頂点$r$-グラフが最小次数$inom{k}{r-1}$を超えるならば、長さ$2k+1$以上のBerger路を含むことが示され、$k > r \geq 4$および$n > 2k+1$のとき、極値的構成が明確に特定される。この結果は、超グラフへのDiracの定理の拡張であり、Bergeハミルトン路の境界を改善する。

ABSTRACT

Dirac (1952) proved that every connected graph of order $n>2k+1$ with minimum degree more than $k$ contains a path of length at least $2k+1$. Erdős and Gallai (1959) showed that every $n$-vertex graph $G$ with average degree more than $k-1$ contains a path of length $k$. The hypergraph extension of the Erdős-Gallai Theorem have been given by Győri, Katona, Lemons~(2016) and Davoodi et al.~(2018). Füredi, Kostochka, and Luo (2019) gave a connected version of the Erdős-Gallai Theorem for hypergraphs. In this paper, we give a hypergraph extension of the Dirac's Theorem: Given positive integers $n,k$ and $r$, let $H$ be a connected $n$-vertex $r$-graph with no Berge path of length $2k+1$. We show that (1) If $k> r\ge 4$ and $n>2k+1$, then $δ_1(H)\le\binom{k}{r-1}$. Furthermore, the equality holds if and only if $S'_r(n,k)\subseteq H\subseteq S_r(n,k)$ or $H\cong S(sK_{k+1}^{(r)},1)$; (2) If $k\ge r\ge 2$ and $n>2k(r-1)$, then $δ_1(H)\le \binom{k}{r-1}$. The result is also a Dirac-type version of the result of Füredi, Kostochka, and Luo. As an application of (1), we give a better lower bound of the minimum degree than the ones in the Dirac-type results for Berge Hamiltonian cycle given by Bermond et al.~(1976) and Clemens et al. (2016), respectively.

研究の動機と目的

• グラフから$r$-一様超グラフへのDiracの古典的経路存在定理の拡張。
• 連結$r$-グラフにおける長さ$2k+1$のBerge経路の存在を保証する最小次数閾値の特定。
• $k > r \geq 4$および$n > 2k+1$のとき、閾値に達する極値的超グラフの同定。
• 新しい経路存在閾値を応用して、超グラフにおけるBergeハミルトン路条件の下界を改善すること。

提案手法

• 頂点と辺の関係を用いて、$r$-一様超グラフにおけるBerge経路およびサイクルを定義する。
• 極値ケースを分析するため、極値的超グラフ構成$S_r(n,k)$、$S'_r(n,k)$、および$S(sK_{k+1}^{(r)},1)$を導入する。
• 最長Berge経路に関する次数の議論と構造的解析により、最小次数を評価する。
• 凸性および組合せ的不等式を用いて、最長Berge経路の端点の次数を評価する。
• 重要な補題を証明し、$n = t+1$かつ$\delta_1 > \binom{\lfloor t/2\rfloor}{r-1} + \lceil t/2 \rceil$のとき、高次の最小次数がBergeハミルトン路を強制することを示す。
• 背理法と頂点の分割を用いて、低次数仮定下で長大なBerge経路またはサイクルが存在しないことを除外する。

実験結果

リサーチクエスチョン

• RQ1 $r$-一様超グラフにおける、長さ$2k+1$のBerge経路の存在を保証する最小次数閾値は何か？
• RQ2 どの$r$-グラフにおいて、$\delta_1(H) \leq \binom{k}{r-1}$の境界がタイトであり、極値的構造は何か？
• RQ3 新しい経路存在閾値を用いて、Bergeハミルトン路のDirac型条件を改善できるか？
• RQ4 超グラフの連結性は、長大なBerge経路のための極値的次数閾値にどのように影響するか？
• RQ5 $S_r(n,k)$、$S'_r(n,k)$、および$S(sK_{k+1}^{(r)},1)$の構成が、極値的超グラフを同定する上で果たす役割は何か？

主な発見

• $k > r \geq 4$および$n > 2k+1$のとき、$H$が長さ$2k+1$のBerge経路を含まない連結$n$-頂点$r$-グラフならば、$\delta_1(H) \leq \binom{k}{r-1}$であり、等号成立は$S'_r(n,k) \subseteq H \subseteq S_r(n,k)$または$H \cong S(sK_{k+1}^{(r)},1)$のときに限る。
• $k \geq r \geq 2$および$n > 2k(r-1)$のとき、同じ境界$\delta_1(H) \leq \binom{k}{r-1}$が、長さ$2k+1$のBerge経路を含まない連結$r$-グラフに対して成り立つ。
• 極値的構成$S_r(n,k)$、$S'_r(n,k)$、および$S(sK_{k+1}^{(r)},1)$は、すべて最小次数がちょうど$\binom{k}{r-1}$であり、$2k$より長いBerge経路を含まない。
• 新たな補題により、$\delta_1(H) > \binom{\lfloor t/2\rfloor}{r-1} + \lceil t/2 \rceil$かつ$H$が連結で最長Berge経路長が$t$であるとき、$n = t+1$であり、$H$はBergeハミルトン路を含むことが示される。
• 以前のBergeハミルトン路の下界が改善される：$\delta_1(H) > \binom{k}{r-1} + k+1$のとき、$n = 2k+2$または$n = 2k+3$（偶奇に応じて）において$H$はBergeハミルトン路を含む。
• 本稿は、Diracの定理の超グラフへの拡張を確立し、一様超グラフにおけるBerge経路およびサイクルに対する最初のDirac型結果を提供する。