IFS Encyclopedia

Twin Dragon

Fractal dimension: 2

Visualization

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

Overview

The Twin Dragon (also called the twindragon or Davis–Knuth dragon) is a self-similar fractal with Hausdorff dimension 2 — it has positive area and is a connected solid region. It is formed by joining two copies of the Heighway Dragon along their boundaries; the two copies fit together perfectly because the Heighway Dragon’s boundary is a matching fractal curve.

The Twin Dragon is a rep-2 tile: two congruent copies tile a scaled copy of itself, and by repeating this, four copies of the Twin Dragon tile the plane.

Algebraic Structure

The IFS is controlled by the polynomial x22x+2x^2 - 2x + 2, whose roots are 1±i1 \pm i. The expansion matrix is:

g=(1111)g = \begin{pmatrix}1 & -1 \\ 1 & 1\end{pmatrix}

The matrix gg represents complex multiplication by 1+i1 + i: it expands distances by 1+i=2|1+i| = \sqrt{2} and rotates by 45°. Its inverse g1=12(1111)g^{-1} = \frac{1}{2}\begin{pmatrix}1 & 1 \\ -1 & 1\end{pmatrix} corresponds to multiplication by 1i2\frac{1-i}{2}.

IFS Definition

The Twin Dragon AA is the unique non-empty compact set satisfying:

A=g1 ⁣(h0(A)h1(A))A = g^{-1}\!\bigl(h_0(A) \cup h_1(A)\bigr)

where the two maps use symmetric shifts ±1\pm 1 along the real axis:

h0(x)=x+(1,0),h1(x)=x+(1,0)h_0(x) = x + (-1,\,0), \qquad h_1(x) = x + (1,\,0)

Both pre-maps are pure translations. Expanding:

f1(x)=12(1111)x+(1/21/2),f2(x)=12(1111)x+(1/21/2).\begin{aligned} f_1(x) &= \frac{1}{2}\begin{pmatrix}1 & 1 \\ -1 & 1\end{pmatrix} x + \begin{pmatrix}-1/2 \\ 1/2\end{pmatrix}, \\ f_2(x) &= \frac{1}{2}\begin{pmatrix}1 & 1 \\ -1 & 1\end{pmatrix} x + \begin{pmatrix}1/2 \\ -1/2\end{pmatrix}. \end{aligned}

Both maps share the same linear part g1g^{-1} and differ only in translation. In complex notation:

f1(z)=1i2(z1),f2(z)=1i2(z+1)f_1(z) = \frac{1-i}{2}(z - 1), \qquad f_2(z) = \frac{1-i}{2}(z + 1)

The attractor is symmetric about the origin (maps are related by zzz \mapsto -z). Both maps contract by 12\frac{1}{\sqrt{2}}, giving self-similar dimension log2log2=2\frac{\log 2}{\log \sqrt{2}} = 2.

Properties

Aspect Ratio from Second Moments

The geometric aspect ratio of the Twin Dragon — the ratio of standard deviations along the principal axes of its area distribution — equals exactly 1/φ1/\varphi, where φ=1+52\varphi = \tfrac{1+\sqrt{5}}{2} is the golden ratio. This is surprising: the Twin Dragon is defined purely via the Gaussian integer 1+i1+i, with no pentagonal or Fibonacci structure in its construction.

The result follows by solving the covariance fixed-point equation for the self-similar measure. Since the similarity dimension equals 2, that measure coincides with Lebesgue area, so MM captures the actual shape of the attractor. The matrix M=xxTdμM = \int xx^T\,d\mu satisfies M=A0MA0T+b1b1TM = A_0 M A_0^T + b_1 b_1^T, with unique solution:

M=15(2113)M = \frac{1}{5}\begin{pmatrix}2 & -1 \\ -1 & 3\end{pmatrix}

The eigenvalues are I1,2=1152I_{1,2} = \frac{1 \mp \frac{1}{\sqrt{5}}}{2}, giving:

I1I2=1φ0.618\sqrt{\frac{I_1}{I_2}} = \frac{1}{\varphi} \approx 0.618

The same constant φ\varphi also governs the orientation: the major axis of the Twin Dragon makes an angle arctanφ58.3°-\arctan\varphi \approx -58.3° with the horizontal, in the direction (1,φ)(1, -\varphi).

For a proof see Mekhontsev (2026).

References

Similar

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