[논문 리뷰] Gallai-Ramsey numbers of odd cycles

Zhao Wang, Yaping Mao외 3명|arXiv (Cornell University)|2018. 08. 28.

Limits and Structures in Graph Theory참고 문헌 16인용 수 7

한 줄 요약

이 논문은 길이가 13 이상인 삼각형과 홀수 사이클에 대한 정확한 갈라이-라마르 수를 설정하며, $k \geq 1$ 및 $\ell \geq 6$ 일 때 $\mathrm{gr}_k(K_3:C_{2\ell+1}) = \ell \cdot 2^k + 1$ 임을 증명한다. 증명은 갈라이 분할과 극한 색칠 기법을 사용하여 단색 홀수 사이클과 레인보우 삼각형을 배제함으로써 이전 결과에서의 하한 값의 날카로움에 대한 오랫동안 제기된 추측을 확인한다.

ABSTRACT

Given two graphs $G$ and $H$ and a positive integer $k$, the $k$-color Gallai-Ramsey number, denoted by $gr_{k}(G : H)$, is the minimum integer $N$ such that for all $n \geq N$, every $k$-coloring of the edges of $K_{n}$ contains either a rainbow copy of $G$ or a monochromatic copy of $H$. We prove that $gr_{k} (K_{3} : C_{2\ell + 1}) = \ell \cdot 2^{k} + 1$ for all $k \geq 1$ and $\ell \geq 3$.

연구 동기 및 목표

• 갈라이-라마르 수에 대한 홀수 사이클의 정리 1에서 제시된 하한 값이 타당한지에 대한 추측을 해결하는 것.
• 모든 $k \geq 1$ 및 $\ell \geq 6$ 에 대해 $\mathrm{gr}_k(K_3:C_{2\ell+1})$ 의 정확한 값을 결정하는 것.
• 이전의 $C_5$, $C_7$, $C_9$ 결과를 더 긴 홀수 사이클 전역으로 확장하기 위해 구조적 색칠 기법을 사용하는 것.
• 모든 $k$-색칠에서 $n \geq \ell \cdot 2^k + 1$ 이면 반드시 레인보우 삼각형 또는 단색 홀수 사이클이 존재함을 확인하는 것.

제안 방법

• 완전 그래프를 최대 두 가지 색상으로만 연결된 부분으로 분해할 수 있도록 갈라이 분할을 활용하여 간선 색칠의 구조적 분석을 가능하게 한다.
• 색칠을 수정함으로써 단색 $C_{2\ell+1}$ 를 유지하면서도 레인보우 삼각형을 제거하는 감소 기법을 적용한다.
• 특히 디라크의 해밀턴 사이클 정리를 활용한 극한 그래프 이론을 적용하여, 사이클 구조를 가정했을 때 모순을 이끌어내는 방법을 사용한다.
• 색칠된 부분그래프($G_R$, $G_B$, $H_1$, $H_{B_1}$, $H_{B_2}$)와의 사이클 교차에 대한 경우 분석을 통해 정점 간의 거리를 제한하고 모순을 이끌어낸다.
• 단색 $C_{2\ell+1}$ 가 존재하지 않는다고 가정할 때, $|C| = 2\ell - 2$ 가 모순을 일으키는 것을 보여주기 위해 사이클 길이 제약 조건과 색상 클래스 간 정점 분포를 분석하는 것으로 문제를 단순화한다.
• 경로 대체 기법을 적용하여 기존의 간선으로부터 단색 $C_{2\ell+1}$ 를 구성함으로써, 특정 구조가 원하는 사이클을 강제로 유도함을 보여준다.

실험 결과

연구 질문

• RQ1 길이가 $\ell \geq 6$ 인 경우, $\mathrm{gr}_k(K_3:C_{2\ell+1})$ 에 대해 하한 값 $n \geq \ell \cdot 2^k + 1$ 이 타당한가?
• RQ2 모든 $k \geq 1$ 및 $\ell \geq 6$ 에 대해 $K_3$ 와 $C_{2\ell+1}$ 의 갈라이-라마르 수를 정확히 결정할 수 있는가?
• RQ3 모든 $k$-색칠에서 $n \geq \ell \cdot 2^k + 1$ 이면 반드시 레인보우 $K_3$ 또는 단색 $C_{2\ell+1}$ 이 존재하는가?
• RQ4 길이가 $n = \ell \cdot 2^k$ 인 갈라이 색칠이 적용된 $K_n$ 에서 $C_{2\ell+1}$ 가 존재하지 않는 이유는 무엇인가?

주요 결과

• 모든 $k \geq 1$ 및 $\ell \geq 6$ 에 대해 갈라이-라마르 수 $\mathrm{gr}_k(K_3:C_{2\ell+1})$ 는 정확히 $\ell \cdot 2^k + 1$ 이다.
• 이것은 정리 1에서 제시된 하한 값 $n \geq \ell \cdot 2^k + 1$ 이 타당하며 갈라이-라마르 수의 정확한 값임을 확인한다.
• 길이가 $\ell \geq 6$ 인 경우, $\ell \cdot 2^k + 1$ 이 모든 $k$-색칠에서 레인보우 삼각형 또는 단색 홀수 사이클을 강제로 유도하는 데 필수적이고 충분한 조건임을 보여준다.
• 단색 $C_{2\ell+1}$ 가 존재하지 않는다고 가정할 때, 정점 간의 거리와 경로 대체 기법을 통해 $n = \ell \cdot 2^k$ 인 $K_n$ 의 색칠에서 모순이 발생함을 증명한다.
• 이 결과는 이전에 $C_5$, $C_7$, $C_9$ 에 대해 정확히 구한 값을 더 긴 홀수 사이클 전역으로 확장하여, 패턴 $\ell \cdot 2^k + 1$ 을 통합한다.
• 단색 $C_{2\ell+1}$ 가 존재하지 않는다고 가정할 때, 갈라이 분할을 통한 구조적 분해와 색칠된 부분그래프와의 사이클 교차 분석을 통해 모순을 이끌어내는 데 의존한다.