Equilibrium states of almost Anosov diffeomorphisms

We develop a thermodynamic formalism for a class of diffeomorphisms of a torus that are"almost-Anosov". In particular, we use a Young tower construction to prove the existence and uniqueness of equilibrium states for a collection of non-H\"older continuous geometric potentials over almost Anosov systems with an indifferent fixed point, as well as prove exponential decay of correlations and the central limit theorem for these equilibrium measures.

1. Introduction. In [3], Hu gave conditions on the existence of Sinai-Ruelle-Bowen (SRB) measures for a class of surface diffeomorphisms that are hyperbolic everywhere except at a finite set of indifferent fixed points (that is, fixed points p of the map f : M → M such that Df p = id). Maps that are uniformly hyperbolic away from finitely many points are known as "almost Anosov" diffeomorphisms, and they provide a class of nonuniformly hyperbolic diffeomorphisms that are, in a sense, as close to being uniformly hyperbolic as one can ask for. With this in mind, when one would like to investigate certain properties of nonuniformly hyperbolic systems, a good starting point may be almost Anosov and almost hyperbolic maps due to the structure built into the definition of these maps. (See [1], for example, on "almost axiom A diffeomorphisms".) Among the similarities between Anosov and almost Anosov diffeomorphisms is the fact that the tangent bundle has a splitting T M = E u ⊕ E s into stable and unstable subspaces, and except at the singularities of the almost Anosov diffeomorphism, this splitting is continuous. This was proven in [3] as part of the proof that almost Anosov diffeomorphisms admit SRB measures. In particular, the geometric t-potentials φ t (x) = −t log Df x | E u (x) are well-defined for almost Anosov diffeomorphisms, but may not be Hölder continuous at the indifferent fixed points. In this paper, we discuss equilibrium measures for almost Anosov diffeomorphisms, using φ t as our potential function.
One of the more well-known explicit examples of a nonuniformly hyperbolic surface diffeomorphism with an indifferent fixed point is the Katok map of the torus, introduced in [5]. The authors of [7] effected thermodynamic formalism for this map by proving the existence and uniqueness of equilibrium measures for geometric t-potentials. Their techniques were largely based on arguments developed in [8], which discussed thermodynamics of diffeomorhpisms admitting Young towers. It should be noted that the Katok map is not an example of an almost Anosov diffeomorphism, because the definition of almost Anosov diffeomorphisms includes strong conditions on the stable and unstable cones that are not satisfied by the Katok map (specifically condition (ii) of definition 2.1). However, the Young tower construction in [7] for the Katok map provides a framework to effect thermodynamics for a broad class of nonuniformly hyperbolic maps with finitely many non-hyperbolic fixed points. In particular, our arguments use the results of [8] as well by showing that almost Anosov surface diffeomorphisms with an indifferent fixed point admit Young towers, and concluding that certain geometric t-potentials uniquely admit equilibrium measures.
The almost Anosov maps we consider are somewhat restricted. For example, an almost Anosov diffeomorphism may have non-hyperbolic fixed points that are not indifferent. If p ∈ M is a non-hyperbolic non-indifferent fixed point, there are three possibilities for the differential Df p : (1) the differential has one eigenvalue of 1 and another eigenvalue 0 < λ < 1; (2) the differential has one eigenvalue of 1 and another eigenvalue λ > 1; (3) the differential is non-diagonalizable.
In [4], an example of case (1) was discussed and shown to not admit an SRB measure. Rather, this map admits what is referred to as an "infinite SRB measure", or a measure µ whose conditional measures on unstable leaves are absolutely continuous with respect to Lebesgue, µ(M \ U ) < ∞ for any neighborhood U of the set of non-hyperbolic fixed points, and µ(M ) = ∞. In [3], the author makes the heuristic observation that even for almost Anosov maps with indifferent fixed points, if the differentials exhibit stronger contraction than expansion as points approach indifferent singularities, one may expect to find this map admits an infinite SRB measure rather than an SRB probability measure. On the other hand, when an almost Anosov map with an indifferent fixed point has differentials exhibiting stronger expansion than contraction as points approach the singularity, one may expect this map to admit an SRB probability measure. Accordingly, it would be straightforward to show that almost Anosov diffeomorphisms exhibiting behavior as in (2) of the above list will admit an SRB measure, and we believe further demonstrating the existence of equilibrium states would also be fairly direct.
Additionally, the only almost Anosov systems we consider are almost Anosov diffeomorphisms of the two-dimensional torus T 2 . This is because our arguments rely on a topological conjugacy between an almost Anosov map f and a uniformly hyperbolic Anosov diffeomorphismf of the surface, and the only surface that admits Anosov diffeomorphisms is T 2 . It is widely believed that almost Anosov diffeomorphisms on manifolds of any dimension are topologically conjugate to Anosov diffeomorphisms, but as far as the author of this paper has observed, an explicit proof of this is absent from the literature. We propose the following amendment to this conjecture: that an almost Anosov diffeomorphisms on a manifold admitting Anosov diffeomorphisms is topologically conjugate to an Anosov diffeomorphism. This paper includes a proof of this conjecture for the two-dimensional torus, which is the first published proof of such a result that we know of.
This paper is structured as follows. In Section 2, we define almost Anosov diffeomorphisms and describe some important dynamic and topological properties of these maps, including the decomposition of the tangent bundle into stable and unstable subspaces, as well as prove the conjugacy between almost Anosov maps f : T 2 → T 2 and Anosov mapsf of the torus. In Section 3, we discuss certain thermodynamic constructions (including equilibrium states and topological pressure), as well as state our main results. Section 4 describes thermodynamics of Young's diffeomorphisms, establishing techniques used in [8] and [7]. In Section 5 we explicitly construct a Young tower for our toral almost Anosov diffeomorphism. Finally in Section 6 we use the techniques in Section 4 to prove our main result.

