About the Domino Problem for Subshifts on Groups

Nathalie Aubrun (1, 2) , Sebastián Barbieri (1, 2) , Emmanuel Jeandel (3)

1 LIP - Laboratoire de l'Informatique du Parallélisme
2 MC2 - Modèles de calcul, Complexité, Combinatoire
3 MOCQUA - Designing the Future of Computational Models

From a classical point of view, the domino problem is the question of the existence of an algorithm which can decide whether a finite set of square tiles with colored edges can tile the plane, subject to the restriction that adjacent tiles share the same color along their adjacent edges. This question has already been settled in the negative by Berger in 1966; however, these tilings can be reinterpreted in dynamical terms using the formalism of subshifts of finite type, and hence the same question can be formulated for arbitrary finitely generated groups. In this chapter we present the state of the art concerning the domino problem in this extended framework. We also discuss different notions of effectiveness in subshifts defined over groups, that is, the ways in which these dynamical objects can be described through Turing machines.

Domaines: Théorie des groupes [math.GR]; Mathématique discrète [cs.DM]; Systèmes dynamiques [math.DS]

Nathalie Aubrun, Sebastián Barbieri, Emmanuel Jeandel. About the Domino Problem for Subshifts on Groups. Valérie Berthé; M Rigo. Sequences, Groups, and Number Theory, Birkhäuser, Cham, pp.331-389, 2018, Trends in Mathematics, 978-3-319-69151-0. ⟨10.1007/978-3-319-69152-7_9⟩. ⟨hal-01989760⟩