arxiv: v1 [math.pr] 19 Aug 2015

Transcription

1 The itermediate diorder regime for a directed polymer model o a hierarchical lattice Tom Alert & Jeremy Clark & Saša Kocić arxiv: v [math.pr] 9 Aug 05 Atract We tudy a directed polymer model defied o a hierarchical diamod lattice, where the lattice i cotructed recurively through a recipe depedig o a rachig umer N ad a egmet umer N. Whe previou work [7] ha etalihed that the model exhiit trog diorder for all poitive value of the ivere temperature β, ad thu weak diorder reig oly for β = 0 ifiite temperature. Our focu i o the o-called itermediate diorder regime i which the ivere temperature β β vaihe at a appropriate rate a the ize of the ytem grow. Our aalyi require eparate treatmet for the cae < ad =. I the cae < we prove that whe the ivere temperature i take to e of the form β = β/ / for β > 0, the ormalized partitio fuctio of the ytem coverge weakly a to a ditriutio L β depedig cotiuouly o the parameter β. I the cae = we fid a critical poit i the ehavior of the model whe the ivere temperature i caled a β = β/; for a explicitly computale critical value κ > 0 the variace of the ormalized partitio fuctio coverge to zero with large whe β κ ad grow without oud whe β > κ. Fially, we prove a cetral limit theorem for the ormalized partitio fuctio whe β κ. Itroductio Proailitic model of directed polymer are ofte cotructed a modificatio of directed radom walk model o a particular lattice. For the particular model that we tudy, directed polymer i a radom eviromet, the path proailitie are radomly pertured y a Giia reweightig that i determied y each realizatio of the eviromet, ad the tregth of the perturatio i cotrolled y a ivere temperature parameter β. Broadly peakig, the mai quetio of iteret i uch model i how the preece of the radom eviromet affect thee path proailitie, ad to what degree ay effect ca e quatified. The value of β for which the preece of the eviromet ha o utatial effect are called the weak diorder regime, while thoe β for which the eviromet ha a meaigful ifluece make up the trog diorder regime. The precie characterizatio of weak veru trog diorder i give i term of the poitivity of a martigale limit, the martigale eig the ormalized partitio fuctio aociated with the model. I recet year there ha ee utatial attetio paid to determiig the exact tructure of the weak ad trog diorder regime. O the iteger lattice Z d which i commoly referred to a d + -dimeioal to idicate that the polymer i directed it i kow [] that there i a critical value β c 0 uch that β < β c i i the weak diorder regime ad β > β c i i the trog diorder regime. Whe d = or it i kow that the polymer i i the trog diorder regime for all fiite temperature i.e. β c = 0, wherea for d 3 it i kow that there i a o-trivial iterval of fiite temperature that make up the weak diorder regime i.e. β c > 0. I the latter cae there are oly oud for the value of β c ad how it deped o the dimeio d ad the tatitical ditriutio of the uderlyig eviromet. Departmet of Mathematic, Uiverity of Utah: alert@math.utah.edu Departmet of Mathematic, Uiverity of Miiippi: jeremy@olemi.edu Departmet of Mathematic, Uiverity of Miiippi: kocic@olemi.edu

2 I cotrat, for directed polymer o a elf-imilar tree there i a exact characterizatio [5, 6] of the value of β c for ay choice of the tatitical ditriutio of the eviromet atifyig weak momet aumptio, ad much more i kow aout the trog ad weak diorder regime [7, 30]. The tree model i eaier to aalyze ecaue of the uderlyig geometry of the pace, amely that the tree i elf-imilar ad that path, oce they plit, ca ever recomie. I particular, the o-recomiig feature mea that the radom eergie aiged to differet path are eetially idepedet after a log time, which i very differet from what happe i the lattice cae. Recetly a ew pheomeo ha emerged i directed polymer model: the itermediate diorder regime. The termiology itermediate diorder wa firt itroduced i [] to idicate that it it etwee weak ad trog diorder, ad the regime itelf i acceed y calig the ivere temperature β toward it critical value a the ize of the ytem goe to ifiity. The correct calig produce ew ad iteretig ehavior that i fudametally differet from what happe for trog ad weak diorder. At the ame time, the itermediate regime ofte cotai a full rage of model that act or are cojectured to act a a ridge etwee the two claical regime. Typically itermediate diorder i eaier to tudy i ituatio where β c = 0, ice i thi cae the polymer model i oly a mall perturatio of the uderlyig radom walk. I d = it wa how i [] that the proper calig for itermediate diorder i to replace β with β /4, ad that uder a diffuive calig of pace ad time the etire radom Gi meaure coverge i law to a radom meaure o cotiuou path called the cotiuum directed radom polymer. Propertie of the cotiuum polymer were aalyzed i [], ut it i importat to ote that the cotiuum polymer i actually a etire family of model idexed y the parameter β. It i ot yet udertood how or eve if thi family act a a ridge etwee weak ad trog diorder, although ecouragig reult i thi directio were otaied i [3]. For d = the ituatio for itermediate diorder i largely ope, ad for d 3 it eem that little ha ee doe for calig aroud β c. A model omewhat imilar to the d = cae, the cotiuum diordered piig model CDPM, wa coidered i [9]. Agai i that cae β c = 0, ad the author were ale to determie the precie calig for itermediate diorder ad take a calig limit of the radom Gi meaure. I the tree cae, where β c > 0, the proper calig widow for the itermediate diorder regime wa determied i [3], although othig could e aid aout ifiite volume limit of the correpodig Gi meaure. I thi paper we tudy itermediate diorder o the diamod hierarchical lattice. Thi particular lattice ha a iteretig geometrical tructure that till poee a elf-imilarity like the tree doe, ut at the ame time allow path to reiterect like they do o Z d. I thi ee the diamod lattice i a atural geeralizatio of the tree ut i may importat way i actually more like Z d, ad for the polymer model with ite diorder which i what we coider thi i epecially true. See [8, Remark.] for a covicig argumet i favor of thi viewpoit. The tructure of the diamod lattice i cotrolled y two parameter, N: the rachig umer ad the egmet umer. The lattice i actually a equece of graph cotructed y a recurive procedure determied y the rachig ad egmet umer, ad the depth of the recurive determie the legth of the polymer. For directed polymer o the diamod lattice it wa proved i [7] that there i a β c that trictly eparate weak diorder from trog diorder, a i the d + -dimeioal cae, ad that β c = 0 for while β c > 0 for >. Thee reult are preciely ummarized i Sectio. Our mai focu i o the itermediate diorder regime i the < ad = cae, i.e., whe β c = 0, which exhiit widely diparate ehavior. Our aalyi, i a ee, exted the reult of [7] to otai a richer decriptio of the phae diagram aroud the critical poit. I the cae <, oe ee through a imple Taylor expaio of the partitio fuctio that the correct itermediate diorder calig i to replace β with β/ / for a parameter β > 0; ee Sectio 3.3. Similarly to the + -dimeioal polymer ad the cotiuum diordered piig model, we fid that there i a oe-parameter family of limit law L β for the ormalized partitio fuctio of the model. The limitig family deped cotiuouly o β ad for < atifie

