arxiv: v2 [math.st] 27 Jan 2016

Transcription

1 STATISTICAL IFERECE VERSUS MEA FIELD LIMIT FOR HAWKES PROCESSES axiv: v2 mah.st] 27 Jan 216 SYLVAI DELATTRE AD ICOLAS FOURIER Abac. We conide a populaion of individual, of which we obeve he numbe of acion unil ime. Fo each couple of individual i, j, j may o no influence i, which we model by i.i.d. Benoullip-andom vaiable, fo ome unknown paamee p, 1]. Each individual ac auonomouly a ome unknown ae µ > and ac by mimeim a ome ae popoional o he um of ome funcion ϕ of he age of he acion of he individual which influence him. The funcion ϕ i unknown bu aumed, oughly, o be deceaing and wih fa decay. The goal of hi pape i o eimae p, which i he main chaaceiic of he gaph of ineacion, in he aympoic,. The main iue i ha he mean field limi a of hi model i unidenifiable, in ha i only depend on he paamee µ and pϕ. Founaely, hi mean field limi i no valid fo lage ime. We diinguih he ubciical cae, whee, oughly, he mean numbe m of acion pe individual inceae linealy and he upeciical cae, whee m inceae exponenially. Alhough he nuiance paamee ϕ i nonpaameic, we ae able, in boh cae, o eimae p wihou eimaing ϕ in a nonpaameic way, wih a peciion of ode 1/2 + 1/2 m 1, up o ome abiaily mall lo. We explain, uing a Gauian oy model, he eaon why hi ae of convegence migh be almo opimal. 1. Inoducion and main eul 1.1. Seing. We conide ome unknown paamee p, 1], µ > and ϕ :,,. Fo 1, we conide an i.i.d. family π i d, dz,..., of Poion meaue on,, wih ineniy meaue ddz, independen of an i.i.d. family θ ij i,,..., of Benoullip- diibued andom vaiable. We alo conide he yem of equaion, fo i = 1,...,, 1 Z i, = 1 {z λ i, } πi d, dz whee λ i, = µ + 1 Hee and in he whole pape, mean,] and mean, θ ij ϕ dz j,.. The oluion Zi,,..., i a family of couning pocee ha i, a.. inege-valued, càdlàg and non-deceaing. The following well-poedne eul i moe o le well-known, ee e.g. Bémaud-Maoulié 9] and 13] we will apply diecly he lae efeence. Popoiion 1. Aume ha ϕ i locally inegable and fix 1. The yem 1 ha a unique càdlàg F -adaped oluion Z i,,..., uch ha EZi, ] < fo all, whee F = σπ i A : A B, ],, i = 1,..., σθ ij : i, j = 1,...,. 21 Mahemaic Subjec Claificaion. 62M9, 6J75, 6K35. Key wod and phae. Mulivaiae Hawke pocee, Poin pocee, Saiical infeence, Ineacion gaph, Sochaic ineacing paicle, Popagaion of chao, Mean field limi. We hank he anonymou efeee fo hei emak ha allowed u o impove conequenly he peenaion of he pape. 1

2 2 SYLVAI DELATTRE AD ICOLAS FOURIER Le u povide a bief heuiic decipion of hi poce. We have individual and Z i, and fo he numbe of acion of he i-h individual unil. We ay ha j influence i if and only if θ ij = 1 wih poibly i = j. Each individual i ac, a ime, wih ae λ i,. In ohe wod, each individual ha an auonomou ae of acion µ a well a a ubodinae ae of acion 1 θ ij ϕ dzj,, which depend on he numbe of acion of he individual ha influence him, wih a weigh 1 and aking ino accoun he age of hee acion hough ϕ. If fo example ϕ = a1,k], hen he ubodinae ae of acion of i i imply a/ ime he oal numbe of acion, duing K, ], of all he individual ha influence him. A i well-known, a phae-aniion occu fo uch a model, ee Hawke-Oake 18] o 13] fo uch conideaion on lage newok: eing Λ = ϕd, in he ubciical cae whee Λp < 1, we will ee ha Z 1, inceae linealy wih ime, a lea on he even whee he family θ ij i,,..., behave eaonably; in he upeciical cae whee Λp > 1, we will ee ha Z 1, inceae exponenially fa wih ime, a lea on he even whee he family θ ij i,,..., behave eaonably. The limi heoem, and hu he aiical infeence, compleely diffe in boh cae, o ha he peen pape conain eenially wo independen pa. We will no udy he ciical cae whee Λp = 1 becaue i i a vey paicula cae. Howeve, i would be vey ineeing o undeand wha happen nea he ciical cae. Ou eul ay nohing abou hi poblem Aumpion. Recalling ha Λ = ϕd, we will wok unde one of he wo following condiion: eihe fo ome q 1, Hq µ,, Λp, 1 and o A µ,, Λp 1, and q ϕd < dϕ inceae a mo polynomially. In many applicaion, ϕ i mooh and ha a fa decay, o ha, excep in he ciical cae, eihe Hq i aified fo all q 1 o A i aified Refeence and field of applicaion. Hawke pocee have been inoduced by Hawke 17] and Oake-Hawke 18] have found a noiceable epeenaion of uch pocee in em of Galon-Waon ee. Since hen, hee ha been a huge lieaue on Hawke pocee, ee e.g. Daley and Vee-Jone 12] fo an inoducion, Maoulié 24], Bémaud-Maoulié 9] and 13] fo abiliy eul, Bémaud-appo-Toii 1], Zhu 35, 36] and 3] fo limi heoem, ec. Hawke pocee ae ued in vaiou field of applicaion: eahquake eplica in eimology, ee Helmee-Sonee 19], Kagan 23], Ogaa 26], Bacy- Muzy 5], pike ain fo bain aciviy in neuocience, ee Gün e al. 15], Okaan e al. 27], Pillow e al. 28], Reynaud e al. 31, 32], genome analyi, ee Reynaud-Schbah 3], vaiou field of mahemaical finance, ee Ai-Sahalia e al. 1], Bauwen-Hauch 6], Hewle 2], Bacy e al. 2], Bacy-Muzy 4, 5], ocial newok ineacion, ee Blundell e al. 8] and Zhou e al. 34].

3 STATISTICAL IFERECE VERSUS MEA FIELD LIMIT FOR HAWKES PROCESSES 3 Concening he aiical infeence fo Hawke pocee, only he cae of fixed finie dimenion ha been udied, o ou knowledge, in he aympoic fo poibly moe geneal hape of ineacion. Some paameic and nonpaameic eimaion pocedue fo µ and ϕ have been popoed, wih o wihou igoou poof. Le u menion Ogaa 25], Bacy-Muzzy 5], 2], he vaiou ecen eul of Hanen e al. 16] and Reynaud e al. 3, 31, 32], a well a he Bayeian udy of Ramuen 29] Goal and moivaion. In many applicaion, he numbe of individual i vey lage hink of neuon, financial agen o of ocial newok. Then we need ome eimao in he aympoic whee and end imulaneouly o infiniy. Thi poblem eem o be compleely open. We aume ha we obeve Z i,,...,,,] o, fo convenience, Z i,,...,,,2], ha i all he acion of he individual on ome lage ime ineval. In ou poin of view, we only obeve he aciviy of he individual, we do no know he gaph of ineacion. A vey imila poblem wa udied in 32], alhough in fixed finie dimenion. Ou goal i o eimae p, which can be een a he main chaaceiic of he gaph of ineacion, ince i epeen he popoion of open edge. We conide µ and ϕ a nuiance paamee, alhough hi i debaable. In he upeciical cae, we will be able o eimae p wihou eimaing µ no ϕ. In he ubciical cae, we will be able o ecove p eimaing only µ and he inegal Λ of ϕ. In any cae, we will no need o povide a nonpaameic eimaion of ϕ, and we believe i i a vey good poin: i would equie egulaiy aumpion and would complicae a lo he udy. The main goal of hi pape i o povide he baic ool fo he aiical eimaion of Hawke pocee when boh he gaph ize and he obevaion ime inceae. Of coue, hi i only a oy model and we have no pecie idea of eal wold applicaion, alhough we can hink e.g. of neuon piking: hey ae clealy numeou o i lage, we can only obeve hei aciviie each ime hey pike, and we would like o have an idea of he gaph of ineacion. See again 32] fo a moe convincing biological backgound. Think alo of financial agen: hey ae alo numeou, we can obeve hei acion each ime hey buy o ell a poduc, and we would like o ecove he ineacion gaph Mean field limi. We quickly decibe he expeced chaoic behavio of Z i,,..., a. We efe o Szniman 33] fo an inoducion o popagaion of chao. Exending he mehod of 13, Theoem 8], i i no had o check, auming ha ϕ 2 d <, ha fo,t ],...,k goe in law, a, o a family,t ],...,k of i.i.d. inhomogeneou Poion pocee wih ineniy λ, unique locally bounded nonnegaive oluion o λ = µ + pϕ λ d. each given k 1 and T >, he ample Z i, Y i On he one hand, appoximae independence i of coue a good poin fo aiical infeence. On he ohe hand, he mean-field limi i.e. he Y i depend on p and ϕ only hough λ and hu hough pϕ, which i a negaive poin: he mean-field limi i unidenifiable. The iuaion i howeve no hopele becaue oughly, he mean-field limi doe no hold ue fo he whole ample Z i,,..., and i le and le ue a ime become lage and lage Main eul in he ubciical cae. Fo 1 and fo Z i,,..., he oluion o 1, we inoduce Z = 1 Zi,. We menion in he following emak, ha we will pove lae, ha he numbe of acion pe individual inceae linealy in he ubciical cae.

