On the abundance of k-fold semi-monotone minimal sets in bimodal circle maps

Abstract Inspired by a twist map theorem of Mather. we study recurrent invariant sets that are ordered like rigid rotation under the action of the lift of a bimodal circle map g to the k-fold cover. For each irrational in the rotation set’s interior, the collection of the k-fold ordered semi-Denjoy minimal sets with that rotation number contains a 
$(k-1)$
 -dimensional ball with the weak topology on their unique invariant measures. We also describe completely their periodic orbit analogs for rational rotation numbers. The main tool used is a generalization of a construction of Hedlund and Morse that generates symbolic analogs of these k-fold well-ordered invariant sets.


INTRODUCTION
In a dynamical system a rotation number or vector measures the asymptotic speed and direction of an orbit.The rotation set collects all these together into a single invariant of the system.The natural question is how much does this invariant tell you about the dynamics?Perhaps the first issue is whether for each rotation number is there a nice invariant set in which every point has that rotation number?
This question has been studied in a number of contexts with the most complete answer known about maps of the circle, annulus and two-dimensional torus.In these cases the basic question is enhanced by requiring that the invariant set of a given rotation vector has the same combinatorics as a rigid rotation.So, for example, for a continuous degree-one map g of the circle and a number ω in its rotation set is there an invariant set Z ω on which the action of g looks like the invariant set of rigid rotation of the circle by ω?This is made more precise and clear by lifting the dynamics to the universal cover R. The question then translates to whether the action of the lift g : R → R on the lift Zω is order-preserving?For this class of maps the answer is yes; such invariant sets always exist ( [17]).
On the torus and annulus a general homeomorphism isotopic to the identity lacks the structure to force the desired invariant sets to be order preserving so topological analogs are used ( [30,9,40]).The required additional structure available in the annulus case is the monotone twist hypothesis.In this case the celebrated Aubry-Mather Theorem states that for each rational in the rotation set there is a periodic orbit and for each irrational a Denjoy minimal set and the action of the map on these invariant sets is ordered in the circle factor like rigid rotation.These invariant sets are now called Aubry-Mather sets.
For an area-preserving monotone twist map the minimal set with a given irrational rotation number could be an invariant circle.When a parameter is altered and this circle breaks it is replaced by an invariant Denjoy minimal set.In [35] Mather investigated what additional dynamics this forces.He showed that in the absence of an invariant circle with a given irrational rotation number there are many other invariant minimal Cantor sets with the Theorem 1.1.For g ∈ G the following are equivalent: (a) Z ⊂ Λ(g) is a recurrent kfsm set for g.(b) The symbolic coding of Z via the itinerary map is constructable via the HM process.(c) Z is a recurrent set of an interpolated semi-monotone map H c in the k-fold cover.
Note that the result is restricted to recurrent kfsm sets.There are several reasons for this.First, recurrence is where the interesting dynamics occurs, second, invariant measures are always supported on recurrent sets, and finally, the HM construction produces recurrent sets.As is well-known in Aubry-Mather theory there are also nonrecurrent kfsm sets which consist of a recurrent set and orbits homoclinic to that set.We also restrict to orbits that stay in the positive slope region of g.Considering kfsm sets that also have points in the negative slope region at most adds additional homoclinic orbits or shadow periodic orbits.See Section 13.2.
For each k, the HM construction depends on two parameters, a rotation number ω and a parameter ν describing the address system on the circle.For a rational rotation number it produces a finite cluster of periodic orbits while for irrationals it produces a semi-Denjoy minimal set.Since g is noninjective the analogs of Denjoy minimal sets have pairs of points that collapse in forward time, and hence the "'semi" in their name.
Another main result is that the HM construction parameters (ω, ν) yield a homeomorphic parameterization of the space of invariant measures on the recurrent symbolic kfsm sets with the weak topology.Via the itinerary map, this is pulled back to a parameterization of the space of invariant measures on the physical recurrent kfsm sets with the weak topology.It yields the following result in which ρ(g) is the rotation interval of g ∈ G.
Theorem 1.2.Assume g ∈ G, α ∈ Q, α ∈ Int(ρ(g)), and k > 0. (a) In the weak topology there is (k − 1)-dimensional disk of kfsm semi-Denjoy minimal sets with rotation number α.(b) If p n /q n is a sequence of rationals in lowest terms with p n /q n → α, then the number of distinct kfsm periodic orbits of g with rotation number p n /q n grows like q k−1 n .Informally, a kfsm semi-Denjoy minimal set wraps k-times around the circle with orbits moving at different average speeds in each loop.Lifting to the k-fold cover these "speeds" are given by the amount of the unique invariant measure present in a fundamental domain of S k : more measure means slower speed.The k-dimensional vector of these measures is called the skewness of the minimal set.The sum of the components of the skewness is one and thus the collection of possible skewnesses contains a (k − 1)-dimensional ball.The skewness turns out to be an injective parameterization of the kfsm sets for a given irrational rotation number in the interior of the rotation set of a g ∈ G (see Remark 9.14).
The HM-parametrization of kfsm sets with the Hausdorff topology is only lower semicontinuous.The points of discontinuity are given in Theorem 9.5.
We will on occasion use results derived from those of Aubry-Mather theory.While the context here is a bit different the proofs are virtually identical and so are omitted.There are excellent expositions of Aubry-Mather theory; see, for example, [32], [29] Chapter 13, and [22] Chapter 2. In the context of the generalization of Aubry-Mather theory to monotone recursion maps a version of Mather's theorem on Denjoy minimal sets is given in [44].
We restrict attention here to a particular class of bimodal circle maps defined in Section 4.1.Using the Parry-Milnor-Thurston Theorem for degree-one circle maps the results can be transferred (with appropriate alterations) to general bimodal circle maps (see Remark 4.2).
It is worth noting that the results here immediately apply to a class of annulus homeomorphisms.This application can be done either via the Brown-Barge-Martin method using the inverse limit of g ∈ G ( [4,12]) or via the symbolic dynamics in annulus maps with good coding like a rotary horseshoe, for example, [24,31,10,19].
Figure 1 illustrates the conceptual framework that inspired the results here.It shows the graph of a map g ∈ G lifted to the 3-fold cover.At three heights (c 1 , c 2 , c 3 ) = c the graph is cut-off yielding a semi-monotone circle map H c .Such maps have a unique rotation number and well understood recurrent sets which are of necessity semi-monotone sets.As c is varied, the rotation number ρ(H c ) = ρ( c) varies continuously.Thus one would expect that the level sets ρ −1 (ω) provide a parameterization of the kfsm sets with rotation number ω.In particular, for irrational ω this level set should be a (k − 1)-dimensional disk as in Theorem 1.2(a).This is true for g ∈ G. Figure 5 below shows some level sets.It is worth noting that this figure is not a bifurcation diagram, but rather a detailed analysis of the dynamics present in a single map.While providing a valuable heuristic this point of view is not as technically tractable as the HM construction and we content ourselves with just a few comments on it in Section 13.One of which is the addition of item (c) to the list of equivalent conditions in Theorem 1.1.
The literature on bimodal circle map dynamics is vast and we briefly mention only two threads here.Symbolic dynamics for degree one bimodal goes back at least to [5,26,25].The interpolated "flat spot" map trick for finding one-fold semi-monotone sets was discovered and used by many people in the early 80's; references include [17,36,43,42,41,28,13,39]. The author learned the trick from G.R. Hall in Spring, 1983 and the idea of applying it in finite covers emerged in conversations with him.
There are many questions raised by this work, but we mention just three here.As is wellknown, the one-fold symbolic semi-monotone sets generated by the HM construction are the much-studied Sturmian sequences.The general symbolic kfsm are thus a generalization of one property of the Sturmians to more symbols (there are many other generalizations).The Sturmians have many marvelous properties such as their connection to the Farey tree and substitutions: which properties are shared by symbolic kfsm sets?
The HM construction is an explicit parameterized way of getting well controlled orbits that do not preserve the cyclic order in the base and thus in most cases force positive entropy and as well as other orbits.A second question is how does the parameterization given by the HM construction interact with the forcing orders on orbits in dimension one and two (see, for example, [1] and [11]).
A final question relates to the global parameterization of kfsm by the HM construction.Each bimodal map ∈ G corresponds to a specific set of parameters, namely, those that generate symbolic kfsm whose physical counterparts are present in g.What is the shape of this set of parameters?
After this work was completed the author became aware of the considerable literature studying invariant sets in the circle that are invariant and nicely ordered under the action of z → z d [16,21,20,8,7,33].While the exact relationship of that theory and what is contained in the paper is not clear, it is clear that the two areas share many basic ideas and methods.These include using a family of interpolated semi-monotone circle maps with flat spots, tight and loose gaps in invariant Cantor sets, parametrizing the sets using the position of the flat spots, and parametrizing the sets with irrational rotation number by an analog of skewness.Section 14 contains a few more comments on the relationship of the problems.

