[論文レビュー] 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.

研究の動機と目的

• 整数の $k$-要素集合 $A \subset \mathbb{N}$ 全体にわたる $g(k) = \min \{ |A[1]| + |A\{1\}| \}$ の超多項式的成長に関するErd\'osとSzemer\'ediの予想2を解決すること。
• 三角多項式推定を用いる新しい手法を通じて、積集合 $A^2$ が小さいときの和集合 $2A$ のサイズに対する定量的下界を確立すること。
• Pl\
• $\ln g(k)$ の正確な漸近公式を導出し、$k \to \infty$ のときの $g(k)$ の予想された成長率を確認すること。
• 有限集合の乗法的次元の概念を導入・分析し、積集合の構造を制御し、主な推定を支援すること。

提案手法

• $|A^2| < \alpha |A|$ ならば、$A$ が制御されたサイズと乗法的次元の一般化された幾何級数に含まれることを示す、Freimanの定理の精密化を適用する。
• 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|$ のとき成り立つ。
• 上界として、任意の $\varepsilon > 0$ と十分大きな $k$ に対して、$g(k) < k^{(1+\varepsilon) \frac{\ln k}{\ln \ln k}}$ が示され、下界と指数の定数を除いて一致する。
• Ruzsaの精密化の仮定のもとで、下界が $g(k) > k^{(\frac{1}{2} - \varepsilon) \frac{\ln k}{\ln \ln k}}$ に改善され、初期の $\frac{1}{8}$-下界よりも強いものとなった。
• この論文は、有限集合の乗法的次元の概念を導入・発展させ、積集合の構造を制御し、指数和の均一な推定を導出するのに用いられた。