arxiv: v1 [math.ds] 14 Jan 2019

Transcription

1 EXPONENTIAL DYNAMICAL LOCALIZATION: CRITERION AND APPLICATIONS arxiv: v1 [mathds] 14 Jan 019 LINGRUI GE, JIANGONG YOU, AND QI ZHOU Abstract We give a criterion for exponential dynamical localization in expectation (EDL) for ergodic families of operators acting on l (Z d ) As applications, we prove EDL for a class of quasi-periodic long-range operators on l (Z d ) 1 Introduction Localization of particles and waves in disordered media is one of the most intriguing phenomena in solid-state physics Date back to 1958, Anderson [5] firstly used a tight-binding model of an electron in a disordered lattice to explain the physical phenomenon that anomalously long relaxation times of electron spins in doped semiconductors Since that ground breaking work, physicists found Anderson s discovery plays an important role in the quantization of Hall conductance [, 35, 51], in the emerging subject of optical crystals [9], etc One may consult [49] for more about the history of the localization theory The mathematical models of the above problems appear often as ergodic families of Schrödinger operators Let (Ω, dµ, S) be a measurable space with a Borel probability measure, equipped with an ergodic family of maps S = {S n, n Z d } from Ω to Ω such that S m+n = S m S n A measurable family (H ω ) ω Ω of bounded linear self-adjoint operators on l (Z d ) is called ergodic if H Snω = T n H ω T n where T n is the translation in Z d by the vector n Motivated by physical backgrounds, in the past sixty years, localization property of ergodic families of operators (H ω ) ω Ω has been extensively studied There are several different mathematical definitions for localization from weak sense to strong sense The weakest one is Anderson localization (AL): H ω is said to display Anderson localization for ae ω, if H ω has pure point spectrum with exponentially decaying eigenfunctions for ae ω However, in physics, localization often means dynamical localization (DL), ie, the wave-packets under the Schrödinger time evolution e ithω keep localized if the initial wave-packet is localized One generally accepted definition of DL is the following: for any q > 0, (11) sup t (1 + n ) q δ n, e ithω δ 0 < C(ω) < n Z 1

2 LINGRUI GE, JIANGONG YOU, AND QI ZHOU When considering an ergodic family operators (H ω ) ω Ω, the above defined DL often holds only for a full measure of ω, moreover C(ω) is not uniform in ω So it is natural to consider the dynamical localization in expectation The strongest dynamical localization is the exponential localization in expectation (EDL) [, 4]: (1) sup δ k, e ithω δ l dµ Ce γ k l, t R Ω where γ(h) := lim inf ( 1 n n ln sup δ n, e ithω δ 0 dµ) Ω t R is defined as the exponential decay rate in expectation [4] This quantity is useful since it is obviously connected to the minimal inverse correlation length As pointed out in [, 4], EDL leads to various interesting physical conclusions, for example, the exponential decay of the two-point function at the ground state and positive temperatures with correlation length staying uniformly bounded as temperature goes to zero Moreover, it is indeed EDL that is often implicitly assumed as manifesting localization in physics literature That makes it particularly interesting to establish EDL for physically relevant models Dynamical localization has already been well studied for the random cases [1, 3, 4, 6, 48] So we will focus our attention on the quasi-periodic models, which even have stronger backgrounds in physics [13, 5] As pointed out in [3], establishing dynamical localization in the quasi-periodic case requires approaches that are quite different from that of the random case (which usually use Aizenman-Molchanov s fractional moments method [3]) So far, there are few EDL results for one dimensional quasi-periodic Schrödinger operators and there is no EDL result for higher dimensional quasi-periodic Schrödinger operators In this paper, we will provide a general criterion for EDL by information of eigenfunctions and apply it to some popular quasiperiodic models More applications to other quasiperiodic models will be given in our forthcoming paper Hopefully, the criterion can also be used to deal with other ergodic Schrödinger operators Date back to 1980s, the most studied quasiperiodic models have the following form: (13) (L V,λW,α,θ u) n = k Z d V k u n k + λw (θ + n, α )u n, where α T d is the frequency, V k C is the Fourier coefficient of a real analytic function V : T d R, W is a continuous function defined on T It is an ergodic self-adjoint operator which is defined on l (Z d ) There are two fundamental results when considering the localization property of L V,λW,α,θ Inspired by pioneer work of Fröhlich-Spencer-Wittwer [31] and Sinai [57], Chulaevsky-Dinaburg [3] proved that if W is a cosine-like function, then for any fixed phase θ, and for positive measure α, L V,λW,α,θ has AL for

3 sufficiently large coupling constant λ Bourgain [14] generalized this result to arbitrary real analytic function W If W (θ) = cos(πθ), then (13) reduces to the famous quasiperiodic long-range operators: (14) (L V,λ,α,θ u) n = k Z d V k u n k + λ cos(θ + n, α )u n, 3 It has received a lot of attention [10 1, 0] since it is the Aubry duality of (15) (H λ 1 V,α,θu) n = u n+1 + u n 1 + λ 1 V (θ 1 + nα 1,, θ d + nα d )u n, which is defined on one dimensional lattice [, 33], and thus carries enormous information of (15) If furthermore V (θ) = cos(πθ), then (14) reduces to the most famous almost Mathieu operator (AMO): (16) (H λ,α,θ u) n = u n+1 + u n 1 + λ cos(θ + nα)u n, The AMO was first introduced by Peierls [53], as a model for an electron on a D lattice, acted on by a homogeneous magnetic field [36, 55] This model has been extensively studied not only because of its importance in physics [13, 5], but also as a fascinating mathematical object More detailed property of AMO will be discussed separately in Subsection EDL for quasi-periodic long-range operators Considering (14), if d = 1, Bourgain-Jitomirskaya [0] proved that for any fixed Diophantine number α 1, L V,λ,α,θ has DL for sufficiently large λ and ae θ This result is non-perturbative in the sense that the largeness of λ doesn t depend on the Diophantine constant of α If d, Jitomirskaya and Kachkovskiy [4] proved that for fixed α DC d, L V,λ,α,θ has pure point spectrum for large enough λ and ae θ Compared to the one dimensional result, here one can only obtain the perturbative result, ie, the largeness of λ depends on α What we will prove is, under the exact same setting as in [4], the family of operator (L V,λ,α,θ ) θ T not only displays AL but also EDL Now we precisely formulate our result Recall that for a bounded analytic (possibly matrix valued) function F defined on {θ Iθ < h}, let F h = sup Iθ <h F (θ), and denote by C ω h (Td, ) the set of all these -valued functions ( will usually denote R, sl(, R) SL(, R)) Denote C ω (T d, R) by the union h>0 C ω h (Td, R) 1 α T d is called Diophantine, denoted by α DC d (κ, τ), if there exist κ > 0 and τ > d 1 such that (17) DC d (κ, τ) := Let DC d := κ >0, τ>d 1 DC d(κ, τ) { } α T d κ : inf n, α j > j Z n, n τ Zd \{0}

