The paper is about a basic question in combinatorics: if you pick a set of exactly four integers and add its elements together in all possible ways using exactly h terms (allowing repeats), how many distinct sums can you get? The number of distinct sums is called the sumset cardinality, and it can vary depending on which four integers you choose. The central question is: what is the smallest "spread" (called the diameter, meaning the gap between the largest and smallest elements) that a four-element integer set needs to have in order to be capable of producing every possible sumset size that can occur at all? Knowing this minimum spread is useful because it tells you that you only need to search through sets of bounded size to understand all possible behaviors.
The main result is a clean formula for this minimum diameter. For smaller values of h (the number of terms being added), the answer follows one pattern, and for h of 11 or more it simplifies to (h minus 3) times (h minus 1). The authors prove this formula rigorously for all h of 17 and above using algebraic arguments, and they verify the remaining smaller cases by exhaustive computer search, supported by a theoretical argument that keeps the search feasible by limiting how many essentially different configurations need to be checked.
The proof has two main parts. For the lower bound, the authors show that any four-element set producing a near-maximum number of distinct sums must have its diameter confined to a small range of values, and they explicitly construct sets that achieve the minimum diameter. For the upper bound, they use a geometric argument about the structure of integer relations among the set elements to show that sets with larger diameter can be organized into a few simple types, and then they provide explicit constructions covering all remaining sumset sizes. Together these bounds pinch the minimum diameter down to exactly the stated formula.