Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0510241

Set addition in boxes and the Freiman-Bilu theorem

Ben Green
View original source ↗Read source document ↗Export metadata ↓

Abstract

We show that if A is a large subset of a box in Z^d with dimensions L_1 >= L_2 >= ... >= L_d which are all reasonably large, then |A + A| > 2^{d/48}|A|. By combining this with Chang's quantitative version of Freiman's theorem, we prove a structural result about sets with small sumset. If A is a set of integers with |A + A| <= K|A|, then there is a progression P of dimension d << log K such that |A \cap P| >= \exp(-K^C)max (|A|, |P|). This is closely related to a theorem of Freiman and Bilu, but is quantitatively stronger in certain aspects. [Added Oct 14th: I have temporarily withdrawn this paper, since Tao and I have realised that a much stronger result follows by applying compressions (and the Brunn-Minkowski theorem). This observation was inspired by a paper of Bollobas and Leader which we were previously unaware of. At some point soon this paper will be reinstated to prove just the result that if A is a subset of R^d containing {0,1}^d then |A + A| >= 2^{d/48}|A|, which may (possibly) be of independent interest. Also soon, the joint paper of Tao and I should become available. ]

Explore related subjects

math.NTmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ben Green. 2005-10-14. Set addition in boxes and the Freiman-Bilu theorem. https://arxiv.org/abs/math/0510241

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the Rankin--Selberg convolution of $f$ with itself as a the product of the $p$-adic symmetric square $L$-function of $f$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case.

math.NT↗
arXiv2026

Exceptional poles of archimedean Rankin-Selberg L-functions for irreducible generic representations of GL(n,R)

For irreducible generic representations $π_1$ and $π_2$ of $\operatorname{GL}_n(\mathbb R)$, we prove that the notions of exceptional pole of type $1$ and type $2$ coincide at every level. When both representations are in general position, we use this identification to express the Rankin--Selberg $L$-function $L(s,π_1\timesπ_2)$ in terms of the exceptional $L$-factors attached to the irreducible constituents of their derivatives.

math.NT↗