arxiv: v4 [math.pr] 9 Nov 2011

Transcription

1 arxv: v4 [math.pr] 9 ov 2011 Spectral Statstcs of Erdős-Rény Graphs I: Local Semcrcle Law László Erdős 1 Antt Knowles 2 Horng-Tzer Yau 2 Jun Yn 2 Insttute of Mathematcs, Unversty of Munch, Theresenstrasse 39, D Munch, Germany lerdos@math.lmu.de 1 Department of Mathematcs, Harvard Unversty Cambrdge MA 02138, USA knowles@math.harvard.edu htyau@math.harvard.edu jyn@math.harvard.edu 2 ovember 11, 2011 We consder the ensemble of adjacency matrces of Erdős-Rény random graphs,.e. graphs on vertces whereeveryedgeschosenndependentlyandwthprobabltyp p. Werescale thematrxsothatts bulk egenvalues are of order one. We prove that, as long as p wth a speed at least logarthmc n, the densty of egenvalues of the Erdős-Rény ensemble s gven by the Wgner semcrcle law for spectral wndows of length larger than 1 up to logarthmc correctons. As a consequence, all egenvectors are proved to be completely delocalzed n the sense that the l -norms of the l 2 -normalzed egenvectors are at most of order 1/2 wth a very hgh probablty. The estmates n ths paper wll be used n the companon paper [13] to prove the unversalty of egenvalue dstrbutons both n the bulk and at the spectral edges under the further restrcton that p 2/3. AMS Subject Classfcaton 2010: 15B52, 82B44 Keywords: Erdős-Rény graphs, Local semcrcle law, Densty of states. Partally supported by SFB-TR 12 Grant of the German Research Councl Partally supported by SF grant DMS Partally supported by SF grants DMS , Partally supported by SF grant DMS

2 1. Introducton The unversalty of random matrces has been a central subject snce the poneerng work of Wgner [40], Gaudn [27], Mehta [30] and Dyson [12]. The problem canroughlybe dvded nto the bulk unversaltyn the nteror of the spectrum and the edge unversalty near the spectral edge. The bulk and edge unversaltes for nvarant ensembles have been extensvely studed; see e.g. [4,8,9,31] and [1,6,7] for a revew. A key contrbutng factor to the progress n the study of nvarant ensembles s the exstence of explct formulas for the jont densty functon of the egenvalues. There s no such explct formula for non-nvarant ensembles, and hence our understandng of them s much more lmted. The most promnent examples for non-nvarant ensembles are the Wgner matrces wth..d. non-gaussan matrx elements. The edge unversalty of Wgner matrces can be proved va the moment method and ts varous generalzatons; see e.g. [32 34]. The bulk unversalty for general classes of Wgner matrces was lsted n Mehta s book [30] as Conjectures and on page 7. We shall refer to these two conjectures collectvely as the Wgner-Dyson-Gaudn- Mehta conjecture, n recognton of the poneerng works of Wgner, Dyson, Gaudn, and Mehta lsted above. It remaned unsolved untl very recently. Ths s manly due to the fact that all exstng methods on local egenvalue statstcs depended on explct formulas, whch are not avalable for Wgner matrces. In a seres of papers [15 23], a new approach to understandng the local egenvalue statstcs was developed. In partcular, t led to the frst proof [19] of the Wgner-Dyson-Gaudn-Mehta conjecture for Hermtan Wgner matrces whose entres have smooth dstrbutons. Ths approach s based on three basc ngredents: 1 a local semcrcle law a precse estmate of the local egenvalue densty down to energy scales contanng around log C egenvalues; 2 the egenvalue dstrbuton of Gaussan dvsble ensembles va an estmate on the rate of decay to local equlbrum of the Dyson Brownan moton [12]; 3 a densty argument whch shows that for any probablty dstrbuton of the matrx elements there exsts a Gaussan dvsble dstrbuton such that the two assocated Wgner ensembles have dentcal local egenvalue statstcs down to the scale 1/. Furthermore, the edge unversalty can also be obtaned by some modfcatons of 1 and 3 [23]. The class of ensembles to whch ths method apples s extremely general; n partcular t ncludes any generalzed Wgner matrces under the sole assumpton that the dstrbutons of the matrx elements have a unform subexponental decay. We remark that the unversalty of Wgner matrces, under certan restrctons on the dstrbuton of the matrx entres, was also establshed n [36, 37]. We shall dscuss these results n the companon paper [13]. In ths paper and ts companon [13], we extend the approach 1 3 to cover a class of sparse matrces. Ths class ncludes the Erdős-Rény matrces, whch we now ntroduce. Symmetrc matrces wth 0-1 entres arse naturally as adjacency matrces of graphs on vertces. Snce every non-orented graph can be unquely characterzed by ts adjacency matrx, we shall from now talk about matrx ensembles wth 0-1 entres and graph ensembles nterchangeably. We shall always normalze the matrces so that ther spectra typcally le n an nterval of length of order one. One common random graph ensemble s the Erdős-Rény graph [24,25]. In t each edge s chosen ndependently and wth probablty p p. Snce each row and column of the adjacency matrx has typcally p nonzero entres, t s sparse as long as p 1. We shall refer to p as the sparseness parameter of the matrx. Our goal n ths paper, and n ts companon [13], s to establsh both the bulk and edge unversaltes for the Erdős-Rény ensemble under the restrcton p 2/3. In other words, we prove that the egenvalue gap dstrbutons n the bulk and near the edges are gven by those of the Gaussan Orthogonal Ensemble GOE provded that p 2/3. We remark that the law of the Erdős-Rény ensemble s even more sngular than that of the Bernoull Wgner matrces, snce the matrx elements are hghly concentrated around 0. Another way of expressng the sngular nature of the Erdős-Rény ensemble s to say that the moments of the matrx entres decay much more slowly than n the case of Wgner matrces. 2

