arxiv: v1 [math.pr] 28 Jan 2019

Transcription

1 CRAMÉR-TYPE MODERATE DEVIATION OF NORMAL APPROXIMATION FOR EXCHANGEABLE PAIRS arxv: v1 [mathpr] 28 Jan 2019 ZHUO-SONG ZHANG Abstract In Stn s mthod, an xchangabl par approach s commonly usd to stmat th convrgnc rat of normal and nonnormal approxmaton Usng th xchangabl par approach, w stablsh a Cramér-typ modrat dvaton thorm of normal approxmaton for an arbtrary random varabl wthout a bound on th dffrnc of th xchangabl par A Brry Essntyp nqualty s also obtand Th rsult s appld to th subgraph counts n th Erdös Rény random graph, local dpndnc, and graph dpndncy Contnts 1 Introducton 2 2 Man rsults 4 3 Applcatons 5 31 Subgraph counts n th Erdös Rény random graph 5 32 Local dpndnc 7 33 Graph dpndncy 10 4 Proofs of Thorms 21 and Proofs of othr rsults Proof of Thorm Proofs of Thorms 32 and Som prlmnary lmmas Proof of Lmmas 52 and Rfrncs Mathmatcs Subct Classfcaton Prmary 60F10; scondary 60G60 Ky words and phrass Stn s mthod, xchangabl pars, Cramér-typ modrat dvaton, Erdös Rény random graph, Local dpndnc, Graph dpndncy 1

2 2 Z-S ZHANG 1 Introducton Lt W b a random varabl, and w say W,W s an xchangabl par f W,W has th sam ont dstrbuton as W,W Th xchangabl par approach of Stn s mthod s commonly usd n th normal and nonnormal approxmaton to stmat th convrgnc rats Usng xchangabl par approach, Chattr and Shao [9] and Shao and Zhang [25] provdd a concrt tool to dntfy th lmtng dstrbuton of th targt random varabl as wll as th L 1 bound of th approxmaton Rcntly, Shao and Zhang [26] obtand a Brry Essn-typ bound of normal and nonnormal approxmaton for unboundd xchangabl pars In ths papr, w focus only on th normal approxmaton Lt W,W b an xchangabl par and = W W Assum that thr xsts a constant λ 0,1 and a random varabl R such that 11 E W = λw +R, and Shao and Zhang [26] provd that sup PW z Φz E 1 1 z R 2λ E 2 W λ E E W +E R, whr := W,W s any random varabl satsfyng that W,W = W,W and W rfrto Stn [29], Rnott androtar[22], Chattr, Dacons and Mcks[7], Chattr and Mcks[8] and Mcks[18] for othr rlatd rsults for th xchangabl par approach Chattr [5], Chattr and Dy [6] and Macky, Jordan, Chn, Farrll and Tropp [17] also provd th concntraton nqualty rsults for xchangabl pars Th Brry Essn bound 12 provds an optmal convrgnc rat for many applcatons Howvr, n practc, t may not b asy to chck 11 n gnral Altrnatvly, n Scton 2, w prov a nw vrson of 12 undr th condton D1, whch s a natural gnralzaton of 11 Whl th Brry Essn-typ bound dscrbs th absolut rror for th dstrbuton approxmaton, th Cramér-typ modrat dvaton rflcts th rlatv rror Mor prcsly, lt Y n,n 1 b a squnc of random varabls that convrg to Y n dstrbuton, th Cramér-typ modrat dvaton s PY n > x PY > x = 1+ rror trm 1 for0 x a n, whra n asn Spcally, forndpndntanddntcally dstrbutd d random varabls X 1,,X n wth EX = 0, EX 2 = 1 and

3 MD FOR EXCHANGEABLE PAIRS 3 E t0 X1 <, whr t 0 > 0 s a constant, put W n = n 1/2 X 1 + +X n, PW n > x 1 Φx = 1+O1n 1/2 1+x 3, for 0 x n 1/6, whr Φx s th standard normal dstrbuton functon W rfr to Lnnk [16] and Ptrov [19] for dtals Th condton E t0 X1 < s ncssary, and th rang 0 x n 1/6 and th ordr of th rror trm n 1/2 1+x 3 ar optmal Snc ntroducd by Stn [28] n 1972, Stn s mthod has bn wdly usd n rcnt yars, and shows ts mportanc and powr for stmatng th approxmaton rrors of normal and nonnormal approxmaton Modrat dvaton rsults wr also obtand by Stn s mthod n th ltratur For nstanc, usng Stn s mthod, Rač[20] consdrd th modrat dvaton undr crtan local dpndnc structurs In th contxt of Posson approxmaton, Barbour, Holst and Janson [4], Chn and Cho [10] and Barbour, Chn and Cho [2] appld Stn s mthod to prov modrat dvaton rsults for sums of ndpndnt ndcators, whras Chn, Fang and Shao [11] studd sums of dpndnt ndcators Morovr, Chn, Fang and Shao [12] and Shao, Zhang and Zhang [24] obtand th gnral Cramér-typ modrat dvaton rsults of normal and nonnormal approxmaton for dpndnt random varabls whos dpndnc structur s dfnd n trms of a Stn dntty For normal approxmaton, assum that thr xsts a constant δ > 0, a random functon Ku 0and a randomvarabl R suchthat for anyabsolutlycontnuous functon f, 13 E WfW = E f W +u Kudu+E RfW t δ Lt K 1 := t δ Kudu, and assum that thr xsts constants θ 0,θ 1 and θ 2 such that K 1 θ 0, 14 EK 1 W 1 θ 1 1+ W, ER W θ2 1+ W By Chn, Fang and Shao [12, Thorm 31], th random varabl W has th followng modrat dvaton rsult: PW > z 1 Φz = 1+O1θ3 01+z 3 δ +θ 1 +θ 2, for 0 z θ 1 0 δ 1/3 + θ 1/3 1 + θ 1/3 2 whr O1 s boundd by a unvrsal constant Howvr, n thr rsults, a bounddnss assumpton on s rqurd and th condtons n 14 may b dffcult to chck n gnral Ths motvatsus to

4 4 Z-S ZHANG prov a mor gnral Cramér-typ modrat dvaton rsult for th xchangabl par approach Ths papr s organzd as follows W prsnt our man rsults n Scton 2 In Scton 3, w gv som applcatons of our man rsult Th proofs of Thorms 21 and 22 ar put n Scton 4 Th proofs of thorms n Scton 3 ar postpond to Scton 5 2 Man rsults Lt X b a fld of random varabls and W = ϕx b th random varabl of ntrst W consdr th followng condton: D1 Lt X,X b an xchangabl par Lt D = FX,X b an antsymmtrc functon wth rspct to X and X satsfyng ED X = λw+ R whr 0 < λ < 1 s a constant and R s a random varabl Th condton D1 s a natural gnralzaton of 11 Spcally, f 11 s satsfd, w can smply choos D = Th followng thorm provds a unform Brry Essn bound n th normal approxmaton Thorm 21 Lt W,W b an xchangabl par satsfyng th condton D1, and = W W Lt D := D W,W b any random varabl such that D W,W = D W,W and D D Thn, sup PW z Φz E 1 1 z R 2λ ED W λ E ED W +E R If 11 s satsfd, thn 21 covrs 12 by takng D = Th followng thorm provds a a Cramér-typ modrat dvaton rsult undr th condton D1 wthout th assumpton that s boundd Thorm 22 Lt W,W b an xchangabl par satsfyng th condton D1, and = W W Lt D := D W,W b any random varabl such that D W,W = D W,W and D D Assum that thr xsts a constant A > 0 and ncrasng functons δ 1 t,δ 2 t and δ 3 t such that for all 0 t A, A1 E tw <, A2 E 1 1 2λ ED X tw δ 1 te tw, A3 E 1 2λ ED X tw δ 2 te tw, and A4 E R tw δ 3 te tw

