[논문 리뷰] Replacing the host K_n by n-chromatic graphs in Ramsey-type results

Arie Bialostocki, András Gyárfás|arXiv (Cornell University)|2015. 06. 15.

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

한 줄 요약

이 논문은 완전 그래프 $K_n$ 에서의 두 가지 고전적인 램지 유형 정리—동색의 스패닝 트리와 동색 매칭에 관해—을 임의의 $n$-색깔 그래프로 확장한다. 2색으로 칠해진 $n$-색깔 그래프에서는 항상 $n$ 개의 정점을 가진 동색 트리가 존재하며, 색깔 수가 $t$이고 색깔 수가 $n_1 + 1 + \sum (n_i - 1)$ 이상인 $n$-색깔 그래프에서는 어떤 $i$에 대해 크기가 $n_i$인 동색 매칭이 존재한다. 이는 에르되시–라도와 코크세인–로리머의 결과를 일반화한다.

ABSTRACT

We extend two well-known results in Ramsey theory from from $K_n$ to arbitrary $n$-chromatic graphs. The first is a note of Erd\H os and Rado stating that in every 2-coloring of the edges of $K_n$ there is a monochromatic tree on $n$ vertices. The second is the theorem of Cockayne and Lorimer stating that for positive integers satisfying $n_1=\max\{n_1,n_2,\dots,n_t\}$ and with $n=n_1+1+\sum_{i=1}^t (n_i-1)$, the following holds. In every coloring of the edges of $K_n$ with colors $1,2\dots,t$ there is a monochromatic matching of size $n_i$ for some $i\in \{1,2,\dots,t\}$.

연구 동기 및 목표

• 완전 그래프 $K_n$ 에서 처음으로 증명된 고전적인 램지 유형 결과를 임의의 $n$-색깔 그래프로 일반화하기.
• 완전 그래프 $K_n$ 에서 간선 칠하기에 의해 보장되는 동색 부분그래프(트리, 매칭)가 동일한 조건 하에 임의의 $n$-색깔 그래프에서도 존재하는지 조사하기.
• 밀도 높은 기반 그래프인 $K_n$ 에 대한 램지 유형 정리가 희박하거나 구조가 있는 기반 그래프로 어떻게 확장될 수 있는지 탐색하기.
• 색깔 수가 간선 칠한 그래프에서 동색 부분구조를 유도하는 데 충분한 조건으로서 색깔 수의 역할을 검토하기.
• 순환하지 않는 그래프(예: 트리, 매칭)가 어떤 조건에서 '좋은' 그래프로 간주될 수 있는지, 즉 $R(H_1,\dots,H_t)$-색깔 수를 가진 그래프에서 각 색깔 $i$에 대해 $H_i$ 의 동색 사본이 항상 존재하는지 조사하기.

제안 방법

• 2색으로 칠해진 $n$-색깔 그래프의 구성요소 구조를 분석하기 위해 초그래프의 이중성과 이분 다중그래프를 사용하며, 간선 칠하기를 통해 색깔 수와 구성요소 크기 간의 관계를 설정한다.
• 이분 다중그래프의 간선 칠하기에 관한 코르니히의 정리를 적용하여 색깔 수에 따라 최대 구성요소 크기를 유계로 제한한다.
• 기반 그래프 $G$ 의 정점 집합 위에 완전 그래프 $K$ 를 구성하고, $G$ 의 간선 칠하기를 보완하는 데 새로운 '색깔 0'을 사용하여 색칠된 완전 그래프를 형성한다.
• 반례에 대한 최소성 원리를 적용한다: 색깔 수가 $R$ 인 최소 반례 $G$ 를 가정하고, 더 큰 적절히 칠해진 부분 트리를 구성함으로써 모순을 도출한다.
• 적절히 칠해진 트리와 경로의 구조적 분석을 통해, 최대 트리에서 특정 색깔이 부재할 경우 간선 색칠 갈등으로 인해 모순이 발생함을 보인다.
• 정점 집합을 독립집합으로 분할하고, $t$-색으로 칠해진 $K_n$ 으로 매핑함으로써 원래의 코크세인–로리머 정리를 활용하는 데 사용되는 블랙박스 감소 기법을 적용한다.

실험 결과

연구 질문

• RQ1 에르되시–라도 정리에 따르면, $K_n$ 의 모든 2간선 색칠에는 동색 스패닝 트리가 존재한다. 이 결과는 임의의 $n$-색깔 그래프로 확장될 수 있는가?
• RQ2 코크세인–로리머 정리에 따르면 $K_n$ 에서는 동색 매칭이 존재한다. 색깔 수가 $n_1 + 1 + \sum (n_i - 1)$ 이상인 경우, 이 정리는 $n$-색깔 그래프로 일반화될 수 있는가?
• RQ3 어떤 순환하지 않는 그래프 $H_i$ 에 대해, 모든 $R(H_1,\dots,H_t)$-색깔 수를 가진 그래프가 $t$-색칠에서 색깔 $i$ 에서 $H_i$ 의 동색 사본을 포함하는가?
• RQ4 색깔 수가 희박한 기반 그래프에서 동색 부분구조를 강제하는 데 충분한 조건인가? 즉, 기반 그래프가 완전 그래프가 아닐 때도 마찬가지로 성립하는가?
• RQ5 순환하지 않는 $H_i$ 에 대해, 모든 $i$ 에 대해 색깔 $i$ 에서 동색 $H_i$ 가 없는 $t$-간선 색칠된 $R(H_1,\dots,H_t)$-색깔 수 그래프가 존재하는가?

주요 결과

• 모든 2간선 색칠이 적용된 $n$-색깔 그래프는 항상 $n$ 개의 정점을 가진 동색 트리를 포함한다. 이는 에르되시–라도 정리를 $K_n$ 에서 일반적인 $n$-색깔 그래프로 확장한 것이다.
• 색깔 수가 $\chi(G) \geq n_1 + 1 + \sum_{i=1}^t (n_i - 1)$ 인 $n$-색깔 그래프 $G$ 에 대해, 어떤 $i$ 에 대해서도 크기가 $n_i$ 인 동색 매칭이 존재한다. 이는 코크세인–로리머 정리를 일반화한 것이다.
• 이 증명은 $G$ 의 완전 그래프 확장을 통해 적절히 칠해진 부분 트리를 구성하고, 그 안에서 진정한 색깔이 누락될 경우 모순을 도출하는 데 의존한다.
• 기반 그래프의 색깔 수는 기반 그래프가 완전 그래프가 아니더라도 동색 부분구조를 강제하는 데 충분한 조건이다.
• 결과는 날카롭게 맞물려 있다: 색깔 수의 임계값 $n_1 + 1 + \sum (n_i - 1)$ 은 필수적이며, 반례 구성의 최소성으로 인해 이를 보여준다.
• 순환하지 않는 그래프 $H_1,\dots,H_t$ 에 대해, $R(H_1,\dots,H_t)$-색깔 수를 가진 그래프에서 색깔 $i$ 에서 $H_i$ 의 동색 사본을 피하는 예가 알려져 있지 않다. 이는 이러한 그래프가 항상 '좋은' 그래프일 가능성이 있음을 시사한다.