Some properties of lower level-sets of convolutions
type: Item
instance of: scholarly article
zbMATH Open document ID: 1271.11012
DOI: 10.1017/S0963548312000119
author: Ernie Croot
published in: Combinatorics, Probability and Computing
publication date: 2012-09-04T00:00:00Z
full work available at URL: https://arxiv.org/abs/1108.1578
Mathematics Subject Classification ID: 11B30
zbMATH DE Number: 6076522
zbMATH Keywords: sum set
zbMATH Keywords: Bohr neighbourhood
zbMATH Keywords: abelian groups
MaRDI profile type: Publication
arXiv ID: 1108.1578
cites work: An improved construction of progression-free sets
cites work: A new proof of Szemerédi's theorem for arithmetic progressions of length four
cites work: On triples in arithmetic progression
cites work: On Roth's theorem on progressions
cites work: On Sets of Integers Which Contain No Three Terms in Arithmetical Progression
cites work: On Certain Sets of Integers
cites work: New bounds on cap sets
cites work: On Additive Doubling and Energy
cites work: Construction of a Thin Set with small Fourier Coefficients
cites work: A Szemerédi-type regularity lemma in abelian groups, with applications
cites work: Arithmetic progressions in sumsets
cites work: A probabilistic technique for finding almost-periods of convolutions
OpenAlex ID: W2118895874
title: Some properties of lower level-sets of convolutions
review text: For a finite abelian group \(G\), written additively, there are various conditions on a subset \(A\) that guarantee that \(A+A\) is nearly all of \(G\). The aim of the paper is to investigate conditions on \(A+A\) itself that might guarantee that \(A+A\) is (nearly) all of \(G\). Specifically, the considered conditions are along the lines that \(A+A\) contains a certain (small) set \(S\).NEWLINENEWLINEIn particular, the following result is obtained. Let \(G\) be a finite abelian group of order \(N\), and let \(0 < \theta \leq 1\) and \(\delta, \varepsilon > 0\). Then, there exists a set \(S \subset G\) with NEWLINE\[NEWLINE |S| \ll \varepsilon^{-2} \delta^{-6} \theta^{-10} (\log N - \log ( \delta \theta \varepsilon)), NEWLINE\]NEWLINE such that if \(A \subset G \), \(|A| = \theta_0N \geq \theta N \) satisfies \(1_A \ast 1_A (x) > \delta \theta_0^2 N\) for every \(x \in S\), then \(|A + A |> (1- \varepsilon) N\). (The convolution is the unnormalized convolution.)NEWLINENEWLINEFurthermore, it is then shown that any set whose non-trivial Fourier coefficients are small (in a suitable and precise sense) works for this purpose.NEWLINENEWLINEIn addition, results on the existence of long arithmetic progressions and other structures (Bohr neighborhoods) in level sets of \(1_A \ast 1_A (x)\) are obtained; a level set is a set of the form \(\{ x \in G : 1_A \ast 1_A (x) \leq \gamma |G| \}\) for some parameter \(\gamma\).NEWLINENEWLINEFinally, several conjectures related to this circle of ideas are presented.
reviewed by: Wolfgang A. Schmid
description: scientific article; zbMATH DE number 6076522