Rauzy_fractal
In mathematics, the Rauzy fractal is a fractal set associated with the Tribonacci substitution
It was studied in 1981 by Gérard Rauzy,[1] with the idea of generalizing the dynamic properties of the Fibonacci morphism. That fractal set can be generalized to other maps over a 3-letter alphabet, generating other fractal sets with interesting properties, such as periodic tiling of the plane and self-similarity in three homothetic parts.
Tribonacci word
The infinite tribonacci word is a word constructed by iteratively applying the Tribonacci or Rauzy map : , , .[2][3] It is an example of a morphic word. Starting from 1, the Tribonacci words are:[4]
We can show that, for , ; hence the name "Tribonacci".
Fractal construction
Consider, now, the space with cartesian coordinates (x,y,z). The Rauzy fractal is constructed this way:[5]
1) Interpret the sequence of letters of the infinite Tribonacci word as a sequence of unitary vectors of the space, with the following rules (1 = direction x, 2 = direction y, 3 = direction z).
2) Then, build a "stair" by tracing the points reached by this sequence of vectors (see figure). For example, the first points are:
etc...Every point can be colored according to the corresponding letter, to stress the self-similarity property.
3) Then, project those points on the contracting plane (plane orthogonal to the main direction of propagation of the points, none of those projected points escape to infinity).
- Can be tiled by three copies of itself, with area reduced by factors , and with solution of : .
- Stable under exchanging pieces. We can obtain the same set by exchanging the place of the pieces.
- Connected and simply connected. Has no hole.
- Tiles the plane periodically, by translation.
- The matrix of the Tribonacci map has as its characteristic polynomial. Its eigenvalues are a real number , called the Tribonacci constant, a Pisot number, and two complex conjugates and with .
- Its boundary is fractal, and the Hausdorff dimension of this boundary equals 1.0933, the solution of .[6]
For any unimodular substitution of Pisot type, which verifies a coincidence condition (apparently always verified), one can construct a similar set called "Rauzy fractal of the map". They all display self-similarity and generate, for the examples below, a periodic tiling of the plane.
- s(1)=12, s(2)=31, s(3)=1
- s(1)=12, s(2)=23, s(3)=312
- s(1)=123, s(2)=1, s(3)=31
- s(1)=123, s(2)=1, s(3)=1132
- Rauzy, Gérard (1982). "Nombres algébriques et substitutions" (PDF). Bull. Soc. Math. Fr. (in French). 110: 147–178. Zbl 0522.10032.
- Lothaire (2005) p.525
- Pytheas Fogg (2002) p.232
- Lothaire (2005) p.546
- Pytheas Fogg (2002) p.233
- Messaoudi, Ali (2000). "Frontière du fractal de Rauzy et système de numération complexe. (Boundary of the Rauzy fractal and complex numeration system)" (PDF). Acta Arith. (in French). 95 (3): 195–224. Zbl 0968.28005.
- Arnoux, Pierre; Harriss, Edmund (August 2014). "WHAT IS... a Rauzy Fractal?". Notices of the American Mathematical Society. 61 (7): 768–770. doi:10.1090/noti1144.
- Berthé, Valérie; Siegel, Anne; Thuswaldner, Jörg (2010). "Substitutions, Rauzy fractals and tilings". In Berthé, Valérie; Rigo, Michel (eds.). Combinatorics, automata, and number theory. Encyclopedia of Mathematics and its Applications. Vol. 135. Cambridge: Cambridge University Press. pp. 248–323. ISBN 978-0-521-51597-9. Zbl 1247.37015.
- Lothaire, M. (2005). Applied combinatorics on words. Encyclopedia of Mathematics and its Applications. Vol. 105. Cambridge University Press. ISBN 978-0-521-84802-2. MR 2165687. Zbl 1133.68067.
- Pytheas Fogg, N. (2002). Berthé, Valérie; Ferenczi, Sébastien; Mauduit, Christian; Siegel, Anne (eds.). Substitutions in dynamics, arithmetics and combinatorics. Lecture Notes in Mathematics. Vol. 1794. Berlin: Springer-Verlag. ISBN 3-540-44141-7. Zbl 1014.11015.