[论文解读] Multicolor Gallai-Ramsey numbers of $C_9$ and $C_{11}$

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

Limits and Structures in Graph Theory参考文献 11被引用 8

一句话总结

本文確定了奇圈 $C_9$ 和 $C_{11}$ 的精確多色 Gallai-Ramsey 數，證明了當 $n = 4$ 和 $n = 5$ 時，$GR_k(C_{2n+1}) = n \times 2^k + 1$。透過 Gallai 分區的結構分解與無彩虹三角形邊著色的歸納推理，作者建立了緊緻的上下界，從而解決了 Triple Odd Cycle Conjecture 的關鍵情形。

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 時的 Gallai-Ramsey 數 $GR_k(C_{2n+1})$ 的精確值。
• 將先前關於 $GR_k(C_5)$ 和 $GR_k(C_7)$ 的結果推廣至下一個奇圈長度。
• 透過解決 $n=4$ 和 $n=5$ 的情形，為 Bondy 和 Erdős（1973）提出的 Triple Odd Cycle Conjecture 提供支持證據。
• 發展並應用基於 Gallai 分區的結構方法，以控制邊著色完全圖中單色子圖的性質。
• 建立精確匹配的緊緻上下界，確認對於 $n=4,5$ 和所有 $k \geq 1$，有 $GR_k(C_{2n+1}) = n \times 2^k + 1$。

提出的方法

• 利用 Gallai 著色的結構特徵，透過 Gallai 分區，其中頂點集合被劃分，使得不同部分之間的邊僅使用至多兩種顏色。
• 從 Gallai 分區構造一個簡化圖，以分析原始著色中單色子圖的性質。
• 對顏色數 $k$ 使用歸納推理，利用較小 $k$ 時的已知結果，並採用最小性假設。
• 對頂點集合 ($A_p$, $B_G$, $R_G$, $X$) 應用極值界限，當假設 $|G| < n \cdot 2^k + 1$ 時導出矛盾。
• 應用命題 2.1 和引理 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 Gallai 著色的結構性質能否用於證明較大奇圈的 $GR_k(H)$ 的精確值？
• RQ5 與經典 Ramsey 問題相比，奇圈在 Gallai-Ramsey 設定下的界限有何差異？

主要发现

• 對於 $C_9$，精確的 Gallai-Ramsey 數為 $GR_k(C_9) = 4 \cdot 2^k + 1$，對所有 $k \geq 1$ 成立。
• 對於 $C_{11}$，精確的 Gallai-Ramsey 數為 $GR_k(C_{11}) = 5 \cdot 2^k + 1$，對所有 $k \geq 1$ 成立。
• 證明確認 $GR_k(C_{2n+1}) = n \cdot 2^k + 1$ 對 $n = 4$ 和 $n = 5$ 成立，延續了對 $C_5$ 的觀察模式。
• 作者確立，任何 $K_{n \cdot 2^k + 1}$ 的 Gallai $k$-著色均無法避免出現單色 $C_{2n+1}$，且任何更小的完全圖均可避免此情形。
• 該方法成功透過矛盾法排除所有滿足 $|G| < n \cdot 2^k + 1$ 的配置，並利用顏色鄰域與分區集合的大小約束。
• 此結果為 Triple Odd Cycle Conjecture 提供強而有力的部分證據，確認了兩個新 $n$ 值的公式。