Large sum-free sets in finite vector spaces II

1. 研究背景与问题定义

核心概念：

• 和自由集 (Sum-free set)： 阿贝尔群 $G$ 的子集 $A$ 称为和自由的，如果方程 $x + y = z$ 在 $A$ 中无解（即 $(A+A) \cap A = \emptyset$）。
• 最大和自由集大小 $sf_0(G)$： 群 $G$ 中和自由子集的最大基数。
• 次大和自由集大小 $sf_1(G)$： 定义为不包含在任何最大和自由集（即 $sf_0(G)$ 对应的集合）中的和自由集的最大基数。

研究现状：

• 对于二元向量空间 $\mathbb{F}_2^n$ 和三元向量空间 $\mathbb{F}_3^n$，$sf_1$ 的值及其极值结构已被完全确定。
• 对于素数 $p \ge 7$ 的 $\mathbb{F}_p^n$，该问题也已解决。
• 遗留问题： 对于 $p=5$ 的情况，即 $\mathbb{F}_5^n$，$sf_1(\mathbb{F}_5^n)$ 的确切值及其极值结构分类是最后未解决的案例。
• 已知 $sf_0(\mathbb{F}_5^n) = 2 \cdot 5^{n-1}$，且最大和自由集由形如 $H \cup (-H)$ 的集合构成（其中 $H$ 是不含原点的仿射超平面）。这类集合被称为正规 (normal) 集合。
• 目标： 确定 $\mathbb{F}_5^n$ 中非正规和自由集的最大大小 $sf_1(\mathbb{F}_5^n)$，并分类所有达到该大小的集合。

2. 主要结果 (Main Results)

论文证明了以下核心定理（Theorem 1.3）：

对于任意 $n \ge 3$：

1. 数值结果： $sf_1(\mathbb{F}_5^n) = 28 \cdot 5^{n-3}$。
2. 结构分类： 任何大小 $|A| \ge 28 \cdot 5^{n-3}$ 的和自由集 $A \subset \mathbb{F}_5^n$，要么：
   • 是正规的（即包含在某个 $H \cup (-H)$ 中）；
   • 或者是VL-集 (VL-set)。

VL-集的定义：
VL-集是 $\mathbb{F}_5^n$ 中同构于 $\Lambda \times \mathbb{F}_5^{n-3}$ 的集合，其中 $\Lambda \subset \mathbb{F}_5^3$ 是由 Vsevolod Lev 和 Leo Versteegen 发现的一个特定的大小为 28 的和自由集。
$\Lambda$ 的具体构造为：
$$\Lambda = \{(1, 0), (-1, 0), (0, 1), (0, -1)\} \times \mathbb{F}_5 \cup \{ \text{8 个特定的三维点} \}$$
（注：原文定义中 $\Lambda$ 包含一个二维平面上的十字形结构扩展以及另外 8 个离散点，总共 $4 \times 5 + 8 = 28$ 个点）。

此外，论文还完全分类了 $n=2$ 的情况（Theorem 1.1），指出 $\mathbb{F}_5^2$ 中大小为 5 的非正规和自由集只有两种同构类。

3. 方法论 (Methodology)

作者采用了一种结合组合结构分析与代数不等式（特别是 Kneser 定理）的混合方法。证明过程分为三个主要步骤，通过降维和函数分析来推导结构。

3.1 核心工具：Kneser 定理的应用

利用 Kneser 定理（关于阿贝尔群中子集和的大小下界）：
$$|A+B| \ge |A+K| + |B+K| - |K|$$
其中 $K$ 是 $A+B$ 的对称群。作者利用该定理推导出关于和自由集密度的强约束，特别是当集合大小接近 $2 \cdot 5^{n-1}$ 时，集合必须具有特定的线性结构（如被超平面覆盖）。

3.2 降维与“鱼形函数” (Fishy Functions)

这是论文最独特的技术贡献。作者定义了一个从 $\mathbb{F}_5^n$ 到 $\mathbb{F}_5^2$ 的线性满射 $\phi$，并定义关联函数 $f_A^\phi: \mathbb{F}_5^2 \to \mathbb{R}_{\ge 0}$：
$$f_A^\phi(x) = \frac{|A \cap \phi^{-1}(x)|}{5^{n-3}}$$
该函数描述了和自由集 $A$ 在低维空间纤维上的密度分布。

作者定义了**“鱼形函数” (Fishy functions)**，满足以下性质：

