IFS Encyclopedia

Rauzy Fractal

Fractal dimension: 2 (tile with fractal boundary)

Visualization

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

Overview

The Rauzy fractal (also called the Rauzy gasket or tribonacci fractal) was introduced by Gérard Rauzy in 1982 in connection with the tribonacci substitution

σ:112,213,31.\sigma: 1 \mapsto 12,\quad 2 \mapsto 13,\quad 3 \mapsto 1.

It is a compact subset of R2\mathbb{R}^2 with non-empty interior that tiles the plane by integer translates. Its boundary is a fractal curve with Hausdorff dimension between 1 and 2.

Tribonacci Constant

The tribonacci constant β1.3247\beta \approx 1.3247 is the real root of

β3=β2+β+1,\beta^3 = \beta^2 + \beta + 1,

i.e. the dominant eigenvalue of the substitution matrix. The companion matrix for the polynomial x3+x2+x1x^3 + x^2 + x - 1 (the $companion([-1,1,1]) constructor in AIFS) encodes this algebraic structure in a 3×33 \times 3 integer matrix.

Rational Form

The Rauzy fractal is the attractor of three affine maps in Q3\mathbb{Q}^3:

g3A=g2h1(A)gh2(A)h3(A)g^3 A = g^2 h_1(A) \cup g\, h_2(A) \cup h_3(A)

where h1(x)=x,h2(x)=x+[0,1,0],h3(x)=x+[0,1,1],h_1(\mathbf{x}) = \mathbf{x},\quad h_2(\mathbf{x}) = \mathbf{x}+[0,1,0],\quad h_3(\mathbf{x}) = \mathbf{x}+[0,1,1],

and gg is the companion matrix for x3+x2+x1x^3+x^2+x-1. Equivalently:

A=(g1g2[0,1,0]g3[0,1,1])AA = (g^{-1} \,|\, g^{-2}*[0,1,0] \,|\, g^{-3}*[0,1,1]) * A

The rendering plane is the 2D eigenspace of gg corresponding to its complex conjugate pair of eigenvalues λ,λˉ\lambda, \bar\lambda with λ=1/ββ1.356|\lambda| = 1/\sqrt{\beta} \cdot \beta \approx 1.356. The directive $subspace=[g,0] selects this eigenspace (index 0 in the sorted eigenvalue list).

Contraction Factors

On the projected 2D plane the three maps contract by factors λ10.738|\lambda|^{-1} \approx 0.738, λ20.545|\lambda|^{-2} \approx 0.545, and λ30.402|\lambda|^{-3} \approx 0.402.

Properties

References

Similar

Pinwheel Tiling
planeself-similaraperiodic-tilingalgebraicclassic
Robinson Triangles
planeself-similaraperiodic-tilingpentagonalalgebraicgifsclassic
Ammann–Beenker Dual
planeself-similaraperiodic-tilingquasicrystalalgebraic
Edit this page on GitHub ↗