arxiv: v2 [math.pr] 5 Feb 2018

Transcription

1 Local probabiliies of radomly sopped sums of power law laice radom variables Midaugas Blozelis Isiue of Compuer Sciece, Faculy of Mahemaics ad Iformaics, Vilius Uiversiy Naugarduko 24, Vilius 03225, Lihuaia arxiv: v2 [mah.pr] 5 Feb 2018 Absrac Le X 1 ad N be o-egaive ieger valued power law radom variables. For a radomly sopped sum S N = X X N of idepede ad ideically disribued copies of X 1 we esablish a firs order asympoics of he local probabiliies PS N = as +. Usig his resul we show he k δ, 0 δ 1 scalig of he local cluserig coefficie of a radomly seleced verex of degree k i a power law affiliaio ework. Keywords: Radomly sopped sum, Local probabiliies, Power law, Laice radom variables, cluserig coefficie. AMS Subjec Classificaios: 60G50; 60F10; 90B15. 1

2 1 Iroducio Le X 1, X 2,... be idepede ideically disribued radom variables. Le N be a oegaive ieger valued radom variable idepede of he sequece {X i }. The radomly sopped sum S N = X X N is ubiquious i may applicaios. I paricular, he asympoic behavior of he ail probabiliies PS N > is impora i such areas as he collecive risk model, compoud reewal model, models of eleraffic arrivals. The ail probabiliies have araced cosiderable aeio i he lieraure ad heir asympoic behavior is quie well udersood, see, e.g. [1], [9], [11] ad refereces herei. I his oe we are ieresed i he asympoic behavior of he local probabiliies PS N =. Our sudy is moivaed by several quesios from he area of complex ework modelig. A impora class of complex eworks have asympoic degree disribuios of he form S N, where oe or boh X i ad N obey power laws. For his reaso a rigorous aalysis of ework characerisics relaed o verex degree cluserig coefficies, degree-degree correlaio requires a good kowledge of he asympoic behavior of he local probabiliies PS N = as +, [3], [4], [5]. We will prese applicaios i more deail afer formulaig our mai resuls. I wha follows we assume ha PX 1 0 = 1 ad he probabiliies of X 1 form a regularly varyig sequece wih idex α > 1, ha is, PX 1 = = α L 1 as +, 1 where L 1 is slowly varyig a ifiiy. I he paricular case where L 1 admis a posiive limi as +, lim L 1 = a, he radom variable X 1 obeys he power law, PX 1 = a α. 2 Here ad below f g meas f/g 1 as +. We deoe µ = EX 1, for X 1 havig a fiie firs mome. Assumig ha he probabiliies of N form a regularly varyig sequece wih idex γ > 1, PN = = γ L 2 as +, 3 where fucio L 2 is slowly varyig a ifiiy, we obai he followig resul. Theorem 1. Le α, γ > 1. Assume ha 2 ad 3 hold. i For γ > α ad γ > 2 we have ii For α > γ ad α > 2, α 3 we have iii For α = γ > 2, α 3 we have iv For α, γ < 2 we have PS N = ENPX 1 =. 4 PS N = µ 1 P N = /µ. 5 PS N = ENPX 1 = + µ 1 P N = /µ. 6 PS N = 1 α 1γ 1 L 2 α 1 a α 1γ 1/α α 1EZ α 1γ Here Z 1 is a α 1 sable radom variable wih he characerisic fucio Ee iλz1 = e λ α 1 λ α 1π Γ2 α si λ 2 cos α 1π 2. Remark 1. The saemes ii ad iii of Theorem 1 remai valid for α = 3 if we assume, i addiio, ha for some a > 0 ad ε > 0 we have as + 3 PX 1 = a = O l l 1 ε. 8 2

3 Remark 2. The saemes i, ii ad iii of Theorem 1 exed o radom variables X i saisfyig 1, bu for α γ we eed a exra codiio L 1 L 1/α 1 1 L 1. 9 Resuls of Theorem 1 seem o be ew. We are o aware of earlier work where he asympoic behavior of he local probabiliies like 5, 6, 7 were cosidered. O he oher had, relaio 4 is kow i he lieraure see, e.g., [9], [11], [15]. I has bee esablished assumig ha N has a fiie expoeial mome, ha is, Ee δn < for some δ > 0. Our Theorem 1 i replaces expoeial mome codiio by srucural codiio 3. I Theorem 2 below codiios o he disribuio of N are furher relaxed: for α 2, 3, relaio 4 is esablished uder he miimal codiio PN = = o PX 1 = as Theorem 2. Le α > 1. Suppose ha EN <. For 1 < α 3 we assume ha 2 holds. For α > 3 we assume ha 1 holds. For α > 2 we assume, i addiio, ha ha 10 holds. i For 1 < α < 2 relaio 4 holds. ii For α = 2 he mome codiio EN l 2+τ N <, for some τ > 0, implies 4. iii For 2 < α < 3 relaio 4 holds. iv For α = 3 eiher of he codiios PN = = o 3 l l 1 or 8 imply 4. v For α > 3 relaio 4 holds. I he followig remark we replace codiio 10 of Theorem 2 by he mome codiio EN 1+α <. Noice ha 10 does o follow from EN 1+α <. Remark 3. Le α > 1. Assume ha 2 holds. Suppose ha EN 1+α <. The 4 holds. I is ieresig o compare he local probabiliies of S N wih hose of he maximal summad M N = max 1 i N X i. Assumig ha 1 holds ad EN < i is easy o show ha PM N = ENPX 1 =. 11 Therefore, uder codiios of Theorem 2 he probabiliies PS N = ad PM N = are asympoically equivale. We ex cosider relaio 5. Sufficie codiio for 5 o he disribuio of N preseed i Theorem 1 ii has wo pars: he srucural codiio 3 ad he iequaliy α > γ ellig ha he ail of N is heavier ha ha of X 1. I Theorem 3 below we replace he laer codiio by he miimal oe PX = = o PN = as Furhermore, we ca slighly relax codiio 3 as well. We will assume ha for some c 1 > 1 here exis c 2, c 3 > 0 such ha c 2 PN = 2 /PN = 1 c 3 for ay 1 2 / 1 c Our ex codiio refers o α: give α, here exiss κ > max{α 1 1, 0.5} such ha lim + sup PN = /PN = s = s κ Clearly, 3 implies 13, 14, bu o vice versa. Theorem 3. Le α > 2 ad κ > max{α 1 1, 0.5}. Assume ha 2 holds for 2 < α 3 ad 1 holds for α > 3. Assume ha eiher 3 holds for some γ > 1 or 13, 14 hold ad EN <. i For α > 2, α 3 relaio 12 implies 5. ii For α = 3 relaios 8 ad 12 imply 5. 3

