[论文解读] Asymptotic upper bounds on progression-free sets in $\mathbb{Z}_p^n$

Dion Gijswijt|arXiv (Cornell University)|May 18, 2016

Limits and Structures in Graph Theory参考文献 6被引用 3

一句话总结

该论文通过优化的多项式方法，建立了在奇素数 $ p $ 下 $ \bbZ_p^n $ 中无等差数列子集大小的渐近上界 $ O(p^{cn}) $，其中 $ c = 1 - \frac{1}{18/\log p} < 1 $。当 $ p=3 $ 时，该结果给出 $ \bbF_3^n $ 中仿射帽的上界为 $ O(2.84^n) $，优于以往的上界，并在指数范围内与最佳已知下界一致。

ABSTRACT

We show that any subset of $\mathbb{Z}_p^n$ ($p$ an odd prime) without $3$-term arithmetic progression has size $O(p^{cn})$, where $c:=1-\frac{1}{18\log p}&lt;1$. In particular, we find an upper bound of $O(2.84^n)$ on the maximum size of an affine cap in $GF(3)^n$.

研究动机与目标

• 建立 $ \bbZ_p^n $ 中无等差数列子集大小的更紧致的渐近上界，优于早期结果。
• 将 Croot、Lev 和 Pach 的多项式方法扩展至 $ \bbZ_p^n $，特别是对奇素数 $ p $，超越此前仅限于 $ \bbZ_4^n $ 的情况。
• 在 $ p=3 $ 的情形下，对 Meshulam 的 $ O(p^n / n) $ 和 Bateman-Katz 的 $ O(3^n / n^{1+\epsilon}) $ 的界限实现定量改进。
• 推导出形式为 $ O(p^{cn}) $ 的一般上界，其中 $ c < 1 $，表明与平凡的 $ p^n $ 上界相比，指数部分实现了指数级节省。

提出的方法

• 在 $ \bbF_p $ 上使用多元多项式，限制于每个变量的次数不超过 $ p-1 $ 的单项式。
• 应用霍夫丁不等式来估计低次多项式空间 $ L_{n,d} $ 的维数，特别地取 $ d = \frac{1}{3}(p-1)n $。
• 通过 $ f(x+y) $ 的取值引入对称双线性型，利用 $ A \times A $ 矩阵的结构来控制无等差数列集合的大小。
• 构造子空间 $ V = K \cap L $，其中 $ K $ 在和集 $ C = \{a+a \mid a \in A\} $ 上消失，而 $ L $ 是次数不超过 $ \frac{2}{3}(p-1)n $ 的多项式空间，以控制集合 $ A $ 的大小。
• 利用矩阵 $ M_{a,b} = f(a+b) $ 的秩界，通过引理 2 将集合 $ A $ 的大小与低次多项式空间的维数联系起来。
• 采用对偶性与维数计数：$ \dim V \geq |C| - p^{cn} $，并通过在 $ C' \subseteq C $ 上构造一个非零多项式，证明 $ |A| \leq 3p^{cn} $。

实验结果

研究问题

• RQ1 对于奇素数 $ p $，$ \bbZ_p^n $ 中无等差数列子集大小的最佳可能渐近上界是什么？
• RQ2 能否将用于 $ \bbZ_4^n $ 的多项式方法扩展至 $ \bbZ_p^n $（特别是奇素数 $ p $）？其改进效果如何？
• RQ3 在 $ p=3 $ 的情形下，新边界与 Meshulam 和 Bateman-Katz 的先前最优边界相比如何？
• RQ4 是否可以将上界中的指数改进至低于 $ p^n $，并且使得 $ |A| = O(p^{cn}) $ 的最优 $ c $ 值是多少？
• RQ5 在 $ \bbF_3^n $ 中，仿射帽大小的最紧致已知上界是什么？

主要发现

• 对于任意奇素数 $ p $，$ \bbZ_p^n $ 中任意无等差数列子集的大小被限制在 $ O(p^{cn}) $ 内，其中 $ c = 1 - \frac{1}{18\log p} < 1 $，表明相比平凡的 $ p^n $ 上界实现了指数级节省。
• 当 $ p=3 $ 时，上界进一步收紧为 $ O(2.84^n) $，优于 Bateman 和 Katz 提供的先前最优上界 $ O(3^n / n^{1+\epsilon}) $。
• 在 $ \bbF_3^n $ 中，对仿射帽的上界 $ O(2.84^n) $ 与最佳已知下界 $ \Omega(2.2174^n) $ 相差一个常数因子，表明其在渐近意义下极为紧致。
• 该方法依赖于对霍夫丁不等式的精细化应用，以估计低次多项式空间的维数，从而得出指数 $ c $。
• 证明表明，无等差数列集合 $ A $ 满足 $ |A| \leq 3p^{cn} $，等号成立条件通过 $ f(a+b) $ 矩阵的维数计数与秩论证导出。
• 该结果由 Jordan S. Ellenberg 独立获得，两份工作后合并为联合发表，证实了该上界在稳健性与重要性上的显著性。