Symbolic dynamics for one dimensional maps with nonuniform expansion (Q2179484)

Given a piecewise \(C^{1+\beta}\) map of the interval, possibly with{critical} points and discontinuities, the author constructs a symbolic model for invariant probability measures with nonuniform expansion that does not approach the critical points and discontinuities exponentially fast almost surely. More specifically, for each \(\chi>0\) it is constructed a finite-to-one Hölder continuous map from a countable topological Markov shift to the natural extension of the interval map, that codes the lifts of all invariant probability measures with Lyapunov exponent greater than \(\chi\) almost everywhere. Consider a symbolical dynamical system \(S: \{0,1\}^{\mathbb Z}\to \{0,1\}^{\mathbb Z}\) with shift operator \(S\). If the subshift \(M\subset \{0,1\}^{\mathbb Z}\) is countable, then all recurrent points are periodic, and the theory of such subshift becomes more transparent. The proof of the mentioned result consists on implementing the construction of symbolic dynamics for nonuniformly hyperbolic systems. Applications such as the counting of periodic points and the countability of measures of maximal entropy are discussed.