arxiv: v1 [math.sp] 23 Jan 2019

Transcription

1 HÖLDER CONTINUITY OF THE SPECTRA FOR APERIODIC HAMILTONIANS SIEGFRIED BECKUS, JEAN BELLISSARD, HORIA CORNEAN arxiv: v [math.sp] 23 Jan 209 Abstract. We study the spectral location of a strongly pattern equivariant Hamiltonians arising through configurations on a colored lattice. Roughly speaking, two configurations are close to each other if, up to a translation, they almost coincide on a large fixed ball. The larger this ball is, the more similar they are, and this induces a metric on the space of the corresponding dynamical systems. Our main result states that the map which sends a given configuration into the spectrum of its associateamiltonian, is Hölder even Lipschit continuous in the usual Hausdorff metric. Specifically, the spectral distance of two Hamiltonians is estimated by the distance of the corresponding dynamical systems.. Introduction This work is a follow-up on a series of papers concerning periodic approximations for Hamiltonians modelling aperiodic media [2, 3, 4, 5, 6]. Such Hamiltonians are bounded self-adjoint operators defined as effective models describing the behavior of conduction electrons in a solid. In the most common case the electrons are considered as independent. The first task in considering a material of this type is to compute the spectrum as a set and then the density of states electronic properties. From a mathematical point of view, the next important task would be to determine the nature of the spectral measures, and then to investigate the transport properties. In the previous series of papers, systematic methods have been developed to compute the spectrum as a set through a sequence of periodic approximations [2, 3, 4, 5], as well as the density of states [6]. In the present work, a special classof models is investigatedfor which the speed of convergence can be evaluated more accurately in terms of the distance of the associated dynamical systems. In order to do so, a metric is introduced on the space of possible atomic configurations and it will be proved that, at least for the class considered here, the spectrum, as a compact subset of the real line, is a Hölder even Lipschit continuous function when the set of compact subsets of R is endowed with the Hausdorff metric. d.. The class of models. The Euclidean distance on R d is denoted by x := j= x2 j and the max norm on R d is given by x max := max j d x j. The class of systems considered here models a solid with atoms on a lattice L R d. Here a lattice is a subgroup that is isomorphic to Z d, namely L = MZ d where M is a d d invertible matrix with real coefficients. The properties of each atom are encoded by a letter in an alphabet A, where A,d A is a compact metric space. The alphabet A may, for instance, encode the chemical species of atomic nuclei if A is finite. In addition, recent developments [30] show that alphabets that are compact metric spaces such as compact intervals can be used in practice as a tool. The family of all atomic configurations is represented by the infinite Cartesian product A L := x LA = {ξ : L A}. Since A is compact, this space is compact. Define the deformed cube Q r := {Mx R d : x max r} of side length r > 0. The configuration space A L becomes a compact metric space if equipped with the metric { d A Lξ,η := min inf { r : r 0,, d A ξx,ηx r for all x Q r L } },,. c.f. Lemma 2.. The infimum overthe empty set equals + by convention. If A is finite we choose d A to be the discrete metric. In this case, if d A Lξ,η r for some r >, then ξ Q r = η Qr.

2 2 SIEGFRIED BECKUS, JEAN BELLISSARD, HORIA CORNEAN The translation group L acts naturally on this space, as a full shift denoted by t, namely ξ A L, ξ = ξx x L, t h ξ x := ξx h, h L. A quantum particle moving on the lattice L, such as a valence electron, is modeled by: i a Hilbert space of states taken to be H := l 2 L C N, where N represents the number of internal degrees of freedom of the particle, and ii a bounded self-adjoint Hamiltonian H ξ, acting on H, where ξ A L represents the atomic configuration with which the particle interacts. For the sake of notation, M N C denotes the set of N N matrices with complex coefficients equipped with the operator norm M op := sup x Mx defined by the Euclidean norm. In addition, we use M max := sup x max Mx max induced by the max-norm. Let L be a translation vector. Denote by U the unitary operator acting on H, which is induced by the translation with L. Then translating the origin of coordinates in the lattice is equivalent to shifting the atomic configuration in the background, leading to the following covariance condition U H ξ U = H t ξ. In addition, it is natural to consider the situation in which the map ξ A L H ξ BH is strongly continuous [9]. It is worth remarking that thanks to the covariance condition, the spectra of H ξ an t ξ are identical [9, 4]. Hence the spectrum does not change along the orbit Orbξ := {t ξ : L} of ξ. In addition, thanks to the strong continuity condition, if η Orbξ, then H η hasits spectrum containedin thespectrum ofh ξ, i.e., σh η σh ξ. These basic conditions are satisfied in particular if the Hamiltonian obeys two additional properties: There exists a finite subset R L, which is called range, and some N N-matrix valued complex coefficients t h,x ξ such that H ξ ψx = h Rt h,x ξψx h. In this case we say that the Hamiltonian has finite range R. The covariance condition imposes that t h,x ξ = t h,0 t x ξ, hence from now on we will simply write t h instead of t h,0. The strongcontinuityimposes that t h is continuousw.r.t. ξ Ω. The self-adjointness of H ξ imposes that h R if and only if h R and that t h ξ = t h t h ξ. Here A denotes the adjoint of the matrix A M N C. This gives H ξ ψx = h Rt h t x ξψx h,.2 where t h : A L M N C is continuous, R = R is finite and t h ξ = t h t h ξ. Ifthealphabet Aisfinite, afunction t : A L M N C iscalledstrongly pattern equivariant [32] and correspondingly the family H = H ξ ξ A L is called strongly pattern equivariant Hamiltonian ifthereexistsaradiusr t suchthat iftwoconfigurationsξ andη coincide on Q Rt, then tξ = tη. The radius R t < is called the radius of influence of t. In the presentframeworka,d A isallowedto be anycompactmetricspace, thusrequiring tξ = tη whenever ξ and η coincide on Q Rt is too restrictive. Instead, we say that t : A L M N C is strongly pattern equivariant with β-hölder continuous coefficients if there exists a radius R t and a constant C t such that tξ tη op C t sup β. d A ξy,ηy.3 y Q Rt L Therefore, the family H = H ξ ξ A L will be called strongly pattern equivariant with β- Hölder continuous coefficients whenever each of its coefficients t h requires the previous regularity constraints. In this case, the radius of influence R H of H is defined by R H := sup{r th : h R},