4 4 SYLVAI DELATTRE AD ICOLAS FOURIER Remak 2. Aume H1. Then fo all ε >, We nex inoduce E = Z 2 Z lim,, P Z, V = µ ε =. 1 Λp Z i, 2 Z i, E 2 E, W, = 2Z 2, Z,, whee Z, = 2/ k=/ +1 Z k Z k 1 E In he la expeion,, i equied o be uch ha /2. 2. Theoem 3. Aume Hq fo ome q > 3. Fo 1, pu = /2 1 4/q+1 : i hold ha /2 and ha 4/q+1 /2 a. Thee i a conan C depending only on p, µ, ϕ and q uch ha fo all ε, 1, all 1, all 1, E P µ ε C 1 1 Λp ε , q V P µ2 Λ 2 p1 p ε 1 Λp 2 C ε µ ε 1 Λp 3 C ε P W, We will eaily deduce he following coollay. + 1, /q+1 Coollay 4. Aume Hq fo ome q > 3. Fo 1, pu = /2 1 4/q+1. Thee i a conan C depending only on p, µ, ϕ and q uch ha fo all ε, 1, all 1, all 1, Ψ P E, V, W, µ, Λ, p ε C ε 1 4/q+1 2C 1 +, ε 1 4/q+1 whee Ψ = 1 D Φ wih D = {u, v, w R 3 : w > u > and v } and Φ : D R 3 defined by u Φ 1 u, v, w = u w, Φ 2u, v, w = v + u Φ 1u, v, w] 2, Φ 3 u, v, w = 1 u 1 Φ 1 u, v, w. uu Φ 1 u, v, w] Φ 2 u, v, w We did no opimize he dependence in q: in many applicaion, Hq hold fo all q Main eul in he upeciical cae. Fo 1 and fo Z i,,..., he oluion o 1, we e Z = 1 Zi,. We will check lae he following emak, which ae ha he mean numbe of acion pe individual inceae exponenially in he upeciical cae. Remak 5. Aume A and conide α > uniquely defined by p e α ϕd = 1. Then fo all η >, lim lim P Z e α η, e α+η ] = 1..

5 STATISTICAL IFERECE VERSUS MEA FIELD LIMIT FOR HAWKES PROCESSES 5 We nex inoduce Z i, U = Z Z 2 Z ] 1 { Z >} and P 1 = U {U }. Theoem 6. Aume A and conide α > defined in Remak 5. Fo all η >, hee i a conan C η > depending only on p, µ, ϕ, η uch ha fo all 1, all 1, all ε, 1, P P p ε C ηe η ε e α Deecing ubciicaliy and upeciicaliy. In pacie, we may of coue no know if we ae in he ubciical o upeciical cae. Popoiion 7. i Unde H1, hee ae ome conan < c < C depending only on p, µ, ϕ uch ha fo all 1, all 1, Plog Z log 2 Ce c + 1/2 e log 2. ii Unde A, fo all η >, hee i a conan C η depending only on p, µ, ϕ, η uch ha fo all 1, all 1, Plog Z log 2 C η e η 1/2 + e α. I i hen no had o check ha, wih he noaion of Coollay 4 and Theoem 6, unde Hq fo ome q > 3 o A, he eimao ˆp = 1 {log Z <log 2 }Ψ 3 E /2, V /2, W /2,/2 + 1 {log Z >log 2 }P, which i baed on he obevaion of Z i,,],,...,, convege in pobabiliy o p, wih he ame peed of convegence a in Coollay 4 unde Hq fo ome q > 3 o a in Theoem 6 unde A Abou opimaliy. In Subecion 2.3, we will ee on a oy model ha hee i no eal hope o find an eimao of p wih a bee peciion han 1/2 + 1/2 m 1, whee m i omehing like he mean numbe of jump pe individual duing, ]. Conequenly, we believe ha he peciion we found in Coollay 4 i almo opimal, ince hen m by Remak 2 and ince we each he peciion 1/2 + 1/2 α 1 fo any α > if ϕ ha a fa decay, o ha he lo i abiaily mall. Similaly, he peciion found in Theoem 6 i ahe aifying, ince hen m e α by Remak 5 and ince we each he peciion e η 1/2 + 1/2 e α fo any η >, o ha he lo i, hee alo, abiaily mall. The main defaul of he peen pape i ha he conan in Coollay 4 and in Theoem 6 ongly depend on he paamee µ, Λ, p. They alo depend on q in he ubciical cae. In paicula, i would be quie delicae o undeand how hey behave when appoaching, fom below o fom above, he ciical cae Abou he modeling. Thee ae wo main limiaion in ou eing. Auming ha he θ ij ae i.i.d. i of coue a ong aumpion. Wha we eally need i ha he family θ ij i,,..., aifie imila popeie a hoe hown in Subecion 4.1 in he ubciical cae and in Subecion 5.1 in he upeciical cae. Thi clealy equie ha he family θ ij i,,..., i no oo fa fom being i.i.d., and i doe no uffice ha lim 2 i, θ ij = p. Howeve, we believe ha all he concluion of he peen pape ae ill ue if one aume ha θ ij 1 i j i i.i.d. and ha θ ji = θ ij fo all 1 i < j, which migh be he cae in ome applicaion whee he ineacion ae ymmeic. A igoou poof would equie ome wok bu hould no be oo had. We will udy hi poblem numeically a he end of he pape.

6 6 SYLVAI DELATTRE AD ICOLAS FOURIER Auming ha we obeve all he populaion i alo ahe ingen. I would be ineeing o udy wha happen if one obeve only Z i,,...,k,,], fo ome K lage bu malle han. I i no difficul o gue how o adap he eimao o uch a iuaion ee Secion 7 fo pecie fomulae. The heoeical analyi would equie a caeful and ediou udy. Again, we will dicu hi numeically oaion. We denoe by P θ he condiional pobabiliy knowing θ ij i,,...,. We inoduce E θ, Va θ and Cov θ accodingly. Fo wo funcion f, g :, R, we inoduce if i exi f g = f gd. The funcion ϕ n will play an impoan ole in he pape. Obeve ha, ince ϕd = Λ, ϕ n d = Λ n. We adop he convenion ϕ d = δ d and ϕ d = δ d. We alo adop he convenion ha ϕ n = fo <. All he finie conan ued in he uppebound ae denoed by C, he poiive conan ued in he lowebound ae denoed by c and hei value change fom line o line. They ae allowed o depend only on µ, p and ϕ and on q unde Hq, bu neve on no on. Any ohe dependence will be indicaed in ubcip. Fo example, C η i a finie conan depending only on µ, p, ϕ and η and on q unde Hq Plan of he pape. In he nex ecion, we y o give he main eaon why ou eimao hould be convegen, which hould help he eade o undeand he aegie of he poof. We alo biefly and fomally inoduce a Gauian oy model in Secion 2.3 o how ha he ae of convegence we obain ae no fa fom being he be we can hope fo. In Secion 3, we pove Popoiion 1 ong exience and uniquene of he poce and check a few moe o le explici fomulae concening Z i,,...,, of conan ue. Secion 4 i devoed o he poof of Theoem 3 and Coollay 4 main eul in he ubciical cae. Theoem 6 main eul in he upeciical cae i poved in Secion 5. We check Popoiion 7 in Secion 6. Finally, we illuae numeically he eul of he pape and ome poible exenion in he la ecion. 2. Heuiic Thi ecion i compleely infomal and he ymbol mean nohing pecie. Fo example, Z i, E θ Z i, ] fo lage hould be undeood a we hope ha Z i, /E θ Z i, ] end o 1 a in pobabiliy o in anohe ene The ubciical cae. We aume ha Λp, 1 and y o explain he aympoic of Z i,,...,, and whee he hee eimao E, V and W, come fom. We inoduce he maice A i, j = 1 θ ij and Q = I ΛA 1, which exi wih high pobabiliy becaue Λp < 1. We alo e l i = Q i, j and c i = Q j, i. Fixing and knowing θ ij i,,...,, we expec ha Z i, numbe. ex, i i no had o check ha E θ Z i, E θ Z i, ] = µ + 1 θ ij ] fo lage by a law of lage ϕ E θz j, ]d. Aume now ha γ i = lim 1 E θ Z i, ] exi fo each i = 1,...,. Then, uing ha ϕ d Λ fo lage, we find ha he veco γ mu olve γ = µ1 + ΛA γ, whee 1 i he -dimenional veco wih all coodinae equal o 1. Thi implie ha γ = µi ΛA 1 1 = µl. We hu expec ha Z i, E θ Z i, ] µl i. Baed on hi and eing l = 1 l i, we expec ha Z µ l fo lage value of, whence Ẽ := 1 Z µ l.

