[논문 리뷰] An exponential improvement for diagonal Ramsey

Marcelo Campos, Simon Griffiths외 2명|arXiv (Cornell University)|2023. 03. 16.

Limits and Structures in Graph Theory인용 수 13

한 줄 요약

저자는 대각선 Ramsey 수에 대한 고전 Erdős–Szekeres 상한보다 기하급수적 향상을 증명하여 R(k) ≤ (4−ε)^k를 어떤 ε>0로 보이고, 새로운 Book Algorithm을 통해 얻는다. 또한 ℓ ≤ k인(off-diagonal) 경우의 R(k,ℓ)에서 기하급수적 향상을 얻는데, 즉 R(k,ℓ) ≤ e^{−δℓ+o(k)}{k+ℓ ext{ ㅌ ǀ?}ℓ}에 해당하는 상수 δ>0.

ABSTRACT

The Ramsey number $R(k)$ is the minimum $n \in \mathbb{N}$ such that every red-blue colouring of the edges of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $K_k$. We prove that \[ R(k) \leqslant (4 - \varepsilon)^k \] for some constant $\varepsilon > 0$. This is the first exponential improvement over the upper bound of Erdős and Szekeres, proved in 1935.

연구 동기 및 목표

• Erdős–Szekeres 상한을 넘어서는 방향으로 Ramsey 수를 동기화하고 한정한다.
• 큰 단색 책을 구성하는 대칭적이지 않은 클리크가 없는 색칠에서 큰 단색 책을 구성하는 elementary 알고리즘적 접근법을 개발한다.
• 오프-대각선 개선을 두 단계 분석을 통해 더 강한 대각선 한계로 전환한다.

제안 방법

• 접합된 집합들(X, Y, A, B)을 지정된 간선 색 속성으로 유지하는 Book Algorithm을 도입한다.
• 빨간 단계(red steps), 큰 파란 단계(big blue steps), 밀도 증가 단계(density-boost steps)의 세 가지 움직임으로 빨간 책(A, Y)을 확장하면서 X와 Y 사이의 빨간 밀도 p를 제어한다.
• 가중 중심 정략(weighted central-vertex strategy)과 높이 기반의 단계 크기 스케줄을 정의하여 단계 간 p가 너무 많이 감소하지 않도록 보장한다.
• 주요 보조정리들( Zigzag Lemma 포함)을 증명하여 단계의 수와 영향력을 상한하고, 알고리즘이 큰 단색 책을 얻도록 한다.
• 오프-대각선 경계 R(k,ℓ)에서 를 이용한 R(k) 상한을 도출하고, ℓ ≈ k/5인 경우의 경계로 대각선 결과를 도출한다.

실험 결과

연구 질문

• RQ1 새로운 알고리즘적 접근으로 큰 단색 책을 구성하여 Erdős–Szekeres 상한을 초과할 수 있는가?
• RQ2 밀도 증가 메커니즘이 빨간 단계와 어떻게 상호작용하여 진행 상황을 유지하면서 빨간 모서리 밀도를 제어하는가?
• RQ3 ℓ ≤ k일 때 R(k,ℓ)에 어떤 기하급수적 개선이 가능하며, 이로부터 R(k) 대각선 한계에 어떻게 기여하는가?

주요 결과

• R(k) ≤ (4−ε)^k를 만족하는 어떤 ε>0가 존재함을 보인다(모든 충분히 큰 k에 대해).
• ε = 2^−10 및 ε = 2^−7로 대각선 한계의 두 가지 구체적 증명을 제공하며 상수는 더 향상될 수 있음을 시사한다.
• 오프-대각선 Ramsey 수에 대한 기하급수적 향상: R(k,ℓ) ≤ e^{−δℓ+o(k)}{k+ℓ ᵋ?}ℓ}를 모든 k,ℓ에 대해 ℓ ≤ k(δ>0)인 경우에 대해 보인다.
• 방법을 ℓ ≤ k/4 구간으로 확장하여 R(k,ℓ) ≤ e^{−ℓ/50+o(k)}{k+ℓᵋ?}ℓ}의 경계로 확장한다.