[논문 리뷰] Asymptotics for Tur\'an numbers of cycles in 3-uniform linear hypergraphs

Beka Ergemlidze, Ervin Győri외 1명|arXiv (Cornell University)|2017. 05. 09.

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

한 줄 요약

이 논문은 3-균형 선형 초그래프에서 5사이클(C5)에 대한 渐近적 터런 수를 확립하며, 이는 $\frac{1}{3\sqrt{3}}n^{3/2}$로 渐近적으로 성립한다. 새로운 구성과 증명 기법을 도입하여, 선형 터런 수에서 C4와 {C3, C4}가 渐近적으로 동일하다는 것을 보이며, 고리 길이 제약 조건을 통해 선형 초그래프에서 홀수 길이의 선형 사이클에 대한 선형 터런 수와 극한 그래프 이론 사이의 연결 고리를 설정한다.

ABSTRACT

Let $\mathcal{F}$ be a family of $3$-uniform linear hypergraphs. The linear Tur\'an number of $\mathcal F$ is the maximum possible number of edges in a $3$-uniform linear hypergraph on $n$ vertices which contains no member of $\mathcal{F}$ as a subhypergraph. In this paper we show that the linear Tur\'an number of the five cycle $C_5$ (in the Berge sense) is $\frac{1}{3 \sqrt3}n^{3/2}$ asymptotically. We also show that the linear Tur\'an number of the four cycle $C_4$ and $\{C_3, C_4\}$ are equal asmptotically, which is a strengthening of a theorem of Lazebnik and Verstra\"ete. We establish a connection between the linear Tur\'an number of the linear cycle of length $2k+1$ and the extremal number of edges in a graph of girth more than $2k-2$. Combining our result and a theorem of Collier-Cartaino, Graber and Jiang, we obtain that the linear Tur\'an number of the linear cycle of length $2k+1$ is $\Theta(n^{1+\frac{1}{k}})$ for $k = 2, 3, 4, 6$.

연구 동기 및 목표

• 3-균형 선형 초그래프에서 5사이클(C5)에 대한 선형 터런 수의 渐近적 행동을 규명하는 것.
• 이전 결과를 강화하여, C3-자유 조건 없이도 C4의 선형 터런 수가 {C3, C4}의 선형 터런 수와 渐近적으로 동일하다는 것을 보이는 것.
• 3-균형 초그래프에서 홀수 길이의 선형 사이클에 대한 선형 터런 수와 고리 길이가 큰 그래프의 간선 수에 대한 극한 수의 간의 깊은 연결 고리를 설정하는 것.
• k = 2,3,4,6에 대해 선형 사이클 $2k+1$의 선형 터런 수에 대한 날카운 상한을 제공하여, 이는 $\Theta(n^{1+1/k})$임을 보이는 것.

제안 방법

• C5-자유 3-균형 선형 초그래프를 구성하기 위해, 서로소인 정점 집합 $L_t$, $R_t$ 및 중심 집합 $B$를 사용하며, $v_{i,j} \in B$에 대해 형태 $\{v_{i,j}, l_t^i, r_t^j\}$의 초간선을 포함한다.
• 선형 초그래프의 경로와 보조 이중 그래프 $G$의 간선 사이의 전단사 관계를 이용하여 초그래프 사이클과 그래프 사이클을 연결한다.
• 극한 그래프 이론 결과를 적용: $C_{2k-2}$-자유 이중 그래프 $G$에 $\Omega(z^\alpha)$개의 간선이 존재한다고 가정하여 초그래프 터런 수의 하한을 유도한다.
• 초그래프에 선형 $C_{2k+1}$-사이클이 존재할 경우, $G$에서 길이 $2k-1$ 이하의 사이클이 존재해야 한다는 모순을 유도하기 위해 $G$에서 회로를 구성하는 반증 기법을 사용한다.
• 기존의 극한 그래프 이론 결과(예: Collier-Cartaino 등)와 구성 결과를 결합하여 $\mathrm{ex}^\mathrm{lin}_3(n, C_{2k+1})$에 대한 날카운 상한을 도출한다.
• 홀수 길이의 선형 사이클은 보조 그래프에서 비어 있지 않은 회로를 보장하며, 이는 반증 기법에서 핵심적인 역할을 한다.

실험 결과

연구 질문

• RQ1 3-균형 선형 초그래프에서 5사이클 $C_5$에 대한 선형 터런 수의 渐近적 성장률은 무엇인가?
• RQ2 C3-자유 조건을 제거한 상황에서도, C4의 선형 터런 수가 {C3, C4}의 선형 터런 수와 渐近적으로 동일한가?
• RQ3 3-균형 초그래프에서 홀수 길이의 선형 사이클에 대한 선형 터런 수는 고리 길이가 큰 그래프의 간선 수와 어떻게 관련이 있는가?
• RQ4 극한 그래프 이론과의 연결 고리를 통해, k = 2,3,4,6에 대해 $\mathrm{ex}^\mathrm{lin}_3(n, C_{2k+1})$의 渐近적 행동을 규명할 수 있는가?

주요 결과

• C5에 대한 선형 터런 수는 $\frac{1}{3\sqrt{3}}n^{3/2} + O(n)$로 渐近적으로 성립하며, 새로운 구성과 새로운 상한 증명 기법을 통해 확립되었다.
• C4에 대한 선형 터런 수는 {C3, C4}에 대한 선형 터런 수와 渐近적으로 동일하며, 즉 $\frac{1}{6}n^{3/2} + O(n)$이다. 이는 C3-자유 조건이 渐近적 상한에 필요하지 않음을 보여준다.
• 선형 사이클 길이 $2k+1$에 대한 선형 터런 수와 $C_{2k-2}$-자유 이중 그래프에서의 간선 수의 극한 수 사이에 강력한 연결 고리가 설정되었다.
• k = 2,3,4,6에 대해, 선형 사이클 길이 $2k+1$에 대한 선형 터런 수는 $\Theta(n^{1+1/k})$이며, 초그래프 구성과 기존의 극한 그래프 결과를 결합하여 도출되었다.
• 증명은 초그래프의 경로에서 보조 이중 그래프에 회로를 구성하는 데 의존하며, 초그래프에 선형 $C_{2k+1}$-사이클이 존재할 경우, 이 회로는 길이 $2k-1$ 이하의 사이클을 포함해야 하며, 이는 모순을 유도한다.
• Bollobás와 Győri가 사용한 구성과는 달리, 이 초그래프 구성은 C5-자유 초그래프에 대해 동일한 渐近적 하한을 도출하지만, 훨씬 더 체계적이고 선형적인 성격을 지닌다.