Quarter Rhombs

A rhomb may be divided by its diagonals into four right triangles, related by mirror lines along the diagonals. We will call these triangles quarter-rhombs. This designation is chosen to include the mirror images of the right triangular fundamental domain of a rhomb with point symmetry D_2. (Note that on the previous page we used the expression half-rhombs for an isosceles triangular fundamental domain of a rhomb with D1 or C2 point symmetry.) On this page we will show that it is possible to construct substitution tiles for right triangles with angles p\pi/n, p\in(\frac{1}{2},1,\frac{3}{2}, ..., \frac{1}{2}\lfloor{n/2}\rfloor), for both odd and even n and inflation factor

(1)   \begin{equation*}M=1+2c_1+ ..... + 2c_{\lfloor(n-1)/2\rfloor}\end{equation*}

where c_p=\cos{p\pi/n.

Right Triangular or Quarter-rhomb Substitution Tile.

The lengths of its legs are

(2)   \begin{equation*}s_pM=1+s_{p+1}+s_{p-1}+ ..... + s_{p+{\lfloor(n-1)/2\rfloor}}+s_{p-{\lfloor(n-1)/2\rfloor}}\end{equation*}

(3)   \begin{equation*}c_pM=1+c_{p+1}+c_{p-1}+ ..... + c_{p+{\lfloor(n-1)/2\rfloor}}+c_{p-{\lfloor(n-1)/2\rfloor}}\end{equation*}

All terms of the first equation are positive, but some of the terms in the other two equations are negative. They will eliminate an equal number of positive terms. As a result 2p terms in the third equation  wil be lost and n-2p terms in the second equation. Because only positive elements are left, the borders of the substitution tile may be constructed by aligning prototile legs having lengths corresponding to these terms along the substitution tile edges. The arrangement order of the prototiles along the borders should be chosen in such a way that it allows a consistent tiling of the inside of the substitution tile. To achieve this, a first strategy is to combine as many pairs of quarter-rhombs as possible into half-rhombs at the borders of the substitution tile. In the figure below the borders of all the right triangular substitution tiles for n=11 are shown as an example.

Quarter-rhomb tile borders for n=11. Prototile pairs have been aligned along the edges in such a way that the crossings of the lines connecting parallel hypotenuses correspond to positive tiles (see text)
Filled in quarter-rhomb substitution tiles for n=11. Quarter-rhombs have been combined into half-rhombs or full-rhombs, wherever possible.
Quarter-rhomb tiling for n=11.

Next, one may try to fill up the interior of the tile with full-rhombs. Because the inflation factor M is the sum of c_p terms with p\in(0,\pm1,\pm2, .. \pm\lfloor n/2 \rfloor) , the prototile hypotenuses of the quarter-rhombs along the substitution tile hypotenuse point in n possible directions, between -\pi/2 and +\pi/2 with respect to the hypotenuse direction. The same is true for the prototlle hypotenuses along the two legs of the substitution tile. So, there are pairs of parallel prototile hypotenuses, one at the substitution tile hypotenuse and the other one at one of the legs. These pairs may be connected by a finite worm of rhombs. Drawing lines between the pair members one gets crossings. It has been shown by Dirk Frettloeh and Edmund Edwards (Parallelogram tilings, worms and finite orientations, Discrete and Computational Geometry 49 (2013) 531-539) that in a rhomb tiling  two worms are either parallel or cross only once. Each crossing correspondsto a rhomb prototile having edges parallel to the two pairs of worm edges. These rules are very helpful in constructing a valid tiling because all crossings should yield a possitive prototile. If not, the arrangement of tiles along the border may be altered until they do. For the case of n=11 apparently a valid tiling in terms of interior full-rhombs can be found as is illustrated in the above pictures. Half-rhombs appear only at the edges of the supertiles. Because all quarter-rhombs have been combined into half-rhombs in the final tiling, it is in fact a half-rhomb tiling.

The substitution matrix may be found using our general model for rhomb tilings .by subtracting the negative tiles from the corresponding positive ones, adding tiles with the same shape and discarding zero area tiles.

(4)   \begin{equation*}\textbf{S}_{11}=\begin{bmatrix}4 & 4 & 4 & 4 & 4\\  4 & 8 & 8 & 8 & 8  \\ 4 & 8 & 12 & 12  & 12  \\ 4 & 8 & 12 & 16 & 16 \\ 4 & 8 & 12 & 16 & 20\ \end{bmatrix} \end{equation*}

Below full-rhomb tiles consisting of four mirror symmetric right triangular prototiles for odd n \in{3, 5. 7, 9, 11}  are  shown. Note that the smallest prototiles are a set of (n-1)/2 quarter-rhombs, not counting the mirror-symmetric prototiles as separate prototiles.

Rhomb tiles consisting of 4 mirror symmetric right triangular prototiles for odd n and M=1+2c_1+ 2c_2+.. 2c_{\lfloor{n/2}\rfloor}.

The substitution matrix for odd n and M=1+2c_1+ 2c_2+.. 2c_{\lfloor{n/2}\rfloor}  is

(5)   \begin{equation*} \textbf{S}_n= \begin{bmatrix} 4 & 4 & 4 & \ldots & 4\\ 4 & 8 & 8 & \ldots & 8 \\ 4 & 8 & 12 & \ldots & 12 \\ \vdots & \vdots & \vdots & \ddots & \vdots  \\ 4 & 8 & 12 & \ldots & 2(n-1) \\ \end{bmatrix} \end{equation*}

This matrix corresponds to four times the matrix on the previous page for half-rhomb tilings for odd n. To see this, one should note that the above tilings may be considered to be half-rhomb tilings as well, but the order of the tiles is different the ones on the previous page, because here we use the opening angle q\pi/n of the quarter rhomb  q \in (\frac{1}{2},1,\frac{3}{2},..,\frac{n-1}{2}), which corresponds to odd-p opening angles p\pi/n for isosceles triangles with p \in (1,n-2,3,n-4,5,..).

Quarter-rhomb Tilings for Even n.

This special type of aperiodic tiling is not only possible for odd n, but also for even n. Below the substitution tiles for n=8 are shown. The opening angles are p\pi/8 with p=\frac{1}{2}, 1, \frac{3}{2}, 2.

Because the right triangles always occur in mirrored pairs, the eventual tiling may also be considered to be a half-rhomb tiling with twice as many prototiles.

Right triangle or Quarter-rhomb tiles for n=8. The opening angles are \pi/2n, \pi/n, 3\pi/2n and 2\pi/n.
Mirror Symmetric Half-rhomb tiling for n=8.

Below a summary of the tiles for even n up to n=10 is shown. The basic prototiles are n/2 quarter-rhomb tiles. Alternatively, n half-rhombs may be assigned as prototiles by combining mirror symmetric pairs of quarter-rhombs. In the picture the n/2 full rhombs are shown, which are also important building blocks of the tilings.

Rhomb tiles cosisting of 4 mirror symmetric right triangular prototiles for even n and M=1+2c_1+ 2c_2+.. 2c_{n/2-1}.

The substitution matrix for even n and M=1+2c_1+ 2c_2+.. 2c_{n/2-1} is

(6)   \begin{equation*} \textbf{S}_n= \begin{bmatrix} 3 & 4 & 4 & 4 & \ldots & 4 & 2\\ 4 & 7  & 8 & 8 & \ldots & 8 & 4\\ 4 & 8  & 11 & 12 & \ldots & 12 &6 \\ 4 & 8  & 12 & 15 & \ldots & 16 & 8 \\ \vdots & \vdots & \vdots& \vdots & \ddots & \vdots & \vdots  \\ 4 & 8 & 12 & 16  & \ldots & 2n-5 & n-2  \\ 4 & 8 & 12 & 16  & \ldots & 2n-4 & n-1  \\ \end{bmatrix} \end{equation*}

i.e.

(7)   \begin{equation*}\textbf{S}_4=\begin{bmatrix}3 & 2 \\  4 & 3 \\ \end{bmatrix} \end{equation*}

(8)   \begin{equation*}\textbf{S}_6=\begin{bmatrix}3 & 4 & 2 \\  4 & 7 &  4  \\  4 & 8 & 5 \\ \end{bmatrix} \end{equation*}

(9)   \begin{equation*}\textbf{S}_8=\begin{bmatrix}3 & 4 &4 & 2 \\  4 & 7 & 8 & 4  \\ 4 & 8 & 11 & 6  \\ 4 & 8 & 12 & 7 \\ \end{bmatrix} \end{equation*}

(10)   \begin{equation*}\textbf{S}_{10}=\begin{bmatrix}3 & 4 & 4 & 4 & 2 \\  4 & 7 & 8 & 8 & 4 \\ 4 & 8 & 11 & 12 & 6 \\ 4 & 8 & 12 & 15 & 8 \\4 & 8 & 12 & 16 & 9\\ \end{bmatrix} \end{equation*}