Abstract:First we reprove two results in additive number theory due to Dombi and Chen & Wang, respectively, on the number of representations of n as the sum of two odious or evil numbers, using techniques from automata theory and logic. We also use this technique to prove a new result about the numbers represented by five summands.
Furthermore, we prove some new results on the tenfold sums of the evil and odious numbers, as well as k-fold sums of similar sequences of integers, by using techniques of analytic number theory involving trigonometric sums associated with the (+-1)-characteristic sequences of these integers.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the additive properties of specific sequences (such as odious numbers and evil numbers) in additive number theory. Specifically, the authors reprove the previous results of Dombi and Chen & Wang regarding the representation of natural numbers as the sum of two odious numbers or evil numbers, and present new proofs using automata theory and logical techniques. In addition, they also explore the cases of sums with more terms, especially the cases of five - term and ten - term sums, as well as the k - term sums of similar integer sequences.
The following are the main research questions of the paper:
1. **Reproving existing results**:
- Reprove Dombi's result using automata theory and logical techniques: For all \(n \geq 0\), \(R(A)_2(n)=R(B)_2(n)\), where \(A\) is the set of evil numbers and \(B\) is the set of odious numbers.
- Similarly, reprove Chen & Wang's result using these techniques: For all \(n \geq 1\), \(R(C)_3(n)=R(D)_3(n)\), where \(C\) and \(D\) are sequences defined based on the parity of the number of 0s in the binary representation.
2. **Proof of new results**:
- By means of analytic number theory methods, prove that \(r_{10}(n)\) and \(s_{10}(n)\) are ultimately strictly increasing, that is, as \(n\) increases, the values of these two functions will keep increasing.
- For the case of five - term sums, prove that \(r_5(2n)>r_5(2n + 1)\) and \(s_5(2n)>s_5(2n + 1)\) hold for sufficiently large \(n\), indicating that these sequences are not strictly increasing.
3. **Further exploration**:
- Discuss the cases of six - term, seven - term, eight - term, and nine - term sums. Currently, these cases are not clear, but conjectures are proposed based on numerical evidence.
4. **Other related results**:
- Explore some special properties when summing different numbers of terms, for example, the relationship between \(r_2(n)-s_2(n)\) and the parity of \(n\) and the Thue - Morse sequence.
- Prove that there are infinitely many \(n\) such that \(r_3(n)=s_3(n)\) and \(r_4(n)=s_4(n)\), and give specific examples.
In summary, by introducing automata theory and logical techniques, this paper not only reproves some known results but also discovers new properties and provides a basis for further research.