Beyond odious and evil

Jean-Paul Allouche,Benoit Cloitre,Vladimir Shevelev

DOI: https://doi.org/10.48550/arXiv.1405.6214

2014-05-24

Abstract:In a recent post on the Seqfan list the third author proposed a conjecture concerning the summatory function of odious numbers (i.e., of numbers whose sum of binary digits is odd), and its analog for evil numbers (i.e., of numbers whose sum of binary digits is even). We prove these conjectures here. We will also study the sequences of "generalized" odious and evil numbers, and their iterations, giving in particular a characterization of the sequences of usual odious and evil numbers in terms of functional equations satisfied by their compositions.

Number Theory

What problem does this paper attempt to address?

This paper attempts to solve two main problems:

1. **Prove Shevelev's conjecture**: This conjecture involves the summation functions of "odious numbers" and "evil numbers". Specifically, these numbers are natural numbers whose number of 1s in the binary representation is odd and even respectively. The author verifies the conjecture proposed by Shevelev by studying the characteristics of these numbers and their summation functions.

2. **Study the iterative properties of generalized odious and evil number sequences**: In addition to the traditional odious and evil numbers, the author also explores the sequences of such numbers under a broader definition and studies their behavior after multiple iterations. In particular, they give some functional - equation descriptions of these sequences, thus further understanding the structure and properties of these numbers.

### Specific content

- **Definitions of odious and evil numbers**:
- A natural number \(n\) is called an odious number if the number of 1s in its binary representation is odd.
- A natural number \(n\) is called an evil number if the number of 1s in its binary representation is even.

- **Main theorems**:
- **Theorem 1**: For all \(n\geq0\), and \(i, j\in[0, d - 1]\), we have
\[
a_{j,d}(a_{i,d}(n))=d\cdot a_{i,d}(n)+(j - i)\bmod d
\]
This theorem describes the behavior of generalized odious and evil number sequences during iteration.

- **Study of summation functions**:
- The paper studies in detail the summation functions \(S(n)\) and \(R(n)\) of odious and evil numbers and gives specific formula expressions. For example:
\[
S(n)=\sum_{k = 0}^{n}a(k)=\frac{n^{2}+3n}{2}+1+\frac{( - 1)^{n}}{4}(1 - 2t(n))
\]
where \(t(n)\) is the Thue - Morse sequence.

- **Proof of Shevelev's conjecture**:
- Through a series of lemmas and corollaries, the paper finally proves Shevelev's conjecture about the summation function of odious numbers.

### Conclusion

Through in - depth research on odious and evil numbers, this paper not only verifies an important mathematical conjecture, but also provides a broader understanding of such special sequences, laying the foundation for further research.