[논문 리뷰] Making a K_4-free graph bipartite

Benny Sudakov|ArXiv.org|2007. 06. 27.

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

한 줄 요약

이 논문은 $K_4$-free 그래프가 $n$ 개의 정점으로 이루어져 있을 때, 최대 $n^2/9$ 개의 간선을 제거함으로써 이분 그래프로 만들 수 있음을 증명한다. 등호는 정점이 $n/3$ 크기인 완전 3분할 그래프일 경우에만 성립한다. 이 결과는 에르되시가 제기한 오랜 동안 미해결이었던 추측을 확인하며, 정규성 레미마와 $K_4$-free 그래프의 구조 분석을 통해 날카로운 극한 경계를 확립한다.

ABSTRACT

We show that every K_4-free graph G with n vertices can be made bipartite by deleting at most n^2/9 edges. Moreover, the only extremal graph which requires deletion of that many edges is a complete 3-partite graph with parts of size n/3. This proves an old conjecture of P. Erdos.

연구 동기 및 목표

• 프로프 에르되시가 제기한, $K_4$-free 그래프를 이분 그래프로 만들기 위해 제거해야 하는 간선 수의 최대값을 해결하기 위해.
• 최대 간선 제거 수를 달성하는 극한 그래프를 규명하기 위해.
• 색수 4인 $H$-free 그래프에 대해 증명을 확장하기 위해, 쿠르츠의 정규성 레미마를 사용하기 위해.
• 밀도가 높은 $K_r$-free 그래프에서의 이분할 문제에 대해 점근적 경계를 제공하기 위해.

제안 방법

• Szemerédi의 정규성 레미마를 적용하여 $K_4$-free 그래프의 정점 집합을 유한한 크기의 $\epsilon$-정규 쌍으로 분할하기 위해.
• 정규성 레미마를 사용하여, 밀도가 높은 정규 쌍이 많은 그래프는 $K_4$를 포함해야 하며, 이는 $K_4$-freeness와 모순됨을 보여주기 위해.
• $n^2/9$ 개를 초과하는 간선을 가진 모든 $K_4$-free 그래프는 조밀한 3분할 구조를 가져야 함을 증명하기 위해.
• 극한 그래프 이론을 사용하여, $n^2/9$의 경계를 달성하는 유일한 그래프는 크기가 같고 완전한 3분할 그래프임을 보여주기 위해.
• $\chi(H) = 4$인 고정된 $H$에 대해, 밀도 조건을 만족하면 정규성 레미마를 사용하여 완전한 4분할 부분그래프를 임bed할 수 있도록 $H$-free 그래프에 적용하기 위해.
• 주요 정리에서 유도된 간선 제거 경계를 밀도 및 정규성 분석과 조합하여, $H$-free 그래프에 대해 점근적 경계 $(1+o(1))n^2/9$를 유도하기 위해.

실험 결과

연구 질문

• RQ1 모든 $n$ 개의 정점으로 이루어진 $K_4$-free 그래프를 이분 그래프로 만들기 위해 제거해야 하는 간선 수의 최대값은 얼마인가?
• RQ2 크기가 $n/3$인 완전 3분할 그래프는 유일한 극한 그래프로, $n^2/9$ 개의 간선 제거가 필요한가?
• RQ3 $n^2/9$의 경계를 색수가 4인 $H$-free 그래프로 확장할 수 있는가?
• RQ4 $K_4$-free 그래프의 극한 구성이 $r > 4$인 $K_r$-free 그래프에 대한 일반적인 패턴을 시사하는가?
• RQ5 정규성 레미마를 사용하여 $K_r$-free 그래프의 간선 제거에 대해 날카로운 경계를 도출할 수 있는가?

주요 결과

• 모든 $n$ 개의 정점으로 이루어진 $K_4$-free 그래프는 최대 $n^2/9$ 개의 간선을 제거함으로써 이분 그래프로 만들 수 있다.
• 크기가 $n/3$인 완전 3분할 그래프는 정확히 $n^2/9$ 개의 간선 제거가 필요한 유일한 그래프이다.
• $n^2/9$의 경계는 점근적으로 날카로우며 향상될 수 없다.
• $\chi(H) = 4$인 고정된 $H$에 대해, $n$ 개의 정점으로 이루어진 모든 $H$-free 그래프는 최대 $(1+o(1))n^2/9$ 개의 간선을 제거함으로써 이분 그래프로 만들 수 있다.
• 이 결과는 창과 그레고리의 $K_4$-free 그래프에서 局부 밀도에 대한 추측을 지지한다.
• 정규성 레미마와 극한 그래프의 구조 분석을 사용한 증명 기법은 $K_r$-free 그래프에서 $r$ 이 더 높은 경우로 결과를 확장하는 데 프레임워크를 제공한다.