English

A Local Classification of Four-Element Multiple Sumsets

Combinatorics 2026-07-21 v1 Number Theory

Abstract

For a finite set AZA\subset\mathbb{Z}, write hAhA for its hh-fold sumset, and let R(h,k)={hA:AZ, A=k}. R(h,k)=\{|hA|:A\subset\mathbb{Z},\ |A|=k\}. We determine the part of R(h,4)R(h,4) lying between 4h+24h+2 and 6h46h-4: for h=4h=4 the only value is 5h15h-1, while for h5h\geq 5 the only values are 5h15h-1 and 5h+15h+1. This proves Rajagopal's conjectured gap 5hR(h,4)5h\notin R(h,4) for every h4h\geq 4. For h6h\geq 6, it also yields the new missing interval [5h+2,6h4][5h+2,6h-4], which lies outside Rajagopal's general excluded set. Lev's lower bound for the successive growth of multiple sumsets reduces the problem to normalized sets of affine diameter five, of which there are only six. Reflection and four elementary exact sumset computations finish the classification.

Cite

@article{arxiv.2607.18694,
  title  = {A Local Classification of Four-Element Multiple Sumsets},
  author = {Minkyu Jung},
  journal= {arXiv preprint arXiv:2607.18694},
  year   = {2026}
}

Comments

5 pages. Accompanying Python verification script and README included in the source package