7 STATISTICAL IFERECE VERSUS MEA FIELD LIMIT FOR HAWKES PROCESSES 7 hould eemble, oughly, a Poion poce, o ha i hould ap- E θ Z 1, ]. Thu 1 Zi, Z 2 hould eemble ] + EZ 1, ], which ielf eemble l i l 2 + Z. Conequenly, we l i l 2 fo lage. Knowing θ ij i,,...,, Z 1, poximaely hold ue ha Va θ Z 1, Va Z 1, = Va E θ Z 1, ] + EVa θ Z 1, ] Va E θ Z 1, 1 E θz i, ] E θ Z ] 2 + Z 1 µ 2 2 expec ha Ṽ := 2 Zi, Z 2 Z ] µ 2 Finally, he empoal empiical vaiance 1 / k=1 Z k Z k 1 1 Z ] 2 hould eemble Va θ Z ] if 1. Thu W, := 1 / k=1 Z k Z k 1 1 Z ] 2 1 Va θ Z ]. Inoducing he maingale M i, = Z i, C i, whee C i, i he compenao of Z i,, he ceneed pocee U i, = Z i, E θ Z i, ], and he -dimenional veco U and M wih coodinae U i, and M i,, we will ee in Secion 3 ha U = M + A ϕ U d, o ha fo lage ime, U M + ΛA U and hu U Q M. Conequenly, we hope ha Ū Q M, whee Ū = 1 U i, and Q M = 1 Q M i. A lile udy how ha he maingale M j, ae ohogonal and ha M j,, M j, ] = Z j, µl j, o ha Va θ Q M µ 2 Q i, j 2 l j = µ 2 c j 2 l j. Finally, Va θ Z ] = Va θ Ū ] µ 2 c j 2 l j and we hope ha W, 1 Va θ Z ] µ 1 c j 2 l j if 1. We hu need o find he limi of l, l i l 2 and 1 l ic i 2 a. I i no eay o make igoou, bu i hold ue ha l i 1 + Λ1 Λp 1 L i, whee L i = A i, j. Thi come fom A2 i, j = A i, j k=1 A j, k p A i, j = pl i, A3 i, j p2 L i fo imila eaon, ec. I i vey ough, bu i will imply ha l i = n Λn An i, j 1 + n 1 Λn p n 1 L i = 1 + Λ1 Λp 1 L i. Once hi i een a well a a imila fac fo he column, we ge convinced, L being a veco of i.i.d. Binomial, p-diibued andom vaiable, ha l 1/1 Λp, ha l i l 2 Λ 2 p1 p/1 Λp 2 and ha 1 l ic i 2 1/1 Λp 3. A he end, i hould be moe o le ue ha, fo, and lage enough and in a uiable egime, Ẽ µ/1 Λp, Ṽ µ 2 Λ 2 p1 p/1 Λp 2, and W, µ/1 Λp3. Of coue, all hi i compleely infomal and many poin have o be claified. Obeve ha concening Ṽ, we ue ha Z 1, eemble a Poion poce, while concening W,, we ue ha Z doe no eemble a Poion poce. The hee eimao E, V, W, we udy in he pape eemble much Ẽ, Ṽ, W, and hould convege o he ame limi. Le u explain why we have modified he expeion. We aed hi ubecion by he obevaion ha E θ Z i, ] µl i, on which he conucion of he eimao elie. A deailed udy how ha, unde Hq, E θ Z i, ] = µl i + χ i ± 1 q, fo ome finie andom vaiable χ i. A a conequence, 1 E θ Z i, 2 Z i, ] convege o µl i conideably fae wih an eo in q han 1 E θ Z i, ] fo which he eo i of ode 1. Thi explain ou modificaion and why hee modificaion ae cucial. Le u conclude hi ubecion wih a echnical iue. If Λ > 1 which i no fobidden even in he ubciical cae, hee i a poiive pobabiliy ha an anomalouly high popoion of he θ ij equal 1, o ha I ΛA i no inveible and ou mulivaiae Hawke poce i upeciical

8 8 SYLVAI DELATTRE AD ICOLAS FOURIER on hi even wih mall pobabiliy. We will hu wok on an even Ω 1 do no occu and how ha hi even ha a high pobabiliy. on which uch poblem 2.2. The upeciical cae. We now aume ha Λp > 1 and explain he aympoic of Z i,,...,, and whee he eimao U come fom. We inoduce A i, j = 1 θ ij. Fixing and knowing θ ij i,,...,, we expec ha Z i, H E θ Z i, ], fo ome andom H > no depending on i and wih H almo conan fo lage. Thi i ypically a upeciical phenomenon, ha can aleady be obeved on Galon-Waon pocee. Founaely, we will no eally need o check i no o udy H, eenially becaue we will ue he aio Z i, / Z, which make diappea H. ex, we believe ha E θ Z i, ] γ ie α fo lage, fo ome veco γ wih poiive enie and ome exponen α >. Ineing hi ino E θ Z i, ] = µ+ 1 θ ij ϕ E θz j, ]d, we find ha γ = A γ e α ϕd. The veco γ being poiive, i i neceaily a Peon- Fobeniu eigenveco of A, o ha ρ = e α ϕd 1 i i Peon-Fobeniu eigenvalue i.e. i pecal adiu. We now conide he nomalized Peon-Fobeniu eigenveco V uch ha V i 2 = and conclude ha Z i, K V ie α fo all i = 1,...,, whee K = 1 γ i 2 ] 1/2 H. Exacly a in he ubciical cae, he empiical vaiance 1 Zi, Z 2 hould eemble 1 E θz i, ] E θ Z ] 2 + Z 1 K 2 e2α V i V 2 + Z. Since we alo gue ha Z K V e α, whee V = 1 V i, we expec ha fo lage, U = Z 2 Zi, Z 2 Z ] V 2 V i V 2. We now each fo he limi of V 2 V i V 2 a. Roughly, A 2 i, j p 2 /, whence, aing fom A 2 V = ρ 2 V, we ee ha ρ 2 V p 2 V 1, whee 1 i he - dimenional veco wih all coodinae equal o 1. Conequenly, V = A V /ρ κ A 1, whee κ = p 2 /ρ 3 V. In ohe wod, V i almo colinea o L := A 1, and L i a veco of i.i.d. Binomial, p-diibued andom vaiable. I i hu eaonable o expec ha V 2 V i V 2 L 2 L i L 2 p 2 p1 p = 1/p 1. All in all, we hope ha fo and lage and in a uiable egime, U 1/p 1. Finally, le u menion ha α α ee Remak 5 becaue e α ϕd = 1/ρ, becaue e α ϕd = 1/p and becaue ρ p. Thi la aeion follow fom he fac ha A 2 i, j p2 /, o ha he lage eigenvalue of A 2 hould eemble p2, whence ha of A hould eemble p. Of coue, all hi i no clea and ha o be made igoou. Le u menion ha we will ue a quanified veion of he Peon-Fobeniu of G. Bikhoff 7]. A we will ee, he pojecion ono he eigenveco V will be vey fa almo immediae fo vey lage. A in he ubciical cae, we will have o wok on an even Ω 2, of high pobabiliy, on which he θ ij behave eaonably. Fo example, o apply he Peon-Fobeniu heoem, we have o be ue ha he maix A i ieducible, which i no a.. ue Abou opimaliy: a elaed oy model. Conide α and wo unknown paamee Γ > and p, 1]. Fo 1, conide an i.i.d. family θ ij i,,..., of Benoullip-diibued andom vaiable, pu λ i, = 1 Γe α θ ij and, condiionally on θ ij i,,...,, conide

9 a family Z 1, STATISTICAL IFERECE VERSUS MEA FIELD LIMIT FOR HAWKES PROCESSES 9,..., Z, of independen inhomogeneou Poion pocee wih ineni-,],,..., and we wan o eimae p in he ie λ 1,,..., λ, aympoic,,.. We obeve Z i, Thi poblem can be een a a ongly implified veion of he one udied in he peen pape, wih α = in he ubciical cae and α > in he upeciical cae. Roughly, he mean numbe of jump pe individual eemble m = eα d, which i of ode when α = and e α ele. Thee i claically no lo of infomaion, ince α i known, if we only obeve Z i,,..., : afe a deeminiic and known change of ime, he pocee Z i,,..., become homogeneou Poion pocee wih unkown paamee condiionally on θ ij i,,...,, and he condiional law of a Poion poce on, ] knowing i value a ime doe no depend on i paamee. We nex poceed o a Gauian appoximaion: we have λ i, Γe α p + 1 p1 p]g i and Z i, λi, d + λi, dh i, fo wo independen i.i.d. familie G i,...,, H i,..., of, 1-diibued andom vaiable. Uing finally ha m 1 1/2 m 1 in ou aympoic, we conclude ha m 1 Z i, Γp + Γ 1 p1 pg i + m 1 ΓpH i, which i Γp, 1 Γ 2 p1 p + m 1 Γp-diibued. Ou oy poblem i hu he following: eimae p when obeving a -ample X i,,..., of he Γp, 1 Γ 2 p1 p + m 1 Γp-diibuion. We aume ha Γp i known, which can only make eaie he eimaion of p. A i well-known he aiic S = 1 Xi, Γp 2 i hen ufficien and i he be eimao in all he uual ene, fo 1 and 1 fixed, of 1 Γ 2 p1 p + m 1 Γp, o ha T = Γp 2 S m 1 Γp i moe o le he be eimao of 1/p 1. Bu Va S = Γ 2 p1 p + m 1 Γp 2, whence Va T = 2Γp 4 1/2 Γ 2 p1 p + 1/2 m 1 Γp 2. I i hu no poible o eimae 1/p 1 wih a bee peciion han 1/2 + 1/2 m 1. Thi of coue implie ha we canno eimae p wih a bee peciion han 1/2 + 1/2 m 1. We fi give he 3. Well-poedne and explici fomulae Poof of Popoiion 1. Condiionally on θ ij i,,...,, we can apply diecly 13, Theoem 6], of which he aumpion i aified hee, ee 13, Remak 5-i]: condiionally on θ ij i,,...,, hee i a unique oluion Z i,,,..., o 1 uch ha E θz i, ] < fo all. Since now θ ij i,,..., can only ake a finie numbe of value, we immediaely deduce ha indeed EZi, ] < fo all. We cay on wih a claical lemma. Recall ha ϕ d = δ d by convenion. Lemma 8. Conide d 1, A M d d R, m, g :, R d locally bounded and aume ha ϕ :,, i locally inegable. If m = g + ϕ Am d fo all, hen m = n ϕ n A n g d. Poof. The equaion m = g + ϕ Am d wih unkown m ha a mo one locally bounded oluion. Indeed, conide wo uch oluion m, m, obeve ha u = m m aifie u A ϕ u d, and conclude ha u = by he genealized Gonwall lemma, ee e.g. 13, Lemma 23-i]. We hu ju have o pove ha m := n ϕ n A n g d i locally bounded