5 MD FOR EXCHANGEABLE PAIRS 5 For d 0 > 0, lt A 0 d 0 := max Thn, for any d 0 > 0, 22 0 t A : t22 δ 1t+δ 2 t+δ 3 tt d 0 PW > z 1 Φz 1 20 d 0 1+z 2 δ 1 z+δ 2 z+1+zδ 3 z, provdd that 0 z A 0 d 0 Rmark 21 Undr th condton D1 and assum that δ, thn 13 s satsfd wth Ku = 1 2λ D 1 t 0 1 0<t, R = R and K 1 = D /2λ Undr th condton A1, t can b shown that s, g Chn, Fang and Shao [12, Lmma 51] and Shao, Zhang and Zhang [24, Scton 4] th condton 14 mpls condtons A2 and A4 wth δ 1 t = θ 1 1+t and δ 3 t = θ 2 1+t 3 Applcatons 31 Subgraph counts n th Erdös Rény random graph Lt G b a graph wth N vrtcs and V := v,1 N b th vrtx st For any ntgr k 1, lt [N] k := 1,, k : 1 1 < 2 < < k N For, [N] 2, dfn 1, f v and v ar connctd, ξ = 0, othrws W say GN,p s an Erdös Rény random graph f ξ,, [N] 2 ar ndpndnt and for ach, [N] 2, Pξ = 1 = 1 Pξ = 0 = p For any graph H, lt vh and H dnot th numbr of ts vrtcs and dgs, rspctvly Lt G b a gvn fxd graph and dnot v := vg and := G Lt S N b th numbr of cops not ncssarly nducd of G n GN,p Lt µ N = ES N, σ N = VarS N and W N = S N µ N /σ N Thorm 31 Lt ψ = mn N vh p H H G,H>0

6 6 Z-S ZHANG W hav 31 sup PWN z Φz Cψ 1/2, 0 < p 1/2, z R CN 1 1 p 1/2, 1/2 < p < 1, whr C > 0 s a constant dpndng only on G Morovr, 32 PW N > z 1 Φz = 1+O11+z 2 b N p,z, for 0 z 1 pn 2 p ψ 1/2 such that 1+z 2 b N p,z 1, whr O1 s boundd by a constant dpndng only on G and ψ 1/2 1+z, 0 < p < 1/2, 33 b N p,z = N 1 1 p 1/2 1+1 p 1/2 z, 1/2 < p < 1 Th proof of Thorm 31 s put n Scton 5 Rmark 31 Barbour, Karosk and Rucsk [3] and Fang [15] provd th sam bound as n 31 for th Wassrstn-1 dstanc and for th Wassrstn-2 dstanc, rspctvly Rmark 32 For fxd p whch s boundd away from 0 and 1, and ndpndnt of N, thn for suffcntly larg N, w hav ψ = ON 2 and p = O1 In ths cas, 32 ylds for z 0,N 1/3 PW N > z 1 Φz = 1+O1N 1 1+z 3, Rmark 33 Spcally, whn G s a trangl, th bound 31 rducs to sup PWN z Φz CN 3/2 p 3/2, 0 < p N 1/2, CN 1 p 1/2, N 1/2 < p 1/2, z R CN 1 1 p 1/2, 1/2 < p < 1, whr C s an absolut constant Ths s as sam as th rsult n Rölln [23] For th Cramér-typ modrat dvaton, 32 rducs to th followng four cass Hr, O1 s boundd by an absolut constant 1 If 0 < p N 1/2, PW N > z 1 Φz for 0 z N 1/2 p 3/2 = 1+O1N 3/2 p 3/2 1+z 3,

7 MD FOR EXCHANGEABLE PAIRS 7 2 If N 1/2 < p N 2/7, PW N > z 1 Φz for 0 z Np 5/2 3 If N 2/7 < p 1/2, PW N > z 1 Φz for 0 z N 1/3 p 1/6 4 If 1/2 < p < 1, PW N > z 1 Φz = 1+O1N 1 p 1/2 1+z 3, = 1+O1N 1 p 1/2 1+z 3, = 1+O1N 1 1 p 1/2 1+z p 1/2 z, for 0 z N 1/3 1 p 1/3 32 Local dpndnc Lt J b an ndx st and X, J b a local dpndnt random fld wth zro man and fnt varancs Put W = J X and assum that VarW = 1 For A J, lt X A = X, A, A c = J : A and lt A b th cardnalty of A Assum that X, J satsfs th followng condtons LD1 For any J, thr xsts A J such that X s ndpndnt of X A c LD2 For any J, A, thr xsts A such that A A J and X,X s ndpndnt of X A c W hav th followng Brry Essn-typ bound Thorm 32 Assum that condtons LD1 and LD2 ar ar satsfd Thn, 34 sup PW z Φz 12r 1/2, z R whr E X 4 +E X 4 +E X 4 +E X 4 r = J A A A Rmark 34 In partcular, f E X 4 δ 4 for som δ > 0 and for ach J, thn sup PW z Φz 12n 1/2 κ 1 κ 1/2 2 δ 2, z R whr κ 1 and κ 2 ar postv constants such that max A κ1, and max A κ2 J J A

8 8 Z-S ZHANG Rmark 35 Th condtons LD1 andld2 s anothr vrson of Barbour, Karosk and Rucsk [3, Eqs 23 25], whch s also studd n Fang [15] Also, Chn and Shao [14] consdrd th followng condton: LD2 ThrxstA B J suchthatx sndpndntofx A c andx, A s ndpndnt of X, B c Th sz of A s smallr than that of B Lt NB = : J : B B = and κ = max J NB Chn and Shao [14] provd that, undr th condton LD2, for 2 < p 4, sup PW z Φz 13+11κ E X 3 p +E z R J κ E X p +E J It s wll known that E A X p A p 1 A E X p, p 1 In ths pont of vw, th rsult 34 covrs 35 wth p = 4 A X X 3 p A p 1/2 W rfr to Shrgn [27], Bald, Rnott and Stn [1] and Rnott [21] for mor xstng rsults of Brry Essn bound For th Cramér-typ modrat dvaton, w rqur two addtonal condtons: LD3 For any J, A and k A, thr xsts A k such that A A k J and X,X,X k s ndpndnt of X A c k LD4 Assum that for ach J, thr xst two postv constants α > 0 and β 1, a random varabl U 0 that s ndpndnt of X, A c, such that and for ach J, A \ and E X 6 α X +U < X U, E α X +U β, Rmark 36 Th condton LD3 s an xtnson of condtons LD1 and LD2 and condton LD4 s on th momnt gnratng functon for th nghborhood of X Rač [20] proposd som dffrnt condtons, but thos condtons dpnd on not only X, A but also X k,k A

