On preimage entropy, folding entropy and stable entropy

For non-invertible dynamical systems, we investigate how ‘non-invertible’ a system is and how the ‘non-invertibility’ contributes to the entropy from different viewpoints. For a continuous map on a compact metric space, we propose a notion of pointwise metric preimage entropy for invariant measures. For systems with uniform separation of preimages, we establish a variational principle between this version of pointwise metric preimage entropy and pointwise topological entropies introduced by Hurley [On topological entropy of maps. Ergod. Th. & Dynam. Sys.15 (1995), 557–568], which answers a question considered by Cheng and Newhouse [Pre-image entropy. Ergod. Th. & Dynam. Sys.25 (2005), 1091–1113]. Under the same condition, the notion coincides with folding entropy introduced by Ruelle [Positivity of entropy production in nonequilibrium statistical mechanics. J. Stat. Phys.85(1–2) (1996), 1–23]. For a $C^{1}$ -partially hyperbolic (non-invertible and non-degenerate) endomorphism on a closed manifold, we introduce notions of stable topological and metric entropies, and establish a variational principle relating them. For $C^{2}$ systems, the stable metric entropy is expressed in terms of folding entropy (namely, pointwise metric preimage entropy) and negative Lyapunov exponents. Preimage entropy could be regarded as a special type of stable entropy when each stable manifold consists of a single point. Moreover, we also consider the upper semi-continuity for both of pointwise metric preimage entropy and stable entropy and give a version of the Shannon–McMillan–Breiman theorem for them.