[论文解读] New recurrent inequality on a class of vertex Folkman numbers

Nikolay Rangelov Kolev, Nedyalko Nenov|ArXiv.org|Mar 13, 2006

Graph theory and applications参考文献 4被引用 4

一句话总结

本文建立了一种新的关于顶点 Folkman 数的递推不等式，特别改进了当 $p \geq 5$ 时 $F(2,2,p;p+1)$ 和 $F(3,p;p+1)$ 的上界。通过图连接构造和归纳法，作者推导出比先前的 $4p+2$ 估计更紧的上界，表明 $F(3,p;p+1) \leq \frac{13p}{4} + O(1)$ 且 $F(2,2,p;p+1) \leq \frac{13p}{4} + O(1)$，并且当 $p \equiv 0 \mod 4$ 时，精确值与猜想的线性上界一致。

ABSTRACT

We give a new recurrent inequality on a class of vertex Folkman numbers.

研究动机与目标

• 改进边界情形 $m = p+2$ 下顶点 Folkman 数 $F(2,2,p;p+1)$ 和 $F(3,p;p+1)$ 的已知上界，其中 $m = 1 + \sum (a_i - 1)$。
• 基于将最大团大小分解为较小整数之和，建立 $F(a_1,\dots,a_r; a_r+1)$ 的一般递推不等式。
• 改进这些 Folkman 数的渐近上界，将先前的 $4p+2$ 估计降低至更紧的 $\sim 13p/4$ 上界。
• 研究 $F(2,2,p;p+1) = F(3,p;p+1)$ 是否对所有 $p$ 成立，或是否存在反例。

提出的方法

• 提出一种基于图连接运算的递推不等式：若 $G_1 \rightarrow (a_1,\dots,a_{i-1},b_i,a_{i+1},\dots,a_r)$ 且 $G_2 \rightarrow (a_1,\dots,a_{i-1},b_j,a_{i+1},\dots,a_r)$，则 $G_1 + G_2 \rightarrow (a_1,\dots,a_{i-1},b_i + b_j,a_{i+1},\dots,a_r)$。
• 对 $a_r = b_1 + \cdots + b_s$ 的分解中加数个数进行归纳，其中 $b_i \geq a_{r-1}$，推导出主不等式 $F(a_1,\dots,a_r; a_r+1) \leq \sum_{i=1}^s F(a_1,\dots,a_{r-1},b_i; b_i+1)$。
• 利用已知的精确值：$F(3,4;5) = 13$ 和 $F(2,2,4;5) = 13$，作为递推的锚点，并计算更大 $p$ 的上界。
• 通过将 $p = 4k + l$ 表示，将 $p$ 分解为 $k-1$ 个 4 的副本和余数 $l$，将递推应用于 $F(3,p;p+1)$ 和 $F(2,2,p;p+1)$，并求和对应的 Folkman 数。
• 根据 $p \mod 4$ 得到分段线性上界，得出 $F(3,p;p+1) \leq \frac{13p + c}{4}$，其中 $c \in \{0,23,26,29\}$，类似地，$F(2,2,p;p+1)$ 的上界为 $c \in \{0,23,10,21\}$。
• 提出猜想：当 $p \geq 4$ 时，$\frac{13p}{4}$ 的上界是紧的，并证明若该猜想对 $p=5,6,7$ 成立，则通过递推和已知基例，对所有 $p \geq 4$ 成立。

实验结果

研究问题

• RQ1 能否将 $F(3,p;p+1)$ 的上界改进至超过已知的 $4p+2$ 估计？
• RQ2 能否通过结构图构造方法，为 $F(2,2,p;p+1)$ 建立更紧的渐近上界？
• RQ3 递推不等式 $F(a_1,\dots,a_r; a_r+1) \leq \sum F(a_1,\dots,a_{r-1},b_i; b_i+1)$ 是否有效且有助于推导更优上界？
• RQ4 $F(2,2,p;p+1) = F(3,p;p+1)$ 是否对所有 $p \geq 4$ 成立，或是否存在反例？
• RQ5 该递推是否可用于证明猜想的上界 $\frac{13p}{4}$ 对所有 $p \geq 4$ 成立？

主要发现

• 本文建立了一种新的递推不等式：$F(a_1,\dots,a_r; a_r+1) \leq \sum_{i=1}^s F(a_1,\dots,a_{r-1},b_i; b_i+1)$，其中 $a_r = b_1 + \cdots + b_s$ 且 $b_i \geq a_{r-1}$。
• 对于 $F(3,p;p+1)$，当 $p \equiv 0 \mod 4$ 时，上界改进为 $\leq \frac{13p}{4}$，当 $p \equiv 3 \mod 4$ 时，上界为 $\leq \frac{13p + 29}{4}$，显著降低了先前的 $4p+2$ 估计。
• 对于 $F(2,2,p;p+1)$，当 $p \equiv 0 \mod 4$ 时，上界改进为 $\leq \frac{13p}{4}$，当 $p \equiv 3 \mod 4$ 时，上界为 $\leq \frac{13p + 21}{4}$，常数项比先前的 $4p+2$ 上界更紧。
• 作者证明：若猜想的上界 $\frac{13p}{4}$ 对 $p=5,6,7$ 成立，则通过递推和已知基例，对所有 $p \geq 4$ 成立。
• 本文确认了 $F(3,4;5) = 13$ 和 $F(2,2,4;5) = 13$，这些值作为递推的基例，对推导出的上界至关重要。
• 本文提出一个开放问题：$F(2,2,p;p+1) = F(3,p;p+1)$ 是否对所有 $p$ 成立？当前结果表明 $F(2,2,p;p+1) \leq F(3,p;p+1)$，但尚未证明等式成立。