10 1 SYLVAI DELATTRE AD ICOLAS FOURIER and olve m = g + Aϕ m. We inoduce k n = A n ϕ n d, which i locally bounded becaue ϕ i locally inegable and which aifie k n+1 A kn ϕ d. We ue 13, Lemma 23-ii] o conclude ha n kn i locally bounded. Conequenly, m up,] g n kn i locally bounded. Finally, we wie m = g + n 1 An ϕ n g = g + Aϕ n An ϕ n g = g + Aϕ m a deied. We nex inoduce a few pocee. oaion 9. Aume only ha ϕ i locally inegable, fix 1 and conide he oluion Z i,,,..., o 1. Fo each i = 1,...,, we inoduce he maingale ecall ha λ i, wa defined in 1 M i, = 1 {z λ i, } πi d, dz, whee π i d, dz = π i d, dz ddz i he compenaed Poion meaue aociaed o π i. We alo inoduce M i,, = up,] M i,, a well a he condiionally ceneed poce U i, = Z i, E θ Z i, ]. Fo each, we denoe by Z ep. M, M, coodinae Z i, ep. M i, 1 M i, and Ū = 1 U i,, U he -dimenional veco wih, M =, M i,,, U i,. We alo e Z = 1 Zi,. We efe o Jacod-Shiyaev 22, Chape 1, Secion 4e] fo definiion and popeie of pue jump maingale and of hei quadaic vaiaion. Remak 1. Since he Poion meaue π i ae independen, he maingale M i, ae ohogonal. Moe peciely, we have M i,, M j, ] = if i j, while M i,, M i, ] = Z i, becaue Z i, coun he jump of M i,, which ae all of ize 1. Conequenly, E θ M i, M j, ] = 1 {i=j} E θ Z i, We now give ome moe o le explici fomula. We denoe by 1 he -dimenional veco wih all enie equal o 1 and we e A i, j = 1 θ ij fo i, j = 1,...,. Lemma 11. Aume only ha ϕ i locally inegable. We have ecall ha ϕ d = δ d: Z =M + µ1 + E θ Z ] =µ n U = n ϕ A Z d, ] ϕ n d A n 1, ϕ n A n M d. Poof. The fi expeion i no difficul: aing fom 1, Z i, = M i, + d = M i, + µ + A i, j λ i, Uing 13, Lemma 22], we ee ha Z i, = M i, + µ + ϕ udzj, u ϕ d = ϕ udzu j, d. ϕ Zj, d, whence indeed, A i, jz j, d, ].

11 STATISTICAL IFERECE VERSUS MEA FIELD LIMIT FOR HAWKES PROCESSES 11 which i nohing bu 2. Taking condiional expecaion in 2, we find ha E θ Z ] = µ1 + ϕ A E θ Z ]d and hu alo U = M + ϕ A U d. Since now ϕ i a.. locally inegable, ince µ1 and M ae a.. locally bounded, a well a E θ Z ] and U, 3 and 4 diecly follow fom Lemma The ubciical cae Hee we conide he ubciical cae. We fi udy he lage -aympoic of he maix Q = I ΛA 1, which play a cenal ole in he e of he ecion. In Subecion 4.2, we finely udy he behavio of ϕ n. In Subecion 4.3, we handle a few compuaion o be ued eveal ime lae. Subecion 4.4, 4.5 and 4.6 ae devoed o he udie of he hee eimao E, V and W,. We conclude he poof of Theoem 3 and Coollay 4 in Subecion Sudy of a andom maix. We ue he following andad noaion: fo x = x 1,..., x R and 1,, we e x = x i 1/ and x = max,..., x i. Fo 1, ], we denoe by he opeao nom on M R aociaed o. We ecall ha M 1 = up,..., M ij, M = up,..., M ij and ha fo all 1,, 5 M M 1/ 1 M 1 1/. oaion 12. We aume ha Λp < 1. Fo each 1, we inoduce he andom maix A defined by A i, j = 1 θ ij, a well a he even { } 6 Ω 1 = Λ A a fo all 1, ], whee a = 1 + Λp Λp, 1. 2 On Ω 1, he maix Q = n Λn A n = I ΛA 1 i well-defined and we inoduce, fo each i = 1,...,, l i = Q i, j, c i = Q j, i, a well a l = 1 l i and c = 1 c i. We of coue have l = c. Le u emak once fo all ha, wih C = 1/1 a <, { } { 7 Ω 1 Q C fo all 1, ] 8 Ω 1 up,..., } max{l i, c i} C, { 1 {i=j} Q i, j 1 {i=j} + ΛC 1 fo all i, j = 1,..., Indeed, 7 i aighfowad ince Q = n Λn A n. To check 8, we fi obeve ha Q i, j Λ A i, j = 1 {i=j}. ex, we ue ha A i, j 1 while, fo n 2, A n i, j = k=1 A i, ka n 1 k, j 1 k=1 An 1 k, j 1 A n A n 1 1. Thu A n i, j 1 A n 1 1 fo all n 1. Hence on Ω 1, i hold ha Q i, j 1 {i=j} + 1 n 1 Λn A n {i=j} + 1 Λ/1 a a deied. Lemma 13. Aume ha Λp < 1. I hold ha PΩ 1 1 C exp c. Poof. By 5, i uffice o pove ha PΛ A 1 > a C exp c and PΛ A > a C exp c. Since A = A 1 and ince A he anpoe of A ha he ame law a A, i acually uffice o veify he fi inequaliy. Fi, A 1 = max{x1,..., X }, whee Xi = θ ij i Binomial, p-diibued fo each i. Conequenly, PΛ A 1 > a }.

12 12 SYLVAI DELATTRE AD ICOLAS FOURIER PX1 a/λ P X1 p a/λ p. Since a/λ > p, we can ue he Hoeffding inequaliy 21] o obain PΛ A 1 > a 2 exp 2a/Λ p 2 C exp a/λ p 2 a deied. The nex eul i much hade bu cucial. Popoiion 14. Aume ha Λp < 1. I hold ha E 1 Ω 1 l 1 2 ] C 1 Λp 2, 1 E 1 Ω 1 l ic i 2 1 2] 1 Λp 3 C 2, E 1 Ω l 1 i l 2 Λ2 p1 p ] 1 Λp 2 C. Poof. Recall ha 1 i he -dimenional veco of which all he coodinae equal 1. Le l ep. c be he veco wih coodinae l 1,..., l ep. c 1,..., c. We alo inoduce, fo all i = 1,...,, L i = A i, j and C i = A j, i, a well a he coeponding veco L and C. Le u obeve ha, wih obviou noaion, l = c and L = C. Finally, we inoduce he veco x = l l 1, y = c c 1, X = L L 1, Y = C C 1. We ecall ha a = 1 + Λp/2, 1 and we inoduce b = 2 + Λp/3 a, 1. Sep 1. We inoduce he even A = { L p1 2 + C p1 2 1/4} { X 2 + Y 2 1/4}. The incluion come fom he fac ha a.., X 2 = L L 1 2 L x1 2 fo any x R. Since L = Z 1,..., Z wih Z i i.i.d. and Binomial, p-diibued, i i vey claical ha fo any α >, E L p1 α 2 ] C α unifomly in, we have imilaly E C p1 α 2 ] C α, o ha PA 1 C α α/4. Sep 2. We now check he following poin: i E L p 2 ] C 2, ii E X 4 2] C, iii E X 2 2 p1 p 2 ] C 1 and iv E A X 2 2] C 1. Poin i i clea, becaue L = 2 i, θ ij i nohing bu he empiical mean of 2 independen Benoullip-andom vaiable. Poin ii and iii ae vey claical, ince X 2 2 i he empiical vaiance of independen Binomial, p-andom vaiable. We now pove iv: E A X 2 2] = E θ ij L j L 2 ] = 1 E by ymmey. We now wie E A X 2 2] 4 1 I + J + K, whee I = E L p ] θ 1j ], J = E θ 11 L 1 p, K = E θ 1j L j L 2 ] j=2 2 ] θ 1j L j p.