4 Remark 4. For 2 < α < 3 he resuls of Theorems 2 ad 3 exed o radom variables X i saisfyig 1, 9. Before urig o applicaios we briefly meio wo ope quesios. The firs quesio is abou a k erm k = 2, 3,... asympoic expasio o he probabiliy PS N = as +. The secod oe is abou exedig Theorem 1 o he desiy of a absoluely coiuous radomly sopped sum S N. Applicaio o complex ework modelig. Mahemaical modelig of complex eworks aims a explaiig ad reproducio of characerisic properies of large real world eworks. We meio he power law degree disribuio, shor ypical disaces ad cluserig o ame a few. Here we focus o he cluserig propery meaig by his he edecy of odes o cluser ogeher by formig relaively small groups wih a high desiy of ies wihi a group. I paricular, we are ieresed i he correlaio bewee cluserig ad degree explaied below. Locally, i a viciiy of a verex, cluserig ca be measured by he local cluserig coefficie, he probabiliy ha wo radomly seleced eighbors of he verex are adjace. The average local cluserig coefficie across verices of degree k, deoed Ck, for k = 2, 3,..., describes he correlaio bewee cluserig ad degree. Empirical sudies of real social eworks show ha he fucio k Ck is decreasig [12]. Moreover, i he film acor ework Ck obeys he scalig k 1 [17]. I he Iere graph i obeys he scalig k 0.75 [19]. We are ieresed i modelig ad explaiig he scalig k δ, for ay give δ > 0. Cluserig i a social ework ca be explaied by he auxiliary biparie srucure defiig he adjacecy relaios bewee acors: every acor is prescribed a collecio of aribues ad ay wo acors sharig a aribue have high chaces of beig adjace, cf. [14]. The respecive radom iersecio graph G o he verex se V = {v 1,..., v } ad wih he auxiliary se of aribues W = {w 1,..., w m } defies adjacecy relaios bewee verices wih he help of a radom biparie graph H likig acors o aribues. Acors/verices are assiged iid o-egaive weighs Y 1,..., Y modelig heir aciviy ad aribues are assiged iid o-egaive weighs X 1,..., X m modelig heir araciveess. Give he weighs, a aribue w i is liked o acor v j i H wih probabiliy X i Y j / m idepedely across he pairs W V. The pairs of verices sharig a commo eighbor i H are declared adjace i G. The radom iersecio graph G admis uable power law degree disribuio, o-vaishig global cluserig coefficie, shor ypical disaces, see [3]. Here we show ha for large m, he radom graph G possesses ye aoher ice propery, he uable scalig k δ, 0 δ 1, of respecive codiioal probabiliy C G k = P v 2 v v2 3 v 1, v 3 v 1, dv 1 = k, he heoreical couerpar of Ck. Theorem 4. Le α, γ > 6, β > 0 ad a, b > 0. Le m, +. Assume ha m/ β. Suppose ha weighs X i, Y j are ieger valued ad PX i = a α ad PY j = b γ. The for every k = 2, 3,... he probabiliy C G k coverges o a limi, deoed C k, ad C k ck δ as k Here δ = max { 0; mi{α γ 1; 1} }, C k is give i 79, ad c > 0 is a cosa depedig o α, γ, β, a, b ad he firs hree momes of X 1 ad Y 1. A relaed resul esablishig k 1 scalig i a radom iersecio graph wih heavy ailed weighs Y j ad degeerae X i PX i = c = 1 for some c > 0 has bee show i [2]. The uable scalig 15 is obaied due o he heavy ailed weighs X i. We sugges a simple explaaio of how he weighs of aribues affec C k. A aribue w i wih weigh X i geeraes wih posiive probabiliy a clique i G of size proporioal o X i he clique formed by verices liked o w i. For small α we will observe quie a few large weighs X i. Bu he presece of may large cliques i G may icrease he value of C k cosiderably. Hece, i seems plausible, ha he scalig expoe δ correlaed posiively wih α. For a differe approach o modelig of k δ scalig, for δ = 1, we refer o [7], [17]. 4

5 Aoher popular ework characerisic ha quaifies saisical depedece of eighborig adjacecy relaios is he correlaio coefficie or rak correlaio coefficie bewee he degrees d 1 ad d 2 of he edpois of a radomly seleced edge. More geerally, oe is ieresed i he disribuio of he bivariae radom vecor d 1, d 2, called he degreedegree disribuio. We briefly meio ha usig he resul of Theorem 1 oe obais from Theorem 2 of [4] ha he radom iersecio graph G admis a uable power law degree-degree disribuio. 2 Proofs Before he proofs we iroduce some oaio ad prese wo auxiliary lemmas. The we prove Remark 3, Theorems 2, 3, ad 1, 4. A he very ed of he secio we prove Remark 2 ad relaio 11. We do o give separae proofs of Remarks 1 ad 4. We oe ha saeme ii of Remark 1 follows from Theorem 3, ad saeme iii is show i he proof of Theorem 1. Furhermore, he proof of Remark 4 is similar o ha of Remark 2. We deoe by c a posiive cosa, which may deped o he disribuios of X ad N ad may aai differe values a differe places. Bu c does ever deped o. Give ieger m > 0, we spli ad deoe PS N = = E PS N = N = I m + I m, 16 I m = E PS N = NI {N m}, I m = E PS N = NI {N>m} J m = E NI {N m}, J m = E NI {N>m}. For a o-radom ieger we deoe S = X X ad M = max 1 i X i, S 1 = X X /2, S 2 = X / X, 17 M 1 = max 1 i /2 X i, M 2 = max /2 <i X i, Q k = sup PS k i = i, L k, δ = P S k /2, M k < δ. Furhermore, i he case where EX 1 <, we deoe µ = EX 1 ad X i = X i µ, ad ˆX i = µ X i. We defie S, M, Qk k, L i he same way as S, M, Q k, L k above, bu for he radom variables X i, i 1. Similarly, we defie Ŝ, Ŝ k i he same way as S, S k above, bu for he radom variables ˆX i, i 1. Give we deoe = µ ad ˆ = µ. I he proofs we boud he probabiliy PS = by combiig wo idepede argumes: for large he probabiliy is small by he local limi heorem ad for large i is small because of he large deviaios pheomeo. The argume is formalized i Lemma 1. Lemma 1. Le 0 < δ < 1. Le, 2 be iegers. We have PS = max δ i PX 1 = i + PS =, M < δ, 18 PS =, M < δ Q 1 L 2, δ + Q 2 L 1, δ. 19 Proof of Lemma 1. I he proof we use some ideas of [20]. We have PS = = PS =, M δ + PS =, M < δ. We evaluae he firs probabiliy o he righ usig he uio boud PS =, M δ PS =, X j δ = PS =, X δ 1 j = δ i PX = ips 1 = i max δ i PX = i. 5

6 I remais o evaluae he secod probabiliy. We spli PS =, M < δ PS =, S 1 /2, M < δ + PS =, S 2 /2, M < δ PS =, S 1 /2, M 1 < δ + PS =, S 2 /2, M 2 < δ ad use he idepedece of X 1,..., X /2 ad X /2 +1,..., X. We have PS =, S 1 /2, M 1 < δ = 0 i /2 Q 2 = Q 2 PS 2 = i PS 1 = i, M 1 < δ 0 i /2 L 1, δ. We similarly show ha PS =, S 2 /2, M 2 < δ Q 1 PS 1 = i, M 1 < δ L 2, δ. I he proof we will use he local limi heorem [8], [13], [16]. For o-egaive ieger valued iid summads X 1, X 2,... saisfyig 1, we have ha τ := sup b PS = s g b 1 s a 0 as s Here {b } is a ormig sequece. For α < 3 we ca choose b = max { 1, if{x > 0 : P X 1 > x < 1 } }, 21 see formula of [6]. We recall ha b ca be wrie i he form b = β L, where β = max{1/α 1; 0.5} ad where L is a slowly varyig fucio depedig o α ad L 1 for α > 3 we have L s 1. {a } is a ceerig sequece a = 0 for α < 2 ad a = µ wih µ = EX 1 for α > 2, see, e.g., [6]. Furhermore, g is he probabiliy desiy fucio of he sable limi disribuio of he sequece of radom variables {S a /b }. Lemma 2. Le α > 2. Assume ha 1 holds. The as + : µ u PS = µ 1 for ay posiive sequece {u } saisfyig 22 u /b +, u 3 b 2 1 0, u τ /2µ /b Here τ := max{τ k, k } 0 as +. Noice ha 23 requires u /b + a a sufficiely slow rae. Proof of Lemma 2. Deoe for shor = /µ ad = : µ u. Noe ha a = µ. We esablish 22 i a few seps PS = = b 1 g b 1 µ + o1 24 = b 1 g b 1 µ + o1 25 = b 1 g b 1 µ + o1 26 = µ 1 + o1. 27 Here 24 follows from 20 ad he hird relaio of follows from he iequaliy show below 1 1 c u 28 b b b 6

