[论文解读] Anti-Ramsey numbers for paths

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

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

一句话总结

本文通过精确确定路径的反Ramsey数，解决了Erdős、Simonovits和Sós长期以来的猜想。它证明了在不含$k$个顶点的彩虹路径的完全图$K_n$中，边着色所允许的最大颜色数由一个精确公式给出，该公式涉及二项式系数及与奇偶性相关的修正项，利用极值图论中的稳定性方法，对所有$n \geq k \geq 5$建立了紧致的界限。该结果确认了两种已知构造的最优性，并首次为路径的反Ramsey数提供了精确公式。

ABSTRACT

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

研究动机与目标

• 解决Erdős、Simonovits和Sós在1970年代提出的关于路径反Ramsey数精确值的猜想。
• 确定在避免出现路径$P_k$的彩虹边着色完全图$K_n$中，最大颜色数。
• 利用极值图论中的稳定性结果建立紧致的极值界限，将先前的局部结果推广至所有$n \geq k \geq 5$。
• 确认两种已知构造——将$K_{k-2}$用不同颜色着色而其余边用单一颜色，或使用结构图$H(n,k-1,\ell-1)$——确实是避免彩虹路径的最优构造。
• 通过结构图论论证，对避免彩虹路径的极值边着色图进行完整表征。

提出的方法

• 利用Füredi、Kostochka、Luo和Verstraëte关于$P_k$-自由和$\mathcal{C}_k$-自由图的最新稳定性定理，这些定理即使对较小的$n$也适用。
• 应用连通图的Turán数$\mathrm{ex}_{\text{con}}(n, P_k)$，以限制$P_k$-自由连通图中的边数。
• 使用极值图构造$H(n,k,a)$，该构造将顶点划分为集合$A$、$B$和$C$，并具有特定的边集，以模拟极值配置。
• 基于假设极值着色中颜色数超过$\mathrm{ar}(n,k)$的矛盾论证：若$K_n$的颜色数超过$\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$，并利用度数和连通性论证，推导出当假设违反反Ramsey界限时的矛盾。

实验结果

研究问题

• RQ1 在$K_n$中，$k$个顶点的路径的反Ramsey数$\mathrm{AR}(n, P_k)$的精确值是什么？
• RQ2 两种已知构造——将$K_{k-2}$用不同颜色着色而其余边用单一颜色，或使用$H(n,k-1,\ell-1)$图——是否为避免彩虹路径的最优构造？
• RQ3 极值图论中的稳定性结果能否用于推导路径的精确反Ramsey数，即使在$n$较小时也适用？
• RQ4 路径的反Ramsey数如何依赖于$k$的奇偶性？公式中的$\epsilon = 1$或$2$修正项如何解释？
• RQ5 在任何边着色$K_n$中，若颜色数超过$\mathrm{ar}(n,k)$，是否可能构造出一个$k$个顶点的彩虹路径？

主要发现

• 本文建立了路径的精确反Ramsey数：$\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$，且当$k$为奇数时$\epsilon = 1$，否则$\epsilon = 2$。
• 对于$n \geq k \geq 5$，在边着色$K_n$中不包含彩虹$P_k$的最大颜色数，恰好由两种已知的极值构造实现。
• 该证明确认了这两种构造是最优的：一种基于将$K_{k-2}$用不同颜色着色而其余边用单一颜色；另一种基于图$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)$的子图，且任何偏离都会通过度数或连通性论证导致矛盾。