[논문 리뷰] Mantel's Theorem for random graphs

Bobby DeMarco, Jeff Kahn|arXiv (Cornell University)|2012. 06. 05.

Limits and Structures in Graph Theory참고 문헌 10인용 수 14

한 줄 요약

이 논문은 에르되시–레니 수작업 그래프 $ G(n,p) $ 에서 최대 삼각형 없는 부분그래프가 거의 확실히 이분 그래프가 되는 임계 확률을 규명한다. 확률적 방법과 컷의 구조적 분석을 통해 저자들은 $ p > Cn^{-1/2}\log^{1/2}n $ 이며 충분히 큰 상수 $ C $ 를 갖는 경우, 거의 확실히 $ G(n,p) $ 의 모든 최대 삼각형 없는 부분그래프가 이분 그래프임을 증명한다. 이 임계값은 상수 $ C $ 를 제외하고 최적임을 보인다.

ABSTRACT

For a graph $G$, denote by $t(G)$ (resp. $b(G)$) the maximum size of a triangle-free (resp. bipartite) subgraph of $G$. Of course $t(G) \geq b(G)$ for any $G$, and a classic result of Mantel from 1907 (the first case of Turán's Theorem) says that equality holds for complete graphs. A natural question, first considered by Babai, Simonovits and Spencer about 20 years ago is, when (i.e. for what $p=p(n)$) is the "Erdős-Rényi" random graph $G=G(n,p)$ likely to satisfy $t(G) = b(G)$? We show that this is true if $p>C n^{-1/2} \log^{1/2}n $ for a suitable constant $C$, which is best possible up to the value of $C$.

연구 동기 및 목표

• 에르되시–레니 수작업 그래프 $ G(n,p) $ 의 최대 삼각형 없는 부분그래프가 거의 확실히 이분 그래프가 되는 확률 $ p(n) $ 의 임계값을 규명하는 것.
• 바바이, 시몬وفي츠, 스펜서가 제기한 오랜 숙제 문제, 즉 $ p = n^{-c} $ 이며 작은 $ c > 0 $ 일 때 $ t(G) = b(G) $ 가 성립하는지 여부를 해결하는 것.
• 정확한 임계값 $ p = Cn^{-1/2}\log^{1/2}n $ 을 규명하여, 이 값이 상수 $ C $ 를 제외하고 최적임을 보이고, 이 임계값에서 모든 최대 삼각형 없는 부분그래프가 이분 그래프임을 증명하는 것.
• 더 넓은 투란 유형 문제로의 확장을 고려하여, $ K_r $-free 부분그래프가 $ G(n,p) $ 에서 $ (r-1) $-partite가 되는 조건의 임계값에 대한 추측을 제기하는 것.
• 스parser regularity lemma 와 같은 깊은 도구의 필요성을 검토하며, 대체 증명법을 모색하고, 문제를 클리크 복합체의 호몰로지 소멸성과 같은 위상적 성질과 연결하는 것.

제안 방법

• 그래프 $ G(n,p) $ 의 균형 잡힌 컷 $ (A,B) $ 를 분석하며, 반대 쪽 집합에서의 저도수 정점에 기반해 집합 $ X(\Pi) $ 와 $ T(\Pi) $ 를 정의한다.
• 코하야카와–류차크–로드 정리의 변형(정리 2.1)을 적용하여, 간선 수가 반 정도에 가까운 큰 삼각형 없는 부분그래프는 $ \vartheta n^2p $ 개의 간선을 제거함으로써 이분 그래프로 만들 수 있음을 보인다.
• 확률적 농도 부등식을 사용해, 이분 그래프가 아닌 삼각형 없는 부분그래프에 포함된 간선 수를 근사하여, 이러한 부분그래프가 최대 크기를 달성할 수 없음을 보인다.
• 삼각형과 균일하게 교차하는 간선 집합에 기반한 수세기 기법을 활용하며, 문제를 첫 번째 호몰로지 군 $ H_1(X(G), \mathbb{Z}_2) $ 의 소멸성과 연결한다. 이는 오직 컷만이 모든 삼각형과 균일하게 교차함을 의미한다.
• 확률적 노출과 도수 집중을 활용하여, $ p > Cn^{-1/2}\log^{1/2}n $ 이면 최대 삼각형 없는 부분그래프가 이분 그래프가 아닐 확률이 0으로 수렴함을 증명한다.
• 비이분 그래프인 최대 삼각형 없는 부분그래프가 존재한다고 가정해 모순을 이끌어내며, 이 경우 삼각형에 속하지 않는 간선 수가 너무 많아지게 되어, 이는 해당 $ p $ 에서는 거의 확실하지 않음을 보인다.

실험 결과

연구 질문

• RQ1 어떤 $ p(n) $ 에서 $ t(G_{n,p}) = b(G_{n,p}) $ 가 거의 확실히 성립하는가?
• RQ2 임계값 $ p = Cn^{-1/2}\log^{1/2}n $ 이 상수 $ C $ 를 제외하고 최적인가? 즉, $ G(n,p) $ 에서 $ t(G) = b(G) $ 가 성립하기 위한 최적의 조건은 무엇인가?
• RQ3 결과를 $ K_r $-free 부분그래프가 $ (r-1) $-partite가 되는 경우로 확장할 수 있는가? 이 경우의 임계값은 무엇인가?
• RQ4 스퍼스 regularity lemma(정리 2.1 을 통한) 는 주요 결과를 증명하는 데 필수적인가, 아니면 피할 수 있는가?
• RQ5 삼각형 없는 부분그래프의 구조와 $ G(n,p) $ 의 클리크 복합체의 호몰로지 사이의 연결 고리는 무엇인가?

주요 결과

• 충분히 큰 상수 $ C $ 를 갖는 $ p > Cn^{-1/2}\log^{1/2}n $ 에서, 거의 확실히 $ G(n,p) $ 의 모든 최대 삼각형 없는 부분그래프는 이분 그래프이다.
• 임계값 $ p = Cn^{-1/2}\log^{1/2}n $ 은 상수 $ C $ 를 제외하고 최적임을 보이며, $ p = 0.1n^{-1/2}\log^{1/2}n $ 이면 일반적으로 삼각형에 속하지 않는 5순환을 포함한다.
• $ p \in [n^{-1}, 0.1n^{-1/2}\log^{1/2}n] $ 에서 $ t(G_{n,p}) = b(G_{n,p}) $ 가 성립할 확률은 0으로 수렴하며, 이는 급격한 전이를 나타낸다.
• 이 결과는 임계값 이상에서 비이분 그래프인 삼각형 없는 부분그래프가 최대 크기를 달성할 수 없다는 것을 의미하며, 간선 분포의 구조적 제약 때문임을 보여준다.
• 최종 버전에서 증명 기법은 스퍼스 regularity lemma 의 의존도를 피했으며, 이제 정리 2.1 의 더 단순한 새로운 증명이 가능해졌다.
• 문제는 위상적 소멸성과 연결된다: 거의 확실히 $ H_1(X(G), \mathbb{Z}_2) = 0 $ 이며, 이는 오직 컷만이 모든 삼각형과 균일하게 교차하는 집합임을 의미한다. 이는 주요 결과를 지지한다.