Abstract:Let $C$ and $W$ be two sets of integers. If $C+W=\mathbb{Z}$, then $C$ is called an additive complement to $W$. We further call $C$ a minimal additive complement to $W$ if no proper subset of $C$ is an additive complement to $W$. Answering a problem of Nathanson in part, we give sufficient conditions of $W$ which has no minimal additive complements. Our result also extends the prior result of Chen and Yang.
What problem does this paper attempt to address?
This paper attempts to solve a problem about non - minimal additive complements proposed by Nathanson. Specifically, the paper explores whether there exists an integer set \(W\) without a minimal additive complement under certain conditions.
### Background and Problem Description
In 2011, Nathanson proposed an open problem (Problem 1), that is, for an infinite integer set \(W\), does there necessarily exist a minimal additive complement? Or does there exist an additive complement that does not contain any minimal additive complement?
### Main Contributions of the Paper
The authors Chen Shiqiang and Ding Yuchen partially answered Nathanson's question and gave sufficient conditions for \(W\) to have no minimal additive complement. Specifically, they proved the following theorem:
#### Theorem 1
Let \(W = \{1 = w_1 < w_2 <\cdots\}\) be an integer set, and \(W=\mathbb{Z}\setminus W = \{w_1 < w_2 <\cdots\}\). If there exists a sequence \(i_1 < i_2 <\cdots\) such that:
\[\lim_{t\rightarrow+\infty}(w_{i_{t + 1}}-w_{i_t})=+\infty\]
and:
\[\limsup_{t\rightarrow+\infty}|W\cap(w_{i_t},w_{i_{t+1}})|<+\infty\]
then \(W\) has no minimal additive complement.
### Explanation and Examples
To illustrate the advantage of this theorem, the authors give an example:
Let \(W = \{1\}\cup\bigcup_{k = 4}^{\infty}[2^k+9,2^{k + 1})\), then:
\[W=\mathbb{Z}\setminus W=\bigcup_{k = 1}^{\infty}[2^k,2^k+8]\]
Obviously:
\[\limsup_{i\rightarrow+\infty}(w_{i+1}-w_i)\leq10\quad\text{and}\quad\liminf_{i\rightarrow+\infty}(w_{i+1}-w_i)\leq1\]
Therefore, according to the previous theorem (Theorem B), it cannot be determined whether \(W\) has a minimal additive complement. However, according to the new Theorem 1:
\[\lim_{k\rightarrow\infty}(2^{k+1}-(2^k+8))=+\infty\]
and:
\[\lim_{k\rightarrow\infty}|W\cap(2^k+8,2^{k+1}+8)| = 8\]
Therefore, it can be concluded that \(W\) has no minimal additive complement.
### Summary
This paper solves the problem about non - minimal additive complements proposed by Nathanson by introducing new conditions and provides a deeper understanding in this field.