arxiv: v2 [math.ds] 13 Mar 2017

Transcription

1 BADLY APPROXIMABLE POINTS ON SELF-AFFINE SPONGES AND THE LOWER ASSOUAD DIMENSION arxiv: v2 [math.ds] 13 Mar 2017 TUSHAR DAS, LIOR FISHMAN, DAVID SIMMONS, AND MARIUSZ URBAŃSKI Abstract. We highlight a connection between Diophantine approximation and the lower Assouad dimension by using information about the latter to show that the Hausdorff dimension of the set of badly approximable points that lie in certain non-conformal fractals, known as self-affine sponges, is bounded below by the dynamical dimension of these fractals. In particular, for self-affine sponges with equal Hausdorff and dynamical dimensions, the set of badly approximable points has full Hausdorff dimension in the sponge. Our results, which are the first to advance beyond the conformal setting, encompass both the case of Sierpiński sponges/carpets (also known as Bedford McMullen sponges/carpets) and the case of Barański carpets. We use the fact that the lower Assouad dimension of a hyperplane diffuse set constitutes a lower bound for the Hausdorff dimension of the set of badly approximable points in that set. Fix d N. Dirichlet s theorem in Diophantine approximation states that for all x R d, there exist infinitely many rational points p/q Q d such that x p q < 1 q 1+1/d A point x R d is said to be badly approximable if this inequality cannot be improved by more than a constant, i.e. if there exists a constant c > 0 such that for any rational point p/q Q d, we have x p q c q 1+1/d We denote the set of all badly approximable points in R d by BA d. Dirichlet s theorem shows that in some sense, out of all the points in R d, badly approximable points are the hardest to approximate by rationals. It is well-known that BA d is a Lebesgue nullset of full Hausdorff dimension in R d, see e.g. [25, Chapter III]. For more than a decade now, as part of the burgeoning study of Diophantine properties offractalsets andmeasures [19, 10, 9, 13, 5], therehasbeen agrowing interest incomputing the Hausdorff dimension of the intersection of BA d with various fractal sets. Since BA d has full dimension, one expects its intersection with any fractal set J R d to have the same dimension as J, and this can be proven for certain broad classes of fractal sets J, see e.g. [4, 6, 12, 20]. However, progress so far has been limited to the class of fractals defined by conformal dynamical systems, and it has been a natural challenge to understand what happens beyond this case. Non-conformal dynamical systems (where the system is expanding but may have different rates of expansion in different directions) are often much more complicated than conformal ones, which can often be thought of as essentially the same as one-dimensional 1

2 2 TUSHAR DAS, LIOR FISHMAN, DAVID SIMMONS, AND MARIUSZ URBAŃSKI systems. For instance, the Hausdorff dimension of any conformal expanding repeller can be computed via Bowen s formula (e.g. [23, Corollary 9.1.7]), but it is far more difficult to compute the Hausdorff dimension of even relatively simple non-conformal fractals, such as the limit sets/measures of affine iteration function systems (IFSes) satisfying the open set condition. To make progress one generally has to assume either some randomness in the contractions defining the IFS, as in [11, 16], or some special relations between these contractions, as in [1, 7]. An exception to this is a recent theorem of Bárány and Käenmäki [2], who showed that every self-affine measure on the plane is exact dimensional. In this paper we will concentrate on the latter situation, considering the class of selfaffine sponges, and in particular analyzing the Hausdorff dimension of the intersection of a self-affine sponge with the set of badly approximable points. The class of self-affine sponges is the generalization to higher dimensions of the class of self-affine carpets, which consists of subsets of R 2 defined according to a certain recursive construction where each rectangle in the construction is replaced by the union of several rectangles contained in that rectangle (cf. Definition 1.1 below). The Hausdorff dimension of certain self-affine carpets was computed independently by Bedford [3] and McMullen [22], and their results were extended by several authors [21, 18, 1, 7]. Given a self-affine sponge, we would like to know what the Hausdorff dimension of its intersection with BA d is. There are two subtleties that make this question more difficult to answer than in the conformal case. One involves the question of what hypotheses are sufficient to deduce that a self-affine sponge intersects BA d nontrivially. In the case of selfconformal sets, the answer has always turned out to be an irreducibility assumption: in the most general case, that the set in question is not contained in any real-analytic manifold of dimension strictly less than d (see [6]). This assumption is natural because of a wellknown obstruction: any point contained in a rational affine hyperplane cannot be badly approximable, and thus any set that intersects BA d cannot be contained in a rational affine hyperplane. Strengthening this requirement from rational hyperplanes to all hyperplanes, and then from hyperplanes to real-analytic manifolds, is natural from a geometric point of view. However, in the case of self-affine sponges the irreducibility assumption needs to be stronger than the condition of not being contained in a manifold; in the next section we will say precisely what assumption is needed (see Definition 1.2). Our irreducibility assumption is satisfied in most examples, and we can show that standard techniques (i.e. Schmidt s game and hyperplane diffuseness) must fail for sponges that are not irreducible in our sense (see Proposition 3.4). The other subtlety is that self-affine sponges may have no natural measure of full dimension, as recently discovered by two of the authors [7]. For such sponges, our techniques cannot prove that the intersection of the sponge with BA d has full dimension in the sponge, but only that the dimension of this intersection is bounded below by the dynamical dimension of the sponge, i.e. the supremum of the dimensions of the invariant measures. Regarding this difficulty, we leave open the possibility that it may still be possible to prove the full Hausdorff dimension of the sponge s intersection with BA d using Schmidt s game and hyperplane diffuseness, but new ideas would be needed. This problem as well as a few other open problems are listed at the end of the paper.

