DeepAI AI Chat

Addendum to "Tilings problems on Baumslag-Solitar groups"

01/29/2021

∙

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.

Nathalie Aubrun
4 publications
Jarkko Kari
11 publications

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...

0 Julien Esnay, et al. ∙

∙ 12/20/2020

Tilings of the hyperbolic plane of substitutive origin as subshifts of finite type on Baumslag-Solitar groups BS(1,n)

We present a technique to lift some tilings of the discrete hyperbolic p...

0 Nathalie Aubrun, et al. ∙

∙ 04/25/2022

Strongly Aperiodic SFTs on Generalized Baumslag-Solitar groups

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

0 Nathalie Aubrun, et al. ∙

∙ 04/09/2022

Testability in group theory

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

0 Oren Becker, et al. ∙

∙ 08/22/2019

The many Shapley values for model explanation

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

0 Mukund Sundararajan, et al. ∙

∙ 11/15/2017

Python Implementation and Construction of Finite Abelian Groups

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

0 Paul Bradley, et al. ∙

∙ 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...

0 Amey Bhangale, et al. ∙