Skip to Main content Skip to Navigation

Shift spaces on groups : computability and dynamics

Abstract : Shift spaces are sets of colorings of a group which avoid a set of forbidden patterns and are endowed with a shift action. These spaces appear naturally as discrete versions of dynamical systems: they are obtained by partitioning the phase space and mapping each element into the sequence of partitions visited by its orbit.Severa! breakthroughs in this domain have pointed out the intricate relationship between dynamics of shift spaces and their computability properties. One remarkable example is the classification of the entropies of multidimensional subshifts of finite type as the set of right recursively enumerable numbers. This work explores shift spaces with a dual approach: on the one hand we are interested in their dynamical properties and on the ether hand we studythese abjects as computational models.Four salient results have been obtained as a result of this approach: (1) a combinatorial condition ensuring non-emptiness of subshifts on arbitrary countable groups; (2) a simulation theorem which realizes effective actions of finitely generated groups as factors of a subaction of a subshift of finite type; (3) a characterization of effectiveness with oracles using generalized Turing machines and (4) the undecidability of the torsion problem for two group invariants of shift spaces.As byproducts of these results we obtain a simple proof of the existence of strongly aperiodic subshifts in countable groups. Furthermore, we realize them as subshifts of finite type in the case of a semidirect product of a d-dimensional integer lattice with a finitely generated group with decida ble word problem whenever d> 1.
Complete list of metadata

Cited literature [111 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Monday, July 17, 2017 - 3:36:06 PM
Last modification on : Saturday, April 2, 2022 - 3:47:47 AM
Long-term archiving on: : Saturday, January 27, 2018 - 3:02:37 AM


Version validated by the jury (STAR)


  • HAL Id : tel-01563302, version 1


Sebastián Andrés Barbieri Lemp. Shift spaces on groups : computability and dynamics. Computation and Language [cs.CL]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN021⟩. ⟨tel-01563302⟩



Record views


Files downloads