3 BADLY APPROXIMABLE POINTS ON SELF-AFFINE SPONGES 3 Acknowledgements. The first-named author was supported in part by a Faculty Research Grant from the University of Wisconsin La Crosse. The second-named author was supported in part by the Simons Foundation grant # The third-named author was supported in part by the EPSRC Programme Grant EP/J018260/1. The fourthnamed author was supported in part by the NSF grant DMS The authors thank the anonymous referee for helpful comments. 1. Main results We use the same notation to describe self-affine sponges as in [7]: Definition 1.1 ([7, Definitions 2.1 and 2.2]). Fix d 1, and let D = {1,...,d}. For each i D, let A i be a finite index set, and let Φ i = (φ i,a ) a Ai be a finite collection of contracting similarities of [0,1], called the base IFS in coordinate i. (Here IFS is short for iterated function system.) Let A = i D A i, and for each a = (a 1,...,a d ) A, consider the contracting affine map φ a : [0,1] d [0,1] d defined by the formula φ a (x 1,...,x d ) = (φ a,1 (x 1 ),...,φ a,d (x d )), where φ a,i is shorthand for φ i,ai in the formula above, as well as elsewhere. Geometrically, φ a can be thought of as corresponding to the rectangle to which it sends [0,1] d : φ a ([0,1] d ) = i Dφ a,i ([0,1]) [0,1] d. Given E A, we call the collection Φ def = (φ a ) a E a diagonal IFS. It is a special case of the more general notion of an affine IFS. The coding map of Φ is the map π : E N [0,1] d defined by the formula π(ω) = lim n φ ω n (0), def def where φ ω n = φ ω1 φ ωn. Finally, the limit set of Φ is the set Λ Φ = π(e N ). We call the limit set of a diagonal IFS a self-affine sponge. If d = 2, the limit set is also called a self-affine carpet. The sponge Λ Φ is called Barański (resp. strongly Barański) if the base IFSes all satisfy the open set condition (resp. the strong separation condition) with respect to the interval I = (0,1) (resp. I = [0,1]), i.e. if for all i D, the collection ( φi,a (I) ) a A i is disjoint. We now define the notion of irreducibility that we need in order to state our theorem: Definition 1.2. Define a partial order on D by writing i j if φ a,i φ a,j for all a E. In other words, i j if all contractions of Φ contract at least as fast in coordinate j as in coordinate i. The sponge Λ Φ is said to be irreducible if for all i D, there exist a,b E such that a i b i but {j D : a j b j } {j D : j i}. In other words, Φ is irreducible if for every coordinate, Φ contains two contractions that can be distinguished in that coordinate but not in any coordinate that allows for slower contraction than in the original coordinate.

4 4 TUSHAR DAS, LIOR FISHMAN, DAVID SIMMONS, AND MARIUSZ URBAŃSKI Figure 1. Generating templates for the IFSes Φ (1) and Φ (2) considered in Example 1.3. The left-hand picture is irreducible but the right-hand picture is reducible. Both IFSes have distinguishable coordinates and are Barański but not strongly Barański. The sponge Λ Φ is said to have distinguishable coordinates if for all i,j D with i j, there exists a E such that φ a,i φ a,j. Note that in two dimensions, a carpet has distinguishable coordinates if and only if its IFS does not consist entirely of similarities. Example 1.3. Let d = 2, m 1 = 3, and m 2 = 2, and consider the base IFSes Φ i = (φ i,a ) 0 a mi 1, φ i,a (x) = a+x m i The product IFS consists of the affine contractions ( a1 +x 1 φ a (x 1,x 2 ) =, a ) 2 +x 2, a A = {0,1,2} {0,1}. 3 2 Let E (1) = {(0,0),(1,1),(2,0)} A and E (2) = {(0,0),(2,1)} A, and consider the diagonal IFSes Φ (k) = (φ a ) a E (k) (k = 1,2). (Cf. Figure 1.) The IFS Φ (1) is irreducible, since for i = 1 we can take a = (0,0) and b = (2,0) and for i = 2 we can take a = (0,0) and b = (1,1). On the other hand, the IFS Φ (2) is reducible, since if i = 1, then there do not exist a,b E (2) such that a i b i and {j D : a j b j } {j D : j i}. Both of these IFSes have distinguishable coordinates. WenotethatalthoughΦ (2) isreducible, itslimitset isnotcontainedinanylineorsmooth curve in R 2. This contrasts with the case of limit sets of conformal IFSes, where a set is defined to be irreducible if it is not contained in any real-analytic manifold of dimension strictly smaller than the ambient dimension. The reason that we call Φ (2) reducible is that its limit set does not have any hyperplane diffuse subsets, meaning that Schmidt s game cannot be used to deduce lower bounds on the dimension of its intersection with BA d ; see Section 2 and Proposition 3.4 for details. The last notion we need to define before we can state our theorem is the notion of the dynamical dimension of a self-affine sponge: Definition 1.4 ([7, Definition 2.6]). The dynamical dimension of a self-affine sponge Λ Φ is the number dim D (Φ) def = sup{dim H (π [µ])}, µ

5 BADLY APPROXIMABLE POINTS ON SELF-AFFINE SPONGES 5 where the supremum is taken over all probability measures µ on E N that are invariant under the shift map. 1 Here, π [µ] denotes the pushforward of µ under the coding map π, and the Hausdorff dimension of π [µ] is the infimum of the Hausdorff dimensions of sets that have full measure under π [µ]. The dynamical dimension of a self-affine sponge is always bounded above by the Hausdorff dimension of the sponge. Equality holds in the case of Sierpiński sponges (in which the coordinatewise rates of contraction are the same for all contractions in the IFS)[18] and also in the case of Barański carpets (i.e. two-dimensional Barański sponges) [1]. In general, the dynamical dimension may be strictly less than the Hausdorff dimension, see [7]; this is true even for three-dimensional Barański sponges satisfying the coordinate ordering condition (see Definition 2.8 below). We are now ready to state our main result: Theorem 1.5. Let Λ Φ [0,1] d be an irreducible Barański sponge with distinguishable coordinates. Then dim H (Λ Φ BA d ) dim D (Λ Φ ). In particular, if d = 2 or if Λ Φ is a Sierpiński sponge, then Λ Φ BA d has full Hausdorff dimension in Λ Φ. The idea of the proof can be described succinctly as follows. Let ν = π [µ] be the image under the coding map of an ergodic shift-invariant probability measure µ on E N. Let N be a large number, and let F E N be a subset consisting of µ-typical words. Then the limit set of the IFS Ψ F corresponding to F can be shown to intersect BA d in a set of dimension close to the dimension of ν, Roughly, this is because the elements of Ψ F are all relatively homogeneous and so the lower Assouad dimension of the limit set of Ψ F, which isalower boundforthedimension ofitsintersection withba d (see Proposition2.5), isclose to the Hausdorff dimension of the limit set of Ψ F, which is in turn close to the Hausdorff dimension of ν (computed using a Ledrappier Young-type formula [7, (2.13)]). Finally, ν can be chosen so that its Hausdorff dimension is close to the dynamical dimension of Λ Φ. Actually, we do not need to deal with all possible ergodic shift-invariant measures; it suffices to consider the smaller class of Bernoulli measures. A Bernoulli measure is a measure of the form ν p = π [p N ], where p is a probability measure on E. In [7, Theorem 2.7], it was shown that the supremum of the Hausdorff dimensions of the Bernoulli measures is equal to the dynamical dimension, so in the above proof sketch ν can be assumed to be a Bernoulli measure. The function sending a Bernoulli measure to its Hausdorff dimension is continuous [7, Theorem 2.9], so by compactness there exists a (not necessarily unique) Bernoulli measure whose Hausdorff dimension is equal to the dynamical dimension. If ν p is a Bernoulli measure of maximal dimension, then to show that the conclusion of Theorem 1.5 holds it suffices to check that the above proof sketch can be made rigorous for the measure ν = ν p. It turns out that the conditions under which this is possible are more general than the hypotheses of Theorem 1.5. To make this statement precise, we introduce a local analogue of the partial order considered in Definition 1.2: 1 By [7, Theorem 2.7 and (2.13)], the dynamical dimension is the same if we take the supremum only over ergodic measures of positive entropy. This means that our definition agrees with the usual one in the literature e.g. [8, (2.14)].