DYNAMICS
Throughout this section X is a metric space and g : X → X is a continuous, onto map.Since the maps g we will be considering will usually not be injective, we will be just considering forward orbits, so o(x, g) = {x, g(x), g 2 (x), . . .}.
A point x is recurrent if there exists a sequence n i → ∞ with g n i (x) → x.A g-invariant set Z is called recurrent if every point z ∈ Z is recurrent.Note that a recurrent subset is usually different than the recurrent set, with the latter being the closure of all recurrent points.A compact invariant set Z is called minimal if every point z ∈ Z has a forward orbit that is dense in Z.
The one-sided shift space on n symbols is Σ + n = {0, . . ., n − 1} N and that on Z symbols is Σ + Z = Z N .Occasionally we will write Σ + ∞ for Σ + Z .For clarity we note that in this paper 0 ∈ N. In every case we give one-sided shift spaces the lexicographic order and the left shift map is denoted σ, perhaps with a subscript to indicate the shift space upon which it acts.Maps between shifts and subshifts here will always be defined by their action on individual symbols so, for example, ϕ : Σ + n → Σ + n defined on symbols by s → ϕ(s) means that ϕ(s 0 s 1 s 2 . . .
Note that all our cylinder sets start with index 0 The space-map pairs (X, f ) and (Y, g) are said to be topologically conjugate by h if h is a homeomorphism from X onto Y and hf = gh.
We will frequently use the standard dynamical tool of addresses and itineraries.Assume X = X 0 X 1 • • • X n−1 with denoting disjoint union.Define the address map A as A(x) = j when x ∈ X j and the itinerary map ι : In many cases here, ι will be continuous and injective yielding a topological conjugacy from (X, g) to a subset of (Σ + n , σ).We will also encounter the situation where the X j are not disjoint, but intersect only in their frontiers Fr(X j ).In this case we define a "good set" G = {x : o(x, g) ∩ (∪ Fr(X j )) = ∅}.In this case the itinerary map is defined as ι : G → Σ + n .For Z ⊂ X, its interior, closure and frontier are denoted by Int(Z), Cl(Z), and Fr(X), respectively.The -ball about x is N (x).The Hausdorff distance between two sets is denoted HD(X, Y ).For an interval I in R, |I| denotes it length, and for a finite set Z, #Z is its cardinality.On an ordered k-tuple the map τ is the left cyclic shift, so τ (a 1 , a 2 , . . ., a k ) = (a 2 , a 3 , . . ., a k , a 1 ).On the circle S 1 , θ 1 < θ 2 is defined as long as |θ 1 − θ 2 | < 1/2.

THE CIRCLE, FINITE COVERS AND DEGREE ONE CIRCLE MAPS
While the only compact manifold here will be a circle it will clarify matters to use the language of covering spaces.
In general, if π : Ỹ → Y is a covering space, and a property that is usually not shared by a lift Z .
The universal cover of the circle is R with deck transformation T (x) = x + 1 and the covering space is thus π : R → S 1 = R/T = R/Z = [0, 1]/∼.We will only study maps g : S 1 → S 1 whose lifts g commute with the deck transformation, gT = T g, or g(x + 1) = g(x) + 1.These circle maps are commonly termed degree one.Our given g will usually have a preferred lift g and so all other lifts are obtained as T n g or g + n.
Central to our study are the finite k-fold covers of the circle for each k > 0, A preferred lift g of g to R induces a preferred lift gk : S k → S k that commutes with T k .We also need the map from the universal cover to the k-fold cover treating S k as the base space p k : R → S k .
A g-periodic point x is said to have rotation type (p, q) with respect to the preferred lift g : R → R if x has period q and for some lift x ∈ R, gq (x ) = T p x .Note that there is no requirement here that p and q are relatively prime.
A central concern in this paper is how g-minimal sets in S 1 lift to k-fold covers.
(a) If Z ⊂ S 1 is a minimal set, then there exists an m which divides k so that the full lift of Z to S k satisfies Z = m j=1 Z j (2.1) is a periodic point with rotation type (p, q) let m = gcd(k, p).There exist the period of each x j under gk equal to kq/m, and T k (x j ) = x j+1 with indices mod k.
Proof.To prove (a) we begin with two preliminary facts with similar proofs.First, we show that for any z ∈ Z, π k (Cl(o(z , gk ))) = Z.Let z = π k (z ) and pick y ∈ Z.By minimality there exists g n i (z) → y.Lifting and using the compactness of S k there is a subsequence n i and a y ∈ S k with gn i k (z ) → y .Thus g and so y = π k (y ).Second, we show that for any z , y ∈ Z, there exists an p with T p (y ) ∈ Cl(o(z , gk )).Let z = π k (z ) and y = π k (y ).By minimality again, we have g n i (z) → y.Lifting and passing to a subsequence, there is a subsequence n i and a y ∈ S k with gn i k (z ) → y .Thus π k (y ) = y also, so there is a p with y = T p k (y ) and so T p k (y ) ∈ Cl(o(z , gk )).
and minimal sets are always disjoint or equal, using (2.1) we have that Z = Z j for some j.Similarly, Z = Z j for some j , and thus Z = T p Z 1 and Z = T p Z 1 and so Z = T p −p (Z ) as required.
Now for (c), Since the deck group of S k is Z k there is a natural identification of π −1 k (x) with Z k with x 1 identified with zero.Since gq k (x) = T p x in R the induced action of gq k on Z k is n → n + p mod k.An easy elementary number theory argument yields that this action has exactly gcd(p, k) distinct orbits.Thus gq k has exactly gcd(p, k) distinct orbits when acting on While it is not used here a similar result holds for Z covers and their cyclic quotients when a map in the base has a lift that commutes with the deck transformations.
Remark 2.2.Some special cases of (c) are worth pointing out.If gcd(p, k) = 1, then x lifts to a single period qk orbit in S k .If p = k, then x lifts to a k different period-q orbits in S k .When k = 2, there is a simple dichotomy.When p is odd, x lifts to one period 2q orbit and when p is even, x lifts to a pair of period q orbits.

ROTATION NUMBER AND INTERVAL
For g : R → R a fixed lift of a degree one g : when the limit exists.Note that this value depend in a simple way on the choice of lift g of g, namely, ρ(x , g + m) = ρ(x , g) + m.In most cases below there will be a preferred lift of a given g that will be used in (2.3) and we define ρ(x, g) = ρ(x , g) where x is a lift of x.
When g is understood we will just write ρ(x).If x is a periodic point of rotation type (p, q) then ρ(x) = p/q.If Z is a g-invariant set, let ρ(Z) = {ρ(x, g) : x ∈ Z} and ρ(g) = ρ(S1 , g).The latter set has been proved to be a closed interval [27,38] and thus it is called the rotation interval of the map.We shall also have occasion to use ρ(g) with the obvious meaning.
There is a alternative way of computing the rotation interval using upper and lower maps that is now standard ([17, 36, 28, 13] and elsewhere).Given a lift of a degree-one circle map g : R → R let gu (x) = sup{g(y) : y ≤ x} and g (x) = inf{g(y) : y ≥ x}.If g u and g are their descents to S 1 they are both semi-monotone maps and so each of their rotation sets is a single point (see Lemma 3.1 below).The rotation interval of g is (2.4) To define the rotation number of a g-invariant Borel probability measure µ start by letting ∆ g : S 1 → R be ∆ g (x) = g(x ) − x which is independent of the choice of lift x .Then Note that when µ is ergodic by the Pointwise Ergodic Theorem for µ a.e.x, ρ(x, g) = ρ(µ).
For points, invariant sets and measures in the cyclic cover S k under the preferred lift gk , there are two ways to consider the rotation number.The most common will be to project to the base and define

DEFINITION AND BASIC PROPERTIES
In this section we give the basics of a small, but crucial expansion of the class of circle homeomorphisms, namely, continuous maps whose lifts are semi-monotone.They share many of the properties of circle homeomorphisms and are a standard and important tool in circle dynamics Thus we consider continuous, degree one h : S 1 → S 1 whose lifts h to R satisfy x 1 < x 2 implies h(x 1 ) ≤ h(x 2 ). 1 Note that this is independent of the choice of lift h of h.We shall also call such maps weakly order preserving.Let H be the collection of all such maps with the C 0 -topology, and H denotes all their lifts.
A flat spot for a h ∈ H is a nontrivial closed interval J where h(J) is a constant and for which there is no larger interval containing J on which h is constant.A given h can have at most a countable number of flat spots J i and we define the "positive slope region" of h as P (h) = S 1 \ (∪ Int J i ).The proof of the next result is standard.Lemma 3.1.Assume h ∈ H with preferred lift h.(a) The rotation number ρ(x, h) exists and is the same for all x ∈ S 1 and so ρ(h) is a single number.(b) The map ρ : H → R is continuous.(c) If h, h1 ∈ H and h1 ≤ h then ρ( h1 ) ≤ ρ( h).(d) If ρ(h) = p/q in lowest terms then all periodic orbits have rotation type (p, q) and the recurrent set of h consists of a union of such periodic orbits.(e) If ρ(h) = α ∈ Q then h has exactly one recurrent set which is a minimal set Z and it is wholly contained in P (h).Further, h is uniquely ergodic with the unique invariant measure supported on Z. Thus as a consequence of a theorem of Morton Brown ([14]), the inverse limit lim ← − (h, S 1 ) is a circle and the natural extension is a circle homeomorphism.In particular, the inverse limit of a semi-Denjoy minimal set is a Denjoy minimal set.For example, in case of single flat spot, the two endpoints of the flat spot form a gap in the minimal set and they have same forward orbit.Taking the inverse limit splits open this orbit into a forward invariant gap.

FINITELY MANY FLAT SPOTS
We next introduce a subclass of H which includes the semi-monotone maps considered in this paper.Let H consist of those h ∈ H which have exactly flat spots and in P (h) we require that h is C 1 and h > 1 where we have used a one-sided derivative at the end points of the flat spots.Definition 3.4.If h ∈ H and ρ(h) ∈ Q has semi-Denjoy minimal set Z, since Z ⊂ P (h) for any flat spot J, Z ∩ Int(J) = ∅.The flat spot J is called tight for h if Fr(J) ⊂ Z, and otherwise the flat spot is loose.Lemma 3.5.Assume h ∈ H . (a) If ρ(h) = p/q in lowest terms then the number of (p, q)-periodic orbits wholly contained in P (h) is at least one and at most .(b) If ρ(h) ∈ Q, a flat spot J i is loose if and only if there is an n > 0 and a i with h n (J i ) ∈ J i .
In particular, there is always at least one tight flat spot.(c) If Z is the maximal recurrent set of h in P (h), then and so if o(x, h) ⊂ P (h) then h n (x) ∈ Z for some n ≥ 0.
Proof.For part (a), since ρ(h) = p/q in lowest terms, every periodic point has period q.By the conditions on the derivatives of h ∈ H , there are four classes of periodic points.
This implies that all periodic points are isolated so there are finitely many of them.
Let n i be the number of periodic orbits of type (1).Using the fixed point index on h q , n 1 = n 2 + n 3 .Each orbit of type (3) hits two flat spots and each of type ( 2) and (4) at least one and a flat spot can't contain multiple periodic orbits and so n 1 + 2n 3 + n 4 ≤ .Thus the total number of periodic orbits wholly contained on P (h) is For part (b) assume first that h n (J i ) ∩ J i = ∅ for all n > 0 and i .If J i was loose, there would exist z 1 , z 2 ∈ Z with z 1 ≤ J i ≤ z 2 with at least one inequality strict and Z ∩ (z 1 , z 2 ) = ∅.Thus h((z 1 , z 2 )) is a nontrivial interval with h n ((z 1 , z 2 )) ⊂ P (h) for all n > 0. This is impossible since h is expanding in P (h) and so J i must be loose.
For the converse, say h n (J i ) ∈ J i for some n > 0 and first note i = i is impossible since that would imply h has a periodic point.Since h n (J i ) is a point there exists a nontrivial interval [z 1 , z 2 ] properly containing J i with h n ([z 1 , z 2 ]) = J i and so (z 1 , z 2 ) ∩ Z = ∅ and so J i is a loose flat spot.
Finally, since h n (J i ) ∩ J i = ∅ and there are finitely many flat spots there is at least one J i with h n (J i ) ∩ J i = ∅ for all n > 0 and i .
For (c), assume y is such that o(y, h) ⊂ P (h) and o(y, h) ∩ Z = ∅.Let x, x ∈ Z with y ∈ (x, x ) and (x, x ) ∩ Z = ∅.Because of the uniform expansion in P (h) there is a flat spot J and an n ≥ 0 so that J ⊂ h n ([x, x ]).If ρ(h) ∈ Q, then by (c) for some n , h n+n ([x, x ]) is a tight flat spot and so h n+n +1 (y) ∈ Z. Now assume ρ(h) = p/q.In this case x and x are periodic orbits and so J ⊂ h n+wq ([x, x ]) for all w ≥ 0 and so h n+wq (y) ∈ h n+wq ([x, x ]) \ Int(J) using the assumption that o(y, h) ⊂ P (h).But from (a), h n+wq (J) ⊂ J. Thus by monotonicity, h n+wq (y) is either always in the left component of [x, x ] \ Int(J) or in the right component.This violates the expansion in P (h) and so for some j > 0, h j (y) ∈ Z which yields (3.1).

THE CLASS G
We introduce the class of bimodal, degree one maps of the circle that will be the focus here.The class is defined using properties of their lifts.We say that a lift g : R → R is piecewise smooth if it is continuous and there are 0 ) and the right and left hand derivatives exist at each x i .Definition 4.1.Let G be the class of all g : R → R with the following properties.
(b) There are a pair of points 0 = x min < x max < 1 so that g > 1 in [x min , x max ] and g is monotone decreasing in The class G consists of all g : S 1 → S 1 which have a lift in G.
Note that without loss of generality we have assumed that x min = 0. Also by assumption, x min and x max are a nonsmooth local minimum and maximum respectively.It follows from (2.4) Standing assumption: From this point on g denotes a given element of G and its preferred lift is the one with g ∈ G.
Remark 4.2.Using the Parry-Milnor-Thurston Theorem for degree-one circle maps a general bimodal h with ρ(h) ⊂ (0, 1) and not a point is semiconjugate to a PL map g ∈ G2 .Point inverses of the semiconjugacy are either points or a closed interval.Thus using standard results from one-dimensional dynamics and various hypotheses most of the results of the paper can be transferred with appropriate alterations to a general bimodal map.

