[논문 리뷰] A Dirac-type theorem for uniform hypergraphs

Yue Ma, Xinmin Hou외 1명|arXiv (Cornell University)|2020. 04. 10.

Limits and Structures in Graph Theory참고 문헌 19인용 수 4

한 줄 요약

이 논문은 $r$-균일 초그래프에서 장거리 베르그 경로와 사이클의 존재를 보장하기 위해 디랙 유형의 최소 차수 조건을 설정한다. 연결된 $n$-정점 $r$-그래프가 최소 차수 $\binom{k}{r-1}$를 초과할 경우, 길이 $2k+1$ 이상의 베르그 경로를 포함함을 증명한다. $k > r \geq 4$ 및 $n > 2k+1$인 경우, 극한 구조가 정확히 특징지어지며, 결과는 디랙의 정리에서 초그래프로 확장되며, 베르그 해밀턴 사이클에 대한 기존의 경계를 향상시킨다.

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$-균일 초그래프로 확장하기.
• 연결된 $r$-그래프에서 길이 $2k+1$의 베르그 경로 존재를 보장하는 최소 차수 임계값을 규명하기.
• $k > r \geq 4$ 및 $n > 2k+1$ 조건에서 임계값을 달성하는 극한 초그래프를 특징짓기.
• 새로운 경로 존재 임계값을 활용해 초그래프에서의 베르그 해밀턴 사이클 조건에 대한 하한을 향상시키기.

제안 방법

• 정점-간선 소속 관계를 이용해 $r$-균일 초그래프에서의 베르그 경로와 사이클를 정의한다.
• 극한 케이스 분석을 위해 극한 초그래프 구조 $S_r(n,k)$, $S'_r(n,k)$, $S(sK_{k+1}^{(r)},1)$를 도입한다.
• 가장 긴 베르그 경로에 대한 차수 분석과 구조적 분석을 통해 최소 차수를 근사한다.
• 볼록성과 조합 부등식을 적용해 가장 긴 베르그 경로의 끝점의 차수를 근사한다.
• 핵심 보조정리를 증명하여, $n = t+1$ 이고 $\delta_1 > \binom{\lfloor t/2\rfloor}{r-1} + \lceil t/2 \rceil$일 경우 높은 최소 차수는 베르그 해밀턴 사이클을 유도함을 보인다.
• 모순과 정점 분할 기법을 사용해 낮은 차수 조건 하에서 장거리 베르그 경로 또는 사이클가 존재하지 않음을 배제한다.

실험 결과

연구 질문

• RQ1 $r$-균일 초그래프에서 길이 $2k+1$의 베르그 경로를 보장하는 최소 차수 임계값은 무엇인가?
• RQ2 어떤 $r$-그래프에서 $\delta_1(H) \leq \binom{k}{r-1}$가 최적인지, 그리고 극한 구조는 무엇인가?
• RQ3 새로운 경로 존재 임계값을 활용해 베르그 해밀턴 사이클에 대한 디랙 유형 조건을 향상시킬 수 있는가?
• RQ4 초그래프의 연결성이 장거리 베르그 경로에 대한 극한 차수 임계값에 미치는 영향은 무엇인가?
• 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$ 이상의 베르그 경로를 포함하지 않는 연결된 $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$ 이상의 베르그 경로를 포함하지 않는 연결된 $r$-그래프에 대해 성립한다.
• 극한 구조 $S_r(n,k)$, $S'_r(n,k)$, $S(sK_{k+1}^{(r)},1)$는 모두 최소 차수 정확히 $\binom{k}{r-1}$를 가지며, 길이 $2k$를 초월하는 베르그 경로를 포함하지 않는다.
• 새로운 보조정리에 따르면, $\delta_1(H) > \binom{\lfloor t/2\rfloor}{r-1} + \lceil t/2 \rceil$ 이고 $H$가 연결되어 있으며 가장 긴 베르그 경로 길이가 $t$일 경우, $n = t+1$ 이고 $H$는 베르그 해밀턴 사이클을 포함한다.
• 이 결과는 이전의 베르그 해밀턴 사이클 하한을 향상시킨다: $\delta_1(H) > \binom{k}{r-1} + k+1$ 이면, $n = 2k+2$ 또는 $n = 2k+3$일 경우, 짝수/홀수 여부에 따라 $H$는 베르그 해밀턴 사이클을 포함한다.
• 논문은 디랙의 정리를 초그래프로 확장하여, 균일 초그래프에서의 베르그 경로와 사이클에 대한 첫 번째 디랙 유형 결과를 제공한다.