IFS Encyclopedia

McWorter's Pentigree

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

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=3−52=1φ2≈0.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+2rcos⁡36°=1  ⟹  r=11+2cos⁡36°=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)=x4−x3+x2−x+1\Phi_{10}(x) = x^4 - x^3 + x^2 - x + 1; in the projected plane s↔eiπ/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=s−1(s2+s+1)g = s^{-1}(s^2+s+1) and substituting s−1=−s4s^{-1} = -s^4, then reducing s4=s3−s2+s−1s^4 = s^3-s^2+s-1:

g=2+s2−s3g = 2 + s^2 - s^3

At the eigenvalue ζ10=eiπ/5\zeta_{10} = e^{i\pi/5}, this projects to 2+e2iπ/5−e3iπ/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 g−1g^{-1} is a pure contraction by r=1/φ2r = 1/\varphi^2 with no rotation, and the rotation of each map g−1∘skg^{-1} \circ s^k is exactly 36°⋅k36° \cdot k.

The six maps factor as A=g−1(h1∪⋯∪h6)(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](rcos⁡36°, rsin⁡36°)(r\cos36°,\, r\sin36°)
h3h_3−36°-36°s^9*[-1,0,0,1][−1,0,0,1][-1,0,0,1](1−cos⁡36°, sin⁡36°)(1-\cos36°,\, \sin36°)
h4h_4−108°-108°s^7*[-1,0,-1,1][−1,0,−1,1][-1,0,-1,1](12, rsin⁡72°)(\frac{1}{2},\, r\sin72°)
h5h_5−36°-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](1−rcos⁡36°, −rsin⁡36°)(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=s−1s^9 = s^{-1} and s7=s−3s^7 = s^{-3}, explaining the short cycle of rotations.

Hausdorff Dimension

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

d=log⁡6log⁡(1/r)=log⁡6log⁡φ2=log⁡62log⁡φ≈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.

Boundary Dimension

The boundary ∂A\partial A has Hausdorff dimension

dim⁡H(∂A)=2log⁡3log⁡φ4=log⁡94log⁡φ≈1.142,\dim_H(\partial A) = \frac{2\log 3}{\log\varphi^4} = \frac{\log 9}{4\log\varphi} \approx 1.142,

where φ=(1+5)/2\varphi = (1+\sqrt{5})/2 is the golden ratio and φ4=(7+35)/2≈6.854\varphi^4 = (7+3\sqrt{5})/2 \approx 6.854 is the expansion factor of the IFS. The value φ4\varphi^4 satisfies p2−7p+1=0p^2 - 7p + 1 = 0.

with the same companion matrix ss, but uses a different expansion g=3−s+s2−s3g = 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 ↗