Solenoid Maps, Automatic Sequences, Van Der Put Series, and Mealy-Moore Automata

TL;DR

This paper extends the characterization of 1-Lipschitz functions on p-adic integers via automata and automatic sequences to all integer bases, providing algorithms to convert between different automaton representations.

Contribution

It generalizes previous results from prime p to arbitrary integer bases d, and establishes explicit links between Mealy and Moore automata for these functions.

Findings

Provides algorithms for automaton conversion

Demonstrates applications with Thue-Morse sequence

Connects automaton representations with van der Put series

Abstract

The ring $\mathbb Z_d$ of $d$-adic integers has a natural interpretation as the boundary of a rooted $d$-ary tree $T_d$. Endomorphisms of this tree (i.e. solenoid maps) are in one-to-one correspondence with 1-Lipschitz mappings from $\mathbb Z_d$ to itself and automorphisms of $T_d$ constitute the group $\mathrm{Isom}(\mathbb Z_d)$. In the case when $d=p$ is prime, Anashin showed that $f\in\mathrm{Lip}^1(\mathbb Z_p)$ is defined by a finite Mealy automaton if and only if the reduced coefficients of its van der Put series constitute a $p$-automatic sequence over a finite subset of $\mathbb Z_p\cap\mathbb Q$. We generalize this result to arbitrary integer $d\geq 2$, describe the explicit connection between the Moore automaton producing such sequence and the Mealy automaton inducing the corresponding endomorphism. Along the process we produce two algorithms allowing to convert the Mealy automaton of an endomorphism to the corresponding Moore automaton generating the sequence of the reduced van der Put coefficients of the induced map on $\mathbb Z_d$ and vice versa. We demonstrate examples of applications of these algorithms for the case when the sequence of coefficients is Thue-Morse sequence, and also for one of the generators of the standard automaton representation of the lamplighter group.