${\mathbf Q}$-independence and the construction of $B_h$-sets of integers and lattice points

技术摘要：$\mathbb{Q}$-独立性与整数及格点 $B_h$-集的构造

问题陈述
本文研究了在加法群整数（$\mathbb{Z}$）和整数格点群（$\mathbb{Z}^d$）中构造有限 $B_h$-集的问题。若一个加法阿贝尔群的子集 $A$ 满足其 $h$ 次和集 $hA$中的每个元素在$h$个来自$A$的元素的和下的表示是唯一的（在置换意义下），则称$A$为$B_h$-集。虽然已知“几乎所有”有限整数集都是$B_h$-集，但显式构造此类集合的研究却非常罕见。本文旨在利用$\mathbb{Q}$-独立性的性质，提供一种简单且系统的构造方法。

方法论
核心方法论依赖于 $\mathbb{Q}$-独立性（在有理数域上的线性无关性）的概念。构造过程分为三个主要阶段：

1. 定义指标集： 作者定义了一个集合 $X_{h,n}$，它由分量之和为 $h$ 的非负整数 $n$-元组组成。该集合参数化了从大小为 $n$ 的集合中选取 $h$ 个元素的所有可能组合。
2. 选择 $\mathbb{Q}$-独立向量： 构造始于一组在 $\mathbb{R}^d$ 中的 $n$ 个 $\mathbb{Q}$-独立向量 $\Theta_n = \{\vec{\theta}_1, \dots, \vec{\theta}_n\}$。这种独立性确保了对于任何不同的向量 $\vec{x}, \vec{y} \in X_{h,n}$，线性组合 $\sum (x_i - y_i)\vec{\theta}_i$ 均不为零。
3. 逼近与离散化： 作者基于 $\vec{\theta}_i$ 向量的线性组合之间的 $\ell_\infty$-范数差异，定义了一个最小分离距离 $\varepsilon_{h,n}$。通过选择正整数 $q$ 和 $m$ 使得 $q > 2hm/\varepsilon_{h,n}$，连续向量 $\vec{\theta}_i$ 被近似为有理向量 $\frac{1}{q}\vec{\theta}_i$，并随后转化为整数格点 $\vec{a}_i \in \mathbb{Z}^d$。坐标 $a_{i,j}$ 的选取满足 $|a_{i,j} - q\theta_{i,j}| \le m$。

主要贡献与结果

• 定理 1（格点）： 本文证明了对于任何一组 $\mathbb{Q}$-独立向量 $\Theta_n \subset \mathbb{R}^d$，都可以构造出 $(2m)^{dn}$ 个不同的格点集 $A_{h,n}(q, m) \subset \mathbb{Z}^d$。只要 $q$ 满足条件 $q > 2hm/\varepsilon_{h,n}$，这些集合保证是 $B_h$-集。文中还提供了这些集合中元素量级的上界：$\|A_{h,n}(q)\|_\infty \le q\|\Theta_n\|_\infty + m$。
• 定理 2（整数）： 作为一维情况（$d=1$）的直接推论，本文证明了相同的构造法同样适用于整数 $B_h$-集。
• 显式示例（Sidon 集）： 本文将一般理论应用于 $B_2$-集（Sidon 集）。作者使用不同素数的平方根（例如 $\{\sqrt{2}, \sqrt{3}, \sqrt{5}, \sqrt{7}\}$）计算了 $\varepsilon_{2,n}$ 的具体值。通过选择适当的整数 $q$ 和 $m=1$，本文展示了如何构造大小为 $n=2, 3, 4$ 的 Sidon 集，并明确列出了生成的整数集。
• 定理 3 ($g$-进位构造)： 本文提出了一个使用 $g$-进位展开构造 Sidon 集的具体方法。如果 $\Theta_n$ 是一组 $\mathbb{Q}$-独立的正实数，且 $a_{i,\ell}$ 定义为 $g^\ell \theta_i$ 的整数部分，那么对于足够大的 $\ell$，集合 $\{a_{1,\ell}, \dots, a_{n,\ell}\}$ 将构成一个 Sidon 集。这建立了 $\mathbb{Q}$-独立性框架与基于数位构造之间的联系。

意义与主张
本文声称提供了一种“简单的 $\mathbb{Q}$-向量空间构造法”来生成有限 $B_h$-集。其意义在于提供了一种显式的、确定性的方法来生成这些集合，这与文献中占据主导地位的概率存在性结果形成了对比。该构造具有灵活性，允许通过改变参数 $q$ 和 $m$，从同一组 $\mathbb{Q}$-独立向量中生成多个不同的 $B_h$-集。

作者谦逊地将这项工作定位为对组合加法数论的贡献，指出虽然规模估计很常见，但显式构造却很少见。论文最后提出了关于主要结果逆命题的三个开放性问题：即对于所有足够大的参数都满足 $B_h$-集性质是否意味着底层的实数集是 $\mathbb{Q}$-独立的，以及是否可以从无限 $\mathbb{Q}$-独立集构造出无限 $B_h$-集。