arxiv: v1 [math.mg] 12 Aug 2011

Transcription

1 On the packing dimension of box-like self-affine sets in the plane Jonathan M. Fraser Mathematical Institute, University of St. Andrews, North Haugh, St. Andrews, Fife, KY6 9SS, Scotl arxiv: v [math.mg] 2 Aug 20 April 28, 203 Abstract We consider a class of planar self-affine sets which we call box-like. A box-like self-affine set is the attractor of an iterated function system IFS of affine maps where the image of the unit square, [0, ] 2, under arbitrary compositions of the maps is a rectangle with sides parallel to the axes. This class contains the Bedford-McMullen carpets the generalisations thereof considered by Lalley-Gatzouras, Barański Feng-Wang as well as many other sets. In particular, we allow the mappings in the IFS to have non-trivial rotational reflectional components. Assuming a rectangular open set condition, we compute the packing box-counting dimensions by means of a pressure type formula based on the singular values of the maps. Mathematics Subject Classification 200: primary: 28A80, secondary: 28A78, 5A8. Key words phrases: packing dimension, box dimension, self-affine, singular value function, subadditivity, projections. Introduction The singular values of a linear map, A : R n R n, are the positive square roots of the eigenvalues of A T A. Geometrically these numbers represent the lengths of the semi-axes of the image of the unit ball under A. Thus, roughly speaking, the singular values correspond to how much the affine map contracts or exps in different directions. For s [0, n] define the singular value function φ s A by φ s A = α α 2... α s α s s + s. where α... α n are the singular values of A. This function has played a vital rôle in the study of self-affine sets over the past 25 years in this paper we introduce a modified singular value function 2. which is designed specifically to compute the packing dimension. Given an iterated function system IFS consisting of contracting affine maps, {A i + t i } m i=, where the A i are linear contractions the t i are translation vectors, it is well-known that there exists a unique non-empty compact set F satisfying m F = S i F i= which is termed the self-affine attractor of the IFS. Let I k denote the set of all sequences i,..., i k, where each i j {,..., m}, let { } da,..., A m = inf s : φ s A i A ik <..2 k= I k This number is called the affinity dimension of F is always an upper bound for the upper box dimension of F. Moreover, Falconer proved the following result in the seminal paper [F], published in 988. We write m i= Ln to denote the m-fold product of n-dimensional Lebesgue measure, supported on the space m i= Rn, dim B, dim P dim H to denote the box-counting, packing Hausdorff dimensions, respectively.

2 Theorem.. Let A,..., A m be contracting linear self-maps on R n with Lipshitz constants strictly less than /2. Then, for m i= Ln -almost all t,..., t m m i= Rn, the unique non-empty compact set F satisfying m F = A i + t i F has i= dim B F = dim P F = dim H F = min { n, d A,..., A m }. In fact, the initial proof required that the Lipshitz constants be strictly less than /3 but this was relaxed to /2 by Solomyak [S] who also showed that /2 is the optimal constant. Despite the elegance of the above result, it seems difficult to calculate the exact dimension of a self-affine set in general. However, exact calculation of dimension in certain exceptional cases has attracted a great deal of interest in recent years. The first example was the Bedford-McMullen carpet. Take the unit square, [0, ] 2, divide it up into an m n grid for some m, n N with < m n. Then select a subset of the rectangles formed by the grid consider the IFS consisting of the affine maps which map [0, ] 2 onto each chosen rectangle, preserving orientation. Bedford [Be] McMullen [Mc] independently obtained explicit formulae for the box-counting, packing Hausdorff dimensions of the attractor. In general the Hausdorff dimension box dimension can be different can be strictly less than the affinity dimension. However, if the maps are chosen such that the projection onto the horizontal axis is an interval having dimension, then the box dimension equals the affinity dimension. Our results help to formalise this observation for a much larger class of self-affine sets, see Corollaries Figure : A self-affine Bedford-McMullen carpet with m = 4, n = 5. The shaded rectangles on the left indicate the 6 maps in the IFS. Gatzouras Lalley [GL] generalised the Bedford-McMullen construction by allowing the columns to have varying widths be divided up, independently, with the only restriction being that the base of each rectangle had to be greater than or equal to the height. Barański [B2] divided the unit square up into an arbitrary mesh of rectangles by slicing horizontally vertically a finite number of times at least once in each direction. Also, Feng Wang [FW] considered a construction where the rectangles did not have to be aligned as in the Barański type IFSs. This added complication meant that the box dimension of the attractor was given in terms of the dimensions of its projection onto the horizontal vertical axes. 2