3 For β, L β i approximately a ormal ditriutio with mea ad variace β. If X i,j β are idepedet radom variale with ditriutio L β, the d= L β / i= j X i,j β. A i [, 8, 9] the limitig law appear a a uiveral oject, i.e. the ame limit appear for ay diorder variale with expoetial momet that oey proper ormalizatio cotrait, ut the limit itelf i ot Gauia. Furthermore thee limitig law ca e ued to cotruct a cotiuum diffuio proce iteractig with a radom eviromet o the cotiuum diamod lattice, imilar to what i doe i [, 9]. Thi i dicued i Sectio 4. We emphaize that i cotrat to [, 8, 9] our method for howig the exitece of thee limit law ad their uiverality propertie do ot ue polyomial chao expaio; itead they come from reormalizatio group type idea. I the cae =, otrivial ehavior emerge i the itermediate diorder regime y replacig β with β/, ut i cotrat to the + -dimeioal polymer ad the CDPM the parameter β doe ot eem to act a ay ort of ridge. I fact, i the = cae, there i a critical value κ uch that the variace of the recaled partitio fuctio coverge to zero with large for β κ, ut alo grow to ifiity for β > κ. Thi i dicued i Sectio 5. The tructure of thi paper i a follow: i Sectio we give a full decriptio of the model ad preciely tate our mai reult. I Sectio 3 we decrie our coordiate ytem for the diamod lattice ad ue it to derive recurive formula for momet of the partitio fuctio. We epecially poit out Sectio 3.3, which give ome heuritic reaoig for the choice of calig β/ / ad β/ i the < ad = cae, repectively. Sectio 4 cotai a proof of a limit theorem for the ormalized partitio fuctio i the < cae, ad Sectio 5 cotai our reult o the = cae. I Sectio 6 ad 7 we give, repectively, very rief dicuio of the > cae ad the equivalet model i the = cae i which radom weight are placed o the od of the graph rather tha the ite. Fially, we relegate proof that are particularly calculu-aed to Sectio 8. Ackowledgemet: Tom ad Saša thak Kotya Khai for ueful dicuio. The Model ad Mai Reult Diamod graph are cotructed iductively y replacig each edge i D y a diamod with N rache, each of which i plit ito N egmet: The firt few diamod graph cotructed with = ad = 3. The th diamod graph defie a et of directed path etwee the root vertice A ad B, which we deote y Γ. The iductive ature of the cotructio implie that D m+ i equivalet to replacig each edge o D m y a copy of D. We aume throughout that >, ice otherwie the graph tructure i trivial. 3

4 We ow place i.i.d. radom variale ω a at the et of vertice a D ad coider tatitical mechaical quatitie defied through um over the et of directed path, Γ. Sice D i caoically emedded i D +, we ca view the radom variale ω a, a = D a reidig i a igle proaility pace. We aume that the radom variale have mea zero, variace oe, ad fiite expoetial momet λβ := log E [ e βωa] < for ufficietly mall β > 0. The partitio fuctio Z β i the radom poitive quatity defied y Z β := Γ p Γ e βhω p, where H ω p := a p ω a ad Γ =. The partitio fuctio ormalize radom proaility meaure µ ω β, o the path pace p Γ : µ ω e βhω p β, p = Z β. Diorder for directed polymer model i commoly iterpreted through a cloely related quatity, W β, defied y W β := Z β E [ Z β ], which ca e writte a Γ E a β. p Γ a p for E a β := e βωa λβ. The iductive ature of the cotructio of the diamod graph D ugget that there hould e a recurive relatio etwee the ditriutio of W β ad W + β; if W i,j β are idepedet copie of W β ad E i,j β are idepedet copie of E a β, the there i the followig equality i ditriutio W + β d = W i,j i= j β j E i,j β.. Moreover, the equece of radom variale W form a mea oe martigale with repect to the filtratio F := σ { ω a for a D m, m }. The martigale covergece theorem guaratee the almot ure exitece of a oegative limit a : W β = lim W β. The literature [6, 3, 7] o radom polymer model commoly iterpret thoe β for which W β > 0 a eig i the weak diorder regime ad thoe β for which W β = 0 a eig i the trog diorder regime. I Lemma.4 ad Propoitio.7 of [7], Lacoi ad Moreo etalih the followig reult for the diamod hierarchical lattice amogt other: i For ay fixed,, ad β, the radom variale W β atifie the zero-oe law P [ W β > 0 ] = 0 or. ii Whe, the for all β > 0 P [ W β = 0 ] =. iii Whe < there i a β c > 0 uch that P[W β > 0] = for β β c ad P[W β = 0] = for β > β c. 4

5 Thu y ii, whe the quetio of weak diorder veru trog diorder i merely that of ifiite temperature β = 0 veru fiite temperature β > 0, wherea y iii, whe < there i a regio of fiite temperature β β c i which weak diorder till hold. Our goal i thi article i to magify the high temperature regime of the model, β, i the cae < ad = through a examiatio of the limitig ehavior of the radom variale W β for ad ome choice of β. I other word, the ivere temperature β i caled toward the critical value β c = 0 a the ize of the ytem goe to ifiity. The followig theorem tate our mai reult i the < cae. Theorem. <. Pick β > 0 ad defie β := β/. A, there i covergece i ditriutio W β L = L, β for a family of proaility ditriutio L, r r>0 upported o R + ad atifyig the followig: I L, r ha mea ad variace v, r for a fuctio v, : R + R + atifyig v, r = [ + r ] v, r ad lim r 0 r =. II If X i,j r are idepedet radom variale with ditriutio L, r, the L, d = r i= j X i,j r. III If X r ha ditriutio L, r, the a r 0 there i covergece i law X r r L = N 0,. Remark.. Give x > 0 the family of proaility ditriutio L, r r>0 ca e ued to defie a coitet family of radom meaure µ x o path Γ for N. To do thi we attach i.i.d. radom variale X a havig ditriutio L, x/ to edge a E of the diamod graph D. The radom proaility aiged to a give path p Γ i the µ x p = a p X a p Γ a p X a, where the product are over the et of edge a lyig alog the path p. We how that thi defiitio i elf-coitet i the proof of Corollary 4.. Remark.3. I Lemma 4.6 we how that L, r coverge weakly to a δ-ditriutio at 0 a r. Thi i idicative of a cotiuou traitio to trog diorder a r. It would e iteretig to determie if there are expoetial fluctuatio for thee law a r, that i if y takig a logarithm ad the ceterig ad calig i a appropriate way a o-trivial limitig law appear. Thi i the ituatio that wa ecoutered for the limitig law of the partitio fuctio i [], uilt upo earlier work i [4]. I that cae the limitig law wa the uiquitou Tracy-Widom GUE ditriutio. 5