THE MODEL MAP
We will use a model map f m as a specific example throughout the paper.We shall see that, in a sense, it is the largest map in the class G and all other maps g ∈ G may be considered subsystems.

POSITIVE SLOPE ORBITS
Given g ∈ G with preferred lift g let Λ ∞ (g) be the points x ∈ R whose orbits under g stay in the closed region where g has positive slope, so We give Λ ∞ (g) the total order coming from its embedding in R. Note that it is both g and T invariant.Now we treat the k-fold cover as S k = [0, k]/∼ and let Λ k (g) be the orbits that stay in the positive slope region of gk : We discuss the restriction to positive slope orbits in Section 13.2.
Standing assumption: Unless otherwise specified the terminology "physical kfsm set" or just "kfsm set" carries the additional restriction that it is contained in the positive slope region of some g ∈ G.

SYMBOLIC DESCRIPTION OF POSITIVE SLOPE ORBITS
For a map g ∈ G we develop in this section a symbolic coding for the orbits in Λ k for k = 1, . . ., ∞.

THE ITINERARY MAPS
We work first in the universal cover or k = ∞.Since g ∈ G, we may find points z max and z min with 0 = x min < z max < z min < x max and g(z max ) = x max and g(z min ) = x min + 1.For j ∈ Z define a collection of intervals {I j } on R by Using {I j } as an address system with the dynamics g let the itinerary map be ι ∞ : Λ ∞ (g) → Σ + Z .Note that Λ ∞ is the good set and using expansion and the disjointness of the address intervals, ι ∞ is a homemomorphism onto its image.

SYMBOLIC ANALOGS OF COVERING SPACES
This section develops the necessary machinery for the complete description of the image of the various itinerary maps.We will need the symbolic analogs of the covering spaces and maps described in Section 2.2.
Since for g ∈ G we have g(I 2j ) ⊂ I 2j ∪ I 2j+1 and g(I 2j+1 ) ⊂ I 2j+2 ∪ I 2j+3 we have: Under the itinerary maps the spaces R, S k and S 1 will correspond to the shift spaces Ω ∞ , Ω k and Ω 1 = Σ + 2 .The dynamics on the "physical spaces" induced by g will correspond to left shifts on the symbol spaces.The shift spaces will also have the analogs of the covering projections and deck transformations.These maps will be indicated by a hat and defined using the action on individual symbols as follows.
The analogs of the covering translations are T∞ : Ω ∞ → Ω ∞ given by s → s + 2 for all s ∈ Z and Tk : Ω k → Ω k given by s → s + 2 mod 2k for all s ∈ Z, while the analogs of the covering maps are pk : Ω ∞ → Ω k by s → s mod 2k and πk : Ω k → Σ + 2 by s → s mod 2. In the later we allow k = ∞ under the convention that 2∞ = Z, yielding π∞ : Ω ∞ → Σ + 2 .Note then that π∞ = p1 .A lift and the full lift are defined as usual with, for example, a lift of Note that Tk , πk , and p k are all continuous.
The roles of the maps g, gk and g in Section 2.2 are played by the various shift maps on the sequence spaces.For clarity we use a subscript to indicate which space the shift is acting on: σ k : Ω k → Ω k .We again allow k = ∞.All the various maps satisfy the same commutativity relations as their un-hatted analogs.So, for example, πk Tk = π k , σ k Tk = Tk σ k , and πk σ k = σ 1 πk .The itinerary maps ι k : Λ k (g) → Ω k act naturally by transforming the spaces and maps of Section 2.2 to their symbolic analogs as in part (b) of the next Lemma.
, then there exists a n with s = T n k t.Proof.Parts (a) and (b) are easy to verify.For (c) we prove the case k = ∞ which implies the k < ∞ cases.Assume π∞ (s) = w.The transitions in (5.2) coupled with the structure of w imply that once s 0 is set the parity structure of s determines all of w.Similarly, once t 0 is set all of t is determined.Once again (5.2) implies that if s 0 − t 0 = 2n then for all i, s i = t i + 2n.
Remark 5.4.It would perhaps seem more natural that Σ + Z should act as the symbolic universal cover of Σ + 2 , but the crucial covering space property expressed by (c) wouldn't hold in this case.For example, if s = .131∞ and t = .151∞ then π∞ (s) = π∞ (t) but T n (s) = t for all n.

ROTATION NUMBERS AND SETS
We give the analogs of the definitions in Section 2.3 for the symbolic case.For (5.3) when the limit exists.For μ a shift invariant measure on Σ + 2 , let ρ(μ) = μ( [1]).When μ is ergodic, by the Pointwise Ergodic Theorem, for µ a.e.s,

TOPOLOGICAL CONJUGACIES AND THE IMAGE OF THE ITINERARY MAPS
In this section we develop the analog of kneading invariants for the symbolic coding of the positive slope orbits for g ∈ G.
We now show that We already know from Lemma 5.2 that the left hand side is in Ω k .Next, since π k (Λ k (g)) = Λ 1 (g) using Fact 5.3(b) and the first paragraph of the proof we have so the left hand side of (6.2) is also in π−1 k ( κ 0 , κ 1 ).Now assume that s is in the right hand side of (6.2).Certainly then πk (s) ∈ κ 0 , κ 1 and so there is an Thus using Lemma 5.3(c), there is an n with ι k (x ) = T n k (s) and so For ι ∞ as with ι 1 , since the I j are disjoint and the g| I j are expanding, we have that ι ∞ is an order preserving homeomorphisms onto its image.The fact that it is a semiconjugacy follows because it is an itinerary map.

k-FOLD SEMI-MONOTONE SETS
While our eventual interest is in invariant sets in the circle, it is convenient to first give definitions in the universal cover R and the cyclic covers S k .

DEFINITIONS
The next definition makes sense for any degree one map but for concreteness we restrict to g ∈ G.
These definitions are independent of the choice of lift g.Note that the same terminology is used for sets in the universal and cyclic covers and that implicit in being a kfsm set is the fact that the set is invariant.
When k = 1 the lift Z in the definition must satisfy T (Z ) = Z and π(Z ) = Z and so Z = π −1 (Z), the full lift to R.