4 4 LINGRUI GE, JIANGONG YOU, AND QI ZHOU Theorem 11 If α DC d, h > 0, V C ω h (Td, R) Then for any ε > 0, there exists λ 0 (α, V, d, ε), such that L V,λ,α,θ has EDL with γ(l) π(h ε) if λ > λ 0 Remark 11 To the best knowledge of the authors, Theorem 11 gives the first dynamical localization type result for multidimensional quasi-periodic operators Remark 1 If d = 1, the result we get is non-perturbative, see Corollary 71 1 EDL for quasi-periodic Schrödinger operators on l (Z d ) If we take V = d i=1 cos πx i, (13) is reduced to quasi-periodic Schrödinger operators on l (Z d ): (18) H λw,α,θ = + λw (θ + n, α )δ nn, where is the usual Laplacian on Z d lattice If d = 1, Eliasson [8] proved that for any fixed Diophantine frequency, H λw,α,θ has pure point for ae θ and large enough λ Bourgain and Goldstein [16] proved that in the positive Lyapunov exponent regime, for any fixed phase, H λw,α,θ has AL for ae Diophantine frequency Klein [47] generalized the results in [16] to more general Gevrey potentials If d =, Bourgain, Goldstein and Schlag [17] proved that for any fixed θ, H λw,α,θ has AL for sufficiently large λ and a positive Lebesgue measure set of α As a matter of fact, Bougain-Godstein-Schlag s method [17] works for more complicated potential W of the form W (n 1, n ) = w(θ 1 + n 1 α 1, θ + n α ) where w is a real analytic function on T which is non-constant on any horizontal or vertical line Later, Bourgain [15] generalize the result [17] to the case when d 3 However, as we can see, if the dimension d > 1, not to mention EDL, even AL for any fixed Diophantine frequency has not been established yet In this paper, we will show EDL for a family of quasiperiodic Schrödinger operator on l (Z d ) Theorem 1 For α DC d and any ε > 0, there exists λ 0 (α, d, ε), such that if λ > λ 0, then (19) L λ,α,θ = + λ cos(θ + n, α )δ nn, has EDL with exponential decay rate in expectation γ(l) (1 ε) ln λ 13 EDL for Almost Mathieu Operators Theorem 1 established EDL for L λ,α,θ with large coupling constant λ For almost Mathieu operators H λ,α,θ, EDL can be proved for λ > 1: Theorem 13 Let α DC 1, λ > 1, then almost Mathieu operators H λ,α,θ has EDL with exponential decay rate in expectation γ(h) = ln λ

5 Remark 13 After the first version of this work, we learnt from Jitomirskaya that they actually can prove that lim ( 1 n n ln sup δ n, e ithω δ 0 dµ) = ln λ t R Ω by localization method [43], which means that Ω sup δ n, e ithω δ 0 dµ obeys exactly the exponential decaying law Ths is a surprising result and we wonder if this is a general phenomenon We briefly review the localization type results for AMO If α DC 1, Jitomirskaya [40] proved if λ > 1 then H λ,α,θ has AL for ae θ If β(α) > 0, Avila and Jitomirskaya [9] proved that for λ > e 16β 9, H λ,α,θ has AL for ae θ Here, β(α) is defined as β(α) := lim sup n ln q n+1 q n, where pn q n is the n-th continued fraction convergent of α Recently, based on quantitative almost reducibility and Aubry duality, Avila, You and Zhou [11] solved the measure version of Jitomirskaya s conjecture [39] on sharp phase transitions of AMO, and showed that if λ > e β, then H λ,α,θ has AL for ae θ The arithmetic version was solved in [45], moreover, the universal hierarchical structure of the eigenfunction was explored in [45] However, the dynamical localization results are more restricted to Diophantine frequency Jitomirskaya-Last [44] proved that for λ > 15, then H λ,α,θ has semi-uniformly dynamical localization (SUDL) for ae θ: t R sup δ n, e ith θ δ l C θ,ɛ e ɛ l e γ n l t R Germinet and Jitomirskaya showed in [3] that for λ > 1, it has strong dynamical localization in expectation: (110) sup (1 + n ) q δ n, e ith θ δ 0 dθ < t Ω n Z Recently, Jitomirskaya and Krüger [4] improved the above results by proving that AMO in fact has EDL for λ > 1 However, there is no good characterization of the exponential decay rate in expectation in [4], while Theorem 13 relates the exponential decay rate with the Lyapunov exponent, which now was proved to be optimal [43] 14 Criterion of EDL We will develop a general criterion of EDL for ergodic families of operators acting on l (Z d ), the above results are actually concrete applications of the criterion We first review several developments in localization theory during the past years which inspired our main ideas By RAGE theorem [5], DL implies pure point spectrum, but not vice versa, for example, one can consult the 5

6 6 LINGRUI GE, JIANGONG YOU, AND QI ZHOU counterexample of Rio-Jitomirskaya-Last-Simon [56] Note AL means H ω has a complete set of normalized eigenvectors {u ω,m } m=1 obeying (111) u ω,m (n) C ω,m e γ n nω,m, where γ > 0, C ω,m > 0, and n ω,m Z d are called the centers of localization Counterexample in [56] shows that AL is a-priori not strong enough to restrict the long time dynamics of the system The main shortage in (111) is the total freedom given to the constants C ω,m Indeed, as explained in [56], If C ω,m are allowed to arbitrarily grow in m, then, in fact, the eigenvectors can be extended over arbitrarily large length scales, possibly leading to transport arbitrarily close to the ballistic motion Thus, to get DL, one should specify the dependence of C ω,m on n ω,m and ω Sometimes, better control for C ω,m is avaliable The breakthrough still belongs to [56], they give more information on the localized eigenfunctions, and first establish the correspondence between eigenfunctions localization and dynamical localization type result The condition they give is called semiuniformly localized eigenvectors (SULE): for each ɛ > 0, there is C ω,ɛ such that (11) u ω,m (n) C ω,ɛ e ɛ nω,m e γ n nω,m, ie, the constant C ω,m has subexponential growth in the localization center n ω,m They proved that SULE imply SUDL [56], which means the better control of C ω,m as given in (11) does imply DL In many cases, the eigenfunctions of H ω have even better control than the one given in (11) for most of ω To prove EDL, which is the strongest, we do require finer structure of the eigenfunctions of H ω To this stage, we introduce the following concept: Definition 11 For any γ > 0, l Z d, C(ω) > 0, 0 < C l (ω) < 1, a normalized eigenfunction u ω (n) is said to be (γ, l, C(ω), C l (ω))-good, if for any n Z d (Figure 1) u(n) C(ω)(e γ n + C l (ω)e γ n+l ) Remark 14 Note that C(ω) is to normalize u ω (n), C l (ω) is to measure the deviation It is obvious that every exponentially decay eigenfunction is (γ, l, C(ω), C l (ω))- good for some (γ, l, C(ω), C l (ω)) We remark that the constants (γ, l, C(ω), C l (ω)) are not uniform in ω, and the eigenfunction is well localized if (l, C l (ω)) is small and γ is large We will prove that H ω has EDL if each H ω has one sufficiently good eigenfunction for majority of ω Before giving the precise criterion, we first introduce a concept called ergodic covariant family As proved by Bourgain and Jitomirskaya [0], every ergodic family of self-adjoint bounded operators with ae pure point We say uω(n) is normalized if n uω(n) = 1

7 7 Figure 1 spectrum has a covariant spectral representation, ie, there exist Borel measurable functions E(ω) : Ω R and u(ω) : Ω l (Z d ) so that H ω u(ω) = E(ω)u(ω) and the functions {T k u(s k ω), k Z d } form an orthonormal basis for l (Z d ) for almost all ω The proof of covariant spectral representation for Schrödinger operators with Markov potentials and quasiperiodic potentials can be found in [30, 33, 34] Inspired by [0], we have the following very natural definition Definition 1 (H ω ) ω Ω is called an ergodic covariant family if (H ω ) ω Ω is ergodic and there exists a Borel measurable function E(ω) : Ω R, and a normalized vector value function (not necessarily to be measurable) u(ω) : Ω l (Z d ), such that H ω u(ω) = E(ω)u(ω) and {T k u(s k ω), k Z d } are orthonormal Note that the ergodic covariant family is weaker than covariant spectral representation, because we don t a-priori assume that the eigenfunctions are complete and u(ω) is measurable It is also weaker than the concept of covariant family with many eigenfunctions defined in [41], since we allow the operator to have multiple eigenvalues Moreover, it is easy to see that (H ω ) ω Ω form an ergodic covariant family if H ω has pp for ae ω In fact, one can prove that the inverse is also true ie if (H ω ) ω Ω is an ergodic covariant family, then H ω has pp for ae ω Theorem 14 Suppose that (H ω ) ω Ω is an ergodic covariant family Then (H ω ) ω Ω displays EDL with γ(h) γ if the following hold