6 Remark.4. We emphaize that our method for howig the exitece of the L, r law ad etalihig covergece toward them i ot aed o polyomial chao expaio, a i [, 8, 9]. I the polyomial chao method the partitio fuctio i expaded ito a um of polyomial i the diorder variale ad collected accordig to the degree. Covergece follow y Cetral Limit Theorem type argumet ad limit law for the traitio kerel of the uderlyig radom walk, which act a coefficiet of the polyomial. The proof i thi paper are etirely differet ad itead ue the recurive tructure of the lattice to elimiate the ue of the chao expaio. Next we tate our mai reult i the = cae, for which we cale the ivere temperature a β = β/. We feel that thi i a iteretig regime, ecaue there i a critical poit i the ehavior of the ormalized partitio fuctio depedig o whether the parameter β i le tha or greater tha a cut-off value κ := π..3 Theorem.5 =. A, we have the followig ehavior for the variace of W β/ : β 0, 0 β κ, Var W.4, β > κ. Whe β < κ the fluctuatio of W β/ aroud oey the limit theorem: β L W = N 0, υ β,.5 where the variace i υ β := β ta β. At the critical value β = κ there i a differet calig: κ log W L = N 0, Remark.6. We will ee i Sectio 5 that the cut-off κ i the low-up poit of the olutio φ : R + R + to the differetial equatio d dr φ r = The olutio i explicitly give y φ r = φ r + ta r. Note that κ = π., with φ 0 = 0. Remark.7. For β < κ ad large, a imple Taylor expaio how that the free eergy-type quatity log Z β/ i cloe to W β/ ad the covergece.5 i equivalet to β log Z L = N 0, υ β. To give a more complete picture of the ehavior of W β with β 0 for large i the cae, we tate the followig theorem. Theorem.8. Let β > 0 ad β 0. i Whe < we have the followig covergece i law for W β depedig o β :, β 0, L W β = L, β, β β, 0, β. 6

7 ii Whe > the W β coverge to. A more refied characterizatio of W β i W β β where V m i the et of m th geeratio vertice. P = m= m a V m ω a,.7 Remark.9. I i of the aove theorem, the covergece of W β to zero i the < cae whe β / / follow from the homogeeou eviromet tiltig method i the proof from Sectio of [7]. Remark.0. I the < cae, ice there i a regio of fiite temperature i which weak diorder hold, it would e iteretig to fid a itermediate diorder regime y calig toward the critical value of β c a the ytem ize grow, that i, to coider W β c + β for a appropriate equece β 0. Perturatio of thi type are difficult to tudy, however, ice they typically require fie propertie of the Gi meaure µ ω β c, at criticality. For directed polymer o tree reult of thi type were otaied i [3], aed o a earlier aalyi of the Gi meaure at criticality i [4]. 3 Baic cotructio, otatio, ad heuritic 3. More o diamod graph Now we will give a more i-depth decriptio of the diamod graph tructure. The et of copie of D foud i D m+ ha a caoical oe-to-oe correpodece with the edge of D m. We will ue the followig otatio: The ymol D for the th diamod graph alo deote the et of vertice o the graph, excludig the root A ad B. For k, let V k D deote the et of k th geeratio vertice i D, i other word, thoe vertice that appear i D k ut ot i D k. E deote the et of edge o the graph D. For k, G k, deote the et of copie of D k foud i D. regarded a a uet of the et of vertice D. A elemet g G k, i alo By cotructio of D the elemet i G k, are i oe-to-oe correpodece with elemet i E k. Copie of D emedded i D +m. 7

8 The edge of D ca e laeled y i, j {,, } {,, }, where i, j refer to the j th egmet of the i th rach. More geerally, the et of edge E i D ca e idetified with E {,, } {,, }. The correpodece follow from the recurive procedure for the cotructio of D : Ecode a elemet of E i the local copy of D {}}{ i, j i, j }{{} i, j Ecode a elemet of G, E, the et of copie of D i D Similarly, elemet i G k, ca e laeled y {,, } {,, } k. The elemet of Gk, that are cotaied i g G k, will e laeled y g i, j, where i {,, }, ad j {,, }. The k th geeratio vertice V k are idetified with the et G k+, {,, } {,, }. For g G k,, we will lael the geeratio k + vertice that are cotaied i g y where i {,, } ad j {,, }. g i, j, We have the followig aic comiatorial oervatio regardig thee graph: i The graph D ha edge, i.e., E =. Sice the ugraph G k, ad the edge E k are i oe-to-oe correpodece, thi implie that G k, = k k. ii The graph D ha k k vertice of geeratio k whe k, i.e., V k = k k. iii A elemet g G k, cotai j +k j +k vertice of geeratio j k, ]. iv There are path etwee the root vertice A ad B i D, i.e., Γ =. 3. Defiitio ad recurive relatio for tatitical quatitie Recall that G k, refer to the collectio of copie of D k foud a ugraph of D. For g G k,, we defie W β; g i aalogy to W β except retricted to the ugraph g. To e clear, W β; g doe ot deped o the radom variale at the root of the ugraph g. The followig lemma i eetially a retatemet of. i the ugraph otatio: Lemma 3.. For g G k,, the radom variale W β; g atify the recurive relatio W β; g = with W β; g := for g G 0,. i= j W β; g i, j j E g i,j β 3. From thi lemma it i traightforward to derive a recurive relatio for the variace of the W variale. Corollary 3.. For g G k,, the variace σ k β := Var [ W β; g ] atifie the recurive relatio i k N σ k+ β = [ + σk β ] e [λβ λβ]. 8

9 3.3 Heuritic motivatio We ow offer a hort heuritic aalyi motivatig the calig β = β/ / ad β = β/ for the repective cae < ad =. We egi y aively liearizig the expreio. for the ormalized partitio fuctio to otai W β Γ + β ω a, p Γ a p which i ituitively jutified for mall β. The right ide aove ca e expaded ito the form = + m a,,a m D a i a j m β P a,, a m ω a ω am, 3. where P a,, a m i the proaility that the vertice a,, a m D lie o a radom path p Γ. We eek a choice of β uch that W β coverge i law to a otrivial limit with large. A reaoale method for fidig a cadidate for β i to determie the appropriate calig for the firt-order term i.e. the m = term of 3., which i merely a um of i.i.d. radom variale, ad thu characterized y the cetral limit theorem. Thi method of chooig β tur out to work for < ut to e mileadig i the cae of =. The variace of the firt-order term i 3. ha the form Var β P aω a = β P a = β # of k th geeratio vertice k a D a D = β k= k= k { β, <,, =. Thu, y the cetral limit theorem, the firt-order term from 3. coverge i law to a Gauia whe β = / / ad β = / i the < ad = cae, repectively. Now we perform the ame exercie with the ecod-order term i 3. to check whether the aove calig are till appropriate. For a, a D, the proaility P a, a ha the form P a, a = ɛa, a exp { la, a ga ga }, where ɛa, a i 0 whe o directed path pae through oth of the vertice a ad a, ga i the geeratio of the vertex, ad la, a i the mallet k uch that a, a g for ome g G k,. The variace of the ecod-order term ha the form Var P a, a ω ω a a = β 4 P a, a = β 4 P a, a. β 4 k= β a,a D a a a,a D a a k= a,a D k=la,a The elf-imilar tructure of the diamod graph allow the aove to e writte a j G k, + a D k P a + P a. a D k 9

