Three-way tiling sets in two dimensions (Q844248)

A compact connected subset \(S\subset\mathbb{R}^n\) is called a formidable figure if there exists a finite set of affine hyperplanes that cuts \(S\) into congruent subsets \(S_j\), each similar to \(S\), so that reflection from any of the hyperplanes bounding \(S_j\) takes it into some \(S_i\). The collection of these hyperplanes generates the affine Weyl group denoted by \(W_S\). Let \(\Gamma\) be a full rank lattice in \(\mathbb{R}^n\) with fundamental domain \(\prod^n_{i=1} [0,b_i]\) and \(A\in\text{GL}_n(\mathbb{R})\) be an expansive matrix. The triple \((W_S,\Gamma, A)\) is said to be available if there exists a set \(\Sigma\subset\mathbb{R}^n\) which simultaneously (a) is \(W_S\)-congruent to the \(S\); (b) \(\{A^n\Sigma; n\in\mathbb{Z}\}\) is a measurable tiling of \(\mathbb{R}^n\); (c) is \(\Gamma\)-congruent to the set \(\prod^n_{i=1} [0,b_i]\). The authors prove that for an arbitrary expansive \(2\times 2\) matrix \(A\) and a foldable figure \(S\subset\mathbb{R}^2\) there exists a full range lattice \(\Gamma\) such that \((W_S,\Gamma,A)\) is available.