Sidon sets with $\Delta$-separated sumsets in additive number theory

技术摘要：加法数论中具有 $\Delta$-分离和集的 Sidon 集

1. 问题陈述与定义
本文研究了构造具有特定和集分离性质的整数子集并对其规模进行界定的问题。设 $A$ 为一个非空整数集，$\Delta$ 为一个正整数。若对于所有不同的 $a, a' \in A$，均满足 $|a - a'| \ge \Delta$，则称集合 $A$ 是 $\Delta$-分离的。

本文推广了经典的 $B_h$ 集概念（其中 $h$ 阶和集中的每个元素都具有唯一的表示形式）。若对于所有 $n$，都有 $r_{A,h}(n) \le 1$（其中 $r_{A,h}(n)$ 计算求和为 $n$ 的 $h$ 元组数量），则称集合 $A$ 为 $B_h$ 集。$B_{h,\Delta}$ 集是指其和集 $hA$是$\Delta$-分离的$B_h$集。具体而言，对于$B_{2,\Delta}$集（即具有$\Delta$-分离和集的 Sidon 集），其条件为：对于任何满足 $\{a, b\} \neq \{c, d\}$ 的 $a, b, c, d \in A$，均有 $|(a+b) - (c+d)| \ge \Delta$。

主要目标是确定 $F_{h,\Delta}(n)$，即包含在整数区间 $\{1, 2, \dots, n\}$ 中的最大 $B_{h,\Delta}$ 集的基数。本文旨在将已知关于经典 $B_h$ 集（即 $\Delta=1$ 时）的结果推广到 $\Delta$-分离的情况，并计算或估计 $F_{h,\Delta}(n)$。

2. 研究方法
本文结合了构造性方法与组合不等式：

• 扩张构造法： 作者利用了集合的 $\Delta$-扩张，定义为 $\Delta^* A = \{ \Delta a : a \in A \}$。引理 2 确立了 $\Delta^* A$ 是 $B_{h,\Delta}$ 集的充分必要条件是 $A$ 是 $B_h$ 集。这使得可以将经典 $B_h$ 集的下界转化为 $B_{h,\Delta}$ 集的下界。
• 素数理论： 为了建立下界，本文依赖于 Bose、Bose-Chowla、Chowla 和 Singer 关于 $q$ 为素数幂时的 $B_h$ 集构造。这些构造结合了 Runbo Li 关于短区间内素数分布的结果（$m - m^\theta < q < m$，其中 $\theta = 0.52$），以确保在区间 $\{1, \dots, n\}$ 内存在合适的集合。
• 组合计数与不等式： 对于上界，本文采用了 Erdős-Turán 论证。它利用在滑动区间 $I_{u,m}$ 内计数对时使用的 Cauchy-Schwarz 不等式。关键步骤见引理 4，该引理证明了集合 $A$ 是 $B_{2,\Delta}$ 集，当且仅当它拥有一个“$\Delta$-分离唯一差集”。这一等价关系使得作者能够限制集合中不同差值的数量。

3. 主要贡献与结果

• $F_{h,\Delta}(n)$ 的下界：
  定理 1 提供了 $\{1, \dots, n\}$ 中最大 $B_{h,\Delta}$ 集大小的下界。对于 $h \ge 2$ 且 $\delta = 0.48$，对于所有足够大的 $n$：
  $$F_{h,\Delta}(n) > \left(\frac{n}{\Delta}\right)^{1/h} + O\left(n^{(1/h) - \delta}\right) + O(1)$$
  推论 1 将此特殊化为 $B_{2,\Delta}$ 集（Sidon 集），表明 $|A'| > (n/\Delta)^{1/2} + O(n^{0.02})$。

• $B_{2,\Delta}$ 集的上界：
  定理 2 确立了包含在 $\{1, \dots, n\}$ 中的 $B_{2,\Delta}$ 集的大小上界（其中 $n \ge \Delta + 2$）：
  $$|A| < \left(\frac{2n}{\Delta}\right)^{1/2} + O(n^{1/4})$$
  该结果将经典的 Erdős-Turán 界（$|A| \le n^{1/2} + O(n^{1/4})$）推广到了 $\Delta$-分离的情况，尽管其前导常数为 $\sqrt{2}$ 而非 $1$。

• 渐近极限：
  推论 2 推导了集合大小与区间缩放比例之间的渐近行为：
  $$1 \le \liminf_{n \to \infty} \frac{F_{2,\Delta}(n)}{\sqrt{n/\Delta}} \le \limsup_{n \to \infty} \frac{F_{2,\Delta}(n)}{\sqrt{n/\Delta}} \le \sqrt{2}$$
  本文指出，即使在经典情况（$\Delta=1$）下，该极限也是未知的。

• 上界常数的精化：
  在“注记”部分，作者承认虽然本文的证明给出了 $\sqrt{2}$ 的常数，但随后由 O'Bryant（通过改编 Linström 的方法）证明了更强的不等式 $|A| < (n/\Delta)^{1/2} + O(n^{1/4})$。这意味着该比例的极限对于所有 $\Delta \ge 1$ 确实为 $1$。

4. 意义与开放问题
本文的意义在于正式定义并分析了 $B_{h,\Delta}$ 集，架起了经典加法数论与具有分离约束的集合之间的桥梁。它成功地将大 $B_h$ 集的构造推广到了 $\Delta$-分离的情境，并提供了这些集合的首个显式上界。

作者提出了几个未来的研究方向：

1. 将已知关于 $B_h[g]$ 集的结果推广到 $B_{h,\Delta}[g]$ 集。
2. 计算所有 $h \ge 2, g \ge 1$ 时 $F_{h,\Delta}[g](n)$ 的精确值。
3. 确定极限 $\lim_{n \to \infty} F_{h,\Delta}[g](n) / (n/\Delta)^{1/h}$ 是否存在。
4. 研究在 $\{1, \dots, n\}$ 中最大规模 $B_{h,\Delta}$ 集的数量及其结构分类。

该工作在声明上保持审慎，呈现了界限和结构性引理，并将精确渐近极限和分类问题的解决留待进一步研究或后续文献（如引用 O'Bryant 对常数的改进所体现的那样）。