[論文レビュー] Anti-Ramsey numbers for paths

Long‐Tu Yuan|arXiv (Cornell University)|Feb 1, 2021

Limits and Structures in Graph Theory参考文献 16被引用数 4

ひとこと要約

この論文は、Erdős, Simonovits, および Sós が提起した長年の予想を解決し、パスの反ラムゼー数を正確に特定した。完全グラフ $K_n$ において、$k$ 頂点のレインボー路を含まないような辺彩色の最大色数は、二項係数と偶奇に依存する補正項を含む明確な式で与えられ、極値グラフ理論の安定性手法を用いて、すべての $n \geq k \geq 5$ に対してタイトな境界を確立した。結果として、2つの既知の構成が最適であることが確認され、パスの反ラムゼー数に対する初めての正確な公式が得られた。

ABSTRACT

We determine the anti-Ramsey numbers for paths. This confirms a conjecture posed by Erdős, Simonovits and Sós in 1970s.

研究の動機と目的

• 1970年代の Erdős, Simonovits, および Sós による、パスの反ラムゼー数の正確な値に関する予想を解決すること。
• 完全グラフ $K_n$ の辺彩色において、パス $P_k$ のレインボーなコピーを避ける最大色数を特定すること。
• 極値グラフ理論の安定性結果を用いてタイトな極値境界を確立し、過去の部分的結果をすべての $n \geq k \geq 5$ に拡張すること。
• 2つの既知の構成——$K_{k-2}$ を異なる色で彩色し、残りを1色で塗る、または構造的グラフ $H(n,k-1,\ell-1)$ を用いる——が実際に最適であることを確認すること。
• 構造的グラフ理論的議論を用いて、レインボー路を避ける極値の辺彩色グラフを完全に特徴付けること。

提案手法

• Füredi, Kostochka, Luo, および Verstraëte による $P_k$-自由および $\mathcal{C}_k$-自由グラフに関する最近の安定性定理を、小さな $n$ に対しても適用可能であるように活用する。
• $P_k$-自由な連結グラフにおける辺数を制限するために、連結ターラン数 $\mathrm{ex}_{\text{con}}(n, P_k)$ を適用する。
• 頂点を集合 $A$、$B$、$C$ に分割し、特定の辺集合を持つことで極値的構成をモデル化する極値グラフ構成 $H(n,k,a)$ を用いる。
• 仮想の極値彩色において色数が $\mathrm{ar}(n,k)$ を超えると仮定し、その場合にレインボー $P_k$ が存在することを示す背理法を用いる。
• 辺彩色された $K_n$ の代表グラフ $L_n$ の構造を分析し、与えられた制約下では、$L_n$ が $H(n,k-1,1)$ または $H(n,k-1,\ell-1)$ の部分グラフである必要があることを示す。
• $k$ の偶奇に基づく場合分けを実施し、奇数と偶数の $k$ を区別する。色数の仮定が反ラムゼー境界に違反する場合、次数および連結性の議論により矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 完全グラフ $K_n$ における $k$ 頂点のパスの反ラムゼー数 $\mathrm{AR}(n, P_k)$ の正確な値は何か？
• RQ2 2つの既知の構成——$K_{k-2}$ を異なる色で彩色し、残りを1色で塗る、または $H(n,k-1,\ell-1)$ グラフを用いる——は、レインボー路を避けるために最適か？
• RQ3 極値グラフ理論の安定性結果を用いて、小さな $n$ に対してもパスの反ラムゼー数を正確に導出できるか？
• RQ4 パスの反ラムゼー数は $k$ の偶奇にどのように依存し、公式における $\epsilon = 1$ または $2$ の補正項はどのように説明できるか？
• RQ5 $\mathrm{ar}(n,k)$ 色より多い辺彩色が施された任意の $K_n$ において、$k$ 頂点のレインボー路を構成することは可能か？

主な発見

• この論文は、パスの正確な反ラムゼー数を確立した：$\mathrm{AR}(n, P_k) = \max\left\{\binom{k-2}{2}+1, \binom{\ell-1}{2} + (\ell-1)(n - \ell + 1) + \epsilon\right\}$、ここで $\ell = \lfloor(k-1)/2\rfloor$ かつ $\epsilon = 1$（$k$ が奇数のとき）、$\epsilon = 2$（それ以外のとき）。
• $n \geq k \geq 5$ の範囲で、レインボー $P_k$ を含まない辺彩色 $K_n$ の最大色数は、正確に2つの既知の極値的構成によって達成される。
• 証明により、2つの構成が最適であることが確認された：1つは $K_{k-2}$ を異なる色で彩色し、残りを1色で塗るものであり、もう1つはグラフ $H(n,k-1,\ell-1)$ を用いるものである。
• Füredi, Kostochka, Luo, および Verstraëte の安定性結果が、任意のサイズのグラフに適用可能であり、$n$ が大きくない場合でも正確な境界を導出可能であることを示した。
• 色数が $\mathrm{ar}(n,k)$ を超えるような彩色が存在すると仮定すると、その場合にレインボー $P_k$ が強制的に存在することを示す背理法により矛盾を導いた。
• 解析により、任意のこのような極値的彩色は、代表グラフ $L_n$ が $H(n,k-1,1)$ または $H(n,k-1,\ell-1)$ の部分グラフである必要があることが判明した。また、それらからの逸脱は、次数または連結性の議論により矛盾を引き起こす。