[論文レビュー] 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以上の長さの奇サイクルに対する三角形と奇サイクルのギャライ・ラマージェ数の正確な値を確立し、すべての $k \geq 1$ および $ε \geq 6$ に対して $τκ(K_3:C_{2\ell+1}) = ε \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$ および $ε \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$ が、必要かつ十分であることを確認すること。

提案手法

• ギャライ分割を用いて、完全グラフを2色以内の色をもつ部分に分解し、辺彩色の構造的解析を可能にする。
• 彩色を変更することで、単色の $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 $ε \geq 6$ のとき、$\mathrm{gr}_k(K_3:C_{2\ell+1})$ に対して下界 $n \geq \ell \cdot 2^k + 1$ がタイトであるか。
• RQ2 すべての $k \geq 1$ および $ε \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$ および $ε \geq 6$ に対して、ギャライ・ラマージェ数 $\mathrm{gr}_k(K_3:C_{2\ell+1})$ は正確に $\ell \cdot 2^k + 1$ に等しい。
• これは、定理1における下界 $n \geq \ell \cdot 2^k + 1$ がタイトであり、ギャライ・ラマージェ数の正しい値であることを確認する。
• $\u03b5 \geq 6$ のとき、$\ell \cdot 2^k + 1$ は、任意の $k$-彩色においてレインボー三角形または単色の奇サイクルを強制するのに必要かつ十分である。
• 証明は、$n = \ell \cdot 2^k$ の $k$-彩色において $C_{2\ell+1}$ が存在すると仮定すると、頂点間の距離とパス置換の議論により矛盾が生じることを示している。
• この結果により、$C_5$、$C_7$、$C_9$ に対する先行の正確な値が、すべてのより長い奇サイクルへと拡張され、$\ell \cdot 2^k + 1$ のパターンが統一された。
• 議論はギャライ分割による構造的分解と、単色の $C_{2\ell+1}$ が存在しないという仮定の下でのサイクル交差の詳細な分析に依存し、矛盾を導出する。