9 MD FOR EXCHANGEABLE PAIRS 9 For J, A and k A, lt κ = A \ A A and κk = Ak \ A A A k Lt γp, t = E X p tu+ X and 36 Γ 3 t = J Γ 4 t = J Γ 6 t = J β 2κk+2κ A k A A k A A k A γ3, t+γ 3, t+γ 3,k t, A 1 β 2κ γ 4, t+γ 4, t+γ 4, t+γ 4, t, γ 6,m t β 2κk+2κ A J A k A l A k W hav th followng modrat dvaton rsult m,,,,k,l Thorm 33 Assum that condtons LD1 LD4 ar ar satsfd Thn, for any d 0 > 0, PW > z 1 Φz 1 1+z 2 β 5/2 Γ 1/2 240d0 4 z+β 6 Γ 3 zz +β 3 Γ 1/2 6 zz, provdd that 0 z α such that 2d 0 β 5/2 Γ 1/2 4 z+β 6 Γ 3 zz +β 3 Γ 1/2 6 zz z 2 For boundd random varabls, condton LD4 can b rplacd by th followng condton: K1 Assum that thr xst postv constants δ > 0,κ 1 1,κ 2 1, κ and κ 4 0 such that X δ and max A κ1, max A κ2, J max J, A k A Ak κ3, J A max J, A k A maxκ +κ k κ 4 Takng U = κ 2 1δ,α = δ 1 κ κ 4 1 and β = 1/1+κ4, Thorm 33 mpls th followng corollary: Corollary 31 Lt n = J Assum that condtons LD1 LD3 and K1 ar satsfd Thn, PW > z 1 Φz 1 Cκ1 κ 1/2 2 n 1/2 δ 2 +nδ 3 κ 1/2 2 +κ 1/2 3 z1+z 2, provdd that 0 z δ 1 κ κ 4 1 and κ 1 κ 1/2 2 n 1/2 δ 2 +nδ 3 κ 1/2 2 +κ 1/2 3 z1+ z 3 1, whr C > 0 s an absolut constant

10 10 Z-S ZHANG 33 Graph dpndncy LtG = V,E bagraph,whrv sthstofvrtcs and E s th st ofdgs Consdrast ofrandom varablsx, V Th graph G s sad to b a dpndncy graph f for any par of dsont sts Γ 1 and Γ 2 n V such that no dg n E has on ndpont n Γ 1 and th othr n Γ 2, th sts of random varabls X, Γ 1 and X, Γ 2 ar ndpndnt Th dgr dv of a vrtx v n G s th numbr of dgs connctd to ths vrtx Th maxmal dgr of a graph s DV = max v V dv Assum that EX = 0 for ach V Put W = X /σ, V whr σ = Var V X Th unform Brry Essn bound was obtand by Bald, Rnott and Stn [1] and Rnott [21] and th nonunform Brry Essn bound by Chn and Shao [14] Forany,,k V,ltA = V : thr s an dg connctng and,a = A A and A k = A A A k Thn κ k = κ = 0 and max A, A, Ak 3DV If thr xsts a constant B > 0 such that X B Thn K1 s satsfd wth δ = Bσ 1 Applyng Corollary 31 ylds th followng thorm: Thorm 34 Lt W = V X /σ, whr σ 2 = Var V X Assum that for ach V, EX = 0 and X B Thn 38 sup PW z Φz CB 2 σ 2 n 1/2 DG 3/2, z R and 39 PW > z 1 Φz = 1+O1 B 2 σ 2 n 1/2 DG 3/2 +B 3 σ 3 ndg 2 z 1+z 2, for z 0 such that B 2 σ 2 n 1/2 DG 3/2 +B 3 σ 3 ndg 2 z 1+z 2 1 Hr, C s an absolut constant and O1 s also boundd by an absolut constant Rmark 37 Undr th sam assumptons as n Thorm 34, Rnott [21] obtand th followng Brry Essn bound: sup PW z Φz 1 z R 2π DBσ 1 +16B 2 σ 2 n 1/2 DG 3/2 +10B 3 σ 3 ndg 2, whch s covrd by 38 Morovr, th modrat dvaton 39 s nw

11 MD FOR EXCHANGEABLE PAIRS 11 Rmark 38 Not that whn DG and B ar boundd, and σ 2 cn for som constant c > 0, and 39 ylds PW > z 1 Φz = 1+O1n 1/2 1+z 3, for 0 z n 1/6, whr both th rang [0,n 1/6 ] and th convrgnc rat O1n 1/2 1 + z 3 ar optmal 4 Proofs of Thorms 21 and 22 In ths scton, wgvth proofsofourmanrsultsn Scton 2 Bforprovng Thorms 21 and 22, w frst prsnt som prlmnary lmmas In th proofs, w apply th das n Chn, Fang and Shao [12, Lmmas 51 52] and Shao and Zhang [26, pp 71 73] Lmma 41 Lt φ b a nondcrasng functon Thn, 1 0 2λ D E φw +u φwdu 1 2λ E D φw, whr D s as dfnd n Thorm 22 Proof of Lmma 41 Snc φ s ncrasng, t follows that 0 0 φw +u φw du φw φw Thrfor, as W,W s xchangabl, 1 0 2λ D E φw +u φw du 1 2λ ED 1 D<0 φw φw = 1 2λ ED 1 D>0 +1 D<0 φw = 1 2λ ED φw W Th followng lmma provds a bound for th momnt gnratng functon of Lmma 42 For 0 t A, w hav t 41 E tw 2 xp 1+δ1 t+δ 2 t +δ 3 tt 2 For d 0 > 0, lt A 0 d 0 := max 0 t A : t22 δ 1t+δ 2 t+δ 3 tt d 0

12 12 Z-S ZHANG Thn, for 0 t A 0 d 0, 42 E tw d0 t2 /2 Proof of Lmma 42 Lt ht = E tw Snc E tw <, and by th contnuty of th xponntal functon, w hav h t = EW tw Snc ED W = λw +R, t follows that 43 E W tw = t 1 2λ E 0 D tw+u du E R tw te tw + t 0 2λ E D tw+u tw du +te 1 1 2λ ED W tw +E R tw By condton A3 and Lmma 41, w hav for 0 t A, t λ D E tw+u tw du tδ 2 te tw By condtons A2 and A4, for 0 t A, te 1 1 2λ ED W 45 tw tδ 1 te tw, 46 E R tw δ 3 te tw Combnng 43 46, w hav for 0 t A, h t = E W tw tht+ t δ 1 t+δ 2 t +δ 3 t ht Notng that h0 = 1, and δ 1,δ 2 and δ 3 ar ncrasng, w complt th proof by solvng th forgong dffrntal nqualty Lmma 43 Lt A 0 d 0 b as dfnd n Lmma 42 W hav for 0 z A 0 d 0, E 1 1 2λ ED W 47 W /2 W2 1 0 W z 6 d0 1+z 2 δ 1 z, 48 and 49 1 ED 2λ E W W W 2 /2 1 0 W z 6 d0 1+z 2 δ 2 z, E R W2 /2 1 0 W z 3 d0 1+zδ 3 z

