[論文レビュー] Tight Ramsey Bounds for Multiple Copies of a Graph

Matija Bucić, Benny Sudakov|arXiv (Cornell University)|Aug 26, 2021

Limits and Structures in Graph Theory参考文献 20被引用数 1

ひとこと要約

この論文は、ラムゼー理論における長年の未解決問題を解決し、固定されたグラフ $ H $ の頂点を互いに disjoint に持つ $ n $ 個のコピー $ nH $ のラムゼー数が、$ |H| $ に対して指数的に大きな $ n $ になると、その漸近的線形形 $ (2|H| - \alpha(H))n + c $ に安定化することを示している。これは、従来知られていた三重指数的または二重指数的境界よりも、指数的境界で十分であることを示している。著者らは、閾値 $ n_0 $ および定数 $ c $ のタイトな境界を確立し、1975 年にバーラ・エルドーシ・スペンサーが提起した問題に対して、本質的に最適な解決策を提供している。

ABSTRACT

The Ramsey number $r(G)$ of a graph $G$ is the smallest integer $n$ such that any $2$ colouring of the edges of a clique on $n$ vertices contains a monochromatic copy of $G$. Determining the Ramsey number of $G$ is a central problem of Ramsey theory with long and illustrious history. Despite this there are precious few classes of graphs $G$ for which the value of $r(G)$ is known exactly. One such family consists of large vertex disjoint unions of a fixed graph $H$, we denote such a graph, consisting of $n$ copies of $H$ by $nH$. This classical result was proved by Burr, Erdős and Spencer in 1975, who showed $r(nH)=(2|H|-α(H))n+c$, for some $c=c(H)$, provided $n$ is large enough. Since it did not follow from their arguments, Burr, Erdős and Spencer further asked to determine the number of copies we need to take in order to see this long term behaviour and the value of $c$. More than $30$ years ago Burr gave a way of determining $c(H)$, which only applies when the number of copies $n$ is triple exponential in $|H|$. In this paper we give an essentially tight answer to this very old problem of Burr, Erdős and Spencer by showing that the long term behaviour occurs already when the number of copies is single exponential.

研究の動機と目的

• バーラ・エルドーシ・スペンサーが 1975 年に提起した、ラムゼー数 $ r(nH) $ がその漸近的線形形 $ (2|H| - \alpha(H))n + c $ に安定化するまでに必要な最小のコピー数 $ n $ を特定する長年の未解決問題を解決すること。
• バーラが以前に確立した三重指数的境界よりも著しく改善された、$ n_0 $ のタイトな単一指数的境界を提供すること。
• 定数 $ c(H) $ の本質的にタイトな特徴づけを提供し、古典的結果における第二の欠陥を解消する。任意の固定グラフ $ H $ に対して $ c(H) $ を構成的に決定する方法を提示すること。

提案手法

• 単色の $ nH $ を避ける extremal な彩色に基づく、構造的で新しい議論を開発し、小さな例外的集合 $ E' $、赤と青の部分 $ R', B' $ およびそれらのサイズ制約の役割に注目する。
• 再帰的な彩色議論を用いて、$ r((n-1)H) $ が既知であれば、$ r(nH) \geq r((n-1)H) + 2k - \alpha $ が成り立つことを示す。これは、$ R' $ と $ B' $ に頂点を慎重に追加しながら、単色の $ nH $ を避けるように保つことにより達成される。
• 極値的組合せ的境界を用いて例外的集合 $ E' $ のサイズを制御し、$ |E'| \leq 2^{O(k)} $ を示す。これにより、滑らかな帰納的ステップが可能になる。
• 完全グラフと独立集合のラムゼー数に関する既知の境界を活用し、$ r(nK_k) $ のタイトな推定値を導出する。一般結果を明確な式で示す：$ r(nK_k) = (2k - 1)n + r(K_{k-1}) - 2 $。
• 方法を非対称ラムゼー問題 $ r(G, nH) $ に適応し、長期的挙動が単一指数的 $ n $ で既に現れることを示す。これにより、従来の二重または三重指数的境界を改善する。
• キーレムマ（補題 8）の修正を用いて、この方法をトーナメントに拡張し、方向付きラムゼー理論における類似結果への道筋を示唆する。

実験結果

リサーチクエスチョン

• RQ1 固定グラフ $ H $ に対して、$ r(nH) = (2|H| - \alpha(H))n + c $ がすべての $ n \geq n_0 $ で成り立つ最小の $ n_0 $ は何か？
• RQ2 ラムゼー数の公式における定数 $ c(H) $ は、有効に計算可能か。もしそうなら、どのような条件下で可能か？
• RQ3 $ r(nH) $ の長期的漸近的挙動は、三重指数的または二重指数的境界ではなく、単一指数的閾値で現れるか？
• RQ4 $ |H| $ に関して指数的に成長する $ n $ に対して、非対称ラムゼー数 $ r(G, nH) $ はタイトに境界づけられるか？これにより、以前の結果が改善されるか？
• RQ5 トーナメントや誘導ラムゼー理論などの他の設定において、主結果の自然な類似物は存在するか？

主な発見

• 論文は、$ r(nH) = (2|H| - \alpha(H))n + c(H) $ がすべての $ n \geq 2^{Ck} $ で成り立つことを示しており、$ k = |H| $ である。これは、長期的挙動が三重指数的ではなく、単一指数的閾値で現れることを証明している。
• 定数 $ c(H) $ は、バーラの方法に類似した方法により有効に決定可能であることが示され、著者らは詳細な議論を第 4.2 節に延期している。
• 完全グラフの場合、正確な公式 $ r(nK_k) = (2k - 1)n + r(K_{k-1}) - 2 $ が得られ、$ n \geq 2^{Ck} $ で有効である。これは境界のタイトさを示している。
• 著者らは $ r(nH) \geq r((n-1)H) + 2k - \alpha(H) $ を証明しており、これは再帰的下界を提供し、主な帰納的議論の根幹をなしている。
• この結果は本質的にタイトである：$ n $ が指数的でない場合、標準的なラムゼー境界により $ r(nH) $ は $ H $ の単一のコピーでさえ含まない可能性がある。よって、指数的成長は必要不可欠である。
• この方法は非対称ケース $ r(G, nH) $ に拡張可能であり、長期的挙動が単一指数的 $ n $ で現れることを示しており、バーラが残した未解決の問いを解決している。