1. 范数约束： $L_1$ 范数 $\ge 28$，$L_\infty$ 范数 $\le 5$。
2. 奇偶性约束： 任何子集的和不能是半奇数（half of an odd integer）。
3. 和约束： 对于 $P, Q, P+\epsilon Q$ 均在支撑集内，满足 $f(P) + f(Q) + \lfloor f(P+\epsilon Q) \rfloor \le 6$。

关键命题 (Proposition 2.6)：
如果一个鱼形函数的 $L_\infty$ 范数大于 3，且其支撑集不能被三条平行线覆盖，那么该函数在自同构下必须同构于三个特定的函数之一（记为 $f_\alpha, f_\beta, f_\gamma$）。

• 这三个函数对应了 $\mathbb{F}_5^3$ 中特定的极值结构。
• 其中 $f_\alpha$ 和 $f_\beta$ 对应于 VL-集的结构，而 $f_\gamma$ 在后续分析中被证明是不可能的（导致矛盾）。

3.3 可接受函数 (Acceptable Functions) 与归纳法

对于 $n \ge 3$，作者引入了“可接受函数”的概念，将 $\mathbb{F}_5^3$ 上的函数性质与 $\mathbb{F}_5^n$ 的结构联系起来。

• 通过归纳法，假设 $n-1$ 维的情况成立。
• 利用平均论证（Averaging argument）找到一个二维子空间，使得 $A$ 在其上的投影满足特定条件。
• 利用 Proposition 2.9（关于可接受函数的结果），证明如果 $A$ 不是正规的，则必须存在一条直线 $L$ 使得 $f(L) > 3$。
• 结合 Proposition 2.7 和 Proposition 2.10，如果存在一个余维数为 2 的仿射子空间 $T$ 使得 $|A \cap T|$ 足够大，则 $A$ 必须是正规的或 VL-集。

4. 关键贡献 (Key Contributions)

1. 解决了最后未决的素数情形： 完成了对所有素数 $p$ 的 $\mathbb{F}_p^n$ 中 $sf_1$ 值的确定。此前 $p=5$ 是唯一未解决的素数。
2. 精确的极值构造： 确定了 $sf_1(\mathbb{F}_5^n) = 28 \cdot 5^{n-3}$，并给出了达到该值的唯一非正规结构（VL-集）。
3. 引入了“鱼形函数”分析框架： 将高维集合的结构问题转化为低维（$\mathbb{F}_5^2$）上的函数极值问题。这种方法通过 Kneser 定理和精细的计数论证，将复杂的组合结构分类简化为对少数几个特定函数（$f_\alpha, f_\beta, f_\gamma$）的分析。
4. 分类了 $n=2$ 和 $n=3$ 的基础情形： 为高维归纳提供了坚实的基础。

5. 意义与影响 (Significance)

• 组合数论的完整性： 该工作填补了有限阿贝尔群中和自由集理论的一个重要空白，使得关于 $sf_1(\mathbb{F}_p^n)$ 的理论在素数域上完全统一。
• 方法论创新： 将 Kneser 定理与函数分析（特别是通过投影定义的密度函数）相结合的方法，为处理高维向量空间中的极值组合问题提供了新的范式。这种“降维 + 函数分类”的策略可能适用于其他类似的极值问题。
• 结构刚性： 结果表明，在 $\mathbb{F}_5^n$ 中，一旦和自由集的大小超过 $28 \cdot 5^{n-3}$，其结构就受到极强的限制（要么非常规则/正规，要么具有特定的 VL-集结构）。这揭示了有限域上加法组合结构的刚性。
• 未来方向： 论文在结尾提到了 $sf_k(G)$ 的层级结构（$k \ge 2$）以及非周期和自由集（aperiodic sum-free sets）的问题，特别是 $p=5$ 时的 $sf_2(\mathbb{F}_5^n)$ 和 $t(\mathbb{F}_5^n)$ 仍是开放问题，为后续研究指明了方向。

总结

Reiher 和 Zotova 通过引入精细的“鱼形函数”分类和 Kneser 定理的深层应用，成功证明了 $\mathbb{F}_5^n$ 中非正规和自由集的最大规模为 $28 \cdot 5^{n-3}$，并完全刻画了达到该规模的集合结构。这项工作不仅解决了一个具体的开放问题，还展示了处理高维加法组合极值问题的强大新工具。