13 STATISTICAL IFERECE VERSUS MEA FIELD LIMIT FOR HAWKES PROCESSES 13 Fi, I 2 E L p 2 ] C by i. ex, i i obviou ha J 1 becaue θ 11 {, 1} and L 1, 1]. Finally, he andom vaiable θ 1j L j p being i.i.d. and ceneed fo j = 2,...,, we may wie 2 ] K = 1E θ 12 L 2 p 1E L 2 p 2] C, ince L 2 follow a Binomial, p-diibuion. Thi complee he ep. Sep 3. We nex pove ha i x = ΛA x Λ 1 + Λ l X on Ω 1, whee = 2 i, θ ij px j and ha ii 3/4 x 2 on Ω 1 A. We a fom l = Q 1 = I ΛA 1 1, whence l = 1 + ΛA l. Since l = 1 l, 1, we ee ha l = 1 + Λ 1 A l, 1 hee, i he uual cala poduc on R and hu x =ΛA l Λ 1 A l, 1 1 =ΛA x Λ 1 A x, l ΛA 1 l Λ 1 A 1, 1 1. I only emain o check ha 1 A x, 1 =, which follow fom 1 A x, 1 = 2 i, θ ijx j and he fac ha x j = ; and ha A 1 1 A 1, 1 1 = X, which i clea ince A 1 = L. To veify ii, we obeve ha = 1 C j px j, whence, by he Cauchy- Schwaz inequaliy, 1 x 2 C p1 2 3/4 x 2 on Ω 1 A. Sep 4. Le be he malle inege uch ha a+λ 1/4 b. We check ha fo all, 1 Ω 1 A x 2 C X 2. Uing Sep 3 and ha 1 2 = 1/2, we wie x 2 Λ A 2 x 2 + Λ 1/4 x 2 + Λ l X 2. Bu on Ω 1, Λ A 2 a and l C, ee 6 and 7. Hence, fo, on Ω 1 A, we have x 2 a + Λ 1/4 x 2 + C X 2 b x 2 + C X 2. Since b < 1, he concluion follow. Sep 5. We now pove ha fo, E 1 Ω 1 A l 1 2 ] C 1 Λp 2. Uing Sep 3, we know ha on Ω 1 A, l = 1 + ΛA l, whence l = 1 + Λ A i, jl j = 1 + Λ i, C jl j = 1 + Λp l + S, whee S = Λ 1 C j pl j. Conequenly, l = 1 Λp S, and we only have o pove ha E1 Ω 1 A S 2 ] C 2. To hi end, we wie S = Λ 1 a + b, whee a = C j px j and b = l C j p. Fi, ince l C on Ω 1 by 7, we can wie E1 Ω 1 b2 ] CE C j p 2 ] = C 2 E C p 2 ] C, he la inequaliy coming fom Sep 2-i ince C = L. ex, we ue he Cauchy-Schwaz inequaliy: a 2 C p1 2 x 2 C C p1 2 X 2 on Ω 1 A by Sep 4. Conequenly, E1 Ω 1 A a 2 ] CE X 2 2] 1/2 E C p1 2 2] 1/2. Bu E X 2 2] C by Sep 2-ii and we have een a he end of Sep 1 ha E C p1 2 2] C.

14 14 SYLVAI DELATTRE AD ICOLAS FOURIER Sep 6. Hee we veify ha, ill fo, 1 E 1 Ω 1 A l ic i 2 1 2] 1 Λp 3 C 2. We wie, uing ha c = l, 1 l ic i 2 = 1 l ic i c 2 + l l l ic i c. Fi, ince l C on Ω 1, we have l 3 1 Λp 3 C l 1 Λp 1, whence E1 Ω 1 A l 3 1 Λp 3 2 ] C 2 by Sep 5. I hu uffice o veify ha E1 Ω 1 A a 2 + b 2 ] C, whee a = l ic i c 2 and b = l ic i c. Fi, i hold ha b = l iy i = x iy i becaue y i =. Hence b x 2 y 2. Bu on Ω 1 A, we know fom Sep 4 ha x 2 C X 2, and i obviouly alo hold ue ha y 2 C Y 2. We hu conclude ha E1 Ω 1 A b 2 ] CE X 4 2] 1/2 E Y 4 2] 1/2 = E X 4 2] by ymmey. Uing finally Sep 2-ii, we deduce ha indeed, E1 Ω 1 A b 2 ] C. ex, ince l i C on Ω 1 by 7, we can wie a C c c = C y 2 2. We conclude a peviouly ha E1 Ω 1 A a 2 ] C. Sep 7. The goal of hi ep i o eablih ha, fo all, x E 1 Ω 1 A 2 2 Λ2 p1 p ] 1 Λp 2 C. Saing fom Sep 3, we wie Thu x Λ l X = ΛA x Λ 1 = ΛA x Λ l X + Λ 2 l A X Λ 1. x Λ l X 2 Λ A 2 x Λ l X 2 + Λ 2 l A X 2 + Λ 1/2 C p1 2 x 2, whee we ued ha 1 2 = 1/2 and ha 1 C p1 2 x 2 on Ω 1 A, a checked a he end of Sep 3. Uing now ha Λ A 2 a < 1 and l C on Ω 1 and ha x 2 C X 2 on Ω 1 A by Sep 4, we conclude ha, ill on Ω 1 A, x Λ l X 2 2 C A X C 1 C p1 2 2 X 2 2. Since now E A X 2 2] C 1 by Sep 2-iv, ince E X 4 2] C by Sep 2-ii and ince E C p1 4 2] C ee he end of Sep 1, we deduce ha ] E 1 Ω 1 A x Λ l X 2 2 C. ex, we obeve ha x 2 2 Λ l 2 X 2 2 x Λ l X 2 x 2 + Λ l X 2 C x Λ l X 2 X 2 on Ω 1 A by Sep 4 and ince l i bounded on Ω 1. Hence ] x E 1 Ω 1 A 2 2 Λ l 2 X 2 2 C E X 2 2] 1/2 C by Sep 2-ii. To complee he ep, i only emain o veify ha ] d = E 1 Ω 1 A l 2 X 2 2 p1 p1 Λp 2 C.

15 STATISTICAL IFERECE VERSUS MEA FIELD LIMIT FOR HAWKES PROCESSES 15 We naually wie d a + b, whee ] a =E 1 Ω 1 A l 2 1 Λp 2 X 2 2, ] b =1 Λp 2 X E 1 Ω 1 A 2 2 p1 p. Sep 2-iii diecly implie ha b C 1/2. Uing ha l i bounded on Ω 1, we deduce ha l 2 1 Λp 2 C l 1 Λp 1. Thu a CE 1 Ω 1 A l 1 Λp 1 2] 1/2E X 4 2] 1/2. Sep 2-ii and Sep 5 imply ha a C 1 C 1/2 a deied. Sep 8. I emain o conclude. I clealy uffice o ea he cae whee, becaue l i and c i ae unifomly bounded on Ω 1 by 7, o ha he inequaliie of he aemen ae ivial when if he conan C i lage enough. Since l i unifomly bounded on Ω 1, we have E 1 Ω 1 l 1 2 ] E 1 1 Λp Ω 1 A l 1 2 ] + C PA c. 1 Λp The fi em i bounded by C 2 by Sep 5, a well a he econd one ue he la inequaliy of Sep 1 wih α = 8. Similaly, uing Sep 6 and ha l i and c i ae unifomly bounded on Ω 1, we ee ha 1 E 1 Ω 1 l ic i 2 1 2] 1 Λp 3 C 2 + C PA c C 2. Finally, obeve ha l i l 2 = x 2 2 i bounded by C on Ω 1, o ha by Sep 7, E 1 Ω l 1 i l 2 Λ2 p1 p ] 1 Λp 2 We ued he la inequaliy of Sep 1 wih α = 6. C + C PA c C Peliminay analyic eimae. In view of 3 and 4, i will be neceay fo ou pupoe o udy vey peciely he behavio of ϕ n, which we now do. The following aemen may eem ahe ediou, bu hey ae exacly he one we need. Recall ha ϕ d = δ d and ha ϕ n = fo < by convenion. Lemma 15. Recall ha ϕ :,, and ha Λ = ϕd. Aume ha hee i q 1 uch ha q ϕd < and e κ = Λ 1 ϕd. i Fo n and, we have ϕ n d = Λ n nλ n κ + ε n, whee ε n Cn q Λ n 1 q and ε n nλ n κ. ii Fo n, fo z and, z], we e β n, z, = ϕ n z ϕ n. Then z β n, z, d 2Λ n and fo all and all z, + ], z β n, z, d Cn q Λ n q and β n, z, d + z β n, z, d Cn q Λ n q.

