IFS Encyclopedia

Tame Twin Dragon

Fractal dimension: 2

Visualization

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

Overview

The tame twin dragon is a self-similar tile of the plane constructed from two affine maps, both contracting by 1/21/\sqrt{2}. Its attractor has Hausdorff dimension 2 — it tiles the plane with positive area.

The name distinguishes it from the classical Heighway dragon and its variants: the “tame” qualifier indicates the tile has well-behaved (simply connected, no holes) topology.

Algebraic Structure

The construction is based on the companion matrix gg of the polynomial x2x+2x^2 - x + 2:

g2g+2=0g^2 - g + 2 = 0

The eigenvalue of gg in the upper half-plane is:

λ=1+i72,λ2=1+74=2\lambda = \frac{1 + i\sqrt{7}}{2}, \qquad |\lambda|^2 = \frac{1 + 7}{4} = 2

This number lives in the ring Z ⁣[1+72]\mathbb{Z}\!\left[\tfrac{1+\sqrt{-7}}{2}\right] — the ring of integers of Q(7)\mathbb{Q}(\sqrt{-7}). The norm of λ\lambda is 2, making it a valid base for a radix number system.

The two IFS maps in AIFS are h0=g1[0,0]h_0 = g^{-1} \cdot [0,0] and h1=g1[1,0]h_1 = g^{-1} \cdot [1,0], with digit set {0,1}\{0, 1\}. In the eigenvalue basis (rendered via $subspace=[g,0]) they become:

h0(z)=zλ,h1(z)=z+1λh_0(z) = \frac{z}{\lambda}, \qquad h_1(z) = \frac{z + 1}{\lambda}

The attractor AA is the unique compact set satisfying:

A=h0(A)h1(A)=1λ(A(A+1))A = h_0(A) \cup h_1(A) = \frac{1}{\lambda}\bigl(A \cup (A + 1)\bigr)

The Hausdorff dimension equals exactly 2:

d=log2logλ=log2log2=2d = \frac{\log 2}{\log |\lambda|} = \frac{\log 2}{\log \sqrt{2}} = 2

Properties

References

Similar

Gosper Island
planeself-similartilingalgebraic
Jerusalem Cross
planetilingalgebraicself-similar
Lévy C Curve
planecurveself-similartilingalgebraic
Edit this page on GitHub ↗