[论文解读] A note on Ramsey numbers for Berge-G hyper graphs

Maria Axenovich, András Gyárfás|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|Jul 26, 2018

Limits and Structures in Graph Theory参考文献 11被引用 9

一句话总结

本文通过将伯杰-$G$超图的拉姆齐数与经典图拉姆齐数联系起来，建立了伯杰-$K_3$和$K_4$超图的新上界，特别是对三角形（$K_3$）和$K_4$的情况。研究证明了$R_3(\text{Berge-}K_3,k) \leq 3k/4 + o(k)$，并给出了精确值，如$R_3(\text{Berge-}K_3,2) = 5$；同时确定了当奇数$t \neq 3$时，$R(\text{Berge-}K_3,2^t-1) = t+2$，为小规模情况提供了紧确界和精确结果。

ABSTRACT

For a graph G=(V,E), a hypergraph H is called Berge-G if there is a bijection f from E(G) to E(H) such that for each e in E(G), e is a subset of f(e). The set of all Berge-G hypergraphs is denoted B(G). For integers k>1, r>1, and a graph G, let the Ramsey number R_r(B(G), k) be the smallest integer n such that no matter how the edges of a complete r-uniform n-vertex hypergraph are colored with k colors, there is a copy of a monochromatic Berge-G subhypergraph. Furthermore, let R(B(G),k) be the smallest integer n such that no matter how all subsets an n-element set are colored with k colors, there is a monochromatic copy of a Berge-G hypergraph. We give an upper bound for R_r(B(G),k) in terms of graph Ramsey numbers. In particular, we prove that when G becomes acyclic after removing some vertex, R_r(B(G),k)\le 4k|V(G)|+r-2, in contrast with classical multicolor Ramsey numbers. When G is a triangle or a K_4, we find sharper bounds and some exact results and determine some `small' Ramsey numbers: k/2 - o(k) < R_3(B(K_3)), k) < 3k/4+ o(k), For any odd integer t eq 3, R(B(K_3),2^t-1)=t+2, 2^{ck} < R_3(B(K_4),k) < e(1+o(1))(k-1)k!, R_3(B(K_3),2)=R_3(B(K_3),3)=5, R_3(B(K_3),4)=6, R_3(B(K_3),5)=7, R_3(B(K_3),6)=8, R_3(B(K_3,8)=9, R_3(B(K_4),2)=6.

研究动机与目标

• 为三 uniform 超图中伯杰-$K_3$和伯杰-$K_4$超图的多色拉姆齐数建立紧确的上下界。
• 确定小$ k $值下拉姆齐数的精确值，包括$ R_3(\text{Berge-}K_3,k) $在$ k=2 $到$ 8 $时的值，以及$ R(\text{Berge-}K_3,2^t-1) $在奇数$ t \neq 3 $时的值。
• 将伯杰-$G$超图的$ r $-uniform 拉姆齐数与辅助图族的多色拉姆齐数联系起来，特别是通过顶点删除和边扩展构造。
• 将已知的伯杰超图的图论型结果扩展到拉姆齐理论设置中，尤其针对三角形和$ K_4 $等小而稠密的图。

提出的方法

• 将伯杰-$G$超图定义为：图$ G $的每条边通过从$ E(G) $到$ E(H) $的双射，被一个包含其顶点的超边所覆盖。
• 引入两个拉姆齐函数：$ R_r(\mathcal{B}(G),k) $用于$ r $-uniform 超图，以及$ R(\mathcal{B}(G),k) $用于$ n $-集合的所有子集，两者均衡量任意$ k $-染色中包含单色伯杰-$G$超图的最小$ n $。
• 使用极值图论界：通过不等式$ \binom{n}{r} \leq k \cdot \text{ex}_r(n,\mathcal{B}(G)) $，将$ R_r(\mathcal{B}(G),k) $与图论极值数$ \text{ex}_r(n,\mathcal{B}(G)) $联系起来，从而获得上界。
• 通过在$ G - v $上添加悬挂边，构造辅助图族$ \mathcal{G}^*(v) $，以建模超图中潜在的伯杰-$G$配置。
• 对三 uniform 超图的补图进行情况分析，以排除单色伯杰-$K_3$配置，使用正则性和边覆盖论证。
• 通过归纳法和极值计数，证明$ R_3(\mathcal{B}(K_3),k) \leq 3k/4 + o(k) $，并通过穷举枚举和反证法建立精确值。

实验结果

研究问题

• RQ1 对于小的$ k $，如$ k=2,3,4,5,6,8 $，$ R_3(\mathcal{B}(K_3),k) $的精确值是什么？
• RQ2 伯杰-$G$超图的拉姆齐数$ R_r(\mathcal{B}(G),k) $与经典图拉姆齐数相比如何，特别是当$ G $为三角形或$ K_4 $时？
• RQ3 能否为特定$ k $（如$ k=2^t-1 $且奇数$ t \neq 3 $）精确确定拉姆齐数$ R(\mathcal{B}(K_3),k) $？
• RQ4 三 uniform 超图中伯杰-$K_4$的拉姆齐数$ R_3(\mathcal{B}(K_4),k) $的渐近增长速度如何？与经典拉姆齐数的已知界相比如何？
• RQ5 如何通过辅助图扩展$ \mathcal{G}^*(v) $分析伯杰-$G$超图的结构，以推导出拉姆齐型界？

主要发现

• 拉姆齐数$ R_3(\mathcal{B}(K_3),k) $满足$ k/2 - o(k) \leq R_3(\mathcal{B}(K_3),k) \leq 3k/4 + o(k) $，表明其增长速度远慢于经典拉姆齐数。
• 确定了精确值：$ R_3(\mathcal{B}(K_3),2) = R_3(\mathcal{B}(K_3),3) = 5 $，$ R_3(\mathcal{B}(K_3),4) = 6 $，$ R_3(\mathcal{B}(K_3),5) = 7 $，$ R_3(\mathcal{B}(K_3),6) = 8 $，以及$ R_3(\mathcal{B}(K_3),8) = 9 $。
• 当奇数$ t \neq 3 $时，$ R(\mathcal{B}(K_3),2^t - 1) = t + 2 $，为一类非均匀拉姆齐数提供了精确公式。
• 三 uniform 超图中伯杰-$K_4$的拉姆齐数满足$ 2^{ck} \leq R_3(\mathcal{B}(K_4),k) \leq e(1+o(1))(k-1)k! $，表明其具有超指数增长。
• 证明了对所有奇数$ n \geq 3 $，$ f(n,\mathcal{B}(K_3)) = 2^{n-2} $，但$ n=5 $时例外，$ f(5,\mathcal{B}(K_3)) = 2^{3} = 8 $，从而确认了对偶染色函数的紧界。
• 本文证明了$ R_3(\mathcal{B}(K_4),2) = 6 $，首次在三 uniform 超图中确立了伯杰-$K_4$的精确值。