[논문 리뷰] The number of $C_{2l}$-free graphs

Robert Morris, David Saxton|arXiv (Cornell University)|2013. 09. 11.

Limits and Structures in Graph Theory참고 문헌 24인용 수 8

한 줄 요약

이 논문은 에르되시가 제기한 오랜 동안의 추측을 해결하며, $n$ 개의 정점을 가진 $C_{2 heta}$-free 그래프의 수가 $2^{O(n^{1+1/ heta})}$ 이하임을 증명한다. 이는 초그래프 컨테이너 방법과 짝수 사이클에 대한 새로운 균형 임계 초과 정리의 조합을 통해 이루어지며, $C_6$-free 그래프의 수가 $2^{(1+o(1))\textup{ex}(n,C_6)}$임을 시사하는 자연스러운 추측을 반박한다. 실제로 어떤 $c>0$와 무수히 많은 $n$에 대해 $2^{(1+c)\textup{ex}(n,C_6)}$개 이상의 $C_6$-free 그래프가 존재함을 보이며, $G(n,p)$에서의 에르되시-레니 그래프에 대한 투라 문제를 짝수 사이클과 완전 이분 그래프에 대해 해결한다.

ABSTRACT

One of the most basic questions one can ask about a graph $H$ is: how many $H$-free graphs on $n$ vertices are there? For non-bipartite $H$, the answer to this question has been well-understood since 1986, when Erdős, Frankl and Rödl proved that there are $2^{(1 + o(1)) ex(n,H)}$ such graphs. For bipartite graphs, however, much less is known: even the weaker bound $2^{O(ex(n,H))}$ has been proven in only a few special cases: for cycles of length four and six, and for some complete bipartite graphs. For even cycles, Bondy and Simonovits proved in the 1970s that ex$(n,C_{2l}) = O( n^{1 + 1/l} )$, and this bound is conjectured to be sharp up to the implicit constant. In this paper we prove that the number of $C_{2l}$-free graphs on $n$ vertices is at most $2^{O(n^{1 + 1/l})}$, confirming a conjecture of Erdős. Our proof uses the hypergraph container method, which was developed recently (and independently) by Balogh, Morris and Samotij, and by Saxton and Thomason, together with a new 'balanced supersaturation theorem' for even cycles. We moreover show that there are at least $2^{(1 + c)ex(n,C_6)}$ $C_6$-free graphs on $n$ vertices for some $c > 0$ and infinitely many values of $n$, disproving a well-known and natural conjecture. As a further application of our method, we essentially resolve the so-called Turán problem on the Erdős-Rényi random graph $G(n,p)$ for both even cycles and complete bipartite graphs.

연구 동기 및 목표

• 정점 수가 $n$인 $C_{2 heta}$-free 그래프의 점근적 수를 결정하는 것. 이는 극도의 그래프 이론에서 핵심적인 문제이다.
• 에르되시의 추측, 즉 $C_{2 heta}$-free 그래프의 수가 최대 $2^{O(n^{1+1/ heta})}$임을 확인함으로써, 짝수 사이클에 대한 극도의 함수의 주요 크기의 순서를 확인하는 것.
• $H = C_6$인 경우에 대해, 모든 이분 그래프 $H$에 대해 $H$-free 그래프의 수가 $2^{(1+o(1))\textup{ex}(n,H)}$임을 시사하는 널리 퍼진 추측을 반박하는 것. 이는 $H = C_6$에 대해 초지수적 하한을 구축함으로써 이루어진다.
• 초그래프 컨테이너 방법을 적용하여, 에르되시-레니 무작위 그래프 $G(n,p)$에서 짝수 사이클과 완전 이분 그래프에 대해 투라 문제를 해결하고, 모든 $p$에 대해 거의 최적의 경계를 확보하는 것.

제안 방법

• 저자들은 바로그, 모리스, 사모티지, 사크슨과 톰슨이 최근 개발한 초그래프 컨테이너 방법을 활용하여 $H$-free 그래프의 수를 제한한다.
• 짝수 사이클에 대한 새로운 '균형 임계 초과 정리'를 도입하여, 조밀한 부분그래프가 많은 $C_{2 heta}$ 복제를 포함함을 보장함으로써, 효율적인 컨테이너 구축을 가능하게 한다.
• 이 방법은 금지된 부분그래프를 인코딩하는 초그래프에서 독립 집합의 수를 제어하기 위해 도시의 차수 분포와 이웃 확장의 세밀한 분석에 기반한다.
• 정점 이웃의 볼록성과 평균화 추론을 사용하여, 컨테이너에서 포화되지 않은 완전 이분 부분그래프 $K_{s,t}$를 유도하는 좋은 쌍 $(S,T)$의 수에 하한을 도출한다.
• 핵심 기술 단계로, 일반적인 $s$-집합 $S$에 대해 $(S,v)$가 좋은 조건을 만족하는 정점 $v$의 집합 $\mathcal{M}(S)$의 크기가 $\Omega(k^s)$임을 보이며, 이는 많은 $K_{s,t}$-free 부분그래프의 구축을 가능하게 한다.
• 이 프레임워크는 균형 임계 초과 성질을 가진 임의의 이분 그래프에 대해 일반화되어 있으며, 짝수 사이클을 초과하여 광범위한 적용 가능성을 시사한다.

실험 결과

연구 질문

• RQ1 에르되시의 추측에 따르면, $n$ 개의 정점을 가진 $C_{2 heta}$-free 그래프의 수는 최대 $2^{O(n^{1+1/ heta})}$인가?
• RQ2 모든 이분 그래프 $H$에 대해, $H$-free 그래프의 수가 $2^{(1+o(1))\textup{ex}(n,H)}$임을 시사하는 자연스러운 추측은 $H = C_6$인 경우에도 성립하는가?
• RQ3 하나의 이분 그래프 $H$에 대해, 하위제곱 극도 함수를 가진 $H$-free 그래프의 수에 대해 초그래프 컨테이너 방법을 확장하여 날카로운 경계를 제공할 수 있는가?
• RQ4 $G(n,p)$에서의 에르되시-레니 무작위 그래프에 대한 투라 문제에 대해, 짝수 사이클과 완전 이분 그래프에 대해 올바른 경계는 무엇인가?

주요 결과

• $n$ 개의 정점을 가진 $C_{2 heta}$-free 그래프의 수는 최대 $2^{O(n^{1+1/ heta})}$이며, 이는 에르되시의 추측을 모든 짝수 사이클에 대해 확인한다.
• $H = C_6$인 경우, 어떤 $c>0$와 무수히 많은 $n$에 대해 $2^{(1+c)\textup{ex}(n,C_6)}$개 이상의 $C_6$-free 그래프가 존재함을 보이며, 이는 $2^{(1+o(1))\textup{ex}(n,C_6)}$임을 시사하는 추측을 반박한다.
• 초그래프 컨테이너 방법과 새로운 균형 임계 초과 정리를 조합하여, $K_{s,t}$-free 그래프의 수에 대해 날카로운 경계를 확보한다. $2 \leq s \leq t$일 때 $K_{s,t}$-free 그래프의 경계는 $2^{O(n^{2-1/s})}$이다.
• 이 방법은 짝수 사이클과 완전 이분 그래프에 대해 $G(n,p)$에서의 투라 문제를 해결하며, 모든 $p$ 값에 대해 거의 최적의 경계를 제공한다.
• 이 프레임워크는 균형 임계 초과 성질을 가진 임의의 이분 그래프에 적용 가능하며, 본 연구에서 다룬 특정 사례를 초월한 광범위한 적용 가능성을 시사한다.