[论文解读] Energies and structure of additive sets

Ilya D. Shkredov|arXiv (Cornell University)|May 13, 2014

Limits and Structures in Graph Theory参考文献 29被引用 24

一句话总结

本文证明了阿贝尔群中的和集与差集具有较大的 $\varepsilon_3$ 能量，并对表现出 $\varepsilon_k$、$\mathsf{T}_k$ 与 Gowers 范数之间临界关系的集合提供了完整的结构表征。关键贡献在于对具有极端能量比的集合进行了分类，包括形如 $H \dotplus \Lambda$（结构部分加随机部分）、小加倍集合的不相交并集，以及具有受控加倍与能量的大子集的集合。

ABSTRACT

In the paper we prove that any sumset or difference set has large E_3 energy. Also, we give a full description of families of sets having critical relations between some kind of energies such as E_k, T_k and Gowers norms. In particular, we give criteria for a set to be a 1) set of the form H+L, where H+H is small and L has "random structure", 2) set equals a disjoint union of sets H_j, each H_j has small doubling, 3) set having large subset A' with 2A' is equal to a set with small doubling and |A'+A'| \approx |A|^4 / \E(A).

研究动机与目标

• 表征表现出不同类型的加法能量（如 $\mathsf{E}_k$、$\mathsf{T}_k$ 与 Gowers 范数）之间临界关系的加法集合。
• 确定具有极端能量比的集合的结构特性，特别是当 $\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$ 时。
• 对具有临界能量行为的集合提供完整分类，包括具有混合结构与随机成分的集合。
• 将 Balog–Szemerédi–Gowers 与 Bateman–Katz 的结果推广至更高阶能量与一致范数。
• 建立一种从任意集合中提取具有受控能量与加倍特性的大子集的方法。

提出的方法

• 使用迭代算法从给定集合 $A$ 中提取子集 $A'$，使得所有中等大小的子集 $\tilde{A} \subseteq A'$ 满足相对于 $\mathsf{E}_q(A')$ 的 $\mathsf{E}_q(\tilde{A})$ 的下界。
• 应用 Hölder 不等式与柯西-施瓦茨不等式，将能量 $\mathsf{E}_k(A)$ 与加法方程的解数联系起来。
• 采用二元分解与迭代修剪，确保最终子集 $A'$ 在其子结构中保持高能量与一致性。
• 利用 $\beta$-连通性与 $\gamma$-连通性概念，量化子集中能量分布的结构一致性。
• 使用 $\mathsf{T}_4$-能量与 Gowers 一致性范数表征具有混合结构与伪随机行为的集合。
• 应用引理 54 与命题 55，推导出提取子集 $A'$ 的大小与能量的界，明确依赖于初始能量密度 $c = \mathsf{E}_k(A)|A|^{-(k+1)}$。

实验结果

研究问题

• RQ1 哪些结构特性表征满足 $\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$ 的集合，表明 $\mathsf{E}_3$ 与 $\mathsf{E}_2$ 能量之间存在临界关系？
• RQ2 如何对满足 $\mathsf{E}_k$、$\mathsf{T}_k$ 与 Gowers 范数之间临界关系的集合进行完整分类？
• RQ3 在何种条件下，集合可分解为小加倍集合的不相交并集，或表示为 $H \dotplus \Lambda$，其中 $H$ 为结构化部分，$\Lambda$ 为伪随机部分？
• RQ4 满足 $|A'+A'| \approx |A|^4 / \mathsf{E}(A)$ 且 $A'$ 具有小加倍性质的子集 $A' \subseteq A$ 的最大可能大小是多少？
• RQ5 如何迭代地提取一个子集 $A'$，使其在所有中等大小子结构中均具有均匀的高能量？

主要发现

• 任何阿贝尔群中的和集或差集均具有较大的 $\mathsf{E}_3$ 能量，满足 $\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$。
• 当且仅当 $\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$ 时，集合 $A$ 在结构上接近 $H \dotplus \Lambda$（其中 $H+H$ 较小且 $\Lambda$ 为无关联集）。
• 当且仅当 $\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$ 时，集合 $A$ 可分解为若干个具有小加倍性质的集合 $H_j$ 的不相交并集。
• 存在子集 $A' \subseteq A$，满足 $|A'| \geq (1 - 2^{-1}\beta)^s c^{1/2} |A|$，且 $\mathsf{E}_k(A') > (1 - 2^{-1}\beta)^{2s} \mathsf{E}_k(A)$，其中 $c = \mathsf{E}_k(A)|A|^{-(k+1)}$。
• 子集 $A'$ 是 $(k, \beta, \gamma)$-连通的，且 $\gamma \geq 2^{-(2sk + 2k - 2s)} \beta^{2k} (2 - \beta)^{2s(k-1)}$，确保能量分布的一致性。
• 迭代修剪过程在最多 $s \leq \log(1/c) \left(2 \log\left(\frac{2 - \beta}{2 - 2\beta}\right)\right)^{-1}$ 步内终止，从而保证此类子集 $A'$ 的存在性。