Edrei's conjecture revisited (Q1693295)

Let \((X, T)\) be a dynamical system. A point \(x \in X\) is regularly recurrent if for every open set \(U, x \in U\) there is an \(n\) such that \(T^{\mathrm{in}}(x) \in U\) for every \(i = 0, 1, \dots\). If there exists a regularly recurrent point \(x \in X\) such that \(\mathrm{Cl}(\operatorname{Orb}(x, T)) = X\) and additionally \((X, T)\) is equicontinuous, then we say that \((X, T)\) is an odometer. Motivated by a recent result of \textit{K. C. Ciesielski} and \textit{J. Jasinski} [J. Math. Anal. Appl. 434, No. 2, 1267--1280 (2016; Zbl 1331.37012)], where they give a new counterexample to a conjecture of \textit{A. Edrei} [Proc. Lond. Math. Soc. (3) 2, 272--278 (1952; Zbl 0047.16301)], the authors prove the following theorem for an odometer defined on Cantor set \(C\): Theorem. Every odometer is conjugate to a homeomorphism \(f : C \rightarrow C\), \(C \subset {\mathbb{R}}\), such that \(f' = 0\) and \(f\) extends to a differentiable surjection \(f : {\mathbb{R}} \rightarrow {\mathbb{R}}\). By Remark 2.2 in the paper, it is clear that if \(f' = 0\), then \(f\) has is locally radially shrinking, i.e., for every \(x \in X\) there exists \(\epsilon_x > 0\) such that \(d(x, y) < \epsilon_x\) implies \(d(f(x), f(y)) < d(x, y)\) for all \(y \neq x\). Thus, odometers can serve as counterexamples to the above-mentioned conjecture . Further on, several concrete counterexamples of Cantor set homeomorphisms \(f : C \rightarrow C\) are given (whithout equicontinuity requirement), such that \(f' = 0\).