Dynamics of inner functions revisited

We study the circle restrictions of inner functions of the unit disc showing that the local invertibility of a restriction is independent of its singularity set and proving a local characterization of analytic conditional expectations. We establish central limit properties for some stochastic processes driven by probability preserving restrictions via spectral analysis of their perturbed transfer operators.