DeepAI AI Chat
Log In Sign Up

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

by   Julien Esnay, et al.

We study the periodicity of subshifts of finite type (SFT) on Baumslag-Solitar groups. We show that for residually finite Baumslag-Solitar groups there exist both strongly and weakly-but-not-strongly aperiodic SFTs. In particular, this shows that unlike ℤ^2, but as ℤ^3, the notions of strong and weak periodicity are different for residually finite BS groups. More precisely, we prove that the weakly aperiodic SFT on BS(m,n) presented by Aubrun and Kari is in fact strongly aperiodic on BS(1,n). In addition, we exhibit an SFT which is weakly but not strongly aperiodic on BS(1,n). Finally, we show that there exists a strongly aperiodic SFT on BS(n,n).


page 1

page 2

page 3

page 4


Addendum to "Tilings problems on Baumslag-Solitar groups"

In our article in MCU'2013 we state the the Domino problem is undecidabl...

Strongly Aperiodic SFTs on Generalized Baumslag-Solitar groups

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

The Metric Space of Networks

We study the question of reconstructing a weighted, directed network up ...

On Weakly Hausdorff Spaces and Locally Strongly Sober Spaces

We show that the locally strongly sober spaces are exactly the coherent ...

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

The Bernays-Schönfinkel first-order logic fragment over simple linear re...

Cutting Corners

We define and study a class of subshifts of finite type (SFTs) defined b...