[论文解读] A note on Ramsey Numbers for Books

Vladimir Nikiforov, Cecil Rousseau|ArXiv.org|May 10, 2004

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

一句话总结

该论文证明了当 $ n $ 相对于 $ m $ 足够大时，书图的拉姆齐数 $ r(B_m, B_n) $ 等于 $ 2n + 3 $，证实了存在一个常数 $ c $，使得当 $ n \geq c m $ 时，$ r(B_m, B_n) = 2n + 3 $。该结果改进了先前的上界，并通过极值图论以及对诱导子图和公共邻域的计数论证，确认了书图拉姆齐数的渐近行为。

ABSTRACT

A book of size N is the union of N triangles sharing a common edge. We show that the Ramsey number of a book of size N vs. a book of size M equals 2N+3 for all N>(10^6)M. Our proof is based on counting.

研究动机与目标

• 确定当 $ n $ 相对于 $ m $ 足够大时，书图拉姆齐数 $ r(B_m, B_n) $ 的渐近行为。
• 证明对于所有 $ n \geq c m $，其中 $ c $ 为正常数，有 $ r(B_m, B_n) = 2n + 3 $。
• 改进先前的上界，并确认在 $ n $ 相对于 $ m $ 较大时，$ 2n+3 $ 公式的紧致性。
• 解决一个长期存在的开放问题：是否存在一个统一的常数 $ c $，使得当 $ n \geq c m $ 时，$ r(B_m, B_n) = 2n+3 $。

提出的方法

• 采用完全图 $ K_r $ 的双色边着色，将 $ r(B_m, B_n) $ 解释为最小的 $ r $，使得每种红蓝着色中必然包含一个红书图（含 $ m $ 页）或一个蓝书图（含 $ n $ 页）。
• 应用计数引理，通过凸性和度数和不等式，对有有界书图大小和最小度的图中的 $ C_4 $ 子图数量进行上界估计。
• 运用 Andrásfai–Erdős–Sós 定理，证明具有高最小度且无三角形的红图必为二分图，从而实现对红图的结构分解。
• 对红图二分子图的颜色类 $ S_1, S_2 $ 进行分类讨论，并基于蓝邻域条件定义集合 $ T_1, T_2 $，以控制蓝图中的书图大小。
• 通过结合红边在 $ S $ 与 $ X $ 之间的下界估计（基于书图大小假设）与上界估计（通过顶点平均得出），假设 $ bs(B) < n/2 - 2 $，导出矛盾，从而证明 $ bs(B) \geq n/2 - 2 $。
• 依赖于公共邻域和诱导子图计数的极值界，当原图中红图的书图大小有界时，强制蓝图中存在一个大书图。

实验结果

研究问题

• RQ1 是否存在常数 $ c $，使得对所有 $ n \geq c m $，有 $ r(B_m, B_n) = 2n + 3 $？
• RQ2 当 $ n $ 显著大于 $ m $ 时，$ r(B_m, B_n) $ 的渐近行为是什么？
• RQ3 能否将上界 $ r(B_m, B_n) \leq 2n + 3 $ 紧化为对所有大 $ n $ 成立的等式？
• RQ4 在原图中书图大小有界时，图的哪些结构特性会强制其补图中出现大书图？

主要发现

• 存在一个正常数 $ c $，使得对所有 $ n \geq c m $，有 $ r(B_m, B_n) = 2n + 3 $，从而确认了渐近公式。
• 通过反证法结合极值计数和结构分解，证明了当 $ n \geq 10^6 m $ 时，$ r(B_m, B_n) = 2n + 3 $ 成立。
• 证明表明，若红图的书图大小有界为 $ m $，则蓝图中必存在大小至少为 $ n/2 - 2 $ 的书图，该结果近乎最优。
• 该结果改进了早期的上界 $ r(B_m, B_n) \leq 2(m+n+1) $，并确认在 $ n $ 较大时 $ 2n+3 $ 公式的等号成立。
• 矛盾源于将基于书图大小假设的红边在 $ S $ 与 $ X $ 之间的下界估计，与通过平均得出的上界估计相结合，得到 $ 9n/40 < n/5 + 2m $，当 $ n $ 足够大时该不等式不成立。
• 分析表明，在 $ bs(R) \leq m $ 的假设下，有 $ bs(B) \geq n/2 - 2 $，且由于 $ n \geq 10^6 m $，可推出 $ bs(B) \geq n/2 - 2 $，从而足以得出 $ r(B_m, B_n) = 2n + 3 $ 的结论。