[论文解读] An improvement to the Kelley-Meka bounds on three-term arithmetic progressions

Thomas F. Bloom, Olof Sisask|arXiv (Cornell University)|Sep 5, 2023

Limits and Structures in Graph Theory被引用 4

一句话总结

本文通过改进Kelley-Meka关于{1,…,N}中无非平凡三元等差数列的子集密度的界，细化了其准周期性论证。该文建立了一个更优的定量界：此类集合的大小至多为exp(−c(log N)^{1/9})N，其中c>0，相较于原始的1/12指数实现了定量上的改进，方法基于加法组合学与Bohr集背景下的改进型自举技术。

ABSTRACT

In a recent breakthrough Kelley and Meka proved a quasipolynomial upper bound for the density of sets of integers without non-trivial three-term arithmetic progressions. We present a simple modification to their method that strengthens their conclusion, in particular proving that if $A\subset\{1,\ldots,N\}$ has no non-trivial three-term arithmetic progressions then \[\lvert A vert \leq \exp(-c(\log N)^{1/9})N\] for some $c>0$.

研究动机与目标

• 改进{1,…,N}中无非平凡三元等差数列的子集大小的Kelley-Meka上界中的定量指数。
• 在Kelley-Meka方法的准周期性自举论证中进行精细化处理，以在对数依赖关系中获得更优的指数。
• 证明改进的方法在整数情形（Z/NZ）与向量空间情形（F_q^n）中均能产生更强的界。
• 为Kelley-Meka框架提供更清晰、更透明的修改方式，在不引入过多技术复杂度的前提下提升指数。
• 将改进的分析方法拓展至相关问题，如A+A+A中长等差数列的存在性，以及仿射子空间中的密度增量。

提出的方法

• 通过在Bohr集背景下强化准周期性的应用，改进Kelley-Meka论证中的自举步骤。
• 在差卷积与卷积范数控制中引入更精细的估计，改善了在秩与余维数上的对数因子依赖关系。
• 将改进的准周期性应用于Bohr集，导出更强的密度增量，其中秩的增长受O(𝒫(α)^4 p^2)控制，参数为p。
• 利用改进的界，证明：若Bohr集的秩为O(𝒫(α)^7)，密度为exp(−O(𝒫(α)^9))|G|，则其包含预期数量的三元等差数列。
• 将该方法应用于模型情形F_q^n，得到仿射子空间中密度增量的余维数界为O(𝒫(α)^5 𝒫(γ)^2)，优于原始Kelley-Meka界中的𝒫(γ)^4。
• 将分析拓展至A+A+A中的长等差数列，证明其长度下界为exp(−O(𝒫(α)^2))N^{Ω(1/𝒫(α)^7)}。

实验结果

研究问题

• RQ1 能否将{1,…,N}中三元等差数列自由集合的Kelley-Meka界中的指数超越1/12？
• RQ2 对准周期性自举步骤的精细化处理，如何影响加法组合学中对数因子的定量依赖关系？
• RQ3 改进的方法在其他情形（如F_q^n或子空间中密度增量问题）中的适用范围有多大？
• RQ4 在改进方法下，A+A+A中等差数列长度的下界最优指数为何？
• RQ5 改进的论证能否拓展至拉姆齐理论设定，如F_2^n的2-着色中单色子空间的存在性？

主要发现

• 本文证明：任意满足无非平凡三元等差数列的子集A ⊆ {1,…,N}，均有|A| ≤ exp(−c(log N)^{1/9})N，其中c>0，相较于原始Kelley-Meka界中的1/12指数实现了改进。
• 在F_q^n的模型情形中，改进的方法得到|A| ≪ q^{n − c n^{1/7}}的界，适用于无非平凡三元等差数列的集合，优于原始界中的1/9指数。
• 改进的准周期性论证使得仿射子空间中密度增量的余维数界为O(𝒫(α)^5 𝒫(γ)^2)，优于原始Kelley-Meka界中的𝒫(γ)^4。
• 对于密度为α的A ⊆ {1,…,N}，其和集A+A+A包含长度至少为exp(−O(𝒫(α)^2))N^{Ω(1/𝒫(α)^7)}的等差数列，优于此前的指数9，现为7。
• Freiman、Halberstam与Ruzsa的构造表明，指数1/𝒫(α)在常数意义下已为最优，表明新界近乎最优。
• 该方法具有鲁棒性，可推广至其他问题，如F_2^n中的拉姆齐理论界，如Hunter与Pohoata对单色子空间的应用所示。