DeepAI AI Chat
Log In Sign Up

Addendum to "Tilings problems on Baumslag-Solitar groups"

01/29/2021
by   Nathalie Aubrun, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

04/06/2020

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...
04/25/2022

Strongly Aperiodic SFTs on Generalized Baumslag-Solitar groups

We look at constructions of aperiodic SFTs on fundamental groups of grap...
04/09/2022

Testability in group theory

This paper is a journal counterpart to our FOCS 2021 paper, in which we ...
08/22/2019

The many Shapley values for model explanation

The Shapley value has become a popular method to attribute the predictio...
11/15/2017

Python Implementation and Construction of Finite Abelian Groups

Here we present a working framework to establish finite abelian groups i...
09/26/2021

Mixing of 3-term progressions in Quasirandom Groups

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