Electronic Proceedings in Theoretical Computer Science (Sep 2013)
Tiling Problems on Baumslag-Solitar groups.
Abstract
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.