3 Figure 2: Three examples of IFSs of the types considered by Gatzouras-Lalley, Barański Feng-Wang, respectively. The shaded rectangles represent the affine maps. In all of the aforementioned examples the affine maps are orientation preserving. In this paper we relax this requirement by allowing the maps to have non-trivial rotational reflectional components. We refer to the attractors of such systems as box-like sets give their formal definition in Section.. In Section 2 we compute the packing box-counting dimensions by means of a pressure type formula based on the singular values of the maps. As in [FW] the dimension of projections will be significant.. Box-like self-affine sets notation We call a self-affine set box-like if it is the attractor of an IFS of affine maps where the image of the unit square, [0, ] 2, under arbitrary compositions of the maps is a rectangle with sides parallel to the axes. The affine maps which make up such an IFS are necessarily of the form S = T L + t, where T is a contracting linear map of the form a 0 T = 0 b for some a, b 0, ; L is a linear isometry of the plane for which L[, ] 2 = [, ] 2 ; t R 2 is a translation vector. The following separation condition, which we will need to obtain the lower bound in our dimension result, was introduced in [FW]. Definition.2. An IFS {S i } m i= satisfies the rectangular open set condition ROSC if there exists a non-empty open rectangle, R = a, b c, d R 2, such that {S i R} m i= are pairwise disjoint subsets of R. If, for all maps in the IFS, we let L be the identity map assume the rectangular open set condition, then we obtain the class of self-affine sets considered by Feng Wang [FW]. Let {S i } i I be an IFS consisting of maps of the form described above for some finite index set I, with I 2, let F be the corresponding attractor, i.e., the unique non-empty compact set satisfying F = S i F. i I We refer to F as the box-like self-affine set. It is clear that we may choose a compact square Q R 2 such that i I S iq Q. Without loss of generality we will assume throughout that we may choose Q = [0, ] 2. Let I A = {i I : S i maps horizontal lines to horizontal lines} I B = {i I : S i maps horizontal lines to vertical lines}. If I B =, then we will say F is of separated type otherwise we will say that F is of non-separated type. It will become clear why we make this distinction in the following section. Write I = k Ik to denote the set of all finite sequences with entries in I for i = i, i 2,..., i k I 3

