AI Chat AI Image Generator AI Video Text to Speech

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
5 publications
Jarkko Kari
11 publications

page 1

page 2

page 3

page 4

research

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

research

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

research

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

research

∙ 09/27/2022

Semigroup intersection problems in the Heisenberg groups

We consider two algorithmic problems concerning sub-semigroups of Heisen...

0 Ruiwen Dong, et al. ∙

research

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

research

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

research

∙ 02/06/2018

Cellular Cohomology in Homotopy Type Theory

We present a development of cellular cohomology in homotopy type theory....

0 Ulrik Buchholtz, et al. ∙