[论文解读] Replacing the host K_n by n-chromatic graphs in Ramsey-type results

Arie Bialostocki, András Gyárfás|arXiv (Cornell University)|Jun 15, 2015

Limits and Structures in Graph Theory参考文献 6被引用 3

一句话总结

本文将两个经典的拉姆齐型定理——关于单色生成树和单色匹配——从完全图 $K_n$ 推广到任意 $n$-色图。证明了在任意 $n$-色图的 2-边染色中，存在一个包含 $n$ 个顶点的单色树；在任意满足 $\chi(G) \geq n_1 + 1 + \sum (n_i - 1)$ 的 $t$-边染色 $n$-色图中，存在某个 $i$ 使得存在大小为 $n_i$ 的单色匹配，推广了 Erdős–Rado 和 Cockayne–Lorimer 的结果。

ABSTRACT

We extend two well-known results in Ramsey theory from from $K_n$ to arbitrary $n$-chromatic graphs. The first is a note of Erd\H os and Rado stating that in every 2-coloring of the edges of $K_n$ there is a monochromatic tree on $n$ vertices. The second is the theorem of Cockayne and Lorimer stating that for positive integers satisfying $n_1=\max\{n_1,n_2,\dots,n_t\}$ and with $n=n_1+1+\sum_{i=1}^t (n_i-1)$, the following holds. In every coloring of the edges of $K_n$ with colors $1,2\dots,t$ there is a monochromatic matching of size $n_i$ for some $i\in \{1,2,\dots,t\}$.

研究动机与目标

• 将原本仅在完全图 $K_n$ 上证明的经典拉姆齐型结果推广到任意 $n$-色图。
• 研究在边染色下 $K_n$ 中保证存在的单色子图（树、匹配）是否在任意 $n$-色图中也存在相同条件。
• 探讨拉姆齐型定理从密集母图（如 $K_n$）推广到稀疏或结构化母图（具有高色数）的适用范围。
• 考察色数是否足以强制在边染色图中出现单色子结构。
• 识别在何种条件下，无环图（如树、匹配）可被视为“良好”的图，即其单色拷贝在 $R(H_1,\dots,H_t)$-色图中被强制出现。

提出的方法

• 利用超图对偶性和二部多重图分析 2-色 $n$-色图中的连通分量结构，通过边染色将色数与连通分量大小关联起来。
• 应用 König 定理于二部多重图的边染色，以色数为依据界定最大连通分量大小的上界。
• 在母图 $G$ 的顶点集上构造一个完全图 $K$，将 $G$ 的边染色扩展到其补图，引入新的“颜色 0”形成一个带染色的完全图。
• 采用反例的极小性论证：假设存在一个极小反例 $G$ 满足 $\chi(G) = R$，然后通过构造一个更大的合法染色生成树来导出矛盾。
• 通过分析合法染色树与路径的结构，证明若某一最大生成树中缺少特定颜色，则会导致边染色冲突，从而导出矛盾。
• 通过将顶点集划分为独立集并映射到 $t$-色 $K_n$ 的方式，实现黑箱归约，利用原始的 Cockayne–Lorimer 定理。

实验结果

研究问题

• RQ1 Erdős–Rado 结论（即任意 $K_n$ 的 2-边染色中存在单色生成树）能否推广到任意 $n$-色图？
• RQ2 当色数超过 $n_1 + 1 + \sum (n_i - 1)$ 时，Cockayne–Lorimer 关于 $K_n$ 中单色匹配的结果是否可推广到 $n$-色图？
• RQ3 对于哪些无环图 $H_i$，任意 $R(H_1,\dots,H_t)$-色图在 $t$-边染色下都包含颜色 $i$ 中的单色 $H_i$ 拷贝？
• RQ4 色数是否足以强制在稀疏母图中出现单色子结构，即使母图并非完全图？
• RQ5 是否存在 $t$-边染色的 $R(H_1,\dots,H_t)$-色图，使得对所有 $i$，其在颜色 $i$ 中均不包含单色 $H_i$，其中 $H_i$ 为无环图？

主要发现

• 任意 2-边染色的 $n$-色图中均包含一个 $n$ 个顶点的单色树，将 Erdős–Rado 结论从 $K_n$ 推广到一般 $n$-色图。
• 对于任意 $t$-边染色的 $n$-色图 $G$，若 $\chi(G) \geq n_1 + 1 + \sum_{i=1}^t (n_i - 1)$，则存在某个 $i$ 使得存在大小为 $n_i$ 的单色匹配，推广了 Cockayne–Lorimer 定理。
• 证明依赖于在 $G$ 的完全图扩展中构造一个合法染色的生成树，若其中缺少任何真实颜色，则可导出矛盾。
• 母图的色数是强制出现单色子结构的充分条件，即使母图并非完全图。
• 该结果是紧致的：色数阈值 $n_1 + 1 + \sum (n_i - 1)$ 是必要的，如通过反例构造的极小性所证明。
• 目前尚未发现无环图 $H_1,\dots,H_t$ 的例子，使得 $R(H_1,\dots,H_t)$-色图避免在颜色 $i$ 中出现单色 $H_i$，暗示这些图可能始终是“良好”的。