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

04/06/2020
by   Julien Esnay, et al.
0

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

READ FULL TEXT

page 1

page 2

page 3

page 4

01/29/2021

Addendum to "Tilings problems on Baumslag-Solitar groups"

In our article in MCU'2013 we state the the Domino problem is undecidabl...
04/09/2018

The Metric Space of Networks

We study the question of reconstructing a weighted, directed network up ...
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...
04/25/2022

Strongly Aperiodic SFTs on Generalized Baumslag-Solitar groups

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

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

The Bernays-Schönfinkel first-order logic fragment over simple linear re...
02/20/2020

Cutting Corners

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

Aspect Ratio Universal Rectangular Layouts

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