Paper detail

Sets Arising as Minimal Additive Complements in the Integers

A subset $C$ of an abelian group $G$ is a minimal additive complement to $W \subseteq G$ if $C + W = G$ and if $C' + W \neq G$ for any proper subset $C' \subset C$. In this paper, we study which sets of integers arise as minimal additive complements. We confirm a conjecture of Kwon, showing that bounded-below sets with arbitrarily large gaps arise as minimal additive complements. Moreover, our construction shows that any such set belongs to a co-minimal pair, strengthening a result of Biswas and Saha for lacunary sequences. We bound the upper and lower Banach density of syndetic sets that arise as minimal additive complements to finite sets. We provide some necessary conditions for an eventually periodic set to arise as a minimal additive complement and demonstrate that these necessary conditions are also sufficient for certain classes of eventually periodic sets. We conclude with several conjectures and questions concerning the structure of minimal additive complements.