6 6 TUSHAR DAS, LIOR FISHMAN, DAVID SIMMONS, AND MARIUSZ URBAŃSKI Definition 1.6. Let p be a probability measure on E, and for each i D we define the Lyapunov exponent of p in coordinate i to be the number χ i (p) = log φ a,i dp(a). Define a partial order p on D by writing i p j if χ i (p) χ j (p). The measure p is said to beirreducible (orequivalently, thespongeλ Φ issaidtobeirreducible with respect to p)iffor all i D, there exist a,b E such that a i b i but {j D : a j b j } {j D : j p i}. Note that p is a finer partial order than, so if a sponge is irreducible in the sense of Definition 1.2 then it is irreducible with respect to every probability measure on E. The measure p is said to have distinct Lyapunov exponents if the numbers χ i (p) (i D) are all distinct. We also introduce a local analogue of the Barański condition: Definition 1.7 (Cf. [7, Definition 3.1]). Let Λ Φ be a self-affine sponge, and let I D be a coordinate set. Let Φ I = (φ I,a ) a πi (E), where φ I,a : [0,1] I [0,1] I is defined by the formula φ I,a (x) = ( φ a,i (x i ) ) i I and π I : A A I def = i I A i is the projection map. We call I good (resp. strongly good) if the collection ( φi,a (I I ) ) a π I (E) is disjoint, where I = (0,1) (resp. I = [0,1]). Also, a measure p on E is called good (resp. strongly good) if for every x > 0, the set is good (resp. strongly good). I(p,x) = {i D : χ i (p) x} We can now state a local version of Theorem 1.5: Theorem 1.8. Let Λ Φ [0,1] d be a self-affine sponge, and let p be an irreducible good probability measure on E with distinct Lyapunov exponents. Then dim H (Λ Φ BA d ) dim H (ν p ). In particular, if dim H (ν p ) = dim H (Λ Φ ), then Λ Φ BA d has full Hausdorff dimension in Λ Φ. IfΛ Φ isanirreducible Barańskispongewithdistinguishable coordinates, theneveryprobability measure on E is both irreducible and good, and the set of measures with distinct Lyapunov exponents forms an open dense set. Thus, Theorem 1.8 implies Theorem 1.5. Outline of the paper. In the next section we recall some known results about the dimension of intersection of BA d with fractals and its relation to the lower Assouad dimension, and state a strengthening of Theorem 1.8, namely Theorem 2.7. In Section 3, we prove some results which suffice to give a useful estimate on the Hausdorff dimension of

7 BADLY APPROXIMABLE POINTS ON SELF-AFFINE SPONGES 7 Λ ΨF BA d, where Ψ F is a homogeneous IFS as described in our proof sketch above. In Section 4 we use this estimate to prove Theorem 2.7. Convention 1. The symbols,, and will denote coarse multiplicative asymptotics. For example, A B means that there exists a constant C > 0 (the implied constant) such that A CB. 2. Schmidt s game, hyperplane diffuse sets, and the lower Assouad dimension For d 2, the full dimension of BA d in R d was proven by Schmidt [24] using a technique now known as Schmidt s game. Since then, Schmidt s game and its variants have been used to prove the full dimension intersection of BA d with various fractals, as well as various stability properties such as C 1 incompressibility [4]. The modern approach [4] is to first show thatba d iswinning foravariant ofschmidt s gameknown asthehyperplane absolute game, and then show that any set winning for the hyperplane absolute game is also winning for Schmidt s game played on any fractal satisfying a certain geometric condition called hyperplane diffuseness. The Hausdorff dimension of a set winning for Schmidt s game played on a fractal can be bounded from below based on the geometry of that fractal; there are currently two known ways of doing this, one based on the dimensions of fully supported doubling Frostman measures on the fractal [20, Theorem 1.1], and the other based on the lower Assouad dimension of the fractal [12, Theorem 3.1]. The two methods give the same bound whenever the fractal in question is Ahlfors regular, 2 which is true in most applications that have been considered so far. However, in our case the fractals are not Ahlfors regular, and there is a difference between the two methods. We work with the second method, based on the lower Assouad dimension, as it seems to be more suited to the situation we consider here. Definition 2.1. Let K be a closed subset of R d. For any 0 < α,β < 1, Schmidt s (α,β)- game is an infinite game played by two players, Alice and Bob, who take turns choosing balls in R d whose centers lie in K, with Bob moving first. The players must choose their moves so as to satisfy the relations B 1 A 1 B 2 and ρ(a k ) = αρ(b k ) and ρ(b k+1 ) = βρ(a k ) for k N, where B k and A k denote Bob s and Alice s kth moves, respectively, and where ρ(b) denotes the radius of a ball B. Since the sets B 1,B 2,... form a nested sequence of nonempty closed sets whose diameters tend to zero, it follows that the intersection k B k is a singleton, say k B k = {x}, whose unique member x lies in K. The point x is called the outcome of the game. A set S K is said to be (α,β)-winning on K if Alice has a strategy guaranteeing 2 We recall that a measure µ on R d is said to be Ahlfors s-regular if for all x Supp(µ) and 0 < ρ 1, we have µ(b(x,ρ)) ρ δ. A closed set K R d is said to be Ahlfors s-regular if there exists an Ahlfors s-regular measure µ such that K = Supp(µ), and Ahlfors regular if it is Ahlfors s-regular for some s > 0.

