IFS Encyclopedia

Golden Trapezoid

Fractal dimension: 2

Visualization

Open in IFStile ↗
AIFS program
@
$dim=4
$subspace=[g,0]
g=$companion([-1,0,1,0])
r=$companion([-1],[1],[-1],[1])
h0=-1*[-1,1,0,1]
h1=r*-1*[1,1,0,-1]
h2=r*[1,-1,0,0]
h3=1*[1,-1,1,0]
A=(g^-2*h0|g^-3*h1|g^-3*h2|g^-4*h3)*A

Overview

The Golden Trapezoid is a self-affine tile whose shape is determined by the roots of x4+x21=0x^4 + x^2 - 1 = 0. Like the Penrose tilings, it is linked to the golden ratio ϕ=1+52\phi = \frac{1+\sqrt{5}}{2}, but arises from a different algebraic polynomial.

The attractor fills a solid trapezoidal region of the plane with Hausdorff dimension 22.

Algebraic Structure

The IFS is defined in R4\mathbb{R}^4 (the rational space Q[x]/(x4+x21)\mathbb{Q}[x]/(x^4+x^2-1)) and projected to R2\mathbb{R}^2 via the dominant complex eigenspace of gg.

The expansion matrix gg (defined as $companion([-1,0,1,0]) in AIFS) is the companion matrix for x4+x21=0x^4 + x^2 - 1 = 0. Its eigenvalues come in two complex conjugate pairs:

The directive $subspace=[g,0] projects onto the Jordan cell of index 0 — the dominant complex pair — yielding the 2D rendered attractor.

The matrix rr (defined as $companion([-1],[1],[-1],[1]) in AIFS) is the companion for x4x3+x2x+1=Φ10(x)x^4 - x^3 + x^2 - x + 1 = \Phi_{10}(x), acting as a rotation/reflection in the rational space.

The Four Maps

The attractor satisfies A=g2h0(A)g3h1(A)g3h2(A)g4h3(A)A = g^{-2}h_0(A) \cup g^{-3}h_1(A) \cup g^{-3}h_2(A) \cup g^{-4}h_3(A) with four maps at different scales:

MapScale factorDefinition
h0h_0g2g^{-2}1(x+[1,1,0,1])-1 \cdot (\mathbf{x} + [-1,1,0,1])
h1h_1g3g^{-3}r(1)(x+[1,1,0,1])r \cdot (-1) \cdot (\mathbf{x} + [1,1,0,-1])
h2h_2g3g^{-3}r(x+[1,1,0,0])r \cdot (\mathbf{x} + [1,-1,0,0])
h3h_3g4g^{-4}1(x+[1,1,1,0])1 \cdot (\mathbf{x} + [1,-1,1,0])

The different scales break the strict self-similarity but the attractor remains a well-defined compact set whose Hausdorff dimension is 2.

Connection to the Golden Ratio

Both x4+x21=0x^4 + x^2 - 1 = 0 and the Penrose case Φ10(x)\Phi_{10}(x) are degree-4 polynomials over Q\mathbb{Q} with roots on the unit circle or at modulus 1\neq 1. The dominant eigenvalue magnitude λ=ϕ1/4|\lambda| = \phi^{1/4} where ϕ\phi is the golden ratio links this fractal structurally to Penrose-type aperiodic tilings.

References

Similar

Ammann–Beenker Tiling
planetilingquasicrystalalgebraicgifs
Gosper Island
planeself-similartilingalgebraic
Heighway Dragon
planecurvetilingalgebraicclassic
Edit this page on GitHub ↗