Symbolic dynamics for surface diffeomorphisms with positive topological entropy
arXiv:1105.1650
Abstract
Suppose f is a C^{1+ε} surface diffeomorphism with positive topological entropy. For every positive δstrictly smaller than the topological entropy of f we construct an invariant Borel set E such that (a) f|E has a countable Markov partition; and (b) E has full measure with respect to any ergodic invariant probability measure with entropy larger than δ. This allows us to prove the following conjecture of A. Katok: if f is C^\infty with topological entropy h>0, and if P_n(f)=#{x:f^n(x)=x}, then limsup P_n(f)/exp(nh)>0.
Added some references, corrected some typos