[论文解读] Gallai-Ramsey numbers of odd cycles

Zhao Wang, Yaping Mao+3 more|arXiv (Cornell University)|Aug 28, 2018

Limits and Structures in Graph Theory参考文献 16被引用 7

一句话总结

本文確立了三角形與長度至少為13的奇圈之間的精確Gallai-Ramsey數，證明了對於所有 $k \geq 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$.

研究动机与目标

• 解決關於奇圈Gallai-Ramsey數下界緊緻性的長期猜想。
• 對所有 $k \geq 1$ 和 $\
• method
• research_questions
• key_findings
• 2\ell+1}) = \
• 2^k + 1$ 對所有 $k \geq 1$ 和 $\
• 2^k + 1$ 是緊緻的，且為Gallai-Ramsey數的正確值。
• 對於 $\
• 2^k + 1$ 是必要且充分的，以確保在任何 $k$-色完全圖中出現彩虹三角形或單色奇圈。
• 證明顯示，若假設在 $n = \ell \cdot 2^k$ 的 $k$-色完全圖中存在 $C_{2\ell+1}$，則會透過頂點距離與路徑取代論證產生矛盾。
• 此結果將先前對 $C_5$、$C_7$ 和 $C_9$ 的精確值推廣至所有更長的奇圈，統一了模式 $\
• 2^k + 1$。
• 該論證依賴於Gallai分割的結構分解，以及對單色 $C_{2\ell+1}$ 不存在假設下，與著色子圖交集的細緻分析，以導出矛盾。

提出的方法

• 利用Gallai分割將完全圖分解為最多僅使用兩種顏色的子部分，以實現邊著色的結構分析。
• 透過修改著色的歸約論證，以保留無單色 $C_{2\ell+1}$ 的同時消除彩虹三角形。
• 應用極值圖論，特別是Dirac定理關於哈密頓圈的結果，當假設圈結構時導出矛盾。
• 對圈與著色子圖（$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 當 $\
• RQ2 2^k + 1$ 對於 $\
• RQ3 2^k + 1$ 對於所有 $k \geq 1$ 和 $\
• RQ4 2^k + 1$ 的 $k$-色完全圖 $K_n$ 必然包含一個彩虹 $K_3$ 或一個單色 $C_{2\ell+1}$ 嗎？
• RQ5 在 $n = \ell \cdot 2^k$ 的Gallai-著色完全圖中，什麼結構約束會阻止 $C_{2\ell+1}$ 的存在？

主要发现

• 對於所有 $k \geq 1$ 和 $\
• 2^k + 1$ 對所有 $k \geq 1$ 和 $\
• 2^k + 1$ 是必要且充分的，以確保在任何 $k$-色完全圖中出現彩虹三角形或單色奇圈。
• 證明顯示，若假設在 $n = \ell \cdot 2^k$ 的 $k$-色完全圖中存在 $C_{2\ell+1}$，則會透過頂點距離與路徑取代論證產生矛盾。
• 此結果將先前對 $C_5$、$C_7$ 和 $C_9$ 的精確值推廣至所有更長的奇圈，統一了模式 $\
• 2^k + 1$。
• 該論證依賴於Gallai分割的結構分解，以及對單色 $C_{2\ell+1}$ 不存在假設下，與著色子圖交集的細緻分析，以導出矛盾。