[논문 리뷰] Tur\'an numbers for Berge-hypergraphs and related extremal problems

Cory Palmer, Michael Tait외 2명|arXiv (Cornell University)|2017. 06. 13.

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

한 줄 요약

이 논문은 베르그-하이퍼그래프의 투란 수에 대해 새로운 상한과 하한을 확립하며, 특히 완전 이분 그래프 $K_{s,t}$인 베르그-$F$의 경우를 다루고, 베르그-$C_3$ 또는 $C_4$가 없는 3-균일 하이퍼그래프의 수에 대해 점점 더 정확한 공식을 증명한다. 이는 기존의 $\frac{1}{6}n^{3/2}+o(n^{3/2})$ 결과와 일치한다. 연구는 베르그-하이퍼그래프의 극한 함수, 하이퍼그래프 확장, 그리고 그래프 내 부분그래프 수 계산 간의 연결을 다룬다.

ABSTRACT

Let $F$ be a graph. We say that a hypergraph $H$ is a {\\it Berge}-$F$ if there is a bijection $f : E(F) \ ightarrow E(H )$ such that $e \\subseteq f(e)$ for every $e \\in E(F)$. Note that Berge-$F$ actually denotes a class of hypergraphs. The maximum number of edges in an $n$-vertex $r$-graph with no subhypergraph isomorphic to any Berge-$F$ is denoted $\\ex_r(n,\ extrm{Berge-}F)$. In this paper we establish new upper and lower bounds on $\\ex_r(n,\ extrm{Berge-}F)$ for general graphs $F$, and investigate connections between $\\ex_r(n,\ extrm{Berge-}F)$ and other recently studied extremal functions for graphs and hypergraphs. One case of specific interest will be when $F = K_{s,t}$. Additionally, we prove a counting result for $r$-graphs of girth five that complements the asymptotic formula $\ extup{ex}_3 (n , \ extrm{Berge-}\\{ C_2 , C_3 , C_4 \\} ) = \\frac{1}{6} n^{3/2} + o( n^{3/2} )$ of Lazebnik and Verstra\\"{e}te [{\\em Electron.\\ J. of Combin}. {\\bf 10}, (2003)].

연구 동기 및 목표

• 일반적인 그래프 $F$와 $r\geq 3$의 균일성에 대해 투란 수 $\mathrm{ex}_r(n,\text{Berge-}F)$에 대해 날것 있는 상한과 하한을 확립하는 것.
• 특히 $F$의 색수에 따라 비퇴화 및 퇴화 경우를 기준으로 $\mathrm{ex}_r(n,\text{Berge-}F)$, $\mathrm{ex}_r(n,F^+)$, 그리고 $\mathrm{ex}(n,K_r,F)$ 간의 관계를 조사하는 것.
• 베르그-$C_3$ 또는 $C_4$가 없는 5-둘레의 $r$-균일 하이퍼그래프의 수에 대해 점점 더 정확한 공식을 증명하여 라제브닉과 버스트라에테의 이전 결과를 보완하는 것.

제안 방법

• 정점 순서와 차수 시퀀스에 기반한 세는 방법을 사용하여 베르그-$\mathcal{B}_4$-자유 하이퍼그래프의 수를 제한한다.
• 보조 그래프에서 독립 집합에 대한 레마를 통해 클라이트만-윈스턴 컨테이너 방법을 적용하여 유효한 정점 부착 수를 제어한다.
• 새로운 정점의 이웃을 제약하기 위해, 하이퍼그래프 내 길이 2의 경로를 나타내는 간선을 가진 $i$개 정점에서 구성된 보조 그래프 $H_i$를 정의한다.
• 파rameter $\beta = i^{-1/3}\log i$, $R = i/d_i$, $q = i^{1/3}$를 사용하여 컨테이너 레마를 적용하여 $H_i$의 크기가 $d_i$인 독립 집합의 수를 제한한다.
• 차수 시퀀스에 대한 곱의 경계를 통해 $m$개 간선과 둘레가 5인 $r$-그래프의 수 $f_r(n,\mathcal{B}_4,m)$에 대한 상한을 유도한다.
• 최종 지수 경계를 $m$과 $n$의 관점에서 단순화하기 위해 볼록성과 로그 추정을 활용한다.

실험 결과

연구 질문

• RQ1 다양한 그래프 $F$에 대해 $\mathrm{ex}_r(n,\text{Berge-}F)$, $\mathrm{ex}_r(n,F^+)$, $\mathrm{ex}(n,K_r,F)$의 점점 더 정확한 행동은 어떻게 비교되는가?
• RQ2 3-균일 하이퍼그래프에 대해 $\mathrm{ex}_3(n,\text{Berge-}\{C_2,C_3,C_4\})$의 점점 더 정확한 행동은 무엇인가?
• RQ3 $\mathrm{ex}(n,K_r,F)$, $\mathrm{ex}_r(n,\text{Berge-}F)$, $\mathrm{ex}_r(n,F^+)$의 세 극한 함수가 점점 더 정확하게 동일한 성장을 보이는 그래프 $F$는 무엇인가?
• RQ4 베르그-$C_3$ 또는 $C_4$가 없는 5-둘레의 $r$-균일 하이퍼그래프에 최대 몇 개의 간선이 존재할 수 있는가?
• RQ5 $F$의 색수는 $\mathrm{ex}_r(n,\text{Berge-}F)$의 점점 더 정확한 행동에 어떻게 영향을 미치는가?

주요 결과

• 만일 $F=K_{s,t}$이고 $t\geq s\geq 3$이면, 논문은 $\mathrm{ex}_3(n,\text{Berge-}K_{s,t})=O(n^{3-3/s})$를 확립하며, 이는 $K_{s,t}^+$의 확장에 대해 알려진 경계와 일치한다.
• 점점 더 정확한 공식 $\mathrm{ex}_3(n,\text{Berge-}\{C_2,C_3,C_4\})=\frac{1}{6}n^{3/2}+o(n^{3/2})$는 이러한 하이퍼그래프의 수에 대한 세는 결과와 함께 보완된다.
• $\chi(F)>r$인 그래프 $F$에 대해, 세 극한 함수 $\mathrm{ex}(n,K_r,F)$, $\mathrm{ex}_r(n,\text{Berge-}F)$, $\mathrm{ex}_r(n,F^+)$는 점점 더 정확하게 동일한 성장을 보이며, 모두 $\sim\binom{k-1}{r}(\frac{n}{k-1})^r$를 만족한다. 여기서 $k=\chi(F)$이다.
• 간선 수 $m$인 5-둘레의 $r$-균일 하이퍼그래프의 수는 $\mathrm{exp}\left(n^{4/3}\log^3 n + (\log n + O(1))\sum d_i - 2\sum d_i\log d_i\right)$로 제한되며, 이는 $\mathrm{exp}(n^{4/3}\log^3 n - 2m\log(m/n) + o(m\log m))$로 단순화된다.
• 컨테이너 레마를 통해 유도된 $\mathrm{ind}(H_i,d_i)$의 경계는 $\mathrm{ind}(H_i,d_i)\leq \binom{i}{i^{1/3}}\binom{i/d_i}{d_i - i^{1/3}}$이며, 이는 유효한 하이퍼그래프 확장 수를 제어하는 데 사용된다.
• 마지막으로 $f_r(n,\mathcal{B}_4,m)$에 대한 경계는 $\mathrm{exp}(n^{4/3}\log^3 n + O(m\log n) - 2m\log(m/n))$로 나타나지며, 이는 베르그-$\mathcal{B}_4$-자유 하이퍼그래프의 수에 대해 날것 있는 추정을 제공한다.