[论文解读] Zero-sum Generalized Schur Numbers

Aaron Robertson|arXiv (Cornell University)|Feb 9, 2018

Advanced Combinatorial Mathematics参考文献 10被引用 3

一句话总结

本文引入了零和广义Schur数 $ S_{/mathfrak{z}}(k;r) $，定义为最小整数 $ n $，使得 $[1,n]$ 的任意 $ r $-染色均包含一个满足 $ \sum_{i=1}^{k-1}x_i = x_k $ 且颜色和在模 $ r $ 意义下为 0 的解。作者建立了公式、下界以及特定 $ k $ 和 $ r $ 的精确值，特别证明了当 $ k \geq 6 $ 时 $ S_{/mathfrak{z}}(k;3) = 3k-3 $，并证明了 $ S_{/mathfrak{z}}(k;k) \geq 2(k^2 - k - 1) $，将经典Schur理论拓展至零和Ramsey型设定。

ABSTRACT

Let $r$ and $k$ be positive integers with $r \mid k$. Denote by $S_{\mathrm{\mathfrak{z}}}(k;r)$ the minimum integer $n$ such that every coloring $χ:[1,n] ightarrow \{0,1,\dots,r-1\}$ admits a solution to $\sum_{i=1}^{k-1} x_i = x_k$ with $\sum_{i=1}^{k} χ(x_i) \equiv 0 \,(\mathrm{mod }\,r)$. We give some formulas and lower bounds for various instances.

研究动机与目标

• 定义并研究广义Schur数的零和变体，其中 $ \sum_{i=1}^{k-1}x_i = x_k $ 的解必须满足颜色和在模 $ r $ 意义下为 0。
• 确定 $ S_{/mathfrak{z}}(k;r) $ 的精确值与下界，尤其在 $ r \mid k $ 时，将经典Schur与Ramsey理论加以拓展。
• 研究在受限染色下 $ r $-零和解的存在性与结构，特别是针对较小的 $ k $ 与 $ r $。
• 探讨零和约束与刚性算术结构（如 $ \sum_{i=1}^{k-1}x_i = x_k $ 的解）之间的关系。
• 提出关于 $ S_{/mathfrak{z}}(k;r) $ 渐近行为与精确值的开放问题，尤其针对 $ r = k $ 的情形。

提出的方法

• 本文将 $ S_{/mathfrak{z}}(k;r) $ 定义为最小的 $ n $，使得任意 $ r $-染色的 $[1,n]$ 均包含 $ \sum_{i=1}^{k-1}x_i = x_k $ 的 $ r $-零和解。
• 采用在Fortran中实现的递归回溯算法（ZSGS.f 与 ZSGS2.f）计算小范围 $ k $ 与 $ r $ 的 $ S_{/mathfrak{z}}(k;r) $ 与 $ S_{/mathfrak{z,2}}(k;r) $。
• 通过自定义子程序高效枚举满足 $ x_1 \leq \cdots \leq x_{k-1} $ 的 $ \sum_{i=1}^{k-1}x_i = t $ 的解，降低计算复杂度。
• 利用模 $ r $ 的同余运算与分类讨论，特别是针对 $ r = 4 $，证明在某些染色下零和解不存在。
• 基于奇偶性与模约束的结构性论证，表明某些染色可避免 $ r $-零和解，从而获得下界。
• 通过一种特定的 $ k $-染色（因奇偶性不匹配而避免 $ k $-零和解）证明 $ S_{/mathfrak{z}}(k;k) \geq 2(k^2 - k - 1) $。

实验结果

研究问题

• RQ1 对所有 $ k \geq 6 $，是否成立 $ S_{/mathfrak{z}}(k;3) = 3k - 3 $？
• RQ2 对所有 $ k \geq 8 $，是否成立 $ S_{/mathfrak{z}}(k;4) = 4k - 5 $？
• RQ3 $ S_{/mathfrak{z,2}}(k;4) $ 的精确值是多少？（即模 4 下的双色零和广义Schur数）
• RQ4 是否 $ S_{/mathfrak{z}}(k;k) $ 的渐近阶为 $ k^2 $？
• RQ5 能否在 [10] 的结果之外，对结构化序列表征零和Rado数，特别是针对更广范围？

主要发现

• 当 $ k \geq 6 $ 时，本文基于计算数据与结构分析，提供证据表明 $ S_{/mathfrak{z}}(k;3) = 3k - 3 $。
• 本文证明了当 $ k \geq 8 $ 时 $ S_{/mathfrak{z}}(k;4) \geq 4k - 5 $，但精确值仍待确定。
• 本文确立了 $ S_{/mathfrak{z}}(k;k) \geq 2(k^2 - k - 1) $，表明零和广义Schur数在 $ k $ 上至少以二次方增长。
• 当 $ r = 2 $ 时，$ S_{/mathfrak{z,2}}(k;k) = k^2 - k - 1 $，其与经典Schur数一致，源于单色性要求。
• 本文计算了小范围 $ k $ 与 $ r $ 的 $ S_{/mathfrak{z}}(k;r) $ 精确值，包括 $ S_{/mathfrak{z}}(4;4) = 13 $、$ S_{/mathfrak{z}}(6;3) = 15 $ 与 $ S_{/mathfrak{z}}(10;4) \geq 45 $。
• 本文证明当 $ r \nmid k $ 时 $ S_{/mathfrak{z}}(k;r) = \infty $，因为仅使用颜色 1 的单色染色可避免 $ r $-零和解。