7 combied wih he mea value heorem oe ha g has a bouded derivaive ad he secod relaio of 23. Furhermore, we obai 27 by approximaig he sum by he iegral of he uimodal desiy g over he uboudedly icreasig domai u b 1 x u b 1 b 1 g b 1 µ µ 1 x u b 1 Fially, 26 follows from 28 ad 29. I remais o prove 28. We have 1 b 1 1 = b b 1 + β L + gxdx µ 1 gxdx = µ β L 1 b =: I 1 + I 2, I 1 = β β β c β 1 b β c u, 30 b b I 2 = 1 1 β L 1 c u L b. 31 I 30 we applied he mea value heorem o x x β. I 31 we applied he iequaliy 1 L s + δ s /L s c δ s s 1 32 o s = ad s + δ s =. To verify his iequaliy for large s > 0 ad δ s = os we use he represeaio L s = cse s 1 εyy 1dy, where εy is a fucio saisfyig εy 0 as y +, ad where he cs coverges o a fiie limi as s +, see, e.g., [6]. Noe ha we ca assume wihou loss of geeraliy ha cs is a cosa as log as L defies a ormig sequece. Lemma 3. Le 2 < α < 3. Assume ha 1 ad 9 hold. Recall he oaio µ = EX 1. For b defied by 21 ad A > 1 we have as + α L 1 c 1 A 1 α, 33 : /µ b A : /µ b A α L 1 α/α 1 c 1 A 1 α L. 34 Proof of Lemma 3. Deoe for shor = b A. Noe ha 1 implies PX 1 > 1 α L 1, where L 1 := α 1 1 L /α 1 Furhermore, 9 implies L 1 L 1 L 1, because L 1 ad L 1 are slowly varyig. Usig Theorem v of [6], we obai from he laer relaio ha L L 1/α 1 1 1/α Recall ha = µ. Usig properies of slowly varyig fucios we evaluae he sums α L 1 c 1 α L 1, 37 : /µ α α/α 1 L1 c 1 α L1 α/α : /µ Furhermore, i view of 36, we have 1 α = 1 A 1 α L 1 α c 1 A 1 α L 1 1 1/α 1, L 1 = L 1 1/α 1 AL L 1 1/α 1 L L 1 1/α 1 L 1/α 1 1 1/α 1. 7

8 Combiig hese relaios wih 9 we obai 1 α L 1 c 1 A 1 α, 39 L 1 L 1 1/α 1 L 1/α 1 1 1/α 1 L 1 1/α 1 c L α I he very las sep we applied 36 oce agai. Fially, ivokig 39 i 37 ad 39, 40 i 38 we obai 33, 34. Proof of Remark 3. We recall he kow fac ha for a fixed we have Noe ha for ay ieger m > 0, relaio 41 implies I follows from 16 ad 42 ha PS = PX 1 =. 41 I m J m PX 1 =. 42 PS N = lim if + PX 1 = J m. Now, leig m + we obai J m EN ad PS N = lim if EN PX 1 = To show he reverse iequaliy for lim sup PSN = /PX 1 = we cosruc a upper boud for I m, see 16. We have, by he uio boud, PS = PX /, S = = PX = ips 1 = i 44 sup PX = j / j c / α. / i / i PS 1 = i Noe ha his iequaliy holds uiformly i ad. Hece, sup / j PX = j I m c J m α, where J m = E N 1+α I {N>m}. 45 I follows from 16, 42, 45 ha lim sup + PS N = PX 1 = lim sup J m + c J m. I m + lim sup PX 1 = I m PX 1 = 46 Leig m + we obai J m EN ad J m 0. Hece, lim sup + From 43, 47 we coclude ha PS N = /PX 1 = EN. PS N = EN. 47 PX 1 = Proof of Theorem 2. We remark ha 1 implies ha PX 1 = > 0 for sufficiely large. For such we deoe w = PN = /PX 1 = ad w = max{ws : s }. Observe ha 10 implies w, w = o1 as +. We eed w, w i he proof of iii-v. We will assume here ha is sufficiely large so ha w ad w are well defied. 8

9 We oe ha he argume of he proof above leadig o 43 remais valid. Therefore we oly eed o prove 47. Proof of i. We esimae he probabiliy PS = usig Lemma 1. Le δ = α 1/2α. Ivokig i 18 ad 19 he iequaliies show below max δ j PX 1 = j c α, Q k c 1/α 1, L k, δ c α/α 1 α, 48 we obai PS = c α. The laer iequaliy implies I follows from 49 ha lim sup I m c α J m. 49 I m PX 1 = c J m 0 as m Fially, 46 ad 50 imply 47. I remais o prove 48. The firs iequaliy of 48 follows from 1. The secod iequaliy follows by he local limi heorem see 50 of [8]. The hird iequaliy follows from 99. Proof of ii. Fix τ > 0. We show below ha PS = c 2 l 2+τ. 51 Noe ha 51 implies I m c 2 E N l 2+τ NI {N m}. The laer iequaliy ogeher wih 46 ad 42 implies 47, because E N l 2+τ NI {N m} = o1 as m +. Le us prove 51. We disiguish wo cases. For l 1+0.5τ we have, by he local limi heorem 50 of [8], PS = c 1 c 1 l1+0.5τ 2 2 c 2 l 2+τ. For l 1+0.5τ < we show ha PS = c 2 usig Lemma 1 similarly as i he proof of saeme i above. The oly differece is ha for α = 2 auxiliary resul 99, used i he proof of he hird iequaliy of 48, is valid uder addiioal codiio 100. This codiio is easily verified for x = /2, y = /4 ad each saisfyig < l τ. To derive he laer iequaliy from l 1+0.5τ < we argue by coradicio. For 0 l τ we have for sufficiely large 0 l 1+0.5τ 0 l τ l1+0.5τ Proof of iii. We shall show ha l τ = 1 + o1 l 0.25τ >. I m c α J m + w 1/2 /2µ. 52 Noe ha 52 ogeher wih 46 ad 42 implies 47. I remais o prove 52. We spli I m = PS = PN = = I m I m.4, 53 m<< where I m.j = I m.j = N j PS = PN = ad where N 0 = ; +, ± = µ ±, = 1/α 1 w 1/2 /2µ, 54 N 1 = m; 2µ [ ] [, N 2 = 2µ ;, N 3 = + ; 2 µ 9 ], N 4 = 2 µ ; +.

10 We obai 52 from he bouds show below I m.j c α w 1/2, j = 0, 2, 3, ad I m.j c α J 2µ m, j = 1, Proof of 55 for j = 0, 1, 2. We firs show ha PS = = P S = c α for N 1 N We choose δ = α 1/2α ad apply Lemma 1 o he probabiliy P S =. From 18, 19 we obai P S = max δ i P X 1 = i + c α. 1 2 Q L, δ Q L, δ 57 k I he las sep we used 48. We oe ha 48 for L, δ follows from Theorem 5 iii. Now, for N 1, he iequaliies /2 < ad 56 imply Hece he boud I m.1 c α J m. For N 2 we use c ad 56 o show ha PS = c c 1 α N 2 P S = c α. 58 α N 2 c w α 1/2 /2µ. 59 Furhermore, he iequaliy PN = c α, N 2, which follows from 10, implies I m.2 c α w α 1/2 /2µ For N 0 we use he local limi heorem boud P S = c 1/α 1 ad obai I m.0 { N 0 max P S = PN = } c α w 1/2. 61 N 0 2µ Proof of 55 for j = 3, 4. For N 3 N 4 we have ˆ > 0. We evaluae PS = = PŜ = ˆ similarly as i he proof of 19 PŜ = ˆ P Ŝ 1 Q 2 PŜ1 c ˆ α. ˆ /2, Ŝ = ˆ + P Ŝ2 ˆ /2, Ŝ = ˆ ˆ /2 + Q 1 c 1/α 1 ad he iequal- I he las sep we ivoke he local limi heorem boud Q k iy, which follows from 106, PŜk ˆ /2 c ˆ 1 α α/α 1. For N 3 we apply c ad 62. We have PS = c ˆ α c 1 α N 3 N 3 60 PŜ2 ˆ /2 62 w α 1/2 /2µ. 63 From 63 ad PN = w /µ α, N 3, we coclude ha I m.3 c α w /2µ. For N 4 we use ˆ. Now 62 implies PS = c α ad we have I m.4 c α PN = c α J m. 64 N 4 10

