[论文解读] The Ramsey number of generalized loose paths in uniform Hypergrpahs

Xing Peng|arXiv (Cornell University)|May 1, 2013

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

一句话总结

该论文在 $ r $ 为偶数时，确定了 $ r $-均匀超图中广义松散 $ r/2 $-路径的精确 Ramsey 数，证明了 $ R({\frak P}^{r,r/2}_n, {\frak P}^{r,r/2}_3) = R({\frak P}^{r,r/2}_n, {\frak P}^{r,r/2}_4) = \frac{(n+1)r}{2}+1 $。证明使用了归纳论证和对红蓝边着色的结构分析，表明任何此类大小的完全 $ r $-均匀超图的红蓝边着色中，必然包含一条红色的 $ r/2 $-路径（长度为 $ n $）或一条蓝色的 $ r/2 $-路径（长度为 3 或 4）。

ABSTRACT

Let $H=(V,E)$ be an $r$-uniform hypergraph. For each $1 \leq s \leq r-1$, an $s$-path ${\mathcal P}^{r,s}_n$ of length $n$ in $H$ is a sequence of distinct vertices $v_1,v_2,\ldots,v_{s+n(r-s)}$ such that $\{v_{1+i(r-s)},\ldots, v_{s+(i+1)(r-s)}\}\in E(H)$ for each $0 \leq i \leq n-1$.Recently, the Ramsey number of $1$-paths in uniform hypergraphs has received a lot of attention. In this paper, we consider the Ramsey number of $r/2-$paths for even $r$. Namely, we prove the following exact result: $R({\mathcal P}^{r,r/2}_n,{\mathcal P}^{r,r/2}_3)=R({\mathcal P}^{r,r/2}_n,{\mathcal P}^{r,r/2}_4)= frac{(n+1)r}{2}+1.$

研究动机与目标

• 确定当 $ r $ 为偶数时，$ r $-均匀超图中广义松散 $ r/2 $-路径的精确 Ramsey 数。
• 解决关于超图中 $ s $-路径 Ramsey 数的第 1 个问题中的特定情形，聚焦于 $ s = r/2 $。
• 将已知的关于超图中路径和圈的 Ramsey 数结果，从 $ s=1 $ 的情形扩展至更一般的情形。
• 提供 $ R({\frak P}^{r,r/2}_n, {\frak P}^{r,r/2}_3) $ 和 $ R({\frak P}^{r,r/2}_n, {\frak P}^{r,r/2}_4) $ 的精确值，推动对超图 Ramsey 理论的更深入理解。

提出的方法

• 对 $ n $ 使用归纳法，证明 $ r/2 $-路径 Ramsey 数的上界。
• 应用一个关键引理：对于 $ s \geq 1 $ 且 $ n \geq 3 $，有 $ R({\frak P}^{2s,s}_n, {\frak P}^{2s,s}_2) = (n+1)s $，该引理构成归纳步骤的基础。
• 分析完全 $ r $-均匀超图的红蓝边着色，以证明必然存在一条红色的 $ r/2 $-路径（长度为 $ n $）或一条蓝色的 $ r/2 $-路径（长度为 3 或 4）。
• 基于顶点集大小和边类型（特别是 $ (s-j,s+j) $-型边）进行结构化的案例分析。
• 通过构造互不相交的子集 $ A_i $、$ B $、$ B' $ 和 $ B'' $，在特定着色假设下强制存在一条蓝色的 $ r/2 $-路径（长度为 4）。
• 运用对称性和颜色互换论证，减少情况数，并推导出所需单色路径的存在性。

实验结果

研究问题

• RQ1 在 $ r $-均匀超图中，$ s $-路径的 Ramsey 数是否满足 $ R({\frak P}^{r,s}_n, {\frak P}^{r,s}_m) = s + n(r-s) + \lfloor\frac{m+1}{2}\rfloor - 1 $，其中 $ n \geq m \geq 1 $ 且 $ 1 \leq s \leq r/2 $？
• RQ2 当 $ r $ 为偶数时，$ r $-均匀超图中 $ r/2 $-路径的精确 Ramsey 数是多少？
• RQ3 是否可以利用 $ r/2 $-路径的结构性质，类似已知的 $ s=1 $ 情形，推导出精确的 Ramsey 数？
• RQ4 在偶数均匀超图中，$ r/2 $-路径与 $ r/2 $-圈的 Ramsey 数之间是否存在普遍联系？

主要发现

• 在 $ r $-均匀超图中，$ r/2 $-路径（长度为 $ n $）与 $ r/2 $-路径（长度为 3）的精确 Ramsey 数为 $ R({\frak P}^{r,r/2}_n, {\frak P}^{r,r/2}_3) = \frac{(n+1)r}{2} + 1 $。
• 在 $ r $-均匀超图中，$ r/2 $-路径（长度为 $ n $）与 $ r/2 $-路径（长度为 4）的精确 Ramsey 数为 $ R({\frak P}^{r,r/2}_n, {\frak P}^{r,r/2}_4) = \frac{(n+1)r}{2} + 1 $。
• 该结果对问题 1 中 $ s = r/2 $ 且 $ m \in \{3,4\} $ 的情形给出了部分肯定回答，且该界是紧致的。
• 证明依赖于归纳推理和对边着色的案例分析，表明任何大小为 $ N = \frac{(n+1)r}{2} + 1 $ 的完全 $ r $-均匀超图 $ K_N^r $ 的红蓝边着色，必然导致出现一条单色的 $ r/2 $-路径。
• 一个关键引理建立了 $ R({\frak P}^{2s,s}_n, {\frak P}^{2s,s}_2) = (n+1)s $，这是归纳证明的基础。
• 对于 $ r/2 $-圈缺乏类似结构性引理，表明将结果推广至圈可能需要不同的技术。