3 The matrx elements of the Erdős-Rény ensemble take on the values 0 and 1. Hence they do not satsfy the mean zero condton whch typcally appears n the random matrx lterature. Due to the nonzero mean of the entres, the largest egenvalue of the Erdős-Rény ensemble s very large and far away from the rest of the spectrum, whch by our normalzaton les n the nterval [ 2,2]. By the edge unversalty of the Erdős-Rény ensemble, we therefore mean that the probablty dstrbuton of the second largest egenvalue s gven by the dstrbuton of the largest egenvalue of the GOE, whch s the well-known Tracy-Wdom dstrbuton. As the frst step of the general strategy to establsh unversalty, we shall prove a local semcrcle law, Theorem 2.9, statng that the egenvalue dstrbuton of the Erdős-Rény ensemble n any spectral wndow of sze η contanng on average η log C egenvalues s gven by the Wgner semcrcle law. Theorem 2.9 s vald n the bulk and at the edges as long as the parameter p p satsfes p wth a rate at least logarthmc n. Smlar results but for much larger spectral wndows of lengths at least η p 1/10 were recently proved n [38]. We note that the semcrcle law for Wgner matrces n spectral wndows of sze η 1/2 has been known for some tme [2,28]. The semcrcle law n the smallest possble spectral wndow of sze η 1 n the bulk was establshed n [16,17]. Ths estmate, referred to as the local semcrcle law, has become a fundamental tool n the proofs of the unversalty of random matrces n [19] as well as n the subsequent works [18,36]. The local semcrcle law n [16,17] s optmal n terms of the range of η, but the error estmates, of order η 1/2 n the bulk and wth a coeffcent deteroratng near the spectral edges, were not optmal. Optmal error estmates, unform throughout the entre spectrum and vald for more general classes of Wgner matrces, were obtaned n [23]. The local semcrcle law proved n ths paper can also be vewed as a generalzaton of the results n [23] n two unrelated drectons: a the laws of the matrx entres are much more sngular, and b the matrx entres have nonzero mean. Besdes egenvalues, egenvectors also play a fundamental role n the theory of random matrces. One mportant motvaton for ther study s that random matrces can be vewed as mean-feld approxmatons of random Schrödnger operators where delocalzaton of egenfunctons s a key sgnature for the metallc or conductng phase. Another queston about egenvectors of random graphs s the sze of ther nodal domans, whch can studed usng delocalzaton bounds [10]. It was frst proved n [15] that egenvectors for Wgner matrces are completely delocalzed, partly motvated by a conjecture of T. Spencer. The method was refned n [16,17], and was also adapted n [36,38]. The key observaton behnd the proof s that the delocalzaton estmate for egenvectors follows from the local semcrcle law provded that the spectral wndows can be made suffcently small. Thus Theorem 2.9 also mples, wth v α denotng the l 2 -normalzed egenvectors, that max { v α : 1 α } logc 1.1 holds wth exponentally hgh probablty wth some constant C Theorem Ths establshes the complete delocalzaton of all egenvectors as long as the sparseness parameter p ncreases at least logarthmcally n. In partcular, ths result gves the optmal answer to a queston posed n Secton 3.3 of [10], askng whether v α 1/2+o1 holds for all egenvectorsv α. In fact, ths queston was orgnally posed for fxed p, but our result shows that the bound conjectured n [10] holds even for p log C 1. It was recently proved n [38] that v α p 1/2 away from the spectral edge; some earler results were obtaned n [11]. These results establshed only the lower bound p on the localzaton length; the complete delocalzaton 1.1 corresponds to the optmal localzaton length of order. Our man result on the bulk and edge unversaltes wll requre a further condton p 2/

