The Bernoulli property of inner functions (Q4024951)

Consider an inner function \(f: D\to D\) with a fixed point \(p\in D\). Then the boundary map \(f^*: \partial D\to \partial D\) preserves the harmonic measure \(\lambda_ p\) associated to \(p\) and the system \((f^*,\lambda_ p)\) has some remarkable ergodic properties. As an example, \textit{J. Aaronson} [Ann. Inst. Henri Poincaré, N. Ser., Sect. B 14, 233-253 (1978; Zbl 0378.28009)] and \textit{J. H.Neuwirth} [Isr. J. Math. 31, 359-367 (1978; Zbl 0411.30022)] showed that \((f^*,\lambda_ p)\) is exact, i.e., denoting by \({\mathcal B}(S^ 1)\) the Borel \(\sigma\)- algebra of \(S^ 1\), the \(\sigma\)-algebra \({\mathcal A}:=\bigcap_{n=0}^ \infty (f^*)^{-n}({\mathcal B}(S^ 1))\) contains only sets of \(\lambda_ p\)-measure zero or one. A natural question that arise in this context is if the natural Rohlin extension of such a system is equivalent to a generalized Bernoulli shift [\textit{D. Ornstein}, Ergodic theory, randomness and dynamical systems, Yale Univ. Press.], which is stronger than being exact and in fact the strongest ergodic property that a non-invertible system can have. In this paper we prove this fact. The main tool used in the existence of certain partitions of \(\partial D\) such that the behaviour of \((f^*)^{-n}\) with respect to them is smooth. This fact is quite remarkable, since \(f^*\) can be highly discontinuous, and is proved by \textit{M. Craizer} [Isr. J. Math. 74, No. 2-3, 129-168 (1991; Zbl 0744.30024)].