Sándor Z. Kiss,Eszter Rozgonyi,Csaba Sándor
Abstract:We say the sets of nonnegative integers A and B are additive complements if their sum contains all sufficiently large integers. In this paper we prove a conjecture of Chen and Fang about additive complement of a finite set.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a conjecture about the additive complements of finite sets. Specifically, the authors proved that the conjecture about the additive complements of finite sets proposed by Chen and Fang holds when the number of elements is a prime number, and disproved this conjecture when the number of elements is a composite number.
### Problem Background
In additive number theory, two sets of non - negative integers \(A\) and \(B\) are called **additive complements** if their sum contains all sufficiently large integers. That is, for any sufficiently large integer \(n\), there exist \(a\in A\) and \(b\in B\) such that \(a + b=n\). Expressed in mathematical symbols:
\[R_{A + B}(n)\geq1\quad\text{for}\quad n\geq n_0\]
where \(R_{A + B}(n)\) represents the number of solutions of the equation \(a + b=n\), \(a\in A\) and \(b\in B\).
### Conjecture Content
Chen and Fang proposed a conjecture (Conjecture 1.5), that is, if the set \(A\) of non - negative integers does not have the following form:
\[A=\{a+im^s + k_im^{s + 1}:i = 0,\ldots,m - 1\}\]
where \(a,m>0\), \(s\geq0\), and \(k_i\) are integers, then for any additive complement \(B\) of \(A\), we have:
\[\lim_{x\rightarrow+\infty}(A(x)B(x)-x)=+\infty\]
### Main Contributions of the Paper
1. **Proof for the Case of Prime Number of Elements**: The authors proved that when the number of elements of the set \(A\) is a prime number \(p\), the above conjecture holds. That is, if \(\vert A\vert=p\) and \(A\) does not have the above - mentioned specific form, then for any additive complement \(B\) of \(A\), we have:
\[\lim_{x\rightarrow+\infty}(A(x)B(x)-x)=+\infty\]
2. **Disproof for the Case of Composite Number of Elements**: The authors also proved that when the number of elements of the set \(A\) is a composite number \(n\), the above conjecture does not hold. That is, for any composite number \(n>0\), there exist sets \(A\) and \(B\) such that \(\vert A\vert=n\), \(B\) is an additive complement of \(A\), and \(A\) does not have the above - mentioned specific form, but:
\[A(x)B(x)-x = O(1)\]
### Conclusion
Through strict mathematical proofs, this paper solves part of Chen and Fang's conjecture about the additive complements of finite sets and provides counter - examples to show that this conjecture does not hold in some cases. This provides an important theoretical basis for further research on the properties of additive complements.