16 16 SYLVAI DELATTRE AD ICOLAS FOURIER iii Fo m, n, fo z, we pu γ m,n, z = z z uβ m, z, β n, z, udud. I hold ha γ m,n, + Λ m+n, fo all, all. Fuhemoe, hee i a family κ m,n aifying κ m,n m + nκ uch ha, fo all, γ m,n, + = Λ m+n κ m,n Λ m+n + ε m,n, +, wih ε m,n, + Cm + n q Λ m+n q. Poof. We inoduce ome i.i.d. andom vaiable X 1, X 2,... wih deniy Λ 1 ϕ and e S = a well a S n = X X n fo all n 1. We obeve ha, by he Minkowki inequaliy, ESn] q n q EX q 1 ] Cnq, ince EX q 1 ] = Λ 1 q ϕd < by aumpion. To check i, we ue ha S n ha fo deniy Λ n ϕ n, o ha we can wie ϕ n d = ϕ n d = Λ n E S n + ] = Λ n Λ n ES n ] + ε n, whee ε n = Λ n ES n 1 {Sn }]. We clealy have ha ES n ] = nκ, ha ε n and ha ε n Λ n ES n ] = nλ n κ. Finally, ε n Λ n ES n 1 {Sn }] Λ n 1 q ES q n] Cn q Λ n 1 q. To check ii, we obeve ha z β n, z, d 2Λ n i obviou becaue ϕ n d = Λ n and ha, ince ESn] q Cn q, ϕ n udu = Λ n PS n Cn q Λ n q. We wie z β n, z, d = z ϕ n z d ϕ n d = z ϕ n udu, which implie ha z β n, z, d ϕ n udu Cn q Λ n q. ex, we ee ha β n, z, d ϕ n z udu + ϕ n udu 2 ϕ n udu Cn q Λ n q. Finally, uing he wo peviou bound, z β n, z, d z β n, z, d + β n, z, d Cn q Λ n q + Cn q Λ n q Cn q Λ n q becaue, ] by aumpion. We finally pove iii and hu conide and m, n. We a fom γ m,n, + = + + u ϕ m + ϕ n + u + ϕ m ϕ n u ] ϕ m + ϕ n u ϕ m ϕ n + u dud. Uing anohe independen i.i.d. family Y 1, Y 2,... of andom vaiable wih deniy Λ 1 ϕ and eing T m = Y Y m o T m = if m =, we may wie γ m,n, + =Λ m+n E + T m + + S n + + T m + S n + + T m + S n + T m + + S n + ]. Thi peciely ewie γ m,n, + = Λ m+n E + T m S n + T m S n + + ], which implie ha γ m,n, + Λ m+n. We nex inoduce δ m,n, + = Λ m+n E + T m S n T m S n ], which i nohing bu δ m,n, + = Λ m+n κ m,n, whee κ m,n = E T m S n ] obviouly aifie κ m,n κm + n. Thu γ m,n, + = Λ m+n κ m,n + ε m,n, +, whee

17 STATISTICAL IFERECE VERSUS MEA FIELD LIMIT FOR HAWKES PROCESSES 17 ε m,n, + = γ m,n, + δ m,n, +. Finally, i i clea ha, ince, ε m,n, + Λ m+n + PT m S n + o T m S n o T m S n 2Λ m+n PT m o S n. Thi i, a uual, bounded by CΛ m+n m q + n q q Peliminay ochaic analyi. We handle once fo all a numbe of ueful compuaion concening he pocee inoduced in oaion 9. Lemma 16. We aume Hq fo ome q 1. Recall ha Ω 1 and l wee defined in oaion 12 and ha all he pocee below have been inoduced in oaion 9. i Fo any 1, ], fo all, 1 Ω 1 E θ Z ] C 1. ii Fo any 1, ], fo all, ] Eθ 1 Ω 1 Z Z µ l C1 1 q 1. iii Fo all + 1 1, 1 Ω 1 up E θ Z i,,..., Z i, 2 + up M i, M i, 4] + 1 Ω 1 E θ Z Z 2] C 2.,] Poof. Recall 3, which ae ha E θ Z ] = µ n ϕ n d]a n 1. Uing ha ϕ n d Λ n, we deduce ha E θ Z ] µ n Λn A n 1. Thi i clealy bounded, on Ω 1, by C 1, which pove i. Uing nex Lemma 15-i, E θ Z ] = µ n Λn nλ n κ + ε n ]A n 1, whee ε n Cn q Λ n 1 q 1. Hence E θ Z ] E θ Z ] = µ n Λ n A n 1 + µ n ε n ε n ]A n 1. Bu n Λn A n 1 = Q 1 = l on Ω 1. Thu, ill on Ω1, ince and q 1, ] E θ Z Z µ l C1 1 q n q Λ n A n 1 C1 1 q 1. n Since M i,, M i, ] = Z i, ] 4 CE θ Z i, M i, Z 2 ] 1 E θz i, pove ha up,..., E θ Z i, by Remak 1, he Doob inequaliy implie ha E θ up,] M i, Z i, 2 ]. Alo, he Cauchy-Schwaz inequaliy ell u ha E θ Z Z i, 2 ] up,..., E θ Z i, Z i, have o how ha, on Ω 1, a E θz i, C 2. 2 ] C 2. Recalling ha Z i, ] E θ Z i, Z i, 2 ]. Hence we ju have o = U i, ] 2 C 2 and b E θ U i, + E θ Z i, ], we U i, 2 ] To pove a, we ue ii wih = and find ha, on Ω 1, E θz i, ] E θ Z i, ] µ l + C 1 C, ince l i bounded on Ω 1 and ince 1 by aumpion.

18 18 SYLVAI DELATTRE AD ICOLAS FOURIER β n,, An To pove b, we ue 4 o wie U i, U i, = n we have e β n,, = ϕ n ϕ n a in Lemma 15. We deduce ha EU i, U i, 2 ] = m,n By Remak 1, E θ M j, u ee ha x j, E θ U i, U i, := E θ Z j, 2 ] = I + J, whee I =µ J = m,n m,n β m,, uβ n,, v Mv k, ] = 1 {j=k} E θ Z j, j,k=1 ] µl j aifie up,,..., x j, β m,, uβ n,, v β m,, uβ n,, v A m i, ja n i, ke θ M j, u j, i, jm d, whee Mv k, ]dvdu. u v]. Uing now ii wih = and =, we C on Ω 1. We hu wie A m i, ja n i, ju vl jdudv, A m i, ja n i, jx j, u vdudv. Fi, uing only ha x j, i unifomly bounded on Ω 1 and ha β m,, u du 2Λ m, we find J C m,n Λm+n Am i, jan i, j = C Q i, j 2 on Ω 1, whence J C 1 {i=j} by 8. We conclude ha J C C 2. ex, we ealize ha, wih he noaion of Lemma 15-iii, I = µ γ m,n, A m i, ja n i, jl j. m,n Bu we know ha γ m,n, Λ m+n. Hence I µ Q i, j 2 l j C, ince l i bounded on Ω 1 and ince, a aleady een, Q i, j 2 i alo bounded on Ω 1. We conclude ha E θu i, U i, 2 ] C C 2 on Ω 1, a deied Fi eimao. We ecall ha E = Z 2 Z /, ha he maice A and Q and he even Ω 1 wee defined in oaion 12, a well a l i = Q i, j and l = 1 l i. The goal of hi ubecion i o eablih he following eimae. Popoiion 17. Aume Hq fo ome q 1. Then fo 1, E 2] 1 1 Ω 1 E θ µ l C 2q + 1. We a wih he following lemma ecall ha Ū wa defined in oaion 9. Lemma 18. Aume Hq fo ome q 1. Then on Ω 1, fo 1, E θ E ] µ l C q and E θ Ū 2 ] C 1. Poof. Applying Lemma 16-ii wih = 1, we immediaely find, on Ω 1, E θ E ] µ l 1 Z E 2 Z θ ex, we deduce fom 4 ha Ū ϕ n i, An E θ Ū 2 ] 1/2 1 n = 1 n ] µl 1 C 1 q 1 1 = C q. ϕ n E θ i, j, i, jm d, whence 2 ] 1/2d A n i, jm j,

19 STATISTICAL IFERECE VERSUS MEA FIELD LIMIT FOR HAWKES PROCESSES 19 by he Minkowki inequaliy. Bu ecalling Remak 1, i.e. E θ M j, E θ i, 2 ] A n i, jm j, = 2Eθ A n i, j Z j, ] A 2n 1 M l, ] = 1 {j=l} E θ Z j, ], E θ Z j, ]. We know fom Lemma 16-i wih = 1 ha E θz j, ] C on Ω 1. Hence, ill on Ω1, E θ Ū 2 ] 1/2 C A n 1 n ϕ n d C1/2 1/2 n Λ n A n 1 C1/2 1/2 a deied. We can now give he Poof of Popoiion 17. I uffice o wie E 2] E E θ µ l 2E θ E θ E ] 2 ] + 2 E θ E 2 ] µ l and o obeve ha E E θ E ] = Ū 2 Ū / Ū 2 / + Ū /, whence finally E 2] E θ µ l 4 2 E θ Ū 2 2 ] + E θ Ū 2 ] + 2 E θ E 2 ] µ l. Then he popoiion immediaely follow fom Lemma Second eimao. We ecall ha V = Zi, 2 Z i, / E ] 2 E / whee E = Z 2 Z /, ha he maice A and Q and he even Ω 1 wee defined in oaion 12, a well a l i = Q i, j and l = 1 l i. We alo inoduce V = µ 2 l i l ] 2. Popoiion 19. Aume Hq fo ome q 1. Then fo 1, a.., ] V 1 Ω 1 E θ V C 1 + l i l ] 2 1/2 q Obeve ha he em l i l ] 2 will no caue any poblem, ince i expecaion eiced o Ω 1 i unifomly bounded, ee Popoiion 14. We wie V V,1 +,2 +,3, whee,1 =,2 =,3 =2 Z i, 2 Z i, 2 Z i, 2 Z i, / E ] 2 Z i, 2 Z i, / µl i] 2 E /, Z i, / µl i]µl i µ l ]. Z i, / µ l ] 2,