4 write S i = S i S i2 S ik α i α 2 i for the singular values of the linear part of the map S i. Note that, for all i I, the singular values, α i α 2 i, are just the lengths of the sides of the rectangle S i [0, ] 2. Finally, let α min = min{α 2 i : i I} α max = max{α i : i I}. Recall that the lower upper box-counting dimensions of a bounded set F R d are defined by dim B F = lim inf δ 0 dim B F = lim sup δ 0 log N δ F log δ log N δ F log δ respectively, where N δ F is the smallest number of sets required for a δ-cover of F, or, alternatively, the number of closed squares in a δ-mesh which intersect F. If dim B F = dim B F, then we call the common value the box-counting dimension of F denote it by dim B F. Although we will always refer to dim B as the box-counting dimension, or just box dimension, it is also commonly referred to by other names, for example, the entropy dimension or Minkowski dimension. Our results also concern packing dimension, dim P, however, we will not use its definition directly so we omit it. For the definitions of packing measure dimension, as well as a discussion of various properties of box dimension the interplay between packing box dimension, the reader is referred to [F5]. 2 Results In this section we will state our main results. The dimension formula, which relies on the knowledge of the dimensions of the projection of F onto the horizontal vertical axes, will be given in Section 2.. In Section 2.2 we will discuss the problem of calculating the dimensions of the relevant projections. 2. The dimension formula Let π, π 2 : R 2 R be defined by π x, y = x π 2 x, y = y respectively. Also, let s = dim B π F s 2 = dim B π 2 F. It can be shown that both dim B π F dim B π 2 F exist using the implicit theorems found in [F2, M], or, alternatively, see Lemma 2.7 in Section 2.2. For i I, let bi = π S i [0, ] 2 hi = π 2 S i [0, ] 2 denote the length of the base height of the rectangle S i [0, ] 2 respectively define π i : R 2 R by π if i I A bi hi π π i = 2 if i I A bi < hi π if i I B bi < hi if i I B bi hi π 2 Finally, let si = dim B π i F. In fact, si is simply the box dimension of the projection of S i F onto the longest side of the rectangle S i [0, ] 2 is always equal to either s or s 2. For s 0 i I, we define the modified singular value function, ψ s, of S i by for s 0 k N, we define a number Ψ s k by Ψ s k = ψ s S i = α i si α 2 i s si, 2. i I k ψ s S i. 4

