Additive basis

In additive number theory, an additive basis is a set $S$ of natural numbers with the property that, for some finite number $k$, every natural number can be expressed as a sum of $k$ or fewer elements of $S$. That is, the sumset of $k$ copies of $S$ consists of all natural numbers. The order or degree of an additive basis is the number $k$. When the context of additive number theory is clear, an additive basis may simply be called a basis. An asymptotic additive basis is a set $S$ for which all but finitely many natural numbers can be expressed as a sum of $k$ or fewer elements of $S$.

For example, by Lagrange's four-square theorem, the set of square numbers is an additive basis of order four, and more generally by the Fermat polygonal number theorem the polygonal numbers for $k$-sided polygons form an additive basis of order $k$. Similarly, the solutions to Waring's problem imply that the $k$th powers are an additive basis, although their order is more than $k$. By Vinogradov's theorem, the prime numbers are an asymptotic additive basis of order at most four, and Goldbach's conjecture would imply that their order is three.

The unproven Erdős–Turán conjecture on additive bases states that, for any additive basis of order $k$, the number of representations of the number $n$ as a sum of $k$ elements of the basis tends to infinity in the limit as $n$ goes to infinity. (More precisely, the number of representations has no finite supremum.) The related Erdős–Fuchs theorem states that the number of representations cannot be close to a linear function. The Erdős–Tetali theorem states that, for every $k$, there exists an additive basis of order $k$ whose number of representations of each $n$ is $\Theta (\log n)$.

A theorem of Lev Schnirelmann states that any sequence with positive Schnirelmann density is an asymptotic additive basis. This follows from a stronger theorem of Henry Mann according to which the Schnirelmann density of a sum of two sequences is at least the sum of their Schnirelmann densities.