Decidability of the isomorphism problem between multidimensional substitutive subshifts
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915334064177152 |
|---|---|
| author | Cabezas, Christopher Leroy, Julien |
| author_facet | Cabezas, Christopher Leroy, Julien |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_11357 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Decidability of the isomorphism problem between multidimensional substitutive subshifts Cabezas, Christopher Leroy, Julien Dynamical Systems 37B10 (Primary) 37A35, 37B51, 68R15 (Secondary) 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. |
| title | Decidability of the isomorphism problem between multidimensional substitutive subshifts |
| topic | Dynamical Systems 37B10 (Primary) 37A35, 37B51, 68R15 (Secondary) |
| url | https://arxiv.org/abs/2403.11357 |