13 MD FOR EXCHANGEABLE PAIRS 13 Proof of Lmma 43 W apply th da n Chn, Fang and Shao [12, Lmma 52] n ths proof For a R, dnot [a] = maxn N : n a It follows that E 1 1 2λ ED W W /2 W2 1 0 W z [z] = E 1 1 2λ ED W W /2 W2 1 1 W< =1 +E 1 1 2λ ED W W /2 W2 1 [z] W z [z] 12/2 1 E 1 1 2λ ED W W 1 1 W< =1 +z [z]2/2 [z]z E 1 1 2λ ED W zw 1 [z] W z [z] 3 2 /2 E 1 1 2λ ED W W 1 1 W< =1 +3z z2 /2 E 1 1 2λ ED W zw 1 [z] W z By condton A2 and 42, and rcallng that δ 1 s ncrasng, for any 0 x z A 0 d 0, x2 /2 E 1 1 2λ ED W xw δ 1 xe xw x2 /2 d0 δ 1 x d0 δ 1 z By th forgong nqualts, E 1 1 2λ ED W W /2 1 W2 0 W z [z] 3 d0 δ 1 z +z 6 d0 1+z 2 δ 1 z =1 Ths provs 47 Th nqualts 48 and 49 can b obtand smlarly Now w ar rady to gv th proof of Thorms 21 and 22 Proofs of Thorms 21 and 22 Lt z 0b aralnumbr Ltf z bth soluton to th Stn quaton: 410 f w wfw = 1 w z Φz,

14 14 Z-S ZHANG whr Φ s th dstrbuton functon of th standard normal dstrbuton It s wll known that s, g, Chn, Goldstn and Shao [13] Φw 1 Φz, w z, pw 411 f z w = Φz 1 Φw, w > z, pw whr pw = 2π 1/2 w2 /2 s th dnsty functon of th standard normal dstrbuton that Snc W,W s xchangabl satsfyng that ED W = λw +R, t follows and thus, 412 E Wf z W = 1 0 2λ E D f zw +tdt E Rf z W, PW > z 1 Φz = E f zw Wf z W = E f z W λ E D = J 1 J 2 +J 3, 0 2λ ED W f zw +u f zwdu +E Rf z W whr J 1 = E f z W 1 1 2λ ED W, J 2 = 1 0 2λ E D f zw +u f zwdu J 3 = E Rf z W, W frst prov 21 by boundng J 1, J 2 and J 3, sparatly By Chn, Goldstn and Shao [13, Lmma 23], w hav f z 1, f z 1 Thn, 413 J 1 E 1 1 2λ ED W, J 3 E R For J 2, obsrv that f z w = wfw 1 w>z+ 1 Φz, and both wf z w and 1 w>z ar ncrasng functons s, g Chn, Goldstn and Shao [13, Lmma

15 MD FOR EXCHANGEABLE PAIRS 15 23], by Lmma 41, J 2 1 2λ D E + 1 2λ D E whr 0 0 W +uf z W +u Wf z Wdu 1W+u>z 1 W>z du 1 2λ E ED W Wf z W +1 W>z J 21 +J 22, J 21 = 1 ED 2λ E W Wfz W, J 22 = 1 ED 2λ E W 1W>z Thn, J 2 1 λ E ED W Ths provs Thorm 21 togthr wth 413 Now w mov to provthorm 22 Wthout loss ofgnralty, w only consdr J 2, bcaus J 1 and J 3 can b boundd smlarly For any w > 0, t s wll known that Thn, for w > z, 414 and by symmtry, for w < 0, Φw pw max 1 w, 2π 2 fz w 2π 2 Φz, wfz w 1, fz w 2π 1 Φz, wfz w 1 Φz 2 For J 21, by 411, 414 and 415, w hav Thus, 416 J 21 1 ED 2λ 1 ΦzE W 1W<0 2π ED + 2λ 1 ΦzE W W W 2 /2 1 0 W z + 1 ED 2λ E W 1W>z J 2 1 2λ 1 ΦzE ED W 1 W<0 2π ED + 2λ 1 ΦzE W W W 2 /2 1 0 W z + 1 λ E ED W 1W>z

16 16 Z-S ZHANG For th frst trm of 416, by condton A3 wth t = 0, and notng that δ 2 s ncrasng, ED 2λ E W 1W<0 1 ED 2λ E W δ 2 0 d0 δ 2 z For th scond trm of 416, by Lmma 43, w hav ED 2λ E W W W 2 /2 1 0 W z 6 d0 1+z 2 δ 2 z For th thrd trm of 416, by condton A3 and 42, for 0 z A 0 d 0, 1 ED 419 2λ E W 1W>z δ 2 z z2 E zw d0 δ 2 z z2 /2 It s wll known that for z > 0, z2 /2 2π1+z 1 Φz 3 2π 1+z 2 1 Φz 2 Thn, for 0 z A 0 d 0, 1 ED 2λ E W 1W>z 3d0 2π 1+z 2 δ 2 z 1 Φz 2 Thrfor, combnng , for 0 z A 0 d 0, w hav Smlarly, and J 2 20 d0 1+z 2 δ 2 z 1 Φz J 1 20 d0 1+z 2 δ 1 z 1 Φz, J 3 20 d0 1+zδ 3 z 1 Φz Ths complts th proof togthr wth Proofs of othr rsults 51 Proof of Thorm 31 In ths subscton, th constants C dpnd only on th fxd graph G, whch may tak dffrnt valus n dffrnt placs Rcall that v = vg, = G, and lt 1 N dnot th dgs of th complt graph 2 on N vrtcs Dfn N I N = = 1,, : 1 1 < 2 < <, 2 G := 1,, s a copy of G

17 MD FOR EXCHANGEABLE PAIRS 17 Lt X = l=1 ε l p /σ N W hav W N = X = 1 ε l p, σ N I N whr σ 2 N = VarS N and ε l s th ndcator of th vnt that th dg l s connctd n GN,p It s known that s, g, Barbour, Karosk and Rucsk [3, p 132] I N l=1 51 σ 2 N C1 pn 2v p 2 ψ 1 Now w construct A,A and A k By Fang [15, pp 11 12], for ach I N, for I N and A, and for I N, A and k A, A = I N : > 0; A = k I N : k > 0 ; A k = l I N : l k > 0 Thn, A = A A and A k = A A A k, and thus κ k = κ = 0 Also, A CN v 2 W now construct th xchangabl par for X, I N For ach l G, lt ε l b an ndpndnt copy of ε l, whch s also ndpndnt of ε k,k l and ε k,k l For ach = 1,, I N, dfn and for = 1,, A, X = 1 ε σ l p, N l=1 X = 1 σ N k ε k ε l p l c Lt I b random ndx unformly dstrbutd n I N whch s ndpndnt of all othrs Lt D = X I X I I, and W I = X + X I A I A I Thn, W,W I sanxchangablparand = X X I LtF = σε,1 N 2 It follows that ED F = 1 I N W

18 18 Z-S ZHANG Ths mpls that condton D1 s satsfd wth λ = 1/ I N Not that by xchangablty and rcall that EW 2 = 1, ED = 2EDW = 2λEW 2 = 2λ Morovr, E X X X X F 52 and Also, wth µ := E X X X X F, w hav Eµ = 0 by xchangablty Thn, = 1 1 p σn 2 ε k 1 σ 2 p ε k + 1 k N σ 2 p + ε k := ν, k N k c EX X X X = 1 σ 2 N p 1 p := ν 1 2λ ED F 1 = λ E D F = I N A I N ν ν, A µ Smlar to 52, E X X X X F p σn 2 k +p k ε ε k +p + k k c ε k By Barbour, Karosk and Rucsk [3, p 132], w hav σ N X 1 and 54 σ N X 1 +E 1 ε k ε k k k By 54, 55 E X X X X F C 1 +E 1 σn 2 ε k ε k It follows from 53 and 55 that 56 max ν, µ E X X X X F C 1+p σn 2 mn k +p k ε ε k +p + ε k, k k c 1 +E 1 ε k ε k k Th followng lmma provds som othr proprts for ν and µ k k k

