Dimension spectrum of infinite self-affine iterated function systems

Given an infinite iterated function system (IFS) F\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {F}}$$\end{document}, we define its dimension spectrum D(F)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$D({\mathcal {F}})$$\end{document} to be the set of real numbers which can be realised as the dimension of some subsystem of F\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {F}}$$\end{document}. In the case where F\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {F}}$$\end{document} is a conformal IFS, the properties of the dimension spectrum have been studied by several authors. In this paper we investigate for the first time the properties of the dimension spectrum when F\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {F}}$$\end{document} is a non-conformal IFS. In particular, unlike dimension spectra of conformal IFS which are always compact and perfect (by a result of Chousionis, Leykekhman and Urbański, Selecta 2019), we construct examples to show that D(F)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$D({\mathcal {F}})$$\end{document} need not be compact and may contain isolated points.


Introduction
Let F = {S i : [0, 1] d → [0, 1] d } i∈J be a finite or countable family of Euclidean differentiable contractions whose contraction ratios are uniformly bounded above by some constant α < 1. We call F a (finite or infinite) iterated function system (IFS). For each non-empty I ⊂ J , one can construct a set F I = i∈I S i (F I ), which we call the attractor of {S i : [0, 1] d → [0, 1] d } i∈I ; see section 2.1 for its construction.
The sets F I often capture important information of a dynamical or number-theoretic nature. The simplest example demonstrating this is the finite IFS {S i (x) = x m + i m } m−1 i=0 , where for any I ⊆ {1, . . . , m}, F I corresponds to the set of points in [0, 1] whose expansion in base m only contains digits from I. Another highly influential example is the countable IFS F = {S i (x) = 1 x+i } i∈N , where for any I ⊂ N, F I denotes the set of all irrational x ∈ [0, 1] whose continued fraction expansion only contains a n (x) ∈ I [5,23,35]. More generally, sets of the form F I can be used to express the set of points whose orbit under an appropriate piecewise smooth expanding dynamical system never enters certain regions of the state space. In the dynamical systems literature, such a set is called the survivor set of a dynamical system with a hole (or open dynamical system). Following the perturbation theory of Keller and Liverani [29], the dynamical behaviour of such systems has attracted a lot of study, including [8,14] in the specific setting of countable branched expanding maps .
Since such a set F I will typically be fractal, in order to quantify its size and complexity one studies its Hausdorff dimension dim H F I . The Hausdorff dimension spectrum D(F) is defined as D(F) := {s ∈ R : dim H F I = s for some I ⊂ N}, that is, the set of dimensions which can be realised by the attractors of subsystems of F. Therefore D(F) captures a lot of information about the range of possible sizes of the sets F I , and gives a convenient way to study all of the sets F I in unison. It is easy to see that the dimension spectrum of a finite IFS consists of a finite collection of points. However, when the IFS is taken to consist of infinitely many maps, the structure of its dimension spectrum becomes incredibly complex and intriguing. Therefore this paper primarily studies the case where the IFS is infinite and the index set J = N.
Interest in the structure of dimension spectra of infinite iterated function systems began with the so-called Texan conjecture concerning the density of the dimensions of bounded type continued fraction sets in [0, 1]. Recall that for any irrational x ∈ (0, 1) there exists a unique sequence of digits a n (x) ∈ N such that (1) holds. Given I ⊂ N denote in [0, 1] follows from combining this with the fact that for any I ⊂ N, dim H E I = lim n→∞ dim H E I∩{1,...,n} and because E I is the attractor of the IFS {S i } i∈I . In addition to proving the Texan conjecture, Kesseböhmer and Zhu conducted the first study of dimension spectra of conformal IFS (where all of the maps S i are conformal), highlighting the relationship between the structure of the spectrum (such as whether it is equal to an interval, a finite union of intervals, a Cantor set etc.) and the decay properties of the sequence of contraction ratios of the maps belonging to the IFS. Since the work of Kesseböhmer and Zhu, the dimension spectra of conformal IFS have been further studied in [10][11][12][20][21][22]. The conformal IFS in these papers are always assumed to satisfy the bounded distortion property: there exists C > 0 such that for all n ∈ N, i 1 , . . . , i n ∈ N and all x, y ∈ [0, 1] d The conformal IFS in these papers are also always assumed to satisfy the open set condition (OSC), which controls the amount of overlap between maps in the IFS. Another (stronger) separation condition we will refer to is the strong open set condition (SOSC), and we will define both conditions in the next section. In the absence of suitable separation conditions, dimension spectra are not yet understood although there are examples to suggest that they have different behaviour, see for instance [12, p7].
In this paper, we will be interested in the topological properties of the dimension spectrum. Chousionis, Leykekhman and Urbański [10] recently proved the following. Theorem 1.2 [Theorem 1.2 [10]] The dimension spectrum of a conformal IFS satisfying the OSC and bounded distortion property is always compact and perfect.
In other words, the dimension spectrum of a conformal IFS is always compact with no isolated points. Moreover, Chousionis, Leykekhman and Urbański initiated the investigation into which kinds of compact and perfect sets could be realised as the dimension spectrum of some conformal IFS through asking a number of questions in this direction (see [10, p4]) as well as conjecturing that any compact and perfect subset of [0, ∞) (containing 0) could be realised as the dimension spectrum of some conformal IFS. Das and Simmons [12] disproved this conjecture by constructing a compact and perfect subset of [0, ∞) containing 0 which is not realised as the dimension spectrum of any conformal IFS on R d . They also constructed an example of a conformal IFS whose dimension spectrum is not uniformly perfect, answering another question from [10].
So far, the study of dimension spectra has been limited to the conformal setting. It is well-known that the dimension theory of non-conformal IFS is considerably more complex than the dimension theory of conformal IFS, and consequently exhibits many new phenomena [6,9]. Hence, it is natural to ask how this affects the structure of the dimension spectrum. In this paper we investigate for the first time the properties of dimension spectra in the non-conformal setting, by studying the dimension spectra of infinite self-affine IFS. An infinite self-affine IFS is an IFS where each map S i (·) = A i (·) + t i for a contraction A i ∈ GL d (R) and a translation t i ∈ R d . In particular they provide the simplest models for non-conformal IFS and their dimension theory is a topic of active contemporary research [2,7,13,19,34].
There are several major obstacles to extending the conformal theory of dimension spectra to the non-conformal setting. Firstly, although finite self-affine IFS have received considerable attention over the past few decades, the theory of self-affine infinite IFS is still not very well understood, unlike the very well developed theory of conformal infinite IFS [32]. To the author's knowledge, [27] and [36] are the only references for this topic. Secondly, in order to study the structure of dimension spectra it is necessary to make good upper and lower estimates on for all I ⊂ N and all n ∈ I. In the conformal setting, this is aided by the multiplicativity of the derivative which appears in the appropriate pressure functions. However, within the appropriate pressure functions that arise in the self-affine setting, the derivative is replaced by a 'singular value function' which is in general only submultiplicative but not multiplicative, meaning that good upper and lower estimates on (2) are difficult to make. Indeed, the question of whether generically (2) is strictly positive was only settled in the case d = 3 recently by Morris and Käenmäki [33] and in higher dimensions by Bochi and Morris [7]. Finally, unlike the conformal setting, the Hausdorff dimension of self-affine sets is not given by a universal formula. Although generically the Hausdorff dimension of a self-affine set is given as the root of a suitable pressure function [2,15,24], there are also classes of 'exceptional' self-affine sets whose Hausdorff dimension is strictly less than this value and instead can only be expressed in terms of a variational principle [4,13,30]. Since the subsystems of F can fall into either category, the dimension spectrum of an infinite self-affine IFS cannot simply be described by the roots of a single family of pressure functions, and so in order to understand the global structure of the dimension spectrum of an arbitrary self-affine IFS one must take into consideration both the generic and exceptional theory simultaneously. Let F = {A i (·) + t i } i∈N be a self-affine IFS. We let A = {A i } i∈N denote the linear parts of the maps in F. Given I ⊂ N, we say that the set of matrices {A i } i∈I (or simply the self-affine IFS {S i } i∈I ) is irreducible if the matrices do not all preserve a common proper non-trivial linear subspace. We say that they are strongly irreducible if they do not all preserve a common finite union of proper non-trivial linear subspaces. We begin by showing that if we impose some irreducibility assumptions on the subsystems of F, then the dimension spectrum D(F) is compact and perfect, as in the conformal setting.

