Asymptoticity, automorphism groups and strong orbit equivalence
Haritha Cheriyath, Sebastián Donoso
TL;DR
The paper investigates how asymptotic components and automorphism groups behave within strong orbit equivalence classes of minimal Cantor systems. It develops $oldsymbol{S}$-adic and Bratteli–Vershik techniques to realize prescribed numbers of asymptotic components (finite, countable, or continuum) inside any given class, with finite/countable cases built via primitive morphisms and recognizability, and uncountable cases tied to entropy considerations. A key contribution is proving that systems with countably many asymptotic components have zero entropy, while also producing subshifts with one asymptotic class but arbitrarily large subexponential complexity. The results yield subshifts whose automorphism groups are isomorphic to $oldsymbol{Z}$ (or trivial) within any strong orbit equivalence class and extend these constructions to Toeplitz shifts, highlighting the diversity of dynamical behavior compatible with strong orbit equivalence. Altogether, the work advances understanding of how orbit structure, entropy, complexity, and symmetry (automorphisms) can be simultaneously tuned inside a fixed orbit-equivalence class, with implications for invariant-measure structures and Toeplitz dynamics.
Abstract
Given any strong orbit equivalence class of minimal Cantor systems and any cardinal number that is finite, countable, or the continuum, we show that there exists a minimal subshift within the given class whose number of asymptotic components is exactly the given cardinal. For finite or countable ones, we explicitly construct such examples using $\mathcal{S}$-adic subshifts. We derived the uncountable case by showing that any topological dynamical system with countably many asymptotic components has zero topological entropy. We also construct systems with arbitrarily high subexponential word complexity with only one asymptotic class. We deduce that within any strong orbit equivalence class, there exists a subshift whose automorphism group is isomorphic to $\mathbb{Z}$.
