Geometric representation of the infimax S-adic family

Abstract

Abstract. We construct geometric realizations for the infimax family of substitutions by generalizing the Rauzy-Canterini-Siegel method for a single substitution to the S-adic case. The composition of each countably infinite subcollection of substitutions from the family has an asymptotic fixed sequence whose shift orbit closure is an infimax minimal set ∆ + . The subcollection of substitutions also generates an infinite Bratteli-Vershik diagram with prefix-suffix labeled edges. Paths in the diagram give the Dumont-Thomas expansion of sequences in ∆ + which in turn gives a projection onto the asymptotic stable direction of the infinite product of the Abelianization matrices. The projections of all sequences from ∆ + is the generalized Rauzy fractal which has subpieces corresponding to the images of symbolic cylinder sets. The intervals containing these subpieces are shown to be disjoint except at endpoints, and thus the induced map derived from the symbolic shift translates them. Therefore the process yields an Interval Translation Map (ITM), and the Rauzy fractal is proved to be its attractor.

Recognizability for sequences of morphisms

“…Example 6.8. The infimax S-adic family F = {θ k : k ≥ 1}, with θ k : {1, 2, 3} → {1, 2, 3} + , θ k (1) = 2, θ k (2) = 31 k+1 , θ k (3) = 31 k , is considered in [BS17], where Boyland and Severa consider S-adic shifts (X σ , T ) defined by σ = (σ n ) n≥1 with each σ n ∈ F . The authors show that there exist geometric realizations, via homeomorphisms, of such S-adic shifts as interval translation maps.…”