[论文解读] On large subsets of $F_q^n$ with no three-term arithmetic progression

Jordan S. Ellenberg, Dion Gijswijt|arXiv (Cornell University)|May 30, 2016

Limits and Structures in Graph Theory参考文献 5被引用 18

一句话总结

本文将原始由 Croot、Lev 和 Pach 开发的多项式方法应用于 $\mathbb{F}_q^n$，证明了不含三元等差数列的子集的最大大小被限制在 $c^n$ 范围内，其中 $c < q$，从而解决了加法组合数学中一个长期悬而未决的问题。对于 $q=3$，该文建立了 $o(2.756^n)$ 的指数上界，显著优于以往结果，并最终否定了在 $2.756^n$ 以上存在指数增长的帽集问题。

ABSTRACT

In this note, we show that the method of Croot, Lev, and Pach can be used to bound the size of a subset of $F_q^n$ with no three terms in arithmetic progression by $c^n$ with $c &lt; q$. For $q=3$, the problem of finding the largest subset with no three terms in arithmetic progression is called the `cap problem'. Previously the best known upper bound for the cap problem, due to Bateman and Katz, was $O(3^n / n^{1+ε})$.

研究动机与目标

• 通过建立不含三元等差数列的子集大小的上界，解决 $\mathbb{F}_3^n$ 中的帽问题。
• 将 Croot-Lev-Pach 多项式方法推广至一般有限域 $\mathbb{F}_q^n$（$q$ 为奇数）。
• 证明当 $n \to \infty$ 时，$r_3((\mathbb{Z}/p\mathbb{Z})^n)^{1/n}$ 与 $p$ 的距离保持有界，从而排除了接近 $p^n$ 的指数增长。
• 缩小 $\mathbb{F}_3^n$ 中帽集的最优上界与下界之间的差距，特别是改进了 Bateman 和 Katz 的 $O(3^n/n^{1+\epsilon})$ 结果。

提出的方法

• 通过定义次数不超过 $d$ 且每个变量次数 $\leq q-1$ 的多项式空间 $S_n^d$，将 Croot-Lev-Pach 多项式方法适配至 $\mathbb{F}_q^n$。
• 使用 Croot、Lev 和 Pach 的关键引理的推广版本，对满足 $P(\alpha a + \beta b) = 0$（$a,b \in A$ 且互异）的多项式 $P$（次数 $\leq d$）在集合 $A$ 上非零点的数量进行上界估计。
• 对矩阵 $B_{ab} = P(\alpha a + \beta b)$ 应用秩论证，证明其秩至多为 $2m_{d/2}$，其中 $m_{d/2}$ 是次数为 $d/2$ 的单项式空间的维数。
• 构造一个在 $-\gamma A$ 的补集中消失的多项式 $P$，并利用命题 2 的支集上界，推导出不等式 $|A| \leq 2m_{d/2} + (q^n - m_d)$。
• 通过设定 $d = 2(q-1)n/3$ 优化该上界，得到 $|A| \leq 3m_{(q-1)n/3}$，并利用大偏差理论证明 $m_{(q-1)n/3}/q^n$ 指数衰减。
• 应用 Cramér 定理计算速率函数 $I((q-1)/3)$，证明 $m_{(q-1)n/3} = O(c^n)$（$c < q$），从而得出最终的指数上界。

实验结果

研究问题

• RQ1 Croot-Lev-Pach 多项式方法能否从 $\mathbb{F}_4^n$ 推广至奇数 $q$ 的一般 $\mathbb{F}_q^n$？
• RQ2 在 $\mathbb{F}_3^n$ 中，最大帽集的大小是否被 $c^n$ 限制，其中 $c < 3$？
• RQ3 当 $n$ 增大时，$r_3((\mathbb{Z}/p\mathbb{Z})^n)^{1/n}$ 是否保持与 $p$ 的距离有界，从而排除接近 $p^n$ 的指数增长？
• RQ4 帽集的上界能否超越 Bateman 和 Katz 的 $O(3^n/n^{1+\epsilon})$ 结果？
• RQ5 对于 $\mathbb{F}_3^n$ 中不含三元等差数列的子集 $A$，使得 $|A| = O(c^n)$ 的最佳可能指数底数 $c$ 是多少？

主要发现

• 本文证明了对于任意奇素数幂 $q$，$\mathbb{F}_q^n$ 中不含三元等差数列的子集的最大大小为 $O(c^n)$（$c < q$），从而在指数增长接近 $q^n$ 的情形下，否定性地解决了增长速率问题。
• 当 $q = 3$ 时，该上界被量化为 $|A| = o(2.756^n)$，显著优于此前最佳上界 $O(3^n/n^{1+\epsilon})$。
• 该方法表明 $m_{(q-1)n/3}/q^n$ 指数衰减，衰减速率由大偏差理论中的速率函数 $I((q-1)/3)$ 决定。
• 通过多项式秩论证与支集计数，推导出核心不等式 $|A| \leq 3m_{(q-1)n/3}$，构成指数上界的核心。
• 结果表明当 $n \to \infty$ 时，$r_3((\mathbb{Z}/p\mathbb{Z})^n)^{1/n}$ 与 $p$ 的距离保持有界，意味着不存在大小接近 $p^n$ 的帽集。
• 通过 Cramér 定理中优化问题的解，显式计算出 $q=3$ 时 $c < 2.756$，其中 $e^\theta = (\sqrt{33} - 1)/8$。