3 HÖLDER CONTINUITY OF THE SPECTRA FOR APERIODIC HAMILTONIANS 3 and we also introduce see.3 for the definition of C t C hop := sup C th <. h R It is worth noticing that for A R finite, the usual discrete Schrödinger operator H ξ ψx = ψx h+ξxψx, x Z d,.4 h Z d, h = acting on l 2 Z d is strongly pattern equivariant [9] since the map v : A Zd R where vξ = ξ0 induces a multiplicative real potential vt x ξ = ξx. The first term is the discrete Laplace operator, which models the kinetic energy. The range of is R = {±e,...,±e d } where {e,...,e d } is the standard basis of Z d, while its radius of influence equals to. Also, v is local and only sees one point at the time, i.e. the origin. Thus R v = {0} and its radius of influence is R v =. It follows that the range of H ξ is R = R R v while its radius of influence R H =..2. A concise description of our main results. We are mainly interested in the spectral properties of an operator family H Ξ := H ξ ξ Ξ. A subset Ξ A L is called invariant if given any ξ Ξ and h L, then t h ξ Ξ. An invariant, closed set Ξ is called a subshift and the set of all subshifts is denoted by J. Then J may be equipped with the Hausdorff metric A L induced by d A L, see 2.. Thus, J, A L becomes a compact metric space, c.f. [4, Proposition 4]. For Ξ J, the spectrum σh Ξ of the operator family H Ξ := H ξ ξ Ξ is defined by ξ Ξ σh ξ. Since H ξ is uniformly bounded in ξ Ξ an ξ is self-adjoint, σh Ξ is a compact subset of R. Then the distance between two spectra σh Ξ and σh Θ for Ξ,Θ J is defined by the Hausdorff metric on the set KR of compact subsets of R [24], see Section 2.2 for details. In recent works [3, 4] it has been shown that the map Σ H : J KR, Ξ σh Ξ, is continuous in the corresponding Hausdorff topologies where H = H ξ ξ Ξ is a Hamiltonian as defined in.2. We note that the continuity result holds under much more general conditions than we consider here and its proof relies on constructing a continuous field of C -algebras using the uniform continuity of the operator coefficients. Our current paper deals with the question regarding the connection between the regularity of the coefficients see.3 and the regularity of the map Σ H. The decay of the off-diagonal influences additionally the regularity of the spectra. This is measured by the Schur-β norm β for 0 < β. Specifically, this norm is defined for a finite range Hamiltonian H = H ξ ξ A L given in.2 by H β := h R t h + h 2 β 2, where th := sup ξ A L t h ξ op..5 For simplification, let us first presentourmain result in the specialcase whereais finite. It asserts that Σ : J KR, Ξ σh Ξ is Lipschit continuous for every strongly pattern equivariant Hamiltonian H. Proposition.. Let A be finite and consider a strongly pattern equivariant Hamiltonian H = H ξ ξ A L with finite range R and strongly pattern equivariant coefficients t h, h R as defined in.2. Then there exists a constant C d,l such that Σ H is Lipschit continuous: σhξ,σh Θ C d,l C hop R H H A L Ξ,Θ, Ξ,Θ J. The latter result is an immediate consequence of the following main theorem where A,d A is a compact metric space only. Theorem.2. Let H = H ξ ξ A L be a finite range strongly pattern equivariant Hamiltonian with β-hölder continuous coefficients for some 0 < β. Then there exists a constant C d,l only depending on the dimension d and the lattice L such that Σ H is β-hölder continuous: σhξ,σh Θ C d,l C hop H β R β H dh A L Ξ,Θ β, Ξ,Θ J.

4 4 SIEGFRIED BECKUS, JEAN BELLISSARD, HORIA CORNEAN Proof of Proposition.: If A is finite, everystronglypattern equivariantfunction t h : A L C is Lipschit continuous β = with Lipschit constant C th and some R th. Thus, C hop = max{c th : h R} and R H = max{r th : h R} are finite. Hence, the statement follows from Theorem.2. Example.3. Consider the Schrödinger operator defined in.4 with nearest neighbor interaction on L = Z d. Clearly, Proposition. implies the Lipschit continuity of the spectra with R H =, see discussion right after.4. The previous spectral estimates can be extended to Hamiltonians with infinite range. Specifically, let H = H ξ ξ A L be given by.2 while the range R is infinite. For β > 0, we call H a strongly pattern equivariant Hamiltonian with β-hölder continuous coefficients and infinite range if H β and C hop are both finite. Let H r be the restriction of H to the range R Q r, see 2.2 for details. If the radius of influence R H r satisfies R H r C H r, r for some constant C H < independent of r, we say that H admits a radius of influence with linear growth in r. Then we have the following result: Theorem.4. Let H = H ξ ξ A L be a strongly pattern equivariant Hamiltonian possible infinite range with β-hölder continuous coefficients for 0 < β. If the radius of influence of H has a linear growth with constant C H <, then σhξ,σh Θ 2 C d,l H β C β H +C hop A L Ξ,Θ β, Ξ,Θ J, where C d,l > 0 is the same constant as in Theorem.2. For ξ A L, consider Ξ ξ := Orbξ J. Such subshifts are called topological transitive. Note that the set of topological transitive subshifts {Ξ ξ : ξ A L } J is not closed in the Hausdorff topology [5, Example 2]. Corollary.5. Let H = H ξ ξ A L be a strongly pattern equivariant Hamiltonian possibly with infinite range having β-hölder continuous coefficients where 0 < β. If the radius of influence of H has linear growth with constant C H <, then σhξ,σh η 2 C d,l H β C β H +C hop A L Ξξ,Ξ η β, ξ,η A L, where C d,l > 0 is the same constant as in Theorem.2. Proof: Since ξ H ξ is continuous in the strong operator topology and the operator family is equivariant, the inclusion σh η σh ξ follows for all η Ξ ξ. Hence, σh Ξξ = σh ξ is derived and Theorem.4 finishes the proof. In particular, if Ξ ξ = Ξ η holds for some ξ,η A L, then their spectra σh ξ and σh η coincide for any strongly pattern equivariant Hamiltonian. Note that Ξ ξ = Ξ η defines an equivalence relation on A L, which we call orbit closure equivalence. Clearly, Lipschit/Hölder continuity of Σ H implies the continuity of this map. This provides a different proof in a special case of the much more general statement [4, Theorem 2], namely Corollary.6. Let H = H ξ ξ A L C be a strongly pattern equivariant Hamiltonian possible infinite range with β-hölder continuous coefficients. Then the map Σ : J KR, Ξ σh Ξ, is continuous in the corresponding Hausdorff topologies. Proof: If H has finite range, the statement follows from Theorem.2. If R is infinite, the statement follows by the fact that H can be approximated in norm by H r with finite range.

