[논문 리뷰] Cycles of given lengths in hypergraphs

Tao Jiang, Jie Ma|arXiv (Cornell University)|2016. 09. 26.

Limits and Structures in Graph Theory참고 문헌 21인용 수 5

한 줄 요약

이 논문은 초그래프에서 사이클 길이를 연구하기 위해 새로운 조합론적 보조정리를 도입하며, 평균 차수 $\Omega(k^{r-1})$를 가진 $r$-균일 초그래프는 $k$개의 연속된 길이를 가진 버르스테의 사이클을 포함함을 증명한다. 이는 버르스테의 추측을 확인하는 것으로, 버르스테의 추측을 확인한다. 이 방법은 또한 버르스테 사이클에 대한 투런 수에 대한 날카운 경계를 도출하고, 짝수 사이클에 대한 차르앙키에비츠 수를 향상시킨다.

ABSTRACT

In this paper, we develop a method for studying cycle lengths in hypergraphs. Our method is built on earlier ones used in [21,22,18]. However, instead of utilizing the well-known lemma of Bondy and Simonovits [4] that most existing methods do, we develop a new and very simple lemma in its place. One useful feature of the new lemma is its adaptiveness for the hypergraph setting. Using this new method, we prove a conjecture of Verstraëte [37] that for $r\ge 3$, every $r$-uniform hypergraph with average degree $Ω(k^{r-1})$ contains Berge cycles of $k$ consecutive lengths. This is sharp up to the constant factor. As a key step and a result of independent interest, we prove that every $r$-uniform linear hypergraph with average degree at least $7r(k+1)$ contains Berge cycles of $k$ consecutive lengths. In both of these results, we have additional control on the lengths of the cycles, which therefore also gives us bounds on the Turán numbers of Berge cycles (for even and odd cycles simultaneously). In relation to our main results, we obtain further improvements on the Turán numbers of Berge cycles and the Zarankiewicz numbers of even cycles. We will also discuss some potential further applications of our method.

연구 동기 및 목표

• $r$-균일 초그래프에서 $k$개의 연속된 버르스테 사이클 길이가 존재한다는 버르스테의 추측을 해결하기.
• 고전적인 본디-시몬وفي츠 보조정리를 대체할 수 있는 새로운, 적응형 보조정리를 초그래프 사이클 문제에 도입하기.
• 버르스테 사이클에 대한 투런 수에 대한 날카운 경계를 확립하고, 짝수 사이클에 대한 차르앙키에비츠 수를 향상시키기.
• 결과를 선형 초그래프로 확장하고 선형 사이클 및 레인보우 투런 문제에의 응용을 탐색하기.

제안 방법

• 사이클 길이 최적화 문제에서 본디-시몬وفي츠 보조정리를 대체할 수 있는 새로운, 단순하고 초그래프에 적응 가능한 보조정리를 도입하기.
• 새로운 보조정리를 사용하여 평균 차수가 $7r(k+1)$ 이상인 $r$-균일 선형 초그래프가 $k$개의 연속된 버르스테 사이클 길이를 포함함을 증명하기.
• 이 방법을 적용하여 $k$개의 연속된 길이를 가진 버르스테 사이클에 대한 투런 수 $\mathrm{ex}_r(n,\{C_\ell^{\text{Berge}}\}_{\ell=k}^{k+\ell-1})$에 대한 날카운 경계를 도출하기.
• 이 방법을 활용해 짝수 사이클에 대한 차르앙키에비츠 수에 대한 기존 알려진 상한을 향상시키기.
• 이 방법을 선형 초그래프에 적응시켜 평균 차수 $\Omega(k)$로도 $k$개의 연속된 선형 사이클이 존재함을 보여주기.
• 귀납법과 간선 제거 논증을 사용하여 $k$-사이클을 포함하지 않는 부분초그래프에 속한 초간선의 수를 경계하기.

실험 결과

연구 질문

• RQ1 $r$-균일 초그래프에서 $k$개의 연속된 버르스테 사이클 길이를 보장하기 위한 최소 평균 차수는 얼마인가?
• RQ2 본디-시몬وفي츠 보조정리보다 초그래프 환경에 더 적응 가능한 새로운 조합론적 보조정리를 구성할 수 있는가?
• RQ3 $k$개의 연속된 길이를 가진 버르스테 사이클에 대한 최대한의 투런 수 경계는 무엇인가?
• RQ4 이 방법을 선형 초그래프의 선형 사이클으로 확장할 수 있는가?
• RQ5 이 방법은 짝수 사이클에 대한 레인보우 투런 문제에 기여할 수 있는가?

주요 결과

• 논문은 버르스테의 추측을 확인한다: 평균 차수가 $\Omega(k^{r-1})$인 모든 $r$-균일 초그래프는 $k$개의 연속된 길이를 가진 버르스테 사이클을 포함한다.
• 선형 $r$-균일 초그래프의 경우, 평균 차수가 $7r(k+1)$ 이상이면 $k$개의 연속된 버르스테 사이클 길이가 존재함을 보장한다.
• 이 방법은 $k$개의 연속된 길이를 가진 버르스테 사이클에 대한 투런 수에 대해 날카운 경계를 도출하며, 기존 결과를 향상시킨다.
• 이 접근법은 짝수 사이클에 대한 차르앙키에비츠 수 상한의 계수를 향상시켜 이전 알려진 값보다 낮춘다.
• 이 방법은 선형 사이클으로 확장되며, 선형 $r$-그래프에서 평균 차수 $\Omega(k)$로도 $k$개의 연속된 선형 사이클이 존재함을 보여준다.
• 결과는 $k$개의 연속된 버르스테 사이클을 포함하기 위한 최소 평균 차수 $f_r(k)$가 $\Theta(k^{r-1})$임을 시사하며, 이는 추측된 하한과 정확히 일치한다.