[논문 리뷰] Tight Ramsey Bounds for Multiple Copies of a Graph

Matija Bucić, Benny Sudakov|arXiv (Cornell University)|2021. 08. 26.

Limits and Structures in Graph Theory참고 문헌 20인용 수 1

한 줄 요약

이 논문은 램지 이론에서 오랫동안 미해결된 문제를 해결하며, 고정된 그래프 $ H $의 $ n $개의 정점 분리 복제본인 $ nH $의 램지 수가 $ |H| $에 대해 지수적으로 큰 $ n $이 되면, 그 점근적 선형 형태 $ (2|H| - \alpha(H))n + c $로 안정화됨을 보여준다. 이는 이전까지 알려진 삼중 또는 이중 지수적 상한에 비해 더 나은 결과이다. 저자들은 임계값 $ n_0 $과 상수 $ c $에 대해 날카운 경계를 확립하여, Burr, Erd\'os, 그리고 Spencer가 1975년에 제기한 문제에 거의 최적의 해결책을 제시한다.

ABSTRACT

The Ramsey number $r(G)$ of a graph $G$ is the smallest integer $n$ such that any $2$ colouring of the edges of a clique on $n$ vertices contains a monochromatic copy of $G$. Determining the Ramsey number of $G$ is a central problem of Ramsey theory with long and illustrious history. Despite this there are precious few classes of graphs $G$ for which the value of $r(G)$ is known exactly. One such family consists of large vertex disjoint unions of a fixed graph $H$, we denote such a graph, consisting of $n$ copies of $H$ by $nH$. This classical result was proved by Burr, Erdős and Spencer in 1975, who showed $r(nH)=(2|H|-α(H))n+c$, for some $c=c(H)$, provided $n$ is large enough. Since it did not follow from their arguments, Burr, Erdős and Spencer further asked to determine the number of copies we need to take in order to see this long term behaviour and the value of $c$. More than $30$ years ago Burr gave a way of determining $c(H)$, which only applies when the number of copies $n$ is triple exponential in $|H|$. In this paper we give an essentially tight answer to this very old problem of Burr, Erdős and Spencer by showing that the long term behaviour occurs already when the number of copies is single exponential.

연구 동기 및 목표

• Burr, Erd\'os, 그리고 Spencer가 1975년에 제기한 오랫동안 미해결된 문제를 해결하는 것: 고정된 그래프 $ H $에 대해 램지 수 $ r(nH) $가 점근적 선형 형태 $ (2|H| - \alpha(H))n + c $로 안정화되기 위해 필요한 최소한의 복제 수 $ n $을 구하는 것.
• 이전에 Burr에 의해 확립된 삼중 지수적 상한에 비해 훨씬 향상된 단일 지수적 상한을 $ n_0 $에 대해 제공하는 것.
• 고전적 결과에서 두 번째 결함을 해결하기 위해 상수 $ c(H) $에 대해 거의 날카운 특성화를 제공하며, 임의의 고정된 그래프 $ H $에 대해 $ c(H) $를 구성적으로 결정할 수 있는 방법을 제시하는 것.

제안 방법

• 단일 색상의 $ nH $를 피하는 극한 색칠에 기반한 새로운 구조적 추론을 개발하며, 소규모 특수 집합 $ E' $, 빨간색 및 파란색 부분 $ R', B' $ 및 그 크기 제약 조건의 역할을 중심으로 한다.
• 재귀적 색칠 추론을 사용하여, $ r((n-1)H) $가 알려져 있을 경우 $ r(nH) \geq r((n-1)H) + 2k - \alpha $임을 보이며, 단일 색상의 $ nH $를 유지하면서 $ R' $과 $ B' $에 정점을 천천히 추가한다.
• 극한 조합적 경계를 적용하여 특수 집합 $ E' $의 크기를 제어하며, $ |E'| \leq 2^{O(k)} $임을 보여, 깔끔한 귀납 단계를 가능하게 한다.
• 완전 그래프와 독립 집합의 램지 수에 대한 알려진 경계를 활용하여 $ r(nK_k) $에 대한 날카운 추정치를 유도하며, 일반 결과를 명확한 공식으로 설명한다: $ r(nK_k) = (2k - 1)n + r(K_{k-1}) - 2 $.
• 비대칭 램지 문제인 $ r(G, nH) $에 이 방법을 응용하여, 장기적 행동이 단일 지수적 $ n $에서 이미 나타남을 보이며, 이는 이전의 이중 또는 삼중 지수적 상한을 향상시킨다.
• 핵심 보조정리(보조정리 8)의 수정을 통해 이 방법을 토너먼트로 확장하며, 방향 램지 이론에서 유사한 결과를 도출할 수 있는 길을 제시한다.

실험 결과

연구 질문

• RQ1 고정된 그래프 $ H $에 대해 $ r(nH) = (2|H| - \alpha(H))n + c $가 모든 $ n \geq n_0 $에서 성립하기 위한 최소 수 $ n_0 $는 무엇인가?
• RQ2 그래프 $ nH $의 램지 수 공식에 포함된 상수 $ c(H) $는 효과적으로 계산될 수 있는가? 만약 가능하다면 어떤 조건에서 가능한가?
• RQ3 램지 수 $ r(nH) $의 장기적 점근적 행동은 $ |H| $에 대해 단일 지수적 임계값에서 나타나는가? 삼중 또는 이중 지수적 상한이 필요하지 않은가?
• RQ4 비대칭 램지 수 $ r(G, nH) $는 $ |H| $에 대해 지수적으로 증가하는 $ n $에 대해 날카운 경계를 가질 수 있는가? 이는 이전 결과를 향상시킨다.
• RQ5 토너먼트나 유도 램지 이론과 같은 다른 설정에서도 주요 결과의 자연스러운 유사 결과가 존재하는가?

주요 결과

• 논문은 $ r(nH) = (2|H| - \alpha(H))n + c(H) $가 $ k = |H| $일 때 모든 $ n \geq 2^{Ck} $에서 성립함을 입증하며, 장기적 행동이 삼중 지수적 상한이 아닌 단일 지수적 임계값에서 나타남을 보여준다.
• 상수 $ c(H) $는 Burr의 방법과 유사한 방법을 통해 효과적으로 결정될 수 있음을 보이며, 저자들은 전체 논의를 4.2절로 연기한다.
• 완전 그래프의 경우 정확한 공식을 제시한다: $ r(nK_k) = (2k - 1)n + r(K_{k-1}) - 2 $, 이는 $ n \geq 2^{Ck} $에서 유효하며, 경계의 날카움을 입증한다.
• 저자들은 $ r(nH) \geq r((n-1)H) + 2k - \alpha(H) $임을 증명하며, 이는 재귀적 하한을 제공하고 주요 귀납적 추론의 기초가 된다.
• 결과는 거의 날카롭다: 만약 $ n $이 지수적 이하일 경우, 일반적인 램지 상한은 $ r(nH) $가 $ H $의 단일 복제본조차 포함하지 않을 수 있음을 시사하므로, 지수적 성장은 필수적이다.
• 이 방법은 비대칭 케이스인 $ r(G, nH) $로도 확장되며, 장기적 행동이 단일 지수적 $ n $에서 발생함을 보여, Burr가 열어두었던 질문을 해결한다.