Rauzy induction of polygon partitions and toral $ \mathbb{Z}^2 $-rotations

Abstract

<p style='text-indent:20px;'>We extend the notion of Rauzy induction of interval exchange transformations to the case of toral <inline-formula><tex-math id="M1">\begin{document}$ \mathbb{Z}^2 $\end{document}</tex-math></inline-formula>-rotation, i.e., <inline-formula><tex-math id="M2">\begin{document}$ \mathbb{Z}^2 $\end{document}</tex-math></inline-formula>-action defined by rotations on a 2-torus. If <inline-formula><tex-math id="M3">\begin{document}$ \mathscr{X}_{\mathscr{P}, R} $\end{document}</tex-math></inline-formula> denotes the symbolic dynamical system corresponding to a partition <inline-formula><tex-math id="M4">\begin{document}$ \mathscr{P} $\end{document}</tex-math></inline-formula> and <inline-formula><tex-math id="M5">\begin{document}$ \mathbb{Z}^2 $\end{document}</tex-math></inline-formula>-action <inline-formula><tex-math id="M6">\begin{document}$ R $\end{document}</tex-math></inline-formula> such that <inline-formula><tex-math id="M7">\begin{document}$ R $\end{document}</tex-math></inline-formula> is Cartesian on a sub-domain <inline-formula><tex-math id="M8">\begin{document}$ W $\end{document}</tex-math></inline-formula>, we express the 2-dimensional configurations in <inline-formula><tex-math id="M9">\begin{document}$ \mathscr{X}_{\mathscr{P}, R} $\end{document}</tex-math></inline-formula> as the image under a <inline-formula><tex-math id="M10">\begin{document}$ 2 $\end{document}</tex-math></inline-formula>-dimensional morphism (up to a shift) of a configuration in <inline-formula><tex-math id="M11">\begin{document}$ \mathscr{X}_{\widehat{\mathscr{P}}|_W, \widehat{R}|_W} $\end{document}</tex-math></inline-formula> where <inline-formula><tex-math id="M12">\begin{document}$ \widehat{\mathscr{P}}|_W $\end{document}</tex-math></inline-formula> is the induced partition and <inline-formula><tex-math id="M13">\begin{document}$ \widehat{R}|_W $\end{document}</tex-math></inline-formula> is the induced <inline-formula><tex-math id="M14">\begin{document}$ \mathbb{Z}^2 $\end{document}</tex-math></inline-formula>-action on <inline-formula><tex-math id="M15">\begin{document}$ W $\end{document}</tex-math></inline-formula>.</p><p style='text-indent:20px;'>We focus on one example, <inline-formula><tex-math id="M16">\begin{document}$ \mathscr{X}_{\mathscr{P}_0, R_0} $\end{document}</tex-math></inline-formula>, for which we obtain an eventually periodic sequence of 2-dimensional morphisms. We prove that it is the same as the substitutive structure of the minimal subshift <inline-formula><tex-math id="M17">\begin{document}$ X_0 $\end{document}</tex-math></inline-formula> of the Jeandel–Rao Wang shift computed in an earlier work by the author. As a consequence, <inline-formula><tex-math id="M18">\begin{document}$ {\mathscr{P}}_0 $\end{document}</tex-math></inline-formula> is a Markov partition for the associated toral <inline-formula><tex-math id="M19">\begin{document}$ \mathbb{Z}^2 $\end{document}</tex-math></inline-formula>-rotation <inline-formula><tex-math id="M20">\begin{document}$ R_0 $\end{document}</tex-math></inline-formula>. It also implies that the subshift <inline-formula><tex-math id="M21">\begin{document}$ X_0 $\end{document}</tex-math></inline-formula> is uniquely ergodic and is isomorphic to the toral <inline-formula><tex-math id="M22">\begin{document}$ \mathbb{Z}^2 $\end{document}</tex-math></inline-formula>-rotation <inline-formula><tex-math id="M23">\begin{document}$ R_0 $\end{document}</tex-math></inline-formula> which can be seen as a generalization for 2-dimensional subshifts of the relation between Sturmian sequences and irrational rotations on a circle. Batteries included: the algorithms and code to reproduce the proofs are provided.</p>

Strongly aperiodic SFTs on generalized Baumslag–Solitar groups

“…THEOREM 5.1. (Labbé, Mann and McLoud-Mann [39], Labbé [37,38]) There exists an aperiodic, minimal SFT X 0 such that its non-expansive directions are given by the lines of slope {0, ϕ + 3, 2 − 3ϕ, 5 2 − ϕ}, where ϕ = (1 + √ 5)/2 is the golden mean.…”

Three characterizations of a self-similar aperiodic 2-dimensional subshift

“…The 2-dimensional subshift Ω U was introduced in [Lab19a] and discovered during the study of the substitutive structure [Lab19b] of the Jeandel-Rao Wang shift [JR15]. Its description as the coding of a toral Z 2 -action was presented in [Lab20a] and its substitutive structure was further developed in [Lab20c]. This chapter provides a transversal reading of results divided in four different articles and gathers the methods introduced by focussing on the self-similar subshift hidden in the Jeandel-Rao Wang shift.…”