5 HÖLDER CONTINUITY OF THE SPECTRA FOR APERIODIC HAMILTONIANS 5.3. Comments and Method. Continuity of spectral gaps has been proven in some cases in the past. The problem occurred, in particular, with the dependence of the spectrum as a function of an external, uniform magnetic field [47, 3, 4]. It also occurred for the Schrödinger operator on the line R, with almost periodic potentials in which the frequency module is varying [9]. Lipschit continuity of the spectral gaps was studied more thoroughly in [] for a broad class of models for 2D-crystal electrons in a uniform magnetic field. This was extended in [36, 37, 38] as well. The problem of continuity w.r.t. changing the underlying atomic configurations was only recently systematically investigated in connection with the need to compute the spectrum of a Hamiltonian describing the electron motion in an aperiodic environment [2, 3, 4, 5]. In addition, the convergence of the density of states measures is studied in [6]. For it has been remarked for a long time by physicists that periodic approximations provided the most efficient numerical method to achieve the result [26, 42, 2]. A folklore theorem was also showing that the accuracy of such methods was exponentially fast in the period of the approximation. This was proved in some way in [44, 45]. The existence and construction of periodic approximations in dimension one was recently characteried in [5]. In several of the studies mentioned above, the concept of continuous field of C -algebras was explicitly used. One of the advantages of this concept is that the spectrum of a self-adjoint continuous section of such a field is always continuous [29, 7, 8, 2]. However the question of whether a continuous field of C -algebras is Lipschit continuous or even differentiable, has not been addressed in a systematic way so far. Therefore, to the best of their knowledge, the authors believe that the Lipschit/Hölder continuity dependence of the spectrum in terms of the underlying atomic configuration, described in the present article, is new. A bit of explanation for the method used here is in order, a method which employs and adapts a numbers of ideas from [3, 4] as well as [4]. Consider the simplest case, the Schrdinger operator defined in.4 by the discrete Laplacian plus a potential on Z d. It is well-known, that if two different potentials are close in the uniform norm sup norm, then their spectra is close as well in the Hausdorff metric. This follows as then their operator norm difference is small as well and all considered operators are self-adjoint. In the present paper, these potentials are described via different configurations in A Zd. Clearly, the assumption that two potentials are close in the uniform norm is too restrictive in general. For instance, if the alphabet A is finite it yields that both potentials are equal if they are close enough in the uniform norm. This is in particular problematic if one seeks to approximate non-periodic configurations via periodic ones. To overcome this difficulty, the first powerful concept is coming from using the Hausdorff metric A L on the set of subshifts [4]. Two configurations ξ,η Ω generate close subshifts if there exists a large radius r such that they share almost the same local pattern of sie r [3, 5]. Specifically, locally on large areas the two configurations are close modulo translation. The second method [3, 4] consists in showing that there is δ > 0 and C > 0 such that if a complex number satisfies dist,σh η > C A L Ξ ξ,ξ η δ, then belongs to the resolvent set of H ξ as well. This is obtained through localiing the resolvent operators with the help of a Lipschit-partition of unity. This trick implements the fact that the potentials are only locally close but not uniformly as discussed before. Then for each local region selected this way, in which H ξ sees a local pattern, shared with η, there is a translation at finite distance bringing the same pattern for η in this local region. Hence up to a translation depending on the region of localiation, H η an ξ are close in this region, thanks to the strongly pattern equivariance condition. This closeness is translated into a proof of the existence of H ξ, see Proposition 4.4. This result is actually coming as a surprise. Indeed, in view of [2], the best that could be expected is, for a Hamiltonian with Lipschit continuous coefficients, to be p2-lipschit. In such a case, the Hausdorff distance between spectra should only be Hölder continuous of exponent /2. As discussed in [2], such a loss of regularity is usually due to gap closing, as observed, for instance, in the Harper model [26]. In the present case, the pattern equivariance condition is actually a strong constraint on the system. Theorem.2 suggest then that, even if there are gaps closing in some limit, itcannotoccurataslowerratethanthe oneimposedbythislipschitcontinuity. Onemodel has been numerically investigated in the literature, which is called the Kohmoto model [42]. It represents a paradigm for one-dimensional quasicrystals. It contains a real parameter α that labels

6 6 SIEGFRIED BECKUS, JEAN BELLISSARD, HORIA CORNEAN the slope of the line implementing the physical space in a cut-and-project scheme. It will be shown in a forthcoming paper [7], that the present estimate applies to this parameter, in that α defines a specific subshift Ξ α to which Theorem.2 applies. The combinatoric distance implements, on the set of slopes, a topology making the real line completely disconnected, but compatible with the encoding by a continuous fraction expansion. It is actually difficult from looking at the numerical results in [42] to see this Lipschit continuity, because the map α R Ξ α J is actually discontinuous if R is endowed with its usual Euclidean topology [0]. In light of [4, 6], it is natural to ask for extensions for Hamiltonians on Delone sets. This setting includes important geometric examples such as the Penrose tilings or the octagonal lattice, which are not included here. The main technical difficulty is that the corresponding operators for different Delone sets act on different Hilbert spaces that are not isomorphic, in general. This problem is studied in a forthcoming work. Furthermore, the continuity result of the map Σ H in [4] requires amenability. Since some arguments provided here extend to more general groups, it is interesting to ask if there is a connection between the amenability and the existence of a Lipschit partition of unity in the group..4. Organiation of the paper. More details about the configuration space and the Hausdorff topology are provided in Section 2.. We discuss several properties of the considered class of Hamiltonians in Section 2.2. Section 3 is devoted to the concept of Lipschit-partitions of unity and superoperators that are crucial ingredients in the proof of the main theorem. In Section 4, the proofs of the main results are given. Acknowledgements. This research was supported through the program Research in Pairs by the Mathematisches Forschungsinstitut Oberwolfach in 208. This research has been supported by grant B Mathematical Analysis of Effective Models and Critical Phenomena in Quantum Transport from The Danish Council for Independent Research Natural Sciences. 2. Framework In this section, an introduction is provided of the used concepts and notations of the configuration space A L and the Hausdorff metric A L on the set J of closed, invariant subsets of A L. In the second part, a detailed elaboration of the studieamiltonians is presented. In addition, some auxiliary statements are provided that are used in the proof of the main theorem. 2.. The configuration space and local patterns. Throughoutthis worka,d A is a compact metric space and the configurationspace A L = {ξ : L A} is endowed with the product topology. Lemma 2.. Let A,d A be a compact metric space. Then A L,d A L is a compact metric space inducing the product topology on A L where d A L is defined in. Proof: Since A is compact, A L is compact as well. Thus it suffices to show that d A L defines a metric as it is immediate to see that d A L generates the product topology on A L. Since d A is a metric, it is straightforward to show d A Lξ,η = d A Lη,ξ and that d A Lξ,η = 0 implies ξ = η. In order to prove the triangle inequality, let ε > 0. Then there is an r ε > 0 and r ε > 0 satisfying d A Lξ,η r ε d A Lξ,η+ε, d A Lη,ζ r ε d A Lη,ζ+ε, and d A ξx,ηx for all x Q rε L, d A ηy,ζy for all y Q rε L. r ε r ε Define /r := /r ε +/ r ε. Thus, r < r ε and r < r ε holds implying Q r Q rε and Q r Q rε. Then the triangle inequality for d A gives d A ξx,ζx da ξx,ηx +da ηx,ζx + r, x Q r L. r ε ε Hence, d A L ξ,ζ + r d r A L ξ,η +da L η,ζ +2ε ε ε

