IFS Encyclopedia

Tame Twin Dragon

Fractal dimension: 2
Boundary dimension: ≈ 1.2108

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 Twin 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

Boundary Dimension

The boundary A\partial A has Hausdorff dimension

dimH(A)=2logλlog21.2108,\dim_H(\partial A) = \frac{2\log\lambda}{\log 2} \approx 1.2108,

where λ\lambda is the unique positive real root of λ3λ2=0\lambda^3 - \lambda - 2 = 0,, λ1.5214\lambda \approx 1.5214.

The full characteristic polynomial of the boundary substitution is x5x4+x3x24x^5-x^4+x^3-x^2-4, which factors over Q\mathbb{Q} as (x3x2)(x2x+2)(x^3-x-2)(x^2-x+2). The second factor contributes only complex roots, so the minimal polynomial governing dimH(A)\dim_H(\partial A) is λ3λ2=0\lambda^3-\lambda-2=0.

References

Similar

CAP (Hat Monotile)
planeself-similartilingaperiodic-tilingquasicrystalalgebraicgifs
Cells Tiling
planeself-similartilingaperiodic-tilingquasicrystalalgebraicgifs
Danzer's 7-Fold Tiling
planeself-similartilingaperiodic-tilingquasicrystalalgebraicgifs
Edit this page on GitHub ↗