20 2 SYLVAI DELATTRE AD ICOLAS FOURIER We nex wie,2,21 +,22 +,23, whee,21 2 = Z i, 2 Z i, / E θ Z i, 2 Z i, /]] E /,,22 =,23 =2 2, E θ Z i, 2 Z i, /] µl i] Z i, 2 Z i, / E θ Z i, 2 We will alo need o wie, ecalling ha U i, whee,21 =,211 =,212 =,213 = ] Z i, /] E θ Z i, 2 Z i,. /] µl i] = Z i, E θ Z i, ], 2 U i, 2 U i, /] E /,211 +,212 +,213 { U i, 2 E θ U i, 2 E / E θ E /]. 2 2 ]} U i, / Eθ U i, 2 U i,, / 2 ] U i, / E θ E /],, Finally, we will ue ha,3,31 +,32, whee,31 ] ] =2 Z i, 2 Z i, / E θ Z i, 2 Z i,, /] µl i µ l =2,32 E θ Z i, 2 ] ] Z i,. /] µl i µl i µ l To ummaize, we have o bound,1,,211,,212,,213,,22,,23,,31 and,32. Only he em,211 i eally difficul. In he following lemma, we ea he eay em. We do no y o be opimal when no ueful: fo example in iv below, ome hape eimae could pobably be obained wih moe wok, bu ince we aleady have a em in 1/2 1 ee Lemma 24, hi would be uele. We alo ecall ha we do no eally y o opimize he dependence in q: i i likely ha q could be eplaced by 2q hee and hee. Lemma 2. Aume Hq fo ome q 1. Then a.. on Ω 1, fo 1, i E θ,1 ] C 2q + 1, ii E θ,22 ] C 2q, iii E θ,23 ] C q, iv E θ,213 ] C 1/2 3/2, v E θ,32 ] C q.

21 STATISTICAL IFERECE VERSUS MEA FIELD LIMIT FOR HAWKES PROCESSES 21 Poof. We wok on Ω 1 duing he whole poof. Uing ha E = 1 Zi, 2 Z i, /], one eaily check ha,1 = E µ l 2. Thu poin i follow fom Popoiion 17. ex, we obeve ha,22 = E θ Z 2 Z /] µl 2 2. Applying Lemma 16-ii wih = 2, we conclude ha indeed,,22 C 2q = C 2q. We wie 2 Z 2 Z / E θ Z 2 Z Eθ /] Z 2 Z /] µl. 1,23 Applying Lemma 16-ii wih =, we deduce ha E θ Z 2 Z /] µl C q. Lemma 16-i wih = 1 give u ha E θ Z 2 Z / E θ Z 2 Z /] 1 ] 2 1 E θ Z 2+Z ] 1 C. We hu find ha indeed, E θ,23 ] C q. Since,213 = / E E θ E ] = 2 Ū 2 Ū 2 Ū 2 + Ū, we deduce fom Lemma 18 ha E θ,213 ] C 2 / = C 1/2 3/2. Finally, aing fom,32 2µ E θ Z 2 Z /] µl l l 1 1 and uing ha, a aleady een when udying,23, E θ Z 2 Z /] µl C q, we conclude ha,32 C q l l 1 1 C q, ince l i bounded ee 7 on Ω 1. ex, we ea he em,212. Lemma 21. Aume Hq fo ome q 1. Then a.. on Ω 1, fo 1, E θ,212 ] C 1. Poof. We wok on Ω 1. Recalling ha E = 1 Zi, 2 Z i,, we may wie E θ,212 ] 2 a i, whee a i = E θ U i, 2 U i, 2 Z i, 2 Z i, ]. ow we infe fom 4 ha U i, = M i, + n 1 ϕ n An j, i, jm d, o ha U i, 2 U i, = M i, 2 M i, + R i,, whee R i, = 2 β n, 2, A n i, jm j, d. n 1 We have e β n, 2, = ϕ n 2 ϕ n a in Lemma 15 and he only hing we will ue i ha 2 β n, 2, d 2Λ n. Recalling ha M i, i a maingale wih quadaic vaiaion M i,, M i, ] = Z i,, ee Remak 1, we deduce ha E θ M i, 2 M i, 2 ] = E θ Z i, 2 Z i, ]. Hence a i = E θ R i, 2 ] + 2E θ M i, 2 M i, R i, ] = b i + d i, he la equaliy anding fo a definiion. We fi wie b i = m,n β m, 2, β n, 2, u j,k=1 A m i, ja n i, ke θ M j, Mu k, ]dud. Bu we know ha E θ M j, Mu k, ] = 1 {j=k} E θ Z u] j, by Remak 1 and ha E θ Z u] j, C on Ω 1 by Lemma 16-i wih =. Hence b i C 2. Λ m+n A m i, ja n i, j = C Λ n A n i, j m,n 1 Bu n 1 Λn A n i, j = Q i, j 1 {i=j} C 1 on Ω 1 by 8, o ha b i C 1. n 1

22 22 SYLVAI DELATTRE AD ICOLAS FOURIER ex, we a fom d i = 2 n 1 2 A peviouly, we ee ha E θ M i, 2 E θ Z i, 2 Zi, ] C on Ω 1 d i C n 1 β n, 2, M i, A n i, je θ M i, 2 M j, by Lemma 16-i, whence M i, M j, ]d. ] = if i j and ha E θ M i, 2 Λ n A n i, i = CQ i, i 1 C 1 M i, M i, ] = on Ω 1 by 8 again. Finally, a i C 1, o ha E θ,212 ] 2 a i C 1 on Ω 1. We nex compue ome covaiance in he following ediou lemma. Lemma 22. Aume Hq fo ome q 1. {1,..., }, all,, u, v, ], i Cov θ Z k, ii Cov θ Z k,, Z l,, M l, iii Cov θ Z k,, M l, iv E θ M k, v Cov θ M k, vi Cov θ M k, vii Cov θ M k, viii Cov θ M k, = Cov θ U k,, U l, C {k=l}, Then a.., on Ω 1, fo all 1, all k, l, a, b = Cov θ U k,, M l, C {k=l}, τ dmτ l, = Cov θ U k,, M l, τ dmτ l, C 3/ {k=l}, M k, Mu l, ] C 1 if #{k, l} = 2, M l, M k, M k, Poof. We wok on Ω 1 ha Cov θ Z k,, Z l, Cov θ U k, M l,, U l, = m,n, Mu a, Mv b, = if #{k, l, a, b} = 4,, Mu a, Mv b, C 2 if #{k, a, b} = 3,, Mu a, Mv a, C 1 3/2 if #{k, a} = 2,, M a, u Mv b, C 2 wihou condiion. k, and a wih poin i. Fi, i i clea, ince U = Cov θ U k,, U l,. Then we infe fom 4 ha ϕ m xϕ n y i, = Z k, A m k, ia n l, jcov θ M i, x E θ Z k, ],, My j, dydx. Bu we know ee Remak 1 ha Cov θ Mx i,, My j, = 1 {i=j} E θ Zx y] i, C1 {i=j} by Lemma 16-i wih =. Thu Cov θ U k,, U l, C Λ m+n m,n A m k, ia n l, i = C Q k, iq l, i. Recalling 8, Q k, iq l, i C {k=i} {l=i} C {k=l}. Poin i i checked. Fo poin ii, we again have Cov θ Z k, Cov θ U k,, M l, = n, M l, ϕ n x = Cov θ U k,, M l, and, uing again 4, A n k, icov θ M i, x, M l, dx.

23 Since Cov θ M i, x STATISTICAL IFERECE VERSUS MEA FIELD LIMIT FOR HAWKES PROCESSES 23, M l, C1 {i=l} a in i, we conclude ha Cov θ U k,, M l, C Λ n A n k, l = CQ k, l C {k=l}. n Poin iii i checked imilaly a ii, povided we veify ha Cov θ Mx i,, M l, τ dmτ l, C1 {i=l} 3/2. Thi i obviou if i l becaue he maingale M i, and ae ohogonal, and elie on he fac, if i = l, ha Cov θ Mx i,, M i, τ dmτ i, The la inequaliy ue ha E θ Mx i, i and ha E θ i, M τ 2 dz i, τ E θ M i, τ dm i, M i,, M i, τ dmτ i, Eθ M i, x 2 ] 1/2 E θ M i, τ dmτ i, M l, τ dmτ l, 2 ] 1/2 C 3/2. 2 ] = E θ Zx i, ] C by Remak 1 and Lemma 16- τ 2 ] C 2. Indeed, we have M i, τ dmτ i,, M i, τ dmτ i, ] =, whence 2 ] E θ M i,, 2 Z i, ] E θ M i,, 4 ] 1/2 E θ Z i, 2 ] 1/2, 2 Z i, which i bounded by C 2 by Lemma 16-iii. Fo poin iv, we aume e.g. ha and fi noe ha E θ M k, M k, M l, u ] = E θ M k, E θ M k, M l, u F ]] = E θ M k, 2 Mu ] l,, i hold and M l, ae ohogonal, we u ] = Cov θ Z k,, Mu. l, Since k l, we conclude becaue he maingale M k, and M l, ae ohogonal. Since M k,, M k, ] = Z k, ha M k, 2 = 2 M k, conclude ha E θ M k, uing poin ii. τ dmτ k, +Z k,. Uing ha M k, τ dmτ k, 2 Mu ] l, = E θ Z k, M l, Poin v i obviou, ince when k, l, a, b ae paiwie diffeen, he maingale M k,, M l,, M a, and M b, ae ohogonal. Poin vi i hade. Recall ha #{k, a, b} = 3, o ha clealy, Cov θ M k, ]. We aume e.g. ha and we obeve ha E θ M k, M k, E θ M k, M a, u M k, M b, v M a, u M b, v ] = E θ M k, E θ M k, M a, u M b, v M k,, Mu a, Mv b, = F ]] = E θ M k, 2 Mu a, Mv ] b, becaue M k,, M a, and M b, ae ohogonal. We hu have o pove ha fo all, u, v, ] wih u, v, E θ M k, 2 Mu a, Mv b, ] C 2. We wie M k, 2 = 2 M k, τ dmτ k, + Z k, a in he poof of iv. The hee maingale M k, we find E θ M k, 2 Mu a, aing again fom 4, E θ U k, M a, u M b, v Mv b, ] = n ] = E θ Z k, M a, u ϕ n x τ dmτ k, Mv b,, M a, and M b, being ohogonal, ]. We nex wie, ] = E θ U k, M a, u A n k, je θ M j, x M b, v M a, u Mv b, ]dx. Bu E θ Mx j, Mu a, Mv b, ] i zeo if j / {a, b} becaue he maingale M j,, M a, and M b, ae ohogonal, and i bounded by C 1 ele by poin iv. A a conequence, E θ U k, Mu a, Mv b, ] C 1 Λ n A n k, a + A n k, b = C 1 Q k, a + Q k, b. n Since k a and k b, hi i bounded by C 2 by 8.

