[논문 리뷰] Multicolor Gallai-Ramsey numbers of $C_9$ and $C_{11}$

Christian Bosse, Zi‐Xia Song|arXiv (Cornell University)|2018. 02. 19.

Limits and Structures in Graph Theory참고 문헌 11인용 수 8

한 줄 요약

이 논문은 홀수 순환 $C_9$와 $C_{11}$에 대한 정확한 다색 갈라이-라모지 수를 결정하며, 각각 $n = 4$와 $n = 5$에 대해 $GR_k(C_{2n+1}) = n \times 2^k + 1$임을 증명한다. 갈라이 분할을 통한 구조적 분해와 색상이 없는 삼각형을 갖는 간선 색칠에 대한 귀납적 추론을 이용하여, 삼중 홀수 순환 추측의 핵심 케이스를 해결하는 엄밀한 경계를 확립한다.

ABSTRACT

A Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles, and a Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. We study Ramsey-type problems in Gallai colorings. Given an integer $k\ge1$ and a graph $H$, the Gallai-Ramsey number $GR_k(H)$ is the least positive integer $n$ such that every Gallai $k$-coloring of the complete graph on $n$ vertices contains a monochromatic copy of $H$. It turns out that $GR_k(H)$ is more well-behaved than the classical Ramsey number $R_k(H)$. However, finding exact values of $GR_k (H)$ is far from trivial. In this paper, we study Gallai-Ramsey numbers of odd cycles. We prove that for $n\in\{4,5\}$ and all $k\ge1$, $GR_k(C_{2n+1})= n\cdot 2^k+1$. This new result provides partial evidence for the first two open cases of the Triple Odd Cycle Conjecture of Bondy and Erdős from 1973. Our technique relies heavily on the structural result of Gallai on Gallai colorings of complete graphs. We believe the method we developed can be used to determine the exact values of $GR_k(C_{2n+1})$ for all $n\ge6$.

연구 동기 및 목표

• 길이 9와 11인 홀수 순환에 대해 갈라이-라모지 수 $GR_k(C_{2n+1})$ 의 정확한 값을 결정하는 것.
• 이전의 $GR_k(C_5)$와 $GR_k(C_7)$ 결과를 다음 홀수 순환 길이로 확장하는 것.
• 본드리와 에르되시(1973)의 삼중 홀수 순환 추측을 뒷받침하는 증거를 제공하기 위해 $n=4$와 $n=5$ 케이스를 해결하는 것.
• 갈라이 분할에 기반한 구조적 방법을 개발하고 적용하여, 간선 색칠된 완전 그래프에서 단색 부분그래프를 제어하는 것.
• 정확히 일치하는 상한과 하한을 확립하여, $n=4,5$ 및 모든 $k \geq 1$ 에 대해 $GR_k(C_{2n+1}) = n \times 2^k + 1$ 임을 확인하는 것.

제안 방법

• 갈라이 색칠의 구조적 특성인 갈라이 분할을 활용하여, 정점 집합이 분할되며 서로 다른 부분 간 간선에 최대 두 가지 색상만 사용되도록 하는 방식.
• 갈라이 분할에서 축소된 그래프를 구성하여 원래 색칠에서의 단색 부분그래프를 분석하는 것.
• 색상 수 $k$ 에 대한 귀납적 추론을 적용하며, 더 작은 $k$ 에 대한 알려진 결과를 활용하고 최소성 가정을 사용하는 것.
• 만약 $|G| < n \cdot 2^k + 1$ 라고 가정할 경우, 정점 집합($A_p$, $B_G$, $R_G$, $X$)에 대한 극단적 경계를 적용하여 모순을 이끌어내는 것.
• Claim 2.1과 Lemma 1.11을 적용하여, 색상의 완전성과 단색 부분그래프 회피 조건에 기반해 집합의 크기를 제한하는 것.
• 색상 집합의 크기($R_G$: 축소된 집합, $B_G$: 파란 이웃 집합)에 대한 케이스 분석을 통해, 경계를 위반하는 구성들을 체계적으로 제거하는 것.

실험 결과

연구 질문

• RQ1 모든 $k \geq 1$ 에 대해 갈라이-라모지 수 $GR_k(C_9)$ 의 정확한 값은 무엇인가요?
• RQ2 모든 $k \geq 1$ 에 대해 갈라이-라모지 수 $GR_k(C_{11})$ 의 정확한 값은 무엇인가요?
• RQ3 식 $GR_k(C_{2n+1}) = n \cdot 2^k + 1$ 이 $n = 4$와 $n = 5$ 에서도 성립하는가? 이는 $n=2,3$ 에서의 알려진 결과를 확장하는가?
• RQ4 갈라이 색칠의 구조적 성질을 활용하여 더 큰 홀수 순환에 대해 $GR_k(H)$ 의 정확한 값을 증명할 수 있는가?
• RQ5 홀수 순환에 대해 고전적 라모지 문제의 경계와 갈라이-라모지 설정의 경계는 어떻게 비교되는가?

주요 결과

• 모든 $k \geq 1$ 에 대해 $C_9$ 에 대한 정확한 갈라이-라모지 수는 $GR_k(C_9) = 4 \cdot 2^k + 1$ 이다.
• 모든 $k \geq 1$ 에 대해 $C_{11}$ 에 대한 정확한 갈라이-라모지 수는 $GR_k(C_{11}) = 5 \cdot 2^k + 1$ 이다.
• 증명은 $GR_k(C_{2n+1}) = n \cdot 2^k + 1$ 이 $n = 4$와 $n = 5$ 에서도 성립함을 확인하며, $C_5$ 에서 관찰된 패턴을 연장함을 보여준다.
• 저자들은 $K_{n \cdot 2^k + 1}$ 에 대한 갈라이 $k$-색칠이 단색 $C_{2n+1}$ 을 피할 수 없음을 입증하였고, 그보다 작은 완전 그래프에서는 이를 피할 수 있음을 보였다.
• 색상 이웃 집합과 분할 집합의 크기 제약 조건을 사용하여, $|G| < n \cdot 2^k + 1$ 인 모든 구성이 모순을 일으킴을 통해 체계적으로 배제함으로써 성공적으로 제거하였다.
• 이 결과는 삼중 홀수 순환 추측에 대해 강력한 부분적 증거를 제공하며, $n$ 의 두 가지 새로운 값에 대해 공식이 성립함을 확인한다.