8 8 TUSHAR DAS, LIOR FISHMAN, DAVID SIMMONS, AND MARIUSZ URBAŃSKI that the outcome lies in S, regardless of the way Bob chooses to play. It is said to be α-winning on K if it is (α,β)-winning on K for every 0 < β < 1, and winning on K if it is α-winning on K for some 0 < α < 1. Definition 2.2. A set K R d is said to be hyperplane diffuse if there exists β > 0 such that for all 0 < ρ 1 and x K and for any (affine) hyperplane L R d, we have B(x,ρ) K \N(L,βρ), where N(L,ε) denotes the closed ε-thickening of L, i.e. N(L,ε) = {y R d : d(y,l) ε}. Proposition 2.3 ([4, Theorem Proposition 4.7]). Let K R d be a closed and hyperplane diffuse set. Then BA d K is winning on K. This result remains true if BA d is replaced by any hyperplane absolute winning set, see [4, p.4] for the definition. The same applies to all of the results of this paper. To state in a clearer way the lower bound for the Hausdorff dimension of a winning set discovered by the second-named author [12, Theorem 3.1], we recall the definition of the lower Assouad dimension of a set. (The lower Assouad dimension has been given several names in the literature, see [14, p.6688], but the name lower Assouad dimension seems by far the most natural to us.) Definition 2.4. Given ρ > 0 and S R d, we let N ρ (S) denote the cardinality of any maximal ρ-separated subset of S. (Choosing a different maximal ρ-separated set will not change N ρ (S)bymorethanaconstant factor.) Thelower Assouad dimension ofanonempty closed set K R d, denoted dim A (K), is the supremum of s 0 such that there exists a constant c > 0 such that for all x K and 0 < β,ρ 1, we have Equivalently, (cf. Appendix A). dim A (K) = liminf β 0 N βρ ( B(x,ρ) K ) cβ s. = liminf β 0 inf inf logn βρ (B(x,ρ) K) 0<ρ 1 x K log(β) lim inf ρ 0 inf x K logn βρ (B(x,ρ) K) log(β) The lower Assouad dimension is the smallest of the standard fractal dimensions. In particular, if K is closed then dim A (K) dim H (K), see e.g. [17, Lemma 2.2]. Note that unlike most notions of dimension, the lower Assouad dimension is not monotone: a subset may have larger lower Assouad dimension than the set it is contained in. The essential idea of the following result is found in [12, Theorem 3.1]. We include the proof for completeness. Proposition 2.5. Let K R d be closed and let S K be winning on K. Then dim H (S) dim A (K), where dim A denotes the lower Assouad dimension.

9 BADLY APPROXIMABLE POINTS ON SELF-AFFINE SPONGES 9 Proof. Let δ = dim A (K), and fix ε > 0. Then by definition, there exists a constant c = c ε > 0 such that for all x K, 0 < β 1/4, and 0 < ρ 1, we have N 3βρ ( B(x,(1 β)ρ) K ) N = N(β) def = c ε β (δ ε). Now let α > 0 be chosen so that S is α-winning, and fix 0 < β 1/2. For each ball A = B(x,ρ), we choose a 3βρ-separated sequence y (1) (A),...,y (N) (A) B(x,(1 β)ρ) K, and we let f i (A) denote the ball centered at y (i) (A) of radius βρ. Then the balls f 1 (A),...,f N (A) are contained in A and separated by distances of at least βρ. Moreover, each ball f i (A) is a legal move for Bob to make in response to Alice playing A as her move. Now fix a winning strategy for Alice to win the (α,β)-game, and we will consider the family of counterstrategies for Bob such that whenever Alice plays a ball A k, Bob responds by playing one of the balls f 1 (A k ),...,f N (A k ). We fix Bob s initial ball (chosen to have radius less than 1), and for each function ω : N E def = {1,...,N(β)}, we consider the counterstrategy in which Bob responds to Alice s kth move A k by choosing the ball B k+1 = f ω(k) (A k ). We denote the outcome of this counterstrategy by π(ω), so that π : E N K. The separation conditions on the balls f 1 (A),...,f N (A) guarantee that d(π(ω),π(τ)) (αβ) ω τ ω,τ E N, where ω τ denotes the length of the longest common initial segment of ω and τ. Thus the uniform Bernoulli measure on π(e N ) is Ahlfors s(β)-regular, where s(β) def = logn(β) (δ ε)log(β)+o(1) = δ ε. log(αβ) log(αβ) β 0 It follows that dim H (π(e N )) s(β). Now, since each element of π(e N ) is the outcome of a game where Alice played her winning strategy, we have π(e N ) S and thus dim H (S) s(β) δ ε. Since ε was arbitrary, we have dim H (S) δ. Combining Propositions 2.3 and 2.5 gives: Corollary 2.6. Let K R d be a closed and hyperplane diffuse set. Then dim H (BA d K) dim A (K). With this result in mind, we can see how the following theorem is a strengthening of Theorem 1.8: Theorem 2.7. Let Λ Φ [0,1] d be a self-affine sponge, and let p be an irreducible good probability measure on E with distinct Lyapunov exponents. Then there exists a sequence of strongly Lalley Gatzouras sponges Λ ΨN Λ Φ that are hyperplane diffuse and satisfy dim A (Λ ΨN ) dim H (ν p ). Here, following [7], we use the term Lalley Gatzouras to refer to a certain class of sponges that includes the carpets considered by Lalley and Gatzouras: Definition 2.8 (Cf. [7, Definition 3.6]). A self-affine sponge Λ Φ is Lalley Gatzouras (resp. strongly Lalley Gatzouras) if there exists a permutation σ of D such that both of the following hold:

10 10 TUSHAR DAS, LIOR FISHMAN, DAVID SIMMONS, AND MARIUSZ URBAŃSKI Figure 2. Generating templates for two carpets satisfying the coordinate ordering condition. The picture on the right also satisfies the disjointness condition, making it a Lalley Gatzouras carpet. (Coordinate ordering condition) For all a E, we have φ a,σ(1) > φ a,σ(2) > > φ a,σ(d) ; (Disjointness condition) The coordinate sets σ(i i ) (i = 1,...,d) are all good (resp. def strongly good), where I i = {1,...,i}. 3. Some results on Lalley Gatzouras sponges In this section, we give a necessary and sufficient condition for the hyperplane diffuseness of a strongly Lalley Gatzouras sponge Λ Φ (which will be fixed throughout the section), as well as a formula for the the lower Assouad dimension of Λ Φ. For conceptual completeness we also state the formula for the upper Assouad dimension of Λ Φ, which is defined as follows: Definition 3.1. The upper Assouad dimension of a nonempty closed set K R d, denoted dim A (K), is the infimum of s 0 such that there exists C > 0 such that for all x K and 0 < β,ρ 1, we have N βρ ( B(x,ρ) K ) Cβ s, where N βρ is as in Definition 2.4. Equivalently, (cf. Appendix A). dim A (K) = limsup β 0 = limsup β 0 sup sup 0<ρ 1 x K lim sup ρ 0 sup x K logn βρ (B(x,ρ) K) log(β) logn βρ (B(x,ρ) K) log(β) Definition 3.2. The sponge Λ Φ is called uniformly irreducible if for all i D and a E, there exists b E such that b i a i but {j D : a j b j } {j D : j i}, where the partial order is the same as in Definition 1.2. For example, the irreducible Barański sponge Λ Φ (1) appearing in Example 1.3 is not uniformly irreducible, since if i = 1 and a = (1,1) then there is no b E (1) such that b i a i but {j D : a j b j } {j D : j i}. On the other hand, if