24 24 SYLVAI DELATTRE AD ICOLAS FOURIER Fo vii, we aume e.g. ha and u v and we ecall ha k a. We have Cov θ M k, =Cov θ M k, M k, +Cov θ M k, =I + J + K + L. 2, M a, u, Mu a, Mv a, 2 + Cov θ M k, M k, 2, Mu a, Mv a, M a, u M k,, Mu a, 2 +Cov θ M k, M k, Fi, L =. Indeed, auming e.g. ha u, we have L =E θ M k, M k, =E θ M k, + E θ M k, M k, Mu a, E θ M k, Mu a, M a, M k, Mu a, Mv a, M a, + M a, Mu a, ] M k, Mv a, M a, F ]] Mu a, E θ M k, M k, F ]] and in boh em, he condiional expecaion vanihe. 2 M k, τ dmτ k, + Z k, and Mu a, ex, we wie a uual M k, 2 = + Zu a,. By ohogonaliy of he maingale M k, τ dm k, τ and M a, 2 = 2 u M a, τ dmτ a,, we find τ dmτ a, u I = Cov θ Z k,, Zu a, + 2Cov θ Z k,, M a, τ dmτ a,, Mu a, Mv a, Mu a, + 2Cov θ M k, τ dmτ k,, Zu a,. We deduce fom poin i and iii, ince k a, ha I C /2 C 1 3/2. We now ea K. I vanihe if u, becaue E θ Mv a, Mu a, F u ] =. We hu aume ha u <. We wie a uual M k, 2 = Mu k, u M k, τ dmτ k, + Z k, Zu k, and K =E θ M k, u + E θ Z k, 2 Mu a, Mv a, Z k, u Mu a, ] + 2E Mu a, Mv a, Mu a, ]. The fi em vanihe becaue E θ Mv a, E θ u M k, τ dmτ k, Mu a, F u ] =, a well a he econd one becaue F u ] = by ohogonaliy of he involved maingale. Conequenly, K = E θ Z k, M a, v Z k, u M a, u Mu a, Mv a, u M k, τ dmτ k, M a, u M a, v ] Mu a, Mu a, ] = E θ U k, U k, u Mu a, Mv a, Mu a, ]. Uing 4 and ecalling ha β n u,, x = ϕ n x ϕ n u x, we find K = β n u,, x A n k, je θ Mx j, Mu a, Mv a, Mu a, ]dx. n Bu E θ M j, x M a, u Mu a, Mv a, Mu a, ] C 3/2 if a = j by Lemma 16-iii. Thu K C n Λ n A n k, a 3/2 + ] C 1 if a j by iv, while E θ M j, x ] A n k, j 1 C Q k, a 3/2 + 1 Mu a, Mv a, ] Q k, j. Bu k a implie ha Q k, a C 1 by 8, while 1 Q k, j C 1 Q C 1. A a concluion, K C 1 3/2 + C 1 3/2. Of coue, J i eaed imilaly, and hi complee he poof of poin vii. Poin viii i obviou: i uffice o ue he Hölde inequaliy o find Cov θ M k, M l,, M a, u M b, v E θ M k, 4 ] 1/4 E θ M l, 4 ] 1/4 E θ Mu a, 4 ] 1/4 E θ Mv b, 4 ] 1/4,

25 STATISTICAL IFERECE VERSUS MEA FIELD LIMIT FOR HAWKES PROCESSES 25 which i bounded by C 2 by Lemma 16-iii. We can now eaily bound,31. Lemma 23. Aume Hq fo ome q 1. Then a.., on Ω 1, fo 1, Poof. We fi noe ha Since U i, 2 U i, E θ,31,31 E θ,31 2 ] C 1 = 2µ 1 U i, 2 l i l ] 2. ] U i, l i l ]. i ceneed i condiional expecaion E θ vanihe, 2 ] = 4µ 2 2 i, l i l ]l j l ] Cov θ U i, 2 U i,, U j, 2 U j,. Uing now Lemma 22-i, we deduce ha Cov θ U i, 2 U i,, U j, 2 U j, C1 {i=j} + 1 on Ω 1. Uing fuhemoe ha l i l ]l j l ] l i l ] 2 + l j l ] 2 and a ymmey agumen, we conclude ha E θ,31 which wa ou goal. 2 ] C 1 l i l ] 21{i=j} + 1 = C 1 l i l ] 2, i, We can finally eimae,211. Lemma 24. Aume Hq fo ome q 1. Then a.., on Ω 1, fo 1, E θ,211 2 ] C 2. Poof. We a uual wok on Ω 1. We fi noe ha E θ,211 2 ] = 4 i, a ij, whee a ij = Cov θ U i, 2 U i, 2, U j, 2 U j, 2. Bu ecalling 4 and eing α,, i, k = n An i, kϕ n 2 ϕ n ] fo all 2 and i, k {1,..., }, 2 9 U i, 2 U i, = α,, i, km k, d. Concening α, we will only ue ha, on Ω 1, 1 2 k=1 α,, i, k d 2 n Λ n A n i, k = 2Q i, k C1 {i=k} + 1, he la inequaliy coming fom 8. A diec compuaion aing fom 9 how ha a ij = α,, i, kα,, i, lα u,, j, aα v,, j, b k,l,a,b=1 Cov θ M k, M l,, M a, u Mv b, dvdudd.

26 26 SYLVAI DELATTRE AD ICOLAS FOURIER Le u now denoe by Γ k,l,a,b = up,,u,v,2] Cov θ M k, ecalling 1, a ij C i, i,j,k,l,a,b=1 M l,, M a, u Mv b,. We can wie, 1 {i=k} {i=l} {j=a} {j=b} + 1 Γ k,l,a,b. Uing ome ymmey agumen, we find ha i, a ij CR R 6 ], whee R 1 = 4 R 2 = 3 R 3 = 2 R 4 = 2 R 5 = 1 R 6 = i,j,k,l,a,b=1 i,j,k,l,a,b=1 i,j,k,l,a,b=1 i,j,k,l,a,b=1 i,j,k,l,a,b=1 i,j,k,l,a,b=1 Γ k,l,a,b = 2 k,l,a,b=1 1 {i=k} Γ k,l,a,b = 2 k,l,a,b=1 1 {i=k} 1 {j=a} Γ k,l,a,b = 2 Γ k,l,a,b, k,l,a,b=1 1 {i=k} 1 {i=l} Γ k,l,a,b = 1 k,a,b=1 1 {i=k} 1 {i=l} 1 {j=a} Γ k,l,a,b = 1 1 {i=k} 1 {i=l} 1 {j=a} 1 {j=b} Γ k,l,a,b = Γ k,l,a,b, k,a,b=1 k,a=1 Γ k,l,a,b, Γ k,k,a,b, Γ k,k,a,b, Γ k,k,a,a. Uing Lemma 22-v-viii, fom which Γ k,l,a,b C 2 1 {#{k,l,a,b}<4}, we deduce ha R 1 = R 2 = R 3 C 2. ex we ue Lemma 22-vi-viii, ha i Γ k,k,a,b C1 {#{k,a,b}=3} {#{k,a,b}<3} 2, whence R 4 = R 5 C+C 2 C 2. Finally, we ue Lemma 22-vii-viii, i.e. Γ k,k,a,a C1 {#{k,a}=2} 1 3/2 + 1 {#{k,a}=1} 2 and find ha R 6 C 3/2 + C 2 C 2. All in all, we have poved ha i, a ij C 2, which complee he poof. We can finally give he Poof of Popoiion 19. I uffice o ecall ha V V,1 +,211 +,212 +,213,22 +,23 +,31 +,32 and o ue Lemma 2, 21, 23 and 24: hi give, on Ω 1, E θ V V ] C 2q q + 1/2 3/2 Recalling ha 1, he concluion immediaely follow. + l i l ] 2] 1/2 1/ / Thid eimao. We ecall ha, fo > uch ha /2 i an inege, we have e E = Z 2 Z /, Z, = / 2/ a=/ +1 Z a Z a 1 E ] 2 and W, = 2Z 2, Z,. The maice A and Q and he even Ω 1 wee defined in oaion 12, a well a l i = Q i, j and c i = Q j, i. We finally inoduce W, = µ 1 l ic i 2. The aim of he ubecion i o veify he following eul.