Automaticity of uniformly recurrent substitutive sequences
Abstract
We provide a complete characterisation of automaticity of uniformly recurrent substitutive sequences in terms of the incidence matrix of the return substitution of the underlying purely substitutive sequence. This resolves a recent question posed by Allouche, Dekking and Queff\'elec in the uniformly recurrent case. We show that the same criterion characterizes automaticity of minimal substitutive systems. Furthermore, we construct a minimal substitutive system whose maximal equicontinuous factor is the 2-adic odometer, and for which the corresponding factor map is everywhere uncountable-to-one. We conjecture that a minimal substitutive system is k-automatic if and only if it is an everywhere finite-to-one extension of a k-adic odometer.
Cite
@article{arxiv.2111.13134,
title = {Automaticity of uniformly recurrent substitutive sequences},
author = {Elżbieta Krawczyk and Clemens Müllner},
journal= {arXiv preprint arXiv:2111.13134},
year = {2026}
}
Comments
22 pages, v3: added a new section with new results; old results are unchanged