On the structure of the h-fold sumsets

Abstract: Let~

A

be a set of nonnegative integers. Let~

(h A)^{(t)}

be the set of all integers in the sumset~

h A

that have at least~

t

representations as a sum of~

h

elements of~

A

. In this paper, we prove that, if~

k g e q 2

, and~

A = l e f t a_{0}, a_{1}, l d o t s, a_{k} i g h t

is a finite set of integers such that~

0 = a_{0} < a_{1} < c d o t s < a_{k}

and

g c d l e f t (a_{1}, a_{2}, l d o t s, a_{k} i g h t) = 1,

then there exist integers ~

c_{t}, d_{t}

and sets~

C_{t} s u b s e t e q [0, c_{t} - 2]

,

D_{t} s u b s e t e q [0, d_{t} - 2]

such that

(h A)^{(t)}=C_{t} cupleft[c_{t}, h a_{k}-d_{t} ight] cupleft(h a_{k-1}-D_{t} ight)

for all~

h g e q s u m_{i = 2}^{k} (t a_{i} - 1) - 1.

This improves a recent result of Nathanson with the bound

h g e q (k - 1) l e f t (t a_{k} - 1 i g h t) a_{k} + 1

.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: On the structure of the \(h\)-fold sumsets