[論文レビュー] Gallai-Ramsey numbers for fans

Yaping Mao, Zhao Wang+2 more|arXiv (Cornell University)|Feb 27, 2019

Limits and Structures in Graph Theory参考文献 12被引用数 5

ひとこと要約

本稿は、ファングラフ $F_n = K_1 + nK_2$ のギャライ・ラマージュ数に対するタイトな上限と下限を確立し、偶数 $k$ の場合に $F_2$ および $F_3$ の正確な値を証明している。また、すべての $n$ および $k$ に対して一般の上限と下限を提示している。結果はギャライ分割の構造的性質と再帰的構成を活用し、$k$ および $n$ の指数関数的成長率を示す。主な貢献は、偶数および奇数 $k$ に対する $gr_k(K_3; F_n)$ の鋭い特徴付けと、正確な指数関数的成長率の特定である。

ABSTRACT

Given a graph $G$ and a positive integer $k$, define the \emph{Gallai-Ramsey number} to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. In this paper, we obtain general upper and lower bounds on the Gallai-Ramsey numbers for fans $F_{m} = K_{1} + mK_{2}$ and prove the sharp result for $m = 2$ and for $m = 3$ with $k$ even.

研究の動機と目的

• ギャライ・ラマージュ数 $gr_k(K_3; F_n)$ を決定すること。これは、$K_n$ の $k$ 辺彩色が、ラビットな三角形またはファングラフ $F_n = K_1 + nK_2$ の単色コピーを含むような最小の $n$ として定義される。
• 三角形やバタフライグラフを一般化するファングラフに注目することで、小さなグラフに対するギャライ・ラマージュ数の先行研究を拡張すること。
• 一般の上限および下限を $gr_k(K_3; F_n)$ に対して確立し、特に偶数 $k$ の $F_2$ および $F_3$ の正確な値を証明すること。
• $gr_k(K_3; F_3)$ の下限がすべての $k$ に対してタイトであると仮説を立て、再帰的構成によってそれを裏付ける証拠を提供すること。
• ギャライ分割と $k$ 色彩色における削減グラフの構造を活用することで、これまでのギャライ・ラマージュ数に関する結果を統一的かつ一般化すること。

提案手法

• ギャライの定理を用い、ラビットな三角形を含まない $k$ 辺彩色完全グラフにおけるギャライ分割から導かれる $2$ 色化された削減グラフを扱う。
• 再帰的彩色構成を適用する：$k$ が偶数の場合、$(k-2)$ 色のグラフの二つのコピーを用い、それらの間を色 $k$ の辺で接続する。$k$ が奇数の場合、単色三角形を避けるために $2$ 色の $K_5$ 構造を持つ五つのコピーを用いる。
• 極値グラフ論的手法を用いて、ギャライ分割における各部のサイズを制限し、部内に存在する互いに素な単色辺の制約を適用する。
• $k$ についての帰納法を用いて、ラビットな三角形と単色 $F_n$ を含まない $K_n$ の $k$ 色彩色を構築し、下限を確立する。
• 頂点分割と辺彩色の制約に基づく背理法を用いて上限を導出し、単色辺を排除するために頂点を削除する。
• 既知のラマージュ数と構造的補題（例：赤辺のみを含む部に関する補題6）を用いて、ギャライ分割における部分グラフのサイズを制限する。

実験結果

リサーチクエスチョン

• RQ1 すべての $k \geq 2$ に対して、ギャライ・ラマージュ数 $gr_k(K_3; F_2)$ の正確な値は何か？
• RQ2 $gr_k(K_3; F_3)$ のタイトな上限と下限は何か？また、下限はすべての $k$ に対してタイトか？
• RQ3 任意の $n$ および $k$ に対して、$gr_k(K_3; F_n)$ に対して一般の境界を確立できるか？
• RQ4 ギャライ・ラマージュ数は、色数 $k$ およびファンのサイズ $n$ に対してどのように増加するか？
• RQ5 ギャライ分割と削減グラフの構造を用いて、$gr_k(K_3; F_n)$ の正確またはほぼ正確な値を導出できるか？

主な発見

• $F_2$ に対しては、$k=2$ のとき $gr_k(K_3; F_2) = 9$ であり、$k \geq 4$ が偶数のとき $\frac{83}{2} \cdot 5^{(k-4)/2} + \frac{1}{2}$、$k$ が奇数のとき $4 \cdot 5^{(k-1)/2} + 1$ である。
• $F_3$ と偶数 $k$ の場合、正確な値は $gr_k(K_3; F_3) = 14 \cdot 5^{(k-2)/2} - 1$ であり、$k \geq 7$ が奇数のとき、$33 \cdot 5^{(k-3)/2} \leq gr_k(K_3; F_3) \leq 33 \cdot 5^{(k-3)/2} + \frac{3}{4} \cdot 5^{(k-5)/2} - \frac{3}{4}$ である。
• 本稿は、$gr_k(K_3; F_3)$ の下限が鋭い、すなわちすべての奇数 $k$ に対して $gr_k(K_3; F_3) = 33 \cdot 5^{(k-3)/2}$ であると仮説を立てる。
• 一般の $F_n$ に対しては、$k$ が偶数のとき $4n \cdot 5^{(k-2)/2} + 1 \leq gr_k(K_3; F_n) \leq 10n \cdot 5^{(k-2)/2} - \frac{5}{2}n + 1$、$k$ が奇数のとき $2n \cdot 5^{(k-1)/2} + 1 \leq gr_k(K_3; F_n) \leq \frac{9}{2}n \cdot 5^{(k-1)/2} - \frac{5}{2}n + 1$ という境界を確立した。
• $2i-1$ 色または $2i$ または $2i+1$ 色を用いた再帰的構成により、$K_n$ の $k$ 色彩色を構築し、ラビットな三角形と単色 $F_n$ を含まないことを示し、下限を証明した。
• 証明は、ギャライ分割の三つの部から最大 $10n - 10$ 個の頂点を削除して赤および青の辺をすべて除去することで、グラフが大きすぎる場合には矛盾を導く。これにより、ラマージュ数の境界が得られる。