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

The Metric Space of Networks

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

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

Strongly Aperiodic SFTs on Generalized Baumslag-Solitar groups

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

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

Aspect Ratio Universal Rectangular Layouts

A generic rectangular layout (for short, layout) is a subdivision of an ...