[논문 리뷰] A note on Ramsey Numbers for Books

Vladimir Nikiforov, Cecil Rousseau|ArXiv.org|2004. 05. 10.

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

한 줄 요약

이 논문은 $ m $에 비해 충분히 큰 모든 $ n $에 대해 책의 램지 수 $ r(B_m, B_n) $ 가 $ 2n + 3 $ 임을 증명하며, $ n \geq c m $ 일 때 $ r(B_m, B_n) = 2n + 3 $ 를 만족하는 상수 $ c $ 가 존재함을 입증한다. 결과적으로 이전의 상한을 강화하고, 극단적 그래프 이론 및 유도된 부분그래프와 공통 이웃에 대한 세기 있는 수세기 방법을 통해 추측된 점근적 행동을 확인한다.

ABSTRACT

A book of size N is the union of N triangles sharing a common edge. We show that the Ramsey number of a book of size N vs. a book of size M equals 2N+3 for all N>(10^6)M. Our proof is based on counting.

연구 동기 및 목표

• 큰 $ n $ 이 $ m $ 에 비해 상대적으로 클 때 책 램지 수 $ r(B_m, B_n) $ 의 점근적 행동을 규명하는 것.
• $ c $ 가 양의 상수일 때 $ r(B_m, B_n) = 2n + 3 $ 가 모든 $ n \geq c m $ 에 대해 성립함을 입증하는 것.
• 이전의 상한을 향상시키고, $ n $ 이 $ m $ 에 비해 클 때 $ 2n+3 $ 공식의 날카로움을 확인하는 것.
• 모든 $ n \geq c m $ 에 대해 $ r(B_m, B_n) = 2n+3 $ 를 만족하는 통일된 상수 $ c $ 의 존재성에 관한 오랜 동안 미해결이었던 문제를 해결하는 것.

제안 방법

• 완전 그래프 $ K_r $ 의 두 색상 간선 칠하기를 사용하며, $ r(B_m, B_n) $ 를 모든 빨간색-파란색 칠함에서 빨간색 책이 $ m $ 장 이상이거나 파란색 책이 $ n $ 장 이상인 경우가 반드시 나타나는 최소의 $ r $ 으로 해석한다.
• 볼록성과 차수 합 부등식을 사용하여 책 크기가 제한되고 최소 차수가 주어진 그래프에서 $ C_4 $ 부분그래프의 수를 추정하기 위해 수량화 보조정리를 적용한다.
• Andrásfai–Erdős–Sós 정리를 적용하여 삼각형이 없고 최소 차수가 높은 빨간색 그래프는 이분 그래프임을 보이며, 빨간색 그래프의 구조적 분해를 가능하게 한다.
• 빨간색 이분 그래프의 색상 클래스인 정점 집합 $ S_1, S_2 $ 에 대한 케이스 분석을 수행하고, 파란색 이웃 조건에 기반하여 $ T_1, T_2 $ 를 정의하여 파란 그래프에서의 책 크기를 제한한다.
• 책 크기 가정 $ bs(B) < n/2 - 2 $ 하에 $ S $ 와 $ X $ 사이의 빨간색 간선 수에 대한 하한과 상한을 결합함으로써 모순을 도출함으로써 $ bs(B) \geq n/2 - 2 $ 를 증명한다.
• 공통 이웃과 유도된 부분그래프 수에 대한 극단적 경계를 활용하여, 원래 그래프에서 책 크기가 제한될 경우 보완 그래프에서 큰 책이 반드시 존재하도록 유도한다.

실험 결과

연구 질문

• RQ1 모든 $ n \geq c m $ 에 대해 $ r(B_m, B_n) = 2n + 3 $ 를 만족하는 상수 $ c $ 가 존재하는가?
• RQ2 만약 $ n $ 이 $ m $ 에 비해 상당히 클 경우 $ r(B_m, B_n) $ 의 점근적 행동은 어떠한가?
• RQ3 상한 $ r(B_m, B_n) \leq 2n + 3 $ 이 큰 $ n $ 에서 등호로 강화될 수 있는가?
• RQ4 원래 그래프에서 책 크기가 제한될 경우, 보완 그래프에서 큰 책을 유도하는 그래프의 어떤 구조적 성질이 존재하는가?

주요 결과

• 모든 $ n \geq c m $ 에 대해 $ r(B_m, B_n) = 2n + 3 $ 를 만족하는 양의 상수 $ c $ 가 존재함을 확인하여 점근 공식을 확인한다.
• 모순을 이용한 분석을 통해 $ r(B_m, B_n) = 2n + 3 $ 가 $ n \geq 10^6 m $ 일 때도 성립함을 입증한다. 이는 극단적 수세기 및 구조적 분해를 기반으로 한다.
• 증명은 빨간색 그래프의 책 크기가 $ m $ 이하일 경우, 파란색 그래프는 최소 $ n/2 - 2 $ 의 책 크기를 가져야 함을 보이며, 이는 거의 최적이다.
• 이전의 상한 $ r(B_m, B_n) \leq 2(m+n+1) $ 을 향상시키며, $ n $ 이 크다는 조건에서 $ 2n+3 $ 공식의 등호 성립을 확인한다.
• 책 크기 가정에서 유도된 $ S $ 와 $ X $ 사이의 빨간색 간선 수에 대한 하한과 평균을 통한 상한을 결합함으로써 모순이 발생하며, 이는 $ 9n/40 < n/5 + 2m $ 를 유도한다. 이는 큰 $ n $ 에서 성립하지 않는다.
• 가정 $ bs(R) \leq m $ 하에 $ bs(B) \geq n/2 - 2 $ 를 확인하였으며, $ n \geq 10^6 m $ 이므로 이는 $ bs(B) \geq n/2 - 2 $ 를 의미하며, 이는 $ r(B_m, B_n) = 2n + 3 $ 를 도출하는 데에 충분하다.