11 BADLY APPROXIMABLE POINTS ON SELF-AFFINE SPONGES 11 E (3) = {(0,0),(1,1),(2,0),(2,1)}, then the corresponding Barański sponge Λ Φ (3) is uniformly irreducible. In the remainder of this section, we assume without loss of generality that the permutation σ appearing in Definition 2.8 is trivial, i.e. that the orders and on D are equivalent. (Note that this is not true for the sponges of Example 1.3.) Proposition 3.3. The sponge Λ Φ is hyperplane diffuse if and only if it is uniformly irreducible. We will use the backwards direction of this proposition in the proof of Theorem 2.7; we include the proof of the forwards direction for completeness. Proof of backwards direction. Fix ω E N and 0 < ρ 1, and let x = π(ω); we will prove that (3.1) Λ Φ B(x,ρ)\N(L,βρ) for any hyperplane L, where β > 0 is an appropriate constant. For each i D, let N i N be the smallest number such that (3.2) N i n=1 φ ω n,i ρ, and note that by the coordinate ordering condition, we have N 1 N 2 N d. Let (3.3) Then by (3.2), [a] i = {b E : a i = b i } [ω N] i def = {τ E N : τ n [ω n ] i n N} B ω (N 1,...,N d ) def = i D[ω N i ] i. B ω (N 1,...,N d ) π 1( B(π(ω),ρ) ). (Here for convenience we work with the maxnorm on R d.) Now fix i D andlet a = ω Ni +1. Let b E be as in Definition 3.2. Define the point τ E N as follows: let τ n = ω n for all n N i +1, and let τ Ni +1 = b. Finally, let y (i) = π(τ). Fix j D. If a j = b j, then clearly τ [ω N j ] j. On the other hand, if a j b j, then j i and thus N j N i, which implies τ [ω N j ] j. So either way we have τ [ω N j ] j, and thus τ B ω (N 1,...,N d ). Consequently, y (i) B(x,ρ). If j < i, then a j = b j and thus x j = y (i) j. On the other hand, since a i b i and since I i is strongly good, we have max j i y (i) j x j ρ. Combining these facts gives y (i) i x i ρ. Since i,j were arbitrary, this means that the matrix M = (y (i) j x j ) i,j = i D (e(i) ) (y (i) x) T is upper triangular and its diagonal entries are asymptotic to ρ, while all of its entries are bounded in magnitude by ρ. Here e (i) denotes the (column) vector whose ith entry is 1 (and whose other entries are 0). This implies that M 1 ρ 1.

12 12 TUSHAR DAS, LIOR FISHMAN, DAVID SIMMONS, AND MARIUSZ URBAŃSKI So if v R d is any unit vector, then Mv ρ and thus there exists i D such that (y (i) x) v ρ. It follows that there exists a constant β > 0 (independent of x,ρ,v) such that (3.4) d(y (i) x,v ) > 2βρ. Now if L R d is a hyperplane, then we can write L = p+v for some p R d and some unit vector v, and then (3.4) implies that max(d(x,l),d(y (i),l)) > βρ. Since x,y (i) Λ Φ B(x,ρ), this demonstrates (3.1), completing the proof. Proof of forwards direction. By contradiction suppose that Λ Φ is not uniformly irreducible. Then there exist i D and a E such that for all b E satisfying b i a i, we have {j D : a j b j } {j D : j i}. Let ω = a, x = π(ω), and L = x+ j i Re(j). We claim that for all 0 < ρ 1, (3.5) Λ Φ B(x,ρ) N(L,Cρ α ), where C > 0 and α > 1 are constants. This implies that Λ Φ is not hyperplane diffuse. Indeed, fix 0 < ρ 1, and for each j D, let N j N be the largest number such that where (3.6) ε = min I=I j j D N j φ ω n,j = φ a,j N j ε 1 ρ, n=1 min a,b π I (E) distinct d ( φ I,a ([0,1] I ),φ I,b ([0,1] I ) ). Since Λ Φ satisfies the disjointness condition, we have ε > 0. As before we have N 1 N 2 N d. We let the notations [a] i, [ω N] i, and B ω (N 1,...,N d ) be as in the previous proof, but this time our definition of N j implies that π 1( B(π(ω),ρ) ) B ω (N 1,...,N d ). Fix τ π 1( B(π(ω),ρ) ), and we will estimate d(y,l), where y = π(τ). Fix n N i 1 (with the convention that N 0 = ), and let b = τ n. Since τ B ω (N 1,...,N d ), we have b j = τ n,j = ω n,j = a j for all j < i. By the definition of i, this implies that b i = a i, and thus τ n,i = ω n,i for all n N i 1. It follows that d(y,l) = y i x i N i 1 n=1 φ ω n,i = φ a,i N i 1. If i = 1, then we have shown that d(y,l) = 0. Suppose i > 1. Since Λ Φ satisfies the coordinate ordering condition, we have α def = log φ a,i log φ a,i 1 > 1. On the other hand, the definition of N i 1 implies that φ a,i 1 N i 1+1 < ε 1 ρ, so d(y,l) φ a,i 1 N i 1α ρ α,

