[论文解读] A proof of the Erd\H{o}s sumset conjecture

Joel Moreira, Florian K. Richter+1 more|arXiv (Cornell University)|Mar 1, 2018

Limits and Structures in Graph Theory参考文献 23被引用 1

一句话总结

本文通过证明每个具有正密度的集合 $A \subset \mathbb{N}$ 都包含某个无限子集 $B,C \subset \mathbb{N}$ 的和集 $B+C$，从而解决了 Erd\'s 和集猜想。证明依赖于将有界序列分解为结构化与伪随机分量的创新方法，并将其推广至可数阿梅兰群。

ABSTRACT

In this paper we show that every set $A \subset \mathbb{N}$ with positive density contains $B+C$ for some pair $B,C$ of infinite subsets of $\mathbb{N}$, settling a conjecture of Erd\H{o}s. The proof features two different decompositions of an arbitrary bounded sequence into a structured component and a pseudo-random component. Our methods are quite general, allowing us to prove a version of this conjecture for countable amenable groups.

研究动机与目标

• 解决保罗·埃尔德什关于正密度集合中和集的长期悬而未决的猜想。
• 证明每个满足正上密度的集合 $A \subset \mathbb{N}$ 都包含某个无限子集 $B,C \subset \mathbb{N}$ 的和集 $B+C$。
• 发展一种适用于可数阿梅兰群的一般性方法，将结果推广至 $\mathbb{N}$ 之外的范围。

提出的方法

• 利用调和分析技术，将任意有界序列分解为结构化分量与伪随机分量。
• 应用 PET（多项式轨道理论）框架的变体，以控制序列的结构化部分。
• 采用和集条件的对偶形式，将问题转化为估计某些平均算子。
• 基于结构化分量采用密度递增论证，以定位所需的和集 $B+C$。
• 利用可数阿梅兰群的代数与动力系统结构，将结果推广至 $\mathbb{N}$ 之外的范围。

实验结果

研究问题

• RQ1 每个满足正上密度的集合 $A \subset \mathbb{N}$ 是否都包含某个无限子集 $B,C \subset \mathbb{N}$ 的和集 $B+C$？
• RQ2 和集猜想能否推广至可数阿梅兰群？
• RQ3 何种序列的结构分解使得在稠密集中证明和集包含关系成为可能？

主要发现

• 每个满足正上密度的集合 $A \subset \mathbb{N}$ 都包含某个无限子集 $B,C \subset \mathbb{N}$ 的和集 $B+C$，从而证实了 Erd\'s 的猜想。
• 证明建立了一种有界序列的新分解方法，将其划分为结构化与伪随机部分，这是论证的核心。
• 该方法可推广至可数阿梅兰群，表明在更广泛的情形下和集猜想依然成立。
• 结构化分量捕捉了关键的算术模式，而伪随机分量在平均范数下可忽略不计。