INTERPOLATION
To say that Z ⊂ S k is k-fold semi-monotone means roughly that it is semi-monotone treating S k as the usual circle.To formalize this as in Remark 2.3 it will be useful to rescale S k to S 1 using D k : S k → S 1 and consider the map k and there exists a semi-monotone circle map h defined on S k which interpolates gk acting on Z. (c) The lift Z ⊂ R of Z in Definition 7.1(b) has the property that there is a continuous H : R → R that interpolates g acting on Z * , is weakly order preserving, and satisfies We now restrict to positive slope orbits as in Section 4.3 and collect together kfsm invariant sets in S k and their invariant measures.We will comment on kfsm sets which intersect the negative slope region in Section 13.2.We also restrict attention to invariant sets that are recurrent.Definition 7.3.Given g ∈ G let B k (g) be all compact, recurrent kfsm sets in Λ k (g) ⊂ S k with the Hausdorff topology and N k (g) be all gk -invariant, Borel probability measures with the weak topology whose support is a Z ∈ B k (g).
Remark 7.4.A standard argument from Aubry-Mather theory yields that the collection of all kfsm sets is compact in the Hausdorff topology.Since Λ k (g) is compact, the collection of positive slope kfsm sets is also compact.However, since B k (g) contains just the recurrent kfsm sets, it is not compact (see Section 9.1 and 13.2.We show shortly that N k (g) is compact.

SYMBOLIC K-FOLD SEMI-MONOTONE SETS AND THE MAP g
As with kfsm sets in the "physical" spaces S k and R we define their symbolic analogs in the symbol spaces Ω k and Ω ∞ where we give the symbol spaces the lexicographic order.Definition 7.5. ( Everything has been organized thus far to ensure that k-fold semi-monotone sets are preserved under the itinerary maps.
Proof.We prove the k = ∞ case; the k < ∞ case follows.Theorem 6.1 shows that ι ∞ is an order preserving bijection.Since Using the additional fact that ι ∞ g = σ ∞ ι ∞ we have that g is weakly order preserving on Z if and only if σ ∞ is weakly order preserving on ι ∞ (Z) In analogy with Definition 7.3 we collect together the various symbolic kfsm sets and their invariant measures.Definition 7.7.For k < ∞ given g ∈ G, let Bk (g) be all compact, invariant, recurrent symbolic kfsm sets in Λk (g) with the Hausdorff topology and Nk (g) be all g-invariant, Borel probability measures with the weak topology whose support is a Ẑ ∈ Bk (g).
(b) The spaces N k (g) and Nk (g) are compact.
Proof.For part (a) we know that ι k is a conjugacy that that takes kfsm sets to kfsm sets which yields that N k (g) → Nk (g) is a homeomorphism.By hypothesis any g ∈ G is C 2 in P (g) and so there is some M > 1 with g < M on P (g) and thus on all address intervals I j .
It is standard that this implies that ι k is Hölder with exponent ν = log 2k/ log M .This then implies that ι k preserves Hausdorff convergence and so B k (g) → Bk (g) is a homeomorphism.
For part (b), since the space of all gk invariant Borel probability measures is compact metric, it suffices to show that N k (g) is closed, and so assume µ n ∈ N k (g) and µ n → µ weakly with X n := spt(µ n ) a recurrent kfsm set.
A noted in Remark 7.4 the collection of all kfsm sets in Λ k is compact in the Hausdorff topology and so there exists a kfsm set X and n i → ∞ with X n i → X.A standard argument which we give here shows that spt(µ) ⊂ X.If this inclusion does not hold, there exists an x ∈ spt(µ) ∩ X c , then let = d(x, X).Since the atoms of µ are countable, we may find an 1 < /4 so that letting U = N 1 (x) we have so that µ(Fr(U )) = 0 and so U is a continuity set for µ thus via a standard result (page 16-17 of [6]) µ n i (U ) → µ(U ) > 0 using the fact that x ∈ spt(µ).Thus for large enough i, with m = n i we have X m ⊂ N /4 (X) and so ∅ = U ∩ X m = U ∩ spt(µ m ) with µ m (U ) > 0 a contradiction.Thus spt(µ) ⊂ X.Now any invariant measure supported on X must be supported on its recurrent set and so µ ∈ N k (g), as required.The compactness of Nk (g) follows from part(a).
Example: The model map For the model map f m , Λk (f m ) = Ω k , and so the set Bk (f m ) is the collection of all symbolic recurrent kfsm sets in Ω k .Thus while the definition of symbolic kfsm set is abstract and general by Theorem 7.6 and Theorems 6.1 they will share all the properties of "physical" kfsm sets.

ROTATION NUMBERS AND SETS
For Z ∈ B k (g) recall from section 2.3 that ρ k (Z) = ρ(π k (Z), g).But since H k is semi-monotone, its recurrent set is a collection of periodic orbits and its rotation number in lowest terms has their period as its denominator which is thus qk/ gcd(p, k).
Since by assumption, Z ⊂ Λ k (g) we may choose H to have k flat spots then using Lemma 3.5, Z consists of at least one and at most k periodic orbits, finishing (c).
It is standard from Aubry-Mather theory that ρ is continuous on the collection of all kfsm sets and thus it is continuous restricted to the recurrent kfsm sets.As for measures, since ρ(µ) = ∆ g dµ (2.5) with ∆ g continuous, continuity follows from the definition of weak convergence.
tnen there exists a continuous, onto φ : Ẑ → S k which is weakly order preserving, φσ k = R α φ, and #φ −1 (x) = 1 for all but a countable number of R α -orbits on which #φ −1 (x) = 2. (c) Using Lemma 3.1 a measure in N k (g) is either the unique measure on a semi-Denjoy minimal set or a convex combination or measures supported on the periodic orbits in a cluster.(d) A Z ∈ B k (g) is minimal if and only if it is uniquely ergodic and similarly for Z ∈ Bk (g)

THE HM CONSTRUCTION
For a given g ∈ G at this point we have reduced the identification of its positive slope kfsm sets to a question in symbolic dynamics.In this section we answer this symbolic question via a generalization of the procedure of Hedlund and Morse.The generalization constructs all symbolic kfsm recurrent sets for each k.
Since a linear order is essential to the notion of semi-monotone we will again begin working on the line and then project to cyclic covers.

DEFINITION AND BASIC PROPERTIES
Fix an integer k > 0, a real number ω ∈ (0, 1), and a vector ν = (ν 1 , . . ., ν k ) with ν i ≥ 0 and ν i = k − kω.Such a pair (ω, ν) is called allowable.Start with the intervals defined for 0 ≤ j ≤ k − 1 by and then extend for ∈ Z and 0 ≤ m ≤ 2k − 1 as X k+m = X m + k.Thus each X 2j has width ν j+1 and each X 2j+1 has width ω and the entire structure yields a T k invariant address system under the dynamics R ω (x) = x + ω on R The good set is G ∞ depends on k, ω and ν and is given by Note that G is dense, G δ and has full Lebesgue measure.The itinerary map with respect to the given address system is denoted

CYCLIC COVERS
We now return to the compact quotients where the recurrent dynamics takes place and introduce measures into the HM-construction.
For fixed k > 0 and allowable (ω, ν) treat {X 0 , . . ., X 2k−1 } ⊂ S k = [0, k]/∼ as an address system under the dynamics given by R ω (x) = x + ω mod k.Define the good set G kω ν and on it define the itinerary map ζ kω ν .We will often suppress the dependence of these quantities on various of the subscripted variables when they are clear from the context.Definition 8.3.Given k and an allowable (ω, ν) define the itinerary map where m is the measure on S k induced by Lebesgue measure on R.
Remark 8.4. ( The next theorem describes the structure of the B k (ω, ν) and shows that all symbolic kfsm sets are constructed by the HM procedure with ω equal to their rotation number.Theorem 8.5.(a) For α ∈ Q, B k (α, ν) is a semi-Denjoy minimal set with unique invariant probability measure λ k (ω, ν).(b) For p/q ∈ Q, B k (p/q, ν) is a finite collection of periodic orbits each with rotation number p/q and period qk/ gcd(p, k), and λ k (p/q, ν) is a convex combination of the measures supported on the periodic orbits.
for some allowable ν.Thus the collection of invariant probability measures supported on symbolic recurrent kfsm set is exactly the collection of λ k (ω, ν) for all allowable (ω, ν).
Proof.We begin by proving portions of (a) and (b).For part (a) we first show that B k (α, ν) is minimal using a characterization usually attributed to Birkhoff: If f : X → X is a continuous function of a compact metric space and x ∈ X, then Cl(o(x, f )) is a minimal set if and only if for all > 0 there exists an N so that for all n ∈ N there is a 0 For part (b) note first that since R p/q is finite order and there are finitely many address intervals, B k (p/q, ν) must consist of finitely many periodic orbits.The other properties in (a) and (b) will follow from (c) (proved using just these two partial results on (a) and (b)) and Theorem 7.9 using Remark 7.11(a).
For part (c), we first show that B k (ω, ν) is a recurrent symbolic kfsm set.By parts (a) and (b) we know that B k (ω, ν) is recurrent and by Remark 8.4 that B k (ω, ν) ⊂ Ω k and The first step is to show that ζ ∞ is weakly order preserving.Assume ) n , and so ζ ∞ is weakly order preserving.
We now show that σ∞ is semi-monotone on A k (ω, ν).Let G be the good set for ζ ∞ and assume s, t ∈ ζ ∞ (G) with s < t.Then there exist Thus σ ∞ is weakly order preserving on ζ ∞ (G) and so on A k (ω, ν).We have that A k (ω, ν) satisfies all the conditions of the lift in Definition 7.5 and thus B k (ω, ν) is symbolic kfsm.Now for the converse assume that Ẑ ⊂ Ω k is symbolic recurrent kfsm with ρ( Ẑ) = ω.Let Ẑ ⊂ Ω ∞ be the lift that satisfies Definition 7.5.The proof splits into the two cases when ω is rational and irrational.
First assume ω = p/q with gcd(p, q) = 1.We know from Lemma 7.9 and Remark 7.11 that Ẑ consists of at most k distinct periodic orbits each with period kq/d with d = gcd(p, k).We assume for simplicity that Ẑ is a single periodic orbit.The case of multiple periodic orbits is similar but with more elaborate indexing.
For i = 0, . . ., kq/d−1 let P i = (2i+1)d/2q ⊂ S k and P = {P i }.Since Ẑ is a kfsm periodic orbit with ρ k -rotation number p/q we may find an order preserving bijection φ : Ẑ → P with φσ k = R p/q φ on Ẑ.Thus φσ k φ −1 acts on P as P i → P i+p/d reducing indices mod kq/d.
Letting ζ be the itinerary map for the address system {X j } we have by construction that for s ∈ Ẑ that ζφ(s) = s.In addition, for all x ∈ [φ(s) − d/(2q), φ(s) + d/(2q)] we also have ζ(x) = ζφ(s) = s.Thus for any point x in the good set G, ζ(x) = s for some s ∈ Ẑ.This shows that Ẑ = Cl(ζ(G)).The last step needed to show that Ẑ = B k (p/q, ν) is to check that the address system is of the type used in the HM construction.
We need only check that |X 2j+1 | = p/q and for this it suffices to show that #X 2j+1 = p/d.Assume first that #X 2j+1 < p/d.Recalling that φσ k φ −1 acts on the X i like i → i + p/d, we see that there will be some P m ∈ X 2j and P m+p/d ∈ X 2j+2 .Thus using φ −1 there is a s ∈ Ẑ with s 0 = 2j and s 1 = 2j + 2, a contradiction to the fact that Ẑ ⊂ Ω k and thus its allowable transitions are given by (5.2).On the other hand, if #X 2j+1 > p/d we have some P m ∈ X 2j+1 and P m+p ∈ X 2j+1 again yielding a contradiction to Ẑ ⊂ Ω k .
The irrational case is basically a continuous version of the rational one.By Remark 7.11(b) we have a continuous, onto φ : Ẑ → S k which is weakly order preserving, φσ ∞ = R α φ, and #φ −1 (x) = 1 for all but a countable number of R α -orbits on which #φ −1 (x) = 2.
For j = 0, . . ., k − 1, let X j = φ([j]).Thus X j is a closed interval (perhaps empty) with ∪X j = R, X j ≤ X j+1 and adjacent intervals intersect only in their single common boundary point.We use {X j } as an address system with dynamics R α , good set G, and itinerary map ζ.By construction if s ∈ Ẑ with φ(s) ∈ G, then s = ζφ(s) and so Since Ẑ is a Cantor set and φ −1 (G) is Ẑ minus a countable set of σ k -orbits we have that φ −1 (G) is dense Ẑ.Thus taking closures, Ẑ = Cl(ζ(G)).
To finish we must show that {X j } is the type of address system allowable in the HMconstruction.We just need |X 2j+1 | = α for all j.The proof is similar to the rational case.If The last sentence in (c) follows from the construction of λ k (ω, ν).
Remark 8.6.In Section 9.3 below we shall see that for the irrational case ρ( Ẑ) = ω ∈ Q that there is a unique ν with Ẑ = B k (ω, ν) and for rational p/q that there are, in general, many ν with Z = B k (p/q, ν).But note that if Ẑ is a single periodic orbit then the proof above produces what we show is the unique ν with Ẑ = B k (p/q, ν).

PARAMETERIZATION OF B k (g) AND N k (g) BY THE HM CONSTRUCTION
We know from Theorem 8.5(c) that the HM construction yields a correspondence between sets B k (ω, ν) and symbolic kfsm set in Ω k .In addition, for a map g ∈ G using Theorem 7.6 we get a bijection from kfsm sets in Λ k (g) to those in Λk (g) ⊂ Ω k .Thus the HM construction provides a parameterization of B k (g).In this section we examine this parameterization as well as that of N k (g) in detail.

RESONANCE AND HOLES
As commented on above, the collection of all kfsm sets is closed in the compact metric space consisting of all compact g-invariant sets with the Hausdorff topology.Thus the collection of all kfsm sets is complete.We have restricted attention here to recurrent kfsm sets or B k (g).This is because the recurrent ones are the most dynamically interesting and carry the invariant measures, but also as shown in Theorem 8.5, they are what is parameterized by the HM construction.As a consequence our primary space of interest B k (g) is not complete, but rather has holes at points to be specified.What happens roughly is that as one takes the Hasudorff limit of recurrent kfsm sets the resulting kfsm set has homoclinic points that are not recurrent and so the limit is not recurrent and thus not any B k (ω, ν).This is a phenomenon well known in Aubry-Mather theory.Another point of view on these "holes" is given in Section 13.2 using the family of interpolated semi-monotone maps.
In the HM construction fix 0 < k < ∞.For a given allowable (ω, ν) recall the address intervals are X j = X j ν for j = 0, . . ., 2k − 1. Define j = j ν and r j = r j ν by [ j , r j ] := X j .Note that r j+1 = j with indices reduced mod 2k.Definition 9.1.The pair (ω, ν) is called resonant if for some n > 1 and j, j , R n ω ( j ) = j .A pair that is not resonant is called nonresonant.Remark 9.2.Note that for a rational ω = p/q all (p/q, ν) are resonant as are all (ω, ν) when some ν i = 0. Also, for all (ω, ν) and j, which is the reason n is restricted to n > 1 in the definition.
The next lemma locates the "holes" in the space of all symbolic kfsm sets and thus in any B(g).Lemma 9.3.
(a) Assume (α, ν) with α ∈ Q is resonant.There exists a sequence ν (i) → ν and a nonrecurrent kfsm Z with B k (α, ν (i) ) → Z in the Hausdorff topology on all compact subsets of Σ + 2k .(b) Assume (p/q, ν) with p/q ∈ Q.There exists a sequence ω (i) → p/q and a nonrecurrent kfsm Z with B k (ω (i) , ν) → Z in the Hausdorff topology on all compact subsets of Σ + 2k .Proof.We suppress the dependence on k to simplify notation.For (a), the resonance hypothesis implies that there are odd a and b with R n α (X a ν ) = X b ν for some n > 0 where we may assume a < b.Since R n α (r a ν ) = r b ν by shrinking some ν j for a < j < b we obtain ν and x < r a ν and arbitrarily close to it with x ∈ G α ν and R n α (x) ∈ X b+1, ν .In this way we can obtain sequences ν (i) → ν and x i r a ν with Passing to a subsequence if necessary, by the compactness of the collection of symbolic kfsm sets there is a kfsm Z with B k (α, ν (i) ) → Z in the Hausdorff topology and by its construction, s ∈ Z.But s can't be recurrent since by the resonance any length (n+1) block in ζ α, ν (R α (r b ν ) must start with a and end in b.
The argument for (b) is similar, but now the perturbation must be in ω since if ω = p/q is fixed, R n ω (X a ) = X a when n = qk/ gcd(p, k) for all ν.Fix an a and so R n p/q (r a ) = r a .By increasing ω incrementally we may find sequences ω (i) p/q and x i r a with x i ∈ G ω (i) , ν so that the initial length (n + 1) block of ζ ω (i) ν (x i ) is a . . .a + 1.Thus if ζ p/q ν (r a + ) = P ∞ for small then ζ ω (i) , ν (x i ) → .a . . .(a + 1)P 2 P 3 . . .P n−1 P ∞ := t where P = (a + 1)P 2 P 3 . . .P n−1 .As in the proof of (a) passing to a subsequence if necessary, there is a kfsm Z with B k (ω (i) , ν) → Z in the Hausdorff topology and by its construction, t ∈ Z.But t can't be recurrent since any length (n + 1) block in P ∞ must start and end with a.

CONTINUITY AND INJECTIVITY
In doing the HM construction the explicit dependence of A k and B k on the pair (ω, ν) was included.However, the elements of the pair have the interdependence ν i = k(1−ω) and so when we treat A k and B k as functions it is sometimes better to eliminate the interdependence and treat them as functions of ν alone, but the two variable version will also continue to be useful.Thus we sometimes overload the function A k and write and similarly for B k and the measure valued map λ k .The collection of allowable parameters for each k is then The set of HM parameters corresponding to symbolic kfsm sets for g ∈ G is defined as ) is a homeomorphism and thus HM k (g) is compact.Proof.Since we know from Lemma 7.8 that ι k and (ι k ) * are homemorphisms we only consider B k and λ k .While these are functions of ν alone, for the proof it is clearer to resort to the two variable versions with the proviso that ω = 1 − ν i /k.Note that we have already shown in Theorem 8.5 that λ k and B k are onto Nk (g) and Bk (g).We will often need to include the explicit dependence of various objects on the variables, for example, j (ω, ν), and we often suppress the dependence on k.
We prove (b) first.We first show λ k is continuous.For each j = 1, . . ., 2k − 1 and i ∈ N, let The first observation from the HM construction is that and so x ∈ G ω, ν ∩ Y B (ω, ν) implies that ζ ω ν (x) begins with the block B. Also by the HM construction, ) with m Lebesgue measure on the circle.
Recall that the weak topology on Σ + 2k is generated by the metric where {B i } is some enumeration of the blocks in Σ + 2k .Since each Y B (ω, ν) is a (perhaps empty) interval with endpoints some Thus summing over blocks Since by definition in the HM construction, is a homeomorphism with image the set of all measures on recurrent symbolic kfsm sets in Ω k .Thus, since HM k (g) ⊂ D k we have that λ k : HM k (g) → Nk (g) is also a homeomorphism.The compactness of Nk (g) was proved in Lemma 7.8.
The proof of (a) is based on the following claim: B k is continuous at (ω 0 , ν 0 ) if and only if for all N there exits δ > 0 so that (ω, ν) − (ω 0 , ν 0 ) < δ implies that for all blocks B of length ≤ N we have Y B (ω 0 , ν 0 ) nonempty exactly when Y B (ω, ν) is nonempty.
For the discontinuity, since the sets Z in Lemma 9.3(ab) are not recurrent, they are not equal to B k (ω 0 , ν 0 ).Remark 9.6.(a) The parameter space D k is (k − 1)-dimensional.Assuming ω ∈ Q, then for a fixed n > 1 and j, j , the collection of all ν ∈ D k which yield R n ω ( j ) = j is a (k − 2)-dimensional affine subspace.Thus the set of resonance parameters is a countable dense collection of codimension one affine subspaces and so the resonance case is full measure and dense G δ (b) One can show that B k is lower semicontinuous [10], in particular if (ω (i) , ν (i) ) → (ω, ν) and some subsequence of B k (ω (i) , ν (i) ) converges to Z in the Hausdorff topology, then B k (ω, ν) ⊂ Z.The Semi-Continuity Lemma (see page 114 of [18]) yields that a lower semi-continuous set-valued function is continuous on a dense G δ set.In the case of (ι k ) −1 • B k the last theorem exactly identifies this continuity set as the nonresonant (ω, ν).

