[論文レビュー] Anti-Ramsey numbers of small graphs

Arie Bialostocki, Shoni Gilboa+1 more|arXiv (Cornell University)|Oct 16, 2013

Limits and Structures in Graph Theory被引用数 12

ひとこと要約

本稿では、4条以下をもつ単純グラフ $G$ 全てについて、$AR(n,G)$ の反ラマービー数を決定し、$n \geq |V(G)|$ のすべての $n$ に対して $AR(n,G)$ の正確な値を確立している。主な貢献は、小規模なグラフの反ラマービー数の完全な分類であり、マッチング、パス、スターダム、サイクル、およびそれらの和集合について、未解決であったケースを解消した。結果は $n$ の関数として、区分的または閉形式の式で表されている。

ABSTRACT

The anti-Ramsey number $AR(n,G$), for a graph $G$ and an integer $n\geq|V(G)|$, is defined to be the minimal integer $r$ such that in any edge-colouring of $K_n$ by at least $r$ colours there is a multicoloured copy of $G$, namely, a copy of $G$ whose edges have distinct colours. In this paper we determine the anti-Ramsey numbers of all graphs having at most four edges.

研究の動機と目的

• 4条以下をもつすべてのグラフ $G$ およびすべての $n \geq |V(G)|$ に対して、反ラマービー数 $AR(n,G)$ を計算すること。
• 特にマッチング、パス、サイクル、およびそれらの和集合について、これまで未解決であった反ラマービー数のケースを解消すること。
• すべてのこのようなグラフについての $AR(n,G)$ の値を包括的な参照表として提供し、先行研究を統合・拡張すること。
• $AR(n,G)$ に対してタイトな境界と正確な式を確立すること。特に、臨界な $n$ 値における区分的表現を含むこと。
• より大きなグラフや合成グラフの反ラマービー数に関する後続研究に用いられる基礎的結果を提供すること。

提案手法

• 多色部分グラフ $G$ を避けるような極値的な辺彩色を構成することで、$AR(n,G)$ の下界を確立するための極値的辺彩色の議論の使用。
• 鳩の巣原理と頂点の色度 $d_c(v)$ に関する場合分けを用いて、多色部分グラフの存在を強制する。
• 特に $2P_3$ の場合に、$n$ に関する帰納法を用いて、$AR(n,G)$ の上界を証明する。
• 先行文献（例：$P_k$、$C_k$、$tP_2$）からの既知の結果を基本ケースとして用い、それらを拡張する。
• 構造的分解の活用：エッジの色分布と互いに素なエッジ集合の分析により、多色部分グラフを同定する。
• 背理法と体系的な場合分けを用いて、$r$ 色の辺彩色が常に多色 $G$ を含むことを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての $n \geq |V(G)|$ に対して、4条以下をもつすべてのグラフ $G$ について、$AR(n,G)$ の正確な値は何か？
• RQ2 パス $P_3 \cup P_2$、$C_3 \cup P_2$、$2P_3$ のような小規模なグラフの和集合について、反ラマービー数はどのように振る舞うか？
• RQ3 グラフ $G$ の反ラマービー数が、異なる関数的形に遷移する臨界な $n$ の閾値は何か？
• RQ4 マッチング、パス、スターダム、またはサイクルで構成されるグラフ $G$ に対して、$AR(n,G)$ のタイトな上界と下界を確立できるか？
• RQ5 小規模なグラフに対する結果は、より複雑または合成的なグラフの反ラマービー数の広範な理解にどのように寄与するか？

主な発見

• $2P_2$ に対しては、$n=4$ のとき $AR(n,2P_2) = 4$、$n \geq 5$ のとき $AR(n,2P_2) = 2$。
• $P_4$ に対しては、$n=4$ のとき $AR(n,P_4) = 4$、$n \geq 5$ のとき $AR(n,P_4) = 3$。
• $P_3 \cup P_2$ に対しては、すべての $n \geq 3$ で $AR(n,P_3 \cup P_2) = 3$。
• $K_{1,3}$ に対しては、すべての $n \geq 4$ で $AR(n,K_{1,3}) = \lfloor n/2 \rfloor + 2$。
• $2P_3$ に対しては、すべての $n \geq 6$ で $AR(n,2P_3) = \max\{n+1, 8\}$。
• $4P_2$ に対しては、すべての $n \geq 8$ で $AR(n,4P_2) = 2n - 1$。$n=8$ および $n \geq 15$ での確認がなされている。