11 Proof of iv. We proceed similarly as i he proof of saeme iii above. We spli I m usig 53, bu we pu = l l l i 54. The boud I m.0 = o 3 follows from he boud PN = = o 3 l l 1 ad he local limi heorem boud P S = c / l, cf. 61. Aleraively, 8 implies 121, see Remark 6. Usig 121 we show ha he sequece u := µ saisfies he hird codiio of 23. Remaiig wo codiios of 23 are easy o check. Now Lemma 2 implies N 0 PS = µ 1. Fially, ivokig 10 we obai I m.0 = o 3. For N 1 N 2 we apply 57 wih δ = 1/3. Ivokig i 57 he local limi heorem Q k boud 101, we obai c / l ad he boud L k 2 1, 3 1 c 3/2 3, which follows from P S = c 3, N 1 N Noice ha for α = 3 iequaliy 101 applies o L k 2 1, 3 1 uder addiioal codiio ha he quaiy V 3 1 / l Π2 1 is uiformly bouded for N 1 N 2, see Theorem 5 iv. To mee his codiio we iroduce he l l facor i he defiiio of. Now 65 implies I m.1 c 3 J m as i he proof of iii above. For N 2 iequaliies c ad 65 imply N 2 PS = c 3 N 2 c Furhermore usig he iequaliies PN = c PX 1 = c 3, for N 2, we obai from 66 ha I m.2 = o 3. k For N 3 N 4 we esimae PS = usig 62. We apply he boud Q c / l ad esimae probabiliies PŜk ˆ /2 usig 104. For N 4 iequaliies ˆ µ/2 ad 104 imply PŜk ˆ /2 e c e c. Hece PS = e c. This iequaliy implies I m.4 e c. For N 3 iequaliies /µ 2/µ ad 104 imply PŜk Hece 2 ˆ ˆ /2 e c l. From 62 we obai PS = c l 1/2 e c N 3 PS = c l 1/2 I he las sep we applied he iequaliy B A e Dx2 dx B A e Dx2 2Dx 2DA e c ˆ 2 N 3 ˆ 2 l. l c l l e DA dx 2DA 1, B > A > 0, D > DA Fially, we observe ha 10 implies PN = c PX 1 = c 3, for N 3. Combiig hese iequaliies wih 67 we obai I m.3 = o 3. Proof of v. We proceed similarly as i he proof of saeme iii above. We defie ± = µ ±, wih = 1/2 w 1/2 /2µ, spli I m usig 53 ad esimae I m.j, 0 j 4. For N 0 we apply he local limi heorem boud PS = c 1/2 c 1/2 ad he boud PN = w PX 1 = c w PX1 =. 69 2µ I he las sep we used 1 ad he moooiciy of w. We have I m.0 { N 0 max PS = PN = } c w 1/2 PX1 =. N 0 2µ For N 1 we have µ /2. Iequaliy 102 implies PS = c 1 PX 1 > /2 c PX 1 =

12 I he las sep we used 1 ad he properies of slowly varyig fucios. Hece I m.1 = PS = PN = c PX 1 = PN = c PX 1 = J m. N 1 N 1 For N 2 we have < µ 1. Iequaliy 102 implies PS = c 1 e µ 2 2σ 2 + c PX 1 > µ µ N 2 N 2 N 2 c e c µ 2 / + c L 1 µ µ α N 2 N 2 c 1/2 1 c w 1/2 /2µ. + c 1 α L 1 c 1/ I he firs secod iequaliy of 71 we use 68 iequaliy α > 2 combied wih he boud L = o α 2. Now he relaio PN = c w /2µPX 1 =, valid for N 2, cf. 69 above implies I m.2 = PS = PN = c w 3/2 /2µPX 1 =. N 2 For N 3 N 4 we esimae PS = usig 62. We apply he local limi heorem boud Q k c / ad esimae PŜk ˆ /2 e c ˆ 2 / usig 105. For N 3 we use, i addiio, iequaliies µ 2 ad obai Now 68 implies Hece PS = c 1/2 e c ˆ 2 /. PS = c 1/2 1 c w 1/2 /2µ. 72 N 3 I m.3 c w 1/2 /2µ max PN = c w 1/2 /2µPX 1 =. N 3 For N 4 from iequaliies µ/2 ˆ we obai PŜk ˆ /2 e c ˆ 2 / e c. Now 62 implies PS = e c. We coclude ha I m.4 e c. Proof of Theorem 3. We sar wih a observaio ha give a collecio of sequeces {a k } 1, k = 1, 2, 3,... such ha k lim a k =: d k ad k d k PN = k <, oe ca fid a o-decreasig ieger sequece m + as + such ha a k PN = k d k PN = k as k m k 1 For α 3 we choose a sequece {u } 1 saisfyig 23 ad u = o κ. For α = 3 we choose u = l 1/2 l l ad oe ha {u } saisfies 23. I paricular, he hird relaio of 23 follows from 8 by Remark 6. We pu ± = µ 1 ± u i 54 ad spli, see 16, 53, PS N = = I m + I m = I m + I m I m Nex, we choose m = m covergig o + as + such ha I m = o PN =. To esablish he laer boud we apply 73 o a k := PS k = /PN = ad use 41 ad 12 o verify he codiio k lim a k = 0. Furhermore, Lemma 2 ad 14 imply I m.0 µ 1 P N = /µ. I he remaiig par of he proof we show for i = 1, 2, 3, 4 ha I m.i = o PN =

13 Proof of 75 for i = 1. Usig 56, 58, 65 for α 3 ad 70 for α > 3 we obai I m.1 c PX 1 = ENI {m N /2µ}. 76 We cosider he cases EN < ad EN = separaely. For EN < we have ENI {m N /2µ} = o1. Hece I m.1 = o PX 1 = = o PN =. For EN = we oly cosider N saisfyig 3. Codiio 3 implies ENI {m N /2µ} c 2 γ L, where L is a slowly varyig fucio. Ivokig his iequaliy i 76 we obai he boud I m.1 = o PN =. Proof of 75 for i = 4. For α < 3 ad EN < we derive 75 from 64. For α < 3 ad EN = we use 3 ad apply iequaliies PS = 1/α 1 for > α 1 ad PS = c α for α 1 he firs iequaliy follows from he local limi heorem, he secod oe follows from 62. We obai I m.4 c α 1 γ L 2 + c γ α 1 1 L 2 2/µ α 1 > α 1 c α α 1 2 γ L α 1 + c α 1 1 γ α 1 1 L 2 α 1 = c γ α 2γ 1 L α 1 + L 2 α 1 = o PN =. Here L is a slowly varyig fucio we have L = L 2, for γ 2. I he las sep we used α 2γ 1 > 0. For α 3 relaio 75 follows from he boud I m.4 e c show i he proof of Theorem 2 iv, v. Proof of 75 for i = 2, 3. For α < 3 we combie 13 wih he iequaliies, see 59, 63, PS = c 1 α, N 2 ad obai he bouds I m.i c u 1 α we used = ou α 1 N 3 PS = c 1 α, := u, PN = = o PN =, for i = 2, 3. I he las sep. The laer boud is equivale o he firs relaio of 23 saisfied by our choice of {u } 1. For α > 3 we combie 13 wih he iequaliies, see 71, 72, PS = c 1/2 1, N 2 N 3 PS = c 1/2 1, := u, ad obai he bouds I m.i c 1/2 u 1 PN = = o PN =, for i = 2, 3. I he las sep we used 1/2 = ou, see 23. For α = 3 boud 75 for i = 2, 3 follows from 66, 67 ad 13. Proof of Theorem 1. Saemes i ad ii follow from Theorems 2, 3. Proof of iii. We proceed as i he proof of Theorem 3. For α 3 we choose a sequece {u } 1 saisfyig 23. For α = 3 we pu u = l 1/2 l l ad oe ha such {u } 1 saisfies 23. I paricular, for α = 3 he hird relaio of 23 follows from 8 by Remark 6. We pu ± = µ 1 ± u i 54 ad spli, see 16, 53, PS N = = I m + I m = I m + I m I m.4. We choose m = m covergig o + as + such ha α I m aen. To esablish his relaio we apply 73 o a k := α PS k = ad use 41 ad 12 o verify he codiio lim a k = ak, for k = 1, 2,.... Nex, usig Lemma 2 we show ha 13

