arxiv: v1 [math.pr] 6 Mar 2019

Transcription

1 Local law and Tracy Wdom lm for sparse sochasc block models Jong Yun Hwang J Oon Lee Wooseok Yang arxv: v1 mah.pr 6 Mar 2019 March 7, 2019 Absrac We consder he specral properes of sparse sochasc block models, where verces are paroned no K balanced communes. Under an assumpon ha he nra-communy probably and nercommuny probably are of smlar order, we prove a local semcrcle law up o he specral edges. We also prove ha he flucuaon of he exremal egenvalues s gven by he GO Tracy Wdom law afer rescalng and shfng, wh an explc formula on he deermnsc shf of he specral edge. 1 Inroducon Undersandng an underlyng nework srucure s one of he key problems n daa scence. Many real world daa ses can be vewed as neworks of neracng nodes, and a common approach o analyze he srucure of he nework s o fnd whch nodes share smlar properes so ha hey can be grouped no a communy. Cluserng, or communy deecon, o recognze such communes from gven daa ses s hus a naural and fundamenal problem. The sochasc block model (SBM) s one of he smples models of he nework wh communes. Frs appeared n he sudy of socal neworks 17, I consss of verces paroned no dsjon subses C 1,...,C K and a K K symmerc marx P of edge probables. The model appears n varous felds of sudy, and numerous resuls have been obaned for communy deecon n SBM, ncludng varous algorhms 3, 14 16, 19, phase ransons 2, and fundamenal lms 23. We refer o 1 for hsory and recen developmens of he communy deecon problem and sochasc block models. The specral mehod s one of he mos well-known approaches for he communy deecon of SBM. In hs mehod, he adjacency marx of a gven graph s consdered, whose exremal egenvalues and correspondng egenvecors conan he nformaon on he ground ruh of he model. In he smples example of an SBM wh wo communes of equal sze, f we denoe he adjacency marx by A, he probably marx P s a 2 2 marx, and he expeced adjacency marx A has four blocks,.e., ( ) P11 P A = 12. P 21 P 22 If P 11 = P 22 = p s and P 12 = P 21 = p d, he frs wo egenvalues of A are (p s +p d )/2 and (p s p d )/2, and he egenvalue 0 has mulplcy 2. If he dfference A A s small, hen he egensrucure of A s no much dfferen from ha of A, and one can recover he communy srucure from he second egenvecor of A. The specral mehod s also useful n deermnng he number of communes K when s no known a pror 5,21. Deparmen of Mahemacal Scences, KAIST, Daejeon, 34141, Korea emal: jyh9006@kas.ac.kr Deparmen of Mahemacal Scences, KAIST, Daejeon, 34141, Korea emal: joon.lee@kas.edu Deparmen of Mahemacal Scences, KAIST, Daejeon, 34141, Korea emal: ws.yang@kas.ac.kr 1

2 In he specral mehod, he perurbaon H := A A s a random marx, and s propery, especally he behavor of s larges egenvalue, can be precsely predced by resuls from random marx heory when P does no depend on. However, n many real daa, he expeced degree s much smaller han and he edge probably decays as grows. Thus, H s dfferen from Wgner marces n wo aspecs: (1) he varances of enres are no dencal, and (2) he marx s sparse. (See Assumpon 2.1 for more deal on he sparsy.) For sparse random marces wh dencal off-dagonal enres, whch correspond o rdős Rény graphs, he specral properes were obaned n 8, 10, 20. One of he mos noable aspecs of sparse random marces s ha he deermnsc shf of her larges egenvalues are much larger han he sze of he Tracy Wdom flucuaon. Thus, as dscussed n Remark 2.14 of 20, n cases where he nra-communy probably p s and he ner-communy probably p d are boh small and close o each oher, we can predc ha he algorhms for he communy deecon should reflec he shf of he larges egenvalues f p s,p d 1/3. However, o our bes knowledge, has no been proved for sparse SBM. In hs paper, we consder he specral properes of sparse SBM wh K communes. We assume ha he communes are of equal sze, or balanced, P = p s and P j = p d for j. We furher assume ha he model s moderaely sparse so ha he sparsy parameer q, whch means ha he expeced degree of he model s of order q 2, sasfes φ q for some fxed (small) φ. The frs sep of our analyss s o prove a weak local law, where we follow he classcal sraegy based on Schur complemen formula and self-conssen equaons as n 12,13. Snce he weak local law s no enough o prove he Tracy Wdom flucuaon of he exremal egenvalues, we mprove o prove a srong local semcrcle law ha s opmal up o he edge of he specrum by adapng he sraegy of18,20. Wh he srong local law, we hen prove he Tracy Wdom lm for he shfed, rescaled larges egenvalue of he SBM. The man dffculy of he analyss les n he assumpon ha he enres of he sparse sochasc block model may no be dencally dsrbued. As n 20, we choose a polynomal P(m) of he normalzedrace m of he Green funcon, based on a recursve momen esmae. However, he flucuaon averagng mechansm, whch was nrnsc n he analyss of rdős Rény graph, s much more complcaed for he SBM due o he lack of he symmery. Techncally, means ha we need o separae he off-dagonal elemens H j no wo cases n he cumulan expanson - one wh when and j are n he same communy and he oher when and j are n dfferen communes. Wh he separaon, we need o consder a more complcaed polynomal P han he rdős Rény case n 20, and he analyss more nvolved also for he lmng dsrbuon. Ths paper s organzed as follows: In Secon 2, we nroduce our model and sae he man resuls. In Secon 3, we descrbe he oulne of our proof. In Secon 4, we prove a weak local semcrcle law, whch s used as an a pror esmae n he proof of our man resuls. In Secon 5, we prove he srong local law by usng he recursve momen esmaes. In Secon 6, we prove he recursve momen esmae. In Secon 7, we prove he Tracy Wdom lm of he larges egenvalue usng he Green funcon comparson mehod. Remark 1.1 (oaonal remark). We use he symbols O( ) and o( ) for he sandard bg-o and lle-o noaon. The noaons O, o,, refer o he lm unless oherwse saed. The noaon a b means a = o(b). We use c and C o denoe posve consans ha do no depend on, usually wh he convenon c C. Ther values may change from lne o lne. We wre a b f here s C 1 such ha C 1 b a C b. For summaon ndex, we use j f and j are whn he same group (or communy). Throughou hs paper we denoe z = +η C + where = Rez and η = Imz. 2 Defnon and man resuls 2.1 Models and noaons In hs paper, we manly consder a random marx model ha generalzes he sparse random marx. Le H be an symmerc marx wh K 2 blocks of same sze. The blocks are based on he paron of he verex se := {1,2,...,}, = V 1 V 2 V K, (2.1) where V = /K. For,j {1,2,...}, we may consder wo ypes of he edge probably H j, dependng on wheher and j are whn he same verex se V l or no. More precsely, we consder he sparse block marx model sasfyng he followng assumpon: 2

