A further investigation on covering systems with odd moduli

技术摘要：关于奇模覆盖系统的进一步研究

问题陈述
本文探讨了“奇覆盖问题”，这是由保罗·埃尔德什（Paul Erdős）于 1950 年提出的数论核心未解问题。奇覆盖系统定义为：一个有限同余式集合，其中每个整数至少满足一个同余式，且所有模数均为大于 1 的不同奇整数。此类系统的存在性尚未得到证明。

近期研究聚焦于该问题的变体，具体考察在保持其他模数为大于 1 的不同奇整数的前提下，特定奇整数 $k$ 作为模数重复出现的次数。令 $t_k$ 表示最小的非负整数，使得存在一个覆盖系统，其中 $k$ 作为模数出现在 $t_k$ 个同余式中，且其余模数均为大于 1 的不同奇整数。若奇覆盖系统存在，则对所有奇数 $k$，必有 $t_k \le 1$。Harrington、Sun 和 Wong 先前的工作为 $t_p$（其中 $p$ 为素数）建立了上界（例如，当 $11 \le p \le 19$ 时，$t_p \le p-4$）。

方法论
作者结合构造性组合数学与模运算，改进了现有 $t_k$ 的上界。

1. 递归构造（定理 2.2）： 本文提出了一种基于现有系统生成具有重复模数的覆盖系统的方法。若存在一个模数 $k$ 重复 $t$ 次的系统，作者展示了如何构造一个系统，使得模数 $km$重复的次数不超过$m(t-1)+1$次（若$\gcd(k,m)=1$，则为$(m-1)(t-1)+1$ 次）。这使得将上界从素数推广到合数成为可能。
2. 树状图记号： 为了呈现复杂的覆盖系统，作者利用并完善了 Harrington、Sun 和 Wong 建立的树状图记号。该记号将模数系统地列为基素数集合子集的乘积，并按特定顺序排序以确保覆盖。
3. 直接构造： 针对特定合数（$9, 15, 21, 25$）和大素数（$p \ge 17$），作者利用树状图提供了覆盖系统的显式构造。这些构造依赖于选择特定的素数$q$（其中$q$ 足够大）以生成必要的同余式。
4. 子集覆盖应用： 本文将重复模数的概念应用于推导特定整数子集的奇覆盖。通过在特定剩余类处构造具有重复模数 $k$ 的覆盖系统，作者证明了这些剩余类的补集可由不同的奇模数覆盖。

主要贡献与结果
本文的主要贡献是改进了各种奇整数 $k$ 的 $t_k$ 已知上界。结果总结如下：

• 合数：
  • $t_9 \le 3$（定理 2.5）
  • $t_{15} \le 4$（定理 2.6）
  • $t_{21} \le 5$（定理 2.7）
  • $t_{25} \le 8$（定理 2.8）
  • 对于 $k=p^2$ 且 $11 \le p \le 13$，$t_k \le p(p-5)$（推论 2.3）。
  • 对于 $k=p^2$ 且 $p \ge 17$，$t_k \le p(p-6)$（定理 2.2 和 2.4）。
• 大素数：
  • 对于任意素数 $p \ge 17$，$t_p \le p-5$（定理 2.4）。这改进了该范围内此前 $p-4$ 的上界。
  • 关键在于，$p \ge 17$ 的构造未将 $p^2$ 用作模数，从而允许递归应用定理 2.2。

在整数子集上的应用
这些结果的一个重要应用是证明了若干特定整数子集的并集具有奇覆盖。利用 $t_9 \le 3$ 的覆盖系统（具体为剩余类 $0, 3, 6 \pmod 9$），作者证明了任何在集合 $S = \{a \in \mathbb{Z} : \text{若 } 3|a \text{ 则 } 9|a\}$ 之外仅包含有限项的整数子集均具有奇覆盖。

因此，本文确立了以下集合（及其并集）具有奇覆盖：

• 两平方数之和
• 两立方数之和
• 强数（Powerful numbers）
• 素数及其幂
• 错排数
• 费马数
• 完全数

意义与局限性
本文声称其意义在于收紧了奇覆盖问题中“重复模数”变体的上界，使研究更接近所有 $k$ 均满足 $t_k=1$ 的阈值。$t_9 \le 3$ 的显式构造尤为显著，因为它们使得覆盖错排数和立方和等复杂组合序列成为可能。

作者对奇覆盖问题的最终解决保持谦逊态度。他们指出，尽管其结果覆盖了许多子集，但尚未证明整个整数集存在奇覆盖系统。此外，他们强调了开放方向，例如 $t_9$ 能否降至 2（这将覆盖贝尔数），或者是否存在针对其他特定剩余类配置（例如三立方数之和）的覆盖系统。该工作被呈现为理解奇模覆盖系统结构约束的向前一步。