[论文解读] Trees and $n$-Good Hypergraphs

Mark Budden, Andrew Penland|arXiv (Cornell University)|Oct 16, 2017

Limits and Structures in Graph Theory参考文献 8被引用 4

一句话总结

本文将 $n$-good 图的概念推广至 $r$-uniform 超图，重点关注 $3$-uniform 树与环。文中建立了 Ramsey 数的界，并证明了无穷多个 $3$-uniform 树是 $n$-good，尤其在 $n$ 为奇数或特定偶数情况下；同时表明某些环（如 $C_4^{(3)}$）在某些 $n$ 下并非 $n$-good。主要贡献在于将 Burr 的 Ramsey 下界推广至超图，并对 $3$-uniform 树的 $n$-good 性质进行了表征。

ABSTRACT

Trees fill many extremal roles in graph theory, being minimally connected and serving a critical role in the definition of $n$-good graphs. In this article, we consider the generalization of trees to the setting of $r$-uniform hypergraphs and how one may extend the notion of $n$-good graphs to this setting. We prove numerous bounds for $r$-uniform hypergraph Ramsey numbers involving trees and complete hypergraphs and show that in the $3$-uniform case, all trees are $n$-good when $n$ is odd or $n$ falls into specified even cases.

研究动机与目标

• 将 $n$-good 图的概念从简单图推广至 $r$-uniform 超图。
• 将 Burr 的 Ramsey 下界推广至 $r$-uniform 超图，并据此定义 $n$-good 超图。
• 研究 $r$-uniform 树是否为 $n$-good，特别是 $3$-uniform 情况。
• 确定对于哪些 $n$ 和 $3$-uniform 树，Ramsey 数 $R(T, K_n^{(3)};3)$ 达到最小可能值。

提出的方法

• 通过弱染色数与最小颜色类大小，将 $n$-good 图的定义适配至 $r$-uniform 超图。
• 应用容斥原理，推导 $3$-uniform 超图的 Ramsey 数下界。
• 利用 $\mathbb{Z}/p\mathbb{Z}$ 上的有限域构造，生成避免红 $C_4^{(3)}$ 和蓝 $K_n^{(3)}$ 的 $K_p^{(3)}$ 红蓝边染色。
• 采用 Berge 路与松散环作为结构工具，分析 $3$-uniform 超图中的连通性与 Ramsey 性质。
• 证明当 $n$ 为偶数时，$R(H, K_n^{(3)};3) \leq (m-1)(n/2 - 1) + 2$；当 $n$ 为奇数时，$R(H, K_n^{(3)};3) \leq (m-1)((n+1)/2 - 1) + 1$，作为 $n$-good 性的充分条件。
• 应用群论方法分析模素数的立方根，以构造极值染色。

实验结果

研究问题

• RQ1 在超图 Ramsey 设置下，$r$-uniform 树是否为 $n$-good，特别是 $r=3$ 的情况？
• RQ2 对于哪些 $n$ 值，$3$-uniform 树是 $n$-good，尤其是当 $n$ 为奇数或特定偶数情况？
• RQ3 $3$-uniform 超图 $H$ 的 Ramsey 数 $R(H, K_n^{(3)};3)$ 是否能被一个类似于图情形的公式从下方界定？
• RQ4 所有 $3$-uniform 树是否都是 $n$-good，还是存在某些 $n$ 下的反例？
• RQ5 在何种条件下，$3$-uniform 环如 $C_4^{(3)}$ 是 $n$-good？

主要发现

• 无穷多个 $3$-uniform 树是 $n$-good，尤其在 $n$ 为奇数或特定偶数情况下。
• 当 $n$ 为奇数时，$R(H, K_n^{(3)};3) \leq (m-1)((n+1)/2 - 1) + 1$ 是 $H$ 为 $n$-good 的充分条件。
• 当 $n$ 为偶数时，$R(H, K_n^{(3)};3) \leq (m-1)(n/2 - 1) + 2$ 是 $H$ 为 $n$-good 的充分条件。
• $3$-uniform 环 $C_4^{(3)}$ 不是 $5$-good，其构造基于 $\mathbb{Z}/13\mathbb{Z}$。
• 对于满足 $3j+1$ 为素数的偶数 $j$，有 $R(C_4^{(3)}, K_{2j+1}^{(3)};3) > 3j+1$，这意味着 $C_4^{(3)}$ 不是 $(2j+1)$-good。
• 本文构造了 $K_{3j+1}^{(3)}$ 的红蓝边染色，既避免了红 $C_4^{(3)}$ 也避免了蓝 $K_{2j+1}^{(3)}$，从而证明了 Ramsey 数的严格不等式。