[논문 리뷰] On the number of linear hypergraphs of large girth

József Balogh, Lina Li|arXiv (Cornell University)|2017. 09. 12.

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

한 줄 요약

이 논문은 큰 둘레를 가진 $r$-균일 선형 초그래프의 수에 대한 날카운 상계를 확립한다. $r \geq 3$ 및 $\ell \geq 4$일 때, 이러한 초그래프의 수는 $2^{Cn^{1+1/\lfloor \ell/2 \rfloor}}$ 이하이며, $\ell=4$일 경우 더 강력한 상계 $2^{Cn^{3/2}}$를 얻는다. 이 방법은 초그래프 수를 세는 문제를 그래프 수를 세는 문제로 환원하기 위해 초그래프 컨테이너 방법의 변종과 색채 그래프 분석을 사용하며, Kleitman과 Winston의 $C_4$-free 그래프에 대한 결과를 확장한다.

ABSTRACT

An $r$-uniform extit{linear cycle} of length $\ell$, denoted by $C_{\ell}^r$, is an $r$-graph with edges $e_1, \ldots, e_{\ell}$ such that for every $i\in [\ell-1]$, $|e_i\cap e_{i+1}|=1$, $|e_{\ell}\cap e_1|=1$ and $e_i\cap e_j=\emptyset$ for all other pairs $\{i, j\},\ i eq j$. For every $r\geq 3$ and $\ell\geq 4$, we show that there exists a constant $C$ depending on $r$ and $\ell$ such that the number of linear $r$-graphs of girth $\ell$ is at most $2^{Cn^{1+1/\lfloor \ell/2 floor}}$. Furthermore, we extend the result for $\ell=4$, proving that there exists a constant $C$ depending on $r$ such that the number of linear $r$-graphs without $C_{4}^r$ is at most $2^{Cn^{3/2}}$. The idea of the proof is to reduce the hypergraph enumeration problems to some graph enumeration problems, and then apply a variant of the graph container method, which may be of independent interest. We extend a breakthrough result of Kleitman and Winston on the number of $C_4$-free graphs, proving that the number of graphs containing at most $n^2/32\log^6 n$ $C_4$'s is at most $2^{11n^{3/2}}$, for sufficiently large $n$. We further show that for every $r\geq 3$ and $\ell\geq 2$, the number of graphs such that each of its edges is contained in only $O(1)$ cycles of length at most $2\ell$, is bounded by $2^{3(\ell+1)n^{1+1/\ell}}$ asymptotically.

연구 동기 및 목표

• 고정된 길이 $\ell$의 선형 순환을 포함하지 않는 $r$-균일 선형 초그래프의 점 渐진 수를 결정하는 것.
• $C_4^r$-free 선형 초그래프의 수에 대해 기존의 자명한 상계를 개선하여 날카운 상계를 확립하는 것.
• 초그래프에 대해 컨테이너 방법의 새로운 응용을 통해 Kleitman과 Winston의 $C_4$-free 그래프 결과를 초과하는 것.
• 그림자 그래프 분석과 순환 포함 구조를 연구함으로써 큰 둔부를 가진 선형 초그래프의 구조를 분석하는 것.

제안 방법

• 큰 둘레를 가진 $r$-균일 선형 초그래프의 수를 세는 문제를, 4-사이클과 $r$-클리크의 수가 제한된 그래프의 수를 세는 문제로 환원하는 것.
• 초그래프의 그림자 그래프를 분석함으로써 초그래프 컨테이너 방법의 변종을 사용하여 이러한 초그래프의 수를 상계하는 것.
• 모든 4-사이클이 $C_4^r$-free 초그래프의 그림자 그래프에서 초모서리 또는 $C_3^r$ 안에 포함되어야 한다는 구조적 보조정리를 적용하는 것.
• 선형성과 둘레 조건에서 유도된 차수 및 교차 제약 조건을 사용하여 그림자 그래프 내의 $r$-클리크 수를 상계하는 것.
• 4-사이클 수가 적은 $C_4$-free 그래프에 대한 결과를 활용하여 가능한 그림자 그래프의 수를 상계하는 것.
• 그림자 그래프의 수와 각 그림자 그래프당 초모서리 수의 상계를 조합하여 최종 지수 상계를 도출하는 것.

실험 결과

연구 질문

• RQ1 고정된 $r \geq 3$ 및 $\ell \geq 4$에 대해, $n$개 정점에서 둘레 $\ell$을 가진 $r$-균일 선형 초그래프의 최대 수는 얼마인가?
• RQ2 $C_4^r$-free 선형 $r$-그래프의 수가 기존의 자명한 지수 상계보다 더 날카롭게 상계될 수 있는가?
• RQ3 선형 초그래프의 그림자 그래프 내의 4-사이클 수는 $C_4^r$ 부분그래프의 존재와 어떤 관계가 있는가?
• RQ4 컨테이너 방법이 둘레 제약 조건이 있는 초그래프 수를 세는 문제에 얼마나 잘 적응될 수 있는가?
• RQ5 큰 둘레를 가진 선형 초그래프의 어떤 구조적 성질이 효율적인 수를 세는 데 기여하는가?

주요 결과

• 모든 $r \geq 3$ 및 $\ell \geq 4$에 대해, 둘레 $\ell$을 가진 $r$-균일 선형 초그래프의 수는 어떤 상수 $C$에 대해 $2^{Cn^{1+1/\lfloor \ell/2 \rfloor}}$ 이하이다. 이 상수 $C$는 $r$과 $\ell$에 의존한다.
• $\ell = 4$일 경우, $C_4^r$-free 선형 $r$-그래프의 수는 어떤 상수 $C$에 대해 $2^{Cn^{3/2}}$ 이하이며, 이는 이전의 상계를 향상시킨다.
• 최대 $n^2 / (32 \log^6 n)$개의 $C_4$ 복사본을 가진 그래프의 수는 충분히 큰 $n$에 대해 $2^{11n^{3/2}}$ 이하이다. 이는 Kleitman과 Winston의 결과를 확장한 것이다.
• $C_4^r$-free 선형 초그래프의 그림자 그래프 내의 모든 4-사이클은 초모서리 또는 $C_3^r$ 안에 포함되어야 한다.
• $C_4^r$-free 선형 초그래프의 그림자 그래프 내의 $r$-클리크 수는 어떤 상수 $\alpha$에 대해 $\alpha n^{3/2}$ 이하이다. 이 상수 $\alpha$는 수의 세기 맵의 전이 크기를 제어한다.
• 최종 상계는 컨테이너 방법과 그림자 그래프 제약 조건을 조합하여 도출되며, 큰 $n$에 대해 $|\mathrm{Forb}_L(n, C_4^r)| \leq 2^{(11 + \alpha)n^{3/2}}$가 된다.