[논문 리뷰] Gallai-Ramsey numbers for fans

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

Limits and Structures in Graph Theory참고 문헌 12인용 수 5

한 줄 요약

이 논문은 $F_n = K_1 + nK_2$ 형태의 팬 그래프에 대한 갈라이-람제 수에 대한 날카운 경계를 확립하며, 짝수 $k$인 경우 $F_2$와 $F_3$에 대해 정확한 값을 도출하고, 모든 $n$과 $k$에 대해 일반적인 상한과 하한을 제시한다. 결과는 갈라이 분할의 구조적 성질과 재귀적 구성 기법을 활용하여 $k$와 $n$에 대해 지수적 경계를 도출함으로써 갈라이 색칠 하에서 람제 유사 문제의 연구를 확장한다. 주요 기여는 짝수 및 홀수 $k$에 대해 정확한 지수 성장률을 갖는 $gr_k(K_3; F_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$. In this paper, we obtain general upper and lower bounds on the Gallai-Ramsey numbers for fans $F_{m} = K_{1} + mK_{2}$ and prove the sharp result for $m = 2$ and for $m = 3$ with $k$ even.

연구 동기 및 목표

• 갈라이-람제 수 $gr_k(K_3; F_n)$를 결정하는 것: 이는 임의의 $k$-간선 색칠이 랜덤 삼각형 또는 단색 팬 그래프 $F_n = K_1 + nK_2$의 사본을 포함하는 최소 $n$으로 정의된다.
• 삼각형과 버트 그래프를 일반화하는 팬 그래프에 초점을 맞춰, 작은 그래프에 대한 이전 갈라이-람제 수 연구를 확장하는 것.
• 일반적인 상한과 하한을 $gr_k(K_3; F_n)$에 대해 확립하고, 특히 짝수 $k$인 $F_2$와 $F_3$에 대해 정확한 값을 증명하는 것.
• 갈라이-람제 수 $gr_k(K_3; F_3)$의 하한이 모든 $k$에 대해 날카로운지 추측하고, 재귀적 구성 기법을 통해 이를 뒷받침하는 것.
• 갈라이 분할과 $k$-색칠에서의 축소 그래프의 구조를 활용하여 이전의 갈라이-람제 수 결과를 통합하고 일반화하는 것.

제안 방법

• 갈라이 분할에서 유도된 $2$-색으로 칠해진 축소 그래프에 대한 갈라이의 정리를 활용한다. 이는 랜덤 삼각형이 없는 $k$-간선 색칠된 완전 그래프에서 유도된다.
• 재귀적 색칠 구성 기법을 적용한다: 짝수 $k$인 경우, 색상 $k$의 간선이 있는 $(k-2)$-색으로 칠해진 그래프의 두 개의 복제본을 사용한다. 홀수 $k$인 경우, 단색 삼각형을 피하기 위해 $2$-색으로 칠해진 $K_5$의 구조를 갖는 다섯 개의 복제본을 사용한다.
• 최대 그래프 이론 기법을 활용하여 갈라이 분할에서 부분의 크기를 제한한다. 이는 부분 내에서 서로소인 단색 간선에 대한 제약 조건을 사용한다.
• 재귀적 기법을 $k$에 대해 귀납적으로 적용하여, 랜덤 삼각형이 없고 단색 $F_n$도 없는 $K_n$의 $k$-색칠을 구성함으로써 하한을 확립한다.
• 정점 분할과 간선 색상 제약 조건에 기반한 모순 증명 기법을 활용하여 상한을 유도한다. 단색 간선을 제거하기 위해 정점을 삭제한다.
• 기존의 람제 수와 구조적 보조정리(예: 레드 간선만 있는 부분에 대한 보조정리 6)를 활용하여 갈라이 분할 내 하위그래프의 크기를 제한한다.

실험 결과

연구 질문

• RQ1 모든 $k \geq 2$에 대해 갈라이-람제 수 $gr_k(K_3; F_2)$의 정확한 값은 무엇인가?
• RQ2 $gr_k(K_3; F_3)$에 대해 날카운 상한과 하한은 무엇이며, 하한이 모든 $k$에 대해 날카로운가?
• RQ3 임의의 $n$과 $k$에 대해 $gr_k(K_3; F_n)$에 대해 일반적인 경계를 어떻게 설정할 수 있는가?
• RQ4 갈라이-람제 수가 색의 수 $k$와 팬의 크기 $n$에 따라 어떻게 증가하는가?
• RQ5 갈라이 분할과 축소 그래프의 구조를 활용하여 $gr_k(K_3; F_n)$에 대해 정확하거나 거의 정확한 값을 유도할 수 있는가?

주요 결과

• 패널 $F_2$에 대해, $k=2$일 때 갈라이-람제 수는 정확히 $gr_k(K_3; F_2) = 9$이며, $k \geq 4$이면서 짝수일 때는 $\frac{83}{2} \cdot 5^{(k-4)/2} + \frac{1}{2}$이며, $k$가 홀수일 때는 $4 \cdot 5^{(k-1)/2} + 1$이다.
• 패널 $F_3$와 짝수 $k$에 대해 정확한 값은 $gr_k(K_3; F_3) = 14 \cdot 5^{(k-2)/2} - 1$이며, 홀수 $k \geq 7$일 경우 하한과 상한은 각각 $33 \cdot 5^{(k-3)/2} \leq gr_k(K_3; F_3) \leq 33 \cdot 5^{(k-3)/2} + \frac{3}{4} \cdot 5^{(k-5)/2} - \frac{3}{4}$이다.
• 논문은 $gr_k(K_3; F_3)$의 하한이 날카로운 것으로 추측하며, 즉 모든 홀수 $k$에 대해 $gr_k(K_3; F_3) = 33 \cdot 5^{(k-3)/2}$임을 제기한다.
• 패널 $F_n$에 대한 일반적인 경계는 다음과 같다: 짝수 $k$일 경우 $4n \cdot 5^{(k-2)/2} + 1 \leq gr_k(K_3; F_n) \leq 10n \cdot 5^{(k-2)/2} - \frac{5}{2}n + 1$, 홀수 $k$일 경우 $2n \cdot 5^{(k-1)/2} + 1 \leq gr_k(K_3; F_n) \leq \frac{9}{2}n \cdot 5^{(k-1)/2} - \frac{5}{2}n + 1$이다.
• 색상 수 $2i-1$ 또는 $2i$ 또는 $2i+1$을 사용하는 재귀적 구성 기법을 통해, 랜덤 삼각형이 없고 단색 $F_n$도 없는 $K_n$의 $k$-색칠을 구성함으로써 하한을 증명한다.
• 증명은 갈라이 분할의 세 부분에서 최대 $10n - 10$개의 정점을 삭제하여 빨간색과 파란색 간선을 모두 제거함으로써 이루어지며, 그래프가 너무 크면 이로 인해 모순이 발생하므로 람제 수가 유한함을 보장한다.