14 I m.0 µ 1 P N = /µ. Fially, we complee he proof by showig 75 for i = 1, 2, 3, 4 similarly as i he proof of Theorem 3 above. Proof of iv. For + he sadardized sums 1/α 1 X X coverge i disribuio o a α 1 sable radom variable, which we deoe by Z a. Here he subscrip a refers o he cosa a i 2. Noe ha Z a ad a 1/α Z 1 have he same disribuios. Therefore, i suffices o show ha PS N = hez a α 1γ 1, h := 1 α 1γ 1 L 2 α 1 α Give A > 0 deoe J A = E Z a α 1γ 1 I {A 1 Z α 1. We prove below ha J A lim if PS N = h lim sup PS N = h a A} J A + c A 1 α 1 1 γ + A γ follows from 78 by leig A +. Le us prove 78. We spli PS N = = PS = PN = = I 1 + I 2 + I 3, I j = PS = PN = 1 N j N 1 = { A 1 α 1 }, N 2 = {A 1 α 1 < < A α 1 }, N 3 = { A α 1 }. We firs show ha lim I2 /h = J A. From he local limi heorem boud 20 we obai I 2 = g b δ PN =, N 2 where = b 1 ad b = α 1 1. Furhermore, g deoes he desiy of Z a ad δ 0 as + is a remaider. Usig he relaio we wrie I 2 i he form I 2 = hs, where +1 = α O 1. S = g α 1γ δ L O 1 L 2 α 1 N 2 coverges o J A as +. Here we used he fac ha 1+O 1 L 2 α 1 1 uiformly i N 2. Fially, we esimae I j, j = 1, 3, usig he he local limi heorem boud PS = c α 1 1 for N 3 ad he boud PS = c α for N 1 see 48, respecively. We also use he fac ha L 2 is slowly varyig. We obai as + I 3 c PN = c 1 α 1γ 1 L 2 α 1 A 1 α 1 1 γ, I 1 c α α 1 1 N 3 1+δ L 2 N 1 PN = c 1 α 1γ 1 L 2 α 1 A γ 2. Proof of Theorem 4. Before he proof we iroduce some oaio. Deoe a i = EX1, i b i = EY1 i. For i = 0, 1 we deoe by Λ r i a mixed Poisso radom variable wih he disribuio PΛ r i = s = Eλ r 1E i e λi λ s+r i /s!, s = 0, 1, 2,.... Here λ 0 = Y 1 β 1/2 a 1 ad λ 1 = X 1 β 1/2 b 1. Le τ 1, τ 2,... be iid copies of Λ 1 1. Assumig ha {τ i, i 1} are idepede of Λ r 0, defie radomly sopped sums Λ r 0 d r = τ j, r = 0, 1, 2. j=1 14

15 Fially, we deoe Here C k = β a2 2b 2 p 1 k. 79 a 3 b 1 p 2 k p 1 k = P d 2 + Λ Λ 2 2 = k 2, p 2 k = P d 1 + Λ 3 1 = k The radom variables d 1, Λ 3 1, d2, Λ 2 1, Λ2 2 i 80 are idepede ad Λ 2 2 has he same disribuio as Λ 2 1. We are ready o prove Theorem 4. The covergece C G k C k as, m + is show i Theorem 2 of [5]. Here we oly prove 15. For r = 0, 1, 2, 3 we have, by Lemma 6, PΛ r 0 = c 0 r γ r, PΛ r 1 = c 1 r α r. 81 Furhermore, for r = 1, 2 we have, by Theorem 1, Pd r = c 2 r, α, γ α 1 γ r. 82 We oe ha explici expressios of c 0 r, c 1 r, c 2 r, α, γ i erms a, b, β, a i, b i are easy o obai, bu we do o wrie dow hem here. I follows from 81, 82 ha p 1 I {α γ} Pd 2 = + I {α γ} PΛ 2 1 = + PΛ 2 2 = I {α γ} c 2 2, α, γ 2 γ + I {α γ} 2c α, p 2 I {α γ+2} Pd 1 = + I {α γ+2} PΛ 3 1 = I {α γ+2} c 2 1, α, γ 1 γ + I {α γ+2} c α. Combiig hese relaios we coclude ha p 1 /p 2 scales as κ, where κ = 1 for α γ, κ = α γ 1 for γ < α < γ + 2, ad κ = 1 for γ + 2 α. Now 15 follows from 79. Proof of Remark 2. For α > 3 Remark 2 follows from Theorems 2 ad 3. We assume below ha α 3. Proof of i. The proof is similar o ha of Theorem 2. We oly idicae he chages eeded o be made. For 1 < α < 2 we fix 0 < ε < γ 2 ad pu δ = 2αα ε 1 while esimaig PS = via Lemma 1. We also use he fac ha E N 1+ε LN < for ay slowly varyig a ifiiy fucio L. For α = 2 we fix small umbers τ, ε, η > 0 such ha η := 1 + τ2 + ε < γ. We show ha PS = c η 1 L 1 PX 1 =, where he slowly varyig fucio L 1 = 1/L is defied by he ormig sequece b = 1/α 1 L, see 20. The resul he follows from he fac ha EN η 1 L N <. For 1+τ esimae we ivoke he local limi heorem boud PS = c 1 L 1 PS = c L 1 c L 1 1+τ 2+ε c η 1 L 1 2 L 1. ad For 1+τ < we esimae PS = via Lemma 1, where we pu δ = 1/4 + 2ε. Combiig he local limi heorem boud above wih he iequaliy 99 we obai from 18 ha PS = c 2 L 1 + c 1+ε L 1 1 L 1 2+ε c η 1 L 1 2 L 1. Here we used 1+ε < η 1 ad ε L 1 c L 1. The laer iequaliy explois properies of slowly varyig fucios see Theorem of [6]. We oe ha for α = 2 iequaliy 99 holds uder addiioal codiio 100, see Theorem 5 ii. For 1+τ < his codiio 15

16 is verified by he relaio 1 L τ/1+τ L = o1 as +, which holds for ay slowly varyig fucio L. Le 2 < α < 3. Fix 0 < ε < mi{α 2; γ α}. We show ha I m.j = o PX 1 = for j = 0, 2, 3 ad I m,j c PX 1 = J m, for j = 1, 4, where J m = EN 1+ε L 1 NI {N>m}. Noe ha J m = o1 as m. We choose i 54 = mi{u ; b l } for a sequece {u } saisfyig 23. The Lemma 2 implies I m.0 = PS = PN = P N = /µ = o PX1 =. N 0 While esimaig PS = = P S =, for N 1 N 2, we pu δ = 2αα 1 1 +ε 1. We obai, see 57, P S = c α L 1 + c 1/α 1 L 1 P X 1 > δ 1/2δ c α L 1 + c 1+ε L 1 α ε. 83 Here we esimaed P X 1 > δ c δ 1 α L 1 δ c 1 α L 1 ad 1 α L 1 1/2δ = α α 1ε L 1 1/2δ c α ε usig L 1 1/2δ c α 2ε. For N 1 iequaliy /2µ ad 83 imply P S = c α L 1 1+ε L 1. Hece I m.1 c PX 1 = J m. For N 2 iequaliies /2µ /µ ad 83 imply PN = c γ L 2 ad P S = c α L 1 1+ε L 1. Hece I m.2 c 1+ε γ L 1 L 2 α L 1 N 2 c 1+ε γ L 1 L 2 1 α L 1 = o α L 1. While esimaig PS = = PŜ = ˆ, for N 3 N 4, we proceed as i 62. We choose 2 < α < α saisfyig α 1/α ε ad apply 115 wih κ = 1/2δ. We obai, cf. 62, PŜ = ˆ c 1/α 1 L 1 1 α ˆ 1/2δ c 1+ε L 1 ˆ α 0.7ε. 84 For N 3 iequaliies /µ 2/µ ad 84 imply PN = c γ L 2 ad PŜ = ˆ c 1+ε L 1 ˆ α 0.7ε. Hece I m.3 c 1+ε γ L 1 L 2 ˆ α 0.7ε N 3 c 1+ε γ L 1 L 2 1 α 0.7ε = o α L 1. For N 4 iequaliies ˆ /2µ ad 84 imply PŜ = ˆ c 1+ε L 1 α 0.7ε. Hece I m.4 c α 0.7ε J m c PX 1 = J m. For α = 3 we fix 0 < ε < mi{1, γ 3} ad pu = 0.5+ε. We esimae I m.j, for j = 1, 2, 3, 4 similarly as i he case 2 < α < 3 above. The remaiig erm I m.0 2 max PN = PS = N 0 c 0.5+ε γ L L 1 = o 3 L 1. Here we used he local limi heorem boud PS = c 0.5 L 1 ad iequaliies /2µ 2/µ for N 0. 16

