IFS Encyclopedia

Viper

Fractal dimension: 2

Visualization

Open in IFStile ↗
AIFS program
@
$dim=2
$subspace=[s,0]
s=$companion([1,1/2])
r=$exchange()
h0=1*[0,0]
h1=1*[2,4]
h2=1*[4,4]
h3=1*[4,8]
h4=-1*[-6,-8]
h5=s*[-3,-6]
h6=s*[-1,-6]
h7=-s*[-1,2]
h8=-s*[-3,2]
A=3^-1*(h0*A|h1*A|h2*A|h3*A|h4*A|h5*A|h6*A|h7*A|h8*A)

Overview

The Viper is a 2D IFS tile with 9 affine maps and a scalar inflation factor of 3. Unlike most tiles in this collection, it does not arise from a standard crystallographic symmetry group. Instead it uses an irrational rotation angle generated by the companion matrix ss (AIFS: $companion([1,1/2])), whose eigenvalues lie on the unit circle but at a transcendental angle.

Because the rotation ss is an irrational fraction of 2π2\pi, the symmetry group 1,s,s1,r\langle -1, s, s^{-1}, r \rangle is infinite and generates dense orientations — similar in spirit to the Pinwheel tiling.

Structure

The companion ss (AIFS: $companion([1,1/2])) satisfies s2+12s+1=0s^2 + \tfrac{1}{2}s + 1 = 0, giving eigenvalues e±iθe^{\pm i\theta} where θ=arccos(14)104.5°\theta = \arccos(-\tfrac{1}{4}) \approx 104.5° — an irrational multiple of π\pi.

The nine maps are generated by the group {1,1,s,s}\{1, -1, s, -s\} (rotations by 0°, 180°180°, θ\theta, 180°+θ180°+\theta) combined with integer translations:

MapIsometryTranslation
h0h_0identity[0,0][0,0]
h1h_1identity[2,4][2,4]
h2h_2identity[4,4][4,4]
h3h_3identity[4,8][4,8]
h4h_41-1 (180° rotation)[6,8][6,8]
h5h_5ss (rotate by θ\theta)[3,6][-3,-6]
h6h_6ss[1,6][-1,-6]
h7h_7s-s[1,2][-1,2]
h8h_8s-s[3,2][-3,2]

The IFS equation is:

A=13(h0h1h2h3h4h5h6h7h8)(A)A = \tfrac{1}{3}(h_0 \cup h_1 \cup h_2 \cup h_3 \cup h_4 \cup h_5 \cup h_6 \cup h_7 \cup h_8)(A)

The Moran equation 9(1/3)2=19 \cdot (1/3)^2 = 1 confirms that the Hausdorff dimension equals 2 (solid tile).

Properties

References

Similar

Ammann–Beenker Dual
planeself-similaraperiodic-tilingquasicrystalalgebraic
CAP (Hat Monotile)
planeself-similaraperiodic-tilingquasicrystalalgebraic
Cells Tiling
planeself-similaraperiodic-tilingquasicrystalalgebraic
Edit this page on GitHub ↗