3 Assumpon 2.1 (Balanced generalzed sparse random marx). Fx any small φ > 0. We assume ha H = (H j ) s a real block random marx wh K balanced communes, whose dagonal enres are almos surely zero and whose off-dagonal enres are ndependenly dsrbued random varables, up o symmery consran H j = H j. We suppose ha each H j sasfes he momen condons wh sparsy parameer q sasfyng H j = 0, H j 2 = σj 2, H j k (Ck)ck qk 2, (k 2), (2.2) Here, we furher assume he normalzaon condon φ q 1/2. (2.3) =1 σ 2 j = 1. (2.4) We denoe by κ (k) j he k-h cumulan of he random varables (H) j. Under he momen condon (2.2), κ (1) j = 0, κ (k) j (2Ck)2(c+1)k q k 2, (k 2). (2.5) For our model wh he block srucure, we abbrevae κ (k) κ (k) j = { κ (k) s j as f and j are whn same communy, κ (k) d oherwse. (2.6) We wll also use he normalzed cumulans, s (k), by seng s (1) ( ) := 0, s(k) ( ) := qk 2 κ (k) ( ), (k 2). (2.7) oe ha we assume H = 0 a.s., alhough hs condon can be easly dropped. Also, we recover he sparse random marx wh..d. enres (e.g., he adjacency marx of a sparse rdős Rény graph) for he choce K = 1. For convenence, we defne he parameers ζ and ξ (4) as ζ := s(2) s s (2) d K = (κ(2) s κ (2) K d ), ξ (4) := s(4) s +(K 1)s (4) d. (2.8) K Remark 2.2. The promnen example of a balanced generalzed sparse random marx s he case where H j can be he Bernoull random varable wh probably p s or p d, dependng on wheher and j are whn same verex se or no, respecvely. For hs reason, n hs paper, we use he erm sochasc block model as a represenave of he balanced generalzed sparse random marx. In he res of hs subsecon, we nroduce some noaons of basc defnons. Defnon 2.3 (Hgh probably evens). We say ha an -dependen even Ω Ω () holds wh hgh probably f for any (large) D > 0, P(Ω c ) D, for 0 (D) suffcenly large. Defnon 2.4 (Sochasc domnaon). Le X X (),Y Y () be -dependen non-negave random varables. We say ha X sochascally domnaes Y f, for all small ǫ > 0 and large D > 0, P(X () > ǫ Y () ) D, (2.9) for suffcenly large 0 (ǫ,d), and we wre X Y. When X () and Y () depend on a parameer u U, hen we say X(u) Y(u) unformly n u U f he hreshold 0 (ǫ,d) can be chosen ndependenly of u. 3

4 Throughou hs paper, we choose ǫ > 0 suffcenly small. (More precsely, s smaller han φ/10, where φ > 0 s he fxed parameer n Assumpon 2.1 below.) Defnon 2.5 (Seljes ransform). For gven a probably measure ν, we defne he Seljes ransforms of ν as ν(dx) m ν (z) := x z, (z C+ ) For example, he Seljes ransform of he semcrcle measure, s gven by (dx) := 1 (4 x2 ) + dx, 2π m sc (z) = (dx) x z = z + z2 4, 2 where he square roo z 2 4 s chosen so ha m sc (z) C + for z C + and z 2 4 z as z. Clearly, we have 1 m sc (z)+ +z = 0. m sc (z) Defnon 2.6 (Resolven(Green funcon)). Gven a real symmerc marx H we defne s Green funcon or resolven, G(z), and he normalzed race of s Green funcon, m H, by G H (z) G(z) := (H zi) 1, m H (z) m(z) := 1 TrGH (z), (2.10) where z = +η C + and I s he deny marx. Denong by λ 1 λ 2 λ he ordered egenvalues of H, we noe ha m H s he Seljes ransform of he emprcal egenvalue measure of H, µ H, defned as µ H := 1 δ λ. =1 Fnally, we nroduce he domans n he upper-half plane 2.2 Man resuls := {z = +η C + : < 3,0 < η 3}, (2.11) D l := {z = +η C + : < 3, 1+l < η 3}. (2.12) Our frs man resul s he local law for m H, he normalzed race of G H (z), up o he specral edges. Theorem 2.7 (Srong local law). Le H sasfy Assumpon 2.1 wh φ > 0. Then, here exs an algebrac funcon m : C + C + and he deermnsc number 2 L < 3 such ha he followng hold: (1) The funcon m s he Seljes ransform of a deermnsc probably measure ρ,.e., m(z) = m ρ (z). The measure ρ s suppored on L,L and ρ s absoluely connuous wh respec o Lebesgue measure wh a srcly posve densy on ( L, L). (2) The funcon m m(z), z C +, s a soluon o he polynomal equaon P 1,z ( m) := 1+z m+ m 2 +q 2( s (4) s +(K 1)s (4) ) d m 4 K = 1+z m+ m 2 +q 2 ξ (4) m 4 = 0. (2.13) 4

5 (3) The normalzed race m(z) of he Green funcon G(z) sasfes he local law unformly on he doman. m(z) m(z) 1 q 2 + 1, (2.14) The funcon m was frs nroduced n 20 o consder a correcon erm o he semcrcle measure n he sparse seng. Some properes of probably measure ρ and s Seljes ransform m are colleced n Lemma 3.4. The local law n (2.14) mmedaely mples esmaes on he local densy of saes of H. For 1 < 2 defne n( 1, 2 ) := 1 { : 1 < λ < 2 }, n ρ ( 1, 2 ) := 2 1 ρ(x)dx. Corollary 2.8 (Inegraed densy of saes). Suppose ha H sasfes Assumpon 2.1 wh φ > 0. Le 1, 2 R, 1 < 2. Then, n( 1, 2 ) n ρ ( 1, 2 ) 1 2 q (2.15) Corollary 2.8 easly follows from Theorem 2.7. The proof s a sandard applcaon of he Helffer-Sjösrand calculus; we refer o Secon 7.1 of 9. As an nermedae sep, we prove a weak local semcrcle law. Whle he weak law for m s ndeed weaker han he srong local law, Theorem 2.7, we have here an enrywse law, whch s beleved o be opomal. Furher, wll also be used as an a pror bound n he proof of Theorem 2.7. Theorem 2.9 (Weak local semcrcle law). Suppose H sasfes Assumpon 2.1. Defne he specral parameer ψ(z) by ψ(z) := 1 q + 1, (z = +η). Then for any suffcenly small l, he evens max j G j(z) ψ(z) (2.16) and hold unformly on he doman D l. max j G (z) m ψ(z), (2.17) m(z) m sc (z) 1 q + 1 () 1/3 (2.18) Remark We can exend Theorem 2.9 o doman as n he proof of Theorem 2.8 n 10. An mmedae consequence of (2.17) of Theorem 2.9 s he complee delocalzaon of he egenvecors. Corollary Suppose ha H sasfes Assumpon 2.1 wh φ > 0. Denoe by (u H ) he l2 -normalzed egenvecors of H. Then, max 1 uh 1. (2.19) For he proof, we refer o he proof of Corollary 3.2 of 12. From he srong law, we can derve an upper bound on he norm of H conanng he deermnsc refnemen o he semcrcle law. 5

6 Theorem Suppose ha H sasfes Assumpon 2.1 wh φ > 0. Then, where ±L are he endpons of he suppor of he measure ρ gven by H L 1 q /3, (2.20) L = 2+ ξ(4) q 2 +O(q 4 ). (2.21) Our las man resul saes ha he flucuaons of he rescaled larges egnevalue of he sochasc block model are gven by he Tracy Wdom law when he sparsy parameer q sasfes q 1/6. Theorem Suppose ha H sasfes Assumpon 2.1 wh φ > 1/6. Denoe by λ H 1 he larges egenvalue of H. Then ( lm P 2/3( λ H 1 L ) ) s = F 1 (s) (2.22) where L s gven n (2.21) and F 1 s he cumulave dsrbuon funcon of he GO Tracy Wdom law. We furher remark ha all our resuls also hold for complex Herman balanced generalzed sparse random marces whou any change excep ha he lmng edge flucuaon s gven by GU Tracy Wdom law. 3 Sraegy and oulne of he proof In hs secon, we brefly oulne he sraegy of our proofs for he resuls n Secon Man sraegy for he proof As llusraed n Secon 3 of 20, a good esmae on he expecaon of a suffcenly hgh power of he quadrac polynomal 1+zm+m 2 s enough for he proofof he sronglocal law. To oban such an esmae, we expand he erm 1+zm by usng a smple deny 1+zG = H k G k. (3.1) k=1 In he expanson, whch was called he resolven expanson n 20, s no easy o fully expand he erms wh hgh powers, and he man dea n 20 was o nroduce he recursve momen esmae ha esmaes 1+zm+m 2 D by he lower momens 1+zm+m 2 D l for l 1. When used ogeher wh he resolven expanson, makes he rackng of he hgher order erms much smpler. In he acual esmae of he momens, we use a generalzed verson of Sen s lemma, whch was nroduced n 24. I was used n he sudy of he lnear egenvalue sascs of random marces 7,22 and also he jon convergence of he larges egenvalue and he lnear sascs 4. Lemma 3.1 (Cumulan expanson, generalzed Sen s lemma). Fx l and le F C l+1 (R;C + ). Le Y be a cenered random varable wh fne momens o order l+2. Then, YF(Y) = l r=1 κ (r+1) (Y) F (r) (Y)+Ω l (YF(Y)), (3.2) r! where denoes he expecaon wh respec o Y, κ (r+1) (Y) denoes he (r+1)-s cumulan of Y and F (r) denoes he r-h dervave of he funcon F. The error erm Ω l (YF(Y)) sasfes Ω l (YF(Y)) C l Y l+2 sup F (l+1) () +C l Y l+2 1( Y > Q)sup F (l+1) (), (3.3) Q R where Q > 0 s an arbrary fxed cuoff and C l sasfes C l (Cl) l /l! for some numercal consan C. For more deal of he acual applcaon of he mehods explaned n hs subsecon, we refer o 18,20. 6

7 3.2 Weak local semcrcle law The frs obsacle we encouner n he proof of he srong local law s he lack of a pror esmaes n he expanson. We follow he convenonal sraegy, developed n 12, 13, based on Schur complemen formula and self-conssen equaons. However, he bound n he weak local semcrcle law s no as srong as he one obaned n 13, due o he sparsy, bu comparable wh he weak local law n 10. The weak law, Theorem 2.9, s proved n Secon Srong local law The man echncal dffculy of he proof he srong local law les n ha he enres of H are no dencally dsrbued. For example, f we use he cumulan expanson on he rgh sde of (3.1), we ge H k G k = l r=1 κ (r+1) k (r+1) k G k +Ω l (H k G k ) r! = κ (2) k G kkg +κ (2) k G2 k + l r=2 κ (r+1) k (r+1) k G k +Ω l (H k G k ), r! where Ω l s he error erm n he generalzed Sen s lemma, Lemma 3.1. In he homogeneous case where κ (2) k are dencal, he frs erm n he rgh hand sde reduces o m2 afer averagng over ndces and k. In our model, however, κ (2) k depends on he choce of and k and hence he ndces do no decouple even afer he expanson. If he weak law were good enough so ha he error from he subsuon of G kk by m s neglgble, he analyss mgh work even wh he absence of he decouplng mechansm, bu Theorem 2.9 s no enough n ha purpose, and moreover, s beleved o be opmal. In hs paper, explong he communy srucure of he model, we decompose he sum no wo pars, one for he case where and k are n he same communy and he oher where and k are no n he same communy. For each sum, we replace he dagonal enres of he resolven G by m f he error from he replacemen s neglgble. If he error s oo large, we decompose agan by applyng he communy srucure. The number of he dagonal enres of G ncreases n each sep, and he erms wh enough dagonal enres can be handled by he subsuon (by m) even wh our local law. The deal can be found n Secon 6, especally n Subsecon Tracy Wdom lm and Green funcon comparson The dervaon of he Tracy Wdom flucuaon of he exremal egenvalues from he srong local law s now a sandard procedure n random marx heory. In hs paper, we follow he approach n 20, based on he Dyson marx flow. For he sake of compleeness, we brefly oulne he man deas of he proof. To prove he Tracy Wdom flucuaon, we frs noce ha he dsrbuon of he larges egenvalue of H may be obaned as he expecaon of a funcon of Imm(z). Then, we use he Green funcon comparson mehod o compare he edge sascs of he sochasc block model and generalzed Wgner marx whose frs and second momens mach wh our model. More precsely, for a gven sochasc block model H 0, we consder he Dyson marx flow wh nal condon H 0 defned by H := e /2 H e W G, ( 0), (3.4) where W G s a generalzed Gaussan Wgner marx ndependen of H 0, wh vanshng dagonal enres. The local edge sascs of W G wh vanshng dagonal follows he GO Tracy Wdom sascs; see Lemma 3.5 of 20 and Theorem 2.7 of 6. Along he flow, we rack he change of he expecaon of a funcon of Imm(z). Takng he deermnsc shf of he edge no consderaon, we fnd ha flucuaon of he exremal egenvalues of H do no change over, whch esablshes he Tracy Wdom flucuaon for H 0. The analyss along he proof requres he srong local law for he normalzed race of he Green funcon of H, defned as G (z) = (H ) 1, m (z) = 1 (G ) (z), (z C + ). (3.5) =1 7

8 We noe ha H s also a balanced generalzed sparse random marx. To check hs, le κ (k),j be he k-h cumulan of (H ) j. Then, by he lneary of he cumulans under he addon of ndependen random varables, we have κ (1),( ) = 0, κ(2),( ) C and κ(k),( ) = e k/2 κ (k) ( ) for k 3. In parcular, we have he bound κ (k) where we nroduced he me-dependen parameer,( ) e (Ck)ck, (k 3), (3.6) q k 2 q := qe /2, ζ := K (κ(2),s κ(2),d ). (3.7) The srong local law for H s as follows: Defne a polynomal P z, of m wh parameers z and by ( P z, (m) := 1+zm+m 2 +e q 2 ξ (4) m 4)( ) (z +m+ζ m) 2 ζ (1+mz +m 2 ) =:P 1,z, (m)p 2,z, (m). (3.8) Proposon 3.2. Le H 0 sasfy Assumpon 2.1 wh φ > 0. Then, for any 0, here exs deermnsc number 2 L < 3 and an algebrac funcon m : C + C + such ha he followng hold: (1) The funcon m s he Seljes ransform of a deermnsc probably measure ρ,.e., m (z) = m ρ (z). The measure ρ s suppored on L,L and ρ s absoluely connuous wh respec o Lebesgue measure wh a srcly posve densy on ( L,L ). (2) The funcon m m (z), z C +, s a soluon o he polynomal equaon ( (4) s P 1,,z ( m ) := 1+z m + m 2 +e q 2 s +(K 1)s (4) ) d m 4 K = 1+z m + m 2 +e 2 q 2 ξ (4) m 4 = 0. (3.9) (3) The normalzed race of he Green funcon sasfes he local law m (z) m (z) 1 q 2 unformly on he doman and unformly n 0,6log. We remark ha Theorem 2.7 s a specal case of Proposon The deformed measure ρ and s Seljes ransform + 1, (3.10) Several properes of m, defned n Proposon 3.2, are crucal n he proof of he Tracy Wdom flucuaon, especally he square-roo decay a he edge of he specrum and he deermnsc shf of he edge, In hs subsecon, we collec some mporan properes of m. We frs nroduce some basc properes of m sc, he Seljes ransform of he semcrcle measure. Lemma 3.3 (Basc properes of m sc ). Defne he dsance o he specral edge κ κ() := 2. (3.11) Then for z D l we have and m sc (z) 1, 1 m 2 sc κ+η (3.12) { κ+η f 2 Im m sc (z) η κ+η f 2. (3.13) Moreover, for all z wh Im z > 0, m sc (z) = m sc (z)+z 1 1. (3.14) 8

9 Proof. The proof s an elemenary calculaon; see Lemma 4.2 n 11. ow we nroduce some properes of m. Recall ha m s a soluon o he polynomal equaon P 1,,z ( m ) = 0 n (3.9). Lemma 3.4 (Lemma 4.1 of 20). For any fxed z = + η and any 0, he polynomal equaon P 1,,z (w ) = 0 has a unque soluon w w (z) sasfyng Imw > 0 and w 5. Moreover, w has he followng properes : (1) There exss a probably measure ρ such ha he analyc connuaon of w concdes wh he Seljes ransform of ρ. (2) The probably measure ρ s suppored on L,L, for some L 2, has a srcly posve densy nsde s suppor and vanshes as a square-roo a he edges,.e. leng κ κ () := mn{ +L, L }, (3.15) we have ρ () κ 1/2 (), ( ( L,L )) (3.16) Moreover, L = 2+e q 2 ξ (4) +O(e 2 q 4 ) and L = 2e q 2 ξ (4) +O(e 2 q 4 ), where L denoes he dervave wh respec o of L. (3) The soluon w sasfes ha Imw ( +η) κ +η f L,L, η Imw ( +η) κ +η f / L,L. (3.17) Remark 3.5. (Remark 4.3 of 20) For z, we can check he sably condon z+w > 1 6 of he lemma snce z +w = 1+e 2 q 2 ξ (4) w 4 w and w < 5. n he proof (3.18) 4 Proof of weak local law 4.1 Prelmnares In hs secon, we prove Theorem 2.9. Unlke srong local semcrcle law for sochasc block model, we can prove he weak local semcrcle law under weaker condon. More precsely, we do no need any assumpon abou he communy srucure. Therefore, n hs secon, we consder generalzed sparse random marces defned as follows: Assumpon 4.1 (Generalzed sparse random marx). Fx suffcenly small φ > 0. A generalzed sparse random marx, H = (H) j s a symmerc marx whose dagonal enres are almos surely zero and whose off-dagonal enres are ndependen, up o symmery consran H j = H j, random varables. We furher assume ha each H j sasfy he momen condons wh sparsy parameer q sasfyng H j = 0, H j 2 = σj 2, H j k (Ck)ck qk 2, (k 2), (4.1) We furher assume he normalze condon ha φ q 1/2. (4.2) =1 σ 2 j 9 = 1. (4.3)

10 Recall ha D l := {z = +η C + : < 3, 1+l < η 3}. Throughou hs secon, we use he facor ǫ o absorb numercal consans n he esmaes by allowng ǫ o ncrease by a ny amoun from lne o lne. Moreover, we choose l sasfyng 4φ l 1 and ǫ > 0 srcly smaller han φ > 0, where φ > 0 s he fxed parameer appearng n (4.2). If we ake φ suffcenly small, hen Theorem 2.9 saes ha (2.16), (2.17) and (2.18) holds on D l for suffcenly small l. In oher words we can clam ha Theorem 2.9 vald on D l for any (small) l. We defne he z-dependen quanes v k := G kk m sc, v := 1 Our goal s o esmae he followng quanes, Λ d := max k v k = m m sc. k=1 v k = max G kk m sc, Λ o := max G kl, Λ := m m sc. (4.4) k k l Defnon 4.2 (Mnors). Consder general marces whose ndces le n subses of {1,...,}. For T {1,...,} we defne H (T) as he ( T ) ( T ) marx H (T) = (H j ),j {1,...,}\T. IsmporanokeepheorgnalvaluesofhemarxndcesnhemnorH (T), noodenfy{1,...,}\t wh {1,..., T }. We se (T) :=. If T = {a}, we abbrevae ({a}) by (a) n he above defnon; smlarly, wre (ab) nsead of ({a,b}). We also defne he Green funcon of H (T) as :/ T G (T) j (z) := (H(T) z) 1 j. Defnon 4.3 (Paral expecaon). Le X X(H) be a random varable and h = (H j ) j=1. For {1,...,} we defne he operaons and I hrough For T {1,...,}, we nroduce he followng noaons: X := (X h ), I X := X X. (4.5) Z (T) j := T k,l H k G (T) kl H lj, K (T) j := H j zδ j Z (T) j. (4.6) We abbrevae Z := I Z () = I The followng formulas wh hese noaons were proved n Lemma 4.2 of 12. () k,l H k G () kl H l. (4.7) Lemma 4.4 (Self-conssen permuaon formulas). For any Herman marx H and T {1,...,} he followng denes hold. If,j,k / T and,j k hen If,j / T sasfy j, hen G (T) j = G (Tk) j +G (T) k G(T) kj (G(T) kk ) 1. (4.8) G (T) =(K (T) ) 1 = (H z Z (T) ) 1, (4.9) G (T) j = G (T) jj G(jT) K (jt) j 10 = G (T) G (T) jj K (jt) j. (4.10)

11 We also have he Wald deny j G j 2 = Im G. (4.11) η The followng rval esmae provde he bound for he marx elemen of H. Lemma 4.5. We have H j 1 q. Proof. The proof follows drecly from he Markov s nequaly and he momen condons for H. We nroduce he large devaon esmaes concernng ndependen random varables whose momens decay slowly. Ther proofs are gven n Appendx of 10. Lemma 4.6 (Large devaon esmaes). Le (a ) and (b ) be ndependen famles of cenered random varables sasfyng a p Cp q p 2, b p Cp q p 2 (4.12) for 2 p (log) A0 loglog. Then for all ǫ > 0, any A C and B j C we have wh hgh probably ( ) A a ǫ max A 1 1/2 + A 2, (4.13) q =1 =1 a B a σ 2 B ǫb d q, (4.14) =1 =1 a B j a j 1 j ǫ B ( o 1 q + ) 1/2 2 B j 2, (4.15) j a B j b j ǫ B d q 2 + B ( o 1 q + ) 1/2 2 B j 2, (4.16),j=1 where σ 2 denoes he varance of a and B d := max B, B o = max B j. j 4.2 Self-conssen perurbaon equaons Followng 11, we defne he followng quanes: j A := σg 2 + σ 2 G j G j j, (4.17) G j Υ := A +h Z (4.18) andrecallhe defnon ofz n(4.7). Usng (4.8) and(4.9), wecaneaslyobanheself-conssenequaons for he devaon m sc of he dagonal marx elemens of he resolven; v = G m sc = ow we defne he exceponal (bad) even 1 z m sc ( j σ2 j v j Υ ) m sc. (4.19) B = B(z) := {Λ d (z)+λ o (z) (log) 2 }, (4.20) 11

12 and he conrol parameer Ψ(z) := Λ(z)+Im m sc (z). (4.21) On B c, we have Ψ(z) C 2φ by defnon of D l. We collec some basc properes of he Green funcon n he followng elemenary lemma whch were proved n Lemma 3.5 of 13 and Lemma 3.12 of 11. Lemma 4.7. Le T be a subse of {1,...,} and / T. Then here exss a consan C = C T dependng on T, such ha he followng hold n B c for any fxed T and for suffcenly large. G (T) kk m sc Λ d +CΛ 2 o for all k / T (4.22) 1 C G(T) kk C for all k / T (4.23) max k l G(T) kl CΛ o (4.24) max A C +CΛ2 o (4.25) Wenoehaallquanesdependonhespecralparameerz andheesmaesareunformnz = +η. 4.3 smae of he exceponal evens Lemma 4.8. For fxed z D l and any small ǫ > 0, we have on B c wh hgh probably ( ) ǫ Λ o C q +ǫ Ψ. (4.26) Proof. Usng (4.10),(4.23),(4.24),(4.8) and Lemma 4.5 we ge on B c, wh hgh probably G j = G G () jj (H j Z j ) C( H j + Z j ) C ǫ (j) q +C H k G j k,l C ǫ q +ǫ kl H lj Λ o q + C q 2 + ( (j) 1 2 k,l k,l ) 1/2 kl 2 G (j) ( C ǫ (j) Λ o 1 ) 1/2 q +Cǫ +C ǫ q 2 G (j) kl 2 (4.27) where he las sep follows usng (4.1) and (4.16). From (4.8) and (4.23), on B c we have Thus on B c, (j) 1 2 k,l G (j) kk = G kk +O(Λ 2 o). (4.28) G (j) kl 2 = 1 (j) 2 η k Im G (j) kk Im m + CΛ2 o (4.29) by (4.11). Therefore, akng he maxmum over j, we ge max G j = Λ o C ǫ j q +o(1)λ o +C ǫ Im m, (4.30) 12

13 snce l. Hence we oban on B c wh hgh probably ( ) ǫ Λ o C q +ǫ Ψ. (4.31) Lemma 4.9. For any z D l, we have on B c wh hgh probably ( ) ǫ Z C q +ǫ Ψ, (4.32) ( ) Z j ǫ (j) C q +ǫ Ψ, (4.33) where j. Proof. By defnon of Z we have () Z = k () ( H kk 2 H k 2 )G () kk + By he large devaon esmae (4.14) and (4.15), we can ge Z Cǫ +C ǫ Λ ( () o 1 q q + 2 Cǫ q + Cǫ Λ o q k l G () kl k l H k G () kl H l. 2) 1/2 + Cǫ Λ o +C ǫ Im m, wh hgh probably where we used (4.29). Usng Lemma 4.8 we can fnsh he proof of (4.32). Smlarly usng (4.16) we have (j) Z (j) j = H k G (j) kl H l k,l ǫ max G(j) kk q 2 ( ǫ C q 2 + Λ o q + + max G(j) kl q Im m+cλ 2 o ( C ǫ q 2 + Λ o q +Ψ+ CΛ ) o ( ) 1 C ǫ q +Ψ, wh hgh probably where we used Lemma 4.8 a he las sep. We defne he evens { Ω h := { Ω d := max Ω o := max H j ǫ 1,j q ( ǫ Z C { max j Z(j) j C ) } { =1 )} q +ǫ Ψ, ( )} ǫ q +ǫ Ψ, G (j) kl 2 j 1/2 H ǫ ( } 1 q +1), (4.34) 13

14 and le Ω(z) := Ω h (Ω d Ω o ) B c. (4.35) Then by (4.32), (4.33) and he large devaon esmae (4.13) we can show ha Ω c holds wh hgh probably. Lemma For any z D l, we have on B c wh hgh probably ( ) ǫ Υ C q +ǫ Ψ. (4.36) Proof. On B c, we have A C +CΛ2 o and H j 1 q. Thus, wh hgh probably, we have Υ A + H + Z C +CΛ2 o + Cǫ q +C ǫ ( 1 q +Ψ ). (4.37) Invokng (4.26) we can ge ( ) 1 Υ C + ǫ q + ǫ q +ǫ Ψ ( ) ǫ C q +ǫ Ψ 1 (4.38) wh hgh probably. 4.4 Analyss of he self-conssen equaon From (4.19), we oban he followng equaon for v ( ( ) 2 ( ) 3 v = m 2 sc σjv 2 j Υ )+m 3 sc σjv 2 j Υ +O σjv 2 j Υ. (4.39) j j By assumpon, j σ2 j = 1, e = (1,1,...,1) s he unque egenvecor of B wh smple egenvalue 1. Defne he parameer g = g(z) := max{δ +, 1 Re m 2 sc (z) }. (4.40) and we recall he followng basc lemma ha was proven n Lemma 4.8 of 11. Lemma The marx I m 2 sc(z)b s nverble on he subspace orhogonal o e. le u be a vecor whch s orhogonal o e and le w = (I m 2 sc (z)b)u, hen for some consan C ha only depends on δ. u Clog w g(z) The followng lemma esmaes he devaon of v from s average v. Lemma Fx z D l. If n some se Ξ holds ha Λ d j q (log) 3/2, (4.41) 14

15 hen n he se Ξ B c, we have wh hgh probably. Proof. Recall ha max v v Clog g Clog g 3 ( ( ) ) Λ 2 + ǫ q +ǫ Ψ+ (log)2 ǫ 2 g 2 q +ǫ Ψ ) (Λ 2 + ǫ q +ǫ Ψ, (4.42) v = m 2 sc( j σ 2 jv j Υ )+m 3 sc( j σ 2 jv j Υ ) 2 +O( j σ 2 jv j Υ ) 3. Usng prevous bound for Υ, we can wre v = m 2 sc on some se Ξ such ha Λ d = m 2 sc and follows from (4.43) ha j j σ 2 j v j +O( ǫ q +ǫ Ψ)+O( ǫ q +ǫ Ψ+Λ 2 d ) σ 2 jv j +O( ǫ q +ǫ Ψ)+O(Λ 2 d), (4.43) q (log) 3/2. Takng he average over, we have v v = m 2 sc (1 m 2 sc )v = O(ǫ q +ǫ Ψ)+O(Λ 2 d ), (4.44) Applyng lemma 4.11 for u = v v, we ge herefore Wh (4.41), hs mples j σj 2 (v j v)+o( ǫ q +ǫ Ψ)+O(Λ 2 d ). (4.45) max v v Clog g Λ d Λ+ Clog g Λ d Λ+ Clog g ( ǫ q +ǫ Ψ+Λ 2 d ( ) ǫ q +ǫ Ψ+Λ 2 d. ), (4.46) ( ) ǫ q +ǫ Ψ+Λ 2. (4.47) Usng (4.47) o bound (4.46), we ge he frs nequaly of (4.42). For he second nequaly, snce we have he second one follows. and From hs lemma, we can observe ha holds wh hgh probably. ǫ q +ǫ Ψ ǫ, max v v Clog Λ d Λ+Clog ) (Λ 2 + ǫ q +ǫ Ψ, (4.48) ) (Λ 2 + ǫ q +ǫ Ψ, (4.49) 15

16 Lemma Fx z D l. Defne Z := 1 =1 Z. Then n he se B c we have ( ) ( ( ) ) Λ (1 m 2 sc)v = m 3 scv 2 +m 2 2 scz+o +O (log) 3 ǫ 2 log q +ǫ Ψ, (4.50) wh hgh probably. Proof. Defne Ψ := ǫ q + ǫ Ψ. From Λ (log) 2 and Lemma 3.3, we have Im m sc (z) cη wh some posve consan c. Hence ǫ Ψ = ǫ q +ǫ Ψ ǫ. (4.51) By defnon of Υ, Lemma 4.7 and Lemma 4.8, on B c we have wh hgh probably. Recall ha v = m 2 sc ( j Υ = A +h Z ( ) 1 = h Z +O +Λ2 o = h Z +O( Ψ 2 ). (4.52) σ 2 j v j Υ )+m 3 sc ( j σ 2 j v j Υ ) 2 +O( j σ 2 j v j Υ ) 3. From prevous observaon, we can bound he las erm of hs equaon by O( Ψ 3 + Λ 3 d ) whch s bounded by O( Ψ 2 +Λ 3 ), usng (4.49) and (4.51). Hence n B c v = m 2 sc ( j σ 2 j v j Υ )+m 3 sc ( j σ 2 j v j Υ ) 2 +O( j σ 2 j v j Υ ) 3 = m 2 sc j σ 2 j v j +Z h +O( Ψ 2 ) +m 3 sc j 2 σj 2 v j +O( Ψ) +O( Ψ 2 +Λ 3 ), (4.53) holds wh hgh probably. Summng up and dvdng by, we have v = m 2 scv+m 2 scz+o( Ψ 2 +Λ 3 )+ 1 m3 2 sc σjv 2 j +O( Ψ), (4.54) j where we used 1 =1 h 2 ǫ (ǫ Ψ) 2 Ψ 2 wh hgh probably by (4.13). Wrng v j = (v j v)+v, wh AM-GM nequaly, he las erm of (4.54) can be esmaed by 1 m3 2 sc σjv 2 j +O( Ψ) j ( = m 3 sc v 2 +O ( ((log)(λ 2 + Ψ)) 2) ) +O( Ψ 2 )+v(log)(λ 2 + Ψ)+v Ψ+(log)(Λ 2 + Ψ) Ψ = m 3 sc v2 +O ( (log)λ(λ 2 + Ψ) ) +O ( (log) 2 Ψ2 ), where we used (4.42) and v = Λ. Thus (4.55) (1 m 2 sc)v = m 3 scv 2 +m 2 scz+o ( (log)λ(λ 2 + Ψ) ) +O ( (log) 2 Ψ2 ) +O(Λ 3 + Ψ 2 ) ( ) Λ = m 3 scv 2 +m 2 2 scz+o +O ((log) ) 3 Ψ2 log ( ) ( ( ) ) Λ = m 3 sc v2 +m 2 2 sc Z+O +O (log) 3 ǫ 2 log q +ǫ Ψ, (4.56) holds wh hgh probably, usng Λ (log) 2 n B c. 16

17 4.5 Dchoomy esmae for Λ In B c, max Z = O( ǫ q +ǫ Ψ) holds wh hgh probably. Therefore usng ǫ q +ǫ Ψ ǫ, we have ( ) ( ) Λ (1 m 2 sc)v = m 3 scv 2 2 ǫ +O +O log q +ǫ Ψ, (4.57) wh hgh probably. Lemma Le η 2. Then for z D l we have ( ) ǫ Λ d (z)+λ o (z) C q + ǫ (log) 2. (4.58) Proof. Fx z D l. For arbrary T {1,...,} we have he rval bound G (T) j 1 η, m(t) 1 η, m sc 1 η. (4.59) Frs we esmae Λ o. Recall (4.27). We have, wh hgh probably, G j C ǫ q +o(1)λ o +C ǫ Im m (j) Takng maxmum over j hen we ge wh hgh probably. ow we esmae Λ d. From he defnon of Υ, C ǫ q +o(1)λ o + Cǫ. (4.60) Λ o C ǫ q + Cǫ (4.61) Υ Cǫ q Usng (4.10), we can esmae A wh hgh probably by A C G + σj 2 G j G j G j + Z + A. (4.62) C + σj 2 G j G () jj K(j) j j C + σj 2 Λ 1 ( ) o H j + Z (j) j η j ( 1 O +Λ ǫ ( 1 o q +Λ o ǫ q 2 + Λ o q + 1 )) C ǫ q, (4.63) where he las sep we used ha wh hgh probably ( Z (j) C j ǫ q 2 + Λ o q + C ), (4.64) as follows from he large devaon esmae (4.16). Smlar as (4.32), usng (4.14) and (4.15), we can ge ( ) ǫ Z C q + ǫ (4.65) wh hgh probably. Thus we fnd wh hgh probably ( ) ǫ Υ C q + ǫ. (4.66) 17

18 Le Υ = max Υ. Then for all n, we can wre he self conssen equaon (4.19) as v n = σ2 n v +O(Υ) (z +m sc + σ2 n v +O(Υ))(z +m sc ). (4.67) We have Λ d 1 snce Λ d = max v = max G m sc max( G + m sc ) 2 η 1. Therefore he denomnaor of v n s larger han ( (2 1)+O(Υ) ) 2 3/2 for suffcenly large snce z +m sc = m sc 1 2. Hence v n σ2 n v +O(Υ) Λ d +O(Υ). (4.68) 2/3 3/2 Takng maxmum over n, we ge ( ) ǫ Λ d C q + ǫ wh hgh probably. ow he esmae (4.58) follows from (4.61) and (4.69). (4.69) We nroduce he followng noaons α := 1 m 2 sc m 3, sc ǫ β := + ǫ q () 1/3, (4.70) where α and β depend on he parameer z. For any z D l we have he bound β 1 2 φ. From Lemma 3.3, follows ha for any z D l here s a consan K 1 such ha 1 κ+η α(z) K κ+η. (4.71) K Snce κ+η s ncreasng and β( +η) s decreasng n η, we know ha, for any fxed and U > 1, κ+η = 2U 2 Kβ( +η) has a unque soluon η = η(u,) whch sasfes η 1. Lemma 4.15 (Dchoomy). There exs a consan U 0 such ha for any fxed U U 0, here exss consan C 1 (U) such ha he followng hold for any z D l. on B c (z) wh hgh probably. Λ(z) Uβ(z) or Λ(z) α(z) U f η η(u,) (4.72) Λ(z) C 1 (U)β(z) f η < η(u,) (4.73) Proof. Fx z = +η D l. From (4.57), wh hgh probably, we have (1 m 2 sc ) ( ) ( ) Λ m 3 v = v 2 2 ǫ +O +O sc log q +ǫ Ψ ( ) ( ) Λ = v 2 2 ǫ +O +O log q + β 3 α+β 3 Λ ( ) Λ = v 2 2 +O +C (βλ+αβ +β 2 ), (4.74) log for some consan C 1. Se U 0 = 9(C +1) 18. In oher words, on B c we have wh hgh probably (1 m 2 sc ) ( ) Λ m 3 v v 2 2 O +C (βλ+αβ +β 2 ). (4.75) sc log 18

19 Case 1 : η η. From he defnon of η and C, Therefore from (4.75) Ths mples β α 2U 2 α α. (4.76) 2c αλ 2Λ 2 +C (βλ+αβ +β 2 ) Hence we have eher αλ 2 4Λ2, or whch mples (4.72). Case 2 : η < η. From he defnon of η, Therefore 2Λ 2 + αλ 2 +2C αβ. (4.77) αλ 4Λ 2 +4C αβ. (4.78) α 2U 2 K 2 β. Λ 2 2αΛ+2+C (βλ+αβ +β 2 ) C βλ+c β 2, for some consan C = C (U). Ths quadrac nequaly mples (4.73), Λ C 1 (U)β, for some U-dependen consan C 1. Ths fnshes he proof. 4.6 Connuy argumen αλ 2 4c αβ, (4.79) Choose a decreasng fne sequence η k D l, k = 1,2,...,k 0, wh k 0 C 8, η k η k+1 8, η 1 = 2, and η k0 = 1+l. Fx wh 3 and se z k = +η k. We fx U U 0 and recall he defnon of η from Lemma Consder he frs case of z 1. For large, s easy o show ha η 1 η for any 3. Therefore Lemma 4.14 and Lemma 4.15 mply ha B c (z 1 ) and Λ(z 1 ) Uβ(z 1 ) hold wh hgh probably. For general k we have he followng : Lemma Defne Ω k := B c (z k ) {Λ(z k ) C (k) (U)β(z k )} where { C (k) U f η k η(u,) (U) = C 1 (U) f η k η(u,). (4.80) Then P(Ω c k) 2k D. (4.81) Proof. We wll use nducon on k, he case k = 1 has been checked. Assume ha (4.81) holds for k. ow we need o esmae P(Ω c k+1 ) A+B +P(Ωc k ), (4.82) where we defne A := P(Ω k B(z k+1 )) = P Ω k { Λ d (z k+1 )+Λ o (z k+1 ) > (log) 2}, B := P ( Ω k B c (z k+1 ) Ω c ) k+1 = P Ω k B c (z k+1 ) { Λ(z k+1 ) > C (k+1) (U)β(z k+1 ) }. 19

20 Frs we esmae A. For all,j G j (z k+1 ) G j (z k ) z k+1 z k sup G j (z) z 8 sup (Im z) 2 6. (4.83) Hence on Ω k wh hgh probably z D l z D l 1 Λ d (z k+1 )+Λ o (z k+1 ) Λ d (z k )+Λ o (z k )+2 6 ) Λ(z k )+Clog (Λ(z k ) 2 + ǫ q +ǫ Ψ(z k ) +2 6 ) C (k) (U)β(z k )+Clog (Λ(z k ) 2 + ǫ q +ǫ Ψ(z k ) (log) 2, (4.84) where he second sep we used (4.26) and (4.49). Hence we can conclude ha A holds wh hgh probably. ow we consder B. Frs, assume ha η k+1 η. Then Λ(z k+1 ) Λ(z k ) Uβ(z k+1). (4.85) Thus on Ω k we ge Λ(z k+1 ) Λ(z k )+ 6 Uβ(z k ) Uβ(z k+1). (4.86) If η k+1 η, hen by (4.76) and (4.86), and from dchoomy lemma, we fnd ha Λ(z k+1 ) < α(z k+1), (4.87) U Λ(z k+1 ) Uβ(z k+1 ) (4.88) holds wh hgh probably on Ω k B c (z k+1 ). If η k+1 < η, hen (4.86) mmedaely mples Λ(z k+1 ) C (k+1) (U)β(z k+1 ). (4.89) Hence when η k+1 η, B holds wh hgh probably. For η k < η case, hs mples η k+1 < η, so by dchoomy lemma Λ(z k+1 ) C (k+1) (U)β(z k+1 ). (4.90) We have herefore proved ha and hs mples (4.81). P(Ω c k+1) 2 D +P(Ω c k), (4.91) ow we are ready o prove our man heorem. Take a lace L D l such ha L C 6 and for any z D l here exs z L sasfyng z z 3. From he Lpschz connuy of he map z G j (z) and z m sc (z) wh a Lpschz consan bounded by η 2 2, we have G j (z) G j ( z) z z η 2 1. (4.92) We also have m(z) m( z) z z η 2 1. (4.93) By Lemma 4.16, we have for some large consan C P {Λ( z) Cβ( z)} 1 D. (4.94) z L 20

21 Hence wh (4.92) and β 1 we fnd P {Λ(z) > Cβ(z)} D, (4.95) z D l for some consan C. Usng smlar argumen, we can also ge P B c (z) D. (4.96) z D l In oher words we proved (2.18) whch s { } P m(z) m sc (z) > Cǫ + Cǫ D. q () 1/3 From (4.26), we oban ha z D l Λ o Cǫ q holds wh hgh probably. Therefore he smlar argumen gves { } P max G j(z) > Cǫ + Cǫ D. j q z D l + Cǫ (4.97) Fnally, from (4.42) and (4.81), we can smlarly conclude ha { } P max G (z) m > Cǫ + Cǫ D. q z D l Ths concludes he proof of Theorem Proof of Proposon 3.2 and Theorem Proof of Proposon 3.2 In hs secon we prove Proposon 3.2. Recall he subdoman D l of and he defnon of he polynomal P P,z,P 1 P 1,,z and P 2 P 2,,z n (3.8). We have he followng resul. Lemma 5.1 (Recursve momen esmae). Fx φ > 0 and fx any 0. Le H 0 sasfes Assumpon 2.1. Then, for any D > 10 and small ǫ > 0, he normalzed race of he Green funcon, m m (z), of he marx H sasfes P(m ) 2D ǫ ( 1 q 4 + ǫ q 1 2D s 2 s=2 s =0 + Imm ) P(m ) 2D 1 + ǫ/8 q 1 m m 2 P(m ) 2D 1 + ǫ q 8D ( Imm ) 2s s 2 P (m ) s P(m ) 2D s (5.1) 2D ( 1 + ǫ + 1 ( Imm ) 1/2 1 + q s=2 unformly on he doman D l, for suffcenly large. q 2 )( Imm ) s 1 P (m ) s 1 P(m ) 2D s, The proof of Lemma 5.1 s posponed o Secon 6. We now ready o prove Proposon

22 Proof of Proposon 3.2 and Theorem 2.7. Fx 0,6log. Le m be hesoluonw n Lemma3.4. The frs wo pars were already proved n Lemma 3.4, so suffces o prove he hrd par of he proposon. Snce m 1, m 1, here exs posve consan c 1,c 2 such ha 1 P 2 ( m ) c 1 c 1 (5.2) 1 +O( 1 c 2 q 2) P ( m ) c 2 +O( 1 q2). (5.3) We nroduce he followng z- and -dependen deermnsc parameers wh z = +η. We noe ha α 1 (z) := Im m (z), α 2 (z) := P ( m (z)), β := q 2, (5.4) Furher le α 2 P 2 ( m ) P 1 ( m ) 1 c 1 ImP 1 ( m ) 1 c 1 Im m = 1 c 1 α 1 Λ (z) := m (z) m (z), (z C + ). (5.5) oe ha from weak local law for he sochasc block model (2.18), we have ha Λ (z) 1 unformly on D l. Snce P 1 ( m ) = 0, we have P ( m ) = P 1( m )P 2 ( m ). Smlar as n he proof of Lemma 5.1 of 20, we have α 2 = P ( m ) = P 1( m ) P 2 ( m ) κ +η. Recall ha Young s nequaly saes ha for any a,b > 0 and x,y > 1 wh x 1 +y 1 = 1, ab ax x + by y. (5.6) Le D 10 and choose any small ǫ > 0. The sraegy s now as follows. We apply Young s nequaly (5.6) o spl up all he erms on he rgh hand sde of (5.1) and absorb resulng facors of P(m ) 2D no he lef hand sde. For he frs erm on he rgh of (5.1), we ge, upon usng applyng (5.6) wh x = 2D and y = 2D/(2D 1), ha ǫ( Imm ) +q 4 P(m ) 2D 1 (5.7) ǫα 1 +Λ P(m ) 2D 1 + ǫ q 4 P(m ) 2D 1 (2D+1)ǫ 2D β2d (α 1 +Λ ) 2D + (2D+1)ǫ 2D q 8D + 2(2D 1) 2D ǫ 2D 1 P(m ) 2D, snce () 1 β and noe ha he las erm can be absorbed no he lef sde of (5.1). The same dea can be appled o he second erm on he rgh sde of (5.1). Hence we have ǫ/8 q 1 Λ 2 P(m ) 2D 1 (D/4 1)ǫ q 2D Λ 4D + 2D 1 2D 2D ǫ 2D 1 P(m ) 2D. (5.8) To handle he oher erms, we Taylor expand P (m ) around m as Therefore, for some consan C 1, we ge P (m ) α 2 P ( m )(m m ) CΛ 2. (5.9) P (m) α 2 +C 1 Λ, (5.10) 22

23 for all z D l, wh hgh probably. We noe ha, for any fxed s 2, (α 1 +Λ ) 2s s 2 ( α 2 +C 1 Λ ) s ǫ/2 (α 1 +Λ ) s 1 ( α 2 +C 1 Λ ) s 1 ǫ (α 1 +Λ ) s/2 ( α 2 +C 1 Λ ) s/2 wh hgh probably, unformly n D l, snce α 1 c 1 α 2 C and Λ 1. oe ha 2s s 2 s snce s s 2. Therefore for he second lne n (5.1), for 2 s 2D, ǫ q 1 ( Imm ) 2s s 2 P (m ) s P(m ) 2D s ǫ q 1 β s (α 1 +Λ ) 2s s 2 ( α 2 +C 1 Λ ) s P(m ) 2D s (5.11) 2ǫ q 1 β s (α 1 +Λ ) s/2 ( α 2 +C 1 Λ ) s/2 P(m ) 2D s 2ǫ q 1 s 2D β2d (α 1 +Λ ) D ( α 2 +C 1 Λ ) D + 2ǫ q 1 2D s 2D P(m ) 2D unformly on D l wh hgh probably. Smlarly, for he las erm n (5.1), for 2 s 2D, we oban ǫ( ( Imm ) 1/2 1 )( Imm ) s 1 P + q q 2 (m ) s 1 P(m ) 2D s 2ǫ β β s 1 (α 1 +Λ ) s/2 ( α 2 +C 1 Λ ) s/2 P(m ) 2D s (5.12) ) 2D s s ( 2ǫ (2D s)ǫ 4D 2D 2 β 2D (α 1 +Λ ) D ( α 2 +C 1 Λ ) D + 2D s 2D (2D+1)ǫ β 2D (α 1 +Λ ) D ( α 2 +C 1 Λ ) D + ǫ 2D P(m ) 2D, ( (2D s)ǫ 4D 2 ) 2D 2D s P(m ) 2D unformly on D l wh hgh probably where we used ( Imm ) 1/2 1 + q q 2 β. (5.13) From (5.1), (5.7), (5.8), (5.11) and (5.12) P(m ) 2D (2D+1)ǫ β 2D (α 1 +Λ ) D ( α 2 +C 1 Λ ) D + (2D+1)ǫ 2D q 8D (5.14) + (D/4 1)ǫ 2D q 2D Λ 4D +C ǫ 2D P(m ) 2D, for all z D l. Snce he las erm can be absorbred no he lef sde, we evenually fnd P(m ) 2D C (2D+1)ǫ β 2D (α 1 +Λ ) D ( α 2 +C 1 Λ ) D +C (2D+1)ǫ 3Dǫ β 2D α 2 2D + 3Dǫ β 2D Λ 2D + 3Dǫ q 8D unformly on D l, where we used α 1 c 1 α 2 and he nequaly 2D q 8D +C (D/4 1)ǫ 2D + Dǫ/8 q 2D Λ 4D, q 2D Λ 4D (5.15) (a+b) x 2 x 1 (a x +b x ) (5.16) for any a,b 0 and x 1 wh D > 10 o ge he second lne. ow, we am o conrol Λ n erms of P(m ). For ha, from he hrd order Taylor expanson of P(m ) around m o ge P(m ) P ( m )(m m ) 1 2 P ( m )(m m ) 2 CΛ 3, (5.17) snce P( m ) = 0 and P ( m ) 1. Then usng Λ 1 and P ( m ) C +O(q 2 ) we oban Λ 2 α 2 Λ + P(m ), (z D l ). (5.18) 23

24 Takng he 2D-power of he nequaly and usng once more (5.16), we ge afer akng he expecaon Λ 2D 4 2D ǫ/2 α 2 2D Λ 2D +4 2D ǫ/2 P(m ) 2D (5.19) Replacng form (5.15) for P(m ) 2D, for suffcenly large, we oban Λ 4D ǫ α 2 2D Λ 2D + (3D+1)ǫ β 2D α 2 2D + (3D+1)ǫ β 2D Λ 2D + (3D+1)ǫ q 8D + Dǫ/8+ǫ q 2D Λ 4D, (5.20) unformly on D l. Applyng Schwarz nequaly o he frs erm an he hrd erm on he rgh, absorbng he erms o(1)λ 4D no he lef sde and usng (5.13) we ge Λ 4D 2ǫ α 2 4D (3D+2)ǫ β 2D α 2D 2 +(3D+2)ǫ β 4D, (5.21) unformly on D l. Ths esmae can be fed back no (5.15), o ge he bound P(m ) 2D 3Dǫ β 2D α 2 2D + 3Dǫ β 4D Λ 2D + (3D+1)ǫ β 4D +q 2D α 2 4D 5Dǫ β 2D α 2 2D + 5Dǫ β 4D +q 2D α 2 4D, (5.22) unformly on D l for suffcenly large. For any fxed z D l, Markov s nequaly hen yelds P(m ) α 2 β +β 2 +q 1 α 2 2. I hen follows from he Taylor expanson of P(m ) around m n (5.17) ha α 2 (m m )+ P ( m) (m m ) 2 ψλ α 2 β +β 2 +q 1 α 2 2, (5.23) for each fxed z D l, where ψ, defned n Theorem 2.9, sasfes ψ q 2. Unformy n z s easly acheved usng a lace argumen and he Lpschz connuy of m (z) and m (z) on D l. In parcular, for any (small) ǫ > 0 and (large) D here s an even Ξ wh P( Ξ) 1 D such ha for all z D l, α 2 (m m )+ P ( m) (m m ) 2 ǫ ψλ 2 2 +ǫ α 2 β + ǫ β 2 + ǫ q 1 α 2 2, (5.24) on Ξ, for suffcenly large. Recall ha here s a consan C 0 > 1 such ha C0 1 κ ()+η α 2 C 0 κ ()+η, where we can choose C 0 unform n z D l. oe ha, for a fxed, β = β( +η) s a decreasng funcon of η whereas κ ()+η s ncreasng. Hence here s η 0 η 0 () such ha κ()+ η 0 = C 0 q β( + η 0 ). We consder he subdoman D D l defned by D := {z = +η D l : η > η 0 ()}. (5.25) On hs subdoman D, β q 1 α 2, hence we ge from (5.23) ha here s a hgh probably even Ξ such ha and hus α 2 (m m )+ P ( m) (m m ) 2 o(1)λ 2 +3 ǫ q 1 α unformly on D on Ξ. Hence, on Ξ, we have eher When η = 3, s easy o see ha α 2 Λ ( c 2 2 +o(1))λ2 +3 ǫ q 1 α 2 2 α 2 2c 2 Λ or Λ 6 ǫ q 1 α 2, (z D). (5.26) α 2 P 2 ( m) P 1( m) 1 c 1 ( z +2 m C 1 q 2 ) η c 1 = 3 c 1 6 ǫ q 1 α 2, (5.27) 24

25 for suffcenly large. From he a prory esmae, we know ha Λ ψ, we hence fnd ha Λ 6 ǫ q 1 α 2, (5.28) holds for z D on he even Ξ. Pung (5.28) back no (5.15), we oban ha P(m ) 2D 4Dǫ β 2D α 2 2D + 3Dǫ q 8D +q 6D α 2 4D 6Dǫ β 2D α 2 2D + 6Dǫ β 4D, (5.29) for any small ǫ > 0, and large D, unformly on D. oe ha, for z D l \ D, s drec o check he esmae P(m ) 2D 6Dǫ β 2D α 2 2D + 6Dǫ β 4D. Applyng a lace argumen and he Lpschz connuy, we fnd from a unon bound ha for any small ǫ > 0 and large D here exss an even Ξ wh P(Ξ) 1 D such ha α 2 (m m )+ P ( m) (m m ) 2 ǫ ψλ 2 + ǫ α 2 β + ǫ β 2 (5.30) 2 on Ξ, unformly on D l for any suffcenly large. Recallha forfxed, β = β(+η) sadecreasngfuncon ofη, κ ()+η sanncreasngfuncon of η, and η 0 η 0 () sasfes ha κ()+η 0 = 10C 0 ǫ β(+η 0 ). Furher noce ha η 0 () s a connuous funcon. We consder he subdomans of defned by 1 := {z = +η : η η 0 (),10 ǫ }, 2 := {z = +η : η > η 0 (),10 ǫ }, 3 := {z = +η : 10 ǫ }. We consder he cases z 1, z 2 and z 3, and spl he sably analyss accordngly. Le Ξ be a hgh probably even such ha (5.30) holds. oe ha we can choose l suffcenly small ha sasfes D l 1 2. Case 1: If z 1, we noe ha α 2 C 0 κ()+η 10C 2 0 ǫ β( +η). Then, we fnd ha P ( m) Λ 2 α 2 Λ + ǫ ψλ 2 + ǫ α 2 β + ǫ β C0 2 ǫ βλ + ǫ ψλ 2 +(10C0 2 ǫ +1) ǫ β 2, on Ξ. Hence, here s some fne consan C such ha on Ξ, we have Λ C ǫ β, z 1. Case 2: If z 2, we oban ha α 2 Λ ( P ( m) + ǫ ψ)λ 2 + α 2 ǫ β + ǫ β 2, (5.31) 2 on Ξ. We hen noce ha C 0 α 2 κ ()+η 10C 0 ǫ β,.e. ǫ β α 2 /10, so ha α 2 Λ ( P ( m) + ǫ ψ)λ 2 2 +(1+ ǫ ) α 2 β c 2 Λ 2 +(1+ ǫ ) α 2 β (5.32) on Ξ, where we used ha ǫ ψ 1. Hence, on Ξ, we have eher α 2 2c 2 Λ or Λ 3 ǫ β. (5.33) We now follow he dchoomy argumen and he connuy argumen used o oban (5.28). Snce 3 ǫ β α 2 /8 on 2, by connuy, we fnd ha on he even Ξ, Λ 3 ǫ β for z 2. Case 3: Forz 3 weuseha m Imm(z) (z) Imz,z C +, sncem saseljesransformofaprobably measure. Se η := 10 1+ǫ and observe ha m ( +η) η η simm ( +s) s 2 ds+λ ( + η)+ m ( + η). (5.34) 25

26 From he defnon of he Seljes ransform, s easy o check ha s simm ( + s) s monoone ncreasng. Thus, we fnd ha m ( +η) 2 η η Imm ( + η)+λ ( + η)+ m ( + η) C ǫ ( Im m ( + η)+λ ( + η) ) + m ( + η), (5.35) for some C where we used η = 10 1+ǫ o oban he second nequaly. Snce z = + η 1 2, we have Λ ( + η) C ǫ β( + η) C on Ξ. Usng ha m s unformly bounded on, we ge ha, on Ξ, Λ C ǫ β, for all z 3. To sum up, we ge Λ β unformly on for fxed 0,6log. Choosng = 0, we have proved Theorem 2.7. To prove ha hs bound holds for all 0,6log, we use he connuy of he Dyson marx flow. Choosng a lace L 0,6log wh spacngs of order 3, we fnd ha Λ β, unformly on and on L, by a unon bound. Thus, by connuy, we can exend he concluson o all 0,6log and conclude he proof of Proposon Proof of Theorem 2.12 Togeher wh he weak local semcrcle law, Theorem 2.9, a sandard applcaon of he momen mehod yelds he followng weak bound on H ; see e.g. Lemma 4.3 of 10 and Lemma 7.2 of 12. Lemma 5.2. Suppose ha H sasfes Assumpon 2.1 wh φ > 0. Then, We sar wh he upper bound on he larges egenvalue λ H 1 of H. H 2 1 q1/2. (5.36) Lemma 5.3. Le H 0 sasfy Assumpon 2.1 wh φ > 0. Le L be deermnsc number defned n Lemma 3.4. Then, unformly n 0,6log. λ H 1 L 1 q 4 Proof. Fx 0, 6 log. Recall he z-dependen deermnsc parameers + 1 2/3, (5.37) α 1 (z) := Im m (z), α 2 (z) := P ( m (z)), β := q 2. (5.38) We mosly drop he z-dependence for brevy. We furher nroduce he z-dependen quany ( 1 β := q ) 1/2. (5.39) 2/3 Fx a small ǫ > 0 and defne he doman D ǫ by { D ǫ := z = +η : 4ǫ β2 κ q 1/3,η = ǫ κ where κ = κ () = L. oe ha for any suffcenly small ǫ > 0, on D ǫ, we have In parcular we have ǫ β () 1, hence ǫ q 2 () 1 and β on D ǫ. oe moreover ha 1+ǫ η ǫ β, κ 5ǫ η. C() 1 so ha q 2 }, (5.40) s neglgble when compared o α 2 = P ( m ) κ +η κ = ǫ ǫ β, η α 1 = Im m κ +η η 5ǫ κ 5ǫ α 2 4ǫ β. κ (5.41) 26

27 In parcular we have α 1 α 2 on D ǫ. We nex clam ha Λ := m m 1 wh hgh probably on he doman D ǫ. Snce D ǫ, we fnd from Proposon 3.2 ha Λ ǫ for any ǫ > 0 wh hgh probably. Fx 0 < ǫ < ǫ/7. From (5.15), we ge P(m ) 2D C (4D 1)ǫ β 2D (α 1 +Λ ) D ( α 2 +C 1 Λ ) D + (2D+1)ǫ D q 8D + 4Dǫ D q 2 β 4D C 2D 6Dǫ β 4D + (2D+1)ǫ D C 2D 6Dǫ β 4D, q 8D + (D/4 1)ǫ D q 2D Λ 4D for suffcenly large, where we used ha Λ ǫ β ǫ β wh hgh probably and α 1 α 2, α 2 C ǫ β on D ǫ by (5.41). Applyng (2D)-h order Markov nequaly and a lace argumen wh a unon bound, we ge P(m ) C 3ǫ β 2, wh hgh probably and unformly on D ǫ. From he Taylor expanson of P(m ) around m n (5.17), we hen ge ha α 2 Λ C Λ 2 +C3ǫ β 2, (5.42) wh hgh probably, unformly on D ǫ wh some consan C. Here we also used ha Λ 1 on D ǫ wh hgh probably. Snce Λ ǫ β C ǫ ǫ α 2 on D ǫ wh hgh probably, we have α 2 Λ C ǫ ǫ Λ 2 C Λ 2. Thus he frs erm on he rgh sde of (5.42) can be absorbed no he lef sde and we conclude ha Λ C β 3ǫ α 2 β C3ǫ ǫ β, hold wh hgh probably, unformly on D ǫ. Hence wh 0 < ǫ < ǫ/7, we ge ha Λ ǫ/2 β 2 ǫ/2, unformly on D ǫ wh hgh probably. Thus we can clam ha Λ () 1 on D ǫ wh hgh probably. Moreover, wh (5.41), hs also shows ha Imm Im m +Λ = α 1 +Λ 1. (5.43) on D ǫ wh hgh probably. ow we prove (5.37). If λ H 1 η, + η for some L ǫ (q 4 + 2/3 ),L + q 1/3 wh z D ǫ, Imm (z) 1 Im 1 λ H 1 η = 1 η (λ H 1 ) 2 +η 1 2 5, (5.44) whch conradcs he hgh probably bound Imm () 1. The sze of each nerval η, + η s a leas 1+ǫ q 1/6. Thus, consderng O() such nervals, we can conclude ha λ 1 / L ǫ (q 4 + 2/3 ),L + q 1/3 wh hgh probably. From Lemma 5.2 we fnd ha λ H 1 L q 1/3 wh hgh probably. Therefore we conclude ha (5.37) holds for fxed 0,6log. We hen ge (5.37) unformly n 0,6log usng a lace argumen and he connuy of he Dyson marx flow. We now ready for he proof of Theorem I follows drecly from he nex resul. 27

28 Lemma 5.4. Suppose ha H 0 sasfy Assumpon 2.1 wh φ > 0. Then, H L 1 q /3, (5.45) unformly n 0,6log. Proof. Fx 0,6log. Consder he larges egenvalue λ H 1 (L λ H 1 ) q 4 + 2/3. Therefore suffces o consder (L λ H such ha c(l λ H 1 ) + n ρ (λ H he esmae. In Lemma 5.3, we already showed ha 1 ) +. By Lemma 3.4 here s c > 0 1,L ). Hence by obvous generalzaon of Corollary 2.8 o H, we oban 1 ) + (L λ H 1 ) + (L λ H q 2 + 1, so ha (L λ H 1 ) + q 4 + 2/3. Thus λ H 1 L q 4 + 2/3. In same way, we can show he esmae λ H L q 4 + 2/3 for he smalles egenvalue λ H. Usng he connuy of he Dyson marx flow, we oban (5.45) unformly n 0,6log. 6 Proof of recursve momen esmae In hs secon, we prove Lemma 5.1. Fx 0,6log. Recall defnons n (3.5), (3.7). Through hs secon, we om from he noaon n H, s marx elemens and s Green funcon. We also om he -dependence of κ (k),j and ξ. We nroduce he z-dependen conrol parameer Φ ǫ Φ ǫ (z) by seng 1 Φ ǫ = ( ǫ q 4 + Imm ) P(m ) 2D 1 + ǫ/8 q 1 + ǫ q 1 2D s 2 s=2 s =0 ( Imm ) 2s s 2 P (m ) s P(m ) 2D s 2D ( 1 + ǫ + 1 ( Imm ) 1/2 1 + q s=2 q 2 m m 2 P(m ) 2D 1 + ǫ q 8D )( Imm ) s 1 P (m ) s 1 P(m ) 2D s. (6.1) Recall he doman D l defned n (2.12). Lemma 5.1 hen saes ha, for any small ǫ > 0, P 2D Φ ǫ (z), (z D l ), for suffcenly large. We say ha a random varable Z s neglgble f Z CΦ ǫ for some -dependen consan C. To prove he recursve momen esmae, we reurn o Lemma 3.1 whch reads ((z +m+ζm) 2 +2ζ 2 m 2 ζ ) (1+zm)P D 1 P D where j = /( H k ),κ ( ) Abbrevae = 1 l κ (r+1) k ( k ) r( ( G k (z +m+ζm) 2 +2ζ 2 m 2 ζ ) ) P D 1 P r! D k r=1 ( ((z + Ω l +m+ζm) 2 +2ζ 2 m 2 ζ ) ) (1+zm)P D 1 P D, (6.2) k κ( ),k and ζ ζ. I I(z,m,D) = ( (z +m+ζm) 2 +2ζ 2 m 2 ζ ) (1+zm)P D 1 P D = Q(1+zm)P D 1 P D (6.3) 28