[논문 리뷰] General lemmas for Berge-Tur\'an hypergraph problems.

Dániel Gerbner, Abhishek Methuku외 1명|arXiv (Cornell University)|2018. 08. 31.

Limits and Structures in Graph Theory참고 문헌 25인용 수 20

한 줄 요약

이 논문은 베르지-투란 초그래프 문제에 대한 두 가지 일반적 보조정리를 제안하며, r-균일한 베르지-F-자유 초그래프에서 최대 초간선 수를 유계로 제시하는 통합 프레임워크를 제공한다. 이 보조정리는 경로, 사이클, 심지어 θ-그래프, K_{2,t}, 클리크, 트리 등 다양한 그래프 F에 대해 개선되거나 새로운 유계를 도출한다. 특히 r=3이고 k≥6 또는 n이 충분히 클 경우 정확한 결과를 도출한다.

ABSTRACT

For a graph $F$, a hypergraph $\\mathcal{H}$ is a Berge copy of $F$ (or a Berge-$F$ in short), if there is a bijection $f : E(F) \ ightarrow E(\\mathcal{H})$ such that for each $e \\in E(F)$ we have $e \\subset f(e)$. A hypergraph is Berge-$F$-free if it does not contain a Berge copy of $F$. We denote the maximum number of hyperedges in an $n$-vertex $r$-uniform Berge-$F$-free hypergraph by $\\mathrm{ex}_r(n,\ extrm{Berge-}F).$ In this paper we prove two general lemmas concerning the maximum size of a Berge-$F$-free hypergraph and use them to establish new results and improve several old results. In particular, we give bounds on $\\mathrm{ex}_r(n,\ extrm{Berge-}F)$ when $F$ is a path (reproving a result of Gy\\H{o}ri, Katona and Lemons), a cycle (extending a result of F\\"uredi and \\"Ozkahya), a theta graph (improving a result of He and Tait), or a $K_{2,t}$ (extending a result of Gerbner, Methuku and Vizer). We also establish new bounds when $F$ is a clique (which implies extensions of results by Maherani and Shahsiah and by Gy\\'arf\\'as) and when $F$ is a general tree.

연구 동기 및 목표

• 베르지-투란 초그래프 문제에 대한 기존 접근법을 통합하고 강화하는 일반적 보조정리를 개발하기 위해.
• 경로, 사이클, 트리 등 다양한 그래프 F에 대해 ex_r(n, Berge-F)의 기존 유계를 개선하거나 재증명하기 위해.
• 특히 r=3 및 k≥4일 때, ex_r(n, Berge-K_k)의 정확하거나 날카운 점근적 유계를 확립하기 위해.
• Turán 초그래프 T_r(n,k-1)이 베르지-K_k-자유 초그래프에서 초간선 수를 최대화하는 시점인 임계점 n_0(k,r)을 명확히 하기 위해.

제안 방법

• 베르지-F-자유 초그래프를 표현하기 위해 빨간색-파란색 간선 색칠 모델을 도입하며, 빨간색 간선은 그래프 간선을, 파란색 간선은 초간선 확장의 가능성을 나타낸다.
• 함수 g_r(G) = e(G_\text{red}) + N(K_r, G_\text{blue})를 정의하여, 이는 F-자유 빨간색-파란색 그래프 G에 대응하는 임의의 베르지-F-자유 초그래프의 크기를 상한으로 제시한다.
• 보조정리 2를 증명한다: 임의의 r-균일한 베르지-F-자유 초그래프 H는 |H| ≤ g_r(G)를 만족하는 F-자유 빨간색-파란색 그래프 G와 관련지을 수 있다.
• 정리 19를 사용하여 F-자유 빨간색-파란색 그래프 G에 대해 g_r(G)를 최대화함으로써 ex_r(n, Berge-F)를 유계로 제시하고, 극값 유계를 이끌어낸다.
• 귀납법과 투란 유형의 극값 결과를 적용하여, k > r+2일 때 Turán 그래프 T_2(n,k-1)이 g_r(G)를 최대화함을 보이며, 이는 ex_r(n, Berge-K_k) = |T_r(n,k-1)|임을 의미한다.
• 사례 분석과 알려진 극값 그래프 이론을 활용하여, n과 k가 작은 경우, 특히 n=5, k=5 및 n=5, k=4에 대해 ex_3(n, Berge-K_k)의 정확한 값을 도출한다.

실험 결과

연구 질문

• RQ1 주어진 그래프 F에 대해 r-균일한 베르지-F-자유 초그래프에서 최대 초간선 수는 얼마인가?
• RQ2 일반적 보조정리는 ex_r(n, Berge-F)에 대한 기존 유계를 어떻게 통합하고 개선할 수 있는가?
• RQ3 Turán 초그래프 T_r(n,k-1)이 베르지-K_k-자유 초그래프에서 최적일 때 n와 k의 값은 무엇인가?
• RQ4 특히 n < k일 때, ex_3(n, Berge-K_k)의 정확한 값은 무엇인가?
• RQ5 빨간색-파란색 그래프 G의 구조는 베르지-F-자유 초그래프의 극값 크기와 어떻게 관련이 있는가?

주요 결과

• 함수 g_r(G) = e(G_\text{red}) + N(K_r, G_\text{blue})는 ex_r(n, Berge-F)에 대한 상한을 제공하며, G가 F-자유일 경우 등호가 성립할 수 있다.
• k > r+2일 때, 모든 n에 대해 Turán 초그래프 T_r(n,k-1)은 r-균일한 베르지-K_k-자유 초그래프에서 최대 초간선 수를 달성한다.
• r=3일 때, 모든 n과 k≥4에 대해 ex_3(n, Berge-K_k)의 정확한 값이 도출되며, ex_3(5, Berge-K_5) = 9 이고 ex_3(5, Berge-K_4) = 5 이다.
• n < k일 때, ex_r(n, Berge-K_k) = \binom{n}{r} 이다. 왜냐하면 n개 정점에서 구성된 완전한 r-균일 초그래프가 베르지-K_k-자유이기 때문이다.
• k = r+1 또는 k = r+2일 때, 작은 n(예: n = k)에서는 Turán 초그래프 T_r(n,k-1)이 최적이 아니다. 이 경우 완전한 초그래프가 더 많은 초간선을 가진다.
• Turán 초그래프 T_r(n,k-1)이 베르지-K_k-자유 초그래프에서 최적일 수 있는 임계점 n_0(k,r)은 k = r+2일 때 r + log r + O(1) 이하로 유계가 된다.