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

DOI10.1017/S1446788722000027zbMATH Open1521.68080arXiv2006.02316MaRDI QIDQ6342016FDOQ6342016

Publication date: 3 June 2020

Abstract: The ring

m a t h b b 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

m a t h b b Z_{d}

to itself and automorphisms of

T_{d}

constitute the group

m a t h r m I s o m (m a t h b b Z_{d})

. In the case when

d = p

is prime, Anashin showed that

f i n m a t h r m {L i p}^{1} (m a t h b b 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

m a t h b b Z_{p} c a p m a t h b b Q

. We generalize this result to arbitrary integer

d g e q 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

m a t h b b 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.

Mathematics Subject Classification ID

Groups acting on trees (20E08) Algebraic theory of languages and automata (68Q70) Automata sequences (11B85) Semigroups in automata theory, linguistics, etc. (20M35)

This page was built for publication: Solenoid Maps, Automatic Sequences, Van Der Put Series, and Mealy-Moore Automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6342016)