[论文解读] Quantitative structure of stable sets in finite abelian groups

C. Terry, Jason B. Wolf|arXiv (Cornell University)|May 17, 2018

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

一句话总结

本文为有限阿贝尔群中的k-稳定子集建立了定量算术正则性引理，推广了此前在有限域上向量空间中的结果。通过算术组合学中的技术——特别是受Sisask启发的精细几乎周期性论证——作者证明此类集合相对于有界秩和宽度的Bohr集是均匀分布的，从而实现了具有显式定量界限的高效正则性。

ABSTRACT

We prove an arithmetic regularity lemma for stable subsets of finite abelian groups, generalising our previous result for high-dimensional vector spaces over finite fields of prime order. A qualitative version of this generalisation was recently obtained by the first author in joint work with Conant and Pillay, using model-theoretic techniques. In contrast, the approach in the present paper is highly quantitative and relies on several key ingredients from arithmetic combinatorics.

研究动机与目标

• 为有限阿贝尔群中稳定集的定性算术正则性引理提供一个定量版本，扩展先前在有限域上向量空间中的结果。
• 用基于算术组合学的定量、解析方法取代早期工作的模型论方法。
• 建立对正则化有限阿贝尔群中稳定集的Bohr集与子群的大小和结构的显式界限。
• 证明在素数阶循环群中的稳定集本质上是平凡的，从而为它们在算术组合学中的困难性提供模型论依据。
• 推导出一个结构推论，表明稳定集近似为低余维子群的陪集的并集。

提出的方法

• 使用Croot-Sisask几乎周期性技术的精细版本，证明稳定集在具有受控参数的Bohr集的某个平移上是稠密的。
• 应用Bourgain风格的“Bourgain化”过程，将有限域上向量空间中的论证转移到一般有限阿贝尔群中。
• 构建一个模型论的不稳定树以揭示正则性失败的情况，使用[19]和[12]中论证的近似版本。
• 证明：对于有界秩和至少为ǫ^{O_k(1)}的宽度，Bohr集可正则化k-稳定集，且正则性对所有陪集均成立。
• 通过重新应用树论证，将Bohr集正则性结果提升为子群正则性版本，得到一个指数至多为exp(µ^{-O_k(1)})的子群。
• 在有限阿贝尔群上的傅里叶分析中使用反演公式和Parseval恒等式，控制傅里叶系数以支持正则性论证。

实验结果

研究问题

• RQ1 有限阿贝尔群中稳定集的定性算术正则性引理能否被转化为具有显式界限的定量形式？
• RQ2 在有限阿贝尔群中，稳定性、Bohr集参数与正则性之间的最优定量关系是什么？
• RQ3 在素数阶循环群中的稳定集在多大程度上类似于子群陪集的并集？
• RQ4 模型论的不稳定树论证能否被调整以在算术正则性背景下产生定量界限？
• RQ5 是否可能在高效定量控制下，将Bohr集正则性升级为子群正则性？

主要发现

• 对任意k ≥ 2和0 < ǫ < 1，存在N₀ = N₀(k, ǫ)，使得当|G| ≥ N₀且A ⊆ G为k-稳定集时，存在一个宽度至少为ǫ^{O_k(1)}、秩至多为ǫ^{-O_k(1)}的Bohr集B，使得对所有g ∈ G，要么|(A − g) ∩ B| ≤ ǫ|B|，要么|B ackslash (A − g)| ≤ ǫ|B|。
• 正则化Bohr集的秩至多为ǫ^{-O_k(1)}，宽度至少为ǫ^{O_k(1)}，且该Bohr集在G中的指数有界于exp(ǫ^{-O_k(1)})。
• 一个结构推论表明：任意k-稳定集A ⊆ G在对称差下与一个指数至多为exp(ǫ^{-O_k(1)})的子群H ≤ G的陪集并集的密度相差不超过ǫ。
• 本文证明了在素数阶循环群中几乎不存在非平凡的稳定集，为它们在算术组合学中的困难性提供了模型论解释。
• 主要结果被强化为子群正则性版本：对任意µ ∈ (0,1)，存在一个指数至多为exp(µ^{-O_k(1)})的子群H ≤ G，使得对所有g ∈ G，要么|(A − g) ∩ H| ≤ µ|H|，要么|H ackslash (A − g)| ≤ µ|H|。
• 该证明依赖于对不稳定树论证的重新实现，并辅以Sisask [17] 的精细几乎周期性结果，避免了对模型论局部化方法的依赖。