Automaticity of uniformly recurrent substitutive sequences

Elżbieta Krawczyk,Clemens Müllner

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

2023-03-24

Abstract:We provide a complete characterisation of automaticity of uniformly recurrent substitutive sequences in terms of the incidence matrix of the return substitution of an underlying purely substitutive sequence. This gives an answer to a recent question of Allouche, Dekking and Queffélec in the uniformly recurrent case. We also show that the same criterion characterises automaticity of minimal substitutive systems.

Number Theory,Combinatorics,Dynamical Systems

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: for a given substitutive sequence, how to determine whether it is an automatic sequence. Specifically, the authors aim to provide a complete characterization method for determining the automaticity of uniformly recurrent substitutive sequences. This answers a question recently raised by Allouche, Dekking and Queffélec.

### Problem Background

It has been observed in multiple contexts that some substitutive sequences defined using non - fixed - length substitutions can actually be obtained from fixed - length substitutions as well. Although such examples can be artificially constructed, they also occur naturally, and the corresponding fixed - length substitutions are usually not obvious. The discovery of such "hidden automatic sequences" is often enlightening because automatic sequences are easier to understand and handle (for example, specialized tools such as finite automata can be used). A particularly notable example is the Lysënok homomorphism related to the representation of the first Grigorchuk group. In this example, the spectral properties of the system generated by the Lysënok homomorphism are used to derive the spectral properties of the Schreier graph of the Grigorchuk group.

### Specific Problem

The core problem of the paper is:

\[
\text{Problem 1.1: For a given substitutive sequence, decide whether it is an automatic sequence.}
\]

### Solution

By introducing the concept of return substitution, the authors provide a complete characterization method for determining the automaticity of uniformly recurrent substitutive sequences. Specifically, they prove the following theorem:

\[
\text{Theorem 1.2: Let}\ \phi: A\rightarrow A^*\ \text{be a primitive substitution,}\ \tau: A\rightarrow B\ \text{be a coding,}\ x\ \text{be a one - sided or an admissible two - sided fixed point of}\ \phi,\ a = x_0.\ \text{Let}\ y=\tau(x)\ \text{and assume that}\ y\ \text{is not periodic. Let}\ \tau: R_a\rightarrow R_a^*\ \text{be a return substitution,}\ M_\tau\ \text{be the associated matrix of}\ \tau,\ s\ \text{be the size of the largest Jordan block of}\ M_\tau\ \text{corresponding to the eigenvalue}\ 0.\ \text{Then the following conditions are equivalent:}
\]

1. \(y\) is an automatic sequence.
2. \(t(|\phi^s(w)|)_{w\in R_a}\) is a left eigenvector of \(M_\tau\).

### Application

This theorem not only solves the automaticity problem of uniformly recurrent substitutive sequences, but also extends to the automaticity problem of minimal substitutive systems. In addition, the paper also provides several specific examples to illustrate the application of these results.

### Conclusion

By the above method, the authors successfully solve the problem raised by Allouche, Dekking and Queffélec, and provide an explicit discriminant criterion for determining the automaticity of substitutive sequences.