4 Ths and related ssues wll be dscussed n the second paper [13]. 2. Defntons and results We begn ths secton by ntroducng a class of sparse random matrces A A. Here s a large parameter. Throughout the followng we shall often refran from explctly ndcatng -dependence. The motvatng example s the Erdős-Rény matrx, or the adjacency matrx of the Erdős-Rény random graph. Its entres are ndependent up to the constrant that the matrx be symmetrc, and equal to 1 wth probablty p and 0 wth probablty 1 p. For our purposes t s convenent to replace p wth the new parameter q q, defned through p = q 2 /. Moreover, we rescale the matrx n such a way that ts bulk egenvalues typcally le n an nterval of sze of order one. Thus we are led to the followng defnton. Let A = a j be the symmetrc matrx whose entres a j are ndependent up to the symmetry constrant a j = a j and each element s dstrbuted accordng to {1 a j = γ wth probablty q2 q 0 wth probablty 1 q Here γ := 1 q 2 / 1/2 s a scalng ntroduced for convenence. The parameter q 1/2 expresses the sparseness of the matrx; t may depend on. Snce A typcally has q 2 nonvanshng entres, we fnd that f q 1/2 then the matrx s sparse. We extract the mean of each matrx entry and wrte A = H +γq e e, where the entres of H gven by h j = a j γq/ have mean zero, and we defned the vector e e := 1 1,...,1 T. 2.2 As above, we often neglect the subscrpt of e; the precse value of ths subscrpt wll always be clear from the context. Here we use the notaton e e to denote the orthogonal projecton onto e,.e. e e j := 1. One readly fnds that the matrx elements of H satsfy the moment bounds Eh 2 j = 1, E hj p 1, 2.3 qp 2 where p 2. More generally, we consder the followng class of random matrces wth non-centred entres characterzed by two parameters q and f, whch may be -dependent. The parameter q expresses how sngular the dstrbuton of h j s; n partcular, t expresses the sparseness of A for the specal case 2.1. The parameter f determnes the nonzero expectaton value of the matrx elements. Throughout the followng we shall make use of a possbly -dependent quantty ξ ξ satsfyng 1+a 0 ξ A 0 loglog, 2.4 for some fxed postve constants a 0 > 0 and A The parameter ξ wll be used as an exponent n logarthmc correctons as well as probablty estmates. 4

5 Defnton 2.1 H. Fx a parameter ξ ξ satsfyng 2.4. We consder random matrces H = h j whose entres are real and ndependent up to the symmetry constrant h j = h j. We assume that the elements of H satsfy the moment condtons Eh j = 0, E h j 2 = 1, E h j p Cp q p for 1,j and 3 p log A0 loglog, where C s a postve constant. Here q q satsfes for some postve constant C. log 3ξ q C 1/2 2.6 ote that the entres of H exhbt a slow decay of moments. The varance s of order 1, but hgher moments decay at a rate proportonal to nverse powersof q and not 1/2. Thus, unlke for Wgner matrces, the entres of sparse matrces satsfyng Defnton 2.1 do not have a natural scale. The entres of a Wgner matrx lve on the scale 1/2, whch means that the hgh moments decay at a rate proportonal to nverse powers of 1/2. See Remark 2.5 below for a more precse statement. Defnton 2.2 A. Let H satsfy Defnton 2.1. Defne where f f s a determnstc number that satsfes for some constant C > 0. A := H +f e e, f C, 2.8 Remark 2.3. For defnteness, and bearng the Erdős-Rény matrx n mnd, we restrct ourselves to real symmetrc matrces satsfyng Defnton 2.2. However, our proof apples equally to complex Hermtan sparse matrces. Remark 2.4. To smplfy the presentaton, we assume that all matrx elements of H have dentcal varance 1/. As n [21], Secton 5, one may however easly generalze ths condton and requre that the varances be bounded by C/ and ther column sums hence also the row sums be equal to 1. Thus one may for nstance consder Erdős-Rény graphs n whch a vertex cannot lnk to tself.e. the dagonal elements of A vansh. Remark 2.5. In partcular, we may take H to be a Wgner matrx whose entres have subexponental decay, P 1/2 h j x Cexp x 1/θ for some postve constants θ and C. Indeed, n ths case we get ow we choose Eh j = 0, E h j 2 = 1, E h j p C θpθp p/2 p 3. q := 1/2 θlog A0 loglog θ. Snce q 1 log C loglog 1/2, we fnd that all factors q 1 n error estmates such as 2.16 and 2.17 below may be replaced wth 1/2 at the expense of a larger exponent n the precedng logarthmc factors. In fact, usng Lemma 3.2 below, t s easy to see that n ths case all terms dependng on q n estmates such as 2.16 and 2.17 may dropped, as they are bounded by the other error terms. In partcular, Theorem 2.8 generalzes Theorem 2.1 of [23]. 5

6 We shall frequently have to deal wth events of very hgh probablty, for whch the followng defnton s useful. It s characterzed by two postve parameters, ξ and ν, where ξ s subject to 2.4. Defnton 2.6 Hgh probablty events. We say that an -dependent event Ω holds wth ξ, ν-hgh probablty f PΩ c e νlogξ 2.9 for 0 ν,a 0,A 0. Smlarly, for a gven event Ω 0, we say that Ω holds wth ξ,ν-hgh probablty on Ω 0 f for 0 ν,a 0,A 0. PΩ 0 Ω c e νlogξ Remark 2.7. In the followng we shall not keep track of the explct value of ν; n fact we allow ν to decrease from one lne to another wthout ntroducng a new notaton. It wll be clear from the proof that such reductons of ν occur only at a few, fntely many steps. Hence all of our results wll hold for ν ν 0, where ν 0 depends only on the constants C n Defnton 2.1 and the parameter Σ n 2.10 below. In partcular, ν s ndependent of ξ. We shall use C and c to denote generc postve constants whch may only depend on the constants n assumptons such as 2.4 and 2.5. Typcally, C denotes a large constant and c a small constant. ote that the fundamental large parameter of our model s, and the notatons,,o,o always refer to the lmt. Here a b means a = ob. We wrte a b for C 1 a b Ca. We now lst our results. We ntroduce the spectral parameter z = E +η where E R and η > 0. Let Σ 3 be a fxed but arbtrary constant and defne the doman We defne the densty of the semcrcle law and, for Imz > 0, ts Steltjes transform D := { z C : E Σ, 0 < η 3 } sc x := 1 [4 x2 ] +, π m sc z := R sc x x z dx The Steltjes transform m sc z m sc may also be characterzed as the unque soluton of m sc + satsfyng Imm sc z > 0 for Imz > 0. We defne the resolvent 1 z +m sc = Gz := H z 1, 6

7 as well as the Steltjes transform of the emprcal egenvalue densty mz := 1 TrGz. For x R we defne the dstance κ x to the spectral edge through κ x := x Theorem 2.8 Local semcrcle law for H. There are unversal constants C 1,C 2 > 0 such that the followng holds. Suppose that H satsfes Defnton 2.1. Moreover, assume that ξ = A 01+o1 2 loglog, q log C1ξ Then there s a constant ν > 0, dependng on A 0, Σ, and the constants C n 2.5 and 2.6, such that the followng holds. We have the local semcrcle law: the event z D { mz mscz { log C 2ξ mn 1 q 2 κ E +η, 1 q } + 1 } 2.16 η holds wth ξ, ν-hgh probablty. Moreover, we have the followng estmate on the ndvdual matrx elements of G. The event { max Gj z δ j m sc z log C 2ξ 1 1,j q + Imm sc z + 1 } 2.17 η η z D holds wth ξ, ν-hgh probablty. The results of Theorem 2.8 may be nterpreted as follows. Consder frst the bulk,.e. κ E c > 0. Then Theorem 2.8 states roughly that mz msc z 1 q η, Gj z δ j m sc z 1 q + 1 η, 2.18 up to logarthmc factors. Snce m sc z 1, both estmates are stable n a sense that they dentfy the leadng order terms of m and G down to the optmal scale η 1. ote that choosng η 1 n Immz = 1 η 2 η E λ α α 2 +η 2 allows one to resolve ndvdual egenvalues λ α of H. Therefore below the scale η 1 the quanttes m and G become strongly fluctuatng and the these fluctuatons are larger than the man term. In the regme η log Cξ 1 n whch the fluctuatons are smaller than the man term, a spectral wndow of sze η contans at least log Cξ egenvalues; hence an averagng takes place. The factor 1/q on the rght-hand sde of the second nequalty of 2.18 arses from the strong fluctuatons of the matrx entres h j, whch take on values of sze q 1 wth probablty of order q 2 1. Indeed, t s apparent from the representatons 3.13 and 3.23 that G j = m 2 sch j +...,.e. G j has a component that 7

8 fluctuates on the scale q 1. The mprovement from q 1 to q 2 n the frst nequalty of 2.18 arses from an averagng n the summaton m = 1 G. If the random varables n the average were ndependent, one would expect the averagng to yeld an mprovement of order 1/2 ; however n our case there are strong dependences, whch result n the more modest gan of order q 1. At the edge κ E = 0, the estmates 2.16 and 2.17 may be roughly stated as mz msc z 1 q + 1 η, Gj z δ j m sc z 1 q + η1/4 η + 1 η. ow we formulate the local semcrcle law for the matrx A gven n Defnton 2.2. Defne the quanttes Gz := A z 1, mz := 1 Tr Gz Theorem 2.9 Local semcrcle law for A. There are unversal constants C 1,C 2 > 0 such that the followng holds. Suppose that A satsfes Defnton 2.2, and that ξ and q satsfy Then there s a constant ν > 0 dependng on A 0, Σ, and the constants C n 2.5, 2.6, and 2.8 such that the followng holds. We have the local semcrcle law: the event z D { mz mscz { log C 2ξ mn 1 q 2 κ E +η, 1 q } + 1 } 2.20 η holds wth ξ, ν-hgh probablty. Moreover, we have the followng estmate on the ndvdual matrx elements of G. If the assumpton 2.8 s strengthened to for some constant C 0, then the event { z D max 1,j 0 f C 0 1/2, 2.21 Gj z δ j m sc z log C 2ξ 1 q + Imm sc z + 1 } 2.22 η η holds wth ξ,ν-hgh probablty, where ν also depends on C 0. ext, let λ 1 λ be the ordered famly of egenvalues of H, and let u 1,...,u denote the assocated egenvectors. Smlarly, we denote the ordered egenvalues of A by µ 1 µ and the assocated egenvectors by v 1,...,v. We use the notatons u α = u α =1 and v α = v α =1 for the vector components. All egenvectors are l 2 -normalzed and have real components. We state our man result about the local densty of states ofa. For E 1 < E 2 defne the countng functons sc E 1,E 2 := E2 E 1 sc xdx ÑE 1,E 2 := {α : E1 < µ α E 2 } Theorem 2.10 Local densty of states. Suppose that A satsfes Defnton 2.2 and that ξ and q satsfy Then there s a constant ν > 0 dependng on A 0, Σ, and the constants C n 2.5, 2.6, and 2.8 as well as a constant C > 0 such that the followng holds. 8

9 For any E 1 and E 2 satsfyng E 2 E 1 +log Cξ 1 we have [ ÑE 1,E 2 = sc E 1,E 2 1+O log ] Cξ 1 E 2 E /2 q E 2 E 1 wth ξ, ν-hgh probablty. Away from the spectral edge we have a stronger statement. Fx κ > 0. Then, for any E 1 and E 2 satsfyng E 2 E 1 +log Cξ 1 as well as κ E1 κ and κ E2 κ, we have [ ÑE 1,E 2 = sc E 1,E 2 1+O log Cξ 1 E 2 E ] q wth ξ,ν-hgh probablty, where the constant n O depends on κ. Remark Both results 2.24 and 2.25 are specal cases of a more general, unform, estmate; see Proposton 8.2. In the recent work [38], the asymptotcs of the local densty of states was also establshed, but only n much larger spectral wndows, of sze at least p 1/10 = q 1/5, and wth a weaker error estmate. Our next result concerns the ntegrated denstes of states, n sc E := 1 sc,e, ñe := 1 Ñ,E Theorem 2.12 Integrated densty of states. Suppose that A satsfes Defnton 2.2 and that ξ and q satsfy Then there s a constant ν > 0 dependng on A 0, Σ, and the constants C n 2.5, 2.6, and 2.8 as well as a constant C > 0 such that the event { ñe n sce 1 log Cξ + 1 } q 3 + κe q E [ Σ,Σ] holds wth ξ, ν-hgh probablty. ext, we prove that the 1 frst egenvalues of A are close the ther classcal locatons predcted by the semcrcle law. Denote by γ α the classcal locaton of the α-th egenvalue, defned through n sc γ α = α for α = 1,..., The followng theorem compares the locatons of the egenvalues µ 1,...,µ 1 to ther classcal locatons γ 1,...,γ 1. It s well known that the largest egenvalue µ of the Erdős-Rény matrx s much larger than γ. Ths holds for more general sparse matrces as well; more precsely, f f 1+c then µ f +f 1 s separated from µ 1 2 by a gap of order one. The precse behavour of µ n ths regme s establshed n Theorem 6.2 below. Theorem 2.13 Egenvalue locatons. Suppose that A satsfes Defnton 2.2 and that ξ satsfes Let φ be an exponent satsfyng 0 < φ 1/2, and set q = φ. Then there s a constant ν > 0 dependng on A 0, Σ, and the constants C n 2.5, 2.6, and 2.8 as well as a constant C > 0 such that the followng holds. 9

10 We have wth ξ, ν-hgh probablty that 1 µ α γ α 2 log Cξ 1 4φ + 4/3 8φ α=1 Moreover, for all α = 1,..., 1 we have wth ξ,ν-hgh probablty that µ α γ α log Cξ 2/3[ α 1/3 +1 α log Cξ φ ]+ 2/3 4φ α 2/3 + 2φ, where we abbrevated α := mn{α, α}. Remark Under the assumpton φ 1/3 the estmate 2.30 smplfes to 2.30 µ α γ α log Cξ 2/3 α 1/3 + 2φ, 2.31 whch holds wth ξ, ν-hgh probablty. Remark Theorems 2.10, 2.12, and 2.13 also hold wth the same proof for the matrx H. More precsely, Theorem 2.10 holds wth wth ÑE 1,E 2 replaced wth Theorem 2.12 holds wth ñe replaced wth and Theorem 2.13 holds wth µ α replaced wth λ α. E 1,E 2 := {α : E1 < λ α E 2 }, ne := 1,E, Our fnal result shows that the egenvectors of A are completely delocalzed. Theorem 2.16 Complete delocalzaton of egenvectors. Suppose that A satsfes Defnton 2.2 and Then there s a constant ν > 0 dependng on A 0, Σ, and the constants C n 2.5, 2.6, and 2.8 such that the followng statements hold for any ξ satsfyng 2.4. We have wth ξ, ν-hgh probablty max v α log4ξ α< Moreover, we have wth ξ, ν-hgh probablty v e 2 = 1 f +O 1 f 3 + logξ f If addtonally f C for some constant C then we have wth ξ,ν-hgh probablty v log4ξ Fnally, there exsts postve constants C,C 0 such that f f C 0 log ξ then we have wth ξ,ν-hgh probablty v e C logξ f

11 Remark If f does not grow wth, then the components v of the largest egenvector fluctuate, and we do not expect 2.35 to hold. However, a delocalzaton bound smlar to 2.34 holds for all f. In 2.34 ths bound was proved for f C. In fact, a slght modfcaton of our proof yelds complete delocalzaton for the values of f not covered by Theorem 2.16,.e. 1 f C 0 log ξ. We clam that n ths case we have, wth ξ, ν-hgh probablty, The requred modfcatons are sketched at the end of Secton 7.3 below. v logcξ Remark Smlarly, f H satsfes Defnton 2.1, all of ts egenvectors are delocalzed n the sense that max α u α log4ξ wth ξ, ν-hgh probablty. The proof s a straghtforward applcaton of 3.4 below and the estmate 7.25 appled to G jj. In the recent work [38], a weaker upper bound of sze p 1/2 = q 1 was establshed for the l -norm of the egenvectors of A assocated wth egenvalues away from the spectral edge. 3. The weak local semcrcle law for H In ths secton, we ntroduce and prove a weak verson of the local semcrcle law for the matrx H. Ths result s weaker than our fnal result for H, Theorem 2.8, but t wll be used as an a pror bound for the proof of Theorem 2.8. Moreover, Theorem 3.1 holds under slghtly weaker assumptons on ξ than Theorem 2.8, and s for ths reason a more sutable tool for provng egenvector delocalzaton, Theorem 2.16; see Secton 7.3 for detals. We shall prove Theorem 3.1 the weak local semcrcle law for spectral parameters z n the set D L := { z C : E Σ, log L 1 η 3 } D, 3.1 where the parameter L L wll always satsfy L 8ξ. 3.2 Theorem 3.1 Weak local semcrcle law for H. Let H satsfy Defnton 2.1. Then there are constants ν > 0 and C > 0 such that the followng statements hold for any ξ satsfyng 2.4 and L satsfyng 3.2. The events { } max G jz C j q + Clog2ξ 3.3 η z D L and z D L { } max G z mz Clogξ + Clog2ξ q η

12 hold wth ξ, ν-hgh probablty. Furthermore, we have the weak local semcrcle law: the event z D L { mz m sc z Clogξ q } + Clog2ξ η 1/3 3.5 holds wth ξ, ν-hgh probablty. Roughly, Theorem 3.1 states that G j δ j mz 1 q + 1 η 3.6 and mz msc z 1 1 q η 1/3 Comparng wth the strong local semcrcle law, Theorem 2.8, we note that the error bound n 3.6 for G j s already optmal n the bulk. However, unlke Theorem 2.8, the quantty G s compared to m and not m sc. On the other hand, the estmate 3.7 s consderably weaker than the correspondng bound n The smaller power 1/3 n the factor η 1/3 reflects the nstablty near the edge; t appears because we nsst on havng unform bounds up to the edge. If we were nterested only n the bulk, t would be easy to repeat the proof of Theorem 3.1 to obtan ηκ 1/2, thus replacng the power 1/3 wth 1/2. The prce would be a coeffcent whch blows up at the edge. As n Theorem 2.8, the estmates oftheorem3.1 arestable down to the optmal scale η 1, unformly up to the edge. Thus, the dfference between Theorems 2.8 and 3.1 les only n the precson of the estmates. In order to prove Theorem 3.1, we frst collect some basc tools and notatons Prelmnares. The followng lemma collects some useful propertes of m sc defned n Lemma 3.2. For z = E +η D L abbrevate κ κ E. Then we have m sc z 1, 1 m sc z 2 κ+η. 3.8 Moreover, Imm sc z { κ+η f E 2 η κ+η f E 2. Here the mplct constants n depend on Σ n Proof. The proof s an elementary calculaton; see Lemma 4.2 n [22]. In order to streamlne notaton, we shall often omt the explct dependence of quanttes on the spectral parameter z D L ; thus we wrte for nstance G j z G j. Defne the z-dependent quanttes Λ o := max j G j, Λ d := max G m sc, Λ := m m sc, v := G m sc

13 Defnton 3.3. Let T {1,...,}. Then we defne H T as the T T mnor of H obtaned by removng all rows and columns of H ndexed by T. ote that we keep the names of ndces of H when defnng H T. More formally, for {1,...,} we defne the operaton π on the probablty space by For T {1,...,} we also wrte π T := T π. Then we defne π H kl := 1k 1l h kl H T := π T H j,j/ T. The quanttes G T z, λ T α, u T α, etc. are defned n the obvous way usng H T. Here α = 1,...,α max, where α max := T. Moreover, we use the notaton T and abbrevate = {} as well as T = T {}. We also set := m T := 1, =1 / T T G T ote that we choose the normalzaton 1 nstead of the more natural T 1 n 3.11; ths s smply a convenent choce for later applcatons. The next lemma collects the man denttes of the resolventmatrx elements G T j. Its proofs elementary lnear algebra; see e.g. [21]. Lemma 3.4. For,j k we have G j = G k j + G kg kj. G kk 3.12 For j we have G j = G G jj hj Z j, G = h z Z where we defned, for arbtrary,j {1,...}, Z j := h G j h j = j k,l h k G j kl h lj Here h denotes the vector gven by the -th column of H. ote that n expressons of the form 3.14 t s mpled that the -th and j-th entres of h and h j have been removed; we do not ndcate ths explctly, as t s always clear from the context. Remark 3.5. Lemma 3.4 remans trvally vald for the mnors H T of H. For nstance 3.12 reads for,j,k / T and,j k. G T j = G Tk j + GT k GT kj G T kk 13

14 Defnton 3.6. We denote by E the partal expectaton wth respect to the varables h = h j j=1, and set IE X := X E X. We abbrevate Z := IE Z = IE h k G kl h l = k,l k,l h k h l 1 δ kl G kl The followng trval large devaton estmate provdes a bound on the matrx elements of H. Lemma 3.7. For C large enough we have wth ξ, ν-hgh probablty h j C q. Proof. The clam follows by choosng p = νlog ξ n 2.5 and applyng Markov s nequalty. We collect here the large devaton estmates for random varables whose moments decay slowly. Ther proof s gven n Appendx A. Lemma 3.8. Let a be a famly of centred and ndependent random varables satsfyng E a p C p γ qαp+β for all 2 p log A0 loglog, where α 0 and β,γ R. Then there s a ν > 0, dependng only on C n 3.16, such that for all ξ satsfyng 2.4 we have wth ξ,ν-hgh probablty [ A a log ξ sup A 1 1/2 q α + γ q β+2α A ] Let a 1,...,a be centred and ndependent random varables satsfyng E a p Cp q p for 2 p log A0 loglog. Then there s a ν > 0, dependng only on C n 3.18, such that for all ξ satsfyng 2.4, and for any A C and B j C, we have wth ξ,ν-hgh probablty [ A a log ξ max A 1 ] 1/2 + A q =1 =1 a B a σ 2 B logξb d 3.20 q =1 =1 [ a B j a j log 2ξ B o 1 q + ] 1/2 2 B j 2, j where σ 2 denotes the varance of a and we abbrevated j B d := max B, B o := max B j. j 14

15 Let a 1,...,a and b 1,...,b be ndependent random varables, each satsfyng Then there s a ν > 0, dependng only on C n 3.18, such that for all ξ satsfyng 2.4 and B j C we have wth ξ, ν-hgh probablty,j=1 [ a B j b j log 2ξ B d q 2 + B o 1 q + ] 1/2 2 B j Remark 3.9. ote that the estmates 3.19 and 3.20 are specal cases of The rght-hand sde of the large devaton bound 3.17 conssts of two terms, whch can be understood as follows. The frst term gves the large devaton bound for the specal case where A vanshes for all but one ; n ths case t s mmedate that A a log ξ A q α wth ξ,ν-hgh probablty. The second term s equal to the varance of A a. In partcular, 3.17 s optmal up to factors of log. The estmates can be nterpreted smlarly. ote that the powers of q n the estmates are not optmal; ths s however of no consequence for later applcatons. For a famly F 1,...,F we ntroduce the notaton j [F] := 1 F. =1 The followng lemma contans the self-consstent resolvent equaton on whch our proof reles. Lemma We have the dentty G = 1 z m sc [v] Υ, 3.23 where Υ := h Z +A, and A := 1 j G j G j G Proof. The proof s a smple calculaton usng 3.13 and Basc estmates on the event Ωz. Defnton For z D L ntroduce the event { Ωz := Λ d z+λ o z log ξ} 3.25 and the control parameter Ψz := Λz+Imm sc z η 15

16 ote that Ψz s a random varable. Moreover, on Ωz we have Ψz Clog 4ξ by 3.2. Throughout the followng we shall make use of the fundamental dentty G j 2 = j j α u α u α j λ α z β u β u β j λ β z = α u α 2 λ α z 2 = 1 η ImG A smlar dentty holds for H T. Usng the lower bound m sc z c from 3.8 and the defnton 3.25 we fnd c G z C 3.28 on Ωz. Usng 3.12 repeatedly we fnd that on Ωz we have c G T z C 3.29 for T 10 here 10 can be replaced wth any fxed number. Smlarly, we have on Ωz that for T 10. max j GT j z CΛ oz Clog ξ 3.30 Lemma Fxng z = E +η D L, we have for any and T {1,...,} satsfyng / T and T 10 that 1 m T z = m T z+o 3.31 η holds n Ωz. Proof. We use 3.12 to wrte T 1 j G T jj = 1 T j G T jj 1 T G T j j GT j G T = 1 T j G T jj 1 T j G T j GT j. G T Therefore T 1 j G T jj = 1 T j G T 1 jj +O T T G 2 j j = 1 T j G T 1 jj +O η ImGT. The clam now follows from Lemma For fxed z D L we have on Ωz wth ξ,ν-hgh probablty 1 Λ o z C q +log2ξ Ψz, 3.32 log ξ max Z z C +log 2ξ Ψz q 16

17 Proof. We start wth Let j. Usng 3.13, 3.29, 3.30, and 3.12 we get on Ωz, wth ξ, ν-hgh probablty, G j C h j + Z j C j q +C h k G j k,l kl h lj C j q +Clog2ξΛ o 1 1/2 q +Clog2ξ 2 G j kl 2, 3.34 where the last step follows usng 3.22 and 2.6. Usng 3.12 repeatedly and recallng 3.29, we fnd on Ωz that G j kk = G kk +OΛ 2 o. Thus we get on Ωz, by 3.27, j 1 2 k,l G j j kl 2 = 1 2 ImG j kk Imm η η + CΛ2 o η Takng the maxmum over j n 3.34 therefore yelds, on Ωz wth ξ,ν-hgh probablty, k Λ o C q +o1λ o +Clog 2ξ Imm η, where we used 2.6 and the fact that η log 8ξ by 3.2. Ths concludes the proof of In order to prove 3.33, we wrte, recallng the defnton 3.15, k,l Z = h kk 2 1 k G kk + k l h k G kl h l. Usng 3.20, 3.21, and 3.29 we therefore get, on Ωz wth ξ, ν-hgh probablty, Z Clogξ q [ +Clog 2ξ Λ o 1 q + 2 k,l ] 1/2 G kl 2 Clogξ q + Clog2ξ Λ o η +Clog 2ξ Imm η, smlarly to above. Invokng 3.32 and recallng 3.2 fnshes the proof. We may now estmate Λ d n terms of Λ. Lemma Fx z = E +η D L. On Ωz we have wth ξ,ν-hgh probablty log ξ max G z mz C +log 2ξ Ψz q 17

18 Proof. We use the resolvent equaton On Ωz we have A CΛ 2 o and h C/q wth ξ,ν-hgh probablty by Lemma 3.7. Thus, Lemma 3.13 yelds on Ωz wth ξ, ν-hgh probablty log ξ Υ C +log 2ξ Ψz q From 3.23 we therefore get on Ωz wth ξ, ν-hgh probablty Snce m = log ξ G G jj = G G jj Υ Υ j C +log 2ξ Ψz q j G jj, the proof s complete. ote that 3.36 mples on Ωz wth ξ, ν-hgh probablty. log ξ Λ d z Λz+C +log 2ξ Ψz q 3.3. Stablty of the self-consstent equaton of [v] on Ωz. We now expand the self-consstent equaton nto a form n whch the stablty of the averaged quantty [v] may be analysed. Recall the defnton v := G m sc. Lemma Fx z D L. Then we have on Ωz wth ξ,ν-hgh probablty 1 m 2 sc [v] = m3 sc [v]2 +m 2 sc [Z]+O log 2ξ+1 q 2 +log 4ξ+1 Ψ 2 + Λ log Proof. Recall that on Ωz we have v = o1. Moreover, 2.13 and 3.8 mply that m sc z + z = m sc z 1 c for z D L. Wth 3.37 we may therefore expand 3.23 on Ωz up to second order to get, wth ξ, ν-hgh probablty, v = m 2 sc[v] Υ +m 3 sc[v] Υ 2 +O[v] Υ Averagng over n 3.41 yelds, wth ξ, ν-hgh probablty, 1 m 2 sc [v] = m2 sc [Υ]+m3 sc [v]2 2m 3 sc [v][υ]+m3 sc [Υ2 ]+O [v]+max Υ 3. Recall the defnton 3.24 of A. Usng 3.19 and 3.29 we fnd on Ωz, wth ξ,ν-hgh probablty, [Υ] = 1 log ξ h [Z]+[A] = [Z]+O G j 2,j log ξ = [Z]+O +Ψ 2, where n the last step we used Moreover, recallng that [v] = Λ, we get by Young s nequalty Λ 2m 3 2 sc [v][υ] = O log +log [Υ] 2. 18

19 Recallng 3.37, we therefore have 1 m 2 sc [v] = m3 sc [v]2 +m 2 sc [Z]+O log ξ = m 3 sc[v] 2 +m 2 log 2ξ+1 sc[z]+o q 2 +Ψ 2 +log [Υ] 2 +max Υ 2 +Λ 3 + Λ2 log +log 4ξ+1 Ψ 2 + Λ2 log where we used that on Ωz we have Λ Λ d log ξ log 1. ote that, together wth 3.33, Lemma 3.15 mples a weak self-consstent equaton on [v]: Λ 1 m 2 sc[v] = m 3 sc[v] 2 2 log ξ +O +O +log 2ξ Ψ log q on Ωz wth ξ,ν-hgh probablty. Here we used 2.6 and 3.2. For the proof of the weak semcrcle law, Theorem 3.1, we shall only use the weaker form 3.42 of the self-consstent equaton Intal estmates for large η. In order to get the contnuty argument of Secton 3.6 started, we need some ntal estmates on Λ d +Λ o for large η. In other words, we need to prove that ΩE +η s an event of hgh probablty for η 1. Lemma Let η 2. Then for z = E +η D L we have, wth ξ, ν-hgh probablty. Λ d z+λ o z Clogξ q + Clog2ξ Clog 2ξ Proof. Fx z = E +η D L wth η 2. We shall repeatedly make use of the trval estmates G T j 1 η, mt 1 η, m sc 1 η, 3.43 where T {1,...,} s arbtrary. These estmates follow mmedately from the defntons of G T and m sc. We begn by estmatng Λ o. For j we get, followng the calculaton n 3.34 and recallng 3.27, wth ξ, ν-hgh probablty, G j C q +o1λ o +Clog 2ξ Imm j Takng the maxmum over j yelds, wth ξ, ν-hgh probablty, η Λ o C q + Clog2ξ. C q +o1λ o + Clog2ξ. What remans s an estmate on Λ d. We begn by estmatng, wth ξ,ν-hgh probablty, Υ C q + Z + A. 19

20 In order to estmate A, we observe that 3.13 mples G j G = G jj h j Z j j. Therefore we have, wth ξ, ν-hgh probablty, A 1 G + 1 j G jj G j h j + Z j C +CΛ o 1 q +sup Z j j C q, 3.44 where we used that wth ξ, ν-hgh probablty [ C Z j log 2ξ q 2 + Λ o q + C ], as follows from 3.22 and Smlarly, from 3.15 and usng 3.20 and 3.21, we fnd wth ξ, ν-hgh probablty Z Clogξ q + Clog2ξ. Thus we have proved that wth ξ,ν-hgh probablty Υ Clog ξ q 1 +Clog 2ξ 1/2. ext, usng 2.13, we wrte the self-consstent equaton 3.23 n the form v = [v] Υ z +m sc +[v] Υ z +m sc The denomnator of 3.45 s wth ξ, ν-hgh probablty larger n absolute value than 2 1 O log ξ q 1 +log 2ξ 1/2 2 3/2, snce z +m sc = m sc 1 2 and [v] 1 by Thus, whch yelds, after takng the maxmum over, v Λ d +O log ξ q 1 +log 2ξ 1/2 3/2 Λ d Λ d +O log ξ q 1 +log 2ξ 1/2 3/2 Ths completes the estmate of Λ d, and hence the proof.,. 20

21 3.5. Dchotomy argument for Λ. The followng dchotomy argument serves as the bass for the contnuty argument of Secton 3.6. We ntroduce the control parameters α := 1 m 2 sc m 3 sc β := logξ q + log4ξ/3 η 1/3, 3.46 where α = αz and β = βz depend on the spectral parameter z. For any z D L we have the bound β log ξ. From Lemma 3.2 t also follows that there s a constant constant K 1, dependng only on Σ, such that 1 κ+η αz K κ+η 3.47 K for any z D L. We shall fx E and vary η from 2 down to log L 1. Snce κ+η s ncreasng and βe + η decreasng n η, we fnd that, for any U > 1, the equaton κ+η = 2U 2 KβE +η has a unque soluton η, whch we denote by η = ηu,e recall that κ = E 2 s ndependent of η. Moreover, t s easy to see that for any fxed U we have η Lemma 3.17 Dchotomy. There exsts a constant U 0 such that, for any fxed U U 0, there exsts a constant C 1 U, dependng only on U, such that the followng estmates hold for any z = E +η D L : Λz Uβz or Λz αz U f η ηu,e 3.49 Λz C 1 Uβz f η < ηu,e 3.50 on Ωz wth ξ,ν-hgh probablty and for suffcently large. Proof. Fx z = E +η D L. From 3.42 and Lemma 3.2 we fnd 1 m 2 sc Λ m 3 [v] = [v] 2 2 log ξ +O +O sc log q + β 3 Λ+β 3 α, wth ξ,ν-hgh probablty. The thrd term on the rght-hand sde s bounded by C βλ+αβ+β 2 for some constant C 1. We set U 0 := 9C +1. We conclude that n Ωz we have wth ξ,ν-hgh probablty 1 m 2 sc Λ m 3 [v] [v] 2 2 O +C βλ+αβ +β sc log Dependng on the sze of β relatve to α, whch s determned by z, we shall estmate ether [v] or [v] 2 usng Ths gves rse to the two cases n Lemma Case 1: η η. From the defnton of η and C we fnd that β α 2U 2 α α C Recallng that Λ = [v], we therefore obtan from 3.51 wth ξ, ν-hgh probablty αλ 2Λ 2 +C βλ+αβ +β 2 2Λ 2 + αλ 2 +2C αβ, 21

22 whch gves αλ 4Λ 2 +4C αβ. Thus, ether αλ/2 4Λ 2 whch mples Λ α/8 α/u, or αλ/2 4C αβ whch mples Λ 8C β Uβ. Ths proves Case 2: η < η. In ths case the defnton of η yelds α 2U 2 K 2 β. We express [v] 2 = Λ 2 from 3.51 and we get Λ 2 2αΛ+2C βλ+αβ +β 2 C βλ+c β 2, 3.53 for some constant C dependng on U. ow 3.50 s an mmedate consequence Contnuty argument: concluson of the proof of Theorem 3.1. We complete the proof of Theorem 3.1 usng a contnuty argument n η to go from η = 2 down to η = 1 log L. We focus frst on provng 3.5. We use Lemma 3.16 for the ntal estmate, and the dchotomy n Lemma 3.17 to propagate a strong estmate on Λ to smaller values of η. Choose a decreasng fnte sequence η k, k = 1,2,...,k 0 satsfyng k 0 C 8, η k η k+1 8, η 1 = 2, and η k0 = 1 log L. We fx E [ Σ,Σ] and set z k := E+η k. Throughout ths secton we fx a U U 0 n Lemma 3.17, and recall the defnton of ηu,e from Secton 3.5. Consder frst z 1. It s easy to see that, for large enough, we have η 1 ηu,e, for any E [ Σ,Σ]. Therefore Lemmas 3.16 and 3.17 mply that both Ωz 1 and Λz 1 Uβz 1 hold wth ξ,ν-hgh probablty. Ths estmate takes care of the ntal pont η 1. The next lemma extends ths result to all k k 0. Lemma Defne the event Ω k := Ωz k { Λz k C k Uβz k }, where Then C k U := { U f η k ηu,e C 1 U f η k < ηu,e. PΩ c k 2ke νlogξ Proof. We proceed by nducton on k. The case k = 1 was just proved. Let us therefore assume that 3.54 holds for k. We need to estmate PΩ c k+1 P Ω k Ωz k+1 Ω c k+1 +P Ωk Ωz k+1 c +PΩ c k = B +A+PΩ c k, 3.55 where we defned [ { A := P Ω k Λ d z k+1 +Λ o z k+1 > log ξ}], [ { }] B := P Ω k Ωz k+1 Λz k+1 > C k+1 Uβz k+1. 22

23 We begn by estmatng A. For any,j, we have G j z k+1 G j z k z k+1 z k sup G j z z 8 sup Imz z D L z D L 1 Therefore, by 3.32 and 3.39, we have on Ω k wth ξ,ν-hgh probablty log Λ d z k+1 +Λ o z k+1 Λ d z k +Λ o z k +2 6 ξ C +log 2ξ Ψz k +Λz k q Cβz k log ξ. Thus we fnd that A e νlogξ. ext, we estmate B. Suppose frst that η k ηu,e. Then, smlarly to 3.56 we fnd Λz k+1 Λz k 6. Thus we fnd on Ω k wth ξ,ν-hgh probablty Λz k+1 Λz k + 6 Uβz k + 6 3U 2 βz k Suppose now that η k+1 ηu,e. Then from 3.57 and 3.52 we fnd Λz k+1 < αz k+1 U. ow the dchotomy of 3.49 yelds on Ω k Ωz k+1 wth ξ,ν-hgh probablty that Λz k+1 Uβz k+1. On the other hand, f η k+1 < ηu,e then 3.57 mmedately mples Λz k+1 C 1 Uβz k+1. Ths concludes the proof of B e νlogξ f η k ηu,e. Fnally, suppose that η k < ηu,e. Thus we also have η k+1 < ηu,e. In ths case we mmedately get from 3.50 on Ωz k+1 wth ξ,ν-hgh probablty Λz k+1 C 1 Uβx k+1. We have therefore proved, for all k, that PΩ c k+1 +PΩ c 2e νlogξ k, and the clam follows. In order to complete the proof of Theorem 3.1, we nvoke the followng smple lattce argument whch strengthens the result of Lemma 3.18to a statement unform n z D L. The man ngredent s the Lpschtz contnuty of the map z G j z, wth a Lpschtz constant bounded by η 2 2. Corollary There s a constant C such that [ ] [ c { P Ωz +P Λz > Cβz} ] e νlogξ z D L z D L Proof. Take a lattce L D L such that L C 6 and for any z D L there s a z L satsfyng z z 3. From the defnton of G t s easy to see that for z, z D L G j z G j z η 2 z z The same bound holds for mz m z. Moreover, Lemma 3.18 mmedately yelds [ { P Λ z C } ] 2 β z 1 e νlogξ 3.60 z L for some C large enough and some ν > 0. From 3.59, 3.60, and 1 βz we get [ { P Λz > Cβz} ] e νlogξ. z D L The frst term of 3.58 s estmated smlarly. 23

24 We have proved 3.5. In order to prove 3.3, we note that 3.5, 3.32, and 3.58 mply Λ o z C q + Clog2ξ η wth ξ, ν-hgh probablty. ow a lattce argument a analogous to Corollary 3.19 yelds 3.3. The dagonal estmate 3.4 follows smlarly usng Ths concludes the proof of Theorem Proof of Theorem 2.8 In the prevous secton we proved Theorem 3.1, whch s weaker than the man result Theorem 2.8 strong local semcrcle law, but wll be used as an a pror bound n the proof of Theorem 2.8. The key ngredent that allows us to strengthen Theorem 3.1 to Theorem 2.8 s the followng lemma, whch shows that [Z], the average of the Z s, s much smaller than of a typcal Z. otce that n the proof of Theorem 3.1, to arrve at 3.42, [Z] was estmated by the same quantty as each ndvdual Z. Ths lemma s analogous to Lemma 5.2 n [22] and Corollary 4.2 n [23], but we wll present a new proof n Secton 5.3, whch admts sparse matrx entres and effectvely tracks the dependence of the exponent p. Our new proof s based on an abstract decouplng result, Theorem 5.6 below, whch s useful n other contexts as well, such as for provng Proposton 7.11 below. Lemma 4.1. Recall the notaton [Z] = 1 Z. Suppose that ξ satsfes 2.4, q log 5ξ and that there exsts D D L wth L 14ξ such that we have wth ξ,ν-hgh probablty Λz γz for z D, 4.1 where γ s a determnstc functon satsfyng γz log ξ. Then we have wth ξ 2,ν-hgh probablty 1 [Z]z log 14ξ q η 2 +log4ξimm scz+γz for z η D. 4.2 In partcular, by 3.40, we have wth ξ 2,ν-hgh probablty 1 m 2 sc m 3 [v] [v] 2 C Λ2 1 sc log +Clog14ξ q η 2 +log4ξimm sc +γ η 4.3 for any value of the spectral parameter z D. The proof of Lemma 4.1 s gven n Secton 5. In ths secton we use t to prove Theorem 2.8 and to derve an estmate on H Lemma 4.4. The basc dea behnd the proof of Theorem 2.8 usng Lemma 4.1 s to terate 4.2 n order to obtan successvely better estmates for Λ. Each step of the teraton mproves the power 1 τ of the control parameter q 1 + η 1 1 τ. The teraton s started wth the weak local semcrcle law, Theorem 3.1, whch yelds 1 τ = 1/3. At each step of the teraton, τ s halved at the expense of reducng the parameter ξ to ξ 2, thus reducng the probablty on whch the estmate holds. Ths teraton procedure s repeated an order loglog tmes, whch allows us effectvely to reach τ = 0. The teraton step s based on the followng lemma, whch s entrely determnstc. 24

25 Lemma 4.2. Let 1 ξ 1 ξ 2 and q > 1. Let 0 < τ < 1 and L > 1. Suppose that there s a number γz satsfyng 1 γz log 19ξ2 q τ for z D L 4.4 η such that 4.1 holds wth D := D L. We also assume that 1 m 2 sc m 3 [v] [v] 2 C Λ2 1 sc log +Clog14ξ1 q η 2 +log4ξ1α+γ η where α was defned n Fnally, we assume that f η 1, then for z D L, 4.5 Λz Then we have for z D L and large enough. 1 Λz log 19ξ2 q τ/2 4.7 η Proof. The proof s based on a dchotomy argument. Defne We consder two cases. Case 1: α 10α 0. Usng the estmate 4.4 we fnd 1 α 0 z := log ξ2 q τ/ η 1 q η 2 +log4ξ1 γ η 2log23ξ2 1 q τ. 4.9 η ow n 4.5 we may absorb the term Λ 2 /log nto the term [v] 2 on the left-hand sde, at the expense of a constant 2. Then we complete the square on the left-hand sde and take the square root of the resultng equaton; ths yelds 1 Λ 4α+Clog 37 2 ξ2 q τ/2 α +Clog 9ξ1 η η, 4.10 where we used 4.9. ow 4.7 follows from Case 2: α 10α 0. Let us assume that Λ α/2. Then n 4.5 the terms [v] 2 and Λ 2 can be absorbed nto the term α [v], so that we get Λ C log14ξ1 α By the defntons of γ and α 0, we have 1 q γ 1 +Clog 18ξ1 η ηα +Clog18ξ1 η γ Clog 18ξ1 ηα α 0 10α log 1/4 log 1/

26 and the frst term n the rght-hand sde of 4.11 s bounded by α/log thanks to 4.8. The last term can be estmated smlarly. Hence 4.11 mples that Λ α/4 provded that Λ α/2. In other words, f α 10α 0 then ether Λ > α/2 or Λ α/4. Usng the contnuty of Λz and α = αz n η = Imz, and the assumpton Λz 1 = Oα for η 1, we get Λ α/4 on the whole D L. Together wth 4.11, we obtan 4.7. Proof of Theorem 2.8. The man work s to prove Theorem 2.8 for spectral parameters z D L, where L := 120ξ Once ths s done, the extenson to all z D s relatvely straghtforward, and s gven at the end of the proof. Recall the defnton 3.26 of Ψ and 3.25 of Ωz. It s clear that f D s replaced everywhere by D L then 2.17 follows from 2.16, 3.32 and Therefore we only need to prove We begn by ntroducng ξ := 2loglog/log2+ξ By the assumptons 2.15 and 4.13, we have ξ 3ξ/2 A 0 loglog, L 60 ξ, and q log 60 ξ. To prove 2.16 wth D replaced by D L, t therefore suffces to establsh { mz mscz { log 20 ξ log 20 ξ 1 mn 1 } κe +η q 2, + 1 } 4.15 q η z D L wth ξ, ν-hgh probablty. The weak local semcrcle law, Theorem 3.1 wth ξ replacng ξ, yelds 1 Λ log 2 ξ q + 1 1/3 1 log 19 ξ η q /3 for z D L 4.16 η wth ξ,ν-hgh probablty. Thus 4.1 holds wth 1 γz := log 19 ξ q + 1 1/ η Wth L 60 ξ and q log 60 ξ, we also have γ log ξ. Thus Lemma 4.1 mples that, wth ξ replacng ξ and D = D L, the statement 1 m 2 sc m 3 [v] [v] 2 C Λ2 1 +Clog14 ξ sc log q log4 ξ Imm sc +γ η 2 for z D L η 4.18 holds wth ξ 2,ν-hgh probablty. Ths mples 4.5, wth the choce ξ 1 = ξ n 4.5, snce Imm sc Cα. Moreover, γ satsfes 4.4 wth ξ 2 = ξ and τ = 2/3. We also fnd that Λ satsfes 4.6, snce Λ γ log ξ see We may therefore apply Lemma 4.2 wth ξ 1 = ξ 2 = ξ to get that Λ log 19 ξ 1 q /3 for z D L 4.19 η 26

27 holds wth ξ 2,ν-hgh probablty. We now repeat ths process M tmes, each teraton yeldng a stronger bound on Λ whch holds wth a smaller probablty. After M teratons we get that Λ log 19 ξ 1 q M for z D L 4.20 η holds wth ξ 2M,ν-hgh probablty. To clarfy the teraton, we spell out the detals of the second step. We start from 4.19 and defne γ as the rght-hand sde of 4.19, 1 γz := log 19 ξ q / η Thus Lemma 4.1, wth ξ 2 replacng ξ, mples that 1 m 2 sc m 3 [v] [v] 2 C Λ2 +Clog14 ξ 2 sc log 1 q log4 ξ 2 Imm sc +γ η 2 η for z D L 4.22 holds wth ξ 4,ν-hgh probablty. We now apply Lemma 4.2 wth ξ 1 = ξ 2, ξ 2 = ξ and τ = 1/3. Smlarly, n the k-th step we set ξ 1 = ξ 2k 1, ξ 2 = ξ, and τ = 2/31/2 k 1. Ths shows that Λ log 19 ξ 1 q /6 for z D L 4.23 η holds wth ξ 4,ν-hgh probablty. Ths s 4.20 for M = 2. ow we return to 4.20 and choose M := [loglog/log2] 1 where [ ] denotes the nteger part. Usng q 1 +η 1 c 1/2 by 2.6, we get Thus 1 q M C log ξ/2. η Λ log 39 2 ξ 1 q + 1 η for z D L 4.24 holds wth ξ + 2, ν-hgh probablty. Recallng 3.47 we fnd that 4.24 mples 4.15, unless log 39 2 ξα 1 q 1 η Let us therefore assume that 4.25 holds. Then t remans to prove that wth ξ, ν-hgh probablty Λ log 40 ξ 1 αq 2 +log20 ξ 1 η for z D L Defnng γ as the rght-hand sde of 4.24, we use Lemma 4.1, wth ξ +2 replacng ξ, to get 1 m 2 sc m 3 [v] [v] 2 C Λ2 1 +Clog18 ξ sc log q 2 + α η

28 wth ξ,ν-hgh probablty, where we used 4.25 and Imm sc z Cαz. We can estmate the term [v] 2 by 4.24 and 4.25, so that αλ = α [v] Clog 39 ξ 1 q 2 +Clog18 ξ α η Ths yelds 4.26 and hence completes the proof of 2.16 wth D replaced wth D L. Recall the smple lattce argument of Corollary What remans s to extend 2.16 and 2.17 from z D L to z D. Let us therefore assume that z = E +η D wth 0 < η η := log L 1. For any,j = 1,..., we get the bound G j E +η = α u α u α j λ α z We defne the dyadc decomposton of the egenvalues u α l 2 max l λ α α z. U 0 := { α : λ α E < η }, U k := { α : 2 k 1 η λ α E < 2 k η } k 1. Ths yelds α u α l 2 λ α z = u α l 2 λ α z k 0 α U k C k 0 α U k Im u α l 2 λ α E 2 k η C k 0 ImG ll E +2 k η. ext, we break the summaton over k nto three peces delmted by k 1 := max{k : 2 k η < η} and k 2 := max{k : 2 k η < 3}. By spectral decomposton, t s easy to see that the functon y y ImG ll E + y s monotone ncreasng. Therefore we get ImG ll E +2 k η k 0 k 1 k=0 logcξ η logcξ η η 2 k η ImG lle + η+ +Ck 2 k 1 +C k 2 k=k 1+1 ImG ll E +2 k η+ k=k 2+1 wth ξ,ν-hgh probablty, where n the second step we used 2.17 for z D L. Therefore we have proved that max G je +η logcξ,j η wth ξ, ν-hgh probablty. Ths concludes the proof of Theorem η2 k 4.1. Estmate of H. In ths secton we derve an upper bound on the norm of H. A standard applcaton of the moment method yelds the followng weak bound on H. Its proof s gven n Appendx A. Lemma 4.3. Suppose that H satsfes Defnton 2.1, that ξ satsfes 2.4, and that q satsfes 2.6. Then wth ξ, ν-hgh probablty we have H 2+log ξ q 1/