5 Lemma 2. multiplicative properties. a For s 0 i, j I we have a If s < s + s 2, then ψ s S i S j ψ s S i ψ s S j ; a2 If s = s + s 2, then ψ s S i S j = ψ s S i ψ s S j ; a3 If s > s + s 2, then ψ s S i S j ψ s S i ψ s S j. b For s 0 k, l N we have b If s < s + s 2, then Ψ s k+l Ψs k Ψs l ; b2 If s = s + s 2, then Ψ s k+l = Ψs k Ψs l ; b3 If s > s + s 2, then Ψ s k+l Ψs k Ψs l. We will prove Lemma 2. in Section 4.. It follows from Lemma 2. stard properties of sub- super-multiplicative sequences that that we may define a function P : [0, [0, by: where, in fact, lim Ψs k /k = P s = lim Ψs k /k inf k N Ψ s k /k if s [0, s + s 2 Ψ s if s = s + s 2 sup k N Ψ s k /k if s s + s 2, We think of P as being akin to a Bowen-like pressure function. Although P is not a pressure function in the usual sense of the word, it is the exponential of the subadditive function P s = lim k log Ψs k which one might call the topological pressure of the system. Lemma 2.2 Properties of P. For all s, t 0 we have α s minp t P s + t α s maxp t furthermore, setting t = 0, we have, for all s 0 where P 0 [ I, is a constant; 2 P is continuous on [0, ; 3 P is strictly decreasing on [0, ; 0 < α s minp 0 P s α s maxp 0 <, 4 There is a unique value s 0 for which P s =. We will prove Lemma 2.2 in Section 4. We can now state our main result concerning the packing box-counting dimensions for box-like self-affine sets. Theorem 2.3. Let F be a box-like self-affine set. Then dim P F = dim B F s where s 0 is the unique solution of P s =. Furthermore, if the ROSC is satisfied, then dim P F = dim B F = s. We will prove Theorem 2.3 in Section 5. We will now give two corollaries of Theorem 2.3 which show that the dimension formula can be simplified in certain situations. The first of which deals with the case where s = s 2. This will occur, for example, if F is of non-separated type see Lemma

6 Corollary 2.4. Let F be a box-like self-affine set which satisfies the ROSC is such that s = s 2 =: t. Then dim P F = dim B F = s, where s satisfies /k lim α i t α 2 i s t =. i I k The second corollary deals with the case where s = s 2 =. Some easily verified sufficient conditions for this to occur are given in Lemma 2.8. Corollary 2.5. Let F be a box-like self-affine set which satisfies the ROSC is such that s = s 2 =. Then dim P F = dim B F = d where d is the affinity dimension.2. To prove Corollary 2.5 simply observe that, if s = s 2 =, then our modified singular value function 2. coincides with the singular value function. in the range s [, 2]. Furthermore, it is clear that the dimension lies in this range therefore the unique value of s satisfying P s = is the affinity dimension. The converse of Corollary 2.5 is not true. In particular, it is not true that if both s s 2 are strictly less than, then the packing dimension is strictly less than the affinity dimension for example, some self-similar sets. However, it is possible to give simple sufficient conditions for the packing dimension to drop from the affinity dimension. For example, if both s s 2 are strictly less than min{, d}, where d is the affinity dimension, there exists a constant η 0, such that for all k N all i I k, α 2 i η k α i, then the packing dimension of the attractor is strictly less than the affinity dimension. To see this let ɛ = min{, d} max{s, s 2 } > 0 d be the affinity dimension note that /k P d = inf ψ d S i inf k k i I k from which it follows that dim P F < d. i I k φ d S i ɛ /k α2 i η ɛ < α i Since dim B F s + s 2, it is clear that the solution of P s = always lies in the range [0, s + s 2 ]. Even in the case where s s 2 can be computed it still may be very difficult to compute the solution of P s = explicitly. However, since the solution lies in the submultiplicative region, it can be numerically estimated from above by considering the sequence {s k } k N where each s k is defined by Ψ s k k = is an upper bound for the dimension. We will now present one final corollary of Theorem 2.3 which shows that for a certain class of box-like self-affine sets of separated type the dimension may be calculated explicitly due to the modified singular value function being multiplicative for all s rather than sub- or supermultiplicative. Corollary 2.6. Let F be a box-like self-affine set of separated type which satisfies the ROSC. Furthermore, assume that each map, S i, in the IFS has singular values α i α 2 i where the larger singular value, α i, corresponds to contracting in the horizontal direction. Then where s is the unique solution of dim P F = dim B F = s α i s α 2 i s s =. i I Furthermore, if s =, then s is the affinity dimension. Proof. It may be gleaned from the proof of Lemma 2. a, case i, that, in the situation described above, the modified singular value function is multiplicative. It follows that the unique solution of P s = satisfies Ψ s =. 6

7 Corollary 2.6 is similar to Corollary in [FW] but our result covers a much larger class of sets since we allow the maps in the IFS to have non-trivial reflectional rotational components whilst ensuring that F is of separated type. Although in a different context, a problem related to Corollary 2.6 was studied in [H]. There the author proved a version of Bowen s formula for a class of non-conformal C 2 exping maps for which the expansion is stronger in one particular direction. The idea to study box-like self-affine sets came from [FO]. There the authors consider self-similar sets, in particular, how varying the rotational or reflectional component of the mappings affects the symmetry of the attractor. Their approach relies on various group theoretic techniques. One thing to note is that, given the OSC, changing the rotational or reflectional component of the mappings in an IFS of similarities does not change the dimension. As we have shown unsurprisingly the situation is more complicated in the self-affine case, see the examples below. It would be interesting to conduct an analysis similar to that found in [FO] in the self-affine case with the added complication that one could consider changes in dimension as well as changes in the symmetry of the self-affine attractor. 2.2 Dimensions of projections The dimension formula given in Section 2. depends on knowledge of s s 2, i.e., the dimensions of the projections of F onto the horizontal vertical axes, respectively. A priori, s s 2 are difficult to calculate explicitly, or even to obtain good estimates for. In this section we examine this problem show that it is possible to compute s s 2 explicitly in a number of cases. Lemma 2.7. If F is of separated type, then π F π 2 F are self-similar sets. If F is of nonseparated type, then π F π 2 F are a pair of graph-directed self-similar sets, moreover, the associated adjacency matrix for the graph-directed system is irreducible. In this second case, it follows that s = s 2. We will prove Lemma 2.7 in Section 4.3. It follows from Lemma 2.7 that the box dimensions of the projections exist so s s 2 are well-defined. The problem with calculating the dimension of π F π 2 F is that the IFSs eluded to in Lemma 2.7 may not satisfy the open set condition OSC, or graph-directed open set condition GDOSC. However, in certain cases we will be able to invoke the finite type conditions introduced in [JY, LN, NW] generalised to the graph-directed situation in [NWD]. In this situation, despite the possible failure of the OSC or GDOSC we can view the projections as attractors of alternative IFSs or graph-directed IFSs where the necessary separation conditions are satisfied. We can then compute s s 2 using a stard formula, see, for example, [F4]. An example of this will be given in Section 3.. There is one further situation where, even if the previously mentioned finite type conditions are not satisfied, we can still compute s s 2. In this case we will say that F is of block type. Lemma 2.8 block type. Let H be any closed, path connected set which contains F is not contained in any vertical or horizontal line. If π S i H = π H 2.2 then s = s 2 =. i I π 2 i I S i H = π 2 H, 2.3 Proof. This follows immediately since, by , π F π 2 F are intervals. 3 Examples In order to illustrate our results we will now present two examples compute the packing box dimensions. We will also examine what effect the rotational reflectional components have on the dimension. In both cases it will be clear that the ROSC is satisfied, taking R = 0, 2. All rotations are taken to be clockwise about the origin all numerical estimations were calculated in Maple using the method outlined at the end of Section 2. 7

8 3. Non-separated type In this section we consider an example of a box-like self-affine set of non-separated type. Let F be the attractor of the IFS consisting of the maps which take [0, ] 2 to the 3 shaded rectangles on the left h part of Figure 3, where the linear parts have been composed with: rotation by 270 degrees top right; rotation by 90 degrees bottom right; reflection in the vertical axis left. Figure 3: Levels, 3 7 in the construction of F. Here, π F π 2 F are a pair of graph-directed self-similar sets of finite type. It is easy to see that in fact π F = π F 2 5 π 2F π 2 F = 4 π F 2 π 2F π F. with the GDOSC satisfied for this system. The associated adjacency matrix is A t = 2 5 t 2 5 t 2 4 t 2 t solving ρ A t =, where ρ A t is the spectral radius of A t, for t yields s = s 2 =: t , see [F4]. Theorem 2.3 now gives that dim P F = dim B F = s where s 0 is the unique solution of /k lim α i t α 2 i s t =, i I k which was estimated numerically to be about.09. If we considered the same construction but with no rotations or reflections then we would have a self-affine set of the type considered by Barański. In this case, results in [B2] give us that the box dimension is approximately.349, which is certainly larger than the dimension we obtained for our construction. 3.2 Block type In this section we consider an example of a box-like self-affine set of block type. Let F be the attractor of the IFS consisting of the maps S, S 2 S 3 defined by S = R 0 + 0,, 0 S 2 = S 3 = R 2 + 4, 7 0 R 3 +, 0, 8

9 where R is reflection in the horizontal axis, R 2 is rotation by 90 degrees R 3 is reflection in the vertical axis. Figure 4: Levels 4, 5 6 in the construction of F. The boxes in the first image on the left indicate the mappings. It is clear that F is of block type, taking H = [0, ] 2 in Lemma 2.8, so s = s 2 =. Theorem 2.3 now gives that dim P F = dim B F = s where s 0 is the unique solution of /k lim α i α 2 i s =. i I k This was estimated numerically to be around.5, which, by Corollary 2.5, coincides with the affinity dimension. Again, let us consider the same construction but with no rotational or reflectional components in the mappings. In this case we have a self-affine set of the type considered by Feng Wang results in [FW] give that the box dimension is approximately.8405, which is again larger than for our construction. 4 Proofs of preliminary lemmas 4. Proof of Lemma 2. We will first prove part a by a case by case analysis. Part b will then follow easily. Proof of a. a Let s [0, s + s 2 let i, j I. Firstly, assume that F is of non-separated type. It follows that s = s 2 =: t. We have ψ s S i S j = α ij t α 2 ij s t = = s t α ij α 2 ij α ij 2t s s t α i α 2 iα j α 2 j α ij 2t s s t s t 2t s α i α 2 i α j α 2 j α i α j since 2t s > 0 = ψ s S i ψ s S j proving a in the non-separated case. Secondly, assume that F is of separated type assume, in addition, that bi hi, recalling that bi hi are the lengths of the base height of the rectangle S i [0, ] 2 respectively. The case where bi < hi is analogous. We now have the following three cases: 9

10 i bj hj bij hij ; ii bj < hj bij hij ; iii bj < hj bij < hij. The key property that we will utilise here is that, since F is of separated type, bij = bi bj hij = hi hj. Note that this precludes the case: bj hj bij < hij. To complete the proof of a we will show that, in each of the above cases i-iii, we have ψ s S i S j ψ s S i ψ s. S j i We have ii Similarly ψ s S i S j ψ s S i ψ s S j = bij s hij s s =. bi s hi s s bj s s s hj iii Finally ψ s S i S j ψ s S i ψ s S j = ψ s S i S j ψ s S i ψ s S j = bij s hij s s bi s hi s s hj s2 bj s s2 = hij s2 bij s s2 bi s hi s s hj s2 bj s s2 = The proofs of a2 a3 are similar, therefore, omitted. Proof of b. This follows easily by noting that, for all k, l N, we have Ψ s k+l = ψ s S i = ψ s S i S j i I k+l i I k j I l applying part a. Ψ s k Ψ s l = 4.2 Proof of Lemma 2.2 Let s, t [0,. We have P s+t = lim i I k ψ s S i i I k α i si α 2 i s+t si i I l ψ s S j /k lim = i I k α ks max The proof of the left h inequality is similar. Furthermore, note that > inf k 0 Ψ0 k k = P 0 = lim i I k α i si α 2 i si s+s bj 2 s. hj s+s hi 2 s. bi j I l ψ s S i ψ s S j i I k α i si α 2 i t si /k lim together with setting t = 0 above gives the second chain of inequalities. 2 The continuity of P follows immediately from. 3 Let t, ε 0. Since P t + ε, P t 0,, by we have P t + ε P t α ε max < i I k /k = α s maxp t. /k = I 0

11 so P is strictly decreasing on [0,. 4 It follows from that P 0 I > that P s < for sufficiently large s. These facts, combined with parts 2 3, imply that there is a unique value of s for which P s =. 4.3 Proof of Lemma 2.7 Let I, I 2 : [0, ] [0, ] 2 be defined by I x = x, 0 I 2 y = 0, y. Also, for i I a, b {, 2}, we define a contracting similarity mapping S a,b i = π a S i I b. S a,b i : [0, ] [0, ] by a,b For certain choices of a, b i the image S i [0, ] is a singleton. We will not be interested in these maps. Also, let X = π F Y = π 2 F. It is clear that X = S, i X S,2 i Y 4. i I A Y = i I A i I B S2,2 i Y i I B S2, i X. 4.2, 2,2 It follows that if I B =, then X Y are the self-similar attractors of the IFSs { S i } i I { S i } i I respectively if I B, then X Y are a pair of graph-directed self-similar sets with an irreducible associated adjacency matrix defined by This proves Lemma Proof of Theorem 2.3 We will now prove our main result, that the packing box-counting dimensions of F are equal to the unique s which satisfies P s =. We will prove this in the box dimension case it is well-known that, since F is compact every open ball centered in F contains a bi-lipshitz image of F, dim P F = dim B F, see [F5]. Let s 0 be the unique solution of P s =. For let i = i, i 2,..., i k, i k I i = i, i 2,..., i k I {ω}, where ω is the empty word. Note that the map S ω is taken to be the identity map, which has singular values both equal to. For δ 0, ] we define the δ-stopping, I δ, as follows: I δ = { i I : α 2 i < δ α 2 i }. Note that for i I δ we have Lemma 5.. Let t 0. α min δ α 2 i < δ. 5. If t > s, then there exists a constant Kt < such that ψ t S i Kt for all δ 0, ].

12 2 If t < s, then there exists a constant Lt > 0 such that ψ t S i Lt for all δ 0, ]. Proof. Let t > s δ 0, ]. We have ψ t S i ψ t S i = ψ t S i = Ψ t k < i I k= i I k k= since lim Ψ t k /k = P t <. The result follows, setting Kt = k= Ψt k. 2 Let t < s. Consider two cases according to whether t is in the submultiplicative region [0, s + s 2 ], or supermultiplicative region s + s 2,. We will be able to deduce retrospectively that s s + s 2 so the second case is, in fact, vacuous. It would be possible to prove part 2 only in the submultiplicative case then obtain the result that the dimension is given by min{s, s + s 2 } but in order to conclude that the dimension is simply s, we include the proof in the supermultiplicative case. i 0 t s + s 2. We remark that an argument similar to the following was used in [F]. Let δ 0, ] assume that ψ t S i. 5.2 To obtain a contradiction we will show that this implies that t s. Let kδ = max{ i : i I δ }, where i denotes the length of the string i, define I δ,k by I δ,k = { i... i m : i j I δ for all j =,..., m, i... i m k but i... i m i m+ > k for some i m+ I δ }. For all i I we have, by the submultiplicativity of ψ t, ψ t S i j ψ t S i ψ t S j j I δ j I δ = ψ t S i < ψ t S i j I δ ψ t S j by 5.2. It follows by repeated application of the above that, for all k N,,k ψ t S i. 5.3 Let i I k for some k N. It follows that i = j j 2 for some j I δ,k some j 2 I {ω} with j 2 kδ by the submultiplicativity of ψ t, ψ t S i = ψ t S j j 2 ψ t S j ψ t S j 2 c kδ ψ t S j, where c kδ = max{ψ t S i : i kδ} < is a constant which depends only on δ. Since there are at most I kδ+ elements j 2 I {ω} with j 2 kδ we have Ψ t k = ψ t S i I kδ+ c kδ ψ t S i I kδ+ c kδ i I k,k by 5.3. Since this is true for all k N we have P t = lim Ψ t /k k 2

13 from which it follows that t s. So, if t s + s 2, then we may set Lt =. ii t > s + s 2. Since t < s it follows that i I k ψt S i as k. that Therefore, we may fix a k N such ψ t S i. 5.4 i I k Fix δ 0, ] define I k,δ = { i... i m : i j I k for all j =,..., m, α 2 i... i m δ but α 2 i... i m i m+ < δ for some i m+ I k}. For all i I we have, by the supermultiplicativity of ψ t, ψ t S i j ψ t S i ψ t S j j I k j I k = ψ t S i ψ t S i by 5.4. It follows by repeated application of the above that j I k ψ t S j i I k,δ ψ t S i. 5.5 Let i I δ. It follows that i = j j 2 for some j I k,δ some j 2 I. Since α 2 i δ α min by 5. α 2 j δα k min we have α 2 j α 2 iα k+ min α 2 j α j 2 maxα k+ min 5.6 { } log αmin which yields j 2 k + log α max. Setting c k = min ψ t log αmin S i : i k + log α max > 0 it follows from 5.6, 5.5 the supermultiplicativity of ψ t that ψ t S i c k ψ t S i c k. i I k,δ We have now proved part 2 setting Lt = min{, c k } = c k. Note that although Lt appears to depend on k, recall that we fixed k at the beginning of the proof of 2ii the choice of k depended only on t. We are now ready to prove Theorem 2.3. It follows immediately from the definition of box dimension that for all ε > 0 there exists C ε such that for all δ > 0 we have Upper bound assuming no separation conditions C ε δ s+ε/2 N δ π F C ε δ s ε/2 5.7 C ε δ s2+ε/2 N δ π 2 F C ε δ s2 ε/ Let ε > 0, δ > 0 suppose that, for each i I δ, {U i,j } N δf i j= is a δ-cover of F i. Since F = F i it follows that N δ F i j= {U i,j } 3

14 is a δ-cover for F. Whence, 0 δ s+ε N δ F δ s+ε N δ = δ s+ε δ s+ε Fi N δ/αi C ε C ε α s ɛ min C ε α s ɛ min πi F since α 2 i < δ si ε/2 δ by α i α i si+ε/2 α 2 i s+ε si ε/2 ψ s+ɛ/2 i C ε α s ε min K s + ε 2 by 5. by Lemma 5.. It follows that dim B F s + ε, since ε > 0 was arbitrary, we have the desired upper bound. Lower bound assuming the ROSC Let ε 0, s, δ > 0 U be any closed square of sidelength δ. Also, let R be the open rectangle used in the ROSC let r denote the length of the shortest side of R. Finally, let M = min { n N : n α min r + }. Since {S i R} i Iδ is a collection of pairwise disjoint open rectangles each with shortest side having length at least α min δr, it is clear that U can intersect no more that M 2 of the sets {F i } i Iδ. It follows that, using the δ-mesh definition of N δ, we have Fi M 2 N δ F. This yields δ s ε N δ F δ s ε M 2 = δ s ε M 2 δ s ε M 2 M 2 C ε N δ N δ Fi N δ/αi C ε πi F since α 2 i < δ si+ε/2 δ by α i α 2 i s ε α min α 2 i si+ε/2 α i si ε/2 by 5. = M 2 C ε α min α i si ε/2 α 2 i s ε/2 si M 2 C ε α min ψ s ε/2 i M 2 C ε α min L s ε 2 by Lemma It follows that dim B F s ε, since ε 0, s was arbitrary, we have the desired lower bound. Acknowledgements The author thanks Kenneth Falconer for many helpful discussions during the writing of this paper. He was supported by an EPSRC Doctoral Training Grant. 4

15 References [B2] K. Barański. Hausdorff dimension of the limit sets of some planar geometric constructions, Adv. Math., 20, 2007, [Be] T. Bedford. Crinkly curves, Markov partitions box dimensions in self-similar sets, Ph.D dissertation, University of Warwick, 984. [F] K. J. Falconer. The Hausdorff dimension of self-affine fractals, Math. Proc. Camb. Phil. Soc., 03, 988, [F2] K. J. Falconer. Dimensions measures of quasi self-similar sets, Proc. Amer. Math. Soc., 06, 989, [F4] K. J. Falconer. Techniques in Fractal Geometry, John Wiley, 997. [F5] K. J. Falconer. Fractal Geometry: Mathematical Foundations Applications, John Wiley, 2nd Ed., [FO] K. J. Falconer J. J. O Connor. Symmetry enumeration of self-similar fractals, Bull. London Math. Soc., 39, 2007, [FW] D.-J. Feng. Y. Wang. A class of self-affine sets self-affine measures, J. Fourier Anal. Appl.,, 2005, [GL] D. Gatzouras S. P. Lalley. Hausdorff box dimensions of certain self-affine fractals, Indiana Univ. Math. J., 4, 992, [H] H. Hu. Box dimensions topological pressure for some exping maps, Commun. Math. Phys., 9, 998, [JY] N. Jin S. S. T. Yau. General finite type IFS M-matrix, Commun. Anal. Geom., 3, 2005, [LN] K.-S. Lau S.-M. Ngai. A generalized finite type condition for iterated function systems, Adv. Math., 208, 2007, [M] J. McLaughlin. A note on Hausdorff measures of quasi-self-similar sets, Proc. Amer. Math. Soc., 00, 987, [Mc] C. McMullen. The Hausdorff dimension of general Sierpiński carpets, Nagoya Math. J., 96, 984, 9. [NW] S.-M. Ngai Y. Wang. Hausdorff dimension of self-similar sets with overlaps, J. London Math. Soc., 63, 200, [NWD] S.-M. Ngai, F. Wang X. Dong. Graph-directed iterated function systems satisfying the generalized finite type condition, Nonlinearity, 23, 200, [S] B. Solomyak. Measure dimension for some fractal families, Math. Proc. Camb. Phil. Soc., 24, 998,