DeepAI AI Chat
Log In Sign Up

Addendum to "Tilings problems on Baumslag-Solitar groups"

by   Nathalie Aubrun, et al.

In our article in MCU'2013 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 in MCU'2013.


page 1

page 2

page 3

page 4


Weakly and Strongly Aperiodic Subshifts of Finite Type on Baumslag-Solitar Groups

We study the periodicity of subshifts of finite type (SFT) on Baumslag-S...

Strongly Aperiodic SFTs on Generalized Baumslag-Solitar groups

We look at constructions of aperiodic SFTs on fundamental groups of grap...

Testability in group theory

This paper is a journal counterpart to our FOCS 2021 paper, in which we ...

The many Shapley values for model explanation

The Shapley value has become a popular method to attribute the predictio...

Python Implementation and Construction of Finite Abelian Groups

Here we present a working framework to establish finite abelian groups i...

Mixing of 3-term progressions in Quasirandom Groups

In this note, we show the mixing of three-term progressions (x, xg, xg^2...