10 The three term aove correpod to the repective cae ga = ga = k, ga < ga = k or vice vera, ad ga, ga < k. The third term i domiat, ad we ca apply that G k, = k ad our aalyi i 3.3 to get that the aove i approximately β 4 k + k= Fially, y tadard ummatio formula, thi i equal to = β 4 + { k, <, k, =. 3 + O, <, O, =. For < the choice β = / / agai yield a variace that coverge for the ecod-order term, a would e expected. I cotrat, for = the previou choice of β = / caue the variace of the ecod-order term to low up with large. Notice, however, that if β i caled i proportio to i the = cae, the the firt- ad ecod-order term oth have variace of the ame order,. Thi ugget that W β/ i a iteretig recaled verio of the ormalized partitio fuctio to tudy whe =. It i poile that there i a otrivial limit for W β/ i the = cae, ut the limitig ditriutio will ot have fiite variace ad we do ot explore thi poiility here. 4 A limit theorem i the < cae I thi ectio we prove Theorem.. We firt work o a lightly impler prolem i which radom variale are placed o the edge of the diamod graph rather tha the vertice. We ue a couplig of Gauia radom variale acro the differet geeratio of the lattice to prove that a certai liearized verio of the partitio fuctio i a Cauchy equece, therey etalihig the exitece of the L, r law. We the uild o thi reult to how that the limit law are uiveral, ad fially tralate thee reult from the edge cae to the vertex cae. 4. The edge prolem The proof of the followig lemma i elow. Lemma 4.. There exit a family of proaility ditriutio L, r r>0 atifyig the propertie I- III lited i Theorem.. The family of meaure L, r r 0 from Lemma 4. ca e ued to cotruct a family of radom proaility meaure o the et of directed path Γ whoe law are coitet for all N. For k < the path et Γ k o D k i caoically idetified with a partitio of Γ y relatig path that pa through the ame collectio of k th geeratio vertice. Thi coitecy property mea that L, r ca e ued to cotruct radom meaure o the et of directed path, Γ, o the cotiuum diamod lattice D, which we will ot dicu further i thi article. Give a E ad p Γ, we will write a p to mea that the path p pae through the edge a. Corollary 4.. Pick x > 0. Let µ, k deote a radom proaility meaure o Γ k uch that for a idepedet family of radom variale {Xa} a Ek with ditriutio L, a path p Γ x/ k k i aiged proaility µ, k p = a p Xa q Γ k a q Xa, r 0 0

11 where the product are over the et of edge, a, lyig alog the path p Γ k. For > k, let S p e the et of path o D that pa through the ame et of k th geeratio vertice a p. The the meaure µ, k are coitet for all k N i the ee that the family of radom variale {µ, S p } p Γk ha the ame law a {µ, k p} p Γ k. Proof. For g G 0, E, let Xg e idepedet radom variale with ditriutio L, x/. We ca defie idepedet radom variale Xg laeled y g G k, E k through iductive ue of the recurive relatio Xg = X g i, j. i= j The Xg, g E k have ditriutio L, a a coequece of property II lited i Theorem.. x/ k Notice that µ, Sp d= q S p a q Xa q Γ a q Xa = g p Xg q Γ k g q Xg d = µ, k p. Thu the law of the meaure are coitet. {µ, S p } p Γk, {µ, k p} p Γ k. Thi equality i law geeralize to the familie Defiitio 4.3. Give umer X g R laeled y g E G 0,, we defie W {Xg } g E to e equal to Ŵ D for the array of real umer Ŵg, g G k, determied y the recurive relatio Ŵ g = Ŵ g i, j i= j 4. with iitial coditio Ŵ g = X g for g G 0,. W {Xg } g E aalogouly to the aove through the liearized recurive relatio Ŵ g = + i= j Ŵ g i, j. 4. Remark 4.4. If {X a } a E i a array of real umer ad k <, the W {Xa } a E = Wk {W k {Xa } a g } g E k, where we have aued otatio y uig the oe-to-oe correpodece etwee E k ad G k, ad that G k, defie a partitio of E to claify each edge a E a a memer of a edge g i E k. Remark 4.5. Oce we have proved Theorem. we will have the followig: if {x g } g Ek i a array of idepedet radom variale havig ditriutio L, x, the W k {xg } g Ek ha law L,. x/ k We will work toward a proof of the followig limit theorem.

12 Theorem 4.6 Edge limit theorem. For N, let X g e a array of poitive i.i.d. radom variale laeled y g E with mea ad variace x R +. I additio, we aume that lim / x = x ad lim up λ N for ome x > 0. The there i weak covergece a give y W {X g } g E L = L, x, [ P X g > λ/ ] = 0 where the family of proaility ditriutio L, r r 0 atifie the propertie lited i Theorem.. Defiitio 4.7. Defie M : R + R + y Mx := [ + x ]. Remark 4.8. Let X g e a array of poitive i.i.d. radom variale laeled y g E k havig mea ad variace x R +. The k-fold compoitio of the map M yield Var W k {Xg } g Ek = M k x. We will alo make repeated ue of the imple formula k Var W k {Xg } g Ek = x. Next we collect ome etimate o M. The proof of Lemma 4.9 i placed i Sectio 8.. Lemma 4.9. For ay λ > 0, there i a C > 0 uch that the followig iequalitie hold for all 0 x λ, N N, ad N : i M N x/ N Cx/, ii M N x/ N x/ Cx /, ad iii d dx[ M x/ ] C. iv For uretricted x 0, we till have a oud of the form d [ M x/ ] { dx exp M x/ }. Corollary 4.0 Limitig variace fuctio. There i a icreaig fuctio v, : R + R + uch that for all x R + I A, M x/ v, x. II v, atifie the relatio v, x = M v, x.

13 III The derivative of v, atifie lim x 0 v, x = ad v, x = + v, x/ j = j= j= + M j v, x. Proof. Propertie II ad III follow from the exitece of the limit I. To ee that the equece M x/ i Cauchy, otice that for N > M N x/ N M x/ = M M N x/ N M x/ N [ M x/ N x/ ] d dy M y Cx / d dy M y y=c/ C x /. y= M N x/ N I the firt iequality aove, we have ued that the derivative of M i a icreaig fuctio. The ecod iequality ue ii ad i of Lemma 4.9 for the firt ad ecod factor, repectively. The third iequality ue iii of the ame lemma. Lemma 4.. For each N, let Y g uch that Y g ad Z g y := up N The, the followig hold: ad Z g are ucorrelated, E [ Y g / Var Y g e array of i.i.d. radom variale laeled y g E ] [ ] =, E Z = 0, ad for large > 0 g < ad Var Z g = o /. i There i covergece to zero i proaility a give y W {Y g + Z g } g E W {Y g } g E P = 0. N N ii For g E ad N >, the radom variale W N {Y a } a g WN {Y a } a g ad N N W N {Y a } a g are ucorrelated, ad there i a C > 0 uch that for all N, N ad Y a Var W N {Y N g } a g WN {Y N g } a g Cy /. Proof. Part i: Defie y := / Var Y g ad x := / Var Y g variale W {Y g +Z g } g E W {Y g } g E ad W {Y g we have firt equality elow. [ W E {Y g + Z g } g E W {Y ] g } g E = Var W {Y g = M x / M y / dx[ M d x/ ] x=x x y. 3 + Z g. The radom } g E are ucorrelated ad thu + Z g } g E Var W {Y g } g E

14 The ecod equality follow from Remark 4.8 ad the iequality ue that M ha icreaig derivative. By our aumptio, x i ouded for all ad x y 0. Hece, we ca apply i ad iii of Lemma 4.9 to how that the aove coverge to zero with large. Part ii: That the tated variale are ucorrelated follow from the defiitio of W ad W. Sice they are ucorrelated we have Var W N {Y N a } a g WN {Y N a } a g = Var W N {Y N a } a g Var W N {Y N a } a g = M N y N / N y N / Cy N/ Cy /, where the firt iequality hold y part ii of Lemma 4.9. The proof of Lemma 4. i a warm-up for the proof of Theorem., ad we will refer ack to ome of the cotructio i the proof. Proof of Lemma 4.. Fix r > 0. For N let { ω g } g E e array of idepedet radom variale with ditriutio N 0, r/ ad atifyig a hierarchical coitecy relatio: ω g = ω g i,j. i= j The aove ca e eaily cotructed uig, for itace, two idepedet tadard Browia motio B ad B ad the fact that E ha a caoical oe-to-oe correpodece with {,, } {,, } to idetify the ω g, g E with variale of the form B i+ B i B j+ B j where 0 i ad 0 j. Thi cotructio ha the ueful property that for N > ad g G,N, We will how that there i covergece i proaility, + ω g = W N { + ωa } a g. 4.3 W { + ωg } g E It i eough to how that W { ωg } g E i Cauchy i proaility. equality 4.3 implie the firt equality elow W N { + ωa } a EN W { + ωg } g E P = Some limit. 4.4 Notice that for N > the = W N { + ωa } a EN W {WN { + ωa } a g } g E = W {Y g + Z g } g E W {Y g } g E, where for g E G N,N Y N g := W N { + ωa } a g ad Z N g := W N { + ωa } a g WN { + ωa } a g. 4

15 I the aove, we have ued the oe-to-oe correpodece etwee E ad G N,N to claify edge a E N a elemet g i E ice G N,N defie a partitio of E N. Notice that Y g ad Z g are ucorrelated ad Var Y g = r/ ad Var Z g = o /, where the order equality follow from part ii of Lemma 4.. Hece we ca apply part i of Lemma 4. to coclude that the differece etwee W {Y g + Z g } g E ad W {Y g } g E coverge i proaility to zero with large. The propertie I-III of Theorem. follow cloely from the aove limit cotructio. For II, otice that a for each i, j {,, } {,, } our reult 4.4 implie W { + ωg i,j } g E L = X i,j, where the X i,j are idepedet radom variale with law L, r/. Moreover, i= j W { + ωg i,j } g E = W { + ωg } g E L = L, r, 4.5 where the covergece i law hold y aother applicatio of the limit reult aove. Thu II hold. For III, we write W { + ωg } g E r = W { + ωg } g E W { + ωg } g E r }{{} P = 0 a r 0 + W { + ωg } g E, r }{{} d = N 0, where the covergece a r 0 of the firt term i uiform i large y part ii of Lemma 4.. The ormal ditriutio of the ecod term follow from 4. eig a liear recurio ad the iitial variale eig ormal. Proof of Theorem 4.6. Fix ome 0 < ɛ ad N uch that x/ < ɛ. For N >, let { ω a } a EN e a array of ormal radom variale defied a i the proof of Lemma 4. for r replaced y x. By the method i the proof of Lemma 4., we ca cotruct a array {x g } g E of idepedet radom variale with ditriutio L, x/ through limit i proaility a N of the form W N { + ωa } a g P = xg, 4.6 where { + ω a } a g refer to the uarray of { + ω a } a EN compried of all edge a E N lyig o the ugraph g G N,N E. Throughout thi proof we will freely idetify the et G N,N ad E, allowig u to treat elemet g of E a cotaiig et of edge from E N. Notice that W {xg } g E ha law L, x y Remark 4.5. We will how that for aritrary F : R R with ouded derivative that i the limit N [ ] [ ] E F W N {X N a } a EN E F W {xg } g E. 4.7 The aove guaratee the weak covergece of W {X a } a E to L, x. 5

16 The differece etwee the term i 4.7 i ouded through the triagle iequality a follow: [F E ] [ ] W N {X N a } a EN E F W {xg } g E [F E ] [ {WN ] W N {X N a } a EN E F W {X N a } a g }g E {WN + [F E } ] [ ] W {X N a } a g g E E F W { + ωg } g E + [F E ] [ {WN } ] W { + ωg } g E E F W { + ωa } a g g E {WN + [F W E ] [ ] { + ωa } a g E F W }g E {xg } g E. 4.8 It i ufficiet to how that the term aove are each ouded y a cotat multiple of ɛ > 0 i the limit N. The lat term o the right ide of 4.8 coverge to zero a N y 4.6 ad ice W {ag } g E i a cotiuou fuctio a multivariale polyomial of the array {ag } g E. We will treat the firt three term o the right ide of 4.8 y provig the followig tatemet: I There i a C > 0 uch that for all N, N with N > {WN Var W N {X N g } g EN W {X N a } a g }g E Cx /. Coequetly, the firt term o the right ide of 4.8 i ouded y ɛ C up x R F x. II For ay fixed, a N [ {WN } ] E F W {X N a } a g g E [ ] E F W { + ωg } g E. III There i a C > 0 uch that for all N {WN Var W { + ωg } g E W { + ωa } a g }g E Cx /. Hece the third term o the right ide of 4.8 i ouded y ɛ C up x R F x. I For g E, defie Y N g := W N {X N a } a g ad Z N g := W N {X N a } a g WN {X N a } a g. Notice that Var Y N g = xn / ad Var Z g N cx /, where the iequality hold for ome c > 0 ad all N, y part ii of Lemma 4.. The variace of N { N the differece etwee W N {X a } a EN ad W WN {X g } a g } g E ca e writte a {Y N Var W g + Z g N }g E {Y } N W g g E, which i ouded y a cotat multiple of x / for all N ad y the oud i the proof of part i of Lemma 4.. 6

17 II: For a E N defie x N a := / N/ X a N variale x N a ca write W N {X N a. The, y our aumptio o X a N, the radom are i.i.d. with mea zero, variace / N x N, ad atify a Lideerg coditio. We } a g i the form [ ] W N {X N a } a g = + x N N a, a g }{{} Cetral limit-type um where the um i quare racket iclude g = N elemet. By the cetral limit theorem, there i covergece i law a N W N {X N a } a g L = ω g ice ω g ha ditriutio N 0, x/. The reult the follow ice the copie of W N {X N a } a g for differet g E are idepedet ad hy := E [ F W {y g } g E ] i a cotiuou fuctio of array y R recall that E =. III: The argumet i imilar to I. Defie Y g := + ω g ad Z N g := W N { + ωa } a g W N { + ωa } a g. Notice that for N > Y g = W N { + ωa } a g, Var Y g = x/, ad Var Z g N cx /, where the iequality hold for ome c > 0 ad all N, y part ii of Lemma 4.. Thu we ca apply the iequalitie i the proof of part i of Lemma 4. to oud III ice {WN } Var W {+ ωg } g E W { + ωa } a g g E {Yg {Yg = Var W + Z g N }g E W }g E. 4. Reducig the vertex prolem to the edge prolem Now we work toward a proof of Theorem. y approximatig the origial partitio fuctio y the partitio fuctio for a model i which the radome i placed o the edge ad i thu applicale to Theorem 4.6. Defiitio 4.. Defie M : R + R + y M x := [ + x e [λβ λβ ] ]. Remark 4.3. Note that for g G k, we have Var W β ; g = M k 0. The proof of the followig techical lemma i i Sectio 8. Lemma 4.4. Let β = β/ / ad g G m,. There i a C > 0 uch that for all N ad m / 7

18 i Var W β ; g ii E[ W β ; g 4] C/ m. β / m / m C/ Theorem 4.5 Variace covergece. Defie α := β / /. A M 0 M α 0. I particular, y comiig the aove with part i of Lemma 4.0, we have that M 0 coverge to v, β with large. Proof. For γ := M / 0, we have the relatio M 0 M α = M γ M α M γ M γ + M γ M α. 4.9 Thu we jut eed to oud the two term o right ide aove. For the ecod term aove, M γ M α γ α d ] [ M y dy y=maxα,γ C/, where we have applied part i of Lemma 4.4 to cotrol the differece γ α ad part iii of Lemma 4.9 to cotrol the derivative of M /. Now we will oud the firt term o the right ide of 4.9. For x i a ouded iterval [0, L], there i a c > 0 uch that Mx M x Mx + c/. 4.0 By uig a telecopig um, we ca write the differece etwee M m γ ad M m γ a M m γ M m γ = m k=0 m M m k M k+ γ M m k M k γ [ d dy M m k y k=0 y=m k+ γ ] M M k γ M Mγ k. Let ñ N e the mallet m uch that M m γ > M m+ γ or M m γ > L. For m < ñ the aove i cm cm max 0 k<m max 0 k<m d dy M m k y y= M k+ γ { } m k exp M m γ, where we have applied iv of Lemma 4.9 to oud the derivative of M. For c := c exp { L }, the lat expreio i Thu we have that c m. M m γ M m γ + c m/. 8

19 for m < ñ. The value ñ mut e greater tha for ice M m+ γ ha the the lower oud M m+ γ = M M m γ > M m γ > M m γ + γ, 4. ad γ ha order / / y Lemma 4.4. Therefore the firt term o the right ide of 4.9 decay with order / / for large. It i coveiet to defie a model for which the diorder at low geeratio vertice i eglected. We defie lower geeratio to e /. Thi effectively mea that we ca work o a prolem of ize / i which radome i placed o edge. Proof of Theorem.. Recall that β = β/ /. For g G /, E /, defie X g := W β ; g. Notice that the array of radom variale {X g } g E / atifie the coditio of Theorem 4.6 a a coequece of Lemma 4.4. We ca write W β = W β ; D a W β = W {X g } g E + W β ; D W {X g } g E. We will how elow that the differece etwee W β ; D ad W / {X g proaility to zero. Thu the covergece i law of W β to L β } g E / coverge i follow from Theorem 4.6. The radom variale W β ; D W / {X g } g E / ad W / {X g } g E / are ucorrelated, o E[ W β ; D W {X g } g E ] = Var W β ; D Var W {X g } g E The aove coverge to zero y Theorem 4.5. = M 0 M α. 4.3 Traitio to trog diorder i the ditriutio L, r Let L, r r 0 e the family of ditriutio atifyig the propertie I-III lited i Theorem.. It i clear from the defiitio that L, r coverge to the delta ma at a r 0. The limitig ehavior a r i le oviou, although it i reaoale to expect that the ditriutio traitio to trog diorder ehavior, i other term, L, r coverge to the delta ma at 0. Thi i ideed the cae a the ext lemma how. Our proof will follow the homogeeou eviromet tiltig method ued y Lacoi ad Moreo i Sectio 5. of [7], applied to radom weight o od rather tha ite. Lemma 4.6. L, r coverge weakly to a δ-ditriutio at zero a r. Proof. Let W r have ditriutio L, r. It uffice to how that the fractioal momet E [ Wr / ] coverge to zero a r. By the proof of Lemma 4., W r ca e cotructed through a weak limit N of { W N + r N } ω a, 4. a E N where W N i defied a i Defiitio 4.3 ad { ω g } g EN i a array of idepedet radom variale with ditriutio N 0,. The proof of Lemma 4. alo hold with the radom variale { { r W r N N := W N exp ω a r } } N a EN 9

20 i place of 4. without ay eriou chage, ad we will do our computatio with thi expreio. Allow u to aue otatio y idetifyig meaure with their correpodig expectatio ymol. Defie a ew meaure Ẽ o the ytem with deity { dẽ := exp N ωa + de N}. By Cauchy-Schwarz, we ca write E [ [ W ] de r,n = Ẽ a E N dẽw r,n However, computatio with Gauia itegral yield that ] [ de ] Ẽ [ ] Ẽ W r,n. 4.3 dẽ [ de ] Ẽ = e ad Ẽ [ ] W r,n = e r. dẽ The firt equatio aove ue that E N = N ad the ecod ue that each path i Γ N cotai N edge. By applyig thee iequalitie i 4.3, we get that E [ W / ] r,n i maller tha exp{ r/}. For ay fixed r R +, E [ W r,n ] E [ W r ] a N ice W r,n L Wr ad the ecod momet of W r,n i uiformly ouded for all N > 0. Therefore, E [ W / r,n ] i maller tha exp{ r/}, which coverge to zero a r. 5 Reult for the = cae I thi ectio we prove Theorem Defiitio relevat for the = cae Remark 5.. Whe coiderig β = β/, it will e coveiet to defie R β; g := β W ; g. A explicit recurive relatio for R β; g ca e deduced from 3. tartig from R β; g = 0 for g G 0, : R β; g = [ i= j + R β; g i, j j Notice that for the radom variale atify the aymptotic relatio R β; g = i= j + β R β; g i, j + i= j i= j <j ] β E g i,j. 5. R β; g i, j R β; g i, j ω g i,j + Lower-order term. 5. 0

21 The aove ue that ω g i,j ha mea zero through the approximatio β E g i,j = e β ω g i,j E [ e β ω ] + β g i,j ω g i,j + O. The third term o the right-had ide of 5. itroduce idepedet oie at each tep. The variace of R β; g i give y ϱ k β = σ k β/, where σ k β i defied a i Corollary 3.. Defiitio 5.. We defie R β; g a the olutio to the followig recurive relatio, which correpod to 5. without the lower-order term: R β; g := i= j + β R β; g i, j + i= j i= j <j R β; g i, j R β; g i, j ω g i,j. 5.3 The iitial coditio i R β; g = 0 for g G 0,. I additio we defie R k, β := k g G k, R β; g. The lemma elow follow from the recurive relatio 5.3 that defie R β; g. We defie ϱ k β := E [ R β; g ]. for g G k,. Note that the expectatio o the right i idepedet of g y the iid aumptio. Lemma 5.3. The momet ϱ k atify the recurive relatio ϱ k+ β = ϱ k β + [ ϱ k β ] β +. The followig lemma i alo a immediate coequece of the recurive relatio 5.3. Lemma 5.4. The radom variale R k, β atify the recurive equatio i k N give y: R k+, β = R k, β + + g G k, β g G k, i= j <j i= j ω g i,j. R β; g i, j R β; g i, j 5. The cae of = ad β < κ We will ow reet the otatio for the map M that wa aiged i Sectio 4 to take i coideratio the ew calig β = β/ that i relevat whe =. Defiitio 5.5. Defie the map M, M : R + R + for N a [ M x := ] + x e [λ β β λ ]

22 M x := x + x + β Remark 5.6. The map M ad M are defied o that ϱ k+ β = M ϱ k β ad ϱ k+ β = M ϱ k β. Thu the equece k ϱ k i determied y repeated compoitio of the map M. The proof of Lemma 5.7 i calculu-aed, ad we have put it i Sectio 8. Lemma 5.7. Let β 0, κ. Defie γx, y := ta β x + β y, ad for ɛ > 0 let { A ɛ = x, m, R + N N : γ x, m < π } ɛ. The for ay ɛ > 0 there i a cotat C > 0 uch that d i up x,m, A ɛ dx M m x C, ii up M m x β iii x,m, A ɛ up x,m, A ɛ ta M m x M m x C. ta β x + β m C, Remark 5.8. The fuctio gr := β ta ta β x + equatio with iitial coditio g0 = x. Lemma 5.9. d dr gr = g r + i For ay β [0, κ ad r [0, ], there i covergece a give y β r i the olutio to the differetial β ϱ r β β ta β r. ii For m N, defie ϱ k,m β := E [ R β; g m]. The for ay β [0, κ ad m N, there i a C > 0 uch that for all r [0, ] ad N ϱ r,m β C ϱ m r, β ad, i particular, ϱ r,m β i uiformly ouded over the tated rage of variale. iii For 0 j k, the radom variale R j, β ad R k, β R j, β are ucorrelated.

23 Proof. Part i: Thi i a coequece of part ii of Lemma 5.7 ad the recurive relatio ϱ k+ β = M ϱ k β. Part ii: A a coequece of part i, ϱ k, β i uiformly ouded for all > 0 ad 0 k r. For m = 3 it i traightforward to how that ϱ k,3 atifie the recurive relatio ϱ k+,3 β = ϱ k,3 β [ ϱ k,3 β ] + 3 [ ϱ k, β ] + β 3 E[ω 3 ]. ϱ k, β ϱ k,3 β, + 3 [ ϱ k, β ] 3 From thi we ee that the aolute value of ϱ k,3 β atifie a recurive iequality of the form ϱ k+,3 β ϱ k,3 β [ ϱ k, β ] + [ ϱ k, β ] ϱ k, β ϱ k,3 β + [ ϱ k,3 β ] 3 β 3 E[ω 3 ] with ϱ 0,3 β = 0. Let k N e the firt value uch that ϱ k,3 β >. There exit a ɛ 0, ad a c > 0 uch that for all k mi k, r the aove i ɛ ϱ k,3 β + c. It follow that up ϱ k+,3 β i O ad, i particular, ouded for all. 0 k r Similar reaoig hold for m = 4. From the recurive equality for ϱ k,4, which i traightforward to derive ut legthy to write out, we have a iequality for ϱ k,4 β of the form ϱ k+,4 β ɛ ϱ k,4 β + 6 [ ϱ k, β ] + c for ome ɛ 0, ad c > 0. It follow that ϱ r,4 β i ouded y a multiple of [ ϱ r, β ]. The reaoig ca e exteded iductively to aritrary momet. Part iii: Thi follow from the recurive formula i Lemma 5.4. Theorem 5.0. For β 0, κ ad N, defie the tochatic proce Y r β := R r, β, r [0, ]. A, Y r β coverge i law to a cotiuou Gauia proce y r [0,] r β with r [0,] idepedet, mea zero icremet ad y r β = d N 0, β ta β r. 3

24 Remark 5.. The limit proce y r β i imply a determiitic time-chage of a tadard r [0,] Browia motio B t t 0 where τ r := β ta β r. y r β d = B τr, Proof of Theorem 5.0. Firt we will focu o fiite-dimeioal ditriutioal covergece. For all N ad 0 r, E [ Y r β ] [ ] = 0 ad E Y r β Y β Y r β = 0, 5.4 where the ecod equality follow from part iii of Lemma 5.9. Thu fiite-dimeioal covergece i implied y the covergece of the variace E [ Y r β ]. Next we how that Y r β coverge to a ormal ditriutio for r [0,. By defiitio of R k, β, we ca write Y r β a Y r β = R r, β = r R g G r, }{{} β; g. 5.5 Lideerg-Feller cetral limit-type um However, the radom variale R β; g are i.i.d. with mea zero ad variace ϱ r β. Recall that ϱ r β coverge to β ta β r a y Lemma 5.9. Sice G r, = r ad y the aove oervatio, 5.5 coverge to a ormal ditriutio with mea zero ad variace β ta β r provided that the followig Lideerg coditio i atified: a for ay fixed ɛ > 0 [ r g G r, E [ R β; g χ R β; g > ɛ r ]] 0. However, y Cheyhev, the expreio aove i ouded y ɛ 4 4 r g G r, E [ R β; g 4 ] = ɛ ϱ r r,4 β C ɛ, 5.6 r where the ecod iequality hold for ome C > 0 ad all > 0 y part ii of Lemma 5.9. The right ide of 5.6 coverge to zero, o the Lideerg coditio hold. Whe r =, the um 5.5 cotai oly oe term ad thu doe ot immediately fall withi the purview of Lideerg-Feller. Let u 0 e a o-decreaig equece of iteger with 0 u, u, ad u 0. Defie Ŷ β := R u, β. By writig Y β = Ŷ β + Y β Ŷ β it i ufficiet for u to how that I Ŷ β coverge to the ormal ditriutio N 0, β ta β. II Y β Ŷ β coverge i proaility to zero., 5.7 4

25 The proof of I follow aalogouly to the cae of r < aove with r replaced y u. For II, we oerve that the expectatio of the quare of the right ide of 5.7 i [ Y E β Ŷ β ] = E[ R, β R u, β ] = ϱ β ϱ u β u = O. The ecod equality hold ecaue R, β R u, β ad R u, β are ucorrelated, ad the order equality follow from part ii of Lemma 5.9 ice ϱ m β = M m 0. Lemma 5.. There i a C > 0 uch that for all E[ R β R β ] C. Proof. The radom variale R β R β ad R β are ucorrelated. Thi ca e ee, for itace, y defiig a erie of itermediary radom variale R l β etwee R β ad R β idexed y l [0, ] uch that R l β := R l β; g for g = D, where the family of radom variale {R l β; g} g Gk, atifie the recurive relatio 5. of R β; g for g G k, with k < l ad the recurive relatio 5. of R β; g for g G k, with k l. By thi cotructio, R β = R 0 β ad R β = R β ad the icremet R l+ β R l β are pairwie ucorrelated. Sice R β R β ad R β are ucorrelated, we have the firt equality elow: E[ R β R ] β = E [ R β ] E [ R β ] := ϱ β ϱ β The order equality follow from part iii of Lemma 5.7. = M 0 M 0 = O /. 5.8 Proof of Theorem.5 i the = ad β < κ cae. We ca write R β = R β + R β R β, 5.9 where the rightmot term coverge to zero i proaility a a coequece of Lemma 5.. Moreover, R β coverge i ditriutio to N 0, υ β for υ β := β ta β y Theorem 5.0, which complete the proof. 5.3 The cae of = ad β = κ We will eed lightly more refied etimate to treat the critical poit cae, β = κ, tha wa required for the aalyi of β < κ. Recall that we defied the family of radom variale R β; g through a recurive formula 5.3 that wa eetially a quadratic approximatio of the recurive formula 5. atified y the family of radom variale R β; g := W β; g. At the critical poit, a third-order term i the recurive formula for R β; g ecome oegligile, makig it coveiet to formulate the radom variale R β; g i the defiitio elow that erve the ame purpoe a R β; g lat ectio. 5

26 Defiitio 5.3. For g G k, we defie R β; g to e the olutio to the recurive relatio R β; g := + i= j i= j <j <j 3 k=,,3 R β; g i, j + with iitial coditio i R β; g = 0 for g G 0,. R β; g i, jk + i= j <j k=, β i= j R β; g i, jk ω g i,j 5.0 I additio, we defie W β; g, R k, β, M x, ϱ k,p β i aalogy to Ŵ β; g, R k, β, M x, ϱ k,p β from the lat ectio. Defiitio 5.4. Let 0 k ad g G k,. W β; g := + R β; g R k, β := k g G k, R β; g M x := x + x + 6 ϱ k,p β := E [ R β; g p] Whe p = we idetify ϱ k, β ϱ k β. x 3 + β Remark 5.5. I aalogy with 5.6, the map M atify ϱ k+ β = M ϱ k β. 5. The radom variale R k, β have ucorrelated icremet i the idex k N ad atify R, β = R β; D. Sice the variace of W κ /; D i M 0, the followig lemma require a aalyi of -fold compoitio of the map M. The proof i i Sectio 8.. Lemma 5.6. A the variace of the radom variale W κ /; D ha the covergece κ logvar W ; D 6 +. The followig lemma cotai ome aalogou reult to Lemma 5.7, ad it proof i placed i Sectio 8.. The mai poit i iii, which implie that the variace, M 0, of W β/ i cloe to the variace, M 0, of W β/. Lemma 5.7. Part i ad ii elow hold for mall eough ɛ > 0. i There are cotat, c, C > 0 uch that for all > c log M +ɛ log 0 C log. 6

27 ii Defie l := + ɛ log. There i C > 0 uch that for all > all m l d l m M x dx C x= M m 0 log + π M m 0. iii A, log M 0 M 0 = O. log Proof of Theorem.5 i the cae = ad β = κ. The reaoig follow alog the ame aic lie a for the cae of β < κ. Firt we how that R κ = W κ / ca e approximated y R κ ; D = W κ /; D, o the cale of log /. Sice R κ R κ ; D ad R κ ; D are ucorrelated E [ log R κ log ] R κ ; D = log [ ] Var R κ Var R κ ; D = log M 0 M 0 where the covergece follow from part iii of Lemma 5.7. Thu the differece coverge to zero i proaility. It remai to e how that log Y := log R κ log R κ ; D = κ R ; D log R, κ 0, coverge i law to a Gauia. The proof i imilar to the proof of Theorem 5.0 o we oly provide a ketch. For a icreaig equece u N with u = o log /, defie Ỹ := log / R u,κ. It uffice to how that I Y Ỹ P L 6 = 0 ad II Ỹ = N 0,. + For I Y Ỹ ad Ỹ are ucorrelated, ad thu y imilar reaoig a aove we get the equality Y ] E[ Ỹ = log M 0 u M 0. Uig that the derivative of M i icreaig, the aove i maller tha log u M 0 d dx M u The ecod iequality hold for ome C > 0 ecaue with large x= M u 0 Cu log β M u 0 = u u + O, u ad the derivative of M i ouded y a cotat multiple of / log y part ii of Lemma 5.7. The lat lie of 5. coverge to zero y our aumptio o u. 7

28 For II recall that Ỹ i a ormalized um of i.i.d. radom variale The radom variale log log Var Ỹ := u g G u, log / R κ ; g have variace / R κ ; g R κ ; g. = Var Ỹ Var Ỹ 6 +, where the approximatio hold y 5. ad the covergece i y Lemma 5.6. Thu the covergece i law of Ỹ to N 6 0, + follow from the Lideerg-Feller cetral limit theorem if the radom variale log / R κ ; g atify a Lideerg coditio. Uiform oud o the fourth momet ca e otaied y a aalogou argumet to that for part ii of Lemma Variace exploio We ow focu o the variace exploio tated i Theorem.5 for the cae = with β > κ. I fact, Lemma 5.9 provide a troger reult, which arrow dow where the variace egi to low-up i term of the ytem ize. Before movig to the proof of Lemma 5.9, we prove the followig lemma, which i merely a tralatio of previou reult. Lemma 5.8. The variace of log W κ / β β/ coverge to 6 +. Proof. I the uild-up ee Lemma 5.6 ad 5.7 to the proof of.7 i Theorem.5 we howed that the variace of log W κ / 6 coverge to +. We ca imply apply thi reult y replacig the ytem ize y κ/ β ad the ivere temperature κ / y κ / κ/ β β/. Lemma 5.9. Suppoe = with β > κ. The a goe to ifiity the variace of W β/ ted to ifiity. Moreover, there i are cotat 0 < c < c uch that for l := κ / β + c log ad l := κ / β + c log Var W l β/ 0 ad Var W l β/. Remark 5.0. I Theorem. of [7], Lacoi ad Moreo tate that there exit c, C > 0 uch that for all β > 0 { exp c } { β λβ pβ exp C }, 5.3 β where pβ i the queched free eergy pβ := lim E[ log Z β ]. By followig their argumet, which relie o [7, Propoitio 4.3], we ca ue the covergece of Var W l β/ to zero to get ca a upper oud of the form { λβ pβ exp κ log } + C log β β 5.4 for ome C > 0 ad all β > 0. However, ice the iequality 5.3 ivolve qualitatively differet oud from aove ad elow, it i ot clear to u that 5.4 i truely a tep i the right directio. 8

29 Proof of Lemma 5.9. The variace of W β/ i equal to ϱ β, o it i ufficiet to how that ϱ β evetually grow at a fater tha liear rate i. Recall that ϱ m β = M m 0 ad M x M x for all x 0, where M ad M are defied a i Defiitio 5.5. A a coequece of Lemma 5.8, we ca chooe large eough o that M 0 k with k := κ / β i larger tha ay L > 0. Pick ome L greater tha. Notice that we have the lower oud ϱ β > M k L. The 6 β β κ firt iequality elow hold for ay K > 0 y the form of the map M : M K r > K + r { } r K > K exp 4 K. 5.5 The ecod iequality hold a log a K i maller tha the olutio x > to the equatio + x = exp{x/}. Oerve that the fuctio gr := M K r doule efore r reache the value 4 K. Defie the equece r j N uch that r j := Through repeated ue of 5.5, we have that j 4 i. L i= M r j L > L j k ad thu M L > L S L, 5.6 for the et S L, := {j N r j < k}. However, the umer of term i S L, will grow liearly with large : S L, k 8 L > κ, β 6 β where the ecod iequality ue that L ha a lower oud of. It follow that M β κ 0 grow expoetially i ad thu the variace of W β/ doe alo. I fact the variace of W k β/ already low up a k reache the value l := κ / β +c log for c > log e ice with large S L,l. c log Thu, Var W l β/ = ϱ l β > l k M L > L S L,l. Fially, the exitece of c uch that Var W l β/ coverge to zero for l := κ / β + c log follow from Lemma 5.8 ad part i of Lemma 5.7. For the applicatio of Lemma 5.7, the ytem ize i the tatemet of the lemma i replaced y our value κ / β. 6 The cae of < I thi ectio we prove Theorem.8 i the cae <. The aalyi here i trivial, ut it i mathematically itructive to ee what happe differetly etwee the = ad > cae. Recall that we are geerically calig the ivere temperature β β to zero a the ize,, of the ytem grow. 9