Small complete 3-term progression free sets in cyclic groups and vector spaces

技术摘要：循环群与向量空间中小型完全 3-项等差数列无关集的性质

问题陈述
本文研究了在代数结构（特别是循环群 $\mathbb{Z}_m$ 和有限向量空间 $\mathbb{F}_p^n$）中，确定一个“完全” 3-项等差数列（3-AP）无关集的最小规模的问题。虽然最大规模的 3-AP 无关集是加性组合数学的一个核心主题（例如 Roth 定理、Croot-Lev-Pach、Ellenberg-Gijswijt），但“完全”集合（即无法在不产生 3-AP 的情况下进行扩大的集合）的最小规模代表了其低端的类比。一个简单的计数论证可以确定，这类集合的规模数量级至少是结构基数的平方根。作者研究了在循环群中是否存在大小为 $O(\sqrt{|G|})$ 的集合，以及在向量空间中是否存在大小为 $p^{n/2}$ 的集合，从而探讨这一下界是否紧确。

方法论
作者结合使用了显式组合构造、模约化技术以及有限域上的代数几何方法。

1. 循环群 ($\mathbb{Z}_m$)：

   • 更强的性质： 作者关注的是“完全 (2, -1)-避免”集合。若集合 $A$ 满足 $A \cap (2A \dot{-} A) = \emptyset$（其中 $2A \dot{-} A = \{2a - b : a, b \in A, a \neq b\}$），则称 $A$ 是 (2, -1)-避免的。如果 $G = A \cup (2A \dot{-} A)$，则称该集合是完全的。这一性质比完全 3-AP 无关性质更强，因为它强制要求每一个外部点都是由 $A$ 中的元素构成的以 $A$ 中元素为端点的等差数列的端点，而不是允许该外部点作为中点。
   • R-完全集： 构造依赖于 “R-完全” 集——即在区间 $[0, R]$ 内的整数子集，它们在内部是 (2, -1)-避免的，并且饱和了区间 $[-R, 2R]$。
   • 二进制数字构造： 利用广义二进制数字构造（引理 3.3），作者生成了大小为 $2^n$ 且满足 $S_n$-完全性的集合 $P$。通过仔细选择数字序列 $d_i$，他们确保生成的集合能够覆盖广泛的模数 $m$。
   • 模约化： 引理 3.2 表明，只要 $2R < m \leq 3R + 1$，$\mathbb{Z}$ 中的一个 $R$-完全集就能下降到 $\mathbb{Z}_m$ 中的一个完全 (2, -1)-避免集合。
   • 有限验证： 对于一般构造不适用或完全 (2, -1)-避免集合可能不存在的小模数（$m < 81$），作者通过穷举枚举来确定精确的最小规模。

2. 向量空间 ($\mathbb{F}_p^n$)：

   • 二次型图： 核心构造利用了齐次二次映射 $Q: U \to W$ 的图。具体而言，他们构造了形式为 $A_Q = \{(u, Q(u)) : u \in U\}$ 的集合。
   • 端点-中点完全性： 作者定义了“端点-中点完全”集合，即每一个外部点既可以表示为端点（$x = 2a - b$），也可以表示为由 $A$ 中元素构成的等差数列的中点（$2x = c + d$）。这一性质对于乘积构造至关重要。
   • 子域构造： 他们在扩域 $E = \mathbb{F}_{p^{kL}}$ 和子域 $T = \mathbb{F}_{p^k}$ 上构造了一个二次映射 $Q(x, s) = x^2 - \delta s^2$，其中 $\delta$ 是非平方元。通过使用特征和与 Weil 界，他们证明了该映射是满射且具有平凡核，从而在特定维度 $n_0 = k(2L+1)$ 下得到一个完全 (2, -1)-避免集合。
   • 乘积引理： 为了将结果推广到所有维度 $n$，他们使用了乘积引理（引理 4.2）。如果 $A$ 在一个子空间中是端点-中点完全的，且 $B$ 在剩余坐标中是完全 3-AP 无关的，那么它们的乘积 $A \times B$ 在全空间中是完全 3-AP 无关的。这使得可以通过用较小的集合进行“填充”来覆盖任意的 $n$。

主要贡献与结果

1. 循环群：

   • 定理 1.2： 对于每个整数 $m \geq 1$，存在一个完全 3-AP 无关集 $A \subseteq \mathbb{Z}_m$，其大小满足 $|A| < 2\sqrt{m}$。
   • 针对大 $m$ 的更强结果： 对于 $m \geq 81$，所构造的集合满足更强的完全 (2, -1)-避免性质。
   • 小模数情况： 本文提供了 $m \leq 80$ 时 $a(3\text{-AP}, \mathbb{Z}_m)$ 和 $a(2, -1)(\mathbb{Z}_m)$ 的精确值表，并指出对于某些小模数（例如 $m \in \{2, 5, 6, 8, 17, 18, 19, 20\}$），完全 (2, -1)-避免集合并不存在。

2. 向量空间：

   • 定理 1.3： 对于每个固定的奇素数 $p$ 和 $\epsilon > 0$，存在一个常数 $C_{p,\epsilon}$，使得对于所有 $n \geq 1$：
     $$a(3\text{-AP}, \mathbb{F}_p^n) \leq C_{p,\epsilon} n^{1+\epsilon} p^{n/2} = p^{n/2 + o(n)}$$
   • 该结果解决了向量空间变体中的指数版本问题，即 $p$ 的指数恰好为 $n/2$，在指数项上与下界一致（仅差一个次指数因子）。

意义与主张
本文声称解决了关于完全进展无关集平方根下界紧确性的两个开放问题：

• 循环群： 它确立了对于所有循环群，该下界在绝对常数（具体为 2）范围内是紧确的，并为 $m \geq 81$ 提供了完全 (2, -1)-避免性质的显式构造。
• 向量空间： 它解决了固定奇素数域的指数版本问题，显示最小规模为 $p^{n/2 + o(n)}$。这证实了平凡计数界在指数增长率方面基本上是精确的。

作者指出，虽然循环群结果中的常数因子（2）高于其先前工作中建议的 $3/2$，但该构造是刻意限制在更强的 (2, -1)-避免性质之下的。他们暗示，利用标准 3-AP 完全性（允许外部点作为中点）所提供的额外自由度，可能会得到更小的构造。同样，对于向量空间，是否存在一个独立于 $n$ 和 $p$ 的统一绝对常数，以及在每个维度下是否存在此类界限，仍然是开放的问题。这项工作将这些加性组合数学问题与有限几何（特别是完全帽集和饱和集）联系了起来。