17 Proof of ii ad iii. We oly cosider he case where 2 < α < 3. The proof is similar o ha of Theorem 3. Le {b = 1/α 1 L } be a ormig sequece so ha {S µb 1 } coverges i disribuio o a α 1 sable radom variable. Give a large cosa A > 0, se = b A i 54 ad decompose PS N = = I m + I m = I m + I m I m.4, 85 see 16, 53. We observe ha I m.0, I m.2, I m.3 deped o A. We shall show ha I m.1 c PX 1 = ENI {m N /2µ}, 86 I m.2 c A 1 α max N 2 PN =, 87 I m.3 c e c 1 A max N 3 PN =, 88 I m.4 c b 1 max PN =, 89 N 4 I m.0 lim sup PN = /µ µ 1 0 as A Fially, we choose m = m covergig sufficiely slowly o + as + so ha I m PX 1 = EN see he proof of Theorems 1, 3. Ivokig 86, 87, 88, 89, 90 i 85 ad leig A + we obai ii ad iii. Proof of 90. Proceedig as i he proof of Lemma 2 we show ha for ay small δ > 0 ad large A 0 > 0 oe ca fid A > A 0 ad large 0 such ha > 0 PS = µ 1 < δ. 91 N 0 We derive 90 from 91 ad he relaio ha follows from 3, PN = max N 0 PN = /µ 1 0 as Proof of 87, 88, 89. We oly show ha PS = c A 1 α, PS = c e c N 2 N 3 1 A, N 4 PS = c b For N 2 we esimae P S = = PS = usig Lemma 1 wih δ = α 1/2α similarly as i 57 above, P S = c P X 1 = + c 1/α 1 L 1 P X 1 > α/α Here c 1/α 1 L 1 is a upper boud for he probabiliy Q k ha follows from he local limi heorem ad c PX 1 > α/α 1 k is a upper boud for he probabiliy L, δ ha follows from Theorem 5 iii, see 101. Ivokig i 94 iequaliies P X 1 = c α L 1, P X 1 > c 1 α L 1, which follow from 1, ad usig /2µ 2µ we obai for N 2 ha P S = c α L 1 + c α L 1 L α/α 1 1. The laer boud combied wih 33, 34 implies he firs iequaliy of 93. For N 3 N 4 we esimae PS = = PŜ = ˆ Q 2 PŜ1 c b 1 e c 1ˆ b 1 17 ˆ /2 + Q 1 PŜ2 ˆ /2. 95

18 I he firs iequaliy we applied 62. I he secod oe we used 114 ad he local limi heorem boud Q k c b 1, k = 1, yields he secod ad hird iequaliies of 93. Proof of 86. We show ha PS = c α L 1 similarly as i he proof of Theorem 2 iii above: we apply Lemma 1 o he probabiliy PS = = P S =. Le δ < α 1/2α. Ivokig i 57 he iequaliies max P X 1 = j c α L 1, Qk b 1 δ j, Lk, δ c 1 α L 1 1/2δ he las oe follows from Theorem 5 iii ad usig /2, for N 1, we obai P S = c α L 1 + c 2δ 1 α 1 1 L 1 1 α/2δ L 2δ 1 1 c α L 1 + c 2δ 1 α 1 1 L 1 1 α/2δ L 2δ c α L 1. To prove he las iequaliy we wrie he secod summad o he righ of 96 i he form c α L 1 R, R := α ατ L 1 L α1+τα ad observe ha R is bouded uiformly i N 1. Here τ > 0 is defied by he equaio 1/2δ = α/α 11 + τ. Ideed, he iequaliy /2µ which holds for N 1 implies α c ε wih ε = 1 α 1 1 > 0. I addiio, by he properies of slowly varyig fucios, we have L 1 = o ε ad L 1 = o ε for ay ε > 0 as, +. Hece, R c uiformly i N 1. Proof of relaio 11. For deermiisic relaio PM = PX 1 = follows from he iequaliies p p PM = p, 97 2 where p = PX =, M 1 = PX = PM 1 PX 1 =, p = PX 1 =, X 2 = = PX 1 = PX 2 = = o PX 1 =. Le us prove 11. To his aim we show ha for ay ε > 0 PM N = PM N = 1 εen lim if lim sup EN PX 1 = + PX 1 = To show he lef iequaliy we choose large posiive ieger m such ha ENI {N m} > 1 εen ad use he lef iequaliy of 97. We obai PM N = E PM N = NI {N m} 1 + o1px 1 = ENI {N m} + o PX 1 =. Furhermore, he righ iequaliy of 97 implies, by Lebesgue s domiaed covergece heorem, ha PM N = = E PM N = N E NPX 1 = = ENPX 1 =. 18