SLICES AND SKEWNESS
Since ρ and ρ are defined and continuous on the various spaces B k (g) etc., we may define the closed slices with a given rotation number.
g)) Definition 9.8.For p/q ∈ Q an allowable parameter ν is called pure if B k (p/q, ν) consists of a single periodic orbit.The collection of p/q pure parameters is denoted Pure k,p/q ⊂ D k,p/q and it will be shown in Lemma 12.4 to be an affine lattice.For a g ∈ G its pure parameters are Pure k,p/q (g) = HM k,p/q (g) ∩ Pure k,p/q .Remark 9.9.For a given symbolic kfsm p/q-periodic orbit P by Theorem 8.5(c) there is some ν with B k (p/q, ν) = P .Since a periodic orbit is uniquely ergodic and λ k is injective this ν is unique.Thus there is a bijection between symbolic kfsm p/q-periodic orbits and Pure k,p/q .Lemma 9.10.Assume g ∈ G (a) For all ω, (ι ) is injective as well as continuous at nonresonant (α, ν) and discontinuous at resonant (α, ν).(c) When p/q ∈ Q, ι −1 kp/q B kp/q : HM kp/q (g) → B kp/q (g) is injective on Pure k,p/q .Proof.Since ι k restricts to a homeomorphism on slices we only consider B kω and λ kω .Part (a) follows immediately from Theorem 9.5.
For (b), when α ∈ Q the assignment of a semi-Denjoy kfsm set with rotation number α to its unique invariant measure yields a bijection B kα (g) → N kα (g) and Bkα (g) → Nkα (g).Since by (a), λ kα is injective, we have that B kα is also.Continuity of B kα at nonresonant values on irrational slices follows directly from (a).Discontinuity at resonant values on irrational slices follows from Lemma 9.3(a).Remark 9.11.Since B kp/q (g) is a finite, set the continuity of ι −1 kp/q B kp/q : HM kp/q (g) → B kp/q (g) is not particularly interesting, but we will remark on it in Section 12.4.
The skewness γ(µ) of a gk -invariant measure in S k is the amount of measure in each fundamental domain.When its j th component is large, roughly its gk -orbits are moving slowly through [j − 1, j).When we project to the base S 1 in the next section the skewness will thus indicate how quickly orbits are moving of the j th loop of the kfsm set.Definition 9.12.
Note that the skewness takes values in the unit simplex a i = 1, a i ≥ 0 and contains no information about the rotation number.
and so it is a homeomorphism.(d) γ is a homeomorphism from N kω (g) onto its image as is γ from Nkω (g) onto its image Remark 9.14.The last lemma formalizes the description in the Introduction on the parametrization of the weak disks of semi-Denjoy minimal sets by their speed in each "loop" around the circle.For rational pure parameters the skewness counts the number of elements in each fundamental domain and this thus yields a discrete parametrization of the kfsm p/qperiodic orbits.We now return to our central concern, g-invariant sets in S 1 that have a lift to S k that is semi-monotone.Once again the definition makes sense for any degree one circle map but we restrict to the class G. Definition 10.1.Given g ∈ G, a compact g-invariant set Z ⊂ S 1 is kfsm if it has a ginvariant lift Z ⊂ R which is kfsm, or equivalently, Z has a gk -invariant lift Z * ⊂ S k which is kfsm.Let C k (g) be all compact, invariant, recurrent kfsm sets in Λ 1 (g) with the Hausdorff topology and O k (g) be all g-invariant, Borel probability measures supported on Z ∈ C k (g) with the weak topology Thus when Z is kfsm, it has a lift to S k which is semi-monotone under the action of gk on its lift.
To make contact with the usual definitions in Aubry-Mather theory, assume that x ∈ S 1 is such that o(x, f ) is k-fold semi-monotone.This happens exactly when there is a point x ∈ R with π ∞ (x ) = x and for all positive integers , m, n, In Aubry-Mather theory one would write x j = gj (x ).
monotone then it is also k-fold semi-monotone for any > 0.
(d) If P is a periodic orbit of g of type (p, q) (which are perhaps not relatively prime) then P has a lift P to R with T p (P ) = P and is monotone since g ∈ G implies g(x ) ≥ x and so P is automatically p-fsm.(e) Using Lemma 7.6 a recurrent kfsm set in S 1 is either a collection of periodic orbits all with the same rotation number (a cluster) or else a semi-Denjoy minimal set.A minimal kfsm set S 1 is either a single periodic orbit or else a semi-Denjoy minimal set.(f ) A collection of periodic orbits all with the same rotation number that individually are kfsm when considered as a set is not of necessity a kfsm (i.e., a cluster) We now consider symbolic kfsm sets in the symbolic base be all recurrent kfsm sets in Λ1 (g) with the Hausdorff topology and Ôk (g) be all g-invariant, Borel probability measures supported on Ẑ ∈ Ĉk (g) with the weak topology Using Theorem 7.6 we connect kfsm sets in Λ 1 (g) to their symbolic analogs in Λ1 (g) and get Remark 10.5.All the comments in Remark 10.2 hold for symbolic kfsm sets mutatis mutandis.

