[논문 리뷰] Ramsey numbers of cubes versus cliques

David Conlon, Jacob Fox외 2명|arXiv (Cornell University)|2012. 08. 08.

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

한 줄 요약

이 논문은 기존 하한 $ (s-1)(2^n - 1) + 1 $ 과 상수 인자 범위 내에서 유일한 상계를 확립하며, $ r(Q_n, K_s) \leq c_s 2^n $ 를 만족하는 어떤 상수 $ c_s $ 가 존재함을 증명한다. 이 결과는 하이퍼큐브의 $ s $-goodness에 관한 버르와 에르되시의 오랜 동안의 추측을 해결하며, 고정된 $ s \geq 3 $ 과 충분히 큰 $ n $ 에 대해 큐브 그래프 $ Q_n $ 가 $ s $-good 함을 보여주며, 그래프 분해 및 분리자 정리 기법을 사용한다.

ABSTRACT

The cube graph Q_n is the skeleton of the n-dimensional cube. It is an n-regular graph on 2^n vertices. The Ramsey number r(Q_n, K_s) is the minimum N such that every graph of order N contains the cube graph Q_n or an independent set of order s. Burr and Erdos in 1983 asked whether the simple lower bound r(Q_n, K_s) >= (s-1)(2^n - 1)+1 is tight for s fixed and n sufficiently large. We make progress on this problem, obtaining the first upper bound which is within a constant factor of the lower bound.

연구 동기 및 목표

• 고정된 $ s \geq 3 $ 과 충분히 큰 $ n $ 에 대해 하이퍼큐브 $ Q_n $ 가 $ s $-good인지 여부에 관한 버르와 에르되시의 추측을 해결하기 위해.
• 기존 하한 $ (s-1)(2^n - 1) + 1 $ 과 $ r(Q_n, K_s) $ 에 대한 이전까지의 최선의 상계 사이의 격차를 메우기 위해.
• 에르되시-큐브의 $ n $-차원 큐브와 크기 $ s $ 의 클리크의 램지 수가 상수 인자 범위 내에서 $ 2^n $ 에 비례함을 증명하기 위해.
• 유계 차수를 갖지 않는 하이퍼큐브에 대해 기존 방법으로는 적용되지 않는 그래프 분리자 정리와 비산도 기반 임bedding 기법을 적용하기 위해.

제안 방법

• 확장 성질를 제어하는 희박한 부분그래프로의 재귀적 분해를 사용하며, $ (|V|^{1-\gamma}, \eta) $-분리자 구조에 의존한다.
• 니키포로프와 루소의 결과를 적용하여, 작은 분리자를 갖는 $ d $-비산도 그래프는 $ K \in \mathcal{K} $ 에 대해 $ K $-good 임을 보이며, 여기서 $ \mathcal{K} $ 는 $ \chi(K) $-색칠에서 최소 두 개의 싱글릿 색상 클래스를 포함하는 그래프들을 포함한다.
• 정점 집합의 반복적 정밀화를 통해 크기가 감소하고 희박성이 증가하는 부분그래프의 계층을 구성하며, 특정 부분들 사이에 간선이 존재하지 않도록 보장한다.
• 최적의 그래프 이론과 투란 유형의 경계를 이용하여, 최소 차수가 높은 $ Q_n $-자유 그래프는 큰 독립 집합을 가져야 한다고 보여준다.
• $ Q_n $ 이 하위선형 대역폭을 가지며 이분 그래프이지만, 유계 차수를 갖지 않기 때문에, 이전의 $ H $-goodness 결과로는 적용되지 않는 새로운 기법이 필요하다고 보여진다.
• 의존적인 랜덤 선택과 확률적 임베딩 보조정리를 사용하여 $ Q_n $ 을 피하는 그래프의 구조를 제어하고, 큰 독립 집합을 구성할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 고정된 $ s \geq 3 $ 과 충분히 큰 $ n $ 에 대해 하이퍼큐브 $ Q_n $ 는 $ s $-good인가? 즉, $ r(Q_n, K_s) = (s-1)(2^n - 1) + 1 $ 인가?
• RQ2 $ r(Q_n, K_s) $ 에 대한 상계를 기존 하한과 상수 인자 범위 내에서 개선할 수 있는가?
• RQ3 하위선형 대역폭과 높은 최소 차수를 갖는 그래프는 반드시 $ Q_n $ 을 포함하거나 큰 독립 집합을 가져야 하는가?
• RQ4 분리자 정리와 비산도 조건을 사용하여, 유계 차수를 갖지 않는 그래프인 $ Q_n $ 과 같은 그래프에 대해 $ H $-goodness 를 증명할 수 있는가?

주요 결과

• Ramsey 수 $ r(Q_n, K_s) $ 는 상수 $ c_s $ 가 존재하여 $ r(Q_n, K_s) \leq c_s 2^n $ 를 만족하며, 이는 하한과 상수 인자 범위 내에서 일치한다.
• 이 결과는 모든 고정된 $ s \geq 3 $ 에 대해 하이퍼큐브의 가족 $ \{Q_n\} $ 이 $ s $-good 임을 증명하며, 버르와 에르되시의 추측을 확인한다.
• 이 결과는 임의의 고정된 그래프 $ H $ 에 대해 $ r(Q_n, H) \leq c_H 2^n $ 를 의미하며, 모든 고정된 $ H $ 에 대해 $ Q_n $ 이 $ H $-good 임을 보여준다.
• 증명은 $ d $-비산도 그래프에 대해 작은 분리자를 갖는 그래프에 대해 분리자 정리를 신규로 적용함으로써, 기존의 $ K $-goodness 결과를 유계 차수를 갖지 않는 그래프로 확장한다.
• 저자들은 크기가 감소하고 희박성이 증가하는 정점 집합의 계층을 구성하며, 특정 구성 요소들 사이에 간선이 존재하지 않도록 보장함으로써, $ Q_n $ 의 임베딩 또는 큰 독립 집합의 탐지가 가능해진다.
• 이 작업은 버르-에르되시 추측의 보다 넓은 해법을 위한 기초 단계를 제공하며, 만약 $ r(Q_n, Q_n) $ 가 선형임을 증명할 수 있다면, 이는 $ r(Q_n, K_s) $ 도 $ 2^n $ 에 비례함을 의미한다.