19 MD FOR EXCHANGEABLE PAIRS 19 Lmma 51 For 0 t 1 pn 2 p ψ 1/2, E ν ν 2 tw 57 and 58 I N A Cψ 1 1+t 2 E tw, 0 < p 1/2, CN 2 1 p p 1 t 2 E tw, 1/2 < p < 1, E µ I N A 2 tw Cψ 1 1+t 2 E tw, 0 < p 1/2, CN 2 1 p p 1 t 2 E tw, 1/2 < p < 1, whr C s a constant dpndng only on th fxd graph G Th proof of Lmma 51 s put at th nd of ths subscton By 21 and Lmma 51 wth t = 0, w prov th Brry Essn bound 31 Not that for fxd N, w hav W N N v /σ N, and thn E twn < By Lmma 51, condtons A1 A4 ar satsfd wth Cψ 1/2 1+t, 0 < p 1/2, δ 1 t = δ 2 t = CN 1 1 p 1/2 1+1 p 1/2 t, 1/2 < p < 1 Applyng Thorm 22 ylds th modrat dvaton 32, as dsrd Proof of Lmma 51 Wthout loss of gnralty, w only prov 57, bcaus 58 can b shown smlarly For any,,,,k,q I N, dnot W = W c = l I N X Il A A A A, l I N X Il A A A A, W k = l I N X Il A A A A A k, W c k = X Il A A A A A k, l I N W kq = X Il A A A A A k A q, l I N W c kq = X Il A A A A A k A q l I N

20 20 Z-S ZHANG For any T I N, dfn W T = T X Not that X σ 1 N for ach I N, and by th Jnsn nqualty, t follows that E tw t IN T σ 1 N E tw T Thn, for 0 t 1 pn 2 p ψ 1/2, w hav 59 max tw, tw k, tw kq C tw It s wll known that 510 x 1 x 1 2 x2 1+ x Expandng th squard trm and by 510, w hav E ν ν 2 tw I N A = I N A I N A I N A I N A + I N A I N A E ν ν ν ν tw E ν ν ν ν tw c I N A I N A I N A I N A := Q 1 +Q 2 +Q 3 +Q 4 t EW ν ν ν ν tw c t 2 EW 2 ν ν ν ν tw c t 2 EW 2 ν ν ν ν tw For Q 1, obsrv that ν ν ν ν and W c ar ndpndnt, thn E ν ν ν ν tw c = E ν ν ν ν E tw c If, A c, thn ν and ν ar ndpndnt, and thus, E ν ν ν ν = 0 If = m 1, = m 2 and = m3, whr 1 m 1,m 2, and 1 m 3 2 1, thn, by 56 and Barbour, Karosk and Rucsk [3, Eq 38], t follows that E ν ν ν ν Cσ 4 Cσ 4 N N p4 m1 m2 m3, 0 < p 1/2, 1 p, 1/2 < p < 1

21 MD FOR EXCHANGEABLE PAIRS 21 For 0 < p < 1/2, notng that max,, w hav E ν ν ν ν I N A I N A Cσ 4 N +Cσ 4 N = Cσ 4 N I N I N I N 1 1 K G G K 1 p 4 p 4 p 4 K 511 +Cσ 4 N I N 1 1 I N G G =K K G G K 1 p 4 K Cσ 4 N ψ 1 n v p +Cσ 4 N ψ 1 n v p I N 1 1 Cσ 2 N ψ 1 n v p 2 Cψ 1, I N 1 1 I N G G =K p 3 p 3 whr w usd 51 and Barbour, Karosk and Rucsk [3, Eq 310] n th last ln For 1/2 < p < 1, by 51 agan, w hav E ν ν ν ν I N A I N A Cσ 4 N n4v 6 1 p CN 2 1 p 1 Thn, combnng 51 and 59, for 0 t 1 pn 2 p ψ 1/2, w hav Cψ 1 E tw, 0 < p 1/2, 512 Q 1 CN 2 1 p 1 E tw, 1/2 < p < 1

22 22 Z-S ZHANG For Q 2, w hav Q t I N A I N A k A A EXk ν ν ν ν tw c Q 21 + I N A I N A k A A t EXk ν ν ν ν tw c Q 22 By symmtry, w only consdr Q 21 By th Taylor xpanson, 514 EXk ν ν ν ν tw c EXk ν ν ν ν tw c k +t EX k W k W ν ν ν ν tw c k +t EX k W k W ν ν ν ν tw c Not that X k ν ν ν ν s ndpndnt of W c k Thn, EX k ν ν ν ν tw c = EX k ν ν ν ν E tw c If A A A k = 0, thn Xk ν ν s ndpndnt of ν ν, and thus EX k ν ν ν ν = 0 Dnot = m 1, = m 2, k = m 4, and = m3, whr 1 m 1,m 2,m 4, and 1 m 3 2 1, thn, by 56, EXk ν ν ν ν Cσ 5 Cσ 5 N N p5 m1 m2 m3 m4, 0 < p 1/2, 1 p, 1/2 < p < 1

23 MD FOR EXCHANGEABLE PAIRS 23 For 0 < p 1/2, EXk ν ν ν ν 515 I N A I N A k A A Cσ 5 N Cσ 5 N I N A I N, A 1 p 5 k k A A I N A I N, A 1 Cσ 5 N ψ 1 n v p K G G K=m 4,1 m 4 I N A I N, A 1 Cσ 3 N ψ 1 n v p 3 Cψ 3/2, p 5 m 4 p 4 whr w usd 511 n th last ln For 1/2 < p < 1, 516 I N A I N A k A A EXk ν ν ν ν Cσ 5 N N5v 8 1 p CN 3 1 p 3/2 Not that X k σ 1 N and A k CN v 2, tw k C tw kq For = m 1, = m 2, = m3, k = m4 and q k = m 5, whr 1 m 1,m 2, 1 m 4,m 5, and 0 m 3 2 1, thn for 0 t 1 pn 2 p ψ 1/2, by 56, w hav EXk W k W ν ν ν ν tw c k Xk X q ν ν ν ν tw c k q A k E C q A k E Xk X q ν ν ν ν E tw c kq C q A k σ 6 N p6 m1 m2 m3 m4 m5 E tw, 0 < p 1/2, CN v 2 σ 6 N 1 petw, 1/2 < p < 1,

