Sumsets in Vector Spaces over Finite Fields Original Research Article

We determine explicitly the least possible size of the sumset of two subsetsA, Bsubset of(Z/pZ)Nwith fixed cardinalities, thereby generalizing both Cauchy–Davenportʹs theorem (caseN=1) and Yuzvinskyʹs theorem(casep=2). The solution involves a natural generalization of the well-known Hopf–Stiefel–Pfister function. The corresponding problem for more than two summands is also considered and solved. We then consider restricted sumsets, formed by taking sums of distinct elements only. We determine almost completely the least possible size of the restricted sumset of two subsets in (Z/pZ)Nwith fixed cardinalities. Our result generalizes the recent solution(s) of the Erdimages–Heilbronn conjecture dealing with the restricted sumsets of two equal subsets inZ/pZ.