[论文解读] On multicolor Ramsey numbers for loose $k$-paths of length three

Tomasz Łuczak, Joanna Polcyn+1 more|arXiv (Cornell University)|Mar 28, 2017

Advanced Topology and Set Theory被引用 1

一句话总结

本文建立了 $k$-均匀超图中长度为三的松散 $k$-路径的多色Ramsey数的有界上界。通过利用极值超图理论中的稳定性结果——即稠密的 $P^{(k)}$-自由超图由一个巨大的单星主导——证明了当 $r$ 足够大时，Ramsey数 $R(P^{(k)}; r)$ 至多为 $250r$，且与 $k$ 无关。该结果解决了大 $r$ 情况下的一个猜想，表明即使 $k$ 增大，Ramsey数仍随 $r$ 线性增长。

ABSTRACT

We show that there exists an absolute constant $A$ such that for each $k\ge2$ and every coloring of the edges of the complete $k$-uniform hypergraph on $ Ar$ vertices with $r$ colors, one of the color classes contains a loose path of length three.

研究动机与目标

• 确定 $k$-均匀超图中长度为三的松散 $k$-路径的多色Ramsey数 $R(P^{(k)}; r)$ 的渐近行为。
• 通过证明Ramsey数随 $r$ 线性增长且常数因子与 $k$ 无关，解决猜想 $R(P^{(k)}; r) = r + 3k - 3$ 在大 $r$ 时的成立性。
• 建立一个稳定性结果：任何边密度高的 $P^{(k)}$-自由 $k$-图必须包含一个度数极高的顶点，暗示其结构由一个主导星构成。

提出的方法

• 使用Füredi、Jiang和Seiver的极值结果的稳定性版本，表明边密度高的 $P^{(k)}$-自由 $k$-图必须有一个顶点的度数至少为 $|H| - 0.96^k \binom{n-1}{k-1}$。
• 应用概率划分：将顶点集随机划分为两部分，并识别出满足顶点 $v_f$ 属于一个部分而 $(k-1)$-集合 $f$ 属于另一部分的“合适”边。
• 在合适集合上使用三色着色论证，强制产生一个单色的 $(k-1)$-路径（长度为三），该路径可被扩展为原始超图中的 $k$-路径 $P^{(k)}$。
• 使用事实5（子超图中的最小度数）和事实6（二分图中的最小度数子图）在每种颜色类中提取出稠密的子超图。
• 通过平均化和极值界限分析表明，若不存在单色 $P^{(k)}$，则由度数条件强制产生的边数将导致矛盾。
• 采用双重计数和邻域分析方法，表明若最大度数有界，则 $P^{(k)}$ 必然存在，从而与 $P^{(k)}$-自由性假设矛盾。

实验结果

研究问题

• RQ1 多色Ramsey数 $R(P^{(k)}; r)$ 是否随 $r$ 线性增长，且常数因子与 $k$ 无关？
• RQ2 能否利用 $P^{(k)}$-自由 $k$-图的稳定性来证明 $R(P^{(k)}; r)$ 在大 $r$ 时存在统一的上界？
• RQ3 是否可能在任意 $r$-着色的 $K^{(k)}_{Ar}$ 中构造出一个单色的松散 $k$-路径（长度为三），其中 $A$ 为一个通用常数？
• RQ4 使得对所有 $k \geq 3$ 和大 $r$ 都有 $R(P^{(k)}; r) \leq Ar$ 成立的最小 $A$ 是多少？
• RQ5 当 $n$ 足够大时，$P^{(k)}$-自由 $k$-图的结构是否可表征为由单个星主导？

主要发现

• 对于所有 $k \geq 250$ 且足够大的 $r$，多色Ramsey数 $R(P^{(k)}; r)$ 至多为 $250r$，且与 $k$ 无关。
• 本文证明了一个稳定性结果：在 $n$ 个顶点上且满足 $|H| \geq 0.96^k \binom{n-1}{k-1}$ 的 $P^{(k)}$-自由 $k$-图中，必存在一个度数至少为 $|H| - 0.96^k \binom{n-1}{k-1}$ 的顶点。
• 证明表明，若在 $Ar$ 个顶点的完全 $k$-图中不存在单色 $P^{(k)}$，则其约化子图中的边数将过少，导致矛盾。
• 常数 $A = 250$ 的选取使得 $ (A-1)^k > k (0.96)^k A^{k-1} $ 成立，从而确保计数论证中出现矛盾。
• 该结果表明，即使 $k$ 增大，Ramsey数仍随 $r$ 线性增长，且具有统一的常数因子。
• 关键步骤是证明在任意 $P^{(k)}$-自由超图中，单个顶点主导了边结构，该性质被用于在任意 $r$-着色的大完全 $k$-图中强制产生单色 $P^{(k)}$。