24 24 Z-S ZHANG whr w usd 59 n th last ln Smlar to 511 and 515, for 0 < p 1/2 and for 0 t 1 pn 2 p ψ 1/2, t follows that EXk W k W 517 I N A I N A k A A CE tw I N A I N A k A A CE tw σ 6 N ψ 1 N v p 2 ν ν ν ν tw c k p 2 I N A CE tw σ 2 N ψ 1 N v p 2 Cψ 1 E tw, σ 6 N p6 m1 m2 m3 m4 m5 q A k 2 whr m 1 =, m 2 =, m 3 =, m 4 = k and m 5 = q k and w usd Barbour, Karosk and Rucsk [3, Eq 37] n th last ln For 1/2 < p < 1 and for 0 t 1 pn 2 p ψ 1/2, w hav EXk W k W 518 I N A I N A k A A CN 2 1 p 2 E tw ν ν ν ν tw c k Smlar to 517 and 518, for 0 t 1 pn 2 p ψ 1/2, t follows that EXk W k W 519 I N A I N A k A A ν ν ν ν tw c Cψ 1 E tw, 0 < p 1/2, CN 2 1 p 2 E tw, 1/2 < p < 1 Substtutng59and to513and514,for0 t 1 pn 2 p ψ 1/2, w hav Ctψ 3/2 +t 2 ψ 1 E tw, 0 < p 1/2, 520 Q 2 CtN 3 1 p 3/2 +t 2 N 2 1 p 2 E tw, 1/2 < p < 1 For any H G such that H > 0, w hav vh 2 and H, and t follows that N vh p H N 2 p Thus, for 0 < p 1/2 and 0 t 1 pn 2 p ψ 1/2, 0 tψ 1/2 N 2 p ψ 1 1

25 MD FOR EXCHANGEABLE PAIRS 25 Hnc, 520 bcoms Cψ 1 1+t 2 E tw, 0 < p 1/2, 521 Q 2 CtN 3 1 p 3/2 +t 2 N 2 1 p 2 E tw, 1/2 < p < 1 Smlar to 521, w hav for 0 t 1 pn 2 p ψ 1/2, Ct 2 ψ 1 E tw, 0 < p 1/2, Q 3 +Q 4 Ct 2 N 2 1 p 2 E tw, 1/2 < p < 1 Ths provs 57 togthr wth 512 and Proofs of Thorms 32 and 33 W us Thorms 21 and 22 to prov Thorms 32 and 33 Th proof s organzd as follows W frst construct th xchangabl par, and chck th condtons condtons A1 A4 Th proprts for th xchangabl par ar gvn n Lmmas 52 and 53, whos proofs ar put n subscton 54 LtX = X, J Wnowconstruct X k k A asfollows Forach J, lt X b an ndpndnt copy ofx, whch s alsondpndnt ofx, and X, Gvn X = x, dfn th vctor X, A \ to hav th sam dstrbuton of X, A \ condtonal on X = x and X, A c For ach J, dfn X = X l l A,X l l A Lt I b an random ndx ndpndnt of all othr random varabls and unformly dstrbutd among J Thn, X,X I s an xchangabl par Dfn D = X I X I I W hav 522 ED X = 1 n J = 1 n W, E X X X snc X s ndpndnt of X Thus, th condton D1 s satsfd wth λ = 1/n and R = 0 Lt W = A I X + A I X I Thus, W,W s an xchangabl par, and := W W = A I X X I Lt F = σ X, X, J For any J, dfn η A = 1 2 ζ A = 1 2 A X X X X X X X X A E X X X X,

26 26 Z-S ZHANG By th assumpton that EW 2 = 1 and by 522 and th xchangablty, ED = 2EDW = 2λEW 2 = 2λ For any J and A, w hav X,X,X,X F, and t follows that 1 2λ ED F 1 = 1 n E 2 = 1 2 = J =1 n =1 X X X X η A X X X X F 1 E X X X X Morovr, 1 2λ E D F = ζ A J Th followng two lmmas provd som proprts for J η A and J ζ A Lmma 52 Assum that condtons LD1 and LD2 ar satsfd, thn 2 E η A 10 E X 4 +E X 4 +E X 4 +E X 4, J J A A A 2 E ζ A 4 E X 4 +E X 4 +E X 4 +E X 4 J J A A A Lmma53 Assum that condtons LD1 LD4 ar satsfd For J, A and k A, lt κ = A \ A A and κk = Ak \ A A A k For J and k 1, γ k, t = E X k tu+ X For 0 t α, w hav 2 2 max E η A tw, E ζ A tw 523 J J 132E tw β 5 Γ 4 t+t 2 β 12 Γ 2 3 t+β6 Γ 6 t, whr Γ 3,Γ 4 and Γ 6 ar as dfnd n 36 By th Cauchy nqualty and Lmma 52, Thorm 22 mpls Thorm 32 Agan, by th Cauchy nqualty and Lmma 53, t follows that E η A tw 12 β 5/2 Γ 1/2 4 t+β 6 Γ 3 tt+β 3 Γ 1/2 6 tt E tw, J E ζ A tw 12 β 5/2 Γ 1/2 4 t+β 6 Γ 3 tt+β 3 Γ 1/2 6 tt E tw J

27 MD FOR EXCHANGEABLE PAIRS 27 By condton LD4 s also Lmma 54, w hav E tw β 2 J < for 0 t α Ths complts th proof of Thorm 33 by Thorm Som prlmnary lmmas In ths subscton, w prsnt som prlmnary lmmas, whch ar mportant n th proofs of Lmmas 52 and 53 For th sak of brvty, dfn and χ = X X X X ρ = X X X X E X X X X For ach J and T J, dfn W T = T X, T = T A, T c = T A c Lmma 54 Undr th condtons as n Lmma 53 For any T Jand for 0 t α, w hav, β 2 E twt E tw T \ β 2 E twt Also, β E twt E tw T c βe tw T Proof of Lmma 54 Lt F c = σx, J \A By th total xpctaton formula, 526 E twt = E tw T c E twt F c By condton LD4, w hav W T U + X For 0 t α, 527 β E tu+ X E twt F c E tu+ X E tu+ X 1 1/β Thus, th nqualty 525 follows from 526 and 527 Smlarly, 1 β E tw T c E tw T \ βe tw T c Ths provs 524 togthr wth 525

28 28 Z-S ZHANG Lmma 55 Undr th condtons n Lmma 53 Lt T b a subst of J, and lt W T = T X For any J and A, w hav E χ q tw T 2 3q 1 β 3 E X 2q tu+ X, 528 +E X 2q tu+ X E twt, for q 1, E ρ q tw T 2 2q 1 β 3 E X 2q tu+ X 529 +E X 2q tu+ X E twt for q 1,, and 530 E X q twt βe X q tu+ X E twt, for q 0, Proof of Lmma 55 W frst prov 530 Rcall that for ach J, w hav T = T A, T c = T A c, W T = T X and W T c = T c X Thus, T = T T c and W T = W T +W T c Lt F c = σ X, A c By condton LD4, w hav W T U + X, whr U,X s ndpndnt of F c For 0 t α, t follows that 531 E X p twt = E E X p twt F c = E tw T c E X p twt F c Ths provs 530 togthr wth 525 W now mov to prov 528 Obsrv that E X p tu+ X E tw T c 532 E χ q tw T 2 q 1 E X X +E X X X X q tw T X X q E tw T By th Cauchy nqualty, 533 E X X X X q tw T 1 2 E X X 2q twt E X X 2q twt 2 2q 2 E X 2q tw T +E X 2q twt +E X 2q tw T +E X 2q twt Snc X s ndpndnt of W T, t follows that 534 E X 2q twt = E X 2q E tw T

