Recognizability for sequences of morphisms

Abstract

We investigate different notions of recognizability for a free monoid morphism $\sigma :{\mathcal{A}}^{\ast }\to {\mathcal{B}}^{\ast }$. Full recognizability occurs when each (aperiodic) point in ${\mathcal{B}}^{\mathbb{Z}}$ admits at most one tiling with words $\sigma (a)$, $a\in \mathcal{A}$. This is stronger than the classical notion of recognizability of a substitution $\sigma :{\mathcal{A}}^{\ast }\to {\mathcal{A}}^{\ast }$, where the tiling must be compatible with the language of the substitution. We show that if $|\mathcal{A}|=2$, or if $\sigma$'s incidence matrix has rank $|\mathcal{A}|$, or if $\sigma$ is permutative, then $\sigma$ is fully recognizable. Next we investigate the classical notion of recognizability and improve earlier results of Mossé (1992) and Bezuglyi, Kwiatkowski and Medynets (2009), by showing that any substitution is recognizable for aperiodic points in its substitutive shift. Finally we define recognizability and also eventual recognizability for sequences of morphisms which define an $S$-adic shift. We prove that a sequence of morphisms on alphabets of bounded size, such that compositions of consecutive morphisms are growing on all letters, is eventually recognizable for aperiodic points. We provide examples of eventually recognizable, but not recognizable, sequences of morphisms, and sequences of morphisms which are not eventually recognizable. As an application, for a recognizable sequence of morphisms, we obtain an almost everywhere bijective correspondence between the $S$-adic shift it generates, and the measurable Bratteli-Vershik dynamical system that it defines.

Final version

References in corpus (15)

• Beyond substitutive dynamical systems: S-adic expansions
• Geometry, dynamics, and arithmetic of $S$-adic shifts
• Fusion tilings with infinite local complexity
• Conjugacies for Tiling Dynamical Systems
• Presentations of Schutzenberger groups of minimal subshifts
• Fusion: a general framework for hierarchical tilings of $R^d$
• A combinatorial approach to products of Pisot substitutions
• Substitutive Arnoux-Rauzy sequences have pure discrete spectrum
• Finite-rank Bratteli-Vershik diagrams are expansive -- a new proof
• The constant of recognizability is computable for primitive morphisms
• Dynamical properties of some adic systems with arbitrary orderings
• Algorithm for determining pure pointedness of self-affine tilings
• Some monoids of Pisot matrices
• Thermodynamic formalism and Substitutions
• Thermodynamic formalism and $k$-bonacci substitutions

Cited by in corpus (14)

• Geometry, dynamics, and arithmetic of $S$-adic shifts
• Symbolic factors of $\mathcal{S}$-adic subshifts of finite alphabet rank
• On Topological Rank of Factors of Cantor Minimal Systems
• Spectral properties of Schrödinger operators associated to almost minimal substitution systems
• Dynamical properties of minimal Ferenczi subshifts
• Strong Orbit Equivalence and Superlinear Complexity
• Metallic mean Wang tiles I: self-similarity, aperiodicity and minimality
• On The Dimension Group of Unimodular S-Adic Subshifts
• Measure transfer and $S$-adic developments for subshifts
• On the minimal components of substitution subshifts
• Tiling Iterated Function Systems
• Subshifts of finite symbolic rank
• The measure transfer for subshifts induced by a morphism of free monoids
• Flow views and infinite interval exchange transformations for recognizable substitutions