On additive complements in the complement of a set of natural numbers

Abstract

Let $A$ be a set of natural numbers. A set $B$, a set of natural numbers, is an additive complement of the set $A$ if all sufficiently large natural numbers can be represented in the form $x+y$, where $x\in A$ and $y\in B$. Erdős proposed a conjecture that every infinite set of natural numbers has a sparse additive complement, and in 1954, Lorentz proved this conjecture. This article describes the existence or non-existence of those additive complements of the set $A$ that is a subset of the complement of $A$. We provide a ratio test to verify the existence of such additive complements. In precise, we prove that if $A=\{a_i:i\in \mathbb{N}\}$ is a set of natural numbers such that $a_i<a_{i+1}$ for $i\in \mathbb{N}$ and ${\mathrm{liminf}}_{n\to \infty }(a_{n+1}/a_n)>1$, then there exists a set $B\subset \mathbb{N}\setminus A$ such that $B$ is a sparse additive complement of the set $A$.

11 pages

References in corpus (1)

• On the density of sumsets, II