Expansivity and periodicity in algebraic subshifts

TL;DR

This paper investigates the relationship between expansivity, periodicity, and algebraic structures in d-dimensional subshifts, providing conditions for finiteness and strong periodicity based on the support of periodizers.

Contribution

It introduces a new criterion linking the support of periodizers to the expansivity and finiteness of algebraic subshifts, advancing understanding of their structure.

Findings

Expansivity of a subshift is characterized by the support of its periodizer.

A necessary condition for subshift finiteness involves the support containing exactly one element of a (d-1)-dimensional subspace.

Examples include tilings of Z^d by translations of a single tile.

Abstract

A d-dimensional configuration c : Z^d -> A is a coloring of the d-dimensional infinite grid by elements of a finite alphabet A \subseteq Z. The configuration c has an annihilator if a non-trivial linear combination of finitely many translations of c is the zero configuration. Writing c as a d-variate formal power series, the annihilator is conveniently expressed as a d-variate Laurent polynomial f whose formal product with c is the zero power series. More generally, if the formal product is a strongly periodic configuration, we call the polynomial f a periodizer of c. A common annihilator (periodizer) of a set of configurations is called an annihilator (periodizer, respectively) of the set. In particular, we consider annihilators and periodizers of d-dimensional subshifts, that is, sets of configurations defined by disallowing some local patterns. We show that a (d-1)-dimensional linear subspace S \subseteq R^d is expansive for a subshift if the subshift has a periodizer whose support contains exactly one element of S. As a subshift is known to be finite if all (d-1)-dimensional subspaces are expansive, we obtain a simple necessary condition on the periodizers that guarantees finiteness of a subshift or, equivalently, strong periodicity of a configuration. We provide examples in terms of tilings of Z^d by translations of a single tile.