8 8 LINGRUI GE, JIANGONG YOU, AND QI ZHOU (1) there exist Ω i Ω 3, such that for any ω Ω i, u(ω) is a (γ, l, C i, C i,m )- good eigenfunction for some l = m < n i, () u(ω) : Ω l (Z d ) is measurable, (3) i=1 Ci (1 + sup C i,m e γm )µ(ω c i 1) < m Remark 15 Theorem 14 is also motivated by Avila-You-Zhou [11], where they establish a new criterion (Propostion 41) for AL Remark 16 From our proof, one will see condition (1) is sufficient for proving AL We emphasize that the criterion in Theorem 14 applies to general ergodic family of operators In this paper, we only give its applications to quasi-periodic Schrödinger operators So far the only available EDL result for quasi-periodic Schrödinger operators is due to Jitomirskaya-Krüger [4] As readers will see, the method of [4] is completely different from ours, where the key is to exploit the orthogonality of the u ω,m when estimating n ω,m=n u ω,m(l) 15 Plan of the proof We will first prove Theorem 14 which can be viewed as a generalization of the criterion for Anderson localization in [11] Second, we apply the criterion to quasi-periodic models For this purpose, we need a good control of C(ω), C l (ω) and l for u(ω) The control will be given by Aubry duality and the quantitative almost reducibility of the dual cocycles More precisely, we need to analyze the behavior of the dual Schrödinger cocycles with Diophantine rotation numbers We know, in this case, the cocycles are reducible to a constant cocycle with elliptic eigenvalues The key point is to prove the exponentially decay of the off-diagonal element of the constant matrix and fine structure of the transformations Furthermore, to get the optimal decay rate of the eigenfunctions, we need a strong almost reducibility result, ie the cocycle is almost reducible in a fixed band, moreover, we need the band arbitrary close to the initial band We mention that the KAM method only works for the local regime In order to pass it to the global regime, we need Avila s global theory of analytic SL(, R)-cocycles [6] Moreover, in order to have a uniform control on the conjugacies with respect to subcritical energy, we shall perform some compactness argument, the key still follows from Avila s global theory: openness of the subcritical cocycle and openness of almost reducibility 3 We say Ωi Ω in the sense that Ω i Ω i+1 and µ( iω i) = 1