7 HÖLDER CONTINUITY OF THE SPECTRA FOR APERIODIC HAMILTONIANS 7 follows for ε > 0 arbitrary proving the triangle inequality for d A L. Since A L iscompact, Jis containedink A L whichdenotesthe set ofcompactsubsets ofa L. The setk A L getsacompactmetriablespaceifequippedwiththehausdorfftopology[5], alsocalled Chabauty-Fell topology [6, 22]. More precisely, the Hausdorff metric A : K A L K A L L [0, induced by d A L is defined as follows { } A LΞ,Ξ 2 := max sup inf d A Lξ,ξ 2, sup inf d A Lξ,ξ 2 ξ Ξ ξ 2 Ξ 2 ξ 2 Ξ 2 ξ Ξ and KA L, A L is a compact metric space. Since J K A L is a closed subset [3, 4], J, A L is a compact metric space. If A is finite, the topology on J can also be described by its local pattern topology defined in [3, Section 3.3]. It asserts that the convergence of subshifts in the Hausdorff topology is equivalent to the convergence of the local patterns [3, Theorem ]. This fact is implicitly used in this work as the operators are localied on patches by the Lipschit-partition of unity, which is implemented via the following lemma. Lemma 2.2. The following assertions hold. a Let Ξ,Θ J. For every ξ Ξ there exists an η := ηξ Θ such that b If ξ,η A L satisfy d A Lξ,η r d A L ξ,ηξ d H A LΞ,Θ. with r > 2, then d A ξx,ηx r, x Q r L. Proof: a Let ξ Ξ be arbitrary. Because Θ is compact, there exists ηξ Θ such that d A Lξ,ηξ = inf η Θ d A Lξ,η. Then 2. implies d A Lξ,ηξ A L Ξ,Θ. b Since r > and d A Lξ,η < r definition of the infimum in.. 2. are strict, the estimate follows immediately by the Remark 2.3. i Clearly, the role of Ξ and Θ can be interchanged. Specifically, for each η Θ, there is an ξη Ξ such that d A L ξη,η d H A LΞ,Θ. ii If A is finite, d A is the discrete metric and Lemma 2.2 can be reformulated as follows: Let Ξ,Θ J be such that r := A L Ξ,Θ >. Then for every ξ Ξ there is an η := ηξ Θ such that ξ Qr = η Qr. The reader is referred for a purely topological discussion of this observation in [3, 5] Hamiltonians. As described in the introduction, the Hamiltonians are self-adjoint, bounded operators on the Hilbert space H := l 2 L C N. Denote by BH the C -algebra of bounded, linear operators on the Hilbert space H equipped with the operator norm. The group L is represented by its left regular representation defined by U ϕx := ϕx, ϕ H, x, L. Let R L be a finite subset and t h : A L M N C be continuous for h R. Define the hopping function t h,ξ : L M N C by t h,ξ x := t h t x ξ for ξ A L. With this at hand, the Hamiltonian H ξ : H H defined in Equation.2 is represented by H ξ := h R t h,ξ U h where f : H H denotes the multiplication operator fϕx := fxϕx by the function f : L M N C. The operator H ξ is linear and uniformly bounded in ξ A L, namely H := sup H ξ t h <. ξ A L h R

8 8 SIEGFRIED BECKUS, JEAN BELLISSARD, HORIA CORNEAN Since t h : A L M N C and t : A L A L are continuous, ξ H ξ is continuous with respect to the strong operator topology. Furthermore, an elementary computation leads to the covariance condition U H ξ U = Ht ξ for L and ξ A L. Let A be the -algebra generated by the operator families H ξ ξ A L defined in Equation.2. The involutive and algebraic structure on A is defined pointwise in ξ A L. Equipped with the norm H := sup ξ A L H ξ, A is a normed -algebra and its completion C is a C -algebra. Then C is a sub-c -algebra of the reduced groupoid C -algebra defined by the transformation groupoid A L t L, see e.g. [3, 4]. If Ξ J is a subshift, a C -algebra CΞ is similarly defined. Specifically, it is the closure of the -algebraof operatorsh Ξ := H ξ ξ Ξ. This C -algebra is again a sub-c -algebra of the reduced groupoid C -algebra defined by Ξ t L. The main focus in this work is on the study of self-adjoint H C with strongly pattern equivariant hopping functions. Before providing the precise definition, the following auxiliary statement is proven. Lemma 2.4. Let h L and t : A L M N C be continuous. a Then t = t t h and U h t ξ = t t h ξ U h hold for every ξ A L. b If, additionally, t : A L M N C is a strongly pattern equivariant function with β-hölder continuous coefficients with constant C t and radius of influence R t, then t t h : A L C is strongly pattern equivariant with β-hölder continuous coefficients with radius of influence R t + M h max and constant C t t h = C t. Proof: a The equality t = t t h follows immediately by definition of the uniform norm, c.f. Equation.5. Let ξ A L. Then the identities U h t ξ ϕ x = t t x h ξ ϕx+h = t t h ξ U hϕ x hold for every ϕ H and x L. b Since the inclusion holds, the estimate Q Rt +h = M { ỹ +M h R d : ỹ max R t } QRt+ M h max tt h ξ tt h η op C t follows. Hence, assertion b is proven. C t max d β A ξx,ηx x Q Rt +h L max x Q Rt + M h max L d A ξx,ηx β Consider the operator family H = H ξ ξ A L C of the form given in Equation.2 where t h : A L M N C is strongly pattern equivariant with β-hölder continuous coefficients for each h R. Then assertion a and b of Lemma 2.4 imply that H is self-adjoint if R R = R; R2 the function t h satisfies t h ξ = t h t h ξ where t h t h ξ denotes the adjoint of the matrix t h t h ξ. Lemma 2.4 b implies that the function t h in R2 is still strongly pattern equivariant with β-hölder continuous coefficients with the same constant C th but different radius of influence. For β 0, the Schur β-norm of H was already defined in.5 and denoted by H β. It is straightforward to check that H H β holds for all β 0. Thus, if H = H ξ ξ A L is given by Equation.2 with infinite range R and H β < for some β 0, then H C follows. In this case H is approximated in the C -norm by the restriction H r := H ξ r ξ A L defined by H ξ r := h R Q r t h,ξ U h. 2.2

9 HÖLDER CONTINUITY OF THE SPECTRA FOR APERIODIC HAMILTONIANS 9 More precisely, H H r 0 follows if r and H β <. It is worth mentioning that Q r = Q r holds implying R Q r = R Q r. Thus, the range set R r := R Q r of H r satisfies R if R does so. The spectrum of a Hamiltonian is studied in this work. Let H = H ξ ξ A L C be self-adjoint. Each operator H ξ : H H has spectrum σh ξ R being compact and non-empty. For Ξ J, define the spectrum of the operator family H Ξ := H ξ ξ Ξ by σh Ξ := ξ ΞσH ξ R. Since sup ξ Ξ H ξ H is finite, σh Ξ is a non-empty compact subset of R. Furthermore, ρh Ξ := C\σH Ξ is called the resolvent set of the operator family H Ξ := H ξ ξ Ξ, which is an open subset of C. If h is the element in the C -algebra induced by the transformation groupoid Ξ t L that defines H Ξ, then σh = σh Ξ, see e.g. [35, 3, 4]. It is worth mentioning that the closure in the definition of σh Ξ is not necessary since the union of the spectra is already closed by the amenability of the group L R d [20, 40]. Then the distance of two spectra σh Ξ and σh Θ for Ξ,Θ J is measured by the Hausdorff distance on the compact subset of R, namely { } σhξ,σh Θ := max sup E σh Ξ inf E E 2, E 2 σh Θ sup E 2 σh Θ inf E E 2 E σh Ξ The subsection is finished with two auxiliary statements that are used in Proposition 4.4 which is the heart of the proof of the main theorem. Recall that U h : H H, U h ψ = ψ h, is the translation operator acting on the Hilbert space H := l 2 L C N. For the sake of simplicity, the symbol U h is also used for the translation operator acting on the Hilbert space l 2 L. For ϕ l 2 L, we write ϕ 0 if ϕ 0 for all L. Then a linear bounded operator A : l 2 L l 2 L is called positivity preserving, if ϕ 0 implies Aϕ 0. Lemma 2.5. Let 0 < β an := H ξ : H H ξ A L be a strongly pattern equivariant Hamiltonian with β-hölder continuous coefficients. Let t h,β : A L C be defined as t h,β ξ := + h 2 β/2 t h ξ op and t h,β,ξ : L C, x t h,β t x ξ. Define H β ξ : l2 L l 2 L by: H β ξ := h R t h,β,ξ U h. Then H β := H β ξ is a positivity preserving self-adjoint operator family satisfying R, ξ A L R2 and its operator norm H β := sup ξ A L H β ξ is bounded by H β. Proof: By definition, H β ξ : l2 L l 2 L is a linear operator. Then the estimate see.5 for the definition of t H β ξ t h,β,ξ Uh h +h h R h R t 2 β 2 = H β follows. The range R of H and so of H β satisfies R. Furthermore, t h,β ξ = + h 2 β/2 t h ξ op = + h 2 β/2 t h t h ξ op = t h,β t h ξ is derived as t h, h R, satisfy R2. Thus, the functions t h,β : A L [0,, h R, also satisfy R2 implying that H β is self-adjoint by Lemma 2.4. Clearly, the translation operator U h is positivity preserving. Furthermore, the composition and sum of two positivity preserving operators is positivity preserving. Thus, the operator H β ξ is positivity preserving for each ξ AL since t h,β 0. Lemma 2.6. Let 0 < β an := H ξ : H H ξ A L be a strongly pattern equivariant Hamiltonian with β-hölder continuous coefficients. Define H : l 2 L l 2 L by H := h R t h U h..

10 0 SIEGFRIED BECKUS, JEAN BELLISSARD, HORIA CORNEAN Then H is a positivity preserving, self-adjoint operator such that H H β. Proof: The statement follows similarly as the previous one. 3. Technical tools In this section some technical tools are introduced and auxiliary statements are proven. The first part deals with Lipschit-partitions of unity that are used to localie the Hamiltonians as described in Section.3. Secondly, the so called superoperators are introduced, which are Lipschit continuous maps on the Hilbert space H onto l 2 L. It is important to notice that these superoperators are not linear. However, for the purpose of this paper, it suffices that they are bounded. 3.. Partition of unity. A function Ψ : R d R is called Lipschit continuous if there is a constant C > 0 such that Ψx Ψy C x y for all x,y R d. The smallest constant satisfying the previous estimate is called Lipschit constant, which is denoted by C L. A family of functions Ψ i i I is called uniformly Lipschit continuous if C L := sup i C L i < where C L i > 0 is the Lipschit constant of Ψ i. The set of Lipschit continuous functions is denoted by LipR d. The notion of Lipschit-partition of unity will play a crucial role in this work. Such a partition can be chosen to be subordinate to any given covering V i i I of R d, in general. Throughout this work the index set I will be the lattice L and a specific covering is chosen. This cover is assumed to be uniformly locally finite, which reflects in condition P2 below. Specifically, the covering V i i I is called uniformly locally finite if there is an N N such that for each x R d there are at most N sets V i that contain x. Definition 3.. A family of functions Ψ L LipR d with 0 Ψ is called a Lipschitpartition of unity if the family Ψ L is uniformly Lipschit continuous and P L Ψ x = for all x R d ; P2 The set V := { L : supp Ψ supp Ψ } is finite uniformly in L, namely, N := NΨ := sup L V <. For the sake of clarity, we will construct a concrete example of such a partition. Example 3.2. For r > 0, recall the notion of the deformed cube Q r := { Mx R d : x max r }. Let 0 ψ be Lipschit continuous, satisfying ψx = for x K := { } x R d : x max 2 and suppψ U := { x R d : x max < 3} 2 R d. Since x+u x Z d is a uniformly locally finite open cover of R d, + MU is so as well as M is invertible where MU := {Mx : x U}. L Since the cover is uniformly locally finite, there is an N N satisfying { L : x +MU} N uniformly in x R d. The constraint ψx = for x K implies L ψ M x. Define the map Ψ : R d ψm [0,]by Ψx := x L ψm x. Its support suppψ is contained in MU Q 2. ItisalsostraightforwardtocheckthatthefamilyΨ 3 L definedbyψ x := Ψx satisfies all the conditions in Definition 3.. Remark 3.3. It is worth mentioning that N 3 holds for a Lipschit-partition of unity in R. Thus, N 3 follows for any Lipschit-partition of unity in R d. For indeed, if N 2 one could induce a Lipschit-partition of unity for R by restricting the partition to the first component in R d, a contradiction. Definition 3.4. Let r > 0 and Ψ LipR d be such that Ψ := Ψ, L, defines a Lipschit-partition of unity with N := NΨ, Lipschit constant C L > 0 and suppψ Q. Define the family of functions Ψ r L by Ψ r : R d R, Ψ r x := Ψ x r. Furthermore, χ r : R d {0,} denotes the characteristic function of the support supp Ψ r R d.

11 HÖLDER CONTINUITY OF THE SPECTRA FOR APERIODIC HAMILTONIANS Example 3.2 shows that Ψ LipR d exists such that Ψ L is a Lipschit-partition of unity. The latter defined family Ψ r of functions turns out to be also a Lipschit-partition of unity L with same bound in P2: Lemma 3.5. Let r > 0 and Ψ LipR d with Lipschit constant C L > 0 be such that Ψ L is a Lipschit-partition of unity. Then the family Ψ r defined in Definition 3.4 is a Lipschitpartition of unity with Lipschit constant CL r L satisfying NΨ = N Ψ r. If suppψ Q s for some s > 0, then the support of Ψ r is contained in r +Q sr. Proof: It is immediate to see the estimate Ψ r x Ψ r y C L x y, r x,y R d. 3. Condition P follows by a short computation while P2 and NΨ = N Ψ r are derived from the identity { V = L supp Ψ r } supp Ψ r. Finally, it is straightforward to show supp Ψ r r +Qsr. Lemma 3.6. Let r > 0 and Ψ r L be the Lipschit-partition of unity defined in Definition 3.4. For 0 β and L, the estimate x y holds for all x,y R d. Ψ r x Ψr y r β 2 β C β L χ r x+χr y Proof: Combining 3. with the inequality r Ψ x Ψ r y 2 we obtain by interpolation: β Ψ r x Ψr y y x C L 2 β, 0 β. r The last ingredient is the identity Ψ r x Ψ r y = Ψ r x Ψ r y χ r x+χ r y, finishing the proof Superoperators. Recall that H denotes the Hilbert space l 2 L C N on which the Hamiltonians act. Furthermore, χ r : R d {0,} denotes the characteristic function of the support suppψ r. The corresponding multiplication operator by the function χ r on H acting as the identity on C N is denoted by the symbol χ r, with χ r = for each L. In the following C c L denotes the set of functions ϕ : L C with finite support in L. Note in the following that Bϕx C N holds if B : H H, ϕ H and x L. In this case Bϕx denotes the Euclidean length of the vector Bϕx. Lemma 3.7. Consider an operator family A L B H with A := sup L A <. Then the map OA : C c L C N l 2 L defined by OAϕ x := χ r x A χ r ϕ x, ϕ C c L C N, x L, satisfies L OAϕ OAϕ 2 H N A ϕ ϕ 2 H, ϕ,ϕ 2 C c L C N. Furthermore, OA uniquely extends to a continuous bounded map on H to l 2 L such that sup { OAϕ H : ϕ H with ϕ H } N A.

12 2 SIEGFRIED BECKUS, JEAN BELLISSARD, HORIA CORNEAN Proof: As introduced in Definition 3., V r denotes the set of all L such that suppψ r suppψ r. Let ϕ C c L C N. First note that ϕ x := A χ r ϕ x N = A χ r ϕ 2 k x 2, x, L, k= defines an element in l 2 L. Thus, the Cauchy-Schwar inequality on l 2 L yields r χ ϕ, χ r χ r ϕ l2 r χ L ϕ l2 L ϕ l2 L ϕ l2 L. ϕ l 2 L Note that the latter inner product vanishes if L and V r. Furthermore, a short computation leads to ϕ 2 l 2 L = A χ r ϕ 2 H A 2 χ r ϕ 2 H. Since 2ab a 2 +b 2 for a,b 0, the previous considerations yield OAϕ 2 r χ L A 2 2 V r L V r A χ r ϕ, χ r A χ r χ r ϕ 2 H + χ r ϕ 2 H. ϕ l 2 L Let l x be the number of L satisfying that χ r x 0 for fixed x L. Thus, l x N is derived for all x L by P2 and Lemma 3.5. Hence, V r L V r χ r x N { V r follows. Using the previous considerations, the estimate χ r ϕ 2 H = N ϕ k x 2 L x Lk= L is proven. Similarly, L V r χ r ϕ 2 H = x L N k= : χ r x 0} N 2 V r x ϕ 2 H N2 χ r { ϕ k x 2 N L } χ r x 0 ϕ 2 HN 2 is deduced. These observations imply OAϕ 2 H N2 A 2 ϕ 2 H for all ϕ C cl. Let ϕ,ϕ 2 C c L C N. Since we have: OAϕ OAϕ 2 k x χ r A χ r ϕ k x A χ r ϕ 2 k x L L χ r A χ r ϕ ϕ 2 k x, the previous considerations lead to OAϕ OAϕ 2 H OAϕ ϕ 2 H N A ϕ ϕ 2 H, namely OA is Lipschit continuous. Thus, there is a unique continuous extension OA : H l 2 L satisfying as C c L C N H is dense. sup { OAϕ H : ϕ H with ϕ H } N A

13 HÖLDER CONTINUITY OF THE SPECTRA FOR APERIODIC HAMILTONIANS 3 Lemma 3.8. Let B : l 2 L l 2 L be a positivity preserving, linear bounded operator. Consider an operator family A L BH such that A := sup L A <. Then the map O B A : C c L C N l 2 L defined by OB Aϕ x := χ r x B A χ r ϕ x, ϕ C c L C N, x L, L satisfies O B Aϕ O B Aϕ 2 H N A B ϕ ϕ 2 H, ϕ,ϕ 2 C c L C N. Furthermore, O B A extends to a continuous bounded map on H to l 2 L such that sup { O B Aϕ H : ϕ H with ϕ H } N A B. Proof: Recallthat A χ r ϕ isanelement ofl 2 L andsob A χ r ϕ iswell-defined. Following the lines of the proof Lemma 3.7 we obtain O B Aϕ H N B A ϕ H. Since B is a positivity preserving linear operator we have 0 B ϕ ψ ϕ + ψ = B ϕ ψ B ϕ B ψ. This implies a pointwise estimate: B A χ r B A χ r ϕ The latter yields the pointwise estimate: OB Aϕ O B Aϕ 2 L ϕ 2 B A χ r ϕ ϕ 2. χ r B A χ r ϕ ϕ 2 = OB Aϕ ϕ 2 which leads to OB Aϕ O B Aϕ 2 H OB ϕ ϕ 2 H N B A ϕ ϕ 2 H. Then the density of C c L C N H finishes the proof. 4. Proofs of the main results The following two auxiliary lemmas provide estimates on the potential and the kinetic term if commuted with the Lipschit partition of unity. Lemma 4.. For each r >, let Ψ r L be the Lipschit-partition of unity defined in Definition 3.4. Let 0 < β and t : A L M N C be a strongly pattern equivariant function with β-hölder continuous coefficients, constant C t and radius of influence R t. Let Ξ,Θ J be such that r := A LΞ,Θ > R := R t + M max M max + Then for each ξ Ξ and L, there exists an η ξ := ηξ,,r, R,L Θ such that: t Ψr R r R ξ Ψ t η ϕ x 2 r β C tχ r R x ϕx, ϕ H, x L, holds. Proof: Let L. For each x R d we have: min x y max M max min M x m max M max y L m Z d Thus there exists an r L such that r r R max M max. Since Ξ is invariant, we have t r ξ Ξ and due to Lemma 2.2 we may find η ξ Θ such that d A L t r ξ, η ξ d H A LΞ,Θ.

14 4 SIEGFRIED BECKUS, JEAN BELLISSARD, HORIA CORNEAN By definition, R t holds implying r > 2. Since Θ is invariant, η ξ := t r η ξ Θ. Then Lemma 2.2 b implies d A t r ξy,t r η ξ y = d A t r ξy, η ξ y r 2 r, y Q r L. 4. Consider some ϕ H and x L. Then a short computation leads to t Ψr R ξ ϕ r R Ψ t ηξ ϕ x = Ψ r R x t t x ξ ϕ t t x η ξ ϕ x. Clearly, the term vanishes if x supp Ψ r R r R and 0 Ψ x χ r R x. Thus, it suffices to show t t x ξ t t x η ξ op 2C t r β, x supp Ψ r R L. Let x supp Ψ r R Lemma 3.5 asserts x supp Ψ r R L. According to Definition 3.4, the inclusion suppψ Q holds. Thus, r R +Qr R. Using the definition of R, we have x +x 2 max r M max M max whenever x max r R and x 2 max R t. Thus, Q r R +Q Rt is contained in Q r M max M max implying x+q Rt r R +Q r M max M max = r + r R r +Q r M max M max. In addition, r R r +Qr M max M max Q r is an immediate consequence of the estimates M r R r +y y max + M r max max R r r max for each y R d satisfying My Q r M max M max. Consequently we have: x+q Rt r +Q r, x supp Ψ r R L. Since t satisfies.3, x supp Ψ r R L r R +Qr R L yields t t x ξ t t x { η ξ op C t max d A ξy,ηξ y } β : y x+qrt L { C t max d A t r ξy,t r η ξ y } β : y Qr L. Then 4. yields the desired estimate. For two operators A,B BH we denote their commutator AB BA by [A,B]. The following estimate is based on Lemma 3.6. Lemma 4.2. Let Ψ r L be the Lipschit-partition of unity defined in Definition 3.4. For each, h L, 0 β and r, the estimate [ ] r U h, Ψ ϕ x h β r β 2 β C β L holds for all ϕ H and x L. Proof: Let ϕ H and x L. A short computation leads to [ ] U h, ϕ x = Ψ r In addition, Lemma 3.6 implies Ψ r x h Ψ r x h β r β 2 β C β L χ r x h+χ r x Uh ϕ x Ψ r x h Ψr x Uh ϕ x. χ r x h+χ r x. We are now interested in constructing an approximate inverse of H ξ using the resolvent of H η. Denote the distance of C to a compact subset K C by dist,k := inf { x : x K }.

15 HÖLDER CONTINUITY OF THE SPECTRA FOR APERIODIC HAMILTONIANS 5 Recall the notion of the spectrum σh Θ and resolvent set ρh Θ for an H C and a subshift Θ J, which were defined in Section 2.2. Lemma 4.3. Let r > 0, Θ J and Ψ r L be the Lipschit-partition of unity defined in Definition 3.4 with N := N Ψ r independent of r. Suppose H = H ξ ξ A L C is self-adjoint. For every L, choose an arbitrary η Θ. Then for every ρh Θ = C\σH Θ, the operator S BH given by Ψ r H η χ r. S := L is well-defined and its operator norm is bounded by N dist,σh Θ. Proof: Note that H η is invertible for each η Θ as ρh Θ. Consider the operator family r A := Ψ H η for L. Its operator norm is bounded by A = sup L A sup H η = sup η Θ η Θ Let ϕ C c L C N and x L. Since r Ψ = χ r Ψr, the estimate Sϕ x = χ r A χ r ϕ x L dist,σh η = dist,σh Θ OAϕ x followswhereoa isthe mapdefined inlemma3.7. Hence, Lemma3.7implies S N A which coupled with the estimate on A ends the proof. Proposition 4.4. Consider a strongly pattern equivariant Hamiltonian H := H ξ ξ A L with β- Hölder continuous coefficients of finite range with radius of influence R H. Let Ξ,Θ J be such that r := A LΞ,Θ > R H := R H + M max M max + Let Ψ r L be a Lipschit-partition of unity defined in Definition 3.4 with N := N Ψ r independent of r. Then if ρh Θ satisfies dist,σh Θ > 6N max{ C L, } we have that ρh Ξ. Proof: For ξ A L, the Hamiltonian is defined by 2 β r R H β C hop H β, 4.2 H ξ := h R t h,ξ U h satisfying R and R2 where t h : A L M N C, h R, are strongly pattern equivariant with β-hölder continuous coefficients and R is finite. Furthermore, C hop = sup h R C th is finite and R th R H holds for all h R. Let ρh Θ obeying 4.2. In particular, ρh η for all η Θ and dist,σh η dist,σh Θ. It suffices to prove that ρh ξ uniformly in ξ Ξ, i.e. that there exists δ > 0 independent of ξ Ξ such that dist,σh ξ > δ. This implies ρh Ξ = C\ ξ Ξ σh ξ. In light of this, let ξ Ξ and we will prove that ρh Ξ going through the following steps: i An operator S is constructed such that H ξ S = I+T +T 2 where the error terms T and T 2 come from the kinetic and the potential terms, respectively. ii It is shown that T 4. iii It is shown that T 2 4. iv Using i-iii, ρh ξ is verified.

16 6 SIEGFRIED BECKUS, JEAN BELLISSARD, HORIA CORNEAN i: Recall that R th holds by definition. Since 0 < A Ξ,Θ = L r with r > R H R th + M max M max + 2 and C th C hop for all h R, Lemma 4. applies with R replaced by R H and C t replaced by C hop. This implies that given any L, there exists a η = ηξ,,r, R H,L Θ satisfying t h,ξ Ψr R H Ψ r R H t h,η ϕ x 2 r β C hopχ r R H x ϕx 4.3 for all ϕ H and x L. It is worth noticing that η is independent of h R by Lemma 4.. With this chosen η Θ for L, define S BH by S := L Ψ r R H H η χ r R H. According to Lemma 4.3, S is a well-defined operator and S N dist,σh Θ. 4.4 In the following we investigate the operator product H ξ S. In order to shorten notation, define: Then for each L we have H Ψr R H ξ = E h, := t Ψr R H h,ξ Ψ r R H t h,η, h R, L. h R t h,ξ [U h, Ψ ] r R H + E h, U h + Ψ r R H H η. h R Define the operators T,T 2 BH by T := t h,ξ [U h, Ψ ] r R H A χ r R H, T 2 := L L h R h R E h, U h A χ r R H, where A := H η BH for L. Then the operator norm of this operator family A L satisfies A := sup A H η = L According to Lemma 3.5, Ψ r R H L dist,σh η dist,σh Θ. is a Lipschit-partition of unity satisfying P and P2. Since Ψ r R H = Ψ r R H χ r R H, P implies that Ψ r R H L χ r R H the identity operator I. With this at hand, the previous considerations lead to is equal to H ξ S = L Ψ r R H Hη H η χ r R H + T +T 2 = I+T +T 2. ii: Let ϕ H and x L. Lemma 4.2 implies T ϕx t h t x ξ op [U h, Ψ ] r R H Lh R 2 β C β L r R H β L A χ r R H ϕ χ r R H x h β t h t x ξ op h R + h β t h t x ξ op h R L χ r R H x U h A χ r R H ϕ x A χ r R H ϕ x h Recallthe notionofthehamiltonianh β = H β ξ ξ AZd introducedinlemma2.5wherethehopping terms are given t h,β,ξ : L [0,, x + h 2 β/2 t h t x ξ op. Also, OA and O H βa ξ.

17 HÖLDER CONTINUITY OF THE SPECTRA FOR APERIODIC HAMILTONIANS 7 are the superoperators defined in Section 3.2. Since h β +h 2 β 2, the previous estimate reads as follows T ϕx 2 β C β OH L r R H β βaϕ x+ H β ξ OAϕ x. ξ Lemma 2.5 asserts that H β ξ : l2 L l 2 L is positivity preserving, self-adjoint satisfying H β ξ H β. Thus, Lemma 3.7 and Lemma 3.8 imply β β C L T 2r R 4N H β ξ H A C L 2r R 4N H β H dist,σh Θ. Invoking the lower bound 4.2 on the distance dist,σh Θ, the norm T is smaller or equal than 4 since C hop, uniformly in ξ Ξ. iii: Let ϕ H and x L. Estimate 4.3 at the beginning of the proof leads to T 2 ϕx E h, U h A χ r R H ϕ x Lh R 2 r β C hop χ r R H x t h Uh A χ r R H ϕ x. L h R As introduced in Lemma 2.6, H : l 2 L l 2 L defined by H := h R t h U h is a positivity preserving, self-adjoint operator. Hence, the previous considerations imply T 2 ϕx 2 r β C hop OH Aϕ x. Here O H A : H l 2 L is again the superoperator introduced in Lemma 3.8. Lemma 2.6 additionally states that H H β. Hence, Lemma 3.8 leads to T 2 2 r β C hopn H A 2 r β C hopn H β dist,σh Θ 4 where the last inequality is a consequence of 4.2. iv: Step ii and iii imply that T + T 2 2 uniformly in ξ Ξ, for all ρh Θ satisfying 4.2. Assuming for the moment that has a non-ero imaginary part, we know that H ξ is invertible because H is self-adjoint and we can write: H ξ = SI+T +T 2. The estimate 4.4 and T +T 2 2 imply: H ξ 2N dist,σh Θ uniformly both in ξ and in the imaginary part of. By analytic continuation, the above estimate remains true for real elements of ρh Θ satisfying 4.2. Moreover, the same estimate provides the uniform lower bound we are looking for: dist,σh ξ dist,σh Θ, ξ Ξ, 2N which shows that ρh Ξ. The previous proposition provides an estimate on the Hausdorff distance of the spectra whenever A L Ξ,Θ is small enough. The following classical statement delivers an estimate if A L Ξ,Θ is greater or equal than a certain constant. A slightly more general version can be found in [28, Chapter 5, Theorem 4.0]. Lemma 4.5. Let A, B LH be self-adjoint. Then σa,σb A B 2 max { A, B }.

18 8 SIEGFRIED BECKUS, JEAN BELLISSARD, HORIA CORNEAN Proof: Let λ σa such that dλ,σa > A B. Then the operator B AA λ has norm strictly less than and so I+B AA λ is invertible. Thus B λ = I+B AA λ A λ is also invertible, which shows that λ σb. In other words, no element of σb can be located at a distance larger than A B from σa, which implies: By interchanging A with B, the proof is over. sup dist λ,σa A B. λ σb 4.. Proof of Theorem.2. Recall the notation R H := R H + M max M max + and define the constant C d,l := 6N max { M max M max, C L, } which only depends on the lattice L and the choice of the Lipschit-partition of unity and hence on the dimension, c.f. Section 3.. If Ξ = Θ, then σh Ξ = σh Θ. Now suppose Ξ Θ, namely A L Ξ,Θ > 0. Set r := A L Ξ,Θ. We analye two cases: i r 2 R H and ii 2 R H < r. i: From r 2 R H we infer 2 R H r β 6 max{ M max M max, } Rβ H r β where the last inequality follows from the definition of R H. Also, H is self-adjoint and H ξ H β for ξ A L. Then Lemma 4.5 and the previous considerations imply σhξ,σh η 2 H β 2 max{ M max M max, }R β H H β A LΞ,Θβ for all ξ Ξ and η Θ. According to Remark 3.3, N 3 always holds. Thus, the desired estimate on the Hausdorff distance of the spectra σh Ξ and σh Θ is derived if r 2 R H as C hop. ii: Suppose r > 2 R H 2. For σh Ξ, Proposition 4.4 leads to dist,σh Θ 6N max{ C L, } By interchanging the role of Ξ and Θ we obtain: 2 β r R H β C hop H β. σhξ,σh Θ C d,l 2 β C hop H β r R H β. In addition, the constraint r > 2 R H implies r R H β 2 β r which together with r := A Ξ,Θ and the previous estimate finishes the proof. L 4.2. Proof of Theorem.4. If Ξ = Θ, then σh Ξ = σh Θ follows. Thus, without loss of generality suppose A L Ξ,Θ > 0. Let r := A L Ξ,Θ. Recall that C d,l := 6N max { M max M max, C L, } Let us introduce a parameter s for which we consider the strongly pattern equivariant Hamiltonian H s := H ξ s ξ A L with β-hölder continuous coefficients, which is given by restricting the range to R Q s, see Section 2.2. Since the range of influence of H has linear growth, there exists a C H such that R H s i.e. the radius of influence of H s obeys R H s C H s. First, assume that r 4 M max M max + 4C H. The second inequality in Lemma 4.5 implies σhξ,σh η 2 H β 24 M max M max +4C H β H β A LΞ,Θβ for all ξ Ξ and η Θ. According to Remark 3.3, N 3 always holds. This leads to the desired spectral estimate as C hop.

19 HÖLDER CONTINUITY OF THE SPECTRA FOR APERIODIC HAMILTONIANS 9 Second, assume that r > 4 M max M max +4C H. For every s we have s β H ξ H ξ s s β t h H β, where we used that s β +h 2 β 2 for h > s. Hence, H ξ H ξ s s β H β follows for all ξ A L. Since the operators are self-adjoint, Lemma 4.5 implies σhξ,σh ξ s H ξ H ξ s H β s β, ξ A L. 4.5 h >s Define s := r 2 M max M max 2C H > 2. Then R H s C H s yields r 2 R H s + M max M max = R H s. In particular, r > R H s holds. In addition, r > 4 holds as C H and so r R H s > r 4 follows by the previous considerations. Thus, Proposition 4.4 applied to H s and the given r and H s β H β imply σhξ s,σh Θ s 6Nmax{C L, } 2 β r R H s β C hop H s β 2C d,ln r β C hop H β. The constraint r > 4 M max M max +4C H leads to r 2 > 2 M max M max. Hence, from the definition of s, we obtain the estimate s = 2C H r 2 M 4C H. max M max r Since N 3 holds in any dimension, we have 24 β C d,l. Combined with 4.5, the previous considerations imply σhξ,σh Θ σhξ,σh Ξ s + σhξ s,σh Θ s + σhθ s,σh Θ finishing the proof. 2 H β s β +2C d,lnc hop H β r β 2C d,l C β H +C hop H β A L Ξ,Θ β References [] P. Arnoux, Sturmian Sequences, Chap. 6, pp , in N. Pytheas Fogg, Substitutions in Dynamics, Arithmetics and Combinatorics, Lecture Notes in Mathematics, 794, [2] S. Beckus, J. Bellissard, Continuity of the Spectrum of a Field of Self-Adjoint Operators, Annales Henri Poincaré, 7, , 206. [3] S. Beckus, Spectral approximation of aperiodic Schrödinger operators, PhD Thesis, Friedrich-Schiller- Universität Jena, 206. [4] S. Beckus, J. Bellissard, G. de Nittis Spectral continuity for aperiodic quantum systems I. General theory, J. Funct. Anal., 275, no., , 208. [5] S. Beckus, J. Bellissard, G. de Nittis Spectral continuity for aperiodic quantum systems II. Periodic approximations in D, arxiv: , 208. [6] S. Beckus, F. Pogorelski Delone dynamical systems and spectral convergence, Ergodic Theory and Dynamical Systems, 35, doi:0.07/etds.208.6, 208. [7] S. Beckus, J. Bellissard, Lipschit continuity for the Kohmoto model, in preparation. [8] J. Bellissard, Stability and instability in quantum mechanics, Schrödinger operators Como, 984, Lecture Notes in Math., , vol. 59, Springer, Berlin, 985. [9] J. Bellissard, K-Theory of C -algebras in Solid State Physics, in Statistical Mechanics and Field Theory, Mathematical Aspects, T.C. Dorlas, M. N. Hugenholt & M. Winnink Eds., Lecture Notes in Physics, 257, 99-56, 986. [0] J. Bellissard, B. Iochum, D. Testard, Continuity properties of the electronic spectrum of D quasicrystals, Comm. Math. Phys., 4, , 99. [] J. Bellissard, Lipshit Continuity of Gap Boundaries for Hofstadter-like Spectra, in Comm. Math. Phys., 60, , 994. [2] V. G. Bena, C. Sire, Electronic spectrum of the octagonal quasicrystal: chaos, gaps and level clustering, Phys. Rev. B, 44, , 99.