Abstract:An important question in dynamical systems is the classification problem, i.e., the ability to distinguish between two isomorphic systems. In this work, we study the topological factors between a family of multidimensional substitutive subshifts generated by morphisms with uniform support. We prove that it is decidable to check whether two minimal aperiodic substitutive subshifts are isomorphic. The strategy followed in this work consists of giving a complete description of the factor maps between these subshifts. Then, we deduce some interesting consequences on coalescence, automorphism groups, and the number of aperiodic symbolic factors of substitutive subshifts. We also prove other combinatorial results on these substitutions, such as the decidability of defining a subshift, the computability of the constant of recognizability, and the conjugacy between substitutions with different supports.

A Note on Double Minimality

On the Nonexistence of Stable Minimal Submanifolds in Positively Pinched Riemannian Manifolds

Coxeter systems for which the Brink-Howlett automaton is minimal

Topological Mixing Properties of Rank-One Subshifts

A minimal frequently stable system is almost automorphic

On Minimal Flows. Definably Amenable Groups, and O-Minimality

A Note on Homeo-Product-Minimality

Decidability of the isomorphism problem between multidimensional substitutive subshifts

A Note On Minimal Positive Realizations Of Continuous-Time Linear Systems

A non-PI minimal system is Li-Yorke sensitive

p-adic affine dynamical systems and applications

A Remark on Inseparability of Min&#8211 Max Systems

Minimal frequently stable is almost automorphic

Disjointness with all minimal systems under group actions

A Remark on Inseparability of Min-Max Systems

A rank one mild mixing system without minimal self joinings

Minimal amenable subshift with full mean topological dimension

Topological characteristic factors along cubes of minimal systems

Freiman–Ruzsa-type Theory for Small Doubling Constant

Almost Minimal Systems and Periodicity in Hyperspaces

Strict Ergodicity of Affine P-Adic Dynamical Systems on Z(P)