[论文解读] The Erdős-Szemerédi problem on sum set and product set

Mei-Chu Chang|arXiv (Cornell University)|Feb 17, 2004

Limits and Structures in Graph Theory参考文献 5被引用 4

一句话总结

本文通过建立整数中所有 $k$-元素子集的和集与积集大小之和的渐近增长速率，解决了加法组合数学中的一个关键猜想。作者采用一种新颖的方法，结合Freiman定理、三角多项式估计以及Ruzsa的Pl"unnecke型不等式，证明了 $\ln g(k) \sim \frac{(\ ln k)^2}{\ln \ln k}$，从而证实了Erd\'os-Szemer\'edi关于 $g(k)$ 的超多项式增长的猜想。

ABSTRACT

The basic theme of this paper is the fact that if $A$ is a finite set of integers, then the sum and product sets cannot both be small. A precise formulation of this fact is Conjecture 1 below due to Erd\H os-Szemerédi [E-S]. (see also [El], [T], and [K-T] for related aspects.) Only much weaker results or very special cases of this conjecture are presently known. One approach consists of assuming the sum set $A + A$ small and then deriving that the product set $AA$ is large (using Freiman's structure theorem). (cf [N-T], [Na3].) We follow the reverse route and prove that if $|AA| < c|A|$, then $|A+A| > c^\prime |A|^2$ (see Theorem 1). A quantitative version of this phenomenon combined with Plünnecke type of inequality (due to Ruzsa) permit us to settle completely a related conjecture in [E-S] on the growth in $k$. If $$ g(k) \equiv ext{min}\{|A[1]| + |A\{1\}|\} $$ over all sets $A\subset \Bbb Z$ of cardinality $|A| = k$ and where $A[1]$ (respectively, $A\{1\}$) refers to the simple sum (resp., product) of elements of $A$. (See (0.6), (0.7).) It was conjectured in [E-S] that $g(k)$ grows faster than any power of $k$ for $k o\infty$. We will prove here that $\ell n g(k)\sim\frac{(\ell n k)^2}{\ell n \ell n k}$ (see Theorem 2) which is the main result of this paper.

研究动机与目标

• 解决Erd\'os和Szemer\'edi关于 $g(k) = \min \{ |A[1]| + |A\{1\}| \} $ 在所有 $k$-元素集合 $A \subset \mathbb{N}$ 上的超多项式增长的猜想2。
• 通过一种涉及三角多项式估计的新方法，建立当积集 $A^2$ 较小时和集 $2A$ 大小的定量下界。
• 应用Pl\
• 推导出 $\ln g(k)$ 的精确渐近公式，确认当 $k \to \infty$ 时 $g(k)$ 的猜想增长速率。
• 引入并分析有限集合的乘法维数概念，以控制积集的结构并支持主要估计。

提出的方法

• 应用Freiman定理的改进版本，证明若 $|A^2| < \alpha |A|$，则 $A$ 包含于一个大小和乘法维数受控的广义几何级数中。
• 采用Rudin风格的三角多项式估计，控制指数和 $\left| \sum_{a \in A} e^{2\pi i a x} \right|^{2h}$ 的 $L^{2h}$-范数，从而控制 $hA$ 的大小。
• 引入有限集合乘法维数的概念，以量化积集的结构复杂性，并推导三角和的统一有界性。
• 将定理1中的和集下界与Ruzsa的Pl\
• 利用Laczkovich和Ruzsa关于位似子集数量的结果，以乘法维数和对数因子表示 $A[1]$ 和 $A\{1\}$ 的大小。
• 应用双重计数和对数估计，推导出 $g(k)$ 的最终渐近公式，平衡和集与积集大小的增长。

实验结果

研究问题

• RQ1 所有 $k$-元素子集 $A \subset \mathbb{N}$ 上，$g(k) = \min \{ |A[1]| + |A\{1\}| \} $ 的精确渐近增长速率是什么？
• RQ2 是否可以确认 $g(k)$ 的增长快于 $k$ 的任何多项式，若可以，其确切速率是什么？
• RQ3 当积集 $A^2$ 较小时，和集 $2A$ 的大小如何变化，能否对其进行量化？
• RQ4 整数有限集合的哪些结构性质决定了和集与积集增长之间的相互作用？
• RQ5 集合的乘法维数能否作为工具，用于推导指数和的统一有界性，从而控制和集大小？

主要发现

• 本文证明了 $\ln g(k) \sim \frac{(\ln k)^2}{\ln \ln k}$，这是主要结果，证实了Erd\'os-Szemer\'edi关于 $g(k)$ 的超多项式增长的猜想。
• 建立了定量下界：若 $|A^2| < \alpha |A|$，则 $|2A| > 36^{-\alpha} |A|^2$，表明小积集迫使和集变大。
• 作者推导出一般下界 $|hA| > c_h(\alpha) |A|^h$，其中 $c_h(\alpha) = (2h^2 - h)^{-h\alpha}$，当 $|A^2| < \alpha |A|$ 时成立。
• 上界被证明为 $g(k) < k^{(1+\varepsilon) \frac{\ln k}{\ln \ln k}}$，对任意 $\varepsilon > 0$ 且充分大的 $k$ 成立，与下界在指数常数上一致。
• 在Ruzsa改进假设下，$g(k)$ 的下界被提升至 $g(k) > k^{(\frac{1}{2} - \varepsilon) \frac{\ln k}{\ln \ln k}}$，强于初始的 $\frac{1}{8}$-界。
• 本文引入并发展了有限集合乘法维数的概念，用于控制积集结构，并推导指数和的统一估计。