13 BADLY APPROXIMABLE POINTS ON SELF-AFFINE SPONGES 13 demonstrating (3.5). If Λ Φ is irreducible but not uniformly irreducible, then in the next section we will show that Λ Φ contains uniformly irreducible subsponges. So in this case, even though Λ Φ is not hyperplane diffuse it contains hyperplane diffuse subsets. On the other hand: Proposition 3.4. If Λ Φ is reducible, then it contains no hyperplane diffuse subsets. In this case, the techniques of Section 2 cannot possibly be used to prove that BA d Λ Φ is large, because these techniques rely on finding hyperplane diffuse subsets of Λ Φ (with sufficiently large lower Assouad dimension). Proof. Since Λ Φ is reducible, there exists i D such that for all a,b E such that a i b i, there exists j < i such that a j b j. Fix x = π(ω) Λ Φ, and let L = x + j i Re(j). Repeating the second paragraph of the proof of the forwards direction of Proposition 3.3 showsthat(3.5)holdsforall0 < ρ 1. (Oneminorchangeisneeded: afterfixingn N i 1, we let a = ω n. Since the condition on i now holds for all a,b E, the subsequent argument is still valid.) Since x Λ Φ was arbitrary, (3.5) implies that no subset of Λ Φ is hyperplane diffuse. Next, we compute the upper and lower Assouad dimensions of Λ Φ. For each i D, let π i = π I<i = π I i 1, and for each a π i (E), consider the fiber IFS (3.7) Φ i,a = (φ i,b ) b Ei,a where E i,a = {b A i : (a,b) π i+1 (E)}. Note that π 1 (E) = { } and π d+1 (E) = E. We let dim(φ i,a ) denote the dimension of the limit set of the IFS Φ i,a. (Since the limit set is Ahlfors regular, it does not matter what notion of fractal dimension we use.) Theorem 3.5. Recall that Λ Φ denotes a strongly Lalley Gatzouras sponge such that the orders and on D are equivalent. For each i D let Then (3.8) δ i = min a π i (E) dim(φ i,a) δ i = max dim(φ i,a ). a π i (E) dim A (Λ Φ ) = i D δ i (3.9) dim A (Λ Φ ) = i D δ i The case d = 2of Theorem 3.5 (i.e. carpets) was proven recently by Fraser [14, Theorems 2.12 and 2.13], and the case of Sierpiński sponges by Fraser and Howroyd [15]. The case of general Barański sponges appears to be more subtle. We will prove only (3.8), since that is the equation that we will need in the proof of Theorem 2.7. (To be precise, we only need the direction of (3.8).) The proof of (3.9) is similar.

14 14 TUSHAR DAS, LIOR FISHMAN, DAVID SIMMONS, AND MARIUSZ URBAŃSKI Proof of direction. Fix ω E N and 0 < β,ρ 1, and let x = π(ω). For each i D, let N i N be the smallest number such that (3.2) holds. Fix i D, and consider the space X i def = N i n=1 {ω n,i } N i 1 n=n i +1 E i,πi (ω n). Here we use the convention that N 0 =. Let r i be the map N r i ([τ N]) = φ τ, n,i i.e. up to a constant, r i sends a cylinder in X i to the diameter of the ith coordinate of its image under the coding map. Here τ denotes any element of E N. Claim 3.6. If [τ N i 1 ] is a maximal-length cylinder of X i, then n=1 (3.10) r i ([τ N i 1 ]) ρ 1+δ where δ > 0 is a constant. Proof. We have r i ([τ N i 1 ]) = ( Ni n=1 φ ω n,i where λ + = max i D max b Ai φ i,b < 1. Also, r i ([ω N i 1 ]) = ( Ni n=1 φ ω n,i )( Ni 1 n=n i +1 )( Ni 1 n=n i +1 φ τ n,i φ ω n,i where λ = min i D min b Ai φ i,b > 0. On the other hand, if then r i ([ω N i 1 ]) = Combining these inequalities gives and thus α def = max max log φ a,i i D a E log φ a,i 1 > 1, N i 1 n=1 N φ ω i 1 n,i λ N i 1 N i n=1 ρ α 1 ) ) λ N i 1 N i + ρ, λ N i 1 N i ρ, φ ω n,i 1 α ρ α. r i ([τ N i 1 ]) ρ 1+(α 1)log(λ +)/log(λ ). In the remainder of the proof we assume that ρ (C 1 β) 1/δ, where C is the implied constant of (3.10). Then r i ([τ N i 1 ]) βρ for all maximal-length cylinders [τ N i 1 ] in X i. It follows that the collection P i = {[τ N] : r i ([τ N]) βρ < r i ([τ N 1])}

15 BADLY APPROXIMABLE POINTS ON SELF-AFFINE SPONGES 15 is a partition of X i. Now let s i = δ i. By the definition of δ i, we have b E i,a φ i,b si 1 a π i (E), and thus the map r s i i is subadditive on cylinders of length at least N i. So ρ s i r s i i ([ω N i]) P P i r s i i (P) (βρ)s i #(P i ), i.e. #(P i ) β s i. Now let P = d i=1 P i, and let P(E N ) denote the power set of E N. Define the map ι : P P(E N ) as follows: (3.11) ι([τ 1 M 1 ],...,[τ d M d ]) = i D[τ i M i ] i B ω (N 1,...,N d ). Then the sets π(ι(p)) (P P) are contained in B(x,ρ) and separated by distances βρ. Thus ( ) d d d N βρ (B(x,ρ) Λ Φ ) #(P) = #(P i ) β s i = β δ i, i=1 assuming that ρ (C 1 β) 1/δ. Here β s denotes β raised to the power of s. Taking the infimum over x K, the liminf as ρ 0, and then the liminf as β 0 completes the proof. Proof of direction. For each i D, let a (i) E be chosen so that (3.12) dim(φ i,πi (a (i) )) = δ i. Fix 0 < ρ 1, and define the sequence N 1,...,N d by backwards recursion: if N i+1,...,n d are defined, then let N i be the smallest integer such that d φ a (j),i N j N j+1 ρ. Then let ω E N be the infinite word defined by the formula (3.13) ω n = a (i) i D n = N i +1,...,N i 1. j=i Note that for each i D, N i is the smallest integer that satisfies (3.2), i.e. N i has the same value in this proof as it did in the proof of the direction. Fix i D, and let X i and r i be as in the proof of the direction. By (3.13) and (3.12), r i is additive on cylinders rather than merely being subadditive. Moreover, since the sets π(ι(p)) (P P) defined by (3.11) have diameter βρ and form a cover of B(x,λ ερ) Λ Φ (here ε is as in (3.6)), we have in the last calculation rather than just : ) ( ) d (3.14) N βρ B(x,λ ερ) Λ Φ β ( δ i. The quantifiers on this statement are: for all ρ, there exists x such that (3.14) holds for all β Cρ δ, where C is the implied constant of (3.10) and δ is as in Claim 3.6. In particular, i=1 i=1 i=1

