[논문 리뷰] Asymptotics for the Tur\'an number of Berge-$K_{2,t}$

Dániel Gerbner, Abhishek Methuku외 1명|arXiv (Cornell University)|2017. 05. 11.

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

한 줄 요약

이 논문은 3-균일 초그래프에서 Berge-$K_{2,t}$에 대한 渐近적 Turán 수를 결정하며, $t \geq 7$일 때 $ex_3(n, K_{2,t}) = (1+o(1))\frac{1}{6}(t-1)^{3/2}n^{3/2}$임을 보인다. 또한 $C_2$와 $K_{2,t}$를 모두 피하는 선형 3-균일 초그래프에 대한 渐近적 Turán 수를 확립하여 $ex_3(n, \{C_2, K_{2,t}\}) = (1+o_t(1))\frac{1}{6}\sqrt{t-1}\cdot n^{3/2}$임을 증명하며, 초그래프 매칭과 Turán 유형의 경계를 포함한 확률론적 및 극적 조합 기법을 사용한다.

ABSTRACT

Let $F$ be a graph. A hypergraph is called Berge-$F$ if it can be obtained by replacing each edge of $F$ by a hyperedge containing it. Let $\\mathcal{F}$ be a family of graphs. The Tur\\'an number of Berge-$\\mathcal{F}$ is the maximum possible number of edges in an $r$-uniform hypergraph on $n$ vertices containing no Berge-$F$ as a subhypergraph (for every $F \\in \\mathcal{F}$) and is denoted by $ex_r(n,\\mathcal{F})$. We determine the asymptotics for the Tur\\'an number of Berge-$K_{2,t}$ by showing $$ex_3(n,K_{2,t})=\\frac{1}{6}(t-1)^{3/2} \\cdot n^{3/2}(1+o(1))$$ for any given $t \\ge 7$. We study the analogous question for linear hypergraphs and show that $$ex_3(n,\\{C_2, K_{2,t}\\}) = \\frac{1}{6}\\sqrt{t-1} \\cdot n^{3/2}(1+o_{t}(1)).$$ We also prove general upper and lower bounds on the Tur\\'an numbers of a class of graphs including $ex_r(n, K_{2,t})$, $ex_r(n,\\{C_2, K_{2,t}\\})$, and $ex_r(n, C_{2k})$ for $r \\ge 3$. Our bounds improve results of Gerbner and Palmer, F\\"uredi and \\"Ozkahya, Timmons, and provide a new proof of a result of Jiang and Ma.

연구 동기 및 목표

• 3-균일 초그래프에서 Berge-$K_{2,t}$에 대한 Turán 수의 渐近적 행동을 결정하는 것.
• 선형 3-균일 초그래프에서 $C_2$와 $K_{2,t}$를 모두 피하는 Turán 수에 대한 날카운 상한을 확립하는 것.
• $r$-균일 Berge 초그래프에 대한 일반화된 경계를 제시하며, $ex_r(n, K_{2,t})$, $ex_r(n, \{C_2, K_{2,t}\})$, $r \geq 3$에 대해 $ex_r(n, C_{2k})$를 포함한다.
• Gerbner와 Palmer, Füredi와 Özkahya, Timmons, Jiang와 Ma의 이전 결과를 향상시키는 것.

제안 방법

• 그래프 $G$의 간선을 정점으로 하는 3-균일 초그래프 ${\mathcal{H}}$를 구성하여, $G$의 삼각형에 대응하는 초간선을 포함함으로써 Berge-$K_{2,t}$ 구성요소를 모델링하는 것.
• 삼각형 수를 세는 방법을 사용하여 ${\mathcal{H}}$의 초간선 수를 $G$의 삼각형 수와 연결하며, 선형성과 유한한 차수를 보장하는 것.
• Alon, Kim, Spencer의 초그래프 매칭 정리에 따라 수정된 초그래프 ${\mathcal{H}}'$에 큰 매칭 $M'$을 찾는 것.
• 간선-소속 삼각형의 매칭에서 유도된 Berge-$K_{2,t}$-자유 선형 초그래프를 구성함으로써 $ex_3(n, \{C_2, K_{2,t}\})$에 하한을 설정하는 것.
• 보조 그래프에서 클리크 수와 독립 수를 제어하기 위해 극적 그래프 이론과 Turán 유형의 경계를 사용하여, 초그래프가 금지된 Berge 부분초그래프를 피하도록 보장하는 것.
• $r$-균일 Berge 초그래프에 대한 일반적인 상한과 하한을 확률론적 및 조합 기법을 사용하여 증명하며, 차수와 밀도 제약 조건을 포함하는 것.

실험 결과

연구 질문

• RQ1 $t \geq 7$일 때, $ex_3(n, K_{2,t})$의 渐近적 성장률은 무엇인가?
• RQ2 선형 3-균일 초그래프에서 $C_2$와 $K_{2,t}$를 모두 피하는 Turán 수는 어떻게 渐近적으로 행동하는가?
• RQ3 $r$-균일 초그래프에 대해 $ex_r(n, K_{2,t})$, $ex_r(n, \{C_2, K_{2,t}\})$, $ex_r(n, C_{2k})$의 경계를 $r \geq 3$로 일반화할 수 있는가?
• RQ4 Gerbner와 Palmer, Füredi와 Özkahya, Timmons, Jiang와 Ma의 이전 결과와 비교하여 새로운 경계는 어떻게 되는가?

주요 결과

• $t \geq 7$일 때, 3-균일 초그래프에서 Berge-$K_{2,t}$의 Turán 수는 $ex_3(n, K_{2,t}) = (1+o(1))\frac{1}{6}(t-1)^{3/2}n^{3/2}$를 만족한다.
• 선형 3-균일 초그래프에서 $C_2$와 $K_{2,t}$를 모두 피하는 Turán 수는 $ex_3(n, \{C_2, K_{2,t}\}) = (1+o_t(1))\frac{1}{6}\sqrt{t-1}\cdot n^{3/2}$이다.
• 하한 구성은 $O(n^{3/2})$개의 간선을 가진 그래프 $G$에서 간선-소속 삼각형의 매칭을 사용하며, 이로 인해 두 삼각형이 간선을 공유하지 않도록 보장된다.
• 초그래프 매칭에 관한 정리를 활용하여 수정된 초그래프에서 $O(n^{3/2} \cdot \ln^{3/2}(t-1)/\sqrt{t-1})$개 이하의 정점을 제외한 모든 정점을 커버하는 매칭을 보장한다.
• Gerbner와 Palmer, Füredi와 Özkahya, Timmons, Jiang와 Ma의 이전 결과를 향상시키며, Jiang와 Ma의 결과에 대한 새로운 증명을 제공한다.
• asymptotic 경계는 하위항까지 정확하며 $t \geq 7$에 대해 모든 경우에 적용되며, $t = 3,4,5,6$일 때도 동일한 渐近적 행동이 성립할 것이라는 추측이 제기된다.