[論文レビュー] 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}$ の正確なマルチカラー・ガライ・ラマージェ数を決定し、それぞれ $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$.

研究の動機と目的

• 奇数サイクル $C_9$ および $C_{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$ を確認すること。

提案手法

• ガライ彩色の構造的特徴づけをガライ分割を用いて行い、頂点集合が部分に分割され、それらの間の辺が高々2色でしか使われないようにする。
• ガライ分割から簡略化されたグラフを構築し、元の彩色における単色部分グラフを分析する。
• 色数 $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 ガライ彩色の構造的性質を用いて、より大きな奇数サイクルについて $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$ である。
• 証明により、$n = 4$ および $n = 5$ に対して $GR_k(C_{2n+1}) = n \cdot 2^k + 1$ が成り立つことが確認され、$C_5$ の場合に観察されたパターンが拡張された。
• 著者らは、$K_{n \cdot 2^k + 1}$ に対するいかなるガライ $k$-彩色も、単色の $C_{2n+1}$ を避けられないことを示し、それより小さい完全グラフでは避けられることを示した。
• 色近傍および分割集合のサイズ制約を用いて、矛盾を導くことで、$|G| < n \cdot 2^k + 1$ のすべての構成を効果的に除外した。
• この結果は、三重奇数サイクル予想に対して強い部分的証拠を提供し、$n$ の新たな値について式が成り立つことを確認した。