29 MD FOR EXCHANGEABLE PAIRS 29 By th constructon of X, condtonal on F c, X s condtonally ndpndnt of X k,k A and has th sam dstrbuton as X Thus, E X 2q twt = E tw T c E X 2q F c E tw T F c 535 E tu+ X E X 2q tw T c β 3 E X 2q tu+ X E twt, whr w usd condton LD4 and 525 and 530 n th last ln By , and rcallng that β 1, w hav 536 E X X X X q tw T 2 2q 1 β 3 E X 2q tu+ X +E X 2q tu+ X E twt Takng t = 0, 537 E X X X X q 2 2q 1 β 3 E X q +E X q By 532, 536 and 537, w hav E χ q tw T 2 3q 1 β 3 E X 2q tu+ X +E X 2q tu+ X E twt Ths provs 528 Th nqualty 529 follows from 536, and ths complts th proof Lmma 56 W hav Eχ χ twc 20β 3 E twc E X 4 tu+ X 538 +E X 4 tu+ X and Eρ ρ twc 8β 3 E twc E X 4 tu+ X +E X 4 tu+ X Proof of Lmma 56 Wthout loss of gnralty, w only prov 538, bcaus 540 can b shown smlarly By th Cauchy nqualty, w hav Eχ χ twc 1 χ 2 E 2 twc E χ 2 twc = 1 2 E χ 2 E twc E χ 2 twc For th frst trm, by 537 wth q = 2, t follows that E χ 2 8β 3 E X 4 +E X 4

30 30 Z-S ZHANG For th scond trm, by 528, w hav E χ 2 twc 32β 3 E X 4 tu+ X +E X 4 tu+ X E twc Ths complts th proof of Proof of Lmmas 52 and 53 W frst prov Lmma 53, and th proof of Lmma 52 s put at th nd of ths subscton Wthout loss of gnralty, w only prov th bound for E J η A 2 tw Agan, lt χ = X X X X E X X X X For J and A, dfn W = l A X l, W c = W W It follows from 510 that 541 E J η A 2 tw = 1 4 = J A J A J A J A J A J A E χ χ tw E χ χ tw+twc E χ χ twc te J A J A k A J A J A J A J A := H 1 +H 2 +H 3 +H 4, t 2 E t 2 E X k χ χ twc W2 χ χ twc W2 χ χ tw whr H 1 = 1 4 H 2 = 1 4 H 3 = 1 8 H 4 = 1 8 J A J A te J A J A k A J A J A J A J A E χ χ twc, t 2 E t 2 E X k χ χ twc W2 χ χ twc W2 χ χ tw, In what follows, w wll gv th bounds of H 1,H 2,H 3 and H 4, sparatly

31 MD FOR EXCHANGEABLE PAIRS 31 For A c and A c, by condton LD2, th random varabls χ and χ twc ar ndpndnt, and thn E χ χ twc = 0 Lt à = : A If Ãc, thn A =, whch mans X and X ar ndpndnt and thus A c Ths shows that A à Smlarly, à A Thus, A = à For H 1, w hav 542 H 1 H 11 +H 12, whr H 11 = 1 4 E χ χ I A twc, A, J A J J H 12 = 1 4 E χ χ I A twc, à J A J J Also, not that A c Ac Ac By 524 and 525, 543 E tw A c β 2κ E tw A c Ac β 2κ+2 E tw, whr κ = A \ A A By 538 and 543 and th Cauchy nqualty, 544 E χ χ twc 20β 3 E twc E X 4 tu+ X +E X 4 tu+ X +E X 4 tu + X +E X 4 tu + X 20β 2κ+5 E tw E X 4 tu+ X +E X 4 tu+ X +E X 4 tu + X +E X 4 tu + X By 542 and 544, and rcallng that γ p, t = E X p tu+ X, H 1 10β 5 β 2κ γ 4, t+γ 4, t J 545 = 10β 5 J A A A 10β 5 E tw Γ 4 t, A k A A A +γ 4, t+γ 4, t E tw 1 A β2κ γ 4, t+γ 4, t+γ 4, t+γ 4, t E tw

32 32 Z-S ZHANG whr Γ 4 t = J as dfnd n 36 A k A A k A A 1 β 2κ γ 4, t+γ 4, t+γ 4, t+γ 4, t, Now w mov to gv th bound of H 2 Lt W k = l A k X l, W k = l A k \A X l and W c k = W W k It follows that Obsrv that E X k χ χ twc W c k = Wc W k X k χ χ twc k +E X k χ χ twc k = E t W k 1, and Thus, H t W k t J A J A k A X l 1+ t W k l A k \A J A J A k A J A J A k A := H 21 +H 22 +H 23, E X k χ χ k twc t 2 E X kx l χ χ twc k l A k \A t 2 E X kx l χ χ twc l A k \A whr H 21 = 1 4 t J A J A k A H 22 = 1 4 J A J H 23 = 1 4 A k A J A J A k A E X k χ χ k, twc t 2 E X kx l χ χ twc k, l A k \A t 2 E X kx l χ χ twc l A k \A W frst consdr H 22 and H 23 Rcall that κ k = Ak \ A A A k By Lmma 54 and smlar to 543, w hav 546 E t l A c k \A X l β 2κ +2 E t l A c X l k β 2κ k+2κ +5 E tw

33 MD FOR EXCHANGEABLE PAIRS 33 For any,,,,k and l, by 528, 530 and 546, w hav E Xk X l χ χ twc k 88β 3 γ 6,m t E twc k 547 m,,,,k,l 88β 2κ k+6 γ 6,m t E tw Thrfor, 548 H 22 22β 2κ k+6 Smlarly, 549 H 23 22β 2κ+5 m,,,,k,l m,,,,k,l m,,,,k,l γ 6,m t E tw γ 6,m t E tw Now w mov back to H 21 Not that for A c k and A c k, w hav Eχ twc k = Eχ t l A c k \A X l 550 +E χ t l A c k A X l 1 t l A c k \A Not that χ and X l,l A c k \A ar ndpndnt, and Eχ = 0, thn 551 Eχ t l A c k \A X l = 0 For th scond trm of 550, E χ t l A c k A X l 1 t l A c k \A t m A c k A E +t m A c k A E χ X m t l A c k \A X l χ X t m l A c X l k By 528, 530 and 546 and th Cauchy nqualty, w hav E χ 3/2 t l A c k \A X l 16β 2κ+2κ k+8 γ 3, t+γ 3, t E tw, and E Xm 3 t l A c k \A X l β 2κ+2κk+4 γ 3, te tw Thn, by 546 and th nqualty xy 2/3 x 3/2 +1/3 y 3, E χ 552 X t m l A c k \A X l 11β 2κ+2κ k+8 γ 3, t+γ 3, t+γ 3,m t E tw,

34 34 Z-S ZHANG and smlarly, 553 E χ X m t l A c X l k 11β 3 γ 3, t+γ 3, t+γ 3,m t E t l A c k X l By , 554 Eχ twc k 11β 2κ k+6 γ 3, t+γ 3, t+γ 3,m t E tw 22t m A β 2κ k+2κ +8 γ 3, t+γ 3, t+γ 3,m t E tw By Lmma 55 and 530 and th Cauchy nqualty, w hav for t 0, E X k χ 11β 3 γ 3, 0+γ 3, 0+γ 3,k β 3 γ 3, t+γ 3, t+γ 3,k t If A c k and A c k, thn X kχ s ndpndnt of χ and Wc k, and thus by 554 and 555, 556 t E Xk χ χ twc k = t E Xk χ E χ k twc 242t 2 E tw β 2κ k+2κ +12 γ 3, t+γ 3, t+γ 3,k t m A γ 3, t+γ 3, t+γ 3,m t For any,,, and k such that k A and, A k, by 524, 528 and 530 and th Cauchy nqualty, w hav E txk χ χ k twc 557 E txk χ χ + E twc txk χ χ tw c twk c 1 2 A E χ χ twc A t 2 E X 2 k χ χ twc + t 2 E Xk X l χ χ twc k l A k \A + t 2 E Xk X l χ χ twc k l A k \A 1 2 A E χ χ twc A t 2 E Xk 2 χ χ twc + t 2 E Xk X l χ χ twc l A k + t 2 E Xk X l χ χ twc k l A k

