On some conjectures concerning Stern's sequence and its twist

Michael Coons

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

2010-10-16

Abstract:In a recent paper, Roland Bacher conjectured three identities concerning Stern's sequence and its twist. In this paper we prove Bacher's conjectures. Possibly of independent interest, we also give a way to compute the Stern value (or twisted Stern value) of a number based solely on its binary expansion.

Number Theory

What problem does this paper attempt to address?

This paper attempts to solve several conjectures regarding the Stern sequence and its twist. Specifically:

1. **Three conjectures proposed by Bacher**:
- **Conjecture 1**: There exists an integer sequence \(\{u(n)\}_{n \geq 0}\) such that for all \(e \geq 0\),
\[
\sum_{n \geq 0} t(3 \cdot 2^e + n) z^n = (-1)^e S(z) \sum_{n \geq 0} u(n) z^n \cdot 2^e.
\]
where \(S(z)\) is the generating function of the Stern sequence and \(T(z)\) is the generating function of the twisted Stern sequence.

- **Conjecture 2(i)**: The series
\[
G(z) := \sum_{n \geq 0} \frac{s(2 + n)-s(1 + n)}{S(z)} z^n
\]
satisfies
\[
\sum_{n \geq 0} (s(2^e+1 + n)-s(2^e + n)) z^n = G(z^{2^e}) S(z)
\]
for all \(e \in \mathbb{N}\).

- **Conjecture 2(ii)**: The series
\[
H(z) := -\sum_{n \geq 0} \frac{t(2 + n)+t(1 + n)}{S(z)} z^n
\]
satisfies
\[
(-1)^{e + 1}\sum_{n \geq 0} (t(2^e+1 + n)+t(2^e + n)) z^n = H(z^{2^e}) S(z)
\]
for all \(e \in \mathbb{N}\).

2. **Main contributions of the paper**:
- The author has proven the three conjectures proposed by Bacher above.
- Provided a method for calculating Stern values (or twisted Stern values) based on binary expansion, which provides new tools for understanding and dealing with the Stern sequence and its twist.

Through these works, the paper not only verifies Bacher's conjectures but also provides a theoretical basis for further research on the Stern sequence and its related properties.