Regularity of aperiodic minimal subshifts

Fabian Dreher, Marc Kesseböhmer, Arne Mosbach, Tony Samuel, Malte Steffens

Published 2016-10-11Version 1

At the turn of this century Durand, and Lagarias and Pleasants established that key features of minimal subshifts (and their higher-dimensional analogues) to be studied are linearly repetitive, repulsive and power free. Since then, generalisations and extensions of these features, namely $\alpha$-repetitive, $\alpha$-repulsive and $\alpha$-finite ($\alpha \geq 1$), have been introduced and studied. We establish the equivalence of $\alpha$-repulsive and $\alpha$-finite for general subshifts over finite alphabets. Recently, Daniel Lenz and Daniel Sell introduced a new family of aperiodic minimal subshifts stemming from Grigorchuk's famous group $G$. We show that these subshifts provide examples that demonstrate $\alpha$-repulsive (and hence $\alpha$-finite) is not equivalent to $\alpha$-repetitive, for $\alpha > 1$. Further, we give necessary and sufficient conditions for these subshifts to be $\alpha$-repetitive, and $\alpha$-repulsive (and hence $\alpha$-finite). Moreover, we obtain an explicit formula for their complexity functions from which we deduce that they are uniquely ergodic.