35 MD FOR EXCHANGEABLE PAIRS 35 By 544 and 547, 557 can b boundd by E txk χ χ k twc A β2κ+5 E tw γ 4, t+γ 4, t+γ 4, t+γ 4, t +88t 2 A β 2κ k+6 γ 6,m t E tw +88t 2 +88t 2 l A k β 2κk+6 l A k β 2κ+5 m,,,,k,l m,,,,k,l m,,,,k,l γ 6,m t E tw γ 6,m t E tw Obsrv that H 21 1 t 4 E X k χ χ twc k I A c k, A c k J A J A k A :=H t 4 E X k χ χ k I, A twc k J A J A k A :=H 212 By 556, H β 12 t 2 E tw By 558, H 212 3β 5 E tw J +66β 6 E tw J β 2κk+2κ J A k A A k A A k A β 2κk+2κ A J A k A l A k γ3, t+γ 3, t+γ 3,k t A 1 β 2κ γ 4, t+γ 4, t+γ 4, t+γ 4, t By th forgong nqualts and 548 and 549, w hav m,,,,k,l 559 H 2 61β 12 t 2 E tw Γ 3 t 2 +3β 5 E tw Γ 4 t+110β 6 E tw Γ 6 t, whr Γ 3,Γ 4 and Γ 6 ar as dfnd n 36 By 547, 560 H 3 11t 2 β 6 E tw Γ 6 t and 561 H 4 11t 2 β 6 E tw Γ 6 t 2 γ 6,m t

36 36 Z-S ZHANG From 545 and , t follows that 2 E η A tw J 61β 12 t 2 E tw Γ 3 t 2 +13β 5 E tw Γ 4 t+132β 6 E tw Γ 6 t Ths complts th proof of 523 and hnc Lmma 53 holds Now w mov to prov Lmma 52 Not that wth t = 0, E tu+ X = 1 Hnc, Lmma 52 follows from 541 and Lmma 56 wth t = 0 and β = 1 Rfrncs [1] Bald, P, Rnott, Y and Stn, C 1989 A normal approxmaton for th numbr of local maxma of a random functon on a graph In Probablty, Statstcs, and Mathmatcs Elsvr [2] Barbour, A, Chn, L H and Cho, K 1995 Posson approxmaton for unboundd functons, I: Indpndnt summands Stat Sn [3] Barbour, A, Karosk, M and Rucsk, A1989 A cntral lmt thorm for dcomposabl random varabls wth applcatons to random graphs J Comb Thory B [4] Barbour, A D, Holst, L and Janson, S 1992 Posson approxmaton 2 Th Clarndon Prss, Oxford Unvrsty Prss, Nw York Oxford Scnc Publcatons [5] Chattr, S2006 Stn s mthod for concntraton nqualts Probab Thory Rlat Flds [6] Chattr, S and Dy, P S 2010 Applcatons of Stn s mthod for concntraton nqualts Ann Probab [7] Chattr, S, Dacons, P and Mcks, E 2005 Exchangabl pars and Posson approxmaton Probab Survys [8] Chattr, S and Mcks, E 2008 Multvarat normal approxmaton usng xchangabl pars ALEA Lat Am J Probab Math Stat [9] Chattr, S and Shao, Q-M 2011 Nonnormal approxmaton by Stn s mthod of xchangabl pars wth applcaton to th Cur Wss modl Ann Appl Probab [10] Chn, L H YandCho, K P1992Somasymptotcandlargdvaton rsults n posson approxmaton Ann Probab [11] Chn, L H Y, Fang, X and Shao, Q-M 2013 Modrat dvatons n Posson approxmaton: a frst attmpt Stat Sn

37 MD FOR EXCHANGEABLE PAIRS 37 [12] Chn, L H Y, Fang, X and Shao, Q-M 2013 From Stn dntts to modrat dvatons Ann Probab [13] Chn, L H Y, Goldstn, L and Shao, Q-M 2011 Normal Approxmaton by Stn s Mthod Probablty and ts Applcatons Sprngr Brln Hdlbrg, Nw York [14] Chn, L H Y and Shao, Q-M 2004 Normal approxmaton undr local dpndnc Ann Probab [15] Fang, X 2018 Wassrstn-2 bounds n normal approxmaton undr local dpndnc Avalabl at arxv: [16] Lnnk, Y V 1961 On th probablty of larg dvatons for th sums of ndpndnt varabls In Procdngs of th Fourth Brkly Symposum on Mathmatcal Statstcs and Probablty Unv of Calforna Prss [17] Macky, L, Jordan, M I, Chn, R Y, Farrll, B and Tropp, J A 2014 Matrx concntraton nqualts va th mthod of xchangabl pars Ann Probab [18] Mcks, E 2009 On Stn s Mthod for Multvarat Normal Approxmaton Insttut of Mathmatcal Statstcs [19] Ptrov, V V 1975 Sums of Indpndnt Random Varabls Sprngr Brln Hdlbrg [20] Rač, M 2007 Clt-rlatd larg dvaton bounds basd on stn s mthod Adv Appl Probab [21] Rnott, Y 1994 On normal approxmaton rats for crtan sums of dpndnt random varabls J Comput Appl Math [22] Rnott, Y and Rotar, V 1997 On couplng constructons and rats n th clt for dpndnt summands wth applcatons to th antvotr modl and wghtd u-statstcs Ann Appl Probab [23] Rölln, A 2017 Kolmogorov bounds for th normal approxmaton of th numbr of trangls n th Erdös-Rény random graph Avalabl at arxv: [24] Shao, Q-M, Zhang, M and Zhang, Z-S 2018 Cramér-typ modrat dvaton thorms for nonnormal approxmaton Avalabl at arxv: [25] Shao, Q-M and Zhang, Z-S 2016 Idntfyng th lmtng dstrbuton by a gnral approach of Stn s mthod Sc Chna Math [26] Shao, Q-M and Zhang, Z-S 2019 Brry Essn bounds of normal and nonnormal approxmaton for unboundd xchangabl pars Ann Probab

38 38 Z-S ZHANG [27] Shrgn, V V 1980 On th convrgnc rat n th cntral lmt thorm for m-dpndnt random varabls Thory Probab Appl [28] Stn, C 1972 A bound for th rror n th normal approxmaton to th dstrbuton of a sum of dpndnt random varabls In Procdngs of th Sxth Brkly Symposum on Mathmatcal Statstcs and Probablty Unvrsty of Calforna Prss, Brkly [29] Stn, C 1986 Approxmat Computaton of Expctatons 7 IMS, Hayward, CA Unvrsty of Mlbourn E-mal addrss: zhuosongz@unmlbduau URL: zhuosongzgthubo