16 16 TUSHAR DAS, LIOR FISHMAN, DAVID SIMMONS, AND MARIUSZ URBAŃSKI by varying ρ we can make β arbitrarily small while still retaining (3.14). This completes the proof. 4. Proof of the main theorems In this section we prove Theorem 2.7, thus indirectly proving Theorems 1.5 and 1.8, which are consequences of Theorem 2.7. We recall that in Theorem 2.7, p is an irreducible good measure with distinct Lyapunov exponents. Without loss of generality, we suppose that the orders p and on D are equivalent, i.e. that χ 1 (p) < χ 2 (p) <... < χ d (p). By perturbing the measure p, we may assume that p(a) > 0 for all a E. Since Λ Φ is irreducible with respect to p, this implies that (4.1) h p (I i I <i ) def = log p([a] I <i ) p([a] I i ) dp(a) > 0 for all i D. Here [a] I = j I [a] j = {b E : b j = a j j I}. Now fix ε > 0 and N N, and let S = S N E N be the set of all words ω E N satisfying N (4.2) (1 ε)nχ i (p) log φ ω,i = log φ ωj,i (1+ε)Nχ i (p) and (4.3) log µ([ω] N I <i ) µ([ω] I i ) = log p([ω j] I<i ) p([ω j ] I i ) (1 ε)nh p(i i I <i ), j=1 where µ = µ N = p N. Here the notation is slightly different from in (3.3): j=1 [ω] I = {τ E N : τ n [ω n ] I n N}. By the law of large numbers, we have lim N µ N (S N ) = 1, so if N is sufficiently large then µ(s) 1 ε. Now define a sequence of sets T d T d 1 T 0 as follows: T d = S, and if T i is defined then let T i 1 = {ω T i : µ(t i [ω] I<i ) εµ([ω] I<i )}. Letting we have µ(t i \T i 1 ) = I i = {[a] I<i : a E} = {π 1 i (a) : a π i (E)}, P I i µ(t i P)<εµ(P) µ(t i P) P I i µ(t i P)<εµ(P) εµ(p) εµ(e N ) = ε, so µ(t 0 ) 1 (d+1)ε. In particular, if ε is small enough then µ(t 0 ) > 0, and in particular T 0. Claim 4.1. For all ω T 0, we have T 0 [ω] I<i = T i [ω] I<i.

17 BADLY APPROXIMABLE POINTS ON SELF-AFFINE SPONGES 17 Proof. Fix τ T i [ω] I<i ; we will prove by backwards induction that τ T j for all j = i,i 1,...,0. Fix j i, and suppose that τ T j. Since τ [ω] I<i [ω] I<j, we have [τ] I<j = [ω] I<j. Since ω T 0 T j 1, this shows that µ(t i [τ] I<i ) εµ([τ] I<i ), and thus τ T j 1. Note that in this claim, it was crucial that we defined the sequence (T i ) d 0 by backward recursion rather than by forward recursion, since we needed the fact that [ω] I<i [ω] I<j for all j i. Combining Claim 4.1 with the definition of (T i ) d 0 yields (4.4) µ(t 0 [ω] I<i ) εµ([ω] I<i ) i D ω T 0. Now let τ E = n=0 En be a word of fixed length (independent of N) such that (4.5) φ τ ([0,1] d ) (0,1) d, and consider the diagonal IFS Ψ = Ψ N = (ψ ω ) ω T0, where for each ω T 0, we write ψ ω = φ ω φ τ. Clearly, Λ Ψ Λ Φ. To bound dim A (Λ Ψ ) from below using Theorem 3.5, we fix i D and a π i (T 0 ). We have dim(ψ i,a ) log#(e i,a ) max b E i,a ( log ψ i,b ) where the fiber IFS Ψ i,a = (ψ b ) b Ei,a is as in (3.7). Now by (4.2), and on the other hand So max( log ψ b E i,a i,b ) (1+ε)Nχ i (p)+( log φ τ,i ), µ(t 0 πi 1 (a)) #(E i,a ) max b Ei,a µ(t 0 π 1 i+1 (a,b)) εµ(π 1 i (a)) max b Ei,a µ(πi+1 1 (a,b)) (by (4.4)) εexp ( (1 ε)nh p (I i I <i ) ). (by (4.3)) (4.6) dim(ψ i,a ) δ i (N,ε) def = (1 ε)nh p(i i I <i )+log(ε) (1+ε)Nχ i (p) log φ τ,i and thus by Theorem 3.5, dim A (Ψ N ) i D δ i (N,ε) N 1 ε h p (I i I <i ) 1+ε χ i (p) i D ε 0 i D h p (I i I <i ) χ i (p) The right-hand side is equal to dim H (ν p ) by the Ledrappier Young formula (e.g. [7, Proposition 2.16]). So to complete the proof, we need to show that the sponge Λ ΨN is strongly Lalley Gatzouras and hyperplane diffuse for all N sufficiently large. The coordinate ordering condition follows from (4.2) and the fact that p has distinct Lyapunov exponents.

18 18 TUSHAR DAS, LIOR FISHMAN, DAVID SIMMONS, AND MARIUSZ URBAŃSKI Since p is good, so is Λ ΨN, and (4.5) implies that Λ ΨN is in fact strongly good. Finally, combining (4.1) with the calculation preceding (4.6) shows that min min #(E i,a) 2 i D a π i (E) for all N sufficiently large, and it is easy to check that this is equivalent to Ψ N being uniformly irreducible. So by Proposition 3.3, Λ ΨN ishyperplane diffuse forall N sufficiently large. We conclude with a list of open questions. 5. Open questions Question 5.1. Let Λ Φ [0,1] d be an irreducible Barański sponge with distinguishable coordinates, such that dim D (Λ Φ ) < dim H (Λ Φ ) (cf. [7]). Does Λ Φ BA d necessarily have full Hausdorff dimension in Λ Φ (as opposed to just full dynamical dimension as guaranteed by Theorem 1.5)? Alternatively, can it be shown that it is impossible to prove this using the techniques of this paper, by showing that Λ Φ does not necessarily have hyperplane diffuse subsets of sufficiently large lower Assouad dimension? Question 5.2. Can Schmidt s game be used to show that BA d has full dimension in some fractal defined by a dynamical system which is both non-conformal and nonlinear? Question 5.3. Is there any fractal Λ defined by a smooth dynamical system (e.g. the limit set of a C 1 IFS) such that Λ BA d is nonempty but does not have full dimension in Λ? Appendix A. Equivalent formulas for the upper and lower Assouad dimensions In this paper we have used the formulas def dim A (K) = δ 1 = liminf inf inf logn βρ (B(x,ρ) K) β 0 0<ρ 1 x K log(β) def = δ 2 = liminf lim inf β 0 ρ 0 def dim A (K) = δ 1 = limsup sup β 0 = δ 2 = limsup β 0 inf x K sup 0<ρ 1 x K lim sup ρ 0 sup x K logn βρ (B(x,ρ) K) log(β) logn βρ (B(x,ρ) K) log(β) logn βρ (B(x,ρ) K) log(β) for the lower and upper Assouad dimension, respectively. It is clear from the definitions that dim A (K) = δ 1 and dim A (K) = δ 1, but it is less clear that δ 1 = δ 2 and δ 1 = δ 2, so we prove this now. For brevity we only prove the equality δ 1 = δ 2, as the proof of the equality δ 1 = δ 2 is similar. Obviously δ 1 δ 2, so we fix s < δ 2, and we will show that δ 1 s. Choose 0 < β 1 small enough so that lim inf ρ 0 logn βρ (B(x,ρ) K) inf x K log(β/4) > s,

