[논문 리뷰] Ramsey and Gallai-Ramsey number for wheels

Yaping Mao, Zhao Wang외 2명|arXiv (Cornell University)|2019. 05. 28.

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

한 줄 요약

이 논문은 휠의 고전적 및 갈라이-램지 수에 대해 날카러운 경계를 설정하며, 5개 정점으로 구성된 휠 $W_5$에 대한 갈라이-램지 수의 정확한 값을 제공하고, $n \geq 7$인 모든 휠 $W_n$에 대해 일반적인 상한과 하한을 도출한다. 이는 갈라이 분할 구조와 극한 그래프 이론을 활용하여 램지 유형의 추론과 완전 그래프 내 색상 분할을 기반으로 한 재귀적 경계를 유도한다.

ABSTRACT

Given a graph $G$ and a positive integer $k$, define the \emph{Gallai-Ramsey number} to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. Much like graph Ramsey numbers, Gallai-Ramsey numbers have gained a reputation as being very difficult to compute in general. As yet, still only precious few sharp results are known. In this paper, we obtain bounds on the Gallai-Ramsey number for wheels and the exact value for the wheel on $5$ vertices.

연구 동기 및 목표

• 7 이상인 $n$에 대해 휠 $W_n$에 대한 고전적 대각선 램지 수 $R(W_n, W_n)$를 결정하고, 날카러운 상한과 하한을 제공한다.
• 5개 정점으로 구성된 휠에 대해 정확한 갈라이-램지 수 $gr_k(K_3; W_5)$를 계산하여 이전에 열려 있던 케이스를 해결한다.
• $n \geq 7$에 대해 $gr_k(K_3; W_n)$에 대한 일반화된 경계를 수립하고, $k$와 $n$에 따른 渐近적 행동을 규명한다.
• 특히 밀도가 높은 그래프인 휠에 대해 갈라이-색칠 제약 조건 하에서 램지 유형 문제의 이해를 확장한다.
• 갈라이 분할의 구조적 결과를 활용하여, 간선이 칠해진 완전 그래프 내 단색 및 무채색 부분그래프를 제어한다.

제안 방법

• 삼각형을 포함하지 않는 간선 색칠에 관한 갈라이의 정리를 활용하여, 완전 그래프를 두 가지 색상 이하로만 연결된 부분들로 분해하고, 이를 통해 감소된 2색 완전 그래프를 구성한다.
• 갈라이-램지 수 $gr_k(K_3; H)$를 정의하여, $K_n$의 $k$-색칠이 항상 램지 삼각형 또는 $H$의 단색 복제본을 포함하는 최소의 $n$으로 정의한다.
• 정점 집합을 큰 부분과 작은 부분으로 나누는 재귀적 경계 기법을 적용하며, 여기서 '크다'는 의미는 $n$의 기수에 따라 $\lfloor (n-1)/2 \rfloor$ 또는 $\lfloor (n-2)/2 \rfloor$ 이상의 크기를 의미한다.
• 극한 그래프 이론을 적용하여, $C_{n-1}$, $P_{n-2}$ 또는 $W_n$의 단색 복제본을 피하는 부분의 크기를 제한하며, 알려진 램지 수를 기반으로 한다.
• 갈라이 분할 내 총 정점 수를 재귀 함수 $N(n, r, s, t)$와 비교하여 부등식을 수립하고, 경계를 초과할 경우 모순이 발생함을 보인다.
• 갈라이 분할 내 $k$개 색상에 따른 부분 간 모든 가능한 색상 분포를 분석하며, 첫 번째 $r$, 중간 $s$, 마지막 $t$개 색상에서 빨간색 또는 파란색이 나타나는 경우를 고려한다.

실험 결과

연구 질문

• RQ1 모든 $k \geq 1$에 대해 갈라이-램지 수 $gr_k(K_3; W_5)$의 정확한 값은 무엇인가요?
• RQ2 7 이상인 $n$에 대해 고전적 램지 수 $R(W_n, W_n)$에 대한 날카러운 상한과 하한은 무엇인가요?
• RQ3 갈라이-램지 수 $W_n$의 경우, $k$와 $n$에 대한 함수로서 渐近적 행동은 어떻게 되나요?
• RQ4 갈라이 분할의 구조를 활용하여 $W_5$를 초월한 $gr_k(K_3; W_n)$에 대한 일반적 경계를 유도할 수 있는가요?
• RQ5 휠의 순서 $W_n$과 그 갈라이-램지 수의 $k$에 대한 성장률 사이의 관계는 무엇인가요?

주요 결과

• 5개 정점으로 구성된 휠에 대한 갈라이-램지 수의 정확한 값은 $k=1$일 때 $gr_k(K_3; W_5) = 5$이며, $k$가 2 이상인 짝수일 때는 $14 \cdot 5^{(k-2)/2} + 1$이고, $k \geq 3$인 홀수일 때는 $28 \cdot 5^{(k-3)/2} + 1$이다.
• $n \geq 7$일 때, 고전적 대각선 램지 수 $R(W_n, W_n)$는 $n$이 짝수면 $3n - 3 \leq R(W_n, W_n) \leq 8n - 10$을, 홀수면 $2n - 2 \leq R(W_n, W_n) \leq 6n - 8$를 만족한다.
• 논문은 $R(W_5, W_5) = 15$와 $R(W_6, W_6) = 17$임을 증명하여 기존에 알려진 값을 확인하고, 휠에 대한 고전적 램지 수의 범위를 확장한다.
• $gr_k(K_3; W_n)$에 대한 경계는 갈라이 분할에 대한 케이스 분석을 통해 수립되며, 큰 부분의 수와 부분 간 색상 분포에 대한 제약 조건이 있다.
• 짝수 $k$일 경우, $W_5$에 대한 갈라이-램지 수는 $\Theta(5^{k/2})$의 속도로 증가하고, 홀수 $k \geq 3$일 경우 $\Theta(5^{(k-1)/2})$의 속도로 증가하여 $k$에 대한 지수적 의존성을 보인다.
• 증명 기법은 최소 반례를 가정하고, 단색 부분그래프를 피하는 부분에 대한 재귀적 크기 추정을 사용하여 총 정점 수가 가정된 경계를 초과함을 보여주는 모순에 기반한다.