Improved bounds on the postage stamp problem for large numbers of stamps

Abstract

Let $F_h(n)$ denote the minimum cardinality of an additive {\em $h$-fold basis} of $\{1,2,\cdots ,n\}$: a set $S$ such that any integer in $\{1,2,\cdots ,n\}$ can be written as a sum of at most $h$ elements from $S$. While the trivial bounds $h!n\lesssim F_h(n{)}^h\lesssim h^{h}n$ are well-known, comparatively little has been established for $h>2$. In this paper, we make significant improvements to both of the best-known bounds on $F_h(n)$ for sufficiently large $h$. For the lower bound, we use a probabilistic approach along with the Berry-Esseen Theorem to improve upon the best-known asymptotic result due to Yu. We also establish the first nontrivial asymptotic upper bound on $F_h(n)$ by leveraging a construction for additive bases of finite cyclic groups due to Jia and Shen. In particular, we show that given any $\epsilon >0$, for sufficiently large $h$, we have \[ \left(\frac{1}{2}-ε\right)h!\sqrt{2πe} n\; \leq \; F_h(n)^h \; \leq \; \left(\left(\frac{\sqrt{3}}{2}+ε\right)h\right)^h n. \]

There is a gap in the proof of the lower bound which we are working on fixing