Large sumsets from medium-sized subsets

arXiv2206.09366MaRDI QIDQ6402501FDOQ6402501

Authors: Béla Bollobás, Imre Leader, Marius Tiba

Publication date: 19 June 2022

Abstract: The classical Cauchy--Davenport inequality gives a lower bound for the size of the sum of two subsets of

{m a t h b b Z}_{p}

, where

p

is a prime. Our main aim in this paper is to prove a considerable strengthening of this inequality, where we take only a small number of points from each of the two subsets when forming the sum. One of our results is that there is an absolute constant

c > 0

such that if

A

and

B

are subsets of

{m a t h b b Z}_{p}

with

| A | = | B | = n l e p / 3

then there are subsets

A^{'} s u b s e t A

and

B^{'} s u b s e t B

with

| A^{'} | = | B^{'} | l e c s q r t n

such that

| A^{'} + B^{'} | g e 2 n - 1

. In fact, we show that one may take any sizes one likes: as long as

c_{1}

and

c_{2}

satisfy

c_{1} c_{2} g e c n

then we may choose

| A^{'} | = c_{1}

and

| B^{'} | = c_{2}

. We prove related results for general abelian groups.

Mathematics Subject Classification ID

Arithmetic combinatorics; higher degree uniformity (11B30) Inverse problems of additive number theory, including sumsets (11P70)

This page was built for publication: Large sumsets from medium-sized subsets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6402501)