9 9 Preliminaries Recall sl(, R) is the set of matrices of the form ( ) x y + z y z x where x, y, z R It is isomorphic to su(1, 1), the group of matrices of the form ( it ) ν ν it with t R, ν C The isomorphism between sl(, R) and su(1, 1) is given by B MBM 1 where M = 1 ( ) 1 i i 1 i Direct calculation shows that ( x y + z M y z x ) ( M 1 iz x iy = x + iy iz 1 Continued Fraction Expansion Let α (0, 1)\Q, a 0 := 0 and α 0 := α Inductively, for k 1, we define a k := [α 1 k 1 ], α k = α 1 k 1 a k Let p 0 := 0, p 1 := 1, q 0 := 1, q 1 := a 1 We define inductively p k := a k p k 1 + p k, q k := a k q k 1 + q k Then q n are the denominators of the best rational approximations of α since we have kα q n 1 α for all k satisfying 1 k < q n, and 1 q n α q R/Z 1 n+1 q n+1 Quasi-periodic cocycles Given A C ω (T d, SL(, C)) and rationally independent α R d, we define the quasi-periodic cocycle (α, A): { T d C T d C (α, A): (x, v) (x + α, A(x) v) The iterates of (α, A) are of the form (α, A) n = (nα, A n ), where { A(x + (n 1)α) A(x + α)a(x), n 0 A n (x) := A 1 (x + nα)a 1 (x + (n + 1)α) A 1 (x α), n < 0 1 The Lyapunov exponent is defined by L(α, A) := lim ln A n (x) dx n n T d The cocycle (α, A) is uniformly hyperbolic if, for every x T d, there exists a continuous splitting C = E s (x) E u (x) such that for every n 0, A n (x) v Ce cn v, v E s (x), A n (x) 1 v Ce cn v, v E u (x + nα), )

10 10 LINGRUI GE, JIANGONG YOU, AND QI ZHOU for some constants C, c > 0 This splitting is invariant by the dynamics, ie, A(x)E (x) = E (x + α), = s or u, x T d Assume that A C(T d, SL(, R)) is homotopic to the identity It induces the projective skew-product F A : T d S 1 T d S 1 with ( ) A(x) w F A (x, w) := x + α,, A(x) w which is also homotopic to the identity Thus we can lift F A to a map F A : T d R T d R of the form F A (x, y) = (x + α, y + ψ x (y)), where for every x T d, ψ x is Z-periodic The map ψ : T d T R is called a lift of A Let µ be any probability measure on T d R which is invariant by F A, and whose projection on the first coordinate is given by Lebesgue measure The number ρ(α, A) := ψ x (y) dµ(x, y) mod Z T d R depends neither on the lift ψ nor on the measure µ, and is called the fibered rotation number of (α, A) (see ( [37, 46] for more details) ) cos πθ sin πθ Given θ T d, let R θ := If A: T sin πθ cos πθ d PSL(, R) is homotopic to θ R n,θ for some n Z d, then we call n the degree of A and denote it by deg A The fibered rotation number is invariant under real conjugacies which are homotopic to the identity More generally, if (α, A 1 ) is conjugated to (α, A ), ie, B( + α) 1 A 1 ( )B( ) = A ( ), for some B : T d PSL(, R) with degb = n, then (1) ρ(α, A 1 ) = ρ(α, A ) + n, α A typical example is given by the so-called Schrödinger cocycles (α, SE V ), with ( ) SE V E V ( ) 1 ( ) :=, E R 1 0 Those cocycles were introduced because it is equivalent to the eigenvalue equation H V,α,θ u = Eu Indeed, any formal solution u = (u n ) n Z of H V,α,θ u = Eu satisfies ( ) ( ) un+1 = S u E V un (θ + nα), n u n 1 n Z The spectral properties of H V,α,θ and the dynamics of (α, SE V ) are closely related by the well-known fact: E Σ V,α if and only if (α, SE V ) is not uniformly hyperbolic Throughout the paper, we will denote L(E) = L(α, SE V ) and ρ(e) = ρ(α, SE V ) for short The cocycles (α, A) is C ω -reducible, if it can be C ω -conjugated to a constant cocycle

11 3 Global theory of one-frequency Schrödinger operators Let us make a short review of Avila s global theory of one frequency SL(, R)- cocycles [6] Suppose that A C ω (T, SL(, R)) admits a holomorphic extension to { Iz < h} Then for ɛ < h, we define A ɛ C ω (T, SL(, C)) by A ɛ ( ) = A( + iɛ) The cocycles which are not uniformly hyperbolic are classified into three classed: subcritical, critical, and supercritical In particular, (α, A) is said to be subcritical if there exists h > 0 such that L(α, A ɛ ) = 0 for ɛ < h A cornerstone in Avila s global theory is the Almost Reducibility Conjecture (ARC), which says that (α, A) is almost reducible if it is subcritical Recall that the cocycle (α, A) is said to be almost reducible if there exists h > 0, and a sequence B n Ch ω (T, P SL(, R)) such that Bn 1 (θ + α)a(θ)b(θ) converges to constant uniformly in Iθ < h The complete solution of ARC was recently given by Avila [7, 8], in the case β(α) = 0, it is the following: Theorem 1 For α R\Q with β(α) = 0, and A C ω (T, SL(, R)), (α, A) is almost reducible if it is subcritical 4 Z d -action and ergodicity Generally speaking, an action of a group is a formal way of interpreting the manner in which the elements of the group correspond to transformations of some space, in a way that preserves the structure of that space An important and special group is Z d additive group Specially, the group S = {S n, n Z d }, a family of measure-preserving one to one transformations of Ω such that S m+n = S m S n, can be seen as a Z d -action on Ω The measurable dynamical system (Ω, dµ, S) is called ergodic if it holds that for any f L 1 (Ω, dµ) and for µ ae ω Ω, 1 () lim N (N) d n N For more details, one can consult [54] f(s n ω) = Ω fdµ 11 5 Aubry duality Suppose that the quasi-periodic Schrödinger operator (3) (H λ 1 V,α,θu) n = u n+1 + u n 1 + λ 1 V (θ + nα)x n, n Z has an analytic quasi-periodic Bloch wave u n = e πinϕ ψ(φ + nα) for some ψ C ω (T d, C) and ϕ [0, 1) It is easy to see that the Fourier coefficients of ψ(θ) is an eigenfunction of the following long range operator: (4) (L V,λ,α,θ u) m = k Z d V k u m k + λ cos π(ϕ + m, α )u m, m Z d L V,λ,α,θ is called the dual operator of H λ 1 V,α,θ

12 1 LINGRUI GE, JIANGONG YOU, AND QI ZHOU 3 Criterion of EDL In this section, we give the proof of Theorem 14 Denote E k (ω) = E(S k ω), u k (ω) = T k u(s k ω) and denote u k (n, ω) the n-th component of u k (ω) Then we have Lemma 31 If (H ω ) ω Ω is an ergodic family of operators, then E k (ω) is an eigenvalue of H ω with eigenfunction u k (ω) Proof we have H ω T k u(s k ω) = T k H Sk ωu(s k ω) = T k E(S k ω)u(s k ω) = E(S k ω)t k u(s k ω), which means that E k (ω) is an eigenvalue of H ω with eigenfunction u k (ω) Now by ergodicity, there exists Ω with µ( Ω) = 1, such that for any ω Ω and the measurable set Ω i defined in Theorem 14, (31) #{k S k ω Ω i, k µ(ω i )N} µ 3 (Ω i )(N) d holds for N > N 0 where N 0 depends on ω and Ω i We denote K γ,n,i (ω) = {k k µ(ω i )N, S k ω Ω i }, The following lemma is a quantitative description of u k (ω) for k K γ,n,i (ω) Lemma 3 For any k K γ,n,i (ω) and p Z d, we have u k (n, ω) 1 e γ(1 µ(ω i )) N, provided that n p N N > N 0 := max{ n i + p + ln C i (1 + C i,m ), (d + 1)!( m n i γ(1 µ(ω i )) γ(1 µ(ω i )) )d+1 } Proof Note that for any k K γ,n,i (ω), we have S k ω Ω i, by condition (1), u(s k ω) is a (γ, l, C i, C i,m )-good eigenfunction for some l = m < n i, since u k (ω) = T k u(s k ω), we have thus n p N u k (n, ω) C i (e γ n+k + C i,m e γ n+k+l ), u k (n, ω) n p N j N j N C i (e γ( k + p ) e γ n p + C i,m e γ( k + n i + p ) e γ n p ) j d C i (1 + C i,m )e γ( k + n i + p ) e γj j d C i (1 + C i,m )e γ( n i + p ) e γ(1 µ(ω i))j By the definition of N 0, direct computation shows for N > N 0, we have u k (n, ω) 1 e γ(1 µ(ω i )) N > 0, n p N

13 Once we have this, we denote E γ,n,i (ω) = {E k (ω) k µ(ω i )N, S k ω Ω i } E γ (ω) = E γ,n,i (ω) i N N N We remark that E k (ω) might be multiple eigenvalues, since we didn t assume E m (ω) E n (ω) for m n However, by our assumption, all the eigenfunctions of E(S k ω) are orthonomal, which is quite useful for our following computations Let P ω be the spectral projection of H ω onto the set, and for any δ n l (Z d ), it induces the spectral measure: P ω δ n, δ n = µ δn,ω( ) For N > max{n 0, N 0 }, by the spectral theorem, (31) and Lemma 3, we have 1 (N) d n p N µ δn,ω(e γ (ω)) > 1 (N) d > 1 (N) d n p N < P ω E γ,n,i (ω) δ n, δ n > n p N k K γ,n,i (ω) u k (n, ω) > 1 (N) d #K γ,n,i(ω)(1 e γ(1 µ(ω i )) N ) µ(ω i ) 3 (1 e γ(1 µ(ω i )) N ) Note the second inequality uses the fact that all the eigenfunctions of E(S k ω) are orthonormal Since E γ (ω) = E γ (S n ω) where S n is the measure-preserving transformation defined in (), we can rewrite the above inequalities as 1 (N) d n N µ δp,s nω(e(s n ω)) > µ(ω i ) 3 (1 e γ(1 µ(ω i )) N ) Let N goes to, thus by ergodicity we have µ δp,ω(e γ (ω)) dω µ(ω i ) 3, Let i, it follows that (3) Ω Ω µ δp,ω(e γ (ω)) dω = 1 Thus for µ-ae ω Ω, µ δp,ω = µ pp δ p,ω with support E γ(ω), by passing to the countable intersection of these set of ω, we ultimately obtain a full measure set for which H ω has pure point spectrum with eigenfunctions (u k (ω)) k Z d Since (u k (ω)) k Z d all decays exponentially, H ω has AL for ae ω 13

14 14 LINGRUI GE, JIANGONG YOU, AND QI ZHOU Next we prove EDL of the ergodic covariant family (H ω ) ω Ω For any i, m N, we inductively define Ω 0 i = {ω Ω i u(ω) is a (γ, 0, C i, C i,0 )-good eigenfunction}, Ω m i by condition (1), Ω i = n i ={ω Ω i ω / m 1 j=1 Ω j i, u(ω) is a (γ, l, C i, C i,m ) -good eigenfunction for some l = m}, m=0 Ω m i Since u(ω) is measurable, we have {Ωm i }n i m=0 are all measurable sets, and it is obvious that Ω m 1 i Ω m i = for any m 1 m Now we need the following standard computation: δ p, e ith(ω) δ q dµ(ω) = e itek(ω) u k (p, ω)u k (q, ω)dµ(ω), k Z d Ω Ω thus δ p, e ith(ω) δ q dµ(ω) k Z d Ω Ω u k (p, ω)u k (q, ω) dµ(ω) Since {S k } k Z d is a family of measure preserving transformation, we have u k (p, ω)u k (q, ω) dµ(ω) k Z d = k Z d = k Z d Ω Ω Ω = k Z d = i 0 i=1 i=1 k Z d u k (p, S k ω)u k (q, S k ω) dµ(ω) u 0 (p k, ω)u 0 (q k, ω) dµ(ω) Ω i \Ω i 1 u 0 (p k, ω)u 0 (q k, ω) dµ(ω) n i Ω m i \Ω i 1 i=0 u 0 (p k, ω)u 0 (q k, ω) dµ(ω) + k Z d Ω ci0 u 0 (p k, ω)u 0 (q k, ω) dµ(ω) The second quality holds because of u k (n, S k ω) = T k u(n, ω) = u(n k, ω) Assume i 0 is the smallest integer i such that µ(ω c i ) < e γ p q, by Bessel s inequality, we have u 0 (p k, ω)u 0 (q k, ω) dµ(ω) µ(ω c i 0 ) e γ p q Ω c i 0 k Z d

15 On the other hand, by the definition of Ω m i and direct computation, one has u 0 (p k, ω)u 0 (q k, ω) dµ(ω) Ω m i \Ω i 1 < C i µ(ω m i \Ω i 1 ) ( e γ( p k + q k ) + C i,me γ( p k+l + q k+l ) + C i,m (e γ( p k + q k+l ) + e γ( p k+l + q k ) ) ), where l = m To complete the proof, we need the following simple observations: Lemma 33 We have the following inequality: (33) (C(γ) + d + p q ) d e γ p q, (34) (35) k Z d e γ( p k + q k ) k Z d e γ( p k+l + q k+l ) (C(γ) + d + p q ) d e γ p q, k Z d (e γ( p k + q k+l ) + e γ( p k+l + q k ) ) e γ l (C(γ) + d + p q ) d e γ p q Proof Let p = (p 1,, p d ), q = (q 1,, q d ), k = (k 1,, k d ), l = (l 1,, l d ), and assume that p 1 q 1, let Λ 1 = {k 1 Z k 1 < p 1 }, Λ = {k 1 Z k 1 > q 1 }, it is obvious that k 1 Λ 1 e γ( p1 k1 + q1 k1 ) k 1 Λ e γ( p1 k1 + q1 k1 ) p 1 k 1 = e γ q 1 k 1 C(γ)e γ p 1 q 1, k 1 =q 1 e γ p1 k1 C(γ)e γ p1 q1, since #(Λ 1 Λ ) c = p 1 q and for k 1 (Λ 1 Λ ) c, we have k 1 (Λ 1 Λ ) c e γ( p1 k1 + q1 k1 ) = p 1 k 1 + q 1 k 1 = p 1 q 1, 15 k 1 (Λ 1 Λ ) c e γ p1 q1 = p 1 q 1 +1 e γ p1 q1, therefore e γ( p 1 k 1 + q 1 k 1 ) (C(γ) + p 1 q )e γ p 1 q 1 k 1 Z By the definition of l 1 norm, we have p k + q k = d p i k i + q i k i, i=1

16 16 LINGRUI GE, JIANGONG YOU, AND QI ZHOU therefore e γ( p k + q k ) e γ p q k Z d d (C(γ) + p i q i + 1 ) i=1 (C(γ) + d + p q ) d e γ p q, this finishes the proof of (33) The proof of (34) is similar, we omit the details On the other hand, we have e γ p k+l e γ l e γ p k, therefore by (33), we immediately get the proof of (35) By Lemma 33, we have i 0 i=1 k Z d i 0 n i i=0 m=0 n i Ω m i \Ω i 1 i=0 u 0 (p k, ω)u 0 (q k, ω) dµ(ω) C i (1 + C i,m + C i,m e γm )µ(ω m i \Ω i 1 )(C(γ) + d + p q d )e γ p q (C(γ) + d + p q d ) i 0 i=0 Ci (1 + sup C i,m e γm )µ(ω c i 1)e γ p q, m therefore by condition (3), it implies that δ p, e ith(ω) δ q dµ(ω) C(C(γ) + d + p q d )e γ p q Ω By the definition of γ(h), one thus has γ(h) γ 4 Good eigenfunctions via reducibility In this section, we give a method for obtaining (γ, l, C, C l )-good eigenfunctions from the quantitative reducibility of the dual Schrödinger cocycles The key point is that we not only need quantitative estimates of the transformation, but also the structure of it Proposition 41 Let α T d, 0 < h < h, V Ch ω(td, R) Assume that ρ(e) is not rational wrt α and (α, S λ 1 V E ) is reducible, ie there exist B Ch ω (T d, P SL(, R)) and A SL(, R) such that ( ) B 1 (θ + α)s λ 1 V E (θ)b(θ) = A = M 1 it ν exp M ν it Moreover, assume that the conjugacy B(θ) can be written as B(θ) = B(θ)R l,θ e Y (θ),

17 with Y h 1 Then the long-range operator L V,λ,α,ρ(E) has a (πh, ±l, C, C l )- good eigenfunction with where l 0 = deg B C = 8 B 4 h C l = min{1, Y h + ν ρ(e) l, α l 0, α R/Z }, Remark 41 In Proposition 41, Diophantine condition on α is not assumed Proof By the assumption, the conjugacy e Y (θ) is close to identity, thus it has zero degree, and then deg B = l + deg B = l + l 0 Now since (α, S λ 1 V E ) is reducible to (α, A), by (1), we have ρ(α, A) = ρ(e) l + l 0, α Since ρ(e) is not rational wrt α, we furthermore have speca = {e πi(ρ(e) l+l 0,α ), e πi(ρ(e) l+l 0,α ) } Since A SL(, R), there exists unitary U SL(, C) such that ) (e UMAM 1 U 1 πi(ρ(e) l+l 0,α ) c = 0 e πi( ρ(e)+ l+l 0,α ) ( ) Let B 1 (θ) = B(θ)R l,θ e Y (θ) M 1 U 1 b11 (θ) b = 1 (θ), we have b 1 (θ) b (θ) ) B1 1 (θ + V (e πi(ρ(e) l+l 0,α ) c α)sλ 1 E (θ)b 1 (θ) = 0 e πi( ρ(e)+ l+l 0,α ) This implies that (41) b 11 (θ) = e πi(ρ(e) l+l 0,α ) b 1 (θ + α), and consequently, (4) (E λ 1 V (θ))b 11 (θ) =b 11 (θ α)e πi(ρ(e) l+l 0,α ) + b 11 (θ + α)e πi(ρ(e) l+l 0,α ) We denote z 11 (θ) = e πi l+l 0,θ b 11 (θ), then one has (E λ 1 V (θ))z 11 (θ) = z 11 (θ α)e πiρ(e) + z 11 (θ + α)e πiρ(e) Taking the Fourier transformation of (4), we have k Z d ẑ 11 (n k)v k + λ cos π(ρ(e) + n, α )ẑ 11 (n) = λeẑ 11 (n), ie {ẑ 11 (n), n Z d } is an eigenfunction of the long-range operator L V,λ,α,ρ(E) 17

18 18 LINGRUI GE, JIANGONG YOU, AND QI ZHOU Now we give the estimate of the eigenfunction {ẑ 11 (n), n Z d } convenience, we denote ( ) e MY (θ)m 1 = Me Y (θ) M 1 y11 (θ) y = 1 (θ), y 1 (θ) y (θ) ( ) ) U 1 u11 u = 1 ( b11, B(θ)M u 1 u 1 (θ) b1 (θ) = Then we can rewrite B 1 (θ) as b1 (θ) b (θ) B 1 (θ) = B(θ)R l,θ e Y (θ) M 1 U 1 = B(θ)M 1 MR l,θ M 1 Me Y (θ) M 1 U 1 Direct computation shows that z 11 (θ) = e πi l+l 0,θ b 11 (θ) = (u 11 y 11 (θ) + u 1 y 1 (θ)) b 11 (θ)e πi l 0,θ + (u 11 y 1 (θ) + u 1 y (θ)) b 1 (θ)e πi l 0,θ e πi l,θ Since Y h 1, then we have y 1 h, y 1 h Y h Consequently, one can estimate ẑ 11 (n) as ẑ 11 (n) U B h e π l 0 h e πh n + ( u 11 y 1 h + u 1 y h ) B h e π l 0 h e πh n+l By (41) and the fact that det(b 1 (θ)) = 1, one has b 11 L = b 11 L + b 1 L B 1 1 C 0, and then we have ẑ 11 l = ˆb 11 l = b 11 L ( B 1 C 0) 1 Therefore one can further compute ẑ 11 (n) as ẑ 11 (n) ẑ 11 l (43) U B h B 1 C 0e π l 0 h e πh n + ( u 11 y 1 h + u 1 y h ) B h B 1 C 0e π l 0 h e πh n+l 4 U B h eπ l 0 h e πh n + 4( u 11 y 1 h + u 1 y h ) U B h eπ l 0 h e πh n+l Now we distinguish the proof into two cases: ν Case 1: ρ(e) l,α l 0,α 1 R/Z 10 In this case, since U is unitary, we have ẑ 11 (n) 8 ẑ 11 B h eπ l 0 h e πh n + 8 B h eπ l 0 h e πh n+l l Case : result: For ν ρ(e) l,α l 0,α < 1 R/Z 10 In this case, we need the following

19 Lemma 41 Assume that ( ) MAM 1 it ν = exp SU(1, 1) ν it with spec{a} = {e πiρ, e πiρ }, if 4ν ρ 1 and ρt > 0, then there exists U SL(, C), such that ( ) UMAM 1 U 1 e πiρ 0 = 0 e πiρ, with U id ν ρ Proof We just need to find some U SL(, C) such that ( ) ( ) U 1 it ν iρ 0 (44) U =, ν it 0 iρ Note that (44) implies t ν = ρ, since ρt > 0, we have One can easily check that U = t + ρ ρ ( ) 1 1 νi t+ρ 1 ν νi t+ρ t+ρ 1 1 will satisfy our needs Moreover, since 1 1 x x, if x < 1, then we have ν U id t + ρ + 3 ν t + ρ ν ρ, where we use the simple fact that ν t+ρ 1 8 Thus if (ρ(e) l+l 0,α )t > 0, by Lemma 41, instead of taking U to be unitary, one can take U SL(, C) such that ) (e UMAM 1 U 1 πi(ρ(e) l+l 0,α ) 0 =, 0 e πi( ρ(e)+ l+l 0,α ) with estimate U 1 id u 1, u 1 ν ρ(e) l,α l 0,α R/Z < 1 10, ie ν ρ(e) l, α l 0, α R/Z Similarly, using the basic relation (43), one can estimate ẑ 11 (n) ẑ 11 l 8 B h eπ l 0 h e πh n +8 B h eπ l 0 h ( Y h + 19 ν ρ(e) l, α l 0, α R/Z )e πh n+l

20 0 LINGRUI GE, JIANGONG YOU, AND QI ZHOU Note that B(θ) = n 0 k= n 0 ˆ B(k)e πi k,θ + = T n0 B + Rn0 B k >n 0 ˆ B(k)e πi k,θ If n 0 = ln B h πh, then B T n0 B C 0 = R n0 B C 0 By Rouche s theorem, this implies that k >n 0 B h e πkh B C 0 deg B = deg T n0 B, since the topological degree of T n0 B can be bounded by the numbers of zeros of a non-vanishing coordinate, hence which means deg T n0 B n0 = ln B h πh e π l 0 h B h Combing this with the above two cases, we obtained that the long-range operator L V,λ,α,ρ(E) has a (πh, l, C, C l )-good eigenfunction If (ρ(e) l+l 0,α )t < 0, one can take U SL(, C) such that ) (e U MAM 1 U 1 πi(ρ(e) l+l 0,α ) 0 =, 0 e πi(ρ(e) l+l 0,α ) with estimate U 1 id Let B 1 (θ) = B(θ)R l,θ ν ρ(e) l,α l 0,α < 1 R/Z 10 e Y (θ) M 1 U 1, then ( B 1 (θ + α) 1 S λ 1 V E (θ)b 1 (θ) = e πi(ρ(e) l+l 0,α ) c 0 e πi( ρ(e)+ l+l 0,α ) Since B 1 (θ) has the same structure and estimate as B 1(θ), by similar argument as above, one can prove that the long-range operator L V,λ,α,ρ(E) has a (πh, l, C, C l )-good eigenfunction ) 5 Quantitative almost reducibility In section 4, we have proved that nice reducibility result of Schrödinger cocycles implies the dual systems have good eigenfunctions In this section, we give quantitative reducibility results with desired estimates

21 1 51 Local quantitative almost reducibility Proposition 51 For any 0 < h < h, κ > 0, κ > 0, τ > d 1 Suppose that α DC d (κ, τ), ρ(α, A 0 e f 0 ) DC α (κ, τ) Then there exist B C ω h (T d, P SL(, R)) and A SL(, R) satisfying ( ) B 1 (θ + α)a 0 e f0(θ) B(θ) = A = M 1 it ν exp M, ν it provided that f 0 h < ɛ for some ɛ > 0 depending on A 0, κ, τ, h, h, d In particular, there exist Y (T d, sl(, R)), l Z d, B C ω h (T d, P SL(, R)), such that B(θ) = B(θ)R l,θ e Y (θ) with the following estimates (51) Y h e π l h, ν e π l h, (5) B h < ln κ τ κ (h h) h, (53) l ln κ 4 h h, (54) ρ(α, A 0 e f 0 ) l, α deg B, α R/Z κ τ l τ Remark 51 If A 0 varies in SO(, R), then ɛ can be taken uniform with respect to A 0 Proof We prove Proposition 51 by iteration Without loss of generality, we assume that h < 1 Suppose that f 0 h ɛ D 0 A 0 C 0 h (h ) C0τ, 8 where D 0 = D 0 (κ, τ, d) is the constant defined in Theorem 81 Then we can define the sequence inductively Let ɛ 0 = ɛ, h 0 = h, assume that we are at the (j + 1) th KAM step, ie we already construct B j Ch ω j (T d, P SL(, R)) such that Bj 1 (θ + α)a 0 e f0(θ) B j (θ) = A j e fj(θ), where A j SL(, R) with two eigenvalues e ±iξ j and for some ɛ j ɛ j 0, then we define B j hj ɛ h h 4 h j, f j hj ɛ j h j h j+1 = h h+ h 4 j+1, N j = ln ɛ j h j h j+1 By our selection of ɛ 0, one can check that (55) ɛ j D 0 A j C 0 (h j h j+1 ) C 0τ

22 LINGRUI GE, JIANGONG YOU, AND QI ZHOU Indeed, ɛ j on the left side of the inequality decays at least super-exponentially with j, while (h j h j+1 ) C 0τ on the right side decays exponentially with j Note that (55) implies that Proposition 81 can be applied iteratively, consequently one can construct B j C ω h j+1 (T d, P SL(, R)), A j+1 SL(, R), f j+1 C hj+1 (T d, sl(, R)) such that B j 1 (θ + α)a j e f j(θ) Bj (θ) = A j+1 e fj+1(θ) More precisely, we can distinguish two cases: Non-resonant case: If for any n Z d with 0 < n N j, we have then ξ j < n, α > R/Z ɛ 1 15 j, B j id hj+1 ɛ 1 j, f j+1 hj+1 ɛ j := ɛ j+1, A j+1 A j ɛ j Let B j+1 = B j (θ) B j (θ), we have with estimate Moreover, B 1 j+1 (θ + α)a 0e f 0(θ) B j+1 (θ) = A j+1 e f j+1(θ), B j+1 hj+1 ɛ h h 4 h j (56) deg B j+1 = deg B j, since B j (θ) is close to the identity ɛ h h 4 h j+1 Resonant case: If there exists n j 4 with 0 < n j N j such that then B j (θ) = B j (θ)r n j,θ B j hj+1 ln ɛ j τ ɛ ξ j < n j, α > R/Z < ɛ 1 15 j, with estimate hj+1 h j h j+1 j, B j hj+1 < ln ɛ j τ f j+1 hj+1 ɛ j e h j+1ε 1 18τ j := ɛ j+1 Moreover, we can write ( A j+1 = M 1 it j+1 ν exp j+1 ν j+1 it j+1 with estimate ν j+1 < e π n j h j 4 We call such nj the resonance ) M

23 3 Let B j+1 (θ) = B j (θ) B j (θ), then we have with B 1 j+1 (θ + α)a 0e f 0(θ) B j+1 (θ) = A j+1 e f j+1(θ), (57) deg B j+1 = deg B j + deg B j = deg B j + n j B j+1 hj+1 ɛ h h 4 h j ln ɛ j τ ɛ h j+1 h j h j+1 j ɛ h h 4 h j+1 The last inequality is possible since by our selection ɛ j+1 = ɛ j e h j+1ε 1 18τ j Let l j = deg B j, by (56) and (57), one has j 1 (58) l j = deg B j N i i=0 j 1 i=0 log ɛ i log ɛ j 1 3 h i h i+1 h h On the other hand, if φ DC α (κ, τ), then by (58), we have this implies that φ m, α l j, α R/Z κ ( m + l j + 1) τ (1 + l j ) τ κ ( m + 1) τ 1 κ(h h) τ ( m + 1) τ log ɛ j 1 3τ, ρ(α, A j e f j κ(h h) τ (59) ) DC α (, τ) log ɛ j 1 3τ Now we select j 0 Z to be the smallest integer j satisfying (510) ɛ j ɛ(τ, κ κ(h, h) τ h + h,, log ɛ j 1 3τ h, d, A j ), where ɛ = ɛ(τ, κ, κ, h, h, d, R) is defined in Theorem 81 Note that in our iteration process, the constant matrix A j is uniformly bounded, by the definition of ɛ, one can thus select ɛ(τ, κ, τ log ɛ j 1 κ(h h), h+ h 3τ, h, d, A j ) to be independent of A j Therefore, by the definition of ɛ and our selection, it follows that ɛ j0 1 D 0 ( h h ) C0τ κ(h h) τ ( log ɛ j0 3τ )4 By the fact ɛ j ɛ j 0 and the definition of ɛ 0, one therefore has (511) ɛ 1 j0 1 κ4,

24 4 LINGRUI GE, JIANGONG YOU, AND QI ZHOU Note that (510) means the condition in Theorem 81 is satisfied, consequently, there exists Ỹ Cω h (T d, sl(, R)) such that ( ) e Ỹ (θ+α) A j0 e f j (θ) 0 eỹ (θ) = A = M 1 it ν exp M, ν it with estimates Ỹ h ɛ 1 j0, A A j0 ɛ j0 Let B = B j0 eỹ, we have ( ) (51) B 1 (θ + α)a 0 e f0(θ) B(θ) = A = M 1 it ν exp M ν it Now we prove that the conjugacy B(θ) can be written in the desired form with good estimates Indeed, let l be the last resonance, and we may assume that the last resonance happens at some step 0 < j 0 < j 0 ( if j 0 = j 0 then the proof would be much simpler) By the above iteration process, there exist { B j } j 0 1 j=j 0 1 and {A j} j 0 1 such that 1 j=j 0 (513) B 1 j (θ + α)a j e f j(θ) Bj (θ) = A j+1 e f j+1(θ) If j = j 0 1, then by the selection of j 0 and the iteration process, one has B j 0 1 = B j 0 l,θ 1R with B j 0 1 h j 0 ln ɛ j 0 1 τ, f j 0 hj 0 ɛ j 0 e π l h Furthermore, we have ( ) MA j 0 M 1 it j 0 ν = exp j 0 ν j 0 it j 0 with estimate ν j 0 < e π l h For j 0 j j 0 1, by the iteration process, we have B j id hj+1 ɛ 1 j, A j A j+1 ɛ j Let B(θ) = B j 0 1(θ) B j 0 1(θ), ey (θ) = B j 0 (θ) B j0 1(θ)eỸ (θ), then B(θ) can be written as B(θ) = B(θ)R l,θ e Y (θ) with estimates Therefore, it concludes that and then (51) is proved Y h Cɛ 1 j 0 e π l h, A A j 0 A A j0 + A j0 A j 0 Cɛ 1 j 0 ν ν j 0 + A Aj 0 e π l h + Cɛ 1 j 0 < e π l h,

25 5 Moreover, by (511), one has B h < ɛ h h 4 h j 0 1 ln ɛ j 0 1 τ ln κ τ κ (h h) h, which proves (5) To estimate the remained inequalities, we need more detailed analysis on the resonances Assume that there are at least two resonant steps, say the (m i +1) th and (m i+1 +1) th At the (m i+1 +1) th -step, the resonance condition implies ξ mi+1 nm i+1,α ɛ 1 15 κ m i+1, hence ξ mi+1 3 n mi+1 On the other τ hand, according to Proposition 81, after the (m i + 1) th -step, ξ mi +1 ɛ 1 16 m i Thus (514) n mi+1 ɛ 1 18τ m i n mi Assuming that there are s + 1 resonant steps, associated with integers vectors n m0,, n ms = n j 0 = l Z d, 0 < n mi N mi, i = 0, 1,, s, in view of (514), we have deg B = n m0 + + n ms 1 ɛ 1 18τ 0 l thus we have l + deg B l, then ρ(α, A 0 e f 0 ) l, α deg B, α R/Z By the definition of l and (511), one has l ln ɛ j 0 1 ln κ 4 h j 0 1 h j 0 h h Thus we have finished the whole proof κ l + deg B κ τ τ l τ 5 Global to local reduction Proposition 51 deals with reducibility of cocycles close to constant If d = 1, one can indeed deal with all subcritical cocycles, with the help of Avila s solution of Almost Reducibility Conjecture [7, 8] Lemma 51 Let α DC 1, V C ω (T, R) with Σ V,α = Σ sub V,α There exist h 1 = h 1 (α, V ) > 0 such that for any η > 0, E Σ V,α, there exist Φ E C ω (T, P SL(, R)) with Φ E h1 < Γ(V, α, η) such that (515) Φ E (θ + α) 1 S V E (θ)φ E (θ) = R φ(e) e f E(θ), with f E h1 < η Proof The crucial fact in this proposition is that we can choose h 1 to be independent of E and η, and choose η to be independent of E The ideas of the proof are essentially contained in Proposition 51 and Proposition 5 of [50], we include the proof here for completeness

26 6 LINGRUI GE, JIANGONG YOU, AND QI ZHOU For any E Σ sub V,α, the cocycle (α, SV E ) is subcritical, hence almost reducible by Theorem 1, thus there exists h 0 = h 0 (E, V, α) > 0, such that for any η > 0, there are Φ E Ch ω 0 (T, PSL(, R)), F E Ch ω 0 (T, gl(, R)) and φ(e) T such that Φ E ( + α) 1 S V E ( )Φ E ( ) = R φ(e) + F E ( ), with F E h0 < η/ and Φ E h0 < Γ for some Γ = Γ(V, α, η, E) > 0 As a consequence, for any E R, one has Φ E ( + α) 1 S V E ( )Φ E( ) R φ(e) h0 < η + E E Φ E h 0 It follows that with the same Φ E, we have Φ E (θ + α) 1 S V E (θ)φ E(θ) R φ(e) h0 < η for any energy E in a neighborhood U(E) of E Since Σ V,α is compact, by compactness argument, we can select h 0 (E, V, α), Γ(V, α, η, E) > 0 to be independent of the energy E Note that for general subcritical Schrödinger cocycles, one can only obtain the existence of h 1, however for almost Mathieu cocycles, one can give a good control of h 1 This is the main reason why we can give sharp exponential decay rate in expectation for almost Mathieu operators Lemma 5 ([50]) Let α DC 1, λ > 1 For any ε > 0, η > 0, if E Σ λ 1,α, there exist Φ E C ω (T, P SL(, R)) with Φ E 1 ln λ ε < Γ for π some Γ = Γ(λ, α, η, ε) > 0 such that (516) Φ E (θ + α) 1 S λ 1 cos E (θ)φ E (θ) = R φ(e) e f E(θ), with f E 1 ln λ ε < η π 6 More precise estimates on good eigenfunctions In this section, we give more precise estimates on (γ, l, C, C l ) by the quantitative almost reducibility estimates given in section 5 Proposition 61 Let α DC 1, V C ω (T, R) with Σ λ 1 V,α = Σ sub λ 1 V,α Then for any ε > 0, there exist h 1 = h 1 (V, α), C 4 = C 4 (V, α, ε) with the following properties: if ρ(e(ω)) = ω DC α (κ, τ), then associated with the eigenvalue λe(ω), the long range operator L V,λ,α,ω has a (π(h 1 ε 96 ), l, C 4 ln κ 4τ κ ε 10h 1, min{1, C 4 l τ e π l (h1 ε κ -good eigenfunction for some l C 4 ln κ 4 Proof Since h 1 (α, V ) in Lemma 51 is fixed, and it is independent of η, then one can always take η small enough such that η ɛ (κ, τ, h 1, h 1 ε/96, d), 96 ) })

27 where ɛ (A 0, κ, τ, h, h, d) is the constant defined in Proposition 51 Note that by Remark 51, the constant ɛ given by Proposition 51 can be taken uniformly with respect to R φ SO(, R) By Lemma 51, there exists Φ E(ω) C ω h 1 (T, P SL(, R)) such that Φ 1 E(ω) (θ + α)sλ 1 V E(ω) (θ)φ E(ω)(θ) = R φ(e(ω)) e f E(ω)(θ) By footnote 5 of [7], deg Φ E(ω) C ln Γ := Γ 1 for some constant C = C(V, α) > 0 Since ρ(e(ω)) = ω DC α (κ, τ), by similar argument as in (59), one has ρ(α, Φ 1 E(ω) (θ + V α)sλ 1 E(ω) (θ)φ E(ω)(θ)) DC α ( κ Γ τ, τ) 1 By our selection, f E(ω) h1 η ɛ (κ, τ, h 1, h 1 ε/96, d), then we can apply Proposition 51, and obtain B Ch ω 1 ε (T, P SL(, R)) and A 96 SL(, R), such that ( ) B(θ + α) 1 R φ(e(ω)) e fe(ω)(θ) B(θ) = A = M 1 it ν exp M, ν it Moreover, B(θ) can be written as B(θ) = B(θ)R l,θ e Y (θ) with the following estimates Y h1 ε e π l (h 1 ε 96 ), ν e π l (h 1 ε 96 ), 96 B h1 ε 96 l 96 ln κγ 1 4 ε < ln κγ τ 1 τ (κγ τ ε 1 ) 40h 1, C 4 (V, α, ε) ln κ 4, (61) ρ(α, R φ(e(ω)) e f E(ω) ) l, α deg B, α R/Z Let B (θ) = B 1 (θ)r l,θ with estimate e Y (θ) = Φ E(ω) (θ) B(θ)R l,θ e Y (θ), then ( ) it ν B (θ + α) 1 S λ 1 V E(ω) (θ)b (θ) = A = M 1 exp B 1 4 h 1 ε 96 = Φ E(ω) B 4 h1 ε 96 ν it κ τ Γ τ 1 l τ Γ 4 ln κγ τ 1 4τ (κγ τ 1 ) ε 10h 1 C 4 (V, α, ε) ln κ 4τ κ ε Moreover, (61) can be written as ρ(e(ω)) l, α deg B 1, α R/Z κ τ Γ τ 1 l τ, M, 10h 1 7

28 8 LINGRUI GE, JIANGONG YOU, AND QI ZHOU and consequently Y h1 ɛ + ν 96 ρ(e(ω)) k, α deg B 1, α R/Z e π l (h 1 ε 96 ) + +τ Γ τ 1 l τ e π l (h 1 ε 96 ) κ C 4(V, α, ε) l τ e π l (h 1 ε 96 ) κ By Proposition 41, the long range operator L V,λ,α,ω has a (π(h 1 ε 96 ), l, C 4 ln κ 4τ κ ε 10h 1, min{1, C 4 l τ e π l (h1 ε κ -good eigenfunction for some l C 4 ln κ 4 Proposition 6 Let α DC 1, λ > 1 Then for any ε > 0, there exists C 5 = C 5 (λ, α, ε) with the following properties: if ρ(e(ω)) = ω DC α (κ, τ), then associated with the eigenvalue λe(ω), the almost Mathieu operator H λ,α,ω has a (π(h 1 ε 96 ), l, C 5 ln κ 4τ κ ε 10h 1, min{1, C 5 l τ e π l (h1 ε 96 ) }) κ -good eigenfunction for some l C 5 ln κ 4 with h 1 = 1 π ln λ ε Proof The proof is exactly the same as Proposition 61 One only need to replace Lemma 51 by Lemma 5 Notice that by Lemma 5, one can actually take h 1 = 1 π ln λ ε, the rest proofs are exactly the same, we omit the details Proposition 63 Let α DC d, V Ch ω (T, R) Then for any ε > 0, there exist λ 0 (α, V, d, ε), C 6 = C 6 (V, α, ε) with the following properties: if λ > λ 0, ρ(e(ω)) = ω DC α (κ, τ), then associated with the eigenvalue λe(ω), the quasi-periodic long-range operator L V,λ,α,ω has a (π(h ε 96 ), l, C 6 ln κ 4τ κ ε C 6 l τ e π l (h ε 10h, min{1, κ -good eigenfunction for some l C 6 ln κ 4 Proof In this case, one in fact don t need to take the global to local reduction procedure (Lemma 51), or one can say Φ E = id in this case, thus one can take h 1 = h, and the rest of the proof follows exactly the same as the proof of Proposition 61 7 Proof of main results We give the proof of Theorem 13 in detail The proof of Theorem 11 and 1 are almost the same Before proving Theorem 13, we first prove the following more general result Theorem 71 Let α DC 1, V C ω (T, R) with Σ λ 1 V,α = Σ sub λ 1 V,α Then L V,λ,α,θ has EDL with exponential decay rate in expectation γ(l) πh 1, where h 1 is defined in Proposition ) 96 ) }) })

29 Proof First we verify that (L V,λ,α,θ ) θ T forms an ergodic family, since S n θ = θ+nα is ergodic Now we fix γ = π(h 1 ε ), for i 0, we define the sequence c i = 10 i, Θ ci = {φ φ DC α (c i, τ)} For any θ i Θ ci [0, 1 ], there exists exactly one E such that ρ(e) = θ, since it is well-known that ρ is nonincreasing and can be constant only on intervals contained in R\Σ on which the rotation number must be rationally dependent with respect to α [37, 46] Let us denote this inverse function by E(θ), initially defined on i Θ ci [0, 1 ], extend it evenly onto iθ ci [ 1, 0), and then 1-periodically onto i Θ ci Now we define the sequence n i = C 4 log c i 4, C i = C 4 ln c i 4τ c ε 10h 1 i, C i,m = min{1, C 4m τ e πm(h 1 ε 96 ) c i } For any θ Θ ci, by Proposition 61, we obtain that the long range operator L V,λ,α,θ has an eigenfunction u(θ) which is (γ, l, C i, C i, l )-good for some l n i Note by our construction of E(θ), for any θ i Θ ci, E(S m θ) E(S n θ) for m n, thus T m u(s m θ), T n u(s n θ) are orthonormal for m n Hence (L V,λ,α,θ ) θ T is an ergodic covariant family and assumption (1) in Theorem 14 is verified By Remark 16, (L V,λ,α,θ ) θ T display AL for ae θ Since E(S m θ) E(S n θ) for m n, we furthermore obtain that the point spectrum is simple Since E(θ) is measurable, thus u(θ) can be chosen to be a measurable function One can consult [41] for more details about this fact This means assumption () in Theorem 14 is satisfied Now we verify the assumption (3) in Theorem 14 Note that there exists C(ε) such that m τ < e πmε/96 for m > C(ε) Thus if we let C 4 = C 4 C(ε) τ, then C 4 m τ e πm(h 1 ε 96 ) C 4 e πm(h 1 ε 48 ), hence we have sup C i,m e γm m sup m ln c i / C 4 π(h 1 ε/48) sup m ln c i / C 4 π(h 1 ε/48) C i,m e γm + e γm + sup m ln c i / C 4 π(h 1 ε/48) sup m ln c i / C 4 π(h 1 ε/48) ( C 4 ) 1 ε 5h 1 + ( C 4 ) 1 ε 5h 1 = ( C 4 ) 1 c i c i c i C i,m e γm C 4 e πm(h 1 ε ε 5h 1 c i 48 ) e γm 9

30 30 LINGRUI GE, JIANGONG YOU, AND QI ZHOU It follows that Ci (1 + sup C i,m e mγ )c i 1 Ci (1 + ( C 4 ) 1 i=0 m n i c i=0 i 10C4 ln c i 8τ c ε 5h 1 i c i + 0 C4 ln c i 8τ c ε 5h 1 i ( C 4 ) 1 c i i=0 i=0 10C 4 ln c i 8τ c 1 ε 5h 1 i + 0 i=0 C 4 C4 ln c i 8τ ε 5h c 1 i < i=0 ε 5h 1 )c i 1 ε 5h 1 c i Thus by Theorem 14, one obtain that γ(h) π(h 1 ε ) We remark that Propostion 61 holds for any fixed ε > 0, since one can always make a global to local reduction by Lemma 51 no matter how small ε is, and then use the local estimates in Proposition 51 By the definition of exponential decay rate in expectation, one therefore obtain γ(h) πh 1 Corollary 71 If α DC 1, V C ω (T, R) Then for any ε > 0, there exists λ 0 (V, ε), such that if λ > λ 0, L V,λ,α,θ has EDL Proof By Theorem 35 in [10], there exists λ 0 (V, ε), such that (αs λ 1 V E ) is subcritical if λ > λ 0 One can also prove this by upper semi-continuity of the acceleration [6] Then the result follows from Theorem 71 directly Proof of Theorem 13 Replace Proposition 61 by Proposition 6, using same argument as in Theorem 71, one can prove that for α DC 1, λ > 1, then H λ,α,θ has EDL with exponential decay rate in expectation γ(h) ln λ Thus we only need to prove γ(h) ln λ We prove it by contradiction Suppose that there exists ε 0 > 0 and N 0 (ε 0 ) such that for n > N 0, we have (71) sup δ n, e ithω δ 0 dω e (ln λ+ε0) n t R Ω Let Q(ω) = e (ln λ+ε0/) n sup δ n, e ithω δ 0 n>n t R 0 Then (71) implies that Q(ω)dω < It follows that Q(ω) < for ae ω, sup δ n, e ithω δ 0 C ω e (ln λ+ ε 0 ) n, t R provide n > N 0 This implies that that H ω has AL for ae ω Ω, ie there exist {u k (n, ω)} k Z which forms an orthonormal basis of l (Z d ) Thus for n > N 0, u k (n, ω)u k (0, ω) C ω e (ln λ+ ε 0 ) n