Overlapping substitutions and tilings
Shigeki Akiyama, Yasushi Nagai, Shu-Qin Zhang
TL;DR
The paper extends substitution tiling theory to overlapping substitutions, addressing non-integer substitution matrices by leveraging weighted substitutions to define tile frequencies via Perron–Frobenius theory. It proves that patch frequencies converge uniformly and are governed by the right PF eigenvector, yielding unique ergodicity for the associated tiling dynamical systems. Under mild assumptions, the expansion constant β is shown to be an algebraic integer, tying geometric inflation to integer PF structure. A consistency criterion based on an open set condition with a graph-directed IFS is developed to ensure illegal overlaps do not arise, with concrete one-dimensional and Delone-set–based higher-dimensional constructions provided. The work lays groundwork for broad construction of overlapping substitutions and poses open problems for further exploration, including connections to Bernoulli convolutions and non-Pisot expansions.
Abstract
We generalize the notion of (geometric) substitution rule to obtain overlapping substitutions. Our motivating example is the substitution presented in Ziherl, Dotera and Bekku \cite{DBZ}, which features a substitution matrix with non-integer entries. We give the meaning of such a matrix by showing that the right Perron--Frobenius eigenvector encodes the patch frequency of the resulting tiling. The patch frequencies are shown to be uniformly convergent, implying that the corresponding dynamical system is uniquely ergodic. Under mild assumptions, we further prove that the associated expansion constant is always an algebraic integer. In general, overlapping substitutions may yield a patch with illegal (partial) overlaps of tiles, even if it is locally consistent. We provide a sufficient condition for an overlapping substitution to be consistent, ensuring that no such illegal tiles emerge. Finally, we construct many intriguing one-dimensional overlapping substitutions and present higher dimensional examples from Delone multi-sets with inflation symmetry.