Preliminaries.
x , and |Df x v| > |v| for v ∈ C u x . Remark 1. By continuity of the cone families, for any p ∈ S, we have: (i) Df p C s p ⊇ C s f p and Df p C u p ⊆ C u f p ; (ii) |Df p v| ≤ |v| for v ∈ C s p , and |Df p v| ≥ |v| for v ∈ C u p . For simplicity, we assume S is invariant (note if f p ∈ S for some p ∈ S, then in fact condition (ii) in the definition holds for p, so we may consider S \ {p}). We further assume f p = p for all p ∈ S; if not, we replace f by f n for appropriate n ∈ N.
Given a subset A ⊆ M and a distance r > 0, define: where d(x, A) is the Riemannian distance from x to the set A. In general, we assume f ∈ Diff 4 (M ) for reasons of technical approximations. Additionally, because we may have |Df x v| /|v| → 1 for v ∈ C s x or for v ∈ C u x as x approaches S, we make the following definition to control the speed at which |Df x v| /|v| → 1: An almost Anosov diffeomorphism f is nondegenerate (up to third order) if there are constants r 0 , κ s , κ u > 0 such that for all x ∈ B r0 (S), In general, for an almost Anosov diffeomorphism f : M → M , for any r > 0, there are constants K s = K s (r) and K u = K u (r) so that, for x ∈ B r (S), and |Df x v| ≤ K s |v| ∀v ∈ C s x . Define the local stable and unstable manifolds at the point x ∈ M : Remark 3. The proof of this theorem in [3] gives tangency of W u ǫ (x) to E u (x). The author notes that W s ǫ (x) is tangent to E s x , and the same argument can be used to prove this as was used to prove the fact for W u ǫ (x) and E u x by considering f −1 instead of f .
x for x ∈ M and η = s, u, despite the fact that the decomposition T M = E u ⊕ E s is possibly discontinuous at points in S, f has local product structure. Specifically, there are constants ǫ 0 , δ 0 > 0 such that for every From here, we assume M = T 2 , f : T 2 → T 2 is almost Anosov with singular set S = {0}, and that Df 0 = Id. It is shown in [3] that nondegeneracy of f implies D 2 f 0 = 0, so there is a coordinate system around 0 for which f is expressible as for (x, y) ∈ R 2 and , the map f admits an SRB measure. Henceforth, we shall assume φ(x, y) = ax 2 + by 2 and ψ(x, y) = cx 2 + dy 2 for some a, b, c, d ∈ (0, ∞).
We begin by showing that almost Anosov diffeomorphisms on the torus are topologically conjugate to Anosov diffeomorphisms. In particular, this allows us to construct Markov partitions for almost Anosov diffeomorphisms of arbitrarily small diameter. Our proof requires the following result: Suppose an expansive map f : M → M of a Riemannian manifold is a C 0 limit of Anosov diffeomorphisms. Then f is topologically conjugate to an Anosov diffeomorphism.
We make the following technical assumption to help us prove that Anosov maps are topologically conjugate to almost Anosov maps, as well as to show exponential decay of correlations and the central limit theorem. (Although this assumption is necessary for decay of correlations and CLT, we believe that one could prove topological conjugacy under a weaker assumption).
Assumption 2.5. There are constants r 0 and r 1 , with 0 < r 0 < r 1 for which the almost Anosov map f : T 2 → T 2 is equal to a linear Anosov mapf : T 2 → T 2 outside of B r1 (0), and within B r0 (0), f has the form (1).
Maps satisfying this assumption do exist. To construct such a diffeomorphism, one can choose a hyperbolic matrix A ∈ SL(2, Z) and a smooth bump function ω : R 2 → R supported on B r1 (0) and equal to 1 on B r0 (0). Define the map Φ : where φ and ψ are as in (2), and let Φ : T 2 → T 2 be the quotient of the map ωΦ by Z 2 . The map f = Φ + A is an example of an almost Anosov diffeomorphism satisfying Assumption 2.5.
Theorem 2.6. A nondegenerate almost Anosov diffeomorphism f : T 2 → T 2 satisfying the above assumption is topologically conjugate to an Anosov diffeomorphism.
Proof. We need to show that f is both expansive and is the limit of a sequence of Anosov diffeomorphisms. The argument for expansiveness is standard: suppose for every ǫ > 0 we have distinct p, q ∈ T 2 so that d (f n p, f n q) < ǫ for every To prove that f is a limit of a sequence of Anosov diffeomorphisms, we define a homotopy H : The differentials in B r0 are of the form where O is a matrix of terms of order |(x, y)| 3 . By condition (ii) in definition 2.1, these matrices are hyperbolic; that is, they have two real eigenvalues, one whose magnitude is greater than 1 and one whose magnitude is less than 1. After taking the radius r 0 to be sufficiently small, the terms of O are very close to 0, so we may assume O = 0. Moreover, since hyperbolicity is an open condition on matrices, for each (x, y) ∈ B r0 \ {0}, there are π(x, y) > 0 and ρ(x, y) > 0 for which the matrix is hyperbolic for 0 ≤ α ≤ π(x, y) and 0 ≤ β ≤ ρ(x, y). We may assume these functions π, ρ : B r0 → R are continuous and that π(0, 0) = ρ(0, 0) = 0. Define the nonnegative functions α, β : [0, 1] → R by α(s) = inf x 2 +y 2 =s 2 π(x, y) and β(s) = inf x 2 +y 2 =s 2 ρ(x, y).

