[논문 리뷰] On the Grid Ramsey Problem and Related Questions

David Conlon, Jacob Fox외 2명|arXiv (Cornell University)|2014. 05. 26.

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

한 줄 요약

이 논문은 램지 이론에서 오랫동안 미해결된 문제를 해결하여, 격자 램지 문제에 대한 경계—특히 임의의 r-색상 칠하기에서 단색 직사각형을 보장하기 위해 필요한 최소 격자 크기—가 r에 대해 초다항적임을 증명한다. 이는 고전적인 Shelah 큐브 보조정리의 경계가 다항식 형태로 개선될 수 없다는 것을 보여준다. 이 결과는 Hales–Jewett 정리에 대한 원시 재귀적 경계가 이 방법을 통해 타워 형식의 경계로 줄일 수 없다는 것을 암시한다.

ABSTRACT

The Hales--Jewett theorem is one of the pillars of Ramsey theory, from which many other results follow. A celebrated theorem of Shelah says that Hales--Jewett numbers are primitive recursive. A key tool used in his proof, now known as the cube lemma, has become famous in its own right. In its simplest form, this lemma says that if we color the edges of the Cartesian product $K_n imes K_n$ in $r$ colors then, for $n$ sufficiently large, there is a rectangle with both pairs of opposite edges receiving the same color. Shelah's proof shows that $n = r^{\binom{r+1}{2}} + 1$ suffices. More than twenty years ago, Graham, Rothschild and Spencer asked whether this bound can be improved to a polynomial in $r$. We show that this is not possible by providing a superpolynomial lower bound in $r$. We also discuss a number of related problems.

연구 동기 및 목표

• Graham, Rothschild, 및 Spencer가 제기한 추측—Shelah 큐브 보조정리 경계 G(r) ≤ r(r+1)/2 + 1 이 r에 대해 다항식 형태로 개선될 수 있는가에 대한 문제를 해결하기 위해.
• 모든 r-색상 칠하기에서 Kn × Kn 내에 단색 직사각형을 포함하는 최소 n을 측정하는 격자 램지 함수 G(r)에 대한 날카로운 경계를 설정하기 위해.
• 극한 조합에서 간선 칠하기 구성의 구조적 한계, 특히 색상 수와 교대 직사각형에 관해 연구하기 위해.
• 격자 램지 문제와 더 넓은 램지 유형 문제 간의 연결 고리를 탐색하기 위해, 예를 들어 Erdős–Gyárfás 문제와 색상 램지 함수를 포함하여.

제안 방법

• 완전 이분 그래프의 랜덤 간선 칠하기를 기반으로 한 확률적 구성법을 사용하여 G(r)에 대한 하한을 유도한다.
• Erdős와 Hajnal의 스텝업 기법을 적용하여 소규모 경우의 결과를 더 큰 경우로 확장한다.
• 간선 칠하기에서 색상 클래스들의 합집합의 색상 수를 분석하여, 램지 유형 함수의 성장률을 제한한다.
• Fχ(r, p, q) 함수를 도입하고 연구한다. 이는 임의의 r-색상 칠하기에서 Kn 내에 p-색상 부분그래프가 존재하고, 이 부분그래프가 q개 이하의 색상을 사용할 수 있는 최소 n을 의미한다.
• 색상 수 성장률을 제어하는 특정 구성 cM을 활용한다.
• 이중 귀납법과 극한 그래프 이론을 사용하여 교대 직사각형이 없는 칠하기와 그 제한 조건을 분석한다.

실험 결과

연구 질문

• RQ1 Shelah 큐브 보조정리 경계 G(r) ≤ r(r+1)/2 + 1 이 r에 대해 다항식 형태로 개선될 수 있는가?
• RQ2 Erdős–Gyárfás 문제의 제안에 따르면, 모든 p ≥3에 대해 F(r, p, p−1)가 초다항적인가?
• RQ3 색상 램지 함수 Fχ(r, p, q)의 성장률은 무엇이며, q = ⌈log p⌉에서 지수적에서 비지수적으로 전이되는가?
• RQ4 특히 p ≥4일 때, F3(r, p, p−2)가 어떤 고정된 c에 대해 2rc보다 큰가?
• RQ5 간선 칠하기에서 s개의 색상 클래스의 합집합의 색상 수는 임의로 느리게 증가할 수 있는가?

주요 결과

• 논문은 G(r)에 대해 초다항 하한을 확립하여, G(r)가 r에 대해 어떤 다항식보다도 더 빠르게 증가함을 증명함으로써, Graham-Rothschild-Spencer 질문에 대해 부정적인 답변을 제시한다.
• G(r) ≥ 2Ω(log² r)임을 보여, Shelah 경계가 다항식 형태로 개선될 수 없음을 입증한다.
• 색상 램지 함수 Fχ(r, 4, 3)는 2Ω(log² r) ≤ Fχ(r, 4, 3) ≤ 2O(√r log r)를 만족하며, 이는 비지수적이지만 초다항적인 성장률을 의미한다.
• p = 5일 때, Fχ(r, 5, 4) = 2Ω(log² r)임을 확인하여, 색상 램지 함수가 초다항적일 수 있음을 확인한다.
• 논문은 Fχ(r, 2d, d+1) = 2o(r)라면 Fχ(r, p, q)의 지수적에서 비지수적 전이에 대한 날카로운 임계점이 존재할 수 있음을 증명하고, 이가 모든 d ≥2에 대해 성립할 것이라 추측한다.
• 색상 칠하기 cM에서 s개의 색상 클래스의 합집합의 색상 수가 느리게 증가함을 보여, 향후 연구에서 개선된 경계가 가능할 수 있음을 시사한다.