arXiv++ Combinatorics

The Goodman-Strauss theorem states that for ``almost every" substitution, the family of substitution tilings is sofic, that is, it can be defined by local rules for some decoration of tiles. The conditions on the substitution that guarantee the soficity are quite complicated. In this paper we propose a version of Goodman-Strauss theorem with simpler conditions on the substitution. Although the conditions are quite restrictive, we show that, in combination with two simple tricks (taking a sufficiently large power of the substitution and combining small tiles into larger ones), our version of Goodman-Strauss theorem can also prove the soficity of the family of substitution tilings for ``almost every'' substitution. We also prove a similar theorem for the family of hierarchical tilings associated with the given substitution. A tiling is called hierarchical if it has a composition under the substitution, 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. Fernique and Ollinger formulated some conditions on the substitution that guarantee that the family of hierarchical tilings is sofic. However, their technique does not prove this statement under such general conditions as in their paper. In the present paper, we show that under the same assumptions, as for our version of the Goodman-Strauss theorem, their technique works.

We define a new family of non-periodic tilings with square tiles that is mutually locally derivable with some family of tilings with isosceles right triangles. Both families are defined by simple local rules, and the proof of their non-periodicity is as simple as that of the non-periodicity of Robinson's tilings.

We study a family of substitution tilings with similar right triangles of two sizes which is obtained using the substitution rule introduced in [Danzer, L. and van Ophuysen, G. A species of planar triangular tilings with inflation factor $\sqrt{-τ}$. Res. Bull. Panjab Univ. Sci. 2000, 50, 1-4, pp. 137--175 (2001)]. In that paper, it is proved this family of tilings can be obtained from a local rule using decorated tiles. That is, that this family is \emph{sofic}. In the present paper, we provide an alternative proof of this fact. We use more decorated tiles than Danzer and van Ophuysen (22 in place of 10). However, our decoration of supertiles is more intuitive and our local rule is simpler.