Rauzy Fractal
Visualization
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
It is a compact subset of 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 is the real root of
i.e. the dominant eigenvalue of the substitution matrix. The companion matrix for the
polynomial (the $companion([-1,1,1]) constructor in AIFS) encodes this
algebraic structure in a integer matrix.
Rational Form
The Rauzy fractal is the attractor of three affine maps in :
where
and is the companion matrix for . Equivalently:
The rendering plane is the 2D eigenspace of corresponding to its complex conjugate
pair of eigenvalues with .
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 , , and .
Properties
- Dimension: 2 (positive area; the Rauzy fractal is a 2D tile)
- Tiling: tiles by translates of the integer lattice projected to the plane
- Boundary dimension: between 1 and 2 (fractal boundary)
- Symmetry: 3-fold symmetry related to the three letters of the tribonacci alphabet
References
- Rauzy, G. (1982). Nombres algébriques et substitutions. Bulletin de la Société Mathématique de France, 110, 147–178.
- Mekhontsev, D. (2019). An algebraic framework for finding and analyzing self-affine tiles and fractals. §9.5.
- Rauzy fractal — Wikipedia
- Hinsley, S. R. Self-Similar Tiles — Rauzy Tiles.