[논문 리뷰] The typical structure of graphs with no large cliques

József Balogh, Neal Bushaw외 4명|arXiv (Cornell University)|2014. 06. 26.

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

한 줄 요약

이 논문은 모든 함수 $ r = r(n) $ 에 대해 $ r \leq (\log n)^{1/4} $ 를 만족할 때, $ n $ 개의 정점으로 구성된 거의 모든 $ K_{r+1} $-free 그래프가 $ r $-partite 임을 증명한다. 증명은 에르되시–시몬وفي츠 안정성 정리에 대한 새로운 초과포화 결과, 초그래프 컨테이너 방법, 그리고 비-$ r $-partite인 그래프가 지수적으로 드문 것을 보여주는 수세기 기법을 결합한다. 이는 $ r $ 가 $ n $ 과 함께 증가함에도 불구하고 일반적인 구조가 여전히 $ r $-partite임을 입증한다.

ABSTRACT

In 1987, Kolaitis, Prömel and Rothschild proved that, for every fixed $r \in \mathbb{N}$, almost every $n$-vertex $K_{r+1}$-free graph is $r$-partite. In this paper we extend this result to all functions $r = r(n)$ with $r \leqslant (\log n)^{1/4}$. The proof combines a new (close to sharp) supersaturation version of the Erdős-Simonovits stability theorem, the hypergraph container method, and a counting technique developed by Balogh, Bollobás and Simonovits.

연구 동기 및 목표

• 고정된 $ r $ 에서의 고전 결과인 거의 모든 $ K_{r+1} $-free 그래프가 $ r $-partite임을 $ r $ 가 $ n $ 과 함께 증가하는 함수 $ r = r(n) $ 으로 확장한다.
• 금지된 클리크 크기 $ r $ 이 $ n $ 과 함께 증가할 때 $ K_{r+1} $-free 그래프의 일반적인 구조를 규명하는 데 도전한다. 특히 $ r \leq (\log n)^{1/4} $ 인 영역에서 다룬다.
• 에르되시–시몬وفي츠 안정성 정리에 대한 날카운 초과포화 결과를 확립하여, $ r $-partite에서 멀리 떨어진 $ K_{r+1} $-free 그래프의 수를 제어한다.
• 초그래프 컨테이너 방법과 정교한 수세기 기법을 조합하여, 이러한 비-$ r $-partite 그래프가 $ r $-partite 그래프에 비해 지수적으로 드문 것을 보여준다.
• 희박하고 성장하는 클리크 설정에서의 극값 및 일반적인 그래프 성질에 대한 이해를 강화하는 정량적 구조 정리인 $ K_{r+1} $-free 그래프에 대해 제시한다.

제안 방법

• 비-$ r $-partite에서 $ t $-far인 그래프에서 $ K_{r+1} $ 복제 수에 대한 거의 최적의 하한을 주는 새로운 초과포화 결과(정리 1.2)를 도입한다. 이 하한은 $ e^r $ 의 요소까지 정확하게 맞는다.
• 금지된 클리크를 피하는 컨테이너를 통해, $ r $-partite가 아니지만 $ K_{r+1} $-free인 그래프의 수를 제어하기 위해 초그래프 컨테이너 방법을 적용한다.
• 발라그, 볼로바스, 시몬وفي츠의 정교한 수세기 기법을 사용하여, $ r $-partite에 가까운 그래프와 그렇지 않은 그래프의 수를 비교한다.
• $ \mathcal{Q}(n,r) $ 를 정의하고 분석한다. 이는 $ r $-partite가 아니지만 $ n^{2-1/r^2} $-close한 $ K_{r+1} $-free 그래프의 집합이다. 이는 특수 케이스를 분리하기 위함이다.
• 엔트로피와 이항계수 추정을 사용하여 $ \mathcal{Q}(n,r) $ 의 그래프들에 대한 최적의 분할 집합의 크기를 유계화한다. 이는 $ n $ 에 대해 지수보다 작은 크기를 가짐을 보여준다.
• 컨테이너 그래프 $ F_m $ 에서 이중 세기 기법을 통해 모든 유계를 조합하여, $ |\mathcal{Q}(n,r)| $ 가 $ r $-partite $ K_{r+1} $-free 그래프의 수 $ |\mathcal{K}(n,r)| $ 에 비해 지수적으로 작다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 고정된 $ r $ 에서의 고전 결과인 거의 모든 $ K_{r+1} $-free 그래프가 $ r $-partite임을 $ r $ 이 $ n $ 과 함께 증가하는 경우로 확장할 수 있는가?
• RQ2 거의 모든 $ K_{r+1} $-free 그래프가 여전히 $ r $-partite인 상태를 유지할 수 있는 $ r(n) $ 의 최대 성장률은 무엇인가?
• RQ3 특히 $ r $ 이 $ n $ 과 함께 증가할 때, $ r $-partite에서 멀리 떨어진 $ K_{r+1} $-free 그래프의 수를 어떻게 정량화할 수 있는가?
• RQ4 에르되시–시몬وفي츠 안정성 정리에 대해, 성장하는 $ r $ 설정에서 비-$ r $-partite $ K_{r+1} $-free 그래프의 수를 제어할 수 있는 강력한 초과포화 결과가 존재하는가?
• RQ5 초그래프 컨테이너 방법과 정교한 수세기 기법을 조합하여, 비-$ r $-partite이지만 $ K_{r+1} $-free인 예외 그래프의 수가 $ r $-partite 그래프에 비해 무시할 만큼 적다는 것을 보일 수 있는가?

주요 결과

• 정리 1.1 은 모든 $ r = r(n) \leq (\log n)^{1/4} $ 에 대해 $ n $ 개의 정점으로 구성된 거의 모든 $ K_{r+1} $-free 그래프가 $ r $-partite임을 증명한다. 이는 고전 결과를 성장하는 $ r $ 로 확장한다.
• 새로운 초과포화 결과(정리 1.2)는 비-$ r $-partite에서 $ t $-far인 임의의 그래프가 최소 $ \frac{n^{r-1}}{e^{2r} r!} \left( e(G) + t - \left(1 - \frac{1}{r}\right)\frac{n^2}{2} \right) $ 개의 $ K_{r+1} $ 복제를 포함함을 보여주며, 이는 $ e^r $ 의 요소까지 정확하다.
• $ r $-partite가 아니지만 $ n^{2-1/r^2} $-close한 $ K_{r+1} $-free 그래프의 수는 $ 2^{-2^{-6r}n} \cdot |\mathcal{K}(n,r)| $ 이하이며, 이는 지수적으로 드문 것을 보여준다.
• 컨테이너 방법, 새로운 초과포화 결과, 수세기 기법을 조합하여 저자들은 $ \mathcal{Q}(n,r) $ 의 예외 그래프 집합이 $ r $-partite $ K_{r+1} $-free 그래프 집합에 비해 무시할 만큼 작다는 것을 증명한다.
• $ r \leq (\log n)^{1/4} $ 의 유계는 거의 최적이다. 일반적인 구조가 변화하는 임계점은 대략 $ r \sim \log n $ 에서 예상되며, 이 결과는 이 값에 대해 상수 인자 범위 내에 있다.