arxiv: v2 [math.pr] 13 Oct 2009

Transcription

1 First passage percolatio o rado graphs with fiite ea degrees Shakar Bhaidi Reco va der Hofstad Gerard Hooghiestra October 3, 2009 arxiv: v2 [ath.pr 3 Oct 2009 Abstract We study first passage percolatio o the cofiguratio odel. Assuig that each edge has a idepedet expoetially distributed edge weight, we derive explicit distributioal asyptotics for the iiu weight betwee two radoly chose coected vertices i the etwork, as well as for the uber of edges o the least weight path, the so-called hopcout. We aalyze the cofiguratio odel with degree power-law expoet τ > 2, i which the degrees are assued to be i.i.d. with a tail distributio which is either of power-law for with expoet τ >, or has eve thier tails (τ = ). I this odel, the degrees have a fiite first oet, while the variace is fiite for τ > 3, but ifiite for τ (2, 3). We prove a cetral liit theore for the hopcout, with asyptotically equal eas ad variaces equal to α log, where α (0, ) for τ (2, 3), while α > for τ > 3. Here deotes the size of the graph. For τ (2, 3), it is kow that the graph distace betwee two radoly chose coected vertices is proportioal to log log [25, i.e., distaces are ultra sall. Thus, the additio of edge weights causes a arked chage i the geoetry of the etwork. We further study the weight of the least weight path, ad prove covergece i distributio of a appropriately cetered versio. This study cotiues the progra iitiated i [5 of showig that log is the correct scalig for the hopcout uder i.i.d. edge disorder, eve if the graph distace betwee two radoly chose vertices is of uch saller order. The case of ifiite ea degrees (τ [, 2)) is studied i [6, where it is proved that the hopcout reais uiforly bouded ad coverges i distributio. Key words: Flows, rado graph, first passage percolatio, hopcout, cetral liit theore, couplig to cotiuous-tie brachig processes, uiversality. MSC2000 subect classificatio. 60C05, 05C80, 90B5. Itroductio The geeral study of real-world etworks has see a treedous growth i the last few years. This growth occurred both at a epirical level of obtaiig data o etworks such as the Iteret, trasportatio etworks, such as rail ad road etworks, ad biocheical etworks, such as gee regulatory etworks, as well as at a theoretical level i the uderstadig of the properties of various atheatical odels for these etworks. We are iterested i oe specific theoretical aspect of the above vast ad expadig field. The settig is as follows: Cosider a trasportatio etwork whose ai ai is to trasport flow betwee various vertices i the etwork via the available edges. At the very basic level there are two crucial eleets which affect the flow carryig capabilities ad delays experieced by vertices i the etwork: Departet of Statistics ad Operatios Research, 304 Haes Hall, Uiversity of North Carolia, Chapel Hill, NC. E-ail: bhaidi@eail.uc.edu Departet of Matheatics ad Coputer Sciece, Eidhove Uiversity of Techology, P.O. Box 53, 5600 MB Eidhove, The Netherlads. E-ail: rhofstad@wi.tue.l EEMCS, Delft Uiversity of Techology, Mekelweg 4, 2628 CD Delft, The Netherlads. E-ail: g.hooghiestra@tudelft.l

2 (a) The actual graph topology, such as the desity of edges ad existece of short paths betwee vertices i the graph distace. I this cotext there has bee a eorous aout of iterest i the cocept of sall-world etworks where the typical graph distace betwee vertices i the etwork is of order log or eve saller. Ideed, for ay of the atheatical odels used to odel real-world trasissio etworks, such as the Iteret, the graph distace ca be of order uch saller tha order log. See e.g. [3, 25, where for the cofiguratio odel with degree expoet τ (2,3), the rearkable result that the graph distace betwee typical vertices is of order log log is proved. I this case, we say that the graph is ultra sall, a phrase iveted i [3. Siilar results have appeared for related odels i [, 6, 33. The cofiguratio odel is described i ore detail i Sectio 2. For itroductios to scale-free rado graphs, we refer to the oographs [2, 7, for surveys of classical rado graphs focussig o the Erdős-Réyi rado graph, see [8, 30. (b) The secod factor which plays a crucial role is the edge weight or cost structure of the graph, which ca be thought of as represetig actual ecooic costs or cogestio costs across edges. Edge weights beig idetically equal to gives us back the graph geoetry. What ca be said whe the edge costs have soe other behavior? The ai ai of this study is to uderstad what happes whe each edge is give a idepedet edge cost with ea. For siplicity, we have assued that the distributio of edge costs is expoetially with ea (Exp()), leadig to first passage percolatio o the graph ivolved. First passage percolatio with expoetial weights has received substatial attetio (see [5, 22, 23, 26, 27, 37), i particular o the coplete graph, ad, ore recetly, also o Erdős-Réyi rado graphs. However, particularly the relatio to the scale-free ature of the uderlyig rado graph ad the behavior of first passage percolatio o it has ot yet bee ivestigated. I this paper, we evisage a situatio where the edge weights represet actual ecooic costs, so that all flow is routed through iial weight paths. The actual tie delay experieced by vertices i the etwork is give by the uber of edges o this least cost path or hopcout H. Thus, for two typical vertices ad 2 i the etwork, it is iportat to uderstad both the iiu weight W of trasportig flow betwee two vertices as well as the hopcout H or the uber of edges o this iial weight path. What we shall see is the followig uiversal behavior: Eve if the graph topology is of ultra-sall ature, the additio of rado edge weights causes a coplete chage i the geoetry ad, i particular, the uber of edges o the iial weight path betwee two vertices icreases to Θ(log ). Here we write = Θ(b ) if there exist positive costats c ad C, such that, for all, we have cb Cb. For the precise atheatical results we refer to Sectio 3. We shall see that a rearkably uiversal picture eerges, i the sese that for each τ > 2, the hopcout satisfies a cetral liit theore (CLT) with asyptotically equal ea ad variace equal to α log, where α (0,) for τ (2,3), while α > for τ > 3. The paraeter α is the oly feature which is left fro the radoess of the uderlyig rado graph, ad α is a siple fuctio of τ for τ (2,3), ad of the average forward degree for τ > 3. This type of uiversality is reiiscet of that of siple rado walk, which, appropriately scaled, coverges to Browia otio, ad the paraeters eeded for the Browia liit are oly the ea ad variace of the step-size. Iterestigly, for the Iteret hopcout, easureets show that the hopcout is close to oral distributio with equal ea ad variace (see e.g., [36), ad it would be of iterest to ivestigate whether first passage percolatio o a rado graph ca be used as a odel for the Iteret hopcout. This paper is part of the progra iitiated i [5 to rigorously aalyze the asyptotics of distaces ad weights of shortest-weigh paths i rado graph odels uder the additio of edge weights. I this paper, we rigorously aalyze the case of the cofiguratio odel with degree expoet τ > 2, the coceptually iportat case i practice, sice the degree expoet of a wide variety of real-world etworks is coectured to be i this iterval. I [6, we ivestigate the case τ [, 2), where the first oet of the degrees is ifiite ad we observe etirely differet behavior of the hopcout H. 2

3 2 Notatio ad defiitios We are iterested i costructig a rado graph o vertices. Give a degree sequece, aely a sequece of positive itegers d = (d,d 2,...,d ) with d i assued to be eve, the cofiguratio odel (CM) o vertices with degree sequece d is costructed as follows: Start with vertices ad d i stubs or half-edges adacet to vertex i. The graph is costructed by radoly pairig each stub to soe other stub to for edges. Let l = d i (2.) deote the total degree. Nuber the stubs fro to l i soe arbitrary order. The, at each step, two stubs which are ot already paired are chose uiforly at rado aog all the upaired or free stubs ad are paired to for a sigle edge i the graph. These stubs are o loger free ad reoved fro the list of free stubs. We cotiue with this procedure of choosig ad pairig two stubs util all the stubs are paired. Observe that the order i which we choose the stubs does ot atter. Although self-loops ay occur, these becoe rare as (see e.g. [8 or [28 for ore precise results i this directio). Above, we have described the costructio of the CM whe the degree sequece is give. Here we shall specify how we costruct the actual degree sequece d, which shall be rado. I geeral, we shall let a capital letter (such as D i ) deote a rado variable, while a lower case letter (such as d i ) deote a deteriistic obect. We shall assue that the rado variables D,D 2,... D are idepedet ad idetically distributed (i.i.d.) with a certai distributio fuctio F. (Whe the su of stubs L = D i is ot eve the we shall use the degree sequece D,D 2,...,D, with D replaced by D +. This does ot effect our calculatios.) We shall assue that the degrees of all vertices are at least 2 ad that the degree distributio F is regularly varyig. More precisely, we assue P(D 2) =, ad F(x) = x (τ ) L(x), (2.2) with τ > 2, ad where x L(x) is a slowly varyig fuctio for x. I the case τ > 3, we shall replace (2.2) by the less striget coditio (3.2). Furtherore, each edge is give a rado edge weight, which i this study will always be assued to be idepedet ad idetically distributed (i.i.d.) expoetial rado variables with ea. Because i our settig the vertices are exchageable, we let ad 2 be the two rado vertices picked uiforly at rado i the etwork. As stated earlier, the paraeter τ is assued to satisfy τ > 2, so that the degree distributio has fiite ea. I soe cases, we shall distiguish betwee τ > 3 ad τ (2,3), i the forer case, the variace of the degrees is fiite, while i the latter, it is ifiite. It follows fro the coditio D i 2, alost surely, that the probability that the vertices ad 2 are coected coverges to. Let f = {f } deote the probability ass fuctio correspodig to the distributio fuctio F, so that f = F() F( ). Let {g } deote the size-biased probability ass fuctio correspodig to f, defied by where µ is the expected size of the degree, i.e., g = ( + )f +, 0, (2.3) µ µ = E[D = f. (2.4) 3

4 3 Results I this sectio, we state the ai results for τ > 2. We treat the case where τ > 3 i Sectio 3. ad the case where τ (2,3) i Sectio 3.2. The case where τ [,2) is deferred to [6. Throughout the paper, we shall deote by (H,W ), (3.) the uber of edges ad total weight of the shortest-weight path betwee vertices ad 2 i the CM with i.i.d. degrees with distributio fuctio F, where we coditio the vertices ad 2 to be coected ad we assue that each edge i the CM has a i.i.d. expoetial weight with ea. 3. Shortest-weight paths for τ > 3 I this sectio, we shall assue that the distributio fuctio F of the degrees i the CM is o-degeerate ad satisfies F(x) = 0, x < 2, so that the rado variable D is o-degeerate ad satisfies D 2, a.s., ad that there exist c > 0 ad τ > 3 such that Also, we let F(x) cx (τ ), x 0. (3.2) ν = E[D(D ). (3.3) E[D As a cosequece of the coditios we have that ν >. The coditio ν > is equivalet to the existece of a giat copoet i the CM, the size of which is proportioal to (see e.g. [24, 3, 32, for the ost recet ad geeral result, see [29). Moreover, the proportioality costat is the survival probability of the brachig process with offsprig distributio {g }. As a cosequece of the coditios o the distributio fuctio F, i our case, the survival probability equals, so that for the graph becoes asyptotically coected i the sese that the giat copoet has ( o()) vertices. Also, d whe (3.2) holds, we have that ν <. Throughout the paper, we shall let deote covergece i distributio ad P covergece i probability. Theore 3. (Precise asyptotics for τ > 3) Let the degree distributio F of the CM o vertices be o-degeerate, satisfy F(x) = 0, x < 2, ad satisfy (3.2) for soe τ > 3. The, (a) the hopcout H satisfies the CLT H α log α log where Z has a stadard oral distributio, ad α = (b) there exists a rado variable V such that d Z, (3.4) ν (, ); (3.5) ν W log ν d V. (3.6) I Sectio C of the appedix, we shall idetify the liitig rado variable V as V = log W ν log W 2 ν + Λ ν log µ(ν ) +, (3.7) ν where W,W 2 are two idepedet copies of the liitig rado variable of a certai supercritical cotiuous-tie brachig process ad Λ has a Gubel distributio. 4

5 3.2 Aalysis of shortest-weight paths for τ (2, 3) I this sectio, we shall assue that (2.2) holds for soe τ (2,3) ad soe slowly varyig fuctio x L(x). Whe this is the case, the variace of the degrees is ifiite, while the ea degree is fiite. As a result, we have that ν i (3.3) equals ν =, so that the CM is always supercritical (see [25, 29, 3, 32). I fact, for τ (2,3), we shall ake a stroger assuptio o F tha (2.2), aely, that there exists a τ (2,3) ad 0 < c c 2 < such that, for all x 0, c x (τ ) F(x) c 2 x (τ ). (3.8) Theore 3.2 (Precise asyptotics for τ (2, 3)) Let the degree distributio F of the CM o vertices be o-degeerate, satisfy F(x) = 0, x < 2, ad satisfy (3.8) for soe τ (2,3). The, (a) the hopcout H satisfies the CLT H α log α log where Z has a stadard oral distributio ad where d Z, (3.9) α = 2(τ 2) τ (0,); (3.0) (b) there exists a liitig rado variable V such that I Sectio 6, we shall idetify the liitig distributio V precisely as W d V. (3.) V = V + V 2, (3.2) where V,V 2 are two idepedet copies of a rado variable which is the explosio tie of a certai ifiite-ea cotiuous-tie brachig process. 3.3 Discussio ad related literature Motivatio. The basic otivatio of this work was to show that eve though the uderlyig graph topology ight iply that the distace betwee two vertices is very sall, if there are edge weights represetig capacities, say, the the hopcout could drastically icrease. Of course, the assuptio of i.i.d. edge weights is ot very realistic, however, it allows us to alost copletely aalyze the iiu weight path. The assuptio of expoetially distributed edge weights is probably ot ecessary [, 27 but helps i cosiderably siplifyig the aalysis. Iterestigly, hopcouts which are close to oral with asyptotically equal eas ad variaces are observed i Iteret (see e.g., [36). The results preseted here ight shed soe light o the origi of this observatio. Uiversality for first passage percolatio o the CM. Coparig Theore 3. ad Theore 3.2 we see that a rearkably uiversal picture eerges. Ideed, the hopcout i both cases satisfies a CLT with equal ea ad variace proportioal to log, ad the proportioality costat α satisfies α (0,) for τ (2,3), while α > for τ > 3. We shall see that the proofs of Theores 3. ad 3.2 ru, to a large extet, parallel, ad we shall oly eed to distiguish whe dealig with the related brachig process proble to which the eighborhoods ca be coupled. 5

6 The case τ [,2) ad critical cases τ = 2 ad τ = 3. I [6, we study first passage percolatio o the CM whe τ [,2), i.e., the degrees have ifiite ea. We show that a rearkably differet picture eerges, i the sese that H reais uiforly bouded ad coverges i distributio. This is due to the fact that we ca thik of the CM, whe τ [,2), as a uio of a (essetially) fiite uber of stars. Together with the results i Theores , we see that oly the critical cases τ = 2 ad τ = 3 reai ope. We coecture that the CLT, with asyptotically equal eas ad variaces, reais valid whe τ = 3, but that the proportioality costat α ca take ay value i [, ), depedig o, for exaple, whether ν i (3.3) is fiite or ot. What happes for τ = 2 is less clear to us. Graph distaces i the CM. Expadig eighborhood techiques for rado graphs have bee used extesively to explore shortest path structures ad other properties of locally tree-like graphs. See the closely related papers [9, 24, 25, 34, where a extesive study of the CM has bee carried out. Relevat to our cotext is [25, Corollary.4(i), where it has bee show that whe 2 < τ < 3, the graph distace H betwee two typical vertices,which are coditioed to be coected, satisfies the asyptotics H log log P 2 log (τ 2), (3.3) as, ad furtherore that the fluctuatios of H reai uiforly bouded as. For τ > 3, it is show i [24, Corollary.3(i) that H log P log ν, (3.4) agai with bouded fluctuatios. Coparig these results with Theores , we see the drastic effect that the additio of edge weights has o the geoetry of the graph. The degree structure. I this paper, as i [9, 24, 25, 34, we assue that the degrees are i.i.d. with a certai degree distributio fuctio F. I the literature, also the settig where the degrees {d i } are deteriistic ad coverge i a appropriate sese to a asyptotic degree distributio is studied (see e.g., [, 20, 29, 3, 32). We expect that our results ca be adapted to this situatio. Also, we assue that the degrees are at least 2 a.s., which esures that two uifor vertices lie, with high probability (whp) i the giat copoet. We have chose for this settig to keep the proofs as siple as possible, ad we coecture that Theores , whe istead we coditio the vertices ad 2 to be coected, reai true verbati i the ore geeral case of the supercritical CM. Aealed vs. queched asyptotics. The proble studied i this paper, first passage percolatio o a rado graph, fits i the ore geeral fraework of stochastic processes i rado eviroets, such as rado walk i rado eviroet. I such probles, there are two iterestig settigs, aely, whe we study results whe averagig out over the eviroet ad whe we freeze the eviroet (the so-called aealed ad queched asyptotics). I this paper, we study the aealed settig, ad it would be of iterest to exted our results to the queched settig, i.e., study the first-passage percolatio proble coditioally o the rado graph. We expect the results to chage i this case, priarily due to the fact that we kow the exact eighborhood of each poit. However, whe we cosider the shortestweight proble betwee two uifor vertices, we coecture Theores to reai valid verbati, due to the fact that the eighborhoods of uifor vertices coverge to the sae liit as i the aealed settig (see e.g., [4, 24). First passage percolatio o the Erdős-Réyi rado graph. We recall that the Erdős-Réyi rado graph G(,p) is obtaied by takig the vertex set [ = {,...,} ad lettig each edge i be preset, idepedetly of all other edges, with probability p. The study closest i spirit to our study is [5, 6

7 where siilar ideas were explored for dese Erdős-Réyi rado graphs. The Erdős-Réyi rado graph G(,p) ca be viewed as a close brother of the CM, with Poisso degrees, hece with τ =. Cosider the case where p = µ/ ad µ >. I a future paper we pla to show, parallel to the above aalysis, that H satisfies a CLT with asyptotically equal ea ad variace give by µ µ log. This coects up icely with [5, where related results were show for µ = µ, ad H /log was proved to coverge to i probability. See also [22 where related stateets were proved uder stroger assuptios o µ. Iterestigly, i a recet paper, Dig et al [5 use first passage percolatio to study the diaeter of the largest copoet of the Erdős-Réyi rado graph with edge probability p = ( + ε)/ for ε = o() ad ε 3. The weight distributio. It would be of iterest to study the effect of weights eve further, for exaple, by studyig the case where the weights are i.i.d. rado variables with distributio equal to E s, where E is a expoetial rado variable with ea ad s [0, ). The case s = 0 correspods to the graph distace H as studied i [9, 24, 25, while the case s = correspods to the case with i.i.d. expoetial weights as studied here. Eve the proble o the coplete graph sees to be ope i this case, ad we ited to retur to this proble i a future paper. We coecture that the CLT reais valid for first passage perolatio o the CM whe the weights are give by idepedet copies of E s, with asyptotic ea ad variace proportioal to log, but, whe s, we predict that the asyptotic eas ad variaces have differet costats. We becae iterested i rado graphs with edge weights fro [9 where, via epirical siulatios, a wide variety of behavior was predicted for the shortest-weight paths i various rado graph odels. The setup that we aalyze is the weak disorder case. I [9, also uber of iterestig coectures regardig the strog disorder case were ade, which would correspod to aalyzig the iial spaig tree of these rado graph odels, ad which is a highly iterestig proble. Related literature o shortest-weight probles. First passage percolatio, especially o the iteger lattice, has bee extesively studied i the last fifty years, see e.g. [8 ad the ore recet survey [26. I these papers, of course, the ephasis is copletely differet, i the sese that geoetry plays a itrisic role ad ofte the goal of the study is to show that there is a liitig shape to first passage percolatio fro the origi. Jaso [27 studies first passage percolatio o the coplete graph, with expoetial weights. His ai results are W (i) log / P, ax W (i) log / P 2, ax i, W (i) log / P 3. (3.5) where W (i) deotes the weight of the shortest path betwee the vertices i ad. Recetly the authors of [, showed i the sae set-up, that ax i, H (i) /log P α, where α 3.59 is the uique solutio of the equatio x log x x =. It would be of iterest to ivestigate such questios i the CM with expoetial weights. The fudaetal differece of first passage percolatio o the iteger lattice, or eve o the coplete graph, is that i our case the uderlyig graph is rado as well, ad we are lead to the delicate relatio betwee the radoess of the graph together with that of the stochastic process, i this case first passage percolatio, livig o it. Fially, for a slightly differet perspective to shortest weight probles, see [37 where relatios betwee the rado assiget proble ad the shortest-weight proble with expoetial edge weights o the coplete graph are explored. 4 Overview of the proof ad orgaizatio of the paper The key idea of the proof is to first grow the shortest-weight graph (SWG) fro vertex, util it reaches a appropriate size. After this, we grow the SWG fro vertex 2 util it coects up with the SWG fro 7

8 vertex. The size to which we let the SWG fro grow shall be the sae as the typical size at which the coectio betwee the SWG fro vertices ad 2 shall be ade. However, the coectio tie at which the SWG fro vertex 2 coects to the SWG fro vertex is rado. More precisely, we defie the SWG fro vertex, deoted by SWG (), recursively. The growth of the SWG fro vertex 2, which is deoted by SWG (2), is siilar. We start with vertex by defiig SWG () 0 = {}. The we add the edge ad vertex with iial edge weight coectig vertex to oe of its eighbors (or itself whe the iial edge is a self-loop). This defies SWG (). We obtai SWG() fro SWG () by addig the edge ad ed vertex coected to the SWG with iial edge weight. We iforally let SWG (i) deote the SWG fro vertex i {, 2} whe edges (ad vertices) have bee added to it. This defiitio is iforal, as we shall eed to deal with self-loops ad cycles i a proper way. How we do this is explaied i ore detail i Sectio 4.2. As etioed before, we first grow SWG () to a size, which is to be chose appropriately. After this, we grow SWG (2), ad we stop as soo as a vertex of SWG () appears i {SWG (2) } =0, as the the shortest-weight path betwee vertices ad 2 has bee foud. Ideed, if o the cotrary, the shortest weight path betwee vertex ad vertex 2 cotais a edge ot cotaied i the uio of the two SWGs whe they eet, the ecessarily this edge would have bee chose i oe of the two SWGs at a earlier stage, sice at soe earlier stage this edge ust have bee icidet to oe of the SWGs ad had the iial weight of all edges icidet to that SWG. I Sectios 4.2 ad 4.3, we shall ake these defiitios precise. Deote this first coo vertex by A, ad let G i be the distace betwee vertex i ad A, i.e., the uber of edges o the iiu weight path fro i to A. The, we have that H = G + G 2, (4.) while, deotig by T i the weight of the shortest-weight paths fro i to A, we have W = T + T 2. (4.2) Thus, to uderstad the rado variables H ad W, it is paraout to uderstad the rado variables T i ad G i, for i =,2. Sice, for, the topologies of the eighborhoods of vertices ad 2 are close to beig idepedet, it sees likely that G ad G 2, as well as T ad T 2 are close to idepedet. Sice, further, the CM is locally tree-like, we are lead to the study of the proble o a tree. With the above i id, the paper is orgaized as follows: I Sectio 4. we study the flow o a tree. More precisely, i Propositio 4.3, we describe the asyptotic distributio of the legth ad weight of the shortest-weight path betwee the root ad the th added vertex i a brachig process with i.i.d. degrees with offsprig distributio g i (2.3). Clearly, the CM has cycles ad self-loops, ad, thus, soeties deviates fro the tree descriptio. I Sectio 4.2, we reforulate the proble of the growth of the SWG fro a fixed vertex as a proble of the SWG o a tree, where we fid a way to deal with cycles by a couplig arguet, so that the arguets i Sectio 4. apply quite literally. I Propositio 4.6, we describe the asyptotic distributio of the legth ad weight of the shortest-weight path betwee a fixed vertex ad the th added vertex i the SWG fro the CM. However, observe that the rado variables G i described above are the geeratio of a vertex at the tie at which the two SWGs collide, ad this tie is a rado variable. I Sectio 4.3, we exted the discussio to this settig, ad forulate the ecessary igrediets for the collisio tie, i.e., the tie at which the coectig edge appears, i Propositio 4.4. I Sectio 4.5, we coplete the outlie. The proofs of the key propositios are deferred to Sectios 5 7. Techical results eeded i the proofs i Sectios 5 7, for exaple o the topology of the CM, are deferred to the appedix. 8

9 4. Descriptio of the flow clusters i trees We shall ow describe the costructio of the SWG i the cotext of trees. I particular, below, we shall deal with a flow o a brachig process tree, where the offsprig is deteriistic. Deteriistic costructio: Suppose we have positive (o-rado) itegers d,d 2,... Cosider the followig costructio of a brachig process i discrete tie: Costructio 4. (Flow fro root of tree) The shortest-weight graph o a tree with degrees {d i } is obtaied as follows:. At tie 0, start with oe alive vertex (the iitial acestor); 2. At each tie step i, pick oe of the alive vertices at rado, this vertex dies givig birth to d i childre. I the above costructio, the uber of offsprig d i is fixed oce ad for all. For a brachig process tree, the variables d i are i.i.d. rado variables. This case shall be ivestigated later o, but the case of deteriistic degrees is ore geeral, ad shall be iportat for us to be able to deal with the CM. Cosider a cotiuous-tie brachig process defied as follows:. Start with the root which dies iediately givig rise to d alive offsprig; 2. Each alive offsprig lives for Exp() aout of tie, idepedet of all other radoess ivolved; 3. Whe the th vertex dies it leaves behid d alive offsprig. The split-ties (or death-ties) of this brachig process are deoted by T i, i. Note that the Costructio 4. is equivalet to this cotiuous brachig process, observed at the discrete ties T i, i. The fact that the chose alive vertex is chose at rado follows fro the eoryless property of the expoetial rado variables that copete to becoe the iial oe.) We quote a fudaetal result fro [0. I its stateet, we let s i = d + + d i (i ). (4.3) Propositio 4.2 (Shortest-weight paths o a tree) Pick a alive vertex at tie uiforly at rado aog all vertices alive at this tie. The, (a) the geeratio of the th chose vertex is equal i distributio to d G = I i, (4.4) where {I i } are idepedet Beroulli rado variables with P(I i = ) = d i /s i, (4.5) (b) the weight of the shortest-weight path betwee the root of the tree ad the vertex chose i the th step is equal i distributio to d T = E i /s i, (4.6) where {E i } are i.i.d. expoetial rado variables with ea. A ew probabilistic proof is added, sice there is soe cofusio betwee the defiitio s i give here, ad the defiitio of s i give i [0, below Equatio (3.). More precisely, i [0, s i is defied as s i = d d i i, which is our s i. 9

10 Proof. We shall prove part (a) by iductio. The stateet is trivial for =. We ext assue that (4.4) holds for, where {I i } are idepedet Beroulli rado variables satisfyig (4.5). Let G + deote the geeratio of the radoly chose vertex at tie +, ad cosider the evet {G + = k}, k. If radoly choosig oe of the alive vertices at tie + results i oe of the d + ewly added vertices, the, i order to obtai geeratio k, the previous uifor choice, i.e., the choice of the vertex which was the last oe to die, ust have bee a vertex fro geeratio k. O the other had, if a uifor pick is coditioed o ot takig oe of the d + ewly added vertices, the this choice ust have bee a uifor vertex fro geeratio k. Hece, we obtai, for k, P(G + = k) = d + s + P(G = k ) + ( d ) + P(G = k). (4.7) s + The proof of part (a) is ow iediate fro the iductio hypothesis. The proof of part(b) is as follows. The iiu of s i idepedet exp() rado variables has a expoetial distributio with paraeter s i, ad is hece equal i distributio to E i /s i. We further use the eoryless property of the expoetial distributio which guaratees that at each of the discrete tie steps the reaiig lifeties (or weights) of the alive vertices are idepedet expoetial variables with ea, idepedet of what happeed previously. We ote that, while Propositio 4.2 was applied i [0, Theore 3. oly i the case where the degrees are i.i.d., i fact, the results hold ore geerally for every tree (see e.g., [0, Equatio (3.), ad the above proof). This extesio shall prove to be vital i our aalysis. We ext ituitively relate the above result to our settig. Start fro vertex, ad iteratively choose the edge with iial additioal weight attached to the SWG so far. As etioed before, because of the properties of the expoetial distributio, the edge with iial additioal weight ca be cosidered to be picked uiforly at rado fro all edges attached to the SWG at that oet. With high probability, this edge is coected to a vertex which is ot i the SWG. Let B i deote the forward degree (i.e., the degree ius ) of the vertex to which the i th edge is coected. By the results i [24, 25, {B i } i 2 are close to beig i.i.d., ad have distributio give by (2.3). Therefore, we are lead to studyig rado variables of the for (4.4) (4.5), where {B i } are i.i.d. rado variables. Thus, this eas that we study the ucoditioal law of G i (4.4), i the settig where the vector {d i } is replaced by a i.i.d. sequece of rado variables {B i }. We shall first state a CLT for G ad a liit result for T i this settig. I its stateet, we shall also ake use of the rado variable T, which is the weight of the shortest weight path betwee the root ad the paret of the th idividual i the brachig process. Thus, i particular, T T, ad T T is the tie betwee the additio of the paret of the th idividual ad the th idividual itself. Propositio 4.3 (Asyptotics for shortest-weight paths o trees) Let {B i } be a i.i.d. sequece of o-degeerate, positive iteger valued, rado variables, satisfyig P(B i > k) = k 2 τ L(k), τ > 2, for soe slowly varyig fuctio k L(k). Deote by ν = E[B, for τ > 3, whereas ν =, for τ (2,3). The, (a) for G give i (4.4) (4.5), with d i replaced by B i, there exists a β such that, as, G β log β log d Z, where Z N(0,), (4.8) a stadard oral variable, ad where β = ν/(ν ) for τ > 3, while β = for τ (2,3); (b) for T give i (4.6), there exists rado variables X, X such that T γ log d X, T γ log d X, (4.9) where γ = /(ν ) whe τ > 3, while γ = 0 whe τ (2,3). I the latter case X d = X. 0

11 Propositio 4.3 is proved i [0, Theore 3. whe Var(B i ) <, which holds whe τ > 4, but ot whe τ (2,4). We shall prove Propositio 4.3 i Sectio 5 below. There, we shall also see that the result persists uder weaker assuptios tha {B i } beig i.i.d., for exaple, whe {B i} are exchageable o-egative iteger valued rado variables satisfyig certai coditios. Such extesios shall prove to be useful whe dealig with the actual (forward) degrees i the CM. 4.2 A copariso of the flow o the CM ad the flow o the tree Propositio 4.3 gives a CLT for the geeratio whe cosiderig a flow o a tree. I this sectio, we shall relate the proble of the flow o the CM to the flow o a tree. The key feature of this costructio is that we shall siultaeously grow the graph topology eighborhood of a vertex, as well as the shortest-weight graph fro it. This will be achieved by cobiig the costructio of the CM as described i Sectio 2 with the fact that, fro a give set of vertices ad edges, if we grow the shortest-weight graph, each potetial edge is equally likely to be the iial oe. I the proble of fidig the shortest weight path betwee two vertices ad 2, we shall grow two SWGs siultaeously fro the two vertices ad 2, util they eet. This is the proble that we actually eed to resolve i order to prove our ai results i Theores The extesio to the growth of two SWGs is treated i Sectio 4.3 below. The ai differece betwee the flow o a graph ad o a tree is that o the tree there are o cycles, while o a graph there are. Thus, we shall adapt the growth of the SWG for the CM i such a way that we obtai a tree (so that the results fro Sectio 4. apply), while we ca still retrieve all iforatio about shortest-weight paths fro the costructed graph. This will be achieved by itroducig the otio of artificial vertices ad stubs. We start by itroducig soe otatio. We deote by {SWG } 0 the SWG process fro vertex. We costruct this process recursively. We let SWG 0 cosist oly of the alive vertex, ad we let S 0 =. We ext let SWG cosist of the D allowed stubs ad of the explored vertex, ad we let S = S 0 +D = D deote the uber of allowed stubs. I the sequel of the costructio, the allowed stubs correspod to vertices i the shortest-weight proble o the tree i Sectio 4.. This costructs SWG. Next, we describe how to costruct SWG fro SWG. For this costructio, we shall have to deal with several types of stubs: (a) the allowed stubs at tie, deoted by AS, are the stubs that are icidet to vertices of the SWG, ad that have ot yet bee paired to for a edge; S = AS deotes their uber; (b) the free stubs at tie, deoted by FS, are those stubs of the L total stubs which have ot yet bee paired i the costructio of the CM up to ad icludig tie ; (c) the artificial stubs at tie, deoted by Art, are the artificial stubs created by breakig ties, as described i ore detail below. We ote that Art AS, ideed, AS \FS = Art. The, we ca costruct SWG fro SWG as follows. We choose oe of the S allowed stubs uiforly at rado, ad the, if the stub is ot artificial, pair it uiforly at rado to a free stub uequal to itself. Below, we shall cosistetly call these two stubs the chose stub ad the paired stub, respectively. There are 3 possibilities, depedig o what kid of stub we choose ad what kid of stub it is paired to: Costructio 4.4 (The evolutio of SWG for CM as SWG o a tree) () The chose stub is real, i.e., ot artificial, ad the paired stub is ot oe of the allowed stubs. I this case, which shall be ost likely at the start of the growth procedure of the SWG, the paired stub is icidet to a vertex outside SWG, we deote by B the forward degree of the vertex icidet to the paired stub (i.e, its degree ius ), ad we defie S = S + B. The, we reove the paired ad the chose stub fro AS ad add the B stubs icidet to the vertex icidet to the paired stub to AS to obtai AS, we reove the chose ad the paired stubs fro FS to obtai FS, ad Art = Art ; (2) The chose stub is real ad the paired stub is a allowed stub. I this case, the paired stub is icidet

12 to a vertex i SWG ad we have created a cycle. I this case, we create a artificial stub replacig the paired stub, ad deote B = 0. The, we let S = S, reove both the chose ad paired stubs fro AS ad add the artificial stub to obtai AS, ad reove the chose ad paired stub fro FS to obtai FS, while Art is Art together with the ewly created artificial stub. I SWG, we also add a artificial edge to a artificial vertex i the place where the chose stub was, the forward degree of the artificial vertex beig 0. This is doe because a vertex is added each tie i the costructio o a tree. (3) The chose stub is artificial. I this case, we let B = 0, S = S, ad reove the chose stub fro AS ad Art to obtai AS ad Art, while FS = FS. I the costructio i Costructio 4.4, we always work o a tree sice we replace a edge which creates a cycle, by oe artificial stub, to replace the paired stub, ad a artificial edge plus a artificial vertex i the SWG with degree 0, to replace the chose stub. Note that the uber of allowed edges at tie satisfies S = S + B, where B = D ad, for 2, i cases (2) ad (3), B = 0, while i case () (which we expect to occur i ost cases), the distributio of B is equal to the forward degree of a vertex icidet to a uiforly chose stub. Here, the choice of stubs is without replaceet. The reaso for replacig cycles as described above is that we wish to represet the SWG proble as a proble o a tree, as we ow will explai iforally. O a tree with degrees {d i }, as i Sectio 4., we have that the reaiig degree of vertex i at tie is precisely equal to d i ius the uber of eighbors that are aog the vertices with iial shortest-weight paths fro the root. For first passage percolatio o a graph with cycles, a cycle does ot oly reove oe of the edges of the vertex icidet to it (as o the tree), but also oe edge of the vertex at the other ed of the cycle. Thus, this is a differet proble, ad the results fro Sectio 4. do ot apply literally. By addig the artificial stub, edge ad vertex, we artificially keep the degree of the receivig vertex the sae, so that we do have the sae situatio as o a tree, ad we ca use the results i Sectio 4.. However, we do eed to ivestigate the relatio betwee the proble with the artificial stubs ad the origial SWG proble o the CM. That is the cotet of the ext propositio. I its stateet, we shall defie the th closest vertex to vertex i the CM, with i.i.d. expoetial weights, as the uique vertex of which the iial weight path is the th sallest aog all vertices. Further, at each tie, we deote by artificial vertices those vertices which are artificially created, ad we call the other vertices real vertices. The, we let the rado tie R be the first tie that SWG cosists of + real vertices, i.e., R = i { 0 : SWG cotais + real vertices }. (4.0) The + origiates fro the fact that at tie = 0, SWG 0 cosists if real vertex, aely, the vertex fro which we costruct the SWG. Thus, i the above set up, we have that R = precisely whe o cycle has bee created i the costructio up to tie. The, our ai couplig result is as follows: Propositio 4.5 (Couplig shortest-weight graphs o a tree ad CM) Joitly for all, the set of real vertices i SWG R is equal i distributio to the set of i th closest vertices to vertex, for i =,...,. Cosequetly, (a) the geeratio of the th closest vertex to vertex has distributio G R, where G is defied i (4.4) (4.5) with d = D ad d i = B i, i 2, as described i Costructio 4.4; (b) the weight of the shortest weight path to the th closest vertex to vertex has distributio T R, where T is defied i (4.6) with d = D ad d i = B i, i 2, as described i Costructio 4.4. We shall ake use of the ice property that the sequece {B R } =2, which cosists of the forward degrees of chose stubs that are paired to stubs which are ot i the SWG, is, for the CM, a exchageable sequece of rado variables (see Lea 6. below). This is due to the fact that a free stub is chose uiforly at rado, ad the order of the choices does ot atter. This exchageability shall prove to be useful i order to ivestigate shortest-weight paths i the CM. We ow prove Propositio 4.5: 2

13 Proof of Propositio 4.5. I growig the SWG, we give expoetial weights to the set {AS }. After pairig, we idetify the expoetial weight of the chose stub to the expoetial weight of the edge which it is part of. We ote that by the eoryless property of the expoetial rado variable, each stub is chose uiforly at rado fro all the allowed stubs icidet to the SWG at the give tie. Further, by the costructio of the CM i Sectio 2, this stub is paired uiforly at rado to oe of the available free stubs. Thus, the growth rules of the SWG i Costructio 4.4 equal those i the above descriptio of {SWG } =0, uless whe a cycle is closed ad a artificial stub, edge ad vertex are created. I this case, the artificial stub, edge ad vertex ight ifluece the law of the SWG. However, we ote that the artificial vertices are ot beig couted i the set of real vertices, ad sice artificial vertices have forward degree 0, they will ot be a part of ay shortest path to a real vertex. Thus, the artificial vertex at the ed of the artificial edge does ot affect the law of the SWG. Artificial stubs that are created to replace paired stubs whe a cycle is fored, ad which are ot yet reoved at tie, will be called daglig eds. Now, if we oly cosider real vertices, the the distributio of weights ad legths of the shortest-weight paths betwee the startig poits ad those real vertices are idetical. Ideed, we ca decorate ay graph with as ay daglig eds as we like without chagig the shortest-weight paths to real vertices i the graph. Now that the flow proble o the CM has bee traslated ito a flow proble o a related tree of which we have explicitly described its distributio, we ay ake use of Propositio 4.2, which shall allow us to exted Propositio 4.3 to the settig of the CM. Note that, aog others due to the fact that whe we draw a artificial stub, the degrees are ot i.i.d. (ad ot eve exchageable sice the probability of drawig a artificial stub is likely to icrease i tie), we eed to exted Propositio 4.3 to a settig where the degrees are weakly depedet. I the stateet of the result, we recall that G is the height of the th added vertex i the tree proble above. I the stateet below, we write { = (τ 3 2)/(τ 3 ) (τ 2)/(τ ) for τ (2,3); = /2 (4.) for τ > 3, where, for a,b R, we write a b = i{a,b}. Before we forulate the CLT for the hopcout of the shortest-weight graph i the CM, we repeat oce ore the setup of the rado variables ivolved. Let S 0 =, S = D, ad for 2, S = D + (B i ), (4.2) i=2 where, i case the chose stub is real, i.e., ot artificial, ad the paired stub is ot oe of the allowed stubs, B i equals the forward degree of the vertex icidet to the i th paired stub, whereas B i = 0 otherwise. Fially, we recall that, coditioally o D,B 2,B 3,...,B, G = I i, where P(I = ) =, P(I = ) = B /S, 2. (4.3) Propositio 4.6 (Asyptotics for shortest-weight paths i the CM) (a) Let the law of G be give i (4.3). The, with β as i Propositio 4.3, ad as log as, for ay such that log ( / ) = o( log ), G β log β log d Z, where Z N(0,). (4.4) (b) Let the law of T be give i (4.6), with s i replaced by S i give by (4.2) ad let γ be as i Propositio 4.3. The, there exists a rado variable X such that T γ log d X. (4.5) 3

14 The sae results apply to G R ad T R, i.e., i the stateets (a) ad (b) the iteger ca be replaced by R, as log as. Propositio 4.6 iplies that the result of Propositio 4.3 reais true for the CM, wheever is ot too large. Iportat for the proof of Propositio 4.6 is the couplig to a tree proble i Propositio 4.5. Propositio 4.6 shall be proved i Sectio 6. A iportat igrediet i the proof will be the copariso of the variables {B } =2, for a appropriately chose, to a i.i.d. sequece. Results i this directio have bee proved i [24, 25, ad we shall cobie these to the followig stateet: Propositio 4.7 (Couplig the forward degrees to a idepedet sequece) I the CM with τ > 2, there exists a ρ > 0 such that the rado vector {B } ρ =2 ca be coupled to a idepedet sequece of rado variables {B (id) } ρ =2 with probability ass fuctio g i (2.3) i such a way that {B } ρ } ρ =2 whp. =2 = {B(id) I Propositio 4.7, i fact, we ca take {B } ρ =2 collectio of ρ distict stubs has bee coected. to be the forward degree of the vertex to which ay 4.3 Flow clusters started fro two vertices To copute the hopcout, we first grow the SWG fro vertex util tie, followed by the growth of the SWG fro vertex 2 util the two SWGs eet, as we ow explai i ore detail. Deote by {SWG (i) } =0 the SWG fro the vertex i {,2}, ad, for 0, let SWG (,2) = SWG() SWG (2), (4.6) the uio of the SWGs of vertex ad 2. We shall oly cosider values of where SWG () ad SWG (2) are disoit, i.e., they do ot cotai ay coo (real) vertices. We shall discuss the oet whe they coect i Sectio 4.4 below. We recall the otatio i Sectio 4.2, ad, for i {,2}, deote by AS (i) ad Art(i) the uber of allowed ad artificial stubs i SWG (i). We let the set of free stubs FS cosist of those stubs which have ot yet bee paired i SWG (,2) i (4.6). Apart fro that, the evolutio of SWG(2), followig the evolutio of SWG (), is idetical as i Costructio 4.4. We deote by S (i) = AS (i) the uber of allowed stubs i SWG (i) for i {,2}. We defie B (i) accordigly. The above descriptio shows how we ca grow the SWG fro vertex followed by the oe of vertex 2. I order to state a adaptatio of Propositio 4.5 to the settig where the SWGs of vertex is first grow to size, followed by the growth of the SWG fro vertex 2 util the coectig edge appears, we let the rado tie R (i) be the first tie l such that SWG (i) l cosists of + real vertices. The, our ai couplig result for two siultaeous SWGs is as follows: Propositio 4.8 (Couplig SWGs o two trees ad CM fro two vertices) Joitly for 0, as log as the sets of real vertices i (SWG (),SWG (2) ) are disoit, these sets are equal i distributio to the sets of th, respectively th 2, closest vertices to vertex ad 2, respectively, for =,...,R a () ad 2 =,...,R (2), respectively. 4.4 The coectig edge As described above, we grow the two SWGs util the first stub with iial weight icidet to SWG (2) is paired to a stub icidet to SWG (). We call the created edge likig the two SWGs the coectig edge. More precisely, let C = i{ 0 : SWG () SWG (2) }, (4.7) be the first tie that SWG () ad SWG (2) share a vertex. Whe = 0, this eas that 2 SWG () (which we shall show happes with sall probability), while whe, this eas that the th -stub 4

15 of SWG (2) which is chose ad the paired, is paired to a stub fro SWG (). The path foud actually is the shortest-weight path betwee vertices ad 2, sice SWG () ad SWG (2) precisely cosists of the closest real vertices to the root i, for i =,2, respectively. We ow study the probabilistic properties of the coectig edge. Let the edge e = st be icidet to SWG (), ad s ad t deote its two stubs. Let the vertex icidet to s be i s ad the vertex icidet to t be i t. Assue that i s SWG (), so that, by costructio, i t SWG (). The, coditioally o SWG () ad {T () i } a (), the weight of e is at least T W () i s, where W () i s is the weight of the shortest path fro to i s. By the eoryless property of the expoetial distributio, therefore, the weight o edge e equals T a () W () i s +E e, where the collectio (E e ), for all e icidet to SWG () are i.i.d. Exp() rado variables. Alteratively, we ca redistribute the weight by sayig that the stub t has weight E e, ad the stub s has weight T a () W () i s. Further, i the growth of (SWG (2) ) 0, we ca also thik of the expoetial weights of the edges icidet to SWG (2) beig positioed o the stubs icidet to SWG (2). Hece, there is o distictio betwee the stubs that are part of edges coectig SWG () ad SWG (2) ad the stubs that are part of edges icidet to SWG (2), but ot to SWG(). Therefore, i the growth of (SWG (2) ) 0, we ca thik of the iial weight stub icidet to SWG (2) beig chose uiforly at rado, ad the a uifor free stub is chose to pair it with. As a result, the distributio of the stubs chose at the tie of coectio is equal to ay of the other (real) stubs chose alog the way. This is a crucial igrediet to prove the scalig of the shortest-weight path betwee vertices ad 2. For i {,2}, let H (i) deote the legth of the shortest-weight path betwee vertex i ad the coo vertex i SWG () ad SWG (2) C, so that H = H () + H (2). (4.8) Because of the fact that at tie C we have foud the shortest-weight path, we have that (H (),H(2) ) d = (G () a +,G(2) C ), (4.9) where {G () } = ad {G(2) } = copies of the process i (4.4), which are coditioed o drawig a real stub. Ideed, at the tie of the coectig edge, a uifor (real) stub of SWG (2) is draw, ad it is paired to a uifor (real) stub of SWG (). The uber of hops i SWG () to the ed of the attached edge is therefore equal i distributio to G () + coditioed o drawig a real stub. The i (4.9) arises sice the coectig edge is couted twice i G () a + + G(2). The processes {G() C } = ad {G(2) } = are coditioally idepedet give the realizatios of {B (i) } =2. Further, because of the way the weight of the potetial coectig edges has bee distributed over the two stubs out of which the coectig edge is coprised, we have that W = T () + T (2) C, (4.20) where {T () } (2) = ad {T } = are two copies of the process {T } = i (4.6), agai coditioed o drawig a real stub. Ideed, to see (4.20), we ote that the weight of the coectig edge is equal to the su of weights of its two stubs. Therefore, the weight of the shortest weight path is equal to the su of the weight withi SWG (), which is equal to T a (), ad the weight withi SWG (2) C, which is equal to T (2) C. I the distributios i (4.9) ad (4.20) above, we always coditio o drawig a real stub. Sice we shall show that this occurs whp, this coditioig plays a ior role. We shall ow ituitively explai why the leadig order asyptotics of C is give by, where is defied i (4.). For this, we ust kow how ay allowed stubs there are, i.e., we ust deterie how ay stubs there are icidet to the uio of the two SWGs at ay tie. Recall that S (i) deotes the uber of allowed stubs i the SWG fro vertex i at tie. The total uber of allowed stubs icidet to SWG () is S a (), while the uber icidet to SWG (2) is equal to S(2), ad where S (i) = D i + l=2 5 (B (i) l ). (4.2)

16 We also write Art = Art () Art (2). Coditioally o SWG () ad {(S (2) l,art (2) appropriate bouds, we obtai l )} l= ad L, ad assuig that Art, ad S satisfy P(C = C > ) S(). (4.22) L Whe τ (2,3) ad (3.8) holds, the S (i) l /l /(τ 2) ca be expected to coverge i distributio to a stable rado variable with paraeter τ 2, while, for τ > 3, S (i) l /l coverges i probability to ν, where ν is defied i (3.3). We ca cobie these two stateets by sayig that S (i) l /l /(τ 3 2) coverges i distributio. Note that the typical size of C is such that, uiforly i, P(C [,2 ) reais i (ε, ε), for soe ε (0, 2 ), which is the case whe P(C [,2 ) = 2 = P(C = C > )P(C > ) (ε, ε), (4.23) uiforly as. By the above discussio, ad for 2, we have P(C = C > ) = Θ( /(τ 3 2) /) = Θ(a /(τ 3 2) /), ad P(C > ) = Θ(). The, we arrive at P(C [,2 ) = Θ( a /(τ 3 2) /), (4.24) which reais uiforly positive ad bouded for defied i (4.). I tur, this suggests that C / d M, (4.25) for soe liitig rado variable M. We ow discuss what happes whe (2.2) holds for soe τ (2,3), but (3.8) fails. I this case, there exists a slowly varyig fuctio l() such that S (i) l /(l(l)l /(τ 2) ) coverges i distributio. The, followig the above arguet shows that the right-had side (r.h.s.) of (4.24) is replaced by Θ( a /(τ 2) l( )/), which reais uiforly positive ad bouded for satisfyig a (τ )/(τ 2) l( ) =. By [7, Theore.5.2, there exists a solutio to the above equatio which satisfies that it is regularly varyig with expoet (τ 2)/(τ ), so that = (τ 2)/(τ ) l (), (4.26) for soe slowly varyig fuctio l (), which depeds oly o the distributio fuctio F. I the followig propositio, we shall state the ecessary result o C that we shall eed i the reaider of the proof. I its stateet, we shall use the sybol o P (b ) to deote a rado variable X P which satisfies that X /b 0. Propositio 4.9 (The tie to coectio) As, uder the coditios of Theores 3.2 ad 3. respectively, ad with as i (4.), Furtherore, for i {, 2}, ad with β as i Propositio 4.3, (G () log C log = o P ( log ). (4.27) a β log + β log a C β log ) d (Z,Z 2 ), (4.28) β log a, G(2) where Z,Z 2 are two idepedet stadard oral rado variables. Moreover, with γ as i Propositio 4.3, there exist rado variables X,X 2 such that ( T () γ log,t (2) C γ log ) d (X,X 2 ). (4.29) 6

17 We ote that the ai result i (4.28) is ot a siple cosequece of (4.27) ad Propositio 4.6. The reaso is that C is a rado variable, which a priori depeds o (G () +,G(2) ) for 0. Ideed, the coectig edge is fored out of two stubs which are ot artificial, ad thus the choice of stubs is ot copletely uifor. However, sice there are oly few artificial stubs, we ca exted the proof of Propositio 4.6 to this case. Propositio 4.9 shall be proved i Sectio The copletio of the proof By the aalysis i Sectio 4.4, we kow the distributio of the sizes of the SWGs at the tie whe the coectig edge appears. By Propositio 4.9, we kow the uber of edges ad their weights used i the paths leadig to the two vertices of the coectig edge, together with its fluctuatios. I the fial step, we eed to cobie these results by averagig both over the radoess of the tie whe the coectig edge appears (which is a rado variable), as well as over the uber of edges i the shortest weight path whe we kow the tie the coectig edge appears. Note that by (4.9) ad Propositio 4.9, we have, with Z,Z 2 deotig idepedet stadard oral rado variables, ad with Z = (Z + Z 2 )/ 2, which is agai stadard oral, H d = G () + + G(2) C = 2β log + Z β log a + Z 2 β log a + o P ( log ) = 2β log + Z 2β log + o P ( log ). (4.30) Fially, by (4.), this gives (3.4) ad (3.9) with which equals α = ν/(ν ), whe τ > 3, sice β = ν/(ν ) ad log a log 2β log α = li log, (4.3) log a log = /2, ad α = 2(τ 2)/(τ ), whe τ (2,3), sice β = ad = (τ 2)/(τ ). This copletes the proof for the hopcout. I the descriptio of α i (4.3), we ote that whe cotais a slowly varyig fuctio for τ (2,3) as i (4.26), the the result i Theore 3.2 reais valid with α log replaced by 2log = 2(τ 2) τ log + 2log l (). (4.32) For the weight of the iial path, we ake use of (4.20) ad (4.29) to obtai i a siilar way that W 2γ log This copletes the proof for the weight of the shortest path. 5 Proof of Propositio Proof of Propositio 4.3(a) d X + X 2. (4.33) We start by provig the stateet for τ (2,3). Observe that, i this cotext, d i = B i, ad, by (4.3), B +...+B i = S i + i, so that the sequece B /(S i + i ), for satisfyig i, is exchageable for each i. Therefore, we defie Ĝ = Î i, where P(Îi = {B i } ) = B i S i + i. (5.) Thus, Îi is, coditioally o {B i }, stochastically doiated by I i, for each i, which, sice the sequeces {Îi} ad {I i}, coditioally o {B i}, each have idepedet copoets, iplies that Ĝ is 7

18 stochastically doiated by G. We take Ĝ ad G i such a way that Ĝ G a.s. The, by the Markov iequality, for κ > 0, P( G Ĝ κ ) = κ κ E[ G Ĝ = κ E[G Ĝ = κ E [ B i (i ) S i (S i + i ) i E[/S i, (5.2) i where, i the secod equality, we used the exchageability of B /(S i + i ), i. We will ow show that E[/S i <, (5.3) so that for ay κ, we have that P( G Ĝ κ ). We ca the coclude that the CLT for G follows fro the oe for Ĝ. By [4, (3.2) for s =, for τ (2,3) ad usig that S i = B + B i (i ), where P(B > k) = k 2 τ L(k), there exists a slowly varyig fuctio i l(i) such that E[/S i cl(i)i /(τ 2). Whe τ (2,3), we have that /(τ 2) >, so that (5.3) follows. We ow tur to the CLT for Ĝ, Observe fro the exchageability of B /(S i + i ), for i, that for i < i 2 <... < i k, [ k P(Îi =... = Îi k = ) = E l= B [ il = E S il + i l = [ k B il E =... = i S il + i l l=2 where we used that sice B B = S +, [ B i E S i + i k l=2 B il S il + i l = i i [ B i E S i + i k l=2 B i S i + i k l= k l=2 B il S il + i l i l, (5.4) B il = [ k B il E. S il + i l i S il + i l=2 l Sice Îi,...,Îi k are idicators this iplies that Îi,...,Îi k are idepedet. Thus, Ĝ has the sae distributio as J i, where {J i } are idepedet Beroulli rado variables with P(J i = ) = /i. It is a stadard cosequece of the Lideberg-Lévy-Feller CLT that ( J i log )/ log is asyptotically stadard orally distributed. Reark 5. (Extesio to exchageable settig) Note that the CLT for G reais valid whe (i) the rado variables {B i } are exchageable, with the sae argial distributio as i the i.i.d. case, ad (ii) E[/S i = o( log ). The approach for τ > 3 is differet fro that of τ (2,3). For τ (2,3), we coupled G to Ĝ ad proved that Ĝ satisfies the CLT with the correct orig costats. For τ > 3, the case we cosider ow, we first apply a coditioal CLT, usig the Lideberg-Lévy-Feller coditio, statig that, coditioally o B,B 2,... satisfyig B ( li B ) =, (5.5) S S we have that G B /S ( B S ( B S ) 8 ) /2 d Z, (5.6)

19 where Z is stadard oral. The result (5.6) is also cotaied i [0. Sice ν = E[B > ad E[B a <, for ay a < τ 2, it is ot hard to see that the rado variable B2 /S2 is positive ad has fiite first oet, so that for, B 2 /S 2 = O P (), (5.7) where O P (b ) deotes a sequece of rado variables X for which X /b is tight. We clai that B /S ν ν log = o P( log ). (5.8) Obviously, (5.6), (5.7) ad (5.8) iply Propositio 4.3(a) whe τ > 3. I order to prove (5.8), we split B /S ν ( ν log = ) ( (B )/S log + /S ) ν log, (5.9) ad shall prove that each of these two ters o the r.h.s. of (5.9) is o P ( log ). For the first ter, we ote fro the strog law of large ubers that Also, sice log ( x) = x + O(x 2 ), we have that ( S ) log = log S log S 0 = log + O P (). (5.0) S log ( ) S /S = log ( ) ( ) (B )/S = (B )/S + O (B ) 2 /S 2. (5.) Agai, as i (5.7), for, so that (B ) 2 /S 2 = O P (), (5.2) (B )/S log = O P (). (5.3) I order to study the secod ter o the right side of (5.9), we shall prove a slightly stroger result tha ecessary, sice we shall also use this later o. Ideed, we shall show that there exists a rado variable Y such that /S a.s. log Y. (5.4) ν I fact, the proof of (5.4) is a cosequece of [3, Theore, sice E[(B i )log(b i ) < for τ > 3. We decided to give a separate proof of (5.4) which ca be easily adapted to the exchageable case. To prove (5.4), we write /S ν log = (ν ) S S (ν ) + O P (), (5.5) 9

20 so that i order to prove (5.4), it suffices to prove that, uiforly i, S (ν ) S (ν ) <, a.s. (5.6) Thus, if we further ake use of the fact that S η except for at ost fiitely ay (see also Lea A.4 below), the we obtai that S ν log S (ν ) S (ν ) + O P () C S 2, (5.7) where S = S E[S, sice E[S = (ν ) +. We ow take the expectatio, ad coclude that for ay a >, Jese s iequality for the covex fuctio x x a, yields E[ S E[ S a /a. (5.8) To boud the last expectatio, we will use a cosequece of the Marcikiewicz-Zygud iequality, see e.g. [2, Corollary 8.2 o p. 52. Takig < a < τ 2, we have that E[ B a <, sice τ > 3, so that [ E S 2 This copletes the proof of (5.4). E[ S a /a 2 c /a a E[ B a /a 2 /a <. (5.9) Reark 5.2 (Discussio of exchageable settig) Whe the rado variables {B i } are exchageable, with the sae argial distributio as i the i.i.d. case, ad with τ > 3, we ote that to prove a CLT for G, it suffices to prove (5.7) ad (5.8). The proof of (5.8) cotais two steps, aely, (5.3) ad (5.6). For the CLT to hold, we i fact oly eed that the ivolved quatities are o P ( log ), rather tha O P (). For this, we ote that (a) the arguet to prove (5.3) is rather flexible, ad shows that if (i) log S / = o P ( log ) ad if (ii) the coditio i (5.7) is satisfied with O P () replaced by o P ( log ), the (5.3) follows with O P () replaced by o P ( log ); (b) for the proof of (5.6) we will ake use of stochastic doiatio ad show that each of the stochastic bouds will satisfy (5.6) with O P () replaced by o P ( log ) (copare Lea A.8). 5.2 Proof of Propositio 4.3(b) We agai start by provig the result for τ (2,3). It follows fro (4.6) ad the idepedece of {E i } i ad {S i } i that, for the proof of (4.9), it is sufficiet to show that E[/S i <, (5.20) which holds due to (5.3). The arguet for T is siilar, with the sae liit. Ideed, o the oe had, sice T T, the liit of T caot be larger tha that of T. O the other had, sice G ad T is icreasig, we have that the T T k, whp for ay k. Therefore, T ust have the sae liit as T. The extesio of this result to τ > 3, where the weak liits of T ad T are differet, is deferred to Sectio C of the appedix. 20