Abstract:The Goodman-Strauss theorem states that for ``almost every'' substitution $\tau$, the family of substitution tilings is sofic, that is, it can be defined by local matching rules for some decoration of tiles. The conditions on the substitution that guarantee the soficity are quite complicated in the statement of the theorem. In this paper we propose a version of the Goodman-Strauss theorem with very simple conditions on the substitution: the family of substitution tilings must have finite local complexity (FLC), that is, the number of crowns that appear in $\tau$-supertiles is finite. Like the original theorem, our theorem provides matching rules for all known substitution tilings.
We also prove a similar theorem for the family of \emph{hierarchical} tilings associated with the given substitution. A tiling is called $\tau$-hierarchical if it has a composition under $\tau$, such that this composition also has a composition, and so on, infinitely many times. Every substitution tiling is hierarchical, but the converse is not always true.
From: Nikolay Vereshchagin [view email]
[v1]
Tue, 23 Jun 2026 17:07:52 UTC (357 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。