Discrete Lyapunov exponents and Hausdorff dimension (Q4944629)

Let \(f:\mathbb{C} P\to\mathbb{C} P\) be a rational map of the Riemann sphere \(\mathbb{C} P\) of degree at least two and let \(E\) be all \(f\)-invariant ergodic measures supported on \(J(f)\) -- the Julia set. For \(\mu\in E\), \(f\) has two equal Lyapunov exponents \(\lambda_1(\mu)= \lambda_2(\mu)\geq 0\). Assuming that \(f\) is hyperbolic we obtain \(\dim_H J(f)= \sup_{\mu\in E} \frac{h(\mu)}{\lambda(\mu)}\), where \(h(\mu)\) is the \(\mu\)-entropy of \(f\). In this paper the author generalizes these results to the discrete levels. The author studies certain metrics on subshifts of finite type for which he defines the discrete analogs of Lyapunov exponents and applies his results to the Hausdorff dimension of the limit sets of geometrically finite, purely loxodromic, Kleinian groups.