[论文解读] Progression-free sets in Z_4^n are exponentially small

Ernie Croot, Vsevolod F. Lev+1 more|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|May 5, 2016

Limits and Structures in Graph Theory参考文献 9被引用 98

一句话总结

作者证明任何 Z_4^n 的无进展子集的大小至多为 4^{γ n}，其中 γ 约为 0.926，通过多项式方法改进了已有界限。

ABSTRACT

We show that for integer $n>0$, any subset $A \subset Z_4^n$ free of three-term arithmetic progressions has size $|A| < 4^{c n}$, with an absolute constant $c \approx 0.926$.

研究动机与目标

• 激发在有限交换群中研究无进展集的兴趣，将 Roth 型问题推广到 Z_4^n 及相关群。
• 在 Z_4^n 中改进无进展子集的最大大小的定量界限，超越以往结果。
• 展示一种新颖方法（多项式方法），避免傅里叶分析密度增量策略。
• 给出基于 rk_4(G) 的一般有限交换群的推论。

提出的方法

• 引入一个多线性多项式引理：若在集合 A 中对所有互异的 a,b 满足 P(a−b)=0 且 deg P ≤ d，则在一个大小约束下 P(0)=0；这导致矛盾，除非 A 较小。
• 使用计数/熵界来控制包含 A 元素的较大 F_n-共集的数量，条件为 |A| > 2 sum_{i≤d/2} binom(n,i)。
• 将归约应用到 Z_4^n，并考虑 F_n，即由 involution 生成的子群，以对 A 进行划分并界定共集计数。
• 使用张量幂技巧将固定 n 的界转化为对所有 n 的界，从而得到所述的指数界 4^{γ n}。
• 作为推论，将 rk_4(G) 与有限交换群上 r_3(G) 的界联系起来。

实验结果

研究问题

• RQ1 在 Z_4^n 中无进展子集的最大大小 r_3(Z_4^n) 是多少？
• RQ2 多项式方法是否能够在偶数阶群中带来相对于傅里叶基密度增量方法的指数级改进？
• RQ3 rk_4(G) 参数如何影响一般有限交换群的 r_3(G)？
• RQ4 在对 A ≤ Z_4^n 的无进展集 |A| ≤ 4^{γ n} 的界中，可实现的显式 γ 是多少？

主要发现

• 他们证明对所有无进展的 A ⊆ Z_4^n，有 |A| ≤ 4^{γ n}，其中 γ ≈ 0.926。
• 他们建立了一个基于多项式的引理，确保在某一大小约束下对所有互异的 a,b 有 P(a−b)=0 即可推出 P(0)=0。
• 他们显示包含 A 多个元素的 F_n-共集数量受到紧密界限，从而得到主要的指数界。
• 推论给出 r_3(G) ≤ 4^{-(1−γ)n}|G|，其中 G 为有限交换群，且 n = rk_4(G)。
• 结果使用多项式方法而非传统的傅里叶/密度增量策略，标志着在此情境下的一个新颖技术。