[論文レビュー] Improved Upper Bounds for Gallai-Ramsey Numbers of Odd Cycles

Christian Bosse, Zi‐Xia Song+1 more|arXiv (Cornell University)|Aug 29, 2018

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

ひとこと要約

この論文は、奇数長のサイクルに対するGallai-Ramsey数の上界を改善し、$k \geq 3$ および $n \geq 8$ の場合に $GR_k(C_{2n+1}) \leq (n\ln n) \cdot 2^k - (k+1)n + 1$ を確立し、正確な値 $GR_k(C_{13}) = 6 \cdot 2^k + 1$ および $GR_k(C_{15}) = 7 \cdot 2^k + 1$ を $k \geq 1$ 全ての $k$ に対して証明した。Gallai彩色の構造的解析とGallai分割による再帰的分割を用いた。

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 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 $K_n$ contains a monochromatic copy of $H$. Gyárfás, Sárközy, Sebő and Selkow proved in 2010 that $GR_k (H) $ is exponential in $k$ if $H$ is not bipartite, linear in $k$ if $H$ is bipartite but not a star, and constant (does not depend on $k$) when $H$ is a star. Hence, $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, even when $|V(H)|$ is small. In this paper, we first improve the existing upper bounds for Gallai-Ramsey numbers of odd cycles by showing that $GR_k(C_{2n+1}) \le (n\ln n) \cdot 2^k -(k+1)n+1$ for all $k \ge 3$ and $n \ge 8$. We then prove that $GR_k( C_{13})= 6\cdot 2^k+1$ and $GR_k( C_{15})= 7\cdot 2^k+1$ for all $k\ge1$.

研究の動機と目的

• 奇数長サイクルのGallai-Ramsey数の既存の上界を改善すること、特に $n \geq 8$ および $k \geq 3$ の場合の $C_{2n+1}$ に対して。
• $GR_k(C_{13})$ および $GR_k(C_{15})$ の正確な値を $k \geq 1$ 全ての $k$ に対して特定すること。
• Gyárfás ら（2010年）が確立した一般的な指数的または線形の挙動を超えて、Gallai-Ramsey数の理解を拡張すること。
• Gallai分割による構造的分解を応用し、辺彩色完全グラフにおける単色部分グラフを制御すること。

提案手法

• 定理1.2（Gallai分割）を活用し、集合間の辺が高々2色しか使わないような頂点集合への完全グラフの分解を行う。
• Gallai分割から得られる縮約グラフを定義し、元の彩色における単色部分グラフを分析する。
• 帰納法と部分グラフへの極値境界を適用し、色クラスのサイズを制御し、単色サイクルを避ける。
• 特定の色における単色 $C_{2n}$ を避ける集合のサイズを、$k$ に関する最小性の議論で制約付ける。
• 既知のRamsey境界 $R_2(C_{2n}) = 3n-1$ を適用し、分割における成分のサイズを制約する。
• 縮約集合のサイズと色の分布に基づく場合分けを実施し、大きなグラフにおいて矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 8$ および $k \geq 3$ の場合に、$GR_k(C_{2n+1})$ の最良の可能な上界は何か？
• RQ2 $GR_k(C_{13})$ および $GR_k(C_{15})$ の正確な値を特定できるか？
• RQ3 Gallai分割と縮約グラフは、非二部グラフに対するGallai-Ramsey数の評価にどのように寄与するか？
• RQ4 Gallai彩色において単色の奇数長サイクルを避ける際に生じる構造的制約は何か？
• RQ5 単色の $C_{2n+1}$ を含まないGallai彩色完全グラフのサイズは、どの程度まで制限できるか？

主な発見

• 本論文は、新たな上界を確立した：$k \geq 3$ および $n \geq 8$ のすべての $k$ に対して $GR_k(C_{2n+1}) \leq (n\ln n) \cdot 2^k - (k+1)n + 1$ であり、これにより従来の推定値が改善された。
• 本論文は、すべての $k \geq 1$ に対して $GR_k(C_{13}) = 6 \cdot 2^k + 1$ を証明し、13サイクルに対して初めて正確な値が得られた。
• 本論文は、すべての $k \geq 1$ に対して $GR_k(C_{15}) = 7 \cdot 2^k + 1$ を確立し、15サイクルに対しても正確な計算が拡張された。
• 著者らは、$GR_k(C_{2n+1})$ が漸近的に $O(n \cdot 2^k)$ のオーダーで成長することを示し、$n$ に対する指数的でない依存性を確認した。
• Gallai分割に基づく矛盾の議論を通じて、単色の奇数長サイクルを含まない大きな $k$ 色完全グラフの存在を排除した。
• 結果として、奇数長サイクルのGallai-Ramsey数がきわめて厳密に束縛されており、$k$ に関して指数的成長を示し、$n$ に関して線形依存を示すことが明らかになった。