Tiling Problems on Baumslag-Solitar groups
: Nathalie Aubrun, Jarkko Kari
: Turlough Neary, Matthew Cook
: 2013
: Electronic Proceedings in Theoretical Computer Science
: Machines, Computations and Universality 2013
: Electronic Proceedings in Theoretical Computer Science
: 128
: 35
: 46
: 12
: 2075-2180
DOI: https://doi.org/10.4204/EPTCS.128.12
: http://dx.doi.org/10.4204/EPTCS.128.12
We exhibit a weakly aperiodic tile set for Baumslag-Solitar groups, and prove that the domino problem is undecidable on these groups. A consequence of our construction is the existence of an arecursive tile set on Baumslag-Solitar groups.