[論文レビュー] Gallai-Ramsey numbers of cycles

Fangfang Zhang, Yaojun Chen+1 more|arXiv (Cornell University)|Sep 1, 2018

Limits and Structures in Graph Theory被引用数 5

ひとこと要約

本稿は、偶数長のサイクルのガライ＝ラマージェ数に対する改善された上界を確立し、$GR_k(C_{2n}) \leq (n-1)k + 2n + 2$ を証明する。この結果を用いて、すべての奇数長サイクルのガライ＝ラマージェ数を完全に特定し、すべての $k \geq 1$ および $n \geq 3$ に対して $GR_k(C_{2n+1}) = n \cdot 2^k + 1$ を示す。本研究は、虹色三角形を許さないガライ彩色におけるラマージェ型問題の理解を前進させる。

ABSTRACT

A Gallai coloring of a complete graph is an edge-coloring such that no triangle has all its edges colored differently. A Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. Given a graph $H$ and an integer $k\geq 1$, the Gallai-Ramsey number $GR_k(H)$ of $H$ is the least positive integer $N$ such that every Gallai $k$-coloring of the complete graph $K_N$ contains a monochromatic copy of $H$. Let $C_n$ denote a cycle on $n$ vertices. In this paper, we first improve the known upper bound on the Gallai-Ramsey numbers of even cycles by showing that $GR_k( C_{2n})\le (n-1)k+2n+2$ for all $k\geq 1$ and $n\geq 3$. We then use the new upper bound to completely determine the Gallai-Ramsey numbers of all odd cycles. That is, we prove that $GR_k(C_{2n+1})=n\cdot 2^k+1$ for all $k\geq 1$ and $n\geq 3$.

研究の動機と目的

• 偶数長サイクル $C_{2n}$ のガライ＝ラマージェ数の既知の上界を改善すること。
• 改善された上界を用いて、奇数長サイクルのガライ＝ラマージェ数を完全に特定すること。
• 虹色三角形を禁止するガライ彩色におけるラマージェ型問題の理解を拡張すること。
• 偶数および奇数のサイクルのガライ＝ラマージェ数の正確な公式を提供すること。

提案手法

• 著者らは、ガライ彩色の構造的性質と再帰的分解技術を用いて、$GR_k(C_{2n})$ の新しい上界を導出する。
• 偶数長サイクルに対する改善された上界を、奇数長サイクルを含むガライ彩色の構造を分析するための鍵となる道具として応用する。
• 奇数長サイクルの証明は、$k$ を変数とする帰納法に依拠し、ガライ彩色が各分割で有限個の色しか持たない再帰的構造を持つという事実を利用している。
• 既知のガライ分割に関する結果と虹色三角形の不在を用いて、単色部分グラフを制約する。
• 下界を達成する明示的な彩色の構成と、より大きな完全グラフが単色の奇数長サイクルを強制することの証明により、タイトな境界を確立する。
• 極値的グラフ理論と、虹色三角形を禁止するガライ彩色の制約下でのラマージェ的議論を組み合わせた手法である。

実験結果

リサーチクエスチョン

• RQ1 偶数長サイクル $C_{2n}$ のガライ＝ラマージェ数の最良の可能な上界は何か？
• RQ2 偶数長サイクルに対する改善された上界を用いて、奇数長サイクルのガライ＝ラマージェ数を特定できるか？
• RQ3 すべての $k \geq 1$ および $n \geq 3$ に対して、$GR_k(C_{2n+1})$ の正確な値は何か？
• RQ4 ガライ彩色の構造が単色サイクルの出現をどのように制約するか？

主な発見

• すべての $k \geq 1$ および $n \geq 3$ に対して、偶数長サイクルのガライ＝ラマージェ数は $GR_k(C_{2n}) \leq (n-1)k + 2n + 2$ を満たす。
• この上界は、奇数長サイクルのガライ＝ラマージェ数を正確に特定するのに十分にタイトである。
• すべての $k \geq 1$ および $n \geq 3$ に対して、奇数長サイクルのガライ＝ラマージェ数は正確に $GR_k(C_{2n+1}) = n \cdot 2^k + 1$ に等しい。
• この結果は、奇数長サイクルに対して $k$ に対して指数関数的依存があることを確認する一方で、係数 $n$ がサイクル長に線形に比例することを示している。
• 証明により、$n \cdot 2^k + 1$ 頂点を持つ完全グラフのガライ彩色は、必ず $C_{2n+1}$ の単色コピーを含むことが示された。
• 著者らは、$n \cdot 2^k + 1$ が単色サイクルを保証する最小の頂点数であることを示す極値彩色を構成した。