[论文解读] Multicolor Ramsey numbers and restricted Tur\'an numbers for the loose 3-uniform path of length three

Eliza Jackowska, Joanna Polcyn+1 more|arXiv (Cornell University)|Jul 15, 2015

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

一句话总结

本文确定了长度为三的松散3-均匀路径的多色Ramsey数，通过改进Turán型结果，证明了对所有 r ≤ 7 有 R(P; r) = r + 6。文中引入了高阶Turán数——即在非星形结构下，P-自由3-图中边数的最大值——通过极值超图的结构分析，实现了对Ramsey数的更紧界。

ABSTRACT

Let $P$ denote a 3-uniform hypergraph consisting of 7 vertices $a,b,c,d,e,f,g$ and 3 edges $\{a,b,c\}, \{c,d,e\},$ and $\{e,f,g\}$. It is known that the $r$-colored Ramsey number for $P$ is $R(P;r)=r+6$ for $r=2,3$, and that $R(P;r)\le 3r$ for all $r\ge3$. The latter result follows by a standard application of the Tur\'an number $ex_3(n;P)$, which was determined to be $\binom{n-1}2$ in our previous work. We have also shown that the full star is the only extremal 3-graph for $P$. In this paper, we perform a subtle analysis of the Tur\'an numbers for $P$ under some additional restrictions. Most importantly, we determine the largest number of edges in an $n$-vertex $P$-free 3-graph which is not a star. These Tur\'an type results, in turn, allow us to confirm the formula $R(P;r)=r+6$ for $r\in\{4,5,6,7\}$.

研究动机与目标

• 确定长度为三的松散3-均匀路径 P 的精确多色Ramsey数 R(P; r)。
• 通过引入 P 的二阶与三阶Turán数概念，改进经典Turán数界。
• 证明：所有不包含于任何星形结构中的极值 P-自由3-图，唯一为彗星超图 Co(n)，其在非星形约束下实现边数最大化。
• 解决 r = 4 至 7 时的Ramsey数，确认在这些情况下 R(P; r) = r + 6。

提出的方法

• 引入 s 阶Turán数的概念，特别针对 P，以捕捉不包含于任何星形结构中的 P-自由3-图的最大边数。
• 对 n ≥ 11 使用归纳法，以 n = 8, 9, 10 为基例，结合结构约束，对 P-和 C-自由3-图的边数进行上界估计。
• 应用条件Turán数 ex(n; P|M)，其中 M 为固定子结构（如 P₃² ∪ K₃³），并证明极值结构唯一为彗星。
• 基于集合 W₀（不在核心任意边中的顶点）的大小进行分类讨论，利用前期引理中的不等式对边数进行上界估计。
• 利用已知极值结果：ex₃(n; P) = (n−1 choose 2)，且唯一极值超图为完整星形 S₃ⁿ。
• 利用如下事实：若 H − v 是彗星 Co(n−1)，且 deg(v) = n−5，则 H 必为彗星 Co(n)，从而证明边数上界的紧致性。

实验结果

研究问题

• RQ1 在不包含于任何星形结构中的 n 顶点 P-自由3-图中，最大边数是多少？
• RQ2 能否通过改进的Turán型结果，精确确定 r > 3 时的Ramsey数 R(P; r)？
• RQ3 彗星超图 Co(n) 是否为所有非星形 P-自由3-图中唯一的极值配置？
• RQ4 公式 R(P; r) = r + 6 是否对 r = 4, 5, 6, 7 成立？若成立，其边着色的结构条件是什么？

主要发现

• 证明了二阶Turán数 ex²(n; P) 为 4 + (n−5 choose 2)，且该值唯一由彗星超图 Co(n) 实现。
• 对于 r = 4 至 7，Ramsey数 R(P; r) 恰好为 r + 6，该结论通过边着色的结构分析与Turán型极值界得到验证。
• 在 n 个顶点上，唯一具有超过 (n−1 choose 2) 条边的 P-自由3-图是完整星形 S₃ⁿ，而所有其他不包含于星形中的极值 P-自由3-图均同构于 Co(n)。
• 边数上界 ex₃(n; P) = (n−1 choose 2) 是紧致的，且仅当图为完整星形时取等，这对Ramsey数的推导至关重要。
• 当 n ≥ 11 时，任何具有超过 4 + (n−5 choose 2) 条边的 P-自由3-图必为彗星 Co(n)，且该结构是实现Ramsey数上界的必要条件。
• 归纳证明表明：若 H − v = Co(n−1) 且 deg(v) = n−5，则 H = Co(n)，从而确立了边数上界的紧致性。