IFS Encyclopedia

Ammann A3 Tiling

Fractal dimension: 2 (solid tiles)
Boundary dimension: 1 (polyhedral)

Visualization

Open in IFStile ↗
AIFS program
@
$dim=4
$subspace=[x,0]
x=$companion([1,0,3,0])
s=x^3+2*x
g=s*x
h0=s*[0,0,0,1]
h1=1*[0,0,1,0]
h2=s*[0,0,0,0]
h3=1*[0,0,0,0]
h4=s^2*[0,0,0,0]
h5=s*[0,0,0,0]
h6=1*[0,0,0,0]
h7=s^3*[0,-1,0,0]
h8=s^2*[0,0,0,0]
A=g^-1*(h0*A|h1*C)
B=g^-1*(h2*A|h3*A|h4*B)
C=g^-1*(h5*A|h6*A|h7*A|h8*B)

Overview

The Ammann A3 tiling is an aperiodic tiling of the plane discovered by Robert Ammann around 1977 and first published in Grünbaum & Shephard (1987), where it was named A3 in the series Ammann A1–A5. The tiling uses three prototile types and a self-similar substitution rule governed by the golden ratio φ=1+52\varphi = \tfrac{1+\sqrt{5}}{2} as the inflation factor.

The tiling is a Euclidean windowed (cut-and-project) tiling with finite rotational symmetry, and falls in the same golden-ratio family as the Penrose tilings.

The Three Tile Types

Open in IFStile ↗
Tile AA
Open in IFStile ↗
Tile BB
Open in IFStile ↗
Tile CC

Substitution Rules

Each prototile decomposes into smaller copies of the three types under inflation by gg (scaling by φ\varphi in the rendering plane):

gA=h0(A)h1(C)g \cdot A = h_0(A) \cup h_1(C) gB=h2(A)h3(A)h4(B)g \cdot B = h_2(A) \cup h_3(A) \cup h_4(B) gC=h5(A)h6(A)h7(A)h8(B)g \cdot C = h_5(A) \cup h_6(A) \cup h_7(A) \cup h_8(B)

The substitution matrix (column jj = counts of each tile type in the decomposition of tile jj) is:

M=(123011100)M = \begin{pmatrix} 1 & 2 & 3 \\ 0 & 1 & 1 \\ 1 & 0 & 0 \end{pmatrix}

The Perron–Frobenius eigenvalue of MM is φ2\varphi^2, consistent with areas scaling by φ2\varphi^2 under the inflation.

Algebraic Structure

The tiling lives in the ring Z[φ]2Z[x]/(x4+3x2+1)\mathbb{Z}[\varphi]^2 \cong \mathbb{Z}[x]/(x^4 + 3x^2 + 1). The companion matrix xx (defined as $companion([1,0,3,0]) in AIFS) satisfies

x4+3x2+1=0.x^4 + 3x^2 + 1 = 0.

This polynomial factors over Q(5)\mathbb{Q}(\sqrt{5}) as (x2+φ2)(x2+φ2)(x^2 + \varphi^2)(x^2 + \varphi^{-2}), giving eigenvalues ±iφ\pm i\varphi (modulus φ\varphi) and ±i/φ\pm i/\varphi (modulus 1/φ1/\varphi). The directive $subspace=[x,0] selects the eigenplane of ±iφ\pm i\varphi as the 2D rendering space.

The auxiliary variable s=x3+2xs = x^3 + 2x evaluates to i-i on the eigenvalue iφi\varphi, so ss acts as a 90° rotation in the rendering plane. The expansion matrix

g=sxg = s \cdot x

has eigenvalue g(iφ)=(i)(iφ)=φg(i\varphi) = (-i)(i\varphi) = \varphi, confirming that each inflation step scales the tiles by φ\varphi.

References

Similar

Ammann–Beenker Dual
planetilingaperiodic-tilingquasicrystalalgebraicgifs
CAP (Hat Monotile)
planeself-similartilingaperiodic-tilingquasicrystalalgebraicgifs
Cells Tiling
planeself-similartilingaperiodic-tilingquasicrystalalgebraicgifs
Edit this page on GitHub ↗