THE HM CONSTRUCTION AND ITS SYMMETRIES
We bring the HM construction back into play and take the projections from Ω k to Ω 1 .
We know from Theorem 9.5 that the HM construction provides a parameterization of B k (g) and N k (g), the goal now is to get a parameterization of the kfsm sets and their invariant measures in S 1 , i.e., of Ĉk (g) and Ôk (g).For this we need to understand the symmetries inherent in the HM construction.
Recall the left shift on the parameter ν is τ (ν 1 , . . ., ν k ) = (ν 2 , . . ., ν k , ν 1 ).There are two types of symmetries to be considered.The first is when different ν give rise to the same C k (ω, ν).For minimal C k (ω, ν) this happens if and only if the ν's are shifts of each other as is stated in parts (a) and (d) in the next theorem.The second sort of symmetry happens when some C k (ω, ν) is also a C j (ω, ν ) for some j < k, which is to say the map πk : B k (ω, ν) → C k (ω, ν) is not one-to-one.In the minimal case this happens if and only if τ j ( ν) = ν as is stated in parts (b) and (c) below.Lemma 10.7.Fix k > 0 and assume ν is allowable for ω.(a) For all j, B k (ω, and C k (ω, ν) = C j (ω, ν ) where ν = (ν 1 , . . ., ν j ).
For the second part of (b), first note that if {X i } is the address system for k and (ω, ν) then since τ j ( ν) = ν, we have T j k (X i ) = X i+2j .This implies that under the quotient S k → S j , {X i } descends to an allowable HM-address system on S j using (ω, ν ).Thus using the dynamics R ω on both address systems, the corresponding entries of B k (ω, ν) and B j (ω, ν ) are equal mod 2 and so C k (ω, ν) = C j (ω, ν ).
To prove the first part of (c), as remarked in Remark 7.11, if B k (ω, ν) is minimal it is uniquely ergodic.Thus if (10.1) holds, then λ k (ω, ν) = λ k (ω, τ j ( ν)) and since λ k is injective by Theorem 9.5, ν = τ j ( ν).Now for the second part of (c), certainly πk : is continuous and onto, so assume it is not injective.Then there exists s, t ∈ B k (ω, ν) with s = t and πk (s) = πk (t).Thus for some 0 < j < k, t = T j k (s) and so if and so by part (c), τ j ( ν) = ν .Remark 10.8.It is possible that if B k (p/q, ν) is a cluster of periodic orbits, π k could be injective on some of them and not on others.

