[论文解读] Ramsey numbers of cubes versus cliques

David Conlon, Jacob Fox+2 more|arXiv (Cornell University)|Aug 8, 2012

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

一句话总结

该论文首次建立了对Ramsey数 $ r(Q_n, K_s) $ 的上界，该上界与已知的下界 $ (s-1)(2^n - 1) + 1 $ 处于同一数量级，证明了 $ r(Q_n, K_s) \leq c_s 2^n $，其中常数 $ c_s $ 仅依赖于 $ s $。该结果解决了Burr和Erd\'{o}\'{s}关于超立方体的 $ s $-好性的一个长期猜想，表明对于固定的 $ s \geq 3 $ 且足够大的 $ n $，超立方体图 $ Q_n $ 是 $ s $-好图，其方法基于图分解与分离定理。

ABSTRACT

The cube graph Q_n is the skeleton of the n-dimensional cube. It is an n-regular graph on 2^n vertices. The Ramsey number r(Q_n, K_s) is the minimum N such that every graph of order N contains the cube graph Q_n or an independent set of order s. Burr and Erdos in 1983 asked whether the simple lower bound r(Q_n, K_s) >= (s-1)(2^n - 1)+1 is tight for s fixed and n sufficiently large. We make progress on this problem, obtaining the first upper bound which is within a constant factor of the lower bound.

研究动机与目标

• 为解决Burr和Erd\'{o}\'{s}关于超立方体 $ Q_n $ 是否对固定的 $ s \geq 3 $ 和足够大的 $ n $ 是 $ s $-好图的猜想。
• 弥合已知下界 $ (s-1)(2^n - 1) + 1 $ 与 $ r(Q_n, K_s) $ 之前最佳上界之间的差距。
• 建立 $ n $-维超立方体与大小为 $ s $ 的团的Ramsey数在常数因子范围内为 $ 2^n $ 的线性关系。
• 将图分离定理与基于退化性的嵌入技术应用于超立方体，这些图不具有有界度，因此避开了先前方法的限制。

提出的方法

• 通过依赖于 $ (|V|^{1-\gamma}, \eta) $-分离结构的稀疏子图递归分解图，控制其扩张性质。
• 应用Nikiforov和Rousseau的结果：具有小分离子的 $ d $-退化图对 $ K \in \mathcal{K} $ 是 $ K $-好图，其中 $ \mathcal{K} $ 包含在 $ \chi(K) $-染色中至少有两个单点颜色类的图。
• 通过迭代细化顶点集，构建一系列大小递减、稀疏性递增的子图，确保某些部分之间无边连接。
• 利用极值图论与Tur\'{a}n型界，证明：不含 $ Q_n $ 的图若最小度高，则必含大独立集。
• 利用 $ Q_n $ 具有次线性带宽且为二分图，但非有界度的特性，因此需要超越先前 $ H $-好性结果的新技术。
• 使用依赖性随机选择与概率嵌入引理，控制避免 $ Q_n $ 的图的结构，从而实现大独立集的构造。

实验结果

研究问题

• RQ1 对于固定的 $ s \geq 3 $ 和足够大的 $ n $，超立方体 $ Q_n $ 是否是 $ s $-好图，即 $ r(Q_n, K_s) = (s-1)(2^n - 1) + 1 $？
• RQ2 能否将 $ r(Q_n, K_s) $ 的上界改进至与已知下界处于同一常数因子范围内？
• RQ3 具有次线性带宽和高最小度的图是否必然包含 $ Q_n $ 或具有大独立集？
• RQ4 能否利用分离定理与退化性条件证明像 $ Q_n $ 这类非有界度图的 $ H $-好性？

主要发现

• Ramsey数 $ r(Q_n, K_s) $ 满足 $ r(Q_n, K_s) \leq c_s 2^n $，其中常数 $ c_s $ 仅依赖于 $ s $，与下界处于同一常数因子范围内。
• 该结果证明了对任意固定的 $ s \geq 3 $，超立方体族 $ \{Q_n\} $ 是 $ s $-好图，确认了Burr和Erd\'{o}\'{s}的猜想。
• 该结果意味着对任意固定的图 $ H $，有 $ r(Q_n, H) \leq c_H 2^n $，表明 $ Q_n $ 对所有固定的 $ H $ 都是 $ H $-好图。
• 该证明依赖于将分离定理新颖地应用于具有小分离子的 $ d $-退化图，将已知的 $ K $-好性结果推广至无界度图。
• 作者构建了一套顶点集的层级结构，其大小递减、稀疏性递增，确保某些组件之间无边连接，从而实现 $ Q_n $ 的嵌入或大独立集的检测。
• 该工作为解决Burr-Erd\'{o}\'{s}关于 $ r(Q_n, Q_n) $ 线性的更广泛猜想奠定了基础，因为若该猜想成立，则可推出 $ r(Q_n, K_s) $ 在 $ 2^n $ 上为线性关系。