Composition inverses of the variations of the Baum-Sweet sequence

Łukasz Merta

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

2018-03-01

Abstract:Studying and comparing arithmetic properties of a given automatic sequence and the sequence of coefficients of the composition inverse of the associated formal power series (the formal inverse of that sequence) is an interesting problem. This problem was studied before for the Thue-Morse sequence. In this paper, we study arithmetic properties of the formal inverses of two sequences closely related to the well-known Baum-Sweet sequence. We give the recurrence relations for their formal inverses and we determine whether the sequences of indices at which these formal inverses take value $0$ and $1$ are regular. We also show an unexpected connection between one of the obtained sequences and the formal inverse of the Thue-Morse sequence.

Number Theory,Combinatorics

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to study and compare the arithmetic properties of a given automatic sequence (especially two variants related to the Baum - Sweet sequence) and the compositional inverse (i.e., the formal inverse sequence) of its formal power series. Specifically, the author explores the recurrence relations of these formal inverse sequences and determines whether the index sequences of these formal inverse sequences when taking the values of 0 and 1 are regular sequences. In addition, the author also discovers an unexpected result: there is a connection between one of the obtained sequences and the formal inverse of the Thue - Morse sequence.

### Summary of main problems:
1. **Research objects**: The paper mainly studies the formal inverses of two sequences closely related to the Baum - Sweet sequence.
2. **Research contents**:
- Explore the arithmetic properties of these formal inverse sequences.
- Determine whether the index sequences of these formal inverse sequences when taking the values of 0 and 1 are regular sequences.
3. **Research methods**:
- Use recurrence relations to describe these formal inverse sequences.
- Analyze the properties of these sequences through algebraic relations and formal power series methods.
4. **Important findings**:
- Discover that there is a connection between one of the sequences and the formal inverse of the Thue - Morse sequence.
- Prove certain sequence characteristics, such as arbitrarily long consecutive 0 sequences and at most 4 consecutive 1s.

### Specific formulas and definitions:
- **Baum - Sweet sequence**: Defined as
\[
b_n =
\begin{cases}
0 & \text{if the binary representation of } n \text{ contains 0 - blocks of odd length} \\
1 & \text{otherwise}
\end{cases}
\]
- **Formal power series**:
\[
B(X) = \sum_{n = 0}^{\infty} b_n X^n\in F_2[[X]]
\]
- **Formal inverse sequence**: For the sequence \((u_n)\), its formal inverse sequence \((v_n)\) satisfies
\[
U(V(X)) = V(U(X)) = X
\]
where \(U(X)=\sum_{n = 0}^{\infty} u_n X^n\) and \(V(X)=\sum_{n = 0}^{\infty} v_n X^n\).

### Conclusion:
Through the above research, the author not only has an in - depth understanding of the properties of the formal inverse sequences of the Baum - Sweet sequence and its variants but also reveals the potential connections between these sequences and other well - known sequences (such as the Thue - Morse sequence). This provides new perspectives and tools for further exploring the properties of automatic sequences and their formal inverse sequences.