[논문 리뷰] Turán's Theorem for random graphs

Bobby DeMarco, Jeff Kahn|arXiv (Cornell University)|2015. 01. 07.

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

한 줄 요약

이 논문은 에르되시-레니의 무작위 그래프 $G_{n,p}$에서 최대 $K_r$-자유 부분그래프가 반드시 $(r-1)$-분할임을 보여주는 날카운 임계값을 확립한다. 이는 $p > C n^{-2/(r+1)} olp^{2/((r+1)(r-2))} n$일 때, 이 등식이 고확률으로 성립함을 증명한다. 이 결과는 바바이, 시모노비츠, 스펜서가 제기한 오랜 숙제를 해결하며, 상수 $C$를 제외하고 최적임을 입증한다.

ABSTRACT

For a graph $G$, denote by $t_r(G)$ (resp. $b_r(G)$) the maximum size of a $K_r$-free (resp. $(r-1)$-partite) subgraph of $G$. Of course $t_r(G) \geq b_r(G)$ for any $G$, and Turán's Theorem says that equality holds for complete graphs. With $G_{n,p}$ the usual ("binomial" or "Erdős-Rényi") random graph, we show: For each fixed r there is a C such that if \[ p=p(n) > Cn^{- frac{2}{r+1}}\log^{ frac{2}{(r+1)(r-2)}}n, \] then $\Pr(t_r(G_{n,p})=b_r(G_{n,p})) ightarrow 1$ as $n ightarrow\infty$. This is best possible (apart from the value of $C$) and settles a question first considered by Babai, Simonovits and Spencer about 25 years ago.

연구 동기 및 목표

• 무작위 그래프 $G_{n,p}$에서 최대 $K_r$-자유 부분그래프가 반드시 $(r-1)$-분할임을 이해하고, 투란의 고전적 정리를 무작위 그래프 환경으로 확장한다.
• 바바이, 시모노비츠, 스펜처가 제기한 $G_{n,p}$에서 이 성질에 대한 임계값에 관한 오랜 숙제를 해결한다.
• 고확률으로 $t_r(G_{n,p}) = b_r(G_{n,p})$가 성립하는 정확한 점근적 임계값을 확립하며, 자연스러운 추측된 크기 주기와 일치시킨다.
• 상수 인자 $C$를 제외하고 최적임을 입증하는 날카운 임계값 결과를 제공하며, 이는 이전 연구가 남긴 격차를 메운다.
• 특정 $r \geq 4$에 대해 $r=3$의 경우에서의 통찰을 일반화하여, 임계값에 대한 기대되는 척도를 확인한다.

제안 방법

• 증명은 에르되시-시모노비츠 안정성 정리의 희박한 무작위 버전(정리 1.4)을 활용한다. 이 정리는 $p$가 일정한 임계값을 초과할 경우, $G_{n,p}$의 큰 $K_r$-자유 부분그래프가 $(r-1)$-분할에 매우 가까워진다는 것을 보여준다.
• 안정성 및 정규성 기법과 결합한 컨테이너 유형의 추론을 사용하여 큰 $K_r$-자유 부분그래프의 구조를 제어한다.
• 확률적 방법을 적용하여, 임계값을 초과할 경우, 최대 $K_r$-자유 부분그래프는 반드시 $(r-1)$-분할이어야 하며, 비분할적인 극단적 부분그래프의 존재를 배제한다.
• 집중도 추정과 에지 노출 마팅글을 사용하여 $G_{n,p}$에서 최대 컷과 부분그래프 구조의 행동을 분석한다.
• 색상 임계 모서리를 사용하고, $H$-자유 그래프의 구조적 성질을 활용하여 추론을 클리크로 일반화한다.
• 임계값 이하일 경우, 어떤 모서리도 어떤 $K_r$에 포함되지 않으며, 이 모서리는 $K_r$-자유 부분그래프에 포함될 수 있지만 어떤 $(r-1)$-분할 부분그래프에도 포함될 수 없음을 보여, 등식이 깨진다.

실험 결과

연구 질문

• RQ1 고확률으로 $G_{n,p}$의 모든 최대 $K_r$-자유 부분그래프가 $(r-1)$-분할임을 보장하는 날카운 임계값 $p(n)$은 무엇인가?
• RQ2 $t_r(G_{n,p}) = b_r(G_{n,p})$에 대한 임계값이 자연스러운 추측된 주기 $n^{-2/(r+1)} \log^{2/((r+1)(r-2))} n$과 일치하는가?
• RQ3 이 결과는 클리크를 초월하여 일반 그래프 $H$로 확장될 수 있는가, 특히 색상 임계 모서리가 있는 그래프에 대해 가능한가?
• RQ4 $t_r(G_{n,p}) = b_r(G_{n,p})$에 대한 임계값이 모든 모서리가 $K_r$의 복제본에 포함된다는 성질의 임계값과 점근적으로 동일한가?
• RQ5 $t_r(G) = b_r(G)$ 성질은 $p$에 대해 단일 국소 최소값을 가지며, 단일 모드를 보이는가?

주요 결과

• 각 고정된 $r \geq 4$에 대해, 상수 $C$가 존재하여 $p > C n^{-2/(r+1)} \log^{2/((r+1)(r-2))} n$이면, $n \to \infty$일 때 $\Pr(t_r(G_{n,p}) = b_r(G_{n,p})) \to 1$이다.
• 임계값은 상수 $C$를 제외하고 최적임이 입증되었으며, 이는 더 낮은 $p$일 경우 고확률로 어떤 $K_r$에도 포함되지 않는 모서리가 존재함을 보여, 이 모서리는 $K_r$-자유 부분그래프에 포함될 수 있지만 어떤 $(r-1)$-분할 부분그래프에도 포함될 수 없기 때문이다.
• 이 결과는 $r=3$에 대한 추측된 임계값을 확인하고, 모든 $r \geq 4$로 확장하여 25년이 넘는 숙제를 해결한다.
• 작은 $p$일 경우, 정리 1.3에 따라 $t_r(G_{n,p}) < (1 - 1/(r-1))|G_{n,p}|$가 성립하지만, 등식 $t_r(G_{n,p}) = b_r(G_{n,p})$는 유도된 임계값 이상에서만 성립한다.
• 증명은 정리 1.4의 정교한 응용에 기반하며, 큰 $K_r$-자유 부분그래프가 거의 $(r-1)$-분할임을 보이고, 임계값 이하일 경우 이러한 부분그래프가 정확히 $(r-1)$-분할이어야 한다는 것을 증명한다.
• $r=3$의 경우, 임계값 $p > C n^{-1/2} \log^{1/2} n$은 알려진 날카운 결과와 일치하며, 일반적인 경우는 올바른 지수 척도로 이에 대해 확장된다.