IFS Encyclopedia

McWorter's Pentigree

Fractal dimension: log(6)/log(φ²) ≈ 1.862

Visualization

Open in IFStile ↗
AIFS program
@
$dim=4
$subspace=[s,0]
s=$companion([1,-1,1,-1])
g=2+s^2-s^3
A=g^-1*(s|s^3*[1,-1,1,-1]|s^9*[-1,0,0,1]|s^7*[-1,0,-1,1]|s^9*[0,0,1,0]|s*[2,-1,1,-1])*A

Overview

McWorter’s Pentigree is a self-similar fractal curve with 5-fold (pentagonal) symmetry, discovered accidentally by William McWorter during his searches for “dragon”-type fractals. It was first published in Byte magazine in 1987 and later analysed in detail by Gerald Edgar.

The name pentigree is a portmanteau of pentagon and filigree. Five copies of the pentigree fit together to form a set with exact 5-fold rotational symmetry.

Construction

Starting from the unit segment [0,1][0,1], the basic motif replaces each segment with six shorter segments of length r=352=1φ20.382r = \frac{3-\sqrt{5}}{2} = \frac{1}{\varphi^2} \approx 0.382 where φ=1+52\varphi = \frac{1+\sqrt{5}}{2} is the golden ratio. The six segments rotate by +36°+36°, +108°+108°, 36°-36°, 108°-108°, 36°-36°, +36°+36° successively, with the final endpoint landing exactly at (1,0)(1,0).

The contraction ratio r=1/φ2r = 1/\varphi^2 is determined by the constraint r+2rcos36°=1    r=11+2cos36°=11+φ=1φ2r + 2r\cos 36° = 1 \implies r = \frac{1}{1 + 2\cos 36°} = \frac{1}{1+\varphi} = \frac{1}{\varphi^2}

Algebraic Structure

The IFS lives in Q(ζ10)\mathbb{Q}(\zeta_{10}) where ζ10=eiπ/5\zeta_{10} = e^{i\pi/5} is a primitive 10th root of unity. The companion matrix ss (defined as $companion([1,-1,1,-1]) in AIFS) is the companion for Φ10(x)=x4x3+x2x+1\Phi_{10}(x) = x^4 - x^3 + x^2 - x + 1; in the projected plane seiπ/5s \leftrightarrow e^{i\pi/5} (rotation by 36°).

The expansion matrix can be simplified using s5=1s^5 = -1 (a consequence of Φ10(s)=0\Phi_{10}(s) = 0). Starting from g=s1(s2+s+1)g = s^{-1}(s^2+s+1) and substituting s1=s4s^{-1} = -s^4, then reducing s4=s3s2+s1s^4 = s^3-s^2+s-1:

g=2+s2s3g = 2 + s^2 - s^3

At the eigenvalue ζ10=eiπ/5\zeta_{10} = e^{i\pi/5}, this projects to 2+e2iπ/5e3iπ/5=2+2cos(72°)=φ22 + e^{2i\pi/5} - e^{3i\pi/5} = 2 + 2\cos(72°) = \varphi^2 (purely real, using cos(108°)=cos(72°)\cos(108°) = -\cos(72°) and sin(108°)=sin(72°)\sin(108°) = \sin(72°)). Thus g1g^{-1} is a pure contraction by r=1/φ2r = 1/\varphi^2 with no rotation, and the rotation of each map g1skg^{-1} \circ s^k is exactly 36°k36° \cdot k.

The six maps factor as A=g1(h1h6)(A)A = g^{-1}(h_1 \cup \cdots \cup h_6)(A) with:

MapRotationAIFS4D translation tkt_k2D translation
h1h_1+36°+36°s[0,0,0,0][0,0,0,0](0,0)(0,0)
h2h_2+108°+108°s^3*[1,-1,1,-1][1,1,1,1][1,-1,1,-1](rcos36°,rsin36°)(r\cos36°,\, r\sin36°)
h3h_336°-36°s^9*[-1,0,0,1][1,0,0,1][-1,0,0,1](1cos36°,sin36°)(1-\cos36°,\, \sin36°)
h4h_4108°-108°s^7*[-1,0,-1,1][1,0,1,1][-1,0,-1,1](12,rsin72°)(\frac{1}{2},\, r\sin72°)
h5h_536°-36°s^9*[0,0,1,0][0,0,1,0][0,0,1,0](r,0)(r,\, 0)
h6h_6+36°+36°s*[2,-1,1,-1][2,1,1,1][2,-1,1,-1](1rcos36°,rsin36°)(1-r\cos36°,\, -r\sin36°)

All 4D translation vectors are in Z4\mathbb{Z}^4 — no floating-point approximation. The key identity s5=1s^5 = -1 (since ζ105=1\zeta_{10}^5 = -1) gives s9=s1s^9 = s^{-1} and s7=s3s^7 = s^{-3}, explaining the short cycle of rotations.

Hausdorff Dimension

The similarity dimension satisfies 6rd=16 \cdot r^d = 1:

d=log6log(1/r)=log6logφ2=log62logφ1.862d = \frac{\log 6}{\log(1/r)} = \frac{\log 6}{\log \varphi^2} = \frac{\log 6}{2\log\varphi} \approx 1.862

Five-fold Symmetry

Five rotated copies of the pentigree, each rotated by 72°k72° \cdot k (k=0,1,2,3,4k=0,1,2,3,4), fit together without overlap to form a set with exact 5-fold rotational symmetry, sometimes called the “second form of McWorter’s pentigree” (Edgar, 1990). This packing mirrors how five equilateral triangles meet at a vertex of a regular pentagon.

The McWorter’s Pentadendrite lives in the same field Q(ζ10)\mathbb{Q}(\zeta_{10}) with the same companion matrix ss, but uses a different expansion g=3s+s2s3g = 3 - s + s^2 - s^3, giving a different contraction ratio and a dendrite (tree-like) rather than curve-like attractor. Both are in the same algebraic family of pentagonal IFS discovered by McWorter.

References

Similar

McWorter's Pentadendrite
planeself-similardendritepentagonalalgebraicclassic
Robinson Triangles
planeself-similaraperiodic-tilingpentagonalalgebraicgifsclassic
Cantor Dust
planeself-similaralgebraicclassic
Edit this page on GitHub ↗