A polynomial bound in Freiman's theorem.
type: Item
instance of: scholarly article
title: A polynomial bound in Freiman's theorem.
zbMATH Open document ID: 1035.11048
DOI: 10.1215/S0012-7094-02-11331-3
author: Mei-Chu Chang
published in: Duke Mathematical Journal
publication date: 2002-10-27T00:00:00Z
review text: In the fifties, Freiman started to study the sets of integers with the small doubling property. His famous theorem states that, for \(\alpha\) a real number, the sets of integers \(A\) such that \(| A+ A|\leq\alpha| A|\) are ``structured'' in the sense that \(A\) has to be contained in a \(d\)-dimensional arithmetic progression, that is a set of the form \[ P= \Biggl\{p_0+ \sum^d_{i=1} x_i p_i\text{ where }0\leq x_i\leq d_i\Biggr\}, \] that \(A\) fulfills well (by which we mean \(| A|\geq c| P|\) for some \(c > 0\)). The point is that \(d\) and \(c\) are bounded by a function depending only on \(\alpha\). This theorem is included in \textit{G. A. Freiman's} famous book [Foundations of a structural theory of set addition (Russian), Kazan. Gos. Ped. Inst., Elabuzh. Gos. Ped. Inst., Kazan (1966; Zbl 0203.35305)] and its English translation [Translations of Mathematical Monographs, Vol. 37, AMS (1973; Zbl 0271.10044)]. There has been some progress (and new proofs) on Freiman's original result: see \textit{I. Z. Ruzsa} [Acta Math. Hung. 65, 379--388 (1994; Zbl 0816.11008)] and \textit{Y. Bilu} [Structure of sets with small sumset. Structure theory of set addition. Astérisque 258, 77--108 (1999; Zbl 0946.11004)]. In particular, effective estimates on the functions \(d(\alpha)\) and \(c(\alpha)\) were established. In the present paper, improved estimates are proved, namely \(d(\alpha)\leq [\alpha- 1]\) and \(c(\alpha)\geq\exp(-c_0 \alpha^2\log^3\alpha)\) (for some constant \(c_0\)). The bound on \(c(\alpha\)) is a drastic improvement since earlier bounds provided doubly exponential estimates. The proof of this important result combines the -- locally improved -- known proofs of Freiman's theorem (mainly that one of Ruzsa) and new harmonic analysis arguments.
reviewed by: Alain Plagne
Mathematics Subject Classification ID: 11P70
Mathematics Subject Classification ID: 11B13
Mathematics Subject Classification ID: 11B25
zbMATH DE Number: 1820912
zbMATH Keywords: Freiman's theorem
zbMATH Keywords: additive number theory
zbMATH Keywords: structural theorem
Wikidata QID: Q97302495
MaRDI profile type: Publication
cites work: Polynomial extensions of van der Waerden’s and Szemerédi’s theorems
cites work: Q4256473
cites work: Q4256494
cites work: Inequidimensionality of Hilbert schemes
cites work: Q4256493
cites work: On the number of sums and products
cites work: Q3041274
cites work: Q3215325
cites work: Integer Sum Sets Containing Long Arithmetic Progressions
cites work: Ergodic behavior of diagonal measures and a theorem of Szemeredi on arithmetic progressions
cites work: The ergodic theoretical proof of Szemerédi’s theorem
cites work: A new proof of Szemerédi's theorem for arithmetic progressions of length four
cites work: A new proof of Szemerédi's theorem
cites work: Q4256489
cites work: An improved bound on the Minkowski dimension of Besicovitch sets in \(\mathbb{R}^3\)
cites work: Some connections between Falconer's distance set conjecture and sets of Furstenburg type
cites work: Q4895030
cites work: Q4256482
cites work: On Certain Sets of Integers
cites work: Q3265794
cites work: Arithmetic progressions in sumsets
cites work: Generalized arithmetical progressions and sumsets
cites work: Q4256492
cites work: Primitive Recursive Bounds for Van Der Waerden Numbers
cites work: On sets of integers containing k elements in arithmetic progression
cites work: Extremal problems in discrete geometry
cites work: From rotating needles to stability of waves: emerging connections between combinatorics, analysis, and PDE
cites work: Q4250346
full work available at URL: s0012-7094-02-11331-3
OpenAlex ID: W1991135809
description: scientific article; zbMATH DE number 1820912