[论文解读] Constructive Methods in Gallai-Ramsey Theory for Hypergraphs

Mark Budden, Joshua Hiller+1 more|arXiv (Cornell University)|Feb 4, 2019

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

一句话总结

本文在Gallai-Ramsey理论中引入了超图的构造性方法，通过限制着色以避免出现彩虹 $K_{r+1}^{(r)}$ 子超图，从而扩展了经典Ramsey理论。该研究利用已知构造方法——特别是图提升和升维引理——推导出3-和4-均匀Gallai-Ramsey数的新下界，显著改进了现有结果，包括 $gr^{5}(K_4^{(3)};3) \geq 3,026$ 和 $gr(K_5^{(3)},K_5^{(3)},K_5^{(3)},K_4^{(3)},K_4^{(3)};3) \geq 26,245$。该工作建立了一个将经典超图Ramsey结果转化为Gallai设定下增强下界的新框架。

ABSTRACT

Much recent progress in hypergraph Ramsey theory has focused on constructions that lead to lower bounds for the corresponding Ramsey numbers. In this paper, we consider applications of these results to Gallai colorings. That is, we focus on the Ramsey numbers resulting from only considering $t$-colorings of the hyperedges of complete $r$-uniform hypergraphs in which no rainbow $K_{r+1}^{(r)}$-subhypergraphs exists. We also provide new constructions which imply improved lower bounds for many $3$ and $4$-uniform Ramsey numbers and $3$ and $4$-uniform Gallai-Ramsey numbers.

研究动机与目标

• 通过限制 $t$-着色以避免出现彩虹 $K_{r+1}^{(r)}$ 子超图，将Gallai-Ramsey理论从图推广到超图。
• 将经典超图Ramsey理论中的现有构造方法——特别是图提升和升维引理——适配用于Gallai-Ramsey设定。
• 推导出3-和4-均匀Gallai-Ramsey数的新且改进的下界，特别是针对完全超图及其缺少一条边的情况。
• 基于在边界中观察到的结构模式，提出关于高阶均匀性下Gallai-Ramsey数增长的猜想。

提出的方法

• 将图提升构造应用于将图的2-着色转化为3-均匀超图的2-着色，同时保持Ramsey性质。
• 利用升维引理将3-均匀超图的结果扩展到更高均匀度的超图。
• 将Gallai着色定义为避免出现彩虹 $K_{r+1}^{(r)}$ 子超图的 $t$-着色。
• 建立一个框架，通过结构保持将已知的经典Ramsey下界转化为Gallai-Ramsey下界。
• 提出一种新的3-和4-均匀超图构造方法，可避免彩虹构型并产生改进的下界。
• 结合定理8与推论7及已知的经典边界，生成Gallai-Ramsey数的级联改进。

实验结果

研究问题

• RQ1 经典超图Ramsey构造方法如何适应Gallai-Ramsey设定，即在禁止出现彩虹 $K_{r+1}^{(r)}$ 子超图的条件下？
• RQ2 使用构造方法可推导出哪些关于3-和4-均匀Gallai-Ramsey数的新下界？
• RQ3 升维引理和图提升方法能否扩展至在更高均匀度超图中保持Gallai性质？
• RQ4 当超图为完全图或缺少一条边时，Gallai-Ramsey数中会浮现哪些结构模式？
• RQ5 随着颜色数量的增加，Gallai-Ramsey数是否存在一般性增长模式，特别是针对完全或近乎完全的超图？

主要发现

• 通过结合定理8与已知边界 $R^{3}(K_4^{(3)}-e;3) \geq 13$，本文确立了 $gr^{4}(K_4^{(3)};3) \geq 145$。
• 利用定理8与经典边界 $R(K_4^{(3)}, K_5^{(3)};3) \geq 35$，本文证明了 $gr^{4}(K_4^{(3)}, K_5^{(3)};3) \geq 1,157$。
• 由定理8与已知 $R^{3}(K_4^{(3)};3) \geq 56$ 推导出边界 $gr^{5}(K_4^{(3)};3) \geq 3,026$。
• 对于4-均匀超图，本文通过定理9与经典边界 $R^{2}(K_5^{(4)};4) \geq 34$ 确立了 $gr^{4}(K_5^{(4)};4) \geq 1,090$。
• 通过结合定理9与递推不等式 $R(K_p^{(4)}, K_q^{(4)};4) \geq 2R(K_{p-1}^{(4)}, K_q^{(4)};4) - 1$，本文实现了 $gr(K_5^{(4)}, K_5^{(4)}, K_5^{(4)}, K_6^{(4)};4) \geq 4,357$。
• 通过定理8与经典边界 $R^{3}(K_5^{(3)};3) \geq 163$，本文得出 $gr(K_5^{(3)}, K_5^{(3)}, K_5^{(3)}, K_4^{(3)}, K_4^{(3)};3) \geq 26,245$。