CONTINUITY AND INJECTIVITY
Let HM k (g) = HM k (g)/τ with equivalence classes denoted [ ν].Note that τ j ( ν) ∈ D k for some j is resonant if and only if ν is, so we may call [ ν] resonant or nonresonant.
Since the τ action preserves slices we define HM kω = HM kω (g)/τ .The ω-slices of C k (g) and O k (g) are defined in the obvious way.If (p/q, ν) is a pure parameter so is τ j ( ν) for any j and so we define Pure(k, p/q) = Pure(k, p/q)/τ .Note that Pure(k, p/q) is all Definition 10.9.Lemma 10.7 implies that (ι The induced maps on slices are θ kω : HM kω (g) → C kω (g) and β kω : HM kω (g) → O kω (g) Theorem 10.10.Assume g ∈ G, for each k > 0, (a) The map θ k is onto, continuous at nonresonant values and discontinuous at resonant values.Restricted to an irrational slice it is injective, continuous at nonresonant values and discontinuous at resonant values.Restricted to a rational slices it is injective on the pure lattice.(b) The map β k is a homeomorphism when restricted to irrational slices and pure rational lattices.
Proof.By construction we have the following commuting diagram HM k (g) with the vertical maps all onto and continuous and θ k the composition of the bottom horizontal maps and the map C k also denotes the map induced on equivalence classes in HM k (g).
Since the given versions of ι k and ι 1 are homeomorphisms we need only consider C k and µ k .The fact that these are continuous follows from Lemma 9.10 and the just stated properties of the diagram as do the various continuity assertions in the theorem.We prove the discontinuity result for C k on irrational slices.The other discontinuity assertions follow similarly.Assume (α, ν) is resonant with α ∈ Q.From Lemma 9.3 and its proof we have a sequence (α, ν (i) ) → (α, ν) so that B k (α, ν (i) ) → Z and a s ∈ Z \ B k (α, ν) with s nonrecurrent.In the quotients [ Thus for some t ∈ B k (α, ν), π k (s) = π k (t) and so by Lemma 5.3(e), for some j, T j k (s) = t.This implies that the action of σ k on Cl(o(s, σ k )) is conjugated to that on Cl(o(t, σ k )) by T j k .But by the classification Theorem 8.5, Cl(o(t, σ k )) is a minimal set and thus so is Cl(o(s, σ k )) and so s is recurrent, a contradiction, yielding the discontinuity.
Remark 10.13.On an irrational quotient slice O k,α , let γ 1 = kγ −α1, then γ 1 is the inverse of β k and may be viewed as a parameterization of Ôk,ω by skewness as in Remark 9.14.Also as in that remark, skewness also provides a parameterization of the quotient of the pure parameters.We will need the special and much studied case of symbolic kfsm sets for k = 1.When k = 1 there is only one allowable choice for ν, namely ν = 1 − ω and so we write C 1 (ω) for When ω is rational C 1 (ω) is a single periodic orbit and when ω is irrational it is a semi-Denjoy minimal set.These minimal sets (and associated sequences) have significant historical importance and an abundance of literature (see [2] for a survey).Their main importance here is as an indicator of when a given number is in the rotation set.
To avoid confusion with the many definitions in the literature we note that here "Sturmian" refers to a minimal set and not a sequence and it is subset of the one-sided shift Σ + 2 .The next result is standard and we remark on one proof in Remark 13.6.
11. STRUCTURE OF HM k (g) One obvious property of HM k (g) is the symmetry τ (HM k (g)) = HM k (g) for all k.The full structure of HM k (g) for a general g ∈ G is quite complicated and will be saved for future papers.Here we focus on the structure near the diagonal in D k .
(c) If α ∈ Int(ρ(g))\Q, then O k (g) contains a (k −1)-dimensional topological disc consisting of unique invariant measures each supported on a member of a family of k-fold semimonotone semi-Denjoy minimal sets with rotation number α.

RATIONAL SLICES
In this section we study rational slices in the HM parameter and in B k (g) and C k (g).As proved in Theorem 8.5, each B k (p/q, ν) consists of a collection of periodic orbits all of period qk/ gcd(p, k) with the same rotation number and as a set they are kfsm.Note that this is stronger than each periodic orbit being individually kfsm.The invariant measure λ k (p/q, ν) is a convex combination of the unique measures supported on each periodic orbit.

PERIODS IN Ω 1
The next lemma examines how the periods of B k can change after projection to C k via πk .Lemma 12.1.Fix k > 0 and p/q ∈ Q and assume ν is allowable for p/q.If τ j ( ν) = ν with 0 < j ≤ k and it is the least such j, then the period of C k (p/q, ν) is jq/ gcd(j, p).

THE RATIONAL STRUCTURE THEOREM
The theorem in this section describes in more detail how the measures on p/q-kfsm vary with the parameter.
In the HM construction fix k, 0 < p/q < 1 with gcd(p, q) = 1 and an allowable ν.We often suppress dependence on these choices and so R = R p/q , etc. Let N = qk/ gcd(p, k) so N is the period of R acting on S k .Recall the address intervals are X j = [ j , r j ] for j = 0, . . ., 2k − 1 and so r j = j+1 .The good set is G and the itinerary map is ζ.When we write ζ(x) it is implicitly assumed that x ∈ G.
The orbit of 0, o(0, R), partitions S k into N pieces, each of width k/N = gcd(p, k)/q.Thus J = [k − gcd(p, k)/q, 1) is a fundamental domain for the action of R on S k in the sense that S k = ∪ N −1 i=0 R i (J) as a disjoint union.Thus for each 0 ≤ p ≤ 2k − 1 there is a unique 0 ≤ m < N with p ∈ R m (J), and then let d p = R −m ( p ).Note that since |X 2j+1 | = p/q, d 2j = d 2j−1 and that all d 2j+1 as well as both endpoints of J are not in G. Finally, for j = 0, 1, . . ., 2k − 1 and x ∈ J ∩ G, let M j (x) = {0 ≤ i < N : ζ(x) i = j} = {i : R i (x) ∈ X j }.Proof.First note that both endpoints of J are not in G so they are out of consideration for x and x in what follows.
For (a) one implication is obvious.For the other, it suffices to we show that the collection of M 2j+1 (x) determines s = ζ(x).By Remark 7.11 we know that s ∈ Ω k and so its one step transitions are governed by (5.2).If s i = 2j + 1 then s i+1 = 2j + 2 or 2j + 3 and we know which depending on whether i + 1 ∈ M 2j+3 or not.Similarly, if s i = 2j then s i+1 is determined by whether i + 1 ∈ M 2j+1 or not.Thus s is determined completing the proof of (a).
If d 2j−1 = d 2j+1 every x ∈ Σ \ {d 2j−1 } as the same number of indices in M 2j , so assume that d 2j−1 < d 2j+1 with the other inequality being similar.If i is such that R ) consists of exactly m distinct periodic orbits P 1 , . . ., P m with ζ(x) ∈ P j if and only if x ∈ o(K j , R).Further, λ k (p/q, ν) = N |K j |δ j with δ j the unique invariant probability measure supported in P j and N = qk/ gcd(p, k).
Proof.As noted above, J is a fundamental domain for the action of R on S k and so it it suffices to study ζ(x) for x ∈ J.
Combining Lemma 12.2(a) and (b) we have that for x ∈ Σ, ζ(x) = ζ(x ) if and only if x and x are in the same component K j .Further, using Lemma 12.2(c), ζ(x) and ζ(x ) can be on the same σ-orbit if and only if they are in the same component K j , proving the first sentence of the theorem.The second sentence follows from the definition of λ k , the fact that S k = ∪ N i=1 R i (J), and R preserves Lebesgue measure.

THE PURE LATTICE AND THE STRUCTURE OF HM kp/q
We now describe the pure affine lattice in more detail with an eye towards counting the number of p/q-periodic kfsm sets.For this a new method of specifying the address system in S k will be useful.We fix a k and an ω = p/q and sometimes suppress dependence on them Recall that a pair (p/q, ν) specifies an address system {X j (p/q, ν)} with each X j (p/q, ν) = [ j , r j ].For each i = 1, . . ., k − 1 let δ i be the signed displacement of the address system from its totally symmetric position given by (ω, ν s (ω)).Thus Since in the HM-construction X 2k is fixed for all ν, the vector δ(ω) is (k − 1)-dimensional and so δ : D k,p/q → δ(D k,p/q ) is an affine map from the simplex Lemma 12.4.Given k and p/q there exists a η with η ∞ ≤ gcd(p, k)/(2q) so that ν ∈ D k,p/q is a pure parameter for p/q if and only if δ(p/q, ν) ∈ η + (gcd(p, k)/q)Z k−1 in δ(D k,p/q ).Proof.The structure theorem Theorem 12.3 implies that B k (p/q, ν) is a single periodic orbit if and only if no d 2j−1 is in the interior of J.This happens if and only if all 2j−1 are contained in o(0, R p/q ).Now o(0, R p/q ) divides S k evenly into subintervals of length gcd(p, k)/q.For each j = 1, . . ., k − 1 let m j be such that R m j p/q (0) is the point on o(0, R p/q ) that is closest to 2j−1 and define η j = 2j−1 − R m j p/q (0).Thus η ∞ ≤ gcd(p, k)/(2q) and ν is pure if and only if φ( ν) ∈ η + (gcd(p, k)/q)Z k−1 .
Definition 12.5.The set L = η + (gcd(p, k)/q)Z k−1 ∩ δ(D k,p/q ) is called the p/q-pure affine lattice as is its pre-image δ −1 (L) ⊂ R n−1 12.4.SUB-RESONANCE AND THE SIZE OF CLUSTERS Definition 12.6.When ω = p/q, the pair (p/q, ν) is called sub-resonant if for some qk/ gcd(p, k) > n > 1 and j = j , R n ω ( j ) = j .It follows from Theorem 12.3 that the number of sub-resonances in a (p/q, ν) ∈ D k,p/q controls the number of distinct periodic orbits in a cluster B k (p/q, ν) with no sub-resonance corresponding to k distinct periodic orbits and all the j on a single R p/q orbit corresponding to B k (p/q, ν) being a single periodic orbit so (p/q, ν) is a pure parameter The set sub-resonance parameters is a finite collection of codimension one affine subspaces in D k,p/q and thus the no sub-resonance case is open, dense and full measure in D k,p/q .Thus in HM k,p/q the typical parameter corresponds to a cluster of k periodic orbits.It also follows that the assignment ν → B k (p/q, ν) restricted to HM k,p/q is constant and thus continuous on connected components of the no sub-resonance parameters and is discontinuous at the sub-resonance parameters.
12.5.ESTIMATING THE NUMBER OF p/q KFSM SETS For a given g ∈ G the number of points from the pure p/q-lattice Pure k,p/q contained in HM k,p/q (g) tells us how many distinct periodic orbits there are in Bk (g).So by Lemma 10.7 it yields how many distinct periodic p/q-kfsm sets g has.We get an estimate for this number using the continuity properties of B k from Theorem 9.5 and the relationship of kfsm sets in S k to those in S 1 .The next result proves Theorem 1.2(b).
Theorem 12.7.If α ∈ Int(ρ(g)), α ∈ Q, k > 0 and p n /q n is a sequence of rationals in lowest terms with p n /q n → α, then there exists a C > 0 so that for sufficiently large n the number of distinct periodic p n /q n kfsm sets in Λ 1 (g) is greater than or equal to Cq k−1 n .Proof.By Theorem 9.5(b) there is an 1 > 0 so that N 1 ( ν s (α)) ⊂ HM k (g) where recall that ν s (α) is the Sturmian ν for α on the diagonal of D k .Since δ is a homeomorphism there is an -ball H in the max norm with > 0 about 0 in δ(D k ) with δ −1 (H) ⊂ HM k (g).Thus if |p n /q n − α| < there is a -ball in the max norm, i.e., a (k − 1)-dimensional hypercube H 1 , about (p n /q n , 0) in δ(D k,pn/qn ) with δ −1 (H 1 ) ⊂ HM k,pn/qn (g).
We next estimate the number of pure resonance ν in H 1 .By Lemma 12.4, the pure ν form an affine lattice with linear separation gcd(p n , k)/q n .Thus for p n /q n close enough to α, the number of lattice points in H 1 is larger than since gcd(p n , k) ≤ k.Thus since δ is a homeomorphism the same estimate holds for the number of pure lattice points in δ −1 (H 1 ) ⊂ HM k,pn/qn (g).By Theorem 9.5 this tells us how many distinct periodic p n /q n are in Bk (g) and thus in B k (g) by Theorem 7.6.
To project this estimate to kfsm sets in S 1 , recall from Theorem 10.10 that θ k : HM k,pn/qn (g) → C k,pn/qn (g) is injective on the pure lattice.The projection Pure(k, p n /q n ) → Pure(k, p n /q n ) is at most k to 1 and so the number of distinct p n /q n periodic orbits in C(g) is greater than or equal to Remark 12.8.For a pure ν for p/q when τ j ( ν) = ν for some 0 < j < k the period of the C k (p/q, ν) counted in the theorem is jq/ gcd(j, p) (Lemma 12.1).In the typical case of no such symmetry the period is kq/ gcd(k, p).So, for example, when p and k are relatively prime, the counted periodic orbit has rotation type (pk, qk) and when k divides p the rotation type is (p, q).By making judicious choices of the sequence p n /q n → α, one can control the rotation types of the counted periodic orbits.

PARAMETERIZATION VIA THE INTERPOLATED FAMILY OF MAPS
We return now to the heuristic description in the introduction of kfsm sets via a family of interpolated semi-monotone maps and prove a few results and connections to the HMparameterization.Since we are mainly developing a heuristic, some details are left to the reader.In many ways this point of view is better for studying kfsm sets while the HM construction is better for measures.Initially the parameterization depends on the map g ∈ G but using the model map we will get a uniform parameterization.Fix g ∈ G with preferred lift g.For y ∈ [g(x min +n), g(x max +n)] there is a unique x ∈ [x min + n, x max +n] with g(x) = y.Denote this x as b n (y) (b for branch).Let L g = g(min(Λ ∞ (g)∩I 0 )) and U g = g(max(Λ ∞ (g) ∩ I −1 )) with the I i as defined in Section 5.1.Note from the definition of the class G, 0 ≤ L g < U g ≤ 1 and by equivariance, L g + j = g(min(Λ ∞ (g) ∩ I 2j )) and U g + j = g(max(Λ ∞ (g) ∩ I 2j−1 )).Given a compact Z ⊂ Λ k (g), for j = 0, . . ., k let j (Z) = gk (max{Z ∩ I 2j−1 }) − (j − 1) and r j (Z) = gk (min{Z ∩ I 2j }) − (j − 1).If for some j we have j < L g let j = L g otherwise let j = j .Similarly, and if for some j, we have r j > R g let r j = R g otherwise let r j = r j .Not that these r's and 's are unrelated to those in Section 9.1.Proof.Part (a) follows directly from Lemma 3.1(b) and (c).For (b) assume to the contrary that ϕ − is not continuous.Then there is a sequence u n → u 0 with ϕ − ( u n ) → ϕ − ( u 0 ).Passing to a subsequence if necessary, there is some t 0 with ϕ − ( u n ) u n + L → t 0 u 0 + L. By the continuity of R k , R k (t 0 u 0 + L) = ω and by the nonconvergence assumption, there is some t < t 0 with R k (t u 0 + L) = ω.Thus again by the continuity of R k for n large enough there is some t n < ϕ − ( u n ) with R k (t n u n + L) = ω, a contradiction.Therefore, ϕ − is continuous: the continuity of ϕ + is similar.
For (c), pick any t 0 and u 0 with R k (t 0 u 0 + L) = p/q and let c = t 0 u 0 + L. Then by Lemma 3.5, H c has a periodic orbit Z ⊂ P (H c ).Since Z is a finite set there is a nontrivial interval I so that t ∈ I implies R k (t u 0 + L) = p/q and so ϕ −,p/q < ϕ +,p/q .
To complete (c), assume to the contrary that for some u 0 , ϕ −,α ( u 0 ) < ϕ +,α ( u 0 ).Thus by the continuity of R k there is an open ball N ⊂ R −1 k (α).Pick c ∈ N and let Z be the semi-Denjoy minimal set in P (H c ) guaranteed by Lemma 3.5 which has at least one tight gap, say the gap associated with c 1 the first coordinate of c.Let y be the x-coordinate of the right hand endpoint of this gap and so gk (y) = c 1 .Since Z is minimal under H c there are points z ∈ Z with z > y and arbitrarily close to y which have a n > 0 with y < H n c (z) < z.Now let c 1 = gk (z) and c = (c 1 , c 2 , . . ., c k ) and we have that H n c (z) < z which says that the n th iterate of the first coordinate flat spot of H c is in that flat spot.Thus H c has a periodic orbit and so R k ( c ) = α for some c arbitrarily close to c, a contradiction.
For (d), assume k = 1 and ρ(g) = [ρ 1 , ρ 2 ].Let H T be the semi-monotone map constructed from g to have a single flat spot of height g(x max ) and H B similarly constructed having a single flat spot of height g(x min ).Since H T ≥ g, we have ρ(H T ) ≥ ρ 1 .Now by Lemma 3.5, there is a compact invariant Z ⊂ P (H T ) and so g |Z = (H T ) |Z and so ρ(H T ) = ρ(Z, g) ∈ ρ(g) and so ρ(H T ) = ρ 1 .Similarly, ρ(H B ) = ρ 2 .Note that by definition of H U , the compact invariant Z ⊂ P (H T ) also satisfies Z ⊂ P (H U ) and so ρ(H T ) = ρ(H U ).In this section we use the interpolation parameter c to parameterize the Z ∈ B k (g) for a general g ∈ G. Notice that for the model map, Λ k (f m ) is all of Ω k .Thus Bk (g) ⊂ Bk (f m ) and so we can pass back to B(g) using the inverse of the itinerary map.Thus we can use a subset of the interpolation parameters of the model map to parameterize B(g) using the symbolic representation of a kfsm set as the link.This subset turns out to be a square of If Z is recurrent we know that each Z ∈ B k (f ) has ι k ( Ẑ) = B k (ω, ν) for some allowable (ω, ν) which yields an indirect connection between the interpolated semi-monotone maps and HM parameterization.
There is a well known connection between the dynamics of d n : z → z n and the full shift on n symbols.This yields a connection of the symbolic kfsm sets as described by this corollary

Figure 1 .
Figure 1.The lift of a g ∈ G to the 3-fold cover and an interpolated semimonotone map

Figure 2 .
Figure 2. The model map f m in the 3-fold cover

Lemma 7 . 9 .
Assume Z ∈ B k (g), (a) ρ k (Z) exists and is a single number.(b) If ρ k (Z) = ω ∈ Q then Z is a semi-Denjoy minimal set.(c) If ρ k (Z) = p/q with gcd(p, q) = 1, then Z consists of at least one and at most k periodic orbits all with the same rotation number and period equal to qk/ gcd(p, k).(d) ρ k : B k (g) → R and ρk : Bk (g) → R are continuous Proof.By Theorem 7.2 there exists a continuous, semi-monotone H : S k → S k which interpolates the action of gk on Z. Rescaling to the standard circle let H k : S 1 → S 1 be defined as H k := D k • H • D −1 k .By Lemma 3.1(a), ρ(H k ) = ω is a single number and since ρ k (Z) = kρ(DZ, H k ), (a) follows.If ρ k (Z) ∈ Q then ρ(DZ, H k ) ∈ Q and so by Lemma 3.1(e) DZ and thus Z is a semi-Denjoy minimal set yielding (b).Now assume ρ k (Z) = p/q in lowest terms and so ρ(DZ, H k ) = p/(qk).Written in lowest terms p qk = p/ gcd(p, k) kq/ gcd(p, k) .

Definition 7 . 10 .
If Z ⊂ B k and consists of a finite collection of periodic orbits it is called a cluster.Remark 7.11.(a) For the case of general recurrent symbolic kfsm Ẑ as we commented at the end of the last subsection we may consider Ẑ ∈ Λk (f m ) = Ω k with f m the model map.Using the itinerary map ι k : Λ k (f m ) → Λk (f m ) we have from Theorem 7.6 that (ι k ) −1 ( Ẑ) is kfsm for f m and then all the conclusions of the previous theorem hold for it.Then using Theorem 6.1, the conclusions of the previous theorem hold with the obvious addition of hats in the appropriate places.(b) We shall need this implication of the symbolic case below

Remark 9 . 4 .Theorem 9 . 5 .
By Theorem 8.5, B k : HM(g) → Bk (g) is surjective and so ι −1 k B k : HM(g) → B k (g) provides a parameterization of the positive slope kfsm recurrent sets of g ∈ G and (ι −1 k ) * λ k : HM(g) → N k (g) their invariant measures.Example: The model map For the model map f m , HM k (f m ) = D k since Λk (f ) = Ω k .The first issue in understanding what the HM construction tells us about B k (g) and N k (g) is to understand the nature of the maps B k and λ k .As indicated by Lemma 9.3 in the behaviour of the set-valued maps there is an essential distinction between the resonance and nonresonance cases.Assume g ∈ G, for each k > 0, (a) The map (ι k ) −1 •B k : HM k (g) → B k (g) is onto and further it is continuous at nonresonant values and discontinuous at resonant values.(b) The map

13. 1 .
THE FAMILY OF K-FOLD INTERPOLATED MAPS FOR g ∈ G

Theorem 13 . 2 .
Assume Z ⊂ Λ k (g) is compact and invariant.The following are equivalent (a) Z is a kfsm set (b) For j = 1, . . ., k, j (Z) ≤ r j (Z).(c)Z ⊂ P (H k c ) for c ∈ k j=1 [ j (Z), r j (Z)] (13.1) thus (g k ) |Z = (H k c ) |Z .Proof.If for some j, j (Z) > r j (Z) then g restricted to Z doesn't preserve the cyclic order, and so (a) implies (b).(c) implies (a) since invariant sets in nondecreasing maps are always kfsm.Finally, (b) says that Z ⊂ P (H k c ) for c in the given range.Definition 13.3.For Z ∈ B k (g), let Box g (Z) = k j=1 [ j (Z), r j (Z)]and so Box g (Z) ⊂ [L g , U g ] k .Remark 13.4.(a) Nothing in the theorem requires Z to be recurrent.If it is, so Z ∈ B k (g), from Theorem 8.5, ι k (Z) = B k (ω, ν) where ω = ρ k (Z) and ν ∈ D kω .

Figure 4 .
Figure 4.A semi-monotone set with homoclinic points Similarly, ρ(H B ) = ρ(H L ).Thus ρ(g) = [ρ(H L ), ρ(H U )]. Finally, consider the entire family H c for c ∈ [L, U ]. Since ρ(H c ) is continuous in c, for each ω ∈ [ρ(H L ), ρ(H U )] there is a c with ρ(H c ) = ω.Further, for each c there is a compact invariant Z c ⊂ P (H c ) and Z c ⊂ Λ 1 (g) and thus ω ∈ ρ(Λ 1 (g)) ⊂ ρ(g) Remark 13.6.(a) Note that H T (x) ≤ x + 1 and H B (x) ≥ x and thus g ∈ G implies ρ(g) ⊂ [0, 1].Further, it follows from (d) that the image of each R k is ρ(g).(b) Part (b) deals only with the part of the level sets of R k in the open set (L g , U g ) k .The extension to all of [L g , U g ] k is technical and not very illuminating so we leave it to the interested reader.(c) Let τ act on c as the left cyclic shift.It easily follows that R k (τ ( c)) = R k ( c).(d) When k = 1 there is a one-dimensional family H c for c ∈ [L g , U g ].The rotation number R 1 (c) is nondecreasing in c and assumes each irrational value at a point and each rational value on an interval by (a) and (c).For each c there is a unique recurrent Z c ⊂ P (H c ) and ι 1 (Z c ) is the Sturmian with the given rotation number.This along with the geometry of the family H c give the proof of Lemma 10.15.

13. 4 .
COMPARING g ∈ G TO THE MODEL MAP

Figure 5 . 14 .
Figure 5.The rotation number diagram for the model map with k = 2. Figure has been reparameterized for clarity.
Now for the main proof, pick z ∈ Z and let Z 1 = Cl(o(z , gk )), so by the first fact, π k (Z 1 ) = Z.We now show Z 1 is minimal under gk .If not, there is a y ∈ Z 1 with Cl(o(y , gk )) Cl(o(z , gk )).By the second preliminary fact, there is some p with so gk acting on Z 1 is minimal.Thus since gk T k = T k gk , gk acting on each Z j := gj k (Z 1 ) is minimal.Now minimal sets either coincide or are disjoint, so there is a least m with T m+1 k k (z ), gk )) ⊂ Cl(o(y , gk )) Cl(o(z , gk )).