Tilings from Tops of Overlapping Iterated Function Systems

Abstract: The top of the attractor $A$ of a hyperbolic iterated function system $\left{ f_{i}:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}|i=1,2,\dots,M\right} $ is defined and used to extend self-similar tilings to overlapping systems. The theory interprets expressions of the form $\lim_{k\rightarrow\infty}f_{j_{1}}^{-1}f_{j_{2}}^{-1}\dots f_{j_{k}} ^{-1}(\left{ top(f_{i_{1}}f_{i_{2}}\dots f_{i_{k+1}}(A))|i_{1}i_{2}\dots i_{k+1}\in{1,2,\dots,M}^{k+1}\right} )$ to yield tilings of $\mathbb{R}^{n}$. Examples include systems of finite type, tilings related to aperiodic monotiles, and ones where there are infinitely many distinct but related prototiles.