DOMINIC VECONI
Observe that for s < ǫ, we have: which further implies that g ǫ → 0 and h ǫ → 0 in C 0 as ǫ → 0. Let H ǫ : T 2 → T 2 be maps for each ǫ > 0 so that in the coordinate ball B r0 , H ǫ is of the form and we further assume that outside of B r1 , the map H ǫ = F is linear Anosov for all ǫ, and in the annulus B r1 \ B r0 , H ǫ smooths out to F . We see that f is the C 0 limit of H ǫ as ǫ → 0, so we only need to show each H ǫ is Anosov for ǫ ∈ (0, ǫ 0 ) for some small ǫ 0 . To that end, the derivative of H ǫ : T 2 → T 2 for a fixed ǫ is in the neighborhood B r0 of the origin, where Our objective is to show that these linear maps are hyperbolic for every (x, y) ∈ T 2 .
Since H ǫ (x, y) = F for (x, y) ∈ B ǫ , and we know DF is hyperbolic everywhere, we only need to check the case when x 2 + y 2 < ǫ 2 . Hyperbolicity may fail in two ways: if Φ ǫ (x, y) or Ψ ǫ (x, y) are too small at some point (x, y), or if the upper right and lower left terms of (5) are too far from 0. We first address the latter concern. Assuming |(x, y)| is small, since α x 2 + y 2 → 0 and β x 2 + y 2 → 0 as |(x, y)| → 0, equation (4) gives us g ′ ǫ x 2 + y 2 > −b and h ′ ǫ ( x 2 + y 2 > −c. In particular, the furthest either the upper right or lower left entries of (5) can be from 0 are 2bxy and −2cxy for any x, y.
To address the first concern, i.e. ensuring Φ ǫ (x, y) and Ψ ǫ (x, y) are not too small, we observe: Therefore, the furthest each linear map DH ǫ (x, y) could possibly be from being hyperbolic would be if DH ǫ (x, y) were of the form and as we saw in (3), this matrix is still hyperbolic.
Corollary 1. Almost Anosov diffeomorphisms admit Markov partitions of arbitrarily small diameter.

Statement of Results. Recall from Theorem 2.3 that there is an invariant
decomposition of the tangent bundle T M = E u ⊕ E s into unstable and stable subspaces, so that E u (x) and E s (x) respectively are tangent to the local unstable and stable manifolds W u ǫ (x) and W s ǫ (x). Define the geometric t-potential φ t (x) = −t log DF | E u (x) . Given a continuous potential function φ : M → R, a probability measure µ φ on M is an equilibrium measure for φ if where h µ φ (f ) is the metric entropy of (M, f ) with respect to µ φ , and P f (φ) is the topological pressure of φ; that is, P f (φ) is the supremum of h µ (f ) + M φ dµ over all f -invariant probability measures µ. We denote µ t := µ φt .
Additionally, we say that f has exponential decay of correlations with respect to a measure µ ∈ M(f, M ) and a class of functions H on M if there exists κ ∈ (0, 1) such that for any h 1 , h 2 ∈ H,

is said to satisfy the Central Limit Theorem (CLT) for a class H of functions if for any h ∈ H that is not a coboundary
We now state our main result.
Theorem 3.1. Given a transitive nondegenerate almost Anosov diffeomorphism f : T 2 → T 2 satisfying Assumption 2.5 for which r 1 is sufficiently small, the following statements hold: 1. There is a t 0 < 0 so that for any t ∈ (t 0 , 1), there is a unique equilibrium measure µ t associated to φ t . This equilibrium measure has exponential decay of correlations and satisfies the central limit theorem with respect to a class of functions containing all Hölder continuous functions on T 2 . 2. For t = 1, there are two equilibrium measures associated to φ 1 : the Dirac measure δ 0 centered at the origin, and a unique invariant SRB measure µ.
If f is Lebesgue-area preserving, this SRB measure coincides with Lebesgue measure. 3. For t > 1, δ 0 is the unique equilibrium measure associated to φ t .
Remark 5. Uniqueness of µ t for t ∈ (t 0 , 1) implies that this equilibrium measure is ergodic. Since the correlations decay, in fact µ t is mixing. 4. Thermodynamics of Young's diffeomorphisms. To prove the existence of equilibrium measures associated to φ t for nondegenerate almost Anosov maps f on T 2 , we begin by showing that they are Young's diffeomorphisms. We now define this class of maps.
Given a C 1+α diffeomorphism f on a compact Riemannian manifold M , we call an embedded C 1 disc γ ⊂ M an unstable disc (resp. stable disc) if for all x, y ∈ γ, we have d(f −n (x), f −n (y)) → 0 (resp. d(f n (x), f n (y)) → 0) as n → +∞. A collection of embedded C 1 discs Γ = {γ i } i∈I is a continuous family of unstable discs if there is a Borel subset K s ⊂ M and a homeomorphism Φ : K s × D u → i γ i , where D u ⊂ R d is the closed unit disc for some d < dim M , satisfying: • The assignment x → Φ| {x}×D u is a continuous map from K s to the space of C 1 embeddings D u ֒→ M , and this assignment can be extended to the closure cl(K s ); • For every x ∈ K s , γ = Φ({x} × D u ) is an unstable disc in Γ. Thus the index set I may be taken to be K s ×{0} ⊂ K s ×D u . We define continuous families of stable discs analogously.
A subset Λ ⊂ M has hyperbolic product structure if there is a continuous family Γ u = {γ u i } i∈I of unstable discs and a continuous family Γ s = {γ s j } j∈J of stable discs such that • dim γ u i + dim γ s j = dim M for all i, j; • the unstable discs are transversal to the stable discs, with an angle uniformly bounded away from 0; • each unstable disc intersects each stable disc in exactly one point; it has hyperbolic product structure defined by the same family Γ u of unstable discs as Λ, and a continuous subfamily of stable discs Γ s 0 ⊂ Γ s . A u-subset is defined analogously.
where γ u,s (x) denotes the (un)stable disc containing x; and, (b) Markov property: where µ γ u is the induced Riemannian leaf volume on γ u and cl(A) denotes the closure of A in T 2 for A ⊆ T 2 . (Y3) There is a ∈ (0, 1) so that for any i ∈ N, we have: (a) For x ∈ Λ s i and y ∈ γ s (x), d(F (x), F (y)) ≤ ad(x, y); . There exist c > 0 and κ ∈ (0, 1) such that: (a) For all n ≥ 0, x ∈ F −n ( i Λ s i ) and y ∈ γ s (x), we have log J u F (F n (x)) J u F (F n (y)) ≤ cκ n ; (b) For any i 0 , . . . , i n ∈ N with F k (x), F k (y) ∈ Λ s i k for 0 ≤ k ≤ n and y ∈ γ u (x), we have We say the tower satisfies the arithmetic condition if the greatest common divisor of the integers {τ i } is 1.
We use the following result to discuss thermodynamics of Young's diffeomorphisms, which was originally presented as Proposition 4.1 and Remark 4 in [7]. (1) There exists an equilibrium measure µ 1 for the potential φ 1 , which is the unique SRB measure. (2) Assume that for some constants C > 0 and 0 < h < h µ1 (f ), with h µ1 (f ) the metric entropy, we have S n := # {Λ s i : τ i = n} ≤ Ce hn Then there exists t 0 < 0 so that for every t ∈ (t 0 , 1), there exists a measure which is a unique equilibrium measure for the potential φ t .
Then for every t 0 < t < 1, the measure µ t has exponential decay of correlations and satisfies the central limit theorem with respect to a class of functions which contains all Hölder continuous functions on M .

5.
Tower representations of almost Anosov diffeomorphisms. Assume our almost Anosov map f : T 2 → T 2 is nondegenerate and satisfies Assumption 2.5. Letf be an Anosov diffeomorphism topologically conjugate to f (the existence of such a map is given by Theorem 2.6), and assume without loss of generality thatf is a linear automorphism. LetP be a finite Markov partition forf , and letP ∈P be a partition element not intersecting B r0 (0). For x ∈P , denoteγ s (x) andγ u (x) respectively to be the connected component of the intersection of the stable and unstable leaves withP . We will construct a Young tower for the Anosov system f : T 2 → T 2 . The construction comes from Section 6.1 of [7], but we restate it here for the reader's convenience.
Letτ (x) be the first return time of x to IntP for x ∈P . For x withτ (x) < ∞, is the set of points that either lie on the boundary of the Markov partition, or never return toP . ObserveΛ s (x) is also expressible as where θ y :γ u (x) →γ u (y) is the map z → [y, z] for each y ∈γ s (x), attained by sliding a point z ∈γ u (x) alongγ s (z) to the intersection ofγ s (z) withγ u (y) (see remark 4). In particular, y ∈Λ s (x). One can show the leaf volume ofÃ u (x) is 0, so the above expression for Λ s (x) implies the leaf volume ofγ u (y) ∩Λ s (x) is positive. We further choose our interval U u (x) so that • for y ∈Λ s (x), we haveτ (y) =τ (x); and, • for y ∈P withτ (x) =τ (y), we have y ∈Λ(z) for some z ∈P .
One can show the image underfτ (x) ofΛ s (x) is a u-subset containingfτ (x) (x), and that for x, y ∈P with finite return time, eitherΛ s (x) andΛ s (y) are disjoint or coinciding. As discussed in [7], this gives us a countable collection of disjoint setsΛ s i and numbersτ i for which the Anosov system (T 2 ,f ) is a Young's diffeomorphism, with s-setsΛ s i , inducing timesτ i , and tower basẽ The details in verifying conditions (Y1) -(Y5) for this Anosov system are left to the reader; in particular, conditions (Y1), (Y3), and (Y4) are immediate for linear hyperbolic toral automorphisms. See the discussion in [7], Section 6.2.
Lemma 5.1. There exists h < h top (f ) such that S n ≤ e hn , where S n is the number of s-setsΛ s i with inducing timeτ i = n. Proof. See [7], Lemma 6.1.
Let g : T 2 → T 2 be the conjugacy map so that f • g = g •f , and let P = g(P), P = g(P ). Then P is a Markov partition for the almost Anosov system (T 2 , f ), and P is a partition element. By continuity of g, we may assume the elements of P have arbitrarily small diameter. Further let Λ = g(Λ). Then Λ has direct hyperbolic product structure with full length stable and unstable curves γ s (x) = g(γ s (x)) and γ u (x) = g(γ u (x)). Then Λ s i = g(Λ s i ) are s-sets and Λ u i = g(Λ u i ) = f τi (Λ s i ), where τ i =τ i for each i, and τ (x) = τ i whenever x ∈ Λ s i . LetB = g −1 (B r0 (0)). Assuming r 0 is sufficiently small, there is an integer Q > 0 and a partition elementP (possibly after refiningP) so thatf n (x) ∈B for n ∈ {1, . . . , Q} whenever x ∈P or x ∈B c ∩f (B). These properties carry over to the Markov partition element P for the almost Anosov system, for the same integer Q.
Proof. Condition (Y1) follows from the corresponding properties of the Anosov diffeomorphismf since g is a topological conjugacy. The fact that µ γ u (γ u ∩ Λ) > 0 follows from the corresponding property for theγ u leaves. Suppose x ∈ cl (Λ \ i Λ s i )∩ γ u . Then either x lies on the boundary of the Markov partition element P , or τ (x) = ∞, and since both the Markov partition boundary and the set of x ∈ P with τ (x) = ∞ are Lebesgue null, we get condition (Y2). Condition (Y5) follows from Kac's formula, since the inducing times are first return times to the base of the tower.
To prove condition (Y3), let x ∈ Λ s i and let y ∈ γ s (x). Since P ∩ B r1 (0) = ∅, Df x | E s (x) uniformly contracts vectors for every x ∈ P , which means d(f (x), f (y)) ≤ ad(x, y) for some a ∈ (0, 1). By increasing r 1 , we may assume f n (y) ∈ B r1 (0) if and only if f n (x) ∈ B r1 (0) for n ≥ 1. In Section 4 of [3], the author proves the existence of local stable and unstable manifolds W s ǫ (x) = {y ∈ T 2 : d(f n (x), f n (y)) ≤ ǫ ∀n ≥ 1} at every x ∈ T 2 , and in particular for x ∈ B r1 (0). Letting k = min{n ≥ 1 : f n (x) ∈ B r1 (0)} and ǫ = d(f k (x), f k (y)), as long as the orbits of x and y are inside B r1 (0), the iterates do not exceed a distance of ǫ from each other. Therefore for all n ≥ k with f n (x), f n (y) ∈ B r1 (0), we have Upon exiting B r1 (0), the trajectories of x and y continue to contract, and they do not expand inside of B r1 (0). Therefore d(f n (x), f n (y)) ≤ ad(x, y) for all n ≥ 1, and in particular for n = τ (x) = τ (y). This proves (Y3)(a), and (Y3)(b) is proven similarly by considering f −1 instead of f .
Proving bounded distortion in condition (Y4) requires the following result: There exists a constant I > 0 and θ ∈ (0, 1) such that if γ ⊂ f (B r1 (0)) \ B r1 (0) is a W s -segment (that is γ is a subset of a stable leaf, and is homeomorphic to an open interval in the induced topology), and if f i (γ) ⊂ B r1 (0) for i = 1, . . . , n − 1, then for every x, y ∈ γ, where d u (x, y) is the induced Riemannian distance from x to y in the stable leaf γ.
Remark 6. This lemma is proven originally for γ an interval in an unstable leaf and for Df −n instead of Df n , but the argument is effectively the same by going forwards instead of backwards. Additionally, by Hölder continuity of the stable foliation outside of B r1 , by changing I and θ, we can replace d u (x, y) with d(x, y).
Condition (Y4)(a) now holds with c = I/(1 − a θ ) and κ = a θ . Condition (Y4)(b) can be proven in a similar manner by working backwards instead of forwards.
6. Proof of Theorem 3.1. The conjugacy map g preserves topological and combinatorial properties of the Anosov mapf , so the number S n of s-setsΛ s i with inducing timeτ i = τ i is the same as the number of s-sets Λ s i for the almost Anosov map f with inducing time τ i . Therefore, by Lemma 5.1, S n ≤ e hn for some h < h top (f ) = h top (f ).
By proposition 1(1) and theorem 5.2, there is a unique SRB measure µ 1 , which is an equilibrium measure for φ 1 . We claim that h < h µ1 (f ). Indeed, for the linear Anosov mapf , we have h m (f ) = h top (f ), where m is the Lebesgue measure. For r 1 sufficiently small, we have T 2 log |Df | E u | dµ 1 − log λ < ǫ for small ǫ > 0, where log λ = sup log Df | E u (since log |Df | E u | = log λ outside of B r1 (0)). By the Pesin entropy formula, it follows that h µ1 (f ) − h m (f ) < ǫ, and our claim holds. Therefore, by Proposition 1(2), there is a t 0 = t 0 (P ) so that for