A substitution tiling is a certain globally de ned hierarchical structure in a geometric space; we show that for any substitution tiling in E n , n 1, subject to relatively mild conditions, one can construct local rules that force the desired global structure to emerge. As an immediate corollary, in nite collections of forced aperiodic tilings are constructed. On the left in gure 1, L-shaped tiles are repeatedly in ated and subdivided". We de ne our terms more precisely in Section 1. As this process is iterated, larger and larger regions of the plane are tiled with L-tiles hierarchically
We construct the first known example of a strongly aperiodic set of tiles in the hyperbolic plane. Such a set of tiles does admit a tiling, but admits no tiling with an infinite cyclic symmetry. This can also be regarded as a "regular production system" [5] that does admit bi-infinite orbits, but admits no periodic orbits.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.