From Dimension Drop to Aperiodic Order

We consider the parametrised family of sets $E(x,y)=\left\{{\sum }_{n=1}^{\infty }\frac{{\epsilon }_n}{4^n}:({\epsilon }_n)\in \{0,x,y,x+y{\}}^{\mathbb{N}}\right\}$ for $(x,y)\in {\mathbb{N}}^2$. This family can be viewed through three lenses: (a) as homogeneous self-similar sets; (b) as achievement sets of bi-geometric series; or (c) as the set of `rational' orthogonal projections of the four-corner Cantor set. We synthesise these three perspectives to obtain a complete topological classification of $E(x,y)$ for $(x,y)\in {\mathbb{N}}^2$. Next, we collapse this topological classification to a binary one according to whether or not $E(x,y)$ has interior. When this binary classification is visualised, it reveals a two-colour tiling $T$ of the lattice ${\mathbb{N}}^2$, which, despite being visibly structured, turns out to be aperiodic; indeed, we prove it has no non-trivial translational symmetries. Due to the rigidity of our model, this same binary classification simultaneously captures several dichotomies. Most notably, when the family $\{E(x,y){\}}_{(x,y)\in {\mathbb{N}}^2}$ is viewed through the theory of self-similar sets, $T$ can be seen to describe the emergence of dimension drop within the family. Finally we examine the mechanism underlying the tiling's aperiodic order. By considering the number-theoretic properties of the tiling, we characterise its substitution structure, and discover that $T$ is a factor of a substitution tiling on four "hidden" arithmetically defined states.