19 BADLY APPROXIMABLE POINTS ON SELF-AFFINE SPONGES 19 and then choose ρ 0 > 0 small enough so that logn βρ (B(x,ρ) K) inf x K log(β/4) s 0 < ρ ρ 0. Then every ball B(x,ρ) centered at a point in K of radius ρ 0 contains a βρ-separated set of cardinality at least (β/4) s. Now the balls of radius βρ/2 centered at the points of this set are disjoint and contained in B(x,2ρ). Letting κ = 2ρ, we see that every ball B(x,κ) with x K and κ 2ρ 0 contains at least (β/4) s disjoint balls of radius (β/4)κ. Iterating, every such ball contains at least (β/4) ns disjoint balls of radius (β/4) n κ. Now fix x K and 0 < r R 1. Let r = min(ρ 0,r) and R = min(ρ 0,R), and let n 0 be chosen so that (β/4) n r /R but (β/4) n r /R r/r. Then by the above argument, B(x,R ) B(x,R) contains at least (β/4) ns (r/r) s disjoint balls of radius (β/4) n R r. If r = r, this shows that N r (B(x,R)) (R/r) s, and if r < r, then r > ρ 0 and thus N r (B(x,R)) 1 (R/r) s. By the definition of the lower Assouad dimension, this implies that δ 1 = dim A (K) s. References 1. Krzysztof Barański, Hausdorff dimension of the limit sets of some planar geometric constructions, Adv. Math. 210 (2007), no. 1, MR (2008e:28016) 2. Balász Bárány and Antti Käenmäki, Ledrappier Young formula and exact dimensionality of self-affine measures, preprint Tim Bedford, Crinkly curves, Markov partitions and box dimensions in self-similar sets, Ph.D. thesis, The University of Warwick, Ryan Broderick, Lior Fishman, Dmitry Kleinbock, Asaf Reich, and Barak Weiss, The set of badly approximable vectors is strongly C 1 incompressible, Math. Proc. Cambridge Philos. Soc. 153 (2012), no. 02, Tushar Das, Lior Fishman, David Simmons, and Mariusz Urbański, Extremality and dynamically defined measures, part I: Diophantine properties of quasi-decaying measures, preprint , Badly approximable vectors and fractals defined by conformal dynamical systems, preprint 2016, to appear in Math. Res. Lett. 7. Tushar Das and David Simmons, The Hausdorff and dynamical dimensions of self-affine sponges: a dimension gap result, preprint Manfred Denker and Mariusz Urbański, On Sullivan s conformal measures for rational maps of the Riemann sphere, Nonlinearity 4 (1991), no. 2, MR (92f:58097) 9. Manfred Einsiedler, Lior Fishman, and Uri Shapira, Diophantine approximations on fractals, Geom. Funct. Anal. 21 (2011), no. 1, Manfred Einsiedler and Jimmy Tseng, Badly approximable systems of affine forms, fractals, and Schmidt games, J. Reine Angew. Math. 660 (2011), Kenneth Falconer, Random fractals, Math. Proc. Cambridge Philos. Soc. 100 (1986), no. 3, Lior Fishman, Schmidt s game on fractals, Israel J. Math. 171 (2009), no. 1, Lior Fishman and David Simmons, Intrinsic approximation for fractals defined by rational iterated function systems - Mahler s research suggestion, Proc. Lond. Math. Soc. (3) 109 (2014), no. 1, Jonathan M. Fraser, Assouad type dimensions and homogeneity of fractals, Trans. Amer. Math. Soc. 366 (2014), no. 12, MR Jonathan M. Fraser and Douglas Howroyd, Assouad type dimensions for self-affine sponges, preprint 2015.

20 20 TUSHAR DAS, LIOR FISHMAN, DAVID SIMMONS, AND MARIUSZ URBAŃSKI 16. Antti Käenmäki, On natural invariant measures on generalised iterated function systems, Ann. Acad. Sci. Fenn. Math. 29 (2004), no. 2, MR Antti Käenmäki, Juha Lehrbäck, and Matti Vuorinen, Dimensions, Whitney covers, and tubular neighborhoods, Indiana Univ. Math. J. 62 (2013), no. 6, MR Richard Kenyon and Yuval Peres, Measures of full dimension on affine-invariant sets, Ergodic Theory Dynam. Systems 16 (1996), no. 2, MR (98m:28042) 19. Dmitry Kleinbock, Elon Lindenstrauss, and Barak Weiss, On fractal measures and Diophantine approximation, Selecta Math. 10 (2004), Dmitry Kleinbock and Barak Weiss, Badly approximable vectors on fractals, Israel J. Math. 149(2005), Steven P. Lalley and Dimitrios Gatzouras, Hausdorff and box dimensions of certain self-affine fractals, Indiana Univ. Math. J. 41 (1992), no. 2, MR (93j:28011) 22. Curt McMullen, The Hausdorff dimension of general Sierpinski carpets, Nagoya Math. J. 96 (1984), Feliks Przytycki and Mariusz Urbański, Conformal fractals: ergodic theory methods, London Mathematical Society Lecture Note Series, 371, Cambridge University Press, Cambridge, Wolfgang M. Schmidt, Badly approximable systems of linear forms, J. Number Theory 1 (1969), , Diophantine approximation, Lecture Notes in Mathematics, vol. 785, Springer-Verlag, Berlin, University of Wisconsin La Crosse, Department of Mathematics & Statistics, 1725 State Street, La Crosse, WI 54601, USA address: tdas uwlax.edu URL: University of North Texas, Department of Mathematics, 1155 Union Circle #311430, Denton, TX , USA address: lior.fishman unt.edu University of York, Department of Mathematics, Heslington, York YO10 5DD, UK address: David.Simmons york.ac.uk URL: University of North Texas, Department of Mathematics, 1155 Union Circle #311430, Denton, TX , USA address: urbanski unt.edu URL: