Irrational rotation of the circle and the binary odometer are finitarily orbit equivalent (Q2459932)

Two invertible dynamical systems \((X, \mathcal {A}, \mu, T)\) and \((Y, \mathcal {B}, \nu, S)\), where \(X\) and \(Y\) are metrizable spaces, and \(T\) and \(S\) are homeomorphisms on \(X\) and \(Y\), are said to be finitarily orbit equivalent if there exists an invertible measure-preserving mapping \(\varphi\) from a subset \(M\) of \(X\) of measure one to a subset of \(Y\) of full measure such that: (i) \(\varphi | _{M}\) is continuous in the relative topology on \(M\), and \(\varphi ^{-1}| _{\varphi (M)}\) is continuous in the relative topology on \(\varphi (M)\), (ii) \(\varphi (\text{Orb}_{T} (x))=\text{Orb}_{S} \varphi (x)\) for \(\mu\)-almost every \(x \in X\). \textit{T. Hamachi} and \textit{M. S. Keane} [Bull. Lond. Math. Soc. 38, No. 3, 450--458 (2006; Zbl 1108.37006)] constructed the first finitarily orbit equivalence mapping between binary and ternary odometers using the notion of a ``tower map''. In this paper, \(X = [0, 1)\) is a compact topological group under a topology generated by a certain metric, \(\mathcal{A}\) is the \(\sigma\)-algebra generated by the topology, the Lebesgue measure \(\mu\) on \((X, \mathcal{A})\) is the normalized Haar measure on S. The invertible ergodic measure-preserving transformation \(T: X \to X\) given by \(Tx = x + \alpha\) (mod 1), where \(\alpha \in (0, 1)\) is irrational, is called an irrational rotation of the circle by \(\alpha\). Using a continued fraction representation of \(\alpha\), the author constructs ``cylinders'' in \(X\) from which tower partitions and tower maps are built. A finitary orbit equivalence mapping is then constructed between an irrational rotation of the circle and the binary odometer.