Entropy versus orbit equivalence for minimal homeomorphisms (Q1326967)

The authors construct examples of minimal homeomorphisms of all possible (topological) entropies (including infinite entropy) which are orbit equivalent in a particularly strong way to the dyadic adding machine. They also establish that any minimal homeomorphism of the Cantor set is (strongly) orbit equivalent to one of zero entropy. Two spaces with homeomorphisms, \((X_ i, \phi_ i)\) \((i = 1,2)\) are orbit equivalent if there is a homeomorphism \(F : X_ 1 \to X_ 2\) that maps orbit to orbits. In this case we obtain functions \(n : X_ 1 \to \mathbb{Z}\) such that \(F \phi_ 1(x) = \phi^{n(x)}_ 2 F(x)\) and \(F \phi^{m(x)}_ 1 (x) = \phi_ 2 F(x)\). \((X_ 1, \phi_ 1)\) and \((X_ 2, \phi_ 2)\) are said to be strongly orbit equivalent if \(m\) and \(n\) each have at most one point of discontinuity. The authors use the concept of Bratteli diagrams and associated dimension groups to produce their ingenious construction because the adding machine arises from a simple Bratteli diagram. [See \textit{R. H. Herman, I. F. Putnam} and \textit{C. F. Skau}, Int. J. Math. 3, No. 6, 827-864 (1992; Zbl 0786.46053)].