19 3 Auxiliary resuls I Theorem 5 we collec several resuls from Theorems 2.2.1, 2.2.3, 3.1.1, 3.1.6, of [6]. For α > 3 we deoe σ 2 = EX 2 1 µ 2. Theorem 5. Le α, r 1. Assume ha 1 holds. i For 1 < α < 2 here exiss a cosa c = cα, r such ha for ay 1 ad x y > 0 saisfyig x/y r we have PS x, M < y c PX 1 y x/y. 99 ii For α = 2 ad ay τ, η > 0. here exiss a cosa c = cα, r, τ, η < + such ha 99 holds for ay 1 ad x y > 0 saisfyig x/y r ad PX 1 y L y 1+τ η, where L y := y 0 PX 1+τ 1 udu. 100 ypx 1 y is a slowly varyig fucio. iii For 2 < α < 3 here exiss a cosa c = cα, r, µ < + such ha for ay 1 ad x y > 0 saisfyig x/y r we have P S x, M < y c P X 1 y x/y. 101 iv For α = 3 ad ay η > 0 here exiss a cosa c = cr, µ, η such ha 101 holds for each 1 ad x y > 0 saisfyig x/y r ad V y/ l Πx < η. Here { Πx = P X u 2, for EX1 2 < ; 1 > x ad V u = u 2 u 0 sp ˆX 1 > sds, for EX1 2 =. v For α > 3 we have uiformly i ha 1 PS µ = σ 2 2π e 2σ 2 + α 1 PX 1 >. 102 Lemma 4. Le α > 2. We assume ha 2 holds for 2 < α 3 ad 1 holds for α > 3. i For 2 < α < 3 here exiss a cosa c 1 > 0 depedig o he disribuio of X 1 such ha for ay iegers 1 ad 0 < µ Pµ S e c1α 1 / 1/α ii For α = 3 here exis cosas c 1, c 2 > µ + a depedig o he disribuio of X 1 such ha such ha for ay iegers 1 ad 0 < µ Pµ S e 2 c 1 l 1 c iii For α > 3 here exiss a cosa c 1 > 0 depedig o he disribuio of X 1 such ha such ha for ay iegers 1 ad 0 < µ Pµ S e c12 /. 105 We oe ha 103 implies for ay κ > 0 here is a umber c 2 = c 2 c 1, α, κ such ha Pµ S c 2 1 α κ. 106 To prove his claim we boud he righ side of 103 usig he chai of simple iequaliies e y 1 + y/β β y/β β, for y, β > 0. The proof of Lemma 4 is a rouie applicaio of he sadard argume. I is icluded for readers coveiece. 19

20 Proof. Deoe 1/α 2 uα 1, for 2 < α < 3, λ 0 = λ 0, = Aµ+a l 1 Aµ+a, for α = 3, /2B, for α > 3. ad λ x = e λx 1 λx. Here u, A ad B are sufficiely large posiive umbers depedig o he disribuio of X 1, bu hey are idepede of ad. We choose hese umbers i seps 110, 112 ad 113 below. I paricular, we may assume ha u > µ + 1 ad A > 10, B > µ so ha 0 < λ 0, < 1 for 0 < < µ. I he proof we use iequaliies e x 1 x x 2 e x, e x 1 + x mi{2x; x 2 /2}, for x Le us prove 103, 104, 105. For ay λ > 0 we have, by Markov s iequaliy, Pµ S = PŜ e λ Ee λŝ = e λ Ee λ ˆX 1 e λ e E λ ˆX I he las sep we used E ˆX 1 = 0 ad 1 + x e x ad esimaed Ee λ ˆX 1 = 1 + E e λ ˆX 1 1 λ ˆX E λ ˆX 1 e E λ ˆX Nex we esimae E λ ˆX 1. We firs cosider he case where X 1 has a ifiie variace, i.e., he case where 2 < α 3. Give h > 1, we spli E λ ˆX 1 = E λ ˆX 1 I { ˆX1 0} +E λ ˆX 1 I { h/λ< ˆX1<0} +E λ ˆX 1 I { ˆX1 h/λ} =: I 1+I 2 +I 3 ad boud each erm I 1 c λ 2, I λ 2 E ˆX 2 1 I { h/λ< ˆX1<0}, I 3 λe ˆX 1 I { ˆX1< h/λ}. The firs secod ad hird boud follows from he firs secod iequaliy i 107. Furhermore, a sraighforward calculaio shows ha 2 implies as h + E ˆX 1 I { ˆX1< h/λ} a α 2 h/λ2 α, E ˆX 2 1 I { h/λ< ˆX1<0} { a 3 α h/λ3 α, for α < 3, a lh/λ, for α = 3 uiformly i 0 < λ 1. I wha follows we pu λ = λ 0. For 2 < α < 3 we choose h large eough so ha E λ ˆX 1 I 1 + I 2 + I 3 uλ α 1, 110 for some cosa u > 1 + µ depedig o he disribuio of X 1. Here we used λ < 1 whe esimaed I 1 c λ α 1. Ivokig 110 i 108 we obai 103 wih c 1 = α 2α 1 α 1/α 2 u 1/α For α = 3 we choose large h > 1 such ha I 2 aλ 2 lh/λ. The E λ ˆX 1 I 1 + I 2 + I 3 c λ 2 + aλ 2 lh/λ. 112 Ivokig his iequaliy i 108 we obai 104 by choosig A sufficiely large. For α > 3 iequaliies 107 imply E λ ˆX 1 = E λ ˆX 1 I { ˆX1 0} + E λ ˆX 1 I { ˆX1<0} c λ 2 E ˆX 2 1 I { ˆX1 0} + λ2 E ˆX 2 1 I { ˆX1<0} Bλ2, 113 where B > 0 depeds o he disribuio of X 1, bu i does o deped o ad. Ivokig his iequaliy i 108 we obai

21 Remark 5. Assume ha 1 holds ad X 1 has a ifiie variace. i Le 2 < α < 3. There exis umbers c 1, c 2 > 0 depedig o he disribuio of X 1 such ha for ay iegers 1 ad 0 < µ Pµ S c 2 e c1 1/α 1 L ii Le 2 < α 3. For ay 2 < α < α ad κ > 0 here exiss a umber c 1 > 0 depedig o he disribuio of X 1 ad umber c 2 depedig o c 1, α, κ such ha for ay iegers 1 ad 0 < µ Pµ S e c1 α 1 / 1/ α 2 c 2 1 α κ. 115 Proof of Remark 5. The proof is similar o ha of Lemma 4. For 2 < α < 3 we have, by Karamaa s heorem, as h + E ˆX 1 I { ˆX1< h/λ} h/λ2 α L 1 h/λ, E α 2 ˆX 1 2 I { h/λ< ˆX1<0} h/λ3 α L 1 h/λ 3 α uiformly i 0 < λ 1. We choose large h > 0 such ha uiformly i 0 < λ 1 E ˆX 1 I { ˆX1< h/λ} < 2 h/λ 2 α L 1 h/λ, E α 2 ˆX 1 2 I { h/λ< ˆX1<0} < 2 h/λ 3 α L 1 h/λ 3 α Now usig he fac ha L 1 is slowly varyig we ca fid a cosa c > 0 such ha E ˆX 1 I { ˆX1< h/λ} c λ α 2 L 1 λ 1, E ˆX 2 1 I { h/λ< ˆX1<0} c λ α 3 L 1 λ 1. uiformly i 0 < λ 1. Hece E λ ˆX 1 I 1 + I 2 + I 3 u λ α 1 L 1 λ 1 u PX 1 > λ for some absolue cosas u, u we assume ha u µ. I he las sep we applied 35. Le us show i. We choose λ = λ 0, where λ 1 0 = if { > 0 : PX 1 > < 1}. We oe ha as + λ 1 0 1/α 1 L ad PX 1 > λ Here he firs ad secod relaio follow from formulas , ad of [6] respecively. Ivokig he secod relaio of 117 i 116 we obai E λ ˆX 1 u 1 for some cosa u. This iequaliy combied wih 108 ad he firs relaio of 117 yield Pµ S e λ0+u c 2 e c1 1/α 1 L Le us show ii. For 2 < α < 3 we combie he secod iequaliy of 116 wih he iequaliy L 1 λ 1 c λ ε, for ε = α α > 0, which follows from geeral properies of slowly varyig fucios Theorem of [6]. We obai E λ ˆX 1 u λ α 1 L 1 λ 1 u λ α 1, 1/ α 2 for some cosa u. Fially, we pu λ = λ 1 = u α 1 ad ivoke he iequaliy E λ1 ˆX 1 u λ α 1 1 i 108. For α = 3 we oly show ha E λ ˆX 1 u λ α 1. By Karamaa s heorem, E ˆX 1 I { ˆX1< h/λ} λ/hl 1h/λ, E ˆX 2 1 I { h/λ< ˆX1<0} L h/λ as h +, where L is a slowly varyig fucio. Choosig h large eough we obai for some cosa u. E λ ˆX 1 I 1 + I 2 + I 3 c λ 2 + uλ 2 L λ 1 u λ α 1, 21

22 4 Appedix Lemma 5. Le a > 0. Le X 1, X 2,... be o-egaive ieger valued iid radom variables such ha PX = a 3 as Le {η } 1 be he sequece defied by PX 1 = = a + η 3, 1. Deoe µ = EX 1, b = 0.5a l ad hk = 1 j k η j/j. Le ϕs = 2π 1/2 e s2 /2 deoe he sadard ormal desiy. There exis umbers c, c 1 > 0 idepede of ad such ha for each k = 0, 1, 2,... ad each = 1, 2,... we have P X X = k ϕ b 1 k µ c mi T A, 120 1<A<l 2 T A := A A 3 h b + l l l 1 + e c1a. Remark 6. For η c l l 1 l l l 4 Lemma 5 implies P X X = k ϕ b 1 k µ = o 1/ l l. 121 Ideed, we have for large k ha hk j k η j c l k/ l l kl l l k 4. Now for A = A = l l l 5/4 we obai T A = o 1/ l l. Proof of Lemma 5. The proof goes alog he lies of he proof of Theorem of [13]. We begi wih iroducig some oaio. Deoe =,k he quaiy o he lef of 120. Deoe f = Ee ix1 ad φ = Ee iy he Fourier-Sieljes rasforms of he probabiliy disribuios of X 1 ad Y = b 1 X 1 µ wih i sadig for he imagiary ui. We deoe D y = e iy 1 iy ad use he iequaliies D y 2 y ad D y + y 2 /2 y 3 /6 for real umbers ad y. Le us show 120. Give 1 < A < πb we pu ε = A 1. We have formula of [13] where I 1 = A A φ e 2 /2 d, I2 = I 1 + I 2 + I 3, A πb f d, I3 = b A e 2 /2 d. Furhermore, for ay 0 < δ < 2 here exis 0 > 0, c δ > 0 ad ε δ 0, 1 such ha for > 0 ad ε δ b we have f b 1 e c δ δ formula of [13]. We choose δ = 1. For ε 1 b π we have f b 1 e c, for some c > 0 idepede of formula of [13]. These upper bouds for f b 1 imply he boud I 2 2c 1 1 e c1a + 2πb e c. 122 Nex, we esimae I 3 2A 1 e A2 /2 usig he iequaliy PW > A A 1 e A2 /2 2π 1/2 for he sadard Gaussia radom variable W, see Secio 7.1 of [10]. Fially, we show ha I 1 c A c A 2 ε 1 + A 3 h b + l ε + l l + A 4 ε l The bouds for I 1, I 2, I 3 above imply 120. I remais o prove 123. The ideiy φ e 2 /2 = φ e 2 /2 φ j e j 12 /2 implies φ e 2 /2 φ e 2 /2 =:. I order o esimae we expad φ ad e 2 /2 i powers of. Noe ha EY = 0 implies φ 1 = ED Y. We spli j=1 ED Y = ED Y I { Y <ε} + ED Y I { Y ε} =: J 1 + J

23 Usig D y 2 y we obai J 2 2 E Y I { Y ε}. A simple calculaio shows ha E Y I { Y ε} c ε 1 b 2. Hece J 2 c ε 1 b 2. Nex, usig D y + y 2 /2 y 3 /6 we obai J 1 = EY 2 I { Y <ε} i 3 R, R E Y 3 I { Y <ε}. 125 A calculaio shows ha R c εb 2. Furhermore, we have b 2 EY 2 I { Y <ε} = j µ 2 PX 1 = j = a l εb + h εb + r, j µ+εb where he remaider r is bouded uiformly i ε ad, i.e., r c. Usig he iequaliies ab 2 l εb 1 c l ε + l l / l, h εb h b c j 1 c l ε εb j b we approximae a l εb by b 2 / ad h εb by h b i 126. From 124, 125, 126 we obai he expasio φ c 2 l R, R = ε l l + l ε + h b + 3 ε. We compare i wih he expasio e 2 / /2 4 /4 ad coclude ha c R l /4. This iequaliy implies 123. Lemma 6. Le α > 2, a, b > 0 ad le k be a posiive ieger. Le Z be a o-egaive ieger valued radom variable such ha PZ = a as +. The e bz bz E a b α 1 α as ! Proof. Deoe Z = bz, f λ = e λ λ! 1 ad u = 1/2 l. We spli Ef Z = Ef ZI { Z u} + Ef ZI { Z< u} + Ef ZI { Z>+u} =: I 1 + I 2 + I 3 ad show ha I 1 ab α 1 α ad I j = o α for j = 2, 3. Le η 1, η 2,... be iid Poisso radom variables wih mea b. By Theorem 6 chp. 7 of [16], relaio 20 holds for he sum S = η η wih b = b, a = b ad τ = O 1/2. Now from Lemma 2 which applies o he sum S as well we obai f b = P S = b 1. : b u : b u This relaio implies I 1 ab α 1 α. The remaiig bouds I j = o α, j = 2, 3 are easy. Usig he fac ha λ f λ icreases decreases for λ < for λ > we obai for large I 2 f u e u 1 u e 0.5 l 2, I 3 f + u e u 1 + u e 0.1 l 2. Here we applied! /e ad he evaluaed 1 ± u = e l1±u 1 usig a wo erm expasio of l1 ± u 1 i powers of u 1. 23

24 Refereces [1] A. Aleškevičieė, R. Leipus, J. Šiaulys Tail behavior of radom sums uder cosise variaio wih applicaios o he compoud reewal risk model. Exremes. 11, [2] Blozelis, M Degree ad cluserig coefficie i sparse radom iersecio graphs. Aals of Applied Probabiliy, 23: [3] M. Blozelis, E. Godehard, J. Jaworski, V. Kurauskas, K. Rybarczyk Rece Progress i Complex Nework Aalysis: Models of Radom Iersecio Graphs. I: Lause, B., Krolak-Schwerd, S., Böhmer, M. eds Daa Sciece, Learig by Lae Srucures, ad Kowledge Discovery, pp Spriger-Verlag Berli Heidelberg. [4] M. Blozelis Degree-degree disribuio i a power law radom iersecio graph wih cluserig. Iere Mahemaics. [5] M. Blozelis, J. Peuchovas Correlaio bewee cluserig ad degree i affiliaio eworks. I Algorihms ad Models for he Web Graph, WAW2017. Lecure Noes i Compuer Sciece. Spriger o appear. [6] A. A. Borovkov, K. A. Borovkov Asympoic aalysis of radom walks. Heavyailed disribuios. Ecyclopedia of Mahemaics ad is Applicaios, 118. Cambridge Uiversiy Press, Cambridge. [7] Dorogovsev, S.N., Golsev, A. V., Medes, J.F.F Pseudofracal scale-free web. Phys. Rev. E. 65: [8] B. V. Gedeko, A. N. Kolmogorov Limi disribuios for sums of idepede radom variables. Addiso-Wesley, Cambridge. [9] P. Embrechs, C. Klppelberg, T. Mikosch Modelig Exremal Eves. Spriger, New York. [10] W. Feller A Iroducio o Probabiliy Theory ad Is Applicaios hird ed., Volume 1. Wiley, New York. [11] S. Foss, D. Korshuov, S. Zachary A Iroducio o Heavy-Tailed ad Subexpoeial Disribuios. 2d Ediio. Spriger, New York. [12] Foudalis, I., Jai, K., Papadimiriou, C. ad Sideri, M Modelig social eworks hrough user backgroud ad behavior. I Algorihms ad Models for he Web Graph. Lecure Noes i Compuer Sciece Spriger, Heidelberg. MR [13] I. A. Ibragimov, Yu. V. Liik Idepede ad saioary sequeces of radom variables. Wolers-Noordhoff Publishig, Groige. [14] M. E. J. Newma, S. H. Srogaz, D. J. Was Radom graphs wih arbirary degree disribuios ad heir applicaios. Physical Review E 64: [15] K. W. Ng, Q. Tag Asympoic Behavior of Tail ad Local Probabiliies for Sums of Subexpoeial Radom Variables. Joural of Applied Probabiliy, 41, [16] V. V. Perov Sums of idepede radom variables. Spriger-Verlag, New York-Heidelberg. [17] Ravasz, L. ad Barabási, A. L Hierarchical orgaizaio i complex eworks. Phys. Rev. E [18] B. A. Rogozi O he icrease of dispersio of sums of idepede radom variables. Theor. Probabiliy Appl., 6, [19] A. Vázquez, R. Pasor-Saorras, ad A. Vespigai Large-scale opological ad dyamical properies of Iere. Phys. Rev. E. 65, [20] A. Yu. Zaigraev, A. V. Nagaev, A. Jakubowski Large deviaio probabiliies for sums of laice radom vecors wih heavy ailed disribuio. Discree Mah. Appl., 7,