Addendum to "Tilings problems on Baumslag-Solitar groups"

Nathalie Aubrun (1) , Jarkko Kari

1 GALaC - Graphes, Algorithmes et Combinatoire - LISN

In our article in MCU'13 we state the the Domino problem is undecidable for all Baumslag-Solitar groups BS(m, n), and claim that the proof is a direct adaptation of the construction of a weakly aperiodic subshift of finite type for BS(m, n) given in the paper. In this addendum, we clarify this point and give a detailed proof of the undecidability result. We assume the reader is already familiar with the article MCU'13.

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

Nathalie Aubrun, Jarkko Kari. Addendum to "Tilings problems on Baumslag-Solitar groups". 2021. ⟨hal-03126862⟩