Theorem 1.3 Let F be a planar self-affine IFS satisfying the SOSC and suppose that any subset of A is strongly irreducible. Then D(F) is compact and perfect.
When the parameters generating F (i.e. the linear parts (A i ) i∈N and the translations (t i ) i∈N ) which satisfy the above strong irreducibility condition and the SOSC are considered as a subset of the cartesian product R N × GL 2 (R) N , they contain an open subset in the box topology.
On the other hand, when a self-affine IFS F is outside of the class that is covered by Theorem 1.3, its dimension spectrum D(F) can have very different topological prop-erties. In particular we will explicitly construct (a) a self-affine IFS whose dimension spectrum is not compact and (b) a self-affine IFS whose dimension spectrum contains isolated points. Moreover, these examples will be planar and satisfy the SOSC but fail the strong irreducibility property of Theorem 1.3, demonstrating the sharpness of the strong irreducibility assumption in Theorem 1.3. Recall that by Theorem 1.2, neither (a) nor (b) can occur in the conformal setting. The conformal analogue of self-affine IFS are self-similar IFS, where each map S i is a similarity contraction. In the self-similar setting, the structure of the dimension spectrum solely depends on the sequence of contraction ratios of the maps in the self-similar IFS. What Theorems 1.3, 1.4 and 1.5 demonstrate is that in the self-affine case, the structure of the dimension spectrum is not only related to the sequences of singular values of the linear parts of the maps in the self-affine IFS (which describe the contraction ratios in different directions), but also on the irreducibility properties of the set of linear parts.
The paper will be organised as follows. In §2 we provide some background on self-affine sets and tools for studying their dimension theory. In §3 we obtain some estimates on how appropriate 'pressure functions' change when maps from the IFS are added or removed. In §4 we use these estimates to prove Theorem 1.3. In §5 we prove Theorems 1.4 and 1.5.

Finitely and infinitely generated self-affine sets
Given a finite or countable IFS {S i } i∈I on R d with an attractor F I , we say that the IFS satisfies the open set condition (OSC) if there exists an open set U ⊂ R d such that i∈I S i U ⊂ U where the union is disjoint. We say that the IFS satisfies the strong open set condition if additionally, Let I n = {i 1 . . . i n : i j ∈ I} denote words of length n over the index set I, I * = n∈N I n denote all finite words over the index set and I = I N denote all sequences over the index set. It will also be convenient for us to introduce the notation ∅ for the 'empty word': for i ∈ I * we let ∅i denote the word i. Given i ∈ I * , let [i] denote the cylinder set [i] = {ij : j ∈ }, where ij denotes concatenation. Given i = i 1 . . . i n ∈ I * let |i| denote the length of the word |i| = n. Given It is easy to see that F I = i∈I S i F I , and we call F I the attractor of {S i } i∈I . Note that if I is finite, then F I is the unique, non-empty, compact set such that F I = i∈I S i F I by the classical work of Hutchinson [25].

Singular value function and its multiplicativity properties
In particular, notice that in the planar setting since ( Note that for any s ≥ 0, φ s is submultiplicative: We say that φ s is quasimultiplicative on I if there exists a constant c I > 1 and a finite subset ⊂ I * such that for any i, j ∈ I * , there exists k ∈ such that We say that the norm is quasimultiplicative on then the norm is quasimultiplicative on I (the theorem was stated for finite sets of matrices but the proof applies verbatim in the infinite case). Note that this implies that φ s is quasimultiplicative on I for any s ≥ 0, provided A ⊂ GL 2 (R) is irreducible. A significantly stronger condition is almost multiplicativity. We say that φ s is almost multiplicative on I if there exists c I > 1 such that for all i, j ∈ I * , norm on the set of all non-negative matrices. We let (A) (i, j) denote the entry in the ith row and jth column of A.
where the minimum is taken over all i ∈ J and 1 ≤ i, i , j ≤ 2.
The constant κ(J ) can heuristically be understood as the minimal contraction ratio of the family {A i : i ∈ J } on projective space. In particular, it is determined by i∈J A i P, where P denotes the positive cone In the following lemma we see that if {A i } i∈I ⊂ GL 2 (R) are positive matrices with κ(I) > 0 then φ s is almost multiplicative on I.
Then for any i 1 , . . . , i n+m ∈ I, Proof We recall the proof from [16, Lemma 2.1] (which provides a d-dimensional version of this result) for completeness. First observe that since κ(I * ) = κ(I), for any i ∈ I * , A i ≥ cE A i (meaning that the inequality holds in each co-ordinate) where E = 1 1 1 1 . Therefore, Recently in [3], Bárány, Morris and Käenmäki studied more general properties of the semigroup generated by A which ensure almost multiplicativity of the norm.

Pressure and dimension theory
Define the pressure function The pressure P I (s) is a strictly decreasing function of s and is therefore finite on an interval (θ, ∞), where θ := inf{s ≥ 0 : P I (s) < ∞} is called the finiteness parameter for the system {A i } i∈I . In particular θ = 0 if I is finite, but can be strictly positive if I is infinite. P I is a continuous and convex function of s on (θ, ∞).
We define the affinity dimension to be Note that since all matrix norms are equivalent, P I (s) and s(I) are actually independent of the matrix norm used in the definition of φ s . In his seminal paper [15], Falconer introduced the objects defined above and showed that if I is finite then min{s(I), d} is an upper bound on dim H F I , and is equal to dim H F I for generic choices of translations. Since then the focus of research on dimension theory of finitely generated self-affine sets has been to determine the dimension of explicit families of self-affine sets, which has split into two independent strands of research: one in which one strives to characterise families of self-affine sets which obey the generic rule [2,24] and one in which one strives to obtain the dimension of 'exceptional' self-affine sets for which the generic formula does not hold [4,30]. The following theorem of Bárány, Hochman and Rapaport [2] falls into the first category, where it was shown that in the planar setting, dim H F I = s(I) outside of a small family of exceptions. The dimension theory of infinite self-affine IFS is less understood, however when the norm is quasimultiplicative one can recover many analogues of theorems concerning finite self-affine IFS. In [27], Käenmäki and Reeve proved the following.
Theorem 2.5 [27] Suppose I ⊂ N is infinite and {A i } i∈I ⊂ GL 2 (R) are irreducible. Suppose there exists a sequence of finite sets I 1 ⊂ I 2 ⊂ . . . such that I = n∈N I n where dim H F I n = s(I n ) for all n ∈ N. Then Proof The result can be gleaned from the work in [27], but since it is not stated in this exact form, we detail the relevant results from their paper. Observe that by Proposition 2.1, if n taken sufficiently large that ⊂ I n , then φ s is quasi-multiplicative on I n , and the constant from the definition of quasi-multiplicativity can be taken uniformly. Therefore by [ Note that if {A i } i∈I ⊂ GL 2 (R) is strongly irreducible then directly from Theorem 2.4 and Theorem 2.5 one obtains dim H F I = s(I).

Pressure estimates
In order to analyse the dimension spectrum, it is necessary to obtain lower and upper bounds on |P I∪J (s)− P I (s)| when J is either a digit or a set of digits from N\I. When the IFS {S i } i∈I is conformal, the dimension is given by the root of the pressure function lim n→∞ i∈I n S i s ∞ 1 n , and the multiplicativity of the derivative (i.e. the chain rule for S i ) makes estimating |P I∪J (s) − P I (s)| relatively straightforward. For example, in the self-similar setting, we can explicitly compute |P I∪J (s) − P I (s)| = i∈J r s i , and the more general conformal setting is not much more difficult as long one has a bounded distortion property.
The non-multiplicativity of φ s makes the problem of obtaining bounds on |P I∪J (s) − P I (s)| more challenging in the nonconformal setting, and is related to the recently settled folklore open problem of whether removing a map from a self-affine iterated function system results in a strict drop in the affinity dimension. By using the variational principle for P I and P I∪J and by proving that equilibrium states of φ s are fully supported, which was established in dimension d = 2 by Feng and Käenmäki [18], in dimension d = 3 by Käenmäki and Morris [33] and in arbitrary dimension by Bochi and Morris [7], it has recently been proved that P I∪J (s) > P I (s) (hence s(I ∪ J ) > s(I)). Unfortunately for us, this method of proof yields no immediate bounds on how much the pressure P I∪J (s) increases from P I (s).
In order to prove Theorem 1.3, we only need to compute an upper bound on |P I∪J (s) − P I (s)| in the case that φ s is quasimultiplicative on I, which can be found in Lemma 3.3. On the other hand, in the almost multiplicative setting we obtain lower and upper bounds on |P I∪J (s) − P I (s)|, see Lemma 3.1, which will be necessary to construct the example of a dimension spectrum which is not compact.
Before we state and prove these lemmas, we introduce some notation. Let I ⊂ N, J ⊂ N \ I and n ∈ N. For 0 ≤ j ≤ n, let j denote all words in (I ∪ J ) n that contain j instances of digits from the set J . Define the ordering of i = i 1 . . . i n ∈ (I ∪ J ) n to be the n-tuple of 0s and 1s (x 1 , . . . , x n ) where x t = 1 if i t ∈ I and x t = 0 if i t ∈ J . Notice that there are n j possible orderings of words in j and so we enumerate each of these by 1 ≤ τ ≤ n j . We denote the set of all i ∈ j with ordering τ by j,τ . We let k 1 , . . . , k l τ > 0 denote the lengths of consecutive strings of 1s in the τ th ordering in j so that l τ t=1 k t = n − j and l τ ≤ j + 1. Similarly, we let m 1 , . . . , m τ denote the lengths of consecutive strings of 0s in the τ th ordering in j so that τ t=1 m t = j and τ ≤ j.
Proof Fix n ∈ N and 0 ≤ j ≤ n. We have Note that if φ s is almost multiplicative on I ⊂ N with constant c I > 1 then for any n ∈ N, Similarly, we also have Notice that if there exists a constant C > 0 for which C −1 ≤φ andφ s is almost multiplicative on I and I ∪ J for constantsc I ,c I∪J > 1 respectively, then the analogue of (5) also holds where c I , c I∪J and φ s are replaced byc I ,c I∪J andφ s respectively. Using this observation we rephrase Lemma 3.1 for positive matrices in GL 2 (R) explicitly in terms of the matrix entries. Recall that for I ⊂ N, κ(I) was defined in Definition 2.2 as the minimum possible column ratio of matrices indexed by a digit in I. We also recall that for a positive matrix A ∈ GL 2 (R), A simply denotes the sum of its entries.  (6) and for any 1 < s ≤ 2, Proof Proof follows directly from Lemma 2.3 and the fact that all matrix norms are equivalent.
Next we tackle the quasimultiplicative setting.
Proof The lower bound follows from the strict monotonicity of the affinity dimension [7, Theorem 2], therefore it is sufficient to prove the upper bound. As before we fix n ∈ N and 0 ≤ j ≤ n and write In particular, By [27,Lemma 3.1], since φ s is quasimultiplicative on I, , P I (s) K }, which clearly depends only on I and s. Then Therefore, proving the upper bound.

Compactness and perfectness of the affinity spectrum
Throughout this section we consider A = {A i } i∈N ⊂ GL 2 (R) with the property that any subset of A is irreducible. Hence by Proposition 2.1, for all s ≥ 0, φ s is quasimultiplicative on any I ⊂ N. We define the affinity spectrum D(A) of A as the analogue of the Hausdorff dimension spectrum for the affinity dimension, that is,

D(A) := {s(I) : I ⊂ N}.
We will prove that under the above irreducibility assumption, D(A) is compact and perfect. Theorem 1.3 will be a straightforward corollary of this.
Recall that the finiteness parameter θ is defined as the unique real number such that P N (s) = ∞ for s < θ and P N (s) < ∞ for s > θ. Note that P N (θ ) can either be finite or infinite. Now that we are equipped with the pressure estimates from the previous section, D(A) can be shown to be compact in a similar way to how the dimension spectrum of conformal IFS was shown to be compact in [10].

Lemma 4.1 Suppose every subset of A ⊂ GL 2 (R) is irreducible. Then D(A) is compact.
Proof Let {I n } be a sequence of subsets of N such that lim n→∞ s(I n ) = s, equivalently lim n→∞ P I n (s) = 1. We will construct a set I ⊂ N such that P I (s) = 1. First we consider the case that P N (s) < ∞, that is, either s > θ or s = θ and P N (θ ) < ∞.
First, suppose there does not exist k ∈ N such that k ∈ I n for infinitely many n ∈ N. Note that for sufficiently large N 1 ∈ N, P {N 1 ,N 1 +1,...} (s) ≤ ∞ n=N 1 φ s (A n ) < 1 and therefore s ({N 1 , N 1 + 1, . . .}) < s. Therefore, for all n sufficiently large, I n must intersect the set {1, . . . , N 1 − 1}. In particular there must be at least one k ∈ {1, . . . , N 1 − 1} such that k ∈ I n for infinitely many n ∈ N. We let k 1 denote the smallest digit with this property: k 1 := min{k ∈ N : k ∈ I n for infinitely many n ∈ N}.
. Notice that by construction, for any N ∈ N, I∩{1, . . . , N } ⊂ I n for infinitely many n ∈ N. Therefore Now, suppose for a contradiction that s(I) < s. By assumption {A i } i∈I is irreducible, so we can let C I denote the constant from Lemma 3.3. For sufficiently large N 3 ∈ N, and therefore for all sufficiently large n ∈ N, I n must intersect {1, . . . , such that k ∈ I n for infinitely many n ∈ G p , contradicting the fact that k p is the last digit with this property. On the other hand if p = ∞ then we can fix q sufficiently large such that k q > N 3 . Then there exists k ∈ {1, . . . , such that for infinitely many n ∈ G q , k ∈ I n . This contradicts that k q was chosen minimally. Since either way we obtain a contradiction, it follows that s(I) = s.
Next we tackle the case where P N (s) = ∞, that is, either s < θ or s = θ and P N (θ ) = ∞. We will prove that s is in the spectrum, thus proving that [0, θ] is contained in the spectrum, i.e. that part of the spectrum is compact. Note that since P N (s) = ∞, this implies that P {N ,N +1,...} (s) = ∞ for any N ∈ N. To see this, note that for any N ∈ N, {A i } i∈{N ,N +1,...} is irreducible, so we can denote the constant from Lemma 3.3 by C {N ,N +1,...} . Observe that Since the second term is finite, this implies P {N ,N +1,...} (s) = ∞.
Without loss of generality we can assume that there does not exist a finite set I ⊂ N such that P I (s) = 1. Define I 1 = {1, . . . , N 4 } where N 4 is chosen such that P I 1 (s) < 1 and P I 1 ∪{max I 1 +1} (s) > 1. Define a sequence of sets I n inductively by I n = I n−1 ∪ {max I n−1 + N 5 , . . . , max I n + N 6 } where N 5 is chosen such that P I n−1 ∪{max I n−1 +N 5 −1} (s) > 1 whereas P I n−1 ∪{max I n−1 +N 5 } (s) < 1 and N 6 is chosen such that P I n (s) < 1 but P I n ∪{max I n +1} (s) > 1. Note that the construction of the sets I n is possible since for any N ∈ N, P {N ,N +1,...} (s) = ∞. Let I n = I n ∪ {max I n + 1} and I = n∈N I n . Let be the set of finite words guaranteed from definition of the quasimultiplicativity of φ s on I and notice that for all n sufficiently large, ⊂ I n , hence C I n = C I . In what follows we consider n sufficiently large for this to be the case.
Since P I n (s) < 1 < P I n (s) for all n ∈ N, and P I n (s) − P I n (s) ≤ C I n φ s (A max I n +1 ) = C I φ s (A max I n +1 ) → 0 as n → ∞, it follows that P I n (s) → 1 as n → ∞. Also, for any N ∈ N, P I∩{1,...,N } (s) < 1 and therefore it follows by Theorem 2.5 that P I (s) ≤ 1. Moreover, 1 − P I (s) ≤ P I n (s) − P I n (s) → 0 as n → ∞ and therefore P I (s) = lim n→∞ P I n (s) = 1, thus we are done.
We can also use the pressure estimates from the previous section to prove perfectness of D(A).

Non-compact dimension spectra containing isolated points
In this section we investigate the dimension spectrum of self-affine systems which lie outside the scope of Theorem 1.3. In particular, in Sect. 5.1 we prove Theorem 1.4 by constructing a self-affine IFS whose dimension spectrum is not compact and in Sect. 5.2 we prove Theorem 1.5 by constructing a self-affine IFS whose dimension spectrum contains an isolated point.

Example of a non-compact dimension spectrum
In this section we construct a self-affine IFS whose dimension spectrum is not closed, hence not compact, proving Theorem 1.4.
noting that this is a conjugation of A β,γ . Consider the set of matrices We begin by establishing the irreducibility properties of A β,γ .
cannot be an eigenvector of A β,γ n (n ≥ 5) since this would imply that 3 β n = d/2+b γ n which is also impossible provided γ is always taken sufficiently larger than β. Therefore we can always take γ sufficiently large that A β,γ 1 does not share any eigenvectors with A β,γ n for any n ≥ 5. Next, we also claim that given n > m ≥ 5, A β,γ n and A β,γ m do not share any common eigenvectors. To see this, notice that the positive eigenvector for A β,γ n is given by 1 v + and the other eigenvector is given by 1 v − where v + and v − are the positive and negative solutions to the quadratic equation Hence it is enough to check that G ± (x) = 0 for x ≥ 1 where i } i∈I is irreducible and therefore strongly irreducible (since any set of positive irreducible matrices is automatically strongly irreducible).
Throughout this section we will denote I = {1, 2, 3} and I = {1, 2, 5, 6, . . .}. Given I ⊂ N \ {4}, we let s β,γ (I ) denote the root of the pressure function P β,γ In particular s β,γ (I) = log 3 log β < 1. Notice that we can choose c > 0 sufficiently small that for any γ > β sufficiently large, We always assume that γ > β is sufficiently large that: (i) (8)  Consider an IFS F whose linear parts coincide with A β,γ and which satisfies the SOSC. Observe that by Theorem 2.4, for all I ⊂ N \ {4} where I is not contained in I, we have dim H F I = s β,γ (I ). On the other hand, for I ∈ {{1, 2}, {1, 3}, {2, 3}, I}, we only know that dim H F I ≤ s β,γ (I ) and its exact value depends on the translations in the IFS F. We will exploit this to construct an IFS F for which D(F) is not compact .
We begin by studying the structure of D(A β,γ ); in particular we show that for some choice of β and γ : Proof Since s β,γ (I) = log 3 log β , the left hand side of the above inequality equals 6 whereas the right hand side is K log 3 log β , from which the proof immediately follows.
The following straightforward result will allow us to compare the pressure of different subsystems.  We are now ready to show that (s β,γ (I ), s β,γ (I)) ∩ D(A β,γ ) = ∅ and that the point s β,γ (I) is uniquely attained in the affinity spectrum.  where a n ∈ (0, 1 3 ) are decreasing in n and the vertical component t n for the translational part of S n can be chosen arbitrarily provided that each S n ([0, 1] 2 ) ⊆ [0, 1] 2 and S n ([0, 1] 2 ) ∩ S m ([0, 1] 2 ) = ∅ for n = m. Additionally we assume that the entries a n are sufficiently small so that the solution s 0 to the equation ∞ n=3 a s 0 n = 1 satisfies s 0 < log 2 log 4 .

Proof of Theorem 1.5
The attractor of {S 1 , S 2 } is just the self-similar attractor of { 1 4 x, 1 4 x + 1 2 } rotated anticlockwise by 90 degrees, so that it lies on the y-axis. Therefore dim H F {1,2} = log 2 log 4 . If I ⊂ {3, 4, 5, . . .} then the attractor of {S i } i∈I is just a rotated and translated copy of the self-similar attractor of {a i x + t i } i∈I , hence dim H F I ≤ s 0 < log 2 log 4 . Finally, if I intersects both {3, 4, 5, . . .} and {1, 2}, then the dimension of the attractor of {S i } i∈I is bounded below by the dimension of its projection to the x-axis, which is simply the middle-third Cantor set, hence dim H F I ≥ log 2 log 3 . It follows that dim H F {1,2} is an isolated point in the dimension spectrum.

Remark 5.7
Finite subsystems of {S n } n∈N fall into the class of self-affine IFS that were studied by Lalley and Gatzouras in [30], who obtained an explicit formula for the Hausdorff dimension in [30,Proposition 3.3] in terms of a variational principle. To compute the Hausdorff dimension of infinite subsystems of {S n } n∈N , this formula can be combined with [36,Theorem 1]. Examining the formula for the Hausdorff dimension of subsystems of {S n } n∈N , there do not appear to be any obvious violations to compactness of the dimension spectrum, although the nature of the formula (in that it is expressed as a maximum over dimensions of projected Bernoulli probability measures) makes this difficult to conclude without further analysis.