arxiv: v3 [math.co] 25 May 2013

Transcription

1 Log pahs ad cycles i radom subgraphs of graphs wih large miimum degree arxiv: v3 [mah.co] 25 May 2013 Michael Krivelevich Choogbum Lee Bey Sudaov Absrac For a give fiie graph G of miimum degree a leas, le G p be a radom subgraph of G obaied by aig each edge idepedely wih probabiliy p. We prove ha i) if p ω/ for a fucio ω = ω) ha eds o ifiiy as does, he G p asympoically almos surely coais a cycle ad hus a pah) of legh a leas 1 o1)), ad ii) if p 1+o1))l/, he G p asympoically almos surely coais a pah of legh a leas. Our heorems exed classical resuls o pahs ad cycles i he biomial radom graph, obaied by aig G o be he complee graph o +1 verices. 1 Iroducio Pahs ad cycles are wo of he mos simple ye impora srucures i graph heory, ad beig such, he problem of fidig codiios ha imply he exisece of pahs ad cycles of various leghs has araced a lo of aeio i he field for he pas 60 years. For example, Dirac [8] proved ha for 2, every graph of miimum degree a leas coais a pah of legh ad a cycle of legh a leas +1, ad ha every graph o verices of miimum degree a leas 2 is Hamiloia, i.e., coais a cycle of legh. By cosiderig a complee graph o = +1 verices, ad wo edgedisjoi complee graphs of he same size sharig a sigle verex, oe ca see ha hese resuls are igh. Oe reaso ha fidig such codiios is of cosiderable ieres is because i is ofe he case ha codiios implyig he exisece of pahs ad cycles ca be geeralized o oher subsrucures such as rees, ad geeral subgraphs. For example, Pósa [21] proved ha expasio implies he exisece of log pahs, ad laer Friedma ad Pippeger [10] geeralized Pósa s approach o rees. Give a graph G ad a real p [0,1], le G p be he probabiliy space of subgraphs of G obaied by aig each edge of G idepedely wih probabiliy p. We someimes use he oaio G) p o avoid ambiguiy. For a give graph propery P, ad sequeces of graphs {G i } i=1 ad of probabiliies {p i } i=1, we say ha G i) pi P asympoically almos surely, or a.a.s. for breviy, if he probabiliy ha G i ) pi P eds o 1 as i goes o ifiiy. I his paper, whe G ad p are parameerized by some parameer, we abuse oaio ad cosider G ad p as sequeces obaied by aig he School of Mahemaical Scieces, Raymod ad Beverly Sacler Faculy of Exac Scieces, Tel Aviv Uiversiy, Tel Aviv 69978, Israel. address: rivelev@pos.au.ac.il. Research suppored i par by USA-Israel BSF Gra ad by gra 912/12 from he Israel Sciece Foudaio. Deparme of Mahemaics, MIT, Cambridge, MA, cb lee@mah.mi.edu. Research suppored i par by a Samsug Scholarship. Deparme of Mahemaics, UCLA, Los Ageles, CA bsudaov@mah.ucla.edu. Research suppored i par by NSF gra DMS , by AFOSR MURI gra FA ad by a USA-Israel BSF gra. 1

2 parameer o ed o ifiiy, ad will say ha G p has P asympoically almos surely if he sequece does. The mos sudied case of he above model of radom graphs is whe G is a complee graph K o verices, where K ) p is ow as he biomial radom graph G,p). This model has bee firs iroduced i 1959 [12] ad has bee iesively sudied hereafer. I a semial paper, Ajai, Komlós, ad Szemerédi [1], cofirmig a cojecure of Erdős, proved i paricular ha for p = c ad c > 1, G,p) a.a.s. coais a pah of legh a leas 1 fc)), where fc) is a fucio edig o zero as c goes o ifiiy; his was also proved idepedely by Feradez de la Vega [9]. Aalogous problem for cycles was sudied by Bollobás, Feer, ad Frieze [5]. Frieze [11] laer deermied he asympoics of he umber of verices o covered by a loges pah ad cycle i G,p). Also, for Hamiloia pahs ad cycles, i.e., pahs ad cycles which pass hrough every verex of he graph, improvig o resuls of Pósa [21] ad Korshuov [14], Bollobás [3] ad Komlós ad Szemerédi [13] idepedely proved ha for every fixed posiive ε ad p 1+ε)log, he radom graph G,p) is a.a.s. Hamiloia. See he boo of Bollobás [4] for a comprehesive overview of resuls o pahs ad cycles i radom graphs. I his paper we sudy geeralizaios of he above meioed resuls. Our goal is o exed classical resuls o radom graphs o a more geeral class of graphs. More precisely, we would lie o replace he hos graph, ae o be he complee graph i he classical seig, by a graph of large miimum degree, ad o fid a.a.s. log pahs ad cycles i radom subgraphs of large miimum degree graphs. Throughou he paper, we will oly cosider fiie graphs. Our firs wo heorems sudy pahs. Theorem 1.1. Le G be a fiie graph wih miimum degree a leas, ad le p = c for some posiive c saisfyig c = o) c is o ecessarily fixed). The a.a.s. G p coais a pah of legh 1 2c 1/2 ). We ca also a.a.s. fid a pah of legh exacly, give ha p is sufficiely large. Theorem 1.2. Le ε be a fixed posiive real. For a fiie graph G of miimum degree a leas ad a real p 1+ε)log, G p a.a.s. coais a pah of legh. Noe ha we parameerize our graph i erms of is miimum degree. Hece i should be udersood ha here are uderlyig sequeces of graphs {G i } i=1 ad probabiliies {p i} i=1 where he miimum degrees of graphs ed o ifiiy, ad he saemes above hold wih probabiliy edig o 1 as i eds o ifiiy. Sice we ca ae G o be he complee graph K +1 o + 1 verices, our heorems ca be viewed as geeralizaios of classical resuls o he exisece of log pahs i G, p). I paricular, Theorem 1.1 geeralizes he resul of Ajai, Komlós, ad Szemerédi ad of Feradez de la Vega, ad Theorem 1.2 geeralizes he resul of Bollobás, ad of Komlós ad Szemerédi. Our heorem ca also be placed i a slighly differe coex. Recely here has bee a umber of papers revisiig classical exremal graph heoreical resuls of he ype if a graph G saisfies cerai codiio, he i has some propery P, by asig he followig quesio: How srogly does G possess P?. I oher words, oe aemps o measure he robusess of G wih respec o he propery P. For example, call a graph o verices a Dirac graph, if i has miimum degree a leas 2. Cosider he above meioed heorem which assers ha all Dirac graphs are Hamiloia. 2

3 There are several possible ways oe ca measure he robusess of his heorem. Cucler ad Kah [6], cofirmig a cojecure of Sárözy, Selow, ad Szemerédi [22], measured he robusess by couig he miimum umber of Hamilo cycles i Dirac graphs ad proved ha all Dirac graphs coai a leas! 2+o1)) Hamilo cycles. I a rece paper [15], we measured he robusess by aig radom subgraphs of Dirac graphs ad proved ha for every Dirac graph G o verices ad p log, a radom subgraph G p is a.a.s. Hamiloia. I he same paper, we also discussed a aleraive measure of robusess where oe aalyzes he biased Maer-Breaer Hamiloiciy game o he Dirac graph. The cocep of resiliece of graphs is aoher framewor which allows oe o measure robusess of graphs. See, e.g., he paper of Sudaov ad Vu [23] for more deails. Noe ha Theorem 1.2 i fac measures he robusess of graphs of miimum degree a leas wih respec o coaiig pahs of legh, by aig radom subgraphs. We ca also a.a.s. fid log cycles i radom subgraphs of graphs wih large miimum degree. Theorem 1.3. Le ω be a fucio edig o ifiiy wih ad le ε be a fixed posiive real. For a fiie graph G of miimum degree a leas ad p ω, G p a.a.s. coais a cycle of legh a leas 1 ε). Similarly o above, Theorem 1.3 ca be cosidered as a geeralizaio of Bollobás, Feer, ad Frieze s resul. Also oe ha his heorem implies a wea form of Theorem 1.1. The proof of his heorem is much more ivolved compared o he wo previous heorems. The mai echique we use i provig our heorems is a echique recely developed i [2, 16], based o he deph firs search algorihm. I Secio 2, we discuss his echique i deail ad also provide some probabilisic ools ha we will eed laer. Usig hese ools, i Secio 3 we prove Theorems 1.1 ad 1.2. The i Secio 4 we prove Theorem 1.3. Noaio. A graph G = V,E) is give by a pair of is verex se V = VG) ad edge se E = EG). We use G or V o deoe he order of he graph. For a subse X of verices, we use ex) o deoe he umber of edges spaed by X, ad for wo ses X,Y, we use ex,y) o deoe he umber of pairs x,y) such ha x X, y Y, for which {x,y} is a edge oe ha ex,x) = 2eX)). G[X] deoes he subgraph of G iduced by a subse of verices X. We use NX) o deoe he collecio of verices which are adjace o some verex of X we do o require X ad NX) o be disjoi). For wo graphs G 1 ad G 2 over he same verex se V, we defie heir iersecio as G 1 G 2 = V,EG 1 ) EG 2 )), heir uio as G 1 G 2 = V,EG 1 ) EG 2 )), ad heir differece as G 1 \G 2 = V,EG 1 )\EG 2 )). Moreover, we le G\X be he iduced subgraph G[V \X]. Whe here are several graphs uder cosideraio, o avoid ambiguiy, we use subscrips such as N G X) o idicae he graph ha we are currely ieresed i. We also use subscrips wih asympoic oaios o idicae depedecy. For example, O ε will be used o idicae ha he hidde cosa depeds o ε. To simplify he preseaio, we ofe omi floor ad ceilig sigs wheever hese are o crucial ad mae o aemps o opimize absolue cosas ivolved. We also assume ha he parameer which will deoe he miimum degree of he graph uder cosideraio) eds o ifiiy ad herefore is sufficiely large wheever ecessary. All logarihms will be i base e

4 2 Prelimiaries 2.1 Deph firs search algorihm Our argume will uilize repeaedly he oio of he deph firs search algorihm. This is a well ow graph exploraio algorihm, ad we briefly describe i i his secio. The DFS sadig for Deph Firs Search) algorihm is a graph search algorihm ha visis all verices of a graph G = V,E) as follows. I maiais hree ses of verices, where S is he se of verices whose exploraio is complee, T is he se of uvisied verices, ad U = V \ S T). The verices of U are ep i a sac he las i, firs ou daa srucure). These hree ses will be updaed as he algorihm proceeds. We assume ha some order σ o he verices of G is fixed, ad he algorihm prioriizes verices accordig o σ. The algorihm sars wih S = U = ad T = V, ad rus uil U T =. A each roud of he algorihm, if he se U is o-empy, he algorihm queries T for eighbors of he las verex v ha has bee added o U, scaig T accordig o σ. If v has a eighbor u i T, he algorihm delees u from T ad isers i io U. If v does o have a eighbor i T, he v is popped ou of U ad is moved o S. If U is empy, he algorihm chooses he firs verex of T accordig o σ, delees i from T ad pushes i io U. Observe ha a he ime we reach U T =, we obai a rooed spaigfores of our graph he roo of each ree is he firs verex added o i). A his sage, i order o complee he exploraio of he graph, we mae he algorihm o query all remaiig pairs of verices i S = V, o queried before, i a arbirary fixed order. The followig properies of he DFS algorihm will be releva o us: if T, he every posiively aswered query icreases he size of S U by oe however, oe ha havig h posiive queries will oly guaraee ha S U h, o S U = h, sice S U ca also icrease a a sep where he sac U is empy); he se U always spas a pah ideed, whe a verex u is added o U, i happes so because u is a eighbor of he las verex v i U; hus, u augmes he pah spaed by U, of which v is he las verex); a ay sage, G has o edges bewee he curre se S ad he curre se T; for every edge {v,w} of he graph, here exiss a ree compoe i he fores produced by he DFS algorihm, i which v lies o he pah from w o he roo of he compoe, or vice versa. I his paper, we uilize he DFS algorihm o radom graphs, ad will expose a edge oly a he mome a which he exisece of i is queried by he algorihm. More precisely, give a graph G ad a real p [0,1], fix a order σ o be a arbirary permuaio, ad assume ha here is a of i.i.d. Beroulli radom variables wih parameer p, which we call as he query sequece. The DFS algorihm ges a aswer o is i-h query, asig wheher some edge of G exiss i G p or o, accordig o he value of X i ; hus he query is aswered posiively if X i = 1, ad is aswered egaively oherwise. Hece, he edge i G whoseexisece will beexamied o he i-h query, depeds o he oucome of he radomized algorihm. Noe ha he obaied graph is disribued accordig o G p. Recely, Krivelevich ad Sudaov [16] successfully used his uderlyig sequece X = X i ) eg) i=1 idea o give a simple proof ha p = 1 is a sharp hreshold for he appearace of a gia compoe i a radom graph. 4

5 2.2 Probabilisic ools We will repeaedly use he echique ow as sprilig. Suppose ha for some probabiliy p, we wish o esablish he fac G p P. I is ofe more coveie o esablish his fac idirecly by choosig p 1 ad p 2 so ha G p ad G p1 G p2 have he same disribuio G p1 ad G p2 are idepede). We he prove ha G p1 P 1 ad G p2 P 2 for some properies P 1 ad P 2 which ogeher will imply he fac ha G p1 G p2 P. Of course, a similar argume ca be applied whe we spli he graph io several idepede copies of radom subgraphs formed wih probabiliies p 1,p 2,,p. Suppose ha we have reals 0 p,p 1,,p 1 ad p 1,,p = o1) saisfyig p = i=1 p i. The he probabiliy of a fixed pair of verices formig a edge i G p1 G p is 1 1 p 1 ) 1 p ) = 1 o1))p. Therefore, i his case G p1 G p has he same disribuio as G 1 o1))p, ad hus for coveiece, we cosider G p1 G p isead of he graph G p, eve hough he disribuio is o exacly he same. Sice we are oly ieresed i moooe properies P, if we have G 1 o1))p P a.a.s., he we also have G p P a.a.s. Moreover, whe we are give he values of p 1,p 2,... beforehad, i is useful o expose he graphs G pi oe a a ime. By sayig ha we sprile he ex roud of edges, we suppose ha we cosider he oucome of he graph G pi for he firs idex i for which G pi has o bee exposed. The followig wo coceraio resuls are he mai probabilisic ools of his paper see, e.g., [20]). The firs heorem is Cheroff s iequaliy. Theorem 2.1. Le λ p be a posiive real. If X is a biomial radom variable wih parameers ad p, he P X p λ ) 2e λ2 /3p). We will also use he followig coceraio resul proved by Hoeffdig [20, Theorem 2.3]. Theorem 2.2. Le X 1,,X be idepede radom variables, wih 0 X 1 for each. Le S = =1 X ad µ = E[S ]. The for every posiive ε, PS 1+ε)µ) e ε 2 µ 21+ε/3). 3 Log Pahs I his secio we prove Theorems 1.1 ad 1.2. Our firs heorem is a slighly sroger versio of Theorem 1.1. Theorem 3.1. Le p = c for some c = o), ad le G be a graph of miimum degree a leas. i) G p a.a.s. coais a pah of legh 1 2c 1/2 ). ii) If G is a biparie graph, he G p a.a.s. coais a pah of legh 2 6c 1/2 ). iii) If c eds o ifiiy wih, he for a fixed verex v, here a.a.s. exiss a pah of legh 1 2c 1/2 ) i G p which sars a verex v. Proof. If c < 4, he he coclusios are vacuously rue. Thus we may assume c 4, ad he for ε := c 1/2, we have ε

6 We will apply he DFS algorihm o he radom graph G p, as described i Secio 2. Give a verex v, le σ be a arbirary orderig of he verices which has v as is firs verex. Also assume ha we have a uderlyig query sequece X. i)bycheroff siequaliy, aferexamiighequerysequecefor p = 2 c rouds,heprobabiliy of receivig a leas 1 ε) posiive aswers is a leas 1 e ε2 2 /3) = 1 e ε2 /3 = 1 o1). Codiio o his eve, ad we have S U 1 ε). Cosider he ime a which we reach S U = 1 ε) sice S = V i he ed ad S chages by a mos oe a each sep, here ecessarily exiss such a mome). Noe ha we ased less ha 2 c queries uil his sage. Suppose ha a his ime our se U is of size a mos 1 2ε). The we have S > ε. Moreover, sice he give graph has miimum degree a leas, each verex i S has a leas S U ε eighbors i T i he graph G. All he edges bewee S ad T mus have bee queried by he algorihm ad give a egaive aswer. Therefore, i order o be i a siuaio as above, we mus have a leas S ε > ε 2 2 egaive aswers i our query sequece. However, sice we ased a mos 2 c = ε2 2 queries i oal, his cao happe. Thus we coclude ha U 1 2ε) = 1 2c 1/2 ), which implies ha here exiss a pah of legh a leas 1 2c 1/2 ), sice he verices i U form a pah. ii) By Cheroff s iequaliy, afer examiig he query sequece for 2 p = 22 c rouds, we a.a.s. have S U 2 5ε). Codiio o his eve, ad cosider he ime a which we reach S = ε. If U > 2 6ε) a ha poi, he he verices i U form a pah of legh a leas 2 6ε). Thus assume ha U 2 6ε). Sice S U 2 5ε), we examied he eries X i of he sequece X, oly for idices i 22 c. Moreover, sice he give graph is biparie, has miimum degree a leas, ad U is a pah, each verex i S has a leas S 1 2 U 2ε eighbors i T i G. Therefore, we mus have a leas S 2ε > 2ε 2 2 egaive aswers i our query sequece so far. However, sice we ased a mos 22 c = 2ε 2 2 queries, his cao happe. Therefore, G p a.a.s. coais a pah of legh 2 6c 1/2 ). iii) Le B be he eve ha here are less ha 1 ε) posiive aswers amog he firs p rouds of he query sequece. By Cheroff s iequaliy, we have PB) 2e ε2 /3 = o1). As we have see i he proof of i), if B does o hold, he here exiss a pah of legh a leas 1 2ε). I order o compue he probabiliy ha here is a pah of legh 1 2ε) sarig a v, we will boud he probabiliy of he eve ha U durig all he seps ivolved i reachig S U = 1 ε), sice if his is he case, he he pah of legh 1 2ε) ha we foud above ecessarily sars a v recall ha v is he firs verex i σ). Le A i be he eve ha U = a he ime we reach S U = i, hus we ecessarily have S = i if his eve occurs. Sice i 1 ε), each verex i S has a leas ε eighbors i T i G a ha mome. Therefore, whe A i occurred, we received a mos i posiive aswers ad a leas i ε egaive aswers o our queries. Thus we ca boud he probabiliy ha A i occurs from above by he probabiliy of he eve ha here are a mos i posiive aswers amog he firs i ε queries. Hece by Cheroff s iequaliy wih λ = iεc/2 i, we have PA i ) 2e iεc)2 /12iεc) = 2e ic1/2 /12. 6

7 By he uio boud, we ge 1 ε) P B i=1 sice c eds o ifiiy wih. ) 1 ε) A i PB)+ i=1 1 ε) PA i ) = o1)+ 2 +o1) = o1), e c1/2 /12 1 i=1 2e c1/2 /12 ) i The secod ad he hird pars of our previous heorem ur ou o be useful i provig Theorem 1.2. Give a graph G, cosider a pah P = v 0,v 1,,v l ) of legh l i G. Suppose we wish o fid a pah loger ha P i G. This could immediaely be doe if here exiss a edge {v l,x} for some x / VP). Pósa oiced ha a edge of he form {v l,v i } ca also be useful, sice if such a edge is prese i he graph, he we have a pah P = v 0,,v i,v l,v l 1,,v i+1 ) of legh l i our graph. Therefore, ow we also ca fid a pah of legh greaer ha l if here exiss a edge of he form {v i+1,x} for some x / VP). Pósa s roaio-exesio echique is employed by repeaedly roaig he pah uil we ca exed i. We firs sae a special case of Theorem 1.2, which ca be hadled by usig Pósa s roaioexesio echique. Sice he proof is quie sadard, we defer i o laer. Theorem 3.2. There exiss a posiive real ε 0 such ha followig holds for every fixed posiive real ε ε 0. Le G be a graph o verices of miimum degree a leas 1 ε), ad assume ha 1+ε). For p 1+4ε)log, a radom subgraph G p is Hamiloia a.a.s. Proof of Theorem 1.2. We may assume ha ε is give so ha ε mi{ ε 0 48, } where ε 0 is give i Theorem 3.2, sice he coclusio for larger values of ε follows immediaely by moooiciy. Se p 1 = p 2 = p 3 = εlog, p 4 = 1+52ε)log, ad p = 1+55ε)log. We will show ha G p1 G p2 G p3 G p4 a.a.s. coais a pah of legh. This will i ur imply ha G p a.a.s. coais a pah of legh as discussed i Secio 2. Give a graph G of miimum degree a leas, by Theorem 1.1, we ow ha G p1 a.a.s. coais a pah P of legh l = 1 ε). Le X VG)\VP) be he se of verices ouside P which have a leas 1 10ε) P eighbors i VP). We cosider wo cases depedig o he size of X. Case 1. X 2ε. Redefie X as a arbirary subse of iself of size exacly 2ε P 2ε. Pariio he pah P io 1 2ε iervals P 1,,P 1/2ε, each of legh 2ε P. By he averagig argume, oe ca see ha here exiss a ierval P i for which ex,p i ) 1 10ε) X P i. Cosider he biparie graph Γ iduced by he wo pars X ad P i, ad oe ha he umber of o-adjace pairs is a mos 10ε X P i also oe ha X = P i ). Repeaedly remove verices from Γ which have degree a mos 1 8ε 1/2 ) X. As log as he oal umber of removed verices is a mos 4ε 1/2 X, each such deleio accous for a leas 4ε 1/2 X o-adjace pairs of Γ. Thus if we coiued he removal for a leas 4ε 1/2 X seps, he by couig he umber of o-adjace pairs i Γ i wo ways, we have 4ε 1/2 X 4ε 1/2 X 10ε X P i, which is a coradicio. Hece, he deleio process sops a some sep, ad we obai a subgraph Γ 1 of Γ of miimum degree a leas 1 8ε 1/2 ) X. 7

8 Le P i,0 ad P i,1 ) be he lefmos ad righmos) 9ε 1/2 P i verices of he ierval P i. Eve afer removig he verices P i,0,p i,1 from Γ 1, we are lef wih a graph Γ 2 of miimum degree a leas 1 8ε 1/2 ) X 18ε 1/2 P i = 1 26ε 1/2 ) X 9 10 X. ByTheorem3.1ii), siceγ 2 isabipariegraph,iγ 2 ) p2 G p2, wecafidapahofleghaleas o1)) X 5 3 X. By removig a mos wo verices, we may assume ha he wo edpois x ad y of his pah are boh i X. Sice Γ 1 has miimum degree a leas 1 8ε 1/2 ) P i, boh of hese edpois have a leas ε 1/2 P i ε 3/2 eighbors i he ses P i,0 ad P i,1. By Cheroff s iequaliy, i he graph Γ 1 ) p3 G p3, we a.a.s. ca fid edges of he form {x,x 0 } ad {y,y 1 } for x 0 P i,0 ad y 1 P i,1. Thus i he graph G p2 G p3, we foud a pah of legh a leas 5 3 X which sars a x 0, eds a y 1, ad uses oly verices from X P i \P i,0 P i,1 )) as ieral verices. Togeher wih he pah P, his gives a pah of legh a leas i G p1 G p2 G p3. Case 2. X < 2ε. P P i X P X = ε), Le P = v 0,v 1,,v l ). Le A 0 = X VP) ad B 0 = V \A 0. Noe ha A 0 < 1+ε), ad G[B 0 ] has miimum degree a leas 10ε P X 7ε. If v l has a leas ε 2 eighbors i B 0 i G, he by Cheroff s iequaliy, i G p2, we a.a.s. ca fid a edge {v l,w} for some w B 0. Aferwards, by Theorem 3.1 ii), we a.a.s. ca fid a pah of legh a leas 5ε i G p3 [B 0 ] sarig a w. Togeher wih P, hese will form a pah of legh l+1+5ε 1+4ε). Thus we may assume ha v l has a leas 1 ε 2 ) eighbors i A 0. Le Y A 0 be he se of verices which have a mos 1 10ε) P eighbors i A 0 i G. Noe ha he verices i Y have a leas 1 10ε) P 10ε eighbors i B 0. Moreover, by he defiiio of he se X, all verices of Y belog o VP). Suppose ha Y 2ε. The sice A 0 1+ε), here are a leas 1 ε ) A 0 Y ) ε 2 2 edges i G of he form {v l,v i 1 } where v i Y, ad a.a.s. i G p2 we ca fid oe such edge {v l,v i 1 }. Aferwards, sice v i has a leas 10ε eighbors i B 0 i G, we a.a.s. ca fid a edge {v i,w} i G p2 for some w B 0. By Theorem 3.1 iii), here a.a.s. exiss a pah P of legh a leas 5ε sarig a w i G p3. The pahs P ad P ogeher wih he edges {v l,v i 1 } ad {v i,w} will give a pah of legh a leas 1+4ε). If Y < 2ε, he le A 1 = A 0 \Y ad le B 1 = V \A 1. Noe ha A 1 1 3ε), ad G[A 1 ] has miimum degree a leas 1 10ε) P 2ε 1 13ε). If +1 A 1 < 1+ε), he we use Theorem 3.2 o fid a.a.s. a pah of legh iside A 1 i G p4. Fially, if A 1, he sice G has miimum degree a leas, we have ea 1,B 1 ) A 1 +1 A 1 ). Thus i G p2, we ca fid a.a.s. a edge {v,w} such ha v A 1 ad w B 1. If w B 0, he Theorem 3.2 a.a.s. gives a pah of legh a leas A ε) 1 1 4ε) i G[A 1 ] p4 sarig a v, ad Theorem 3.1 iii) a.a.s. gives a pah of legh a leas 6ε i G[B 0 ] p3 sarig a w. These wo pahs ogeher wih he edge {v,w} will give a pah of legh a leas 1+2ε). Fially, if w B 1 \B 0, he w coais a leas 10ε Y 8ε eighbors i he se B 0. Therefore i G p2, we a.a.s. ca fid a edge {w,w } such ha w B 0. Aferwards, we ca proceed as i he previous case o fiish he proof. 8

9 We coclude he secio wih he proof of Theorem 3.2. Proof of Theorem 3.2. Le ε be a small eough cosa, ad le s = log) 3/4. Le p = 1+3ε)log Sice ad p 1 = = p s = log)5/4. We will prove ha G 2 p G p1 G ps is a.a.s. Hamiloia. p 1 + +p s = s log)5/4 2 = log)1/2, his will imply ha G 1+4ε)log/ a.a.s. coais a Hamilo cycle. We firs claim ha G p a.a.s. saisfies he followig properies. 1. for every subse A of verices of size A log) 3/2, we have N Gp A) ε 3 A log, 2. for every subse A of verices of size A log) 3/4, we have N Gp A) 1 4ε), ad 3. G p is coeced. We prove hese claims hrough provig ha G p a.a.s. has he followig properies: a) miimum degree is a leas ε 2 log, b) for all pairs of ses A ad B of sizes A ε 2 2 A log, ad c) for all pairs of ses A ad B of sizes A log) 3/2 ad B ε 3 A log, have e Gp A,B) < log) 3/4 ad B 3ε, have e Gp A,B) > 0. For a fixed verex v, he probabiliy v has degree less ha ε 2 log i he graph G p is ε 2 log i=0 degg v) i ) p i 1 p) deg G v) i ε 2 log i=0 ε 2 log i=0 ε 2 log i=0 1 ε) i e1 ε) i ε 2 log+1) ) p i 1 p) 1 ε) i p ) i 1 p) 1 ε) 1 p e1+3ε)log ) i e 1+ε)log i e1+3ε) ) ε2log e 1+ε)log ε 2, which is o 1 ) give ha ε is small eough. By aig he uio boud over all 1 + ε) verices, we ca deduce a). For b), le A be a se of size ad le B be a se of size log) 3/2 ε 3 log. If e Gp A,B) ε2 2 log ad A ad B are o disjoi, he le A = A \B, B = B \ A, ad add he verices i A B, idepedely ad uiformly a radom o A or B. By lieariy of expecaio, we have E[e Gp A,B )] 1 4 e G p A,B) ε2 8 log. Hece here exiss a choice of disjoi ses A A ad B NA) such ha e Gp A,B ) ε2 8 log. Therefore i suffices o show ha for every pair of disjoi ses A ad B saisfyig he boud o he 9

10 sizes give i b), we have e Gp A,B) < ε2 8 log. The probabiliy ha e G p A,B) ε2 8 log is a mos ) A B ε 2 p ε2log/8 log/8 eε 3 2 ) ε log 2 log/8 ε ε 2 p ε2log/8 = 8eεp) 2 log/8. log/8 By aig he uio boud over all possible ses, we see ha he probabiliy of havig a pair of ses violaig b) is a mos /log) 3/2 =1 ) 2 ε 3 8eεp log ) ε 2 /log) log/8 3/2 =1 e ε 3 log ) 16ε 16eεlog ) ε 2 log/8. By cosiderig all he variables oher ha as cosa, he logarihm of he summad o he righ had side ca be expressed as alog+b for some reals a > 0 ad b give ha 8ε < 1). Sice he secod derivaive of his fucio is posiive, he maximum of he summad occurs eiher a = 1 or = /log) 3/2. From his, oe ca deduce ha he summad is always o 1 ) ad he sum is o1). For c), firs cosider a fixed pair of ses A ad B of sizes A log) 3/4 ad B 3ε. Sice he umber of verices of he graph is 1 + ε) ad miimum degree is a leas 1 ε), we have e G A,B) 1 2 A ε. Therefore, E[e G p A,B)] ε 2 log)1/4, ad by Cheroff s iequaliy, he probabiliy ha e Gp A,B) = 0 is a mos e Ωεlog)1/4). Sice he umber of pairs of ses A,B) is a mos 2 2, we ca ae he uio boud over all choices of A ad B o see ha c) hold. Codiiooheeve ha a), b), adc) holds. Theforase A ofsizea mos A log) 3/2, oe ha by a) we have e Gp A,N Gp A)) A ε 2 log. The by b), we have N Gp A) > ε 3 A log. Therefore we have Propery 1. For Propery 2, le A be a se of size a leas. If N log) 3/4 Gp A) < 1 4ε), he here are o edges bewee A ad B = V \N Gp A) recall ha A ad N Gp A) are o ecessarily disjoi), where B 1 4ε) 3ε. This coradics c) ad cao happe. Thus we have Propery 2 as well. Propery 3 follows from Properies 1 ad 2, sice hey imply ha all coeced compoes are of order a leas 1 4ε) > 1 2. Codiio o he eve ha G p saisfies Properies 1, 2, ad 3 give above. We claim ha G p coais a pah of legh a leas, ad for all i, codiioed o he eve ha log) 3/4 log) 3/4 a loges pah i G p G p1 G pi 1 is of legh l i, G p G p1 G pi coais a cycle of legh l i +1 wih probabiliy a leas 1 o 1 ). Sice G p is coeced, his will imply ha as log as he graph does o coai a Hamilo pah, he legh of a loges pah icreases by a leas oe i every roud of sprilig. Sice we sar wih a cycle of legh a leas, his will prove log) 3/4 ha he fial graph is a.a.s. Hamiloia. Le P = v 0,,v li ) be a loges pah i he graph G i = G p G p1 G pi 1 for some i 1. For a se X = {v a1,,v a }, we le X = {v a1 1,,v a 1} ad X + = {v a1 +1,,v a +1} if he idex becomes eiher 0 or l i +1, he we remove he correspodig verex from he se). Noe ha for all ses X, we have X X + X VP). Le X 0 = {v 0 }. We will ieraively cosruc ses X for = 0,1, of size X ε3 log 4 ), as log as X, such ha X log) 3/2 X 1, ad for every verex v X, here exiss a pah of legh l i over he verex se VP) which sars a v ad eds i v li. Give a se X 1, if N Gi X 1 ) VP), he we ca fid a pah of legh a leas l i +1 i G i, which coradics he assumpio o maximaliy of P. Therefore, N Gi X 1 ) VP), ad each verex i N Gi X 1 )\X 1 X 1 X+ 1 ) gives rise o a edpoi from which here exiss a pah of legh l i, ad a mos wo such verices ca give 10

11 rise o he same edpoi see he discussio before he saeme of Theorem 3.2). Le X be he uio of X 1 wih he se of edpois obaied as above. We have, X X N G i X 1 )\X 1 X 1 X+ 1 ) 1 2 N G i X 1 ) 1 2 X 1 1 ε 2 X 1 ε 3 3 log log 1) 4 where we used Propery 1 i he secod o las iequaliy). Repea he argume uil he firs ime we reach a se of size X >, ad redefie X log) 3/2 as a subse of size exacly log) 3/2 which coais X 1. By repeaig he argume above, we ca fid a se X +1 of size a leas ε 3 log 4 >. By repeaig he argume oce more ow usig Propery 2 isead of log) 3/2 log) 3/4 Propery 1), we ca fid a se X +2 of size a leas ε). For each verex v X +2, here exiss a pah of legh l i which sars a v ad uses oly verices from VP). Thus if here exiss a edge bewee X +2 ad V \VP) i G i, he we ca fid a pah of legh a leas l i + 1 ad coradic maximaliy of P. If V \ VP), he Propery log) 3/4 2 implies he exisece of such edge sice ε) + 1 4ε) > ). This shows ha we have l i for all i 1. I paricular, G log) 3/4 p coais a pah of legh a leas. For log) 3/4 each verex v X r+2, by applyig he argume of he previous paragraph o he oher edpoi of he pah sarig a v, we ca fid a se Y v of size a leas ε) such ha for every w Y v, here exiss a pah of legh l i which sars a v ad eds a w. Sice 1+ε) ad he miimum degree of G is a leas 1 ε), here are a leas ε) 2ε ) pairs such ha if some pair appears i G pi, he G pi coais a cycle of legh l i +1. Sice p i = log)5/4, by Cheroff s 2 iequaliy, he probabiliy ha such edge appears i G pi is a leas 1 e Ωlog)5/4) = 1 o 1 ). This proves our claim. 4 Cycles of legh 1 o1)) I his secio we prove Theorem High coeciviy ad log cycles We sar wih a simple lemma based o he DFS algorihm which allows us o claim he a.a.s. exisece of a cycle of legh liear i he average degree of he graph. ) Lemma 4.1. Le α be a fixed posiive real. Le G be a graph of average degree α, ad le p = ω for some fucio ω = ω) ha eds o ifiiy as does. The G p a.a.s. coais a cycle of legh a leas ω )α. Moreover, if G is a biparie graph, he G p a.a.s. coais a cycle of legh a leas 1 10 ω )α. Proof. Le be he umber of verices of G ad se p 1 = p 2 = ω 2 1. We will show ha G p 1 G p2 a.a.s. coais a cycle of legh a leas ω )α. Cosider he DFS algorihm applied o he graph G p1 sarig from a arbirary verex. By Cheroff s iequaliy, afer examiig he query sequece for 2 p 1 seps, we a.a.s. receive a leas 11

12 posiive aswers. Codiio o his eve. A he ime a which T becomes a empy se herefore whe we complee explorig he compoe srucure), we ow ha sice S U =, he legh of he query sequece is a mos 2 p 1. The rooed spaig fores we foud iduces a parial order o he verices of he graph, where for wo verices x,y, we have x < y if ad oly if x is a predecessor of y i oe of he rooed rees i he spaig fores. I he DFS algorihm, every edge {x,y} of G for which x ad y are icomparable i he parial order, mus have bee queried ad aswered egaively. Therefore, here ca oly be a mos 2 p 1 such edges. Sice he average degree of he graph is α, his meas ha here are a leas α 2 2 p αω ) α edges {x,y} of G for which x < y or y < x. Hece, here exiss a verex v icide o a leas αω )α edges {w,v} of G for which w < v. By defiiio, he oher edpoi of all hese edges lie o he pah from v o he roo of he ree ha v belogs o. The probabiliy ha oe of he edges amog he α ω farhes reachig edges appear is 1 1 p) α/ ω 1 e α ω = 1 o1). Thus here a.a.s. exiss a leas oe edge amog he farhes reachig α ω edges. This edge gives a cycle of legh a leas ω )α. Moreover, if G is a biparie graph, he his edge gives a cycle of legh 1 10 ω )α, sice he verex v ca oly be adjace o every oher verex i he pah from v o he roo of he ree ha coais v. Le be a posiive ieger. A graph G is -verex-coeced or -coeced i shor) if for every se S of a mos 1 verices, he graph G\S is coeced. Here we sae some facs abou highlycoeced graphs wihou proof. The fourh par is a resul of Mader [18], ad he fifh par is a resul of Meger [19]. We refer readers o Diesel s graph heory boo [7] for more iformaio o highly-coeced graphs. Lemma 4.2. Le be a posiive ieger, ad le G, G be -coeced graphs. i) G remais coeced eve afer removig a combiaio of 1 edges ad verices. ii) If v / VG) has a leas eighbors i G, he G {v} is also -coeced. iii) If VG) VG ), he G G is also -coeced. iv) Every graph of average degree a leas 4 coais a -coeced subgraph. v) For every pair of subses A ad B of VG), here are mi{, A, B } verex-disjoi pahs i G ha coec A ad B. The mai sraegy we use i provig Theorem 1.3 is o fid i he radom subgraph a highly coeced subgraph ha coais may verex disjoi cycles. Lemma 4.1 will be used o fid verex disjoi cycles. Aferwards he coeciviy codiio will allow us o pach he cycles io a log cycle of desired legh. This is similar i spiri o a heorem of Loce [17] which assers ha a 3-coeced graph wih a pah of legh l coais a cycle of legh a leas 2 5 l. Lemma 4.3. Le α be a fixed posiive real, be a fixed posiive ieger, ad le p = ω for some fucio ω = ω) ha eds o ifiiy as does. Le G 1 ad G 2 be graphs defied over he same se of verices. Suppose ha a leas 1 1 ) verices of G 1 have degree a leas α, ad ha G 2 is -coeced. The he graph G 1 ) p G 2 a.a.s. coais a cycle of legh a leas 1 10 )α. 12

13 Proof. Le p 1 = p 2 = = p = ω. Suppose ha we have foud a cycle of legh l 1 10 )α afer i 1 rouds of sprilig. We claim ha we ca he fid a.a.s. a cycle of legh a leas 1 1 2α )l+, by sprilig oe more roud wih probabiliy p i. If his is he case, he sice 1 1 2α ) )l+ l = 2α l 2 1 ) α = 1 α, afer sprilig a mos rouds, we will a.a.s. fid a cycle of legh a leas 1 10 )α. To prove he claim, suppose ha we are give a cycle C of legh l 1 10 )α. Le V = V \VC). SiceG 1 has 1 1 ) verices of degree a leas α, hegraph G[V ] has a leas 1 1 ) l verices which have degree a leas α l 10 α. Therefore he average degree of G[V ] is a leas 1 1 ) l ) 10 α l which is miimized whe l is maximized. Sice l 1 10 G[V ] is a leas = 1 1 l ) 10 l) α = ) 10 /l 1) α, ) ) α = 9 α. 10 )α 1 ), he average degree of Thus by Lemma 4.1, afer sprilig oe more roud, we a.a.s. ca fid a cycle C i G[V ] of legh a leas 1 2 o1))9α 4α. SiceG 2 is a-coeced graph, hereexis verex disjoipahs ha coec C o C see Lemma 4.2 v)). Amog hese pahs, cosider he wo whose iersecio poi wih C are closes o each oher alog he disace iduced by C). Usig hese wo pahs o merge C ad C, we a.a.s. ca fid a cycle of legh a leas as claimed. 1 1 ) VC) VC ) 1 1 ) l+ 2α, Our ex lemma is similar o he lemma above, bu will be applied uder slighly differe circumsaces. Lemma 4.4. Suppose ha l ad are give iegers saisfyig l. Le G be a -verex-coeced graph ha coais s verex-disjoi cycles of leghs a leas l each. The G coais a cycle of legh a leas 1 s ) s 1l+ s 2 i=0 1 s ) i l 2. Thus if is large eough depedig o s, he G coais a cycle of legh a leas s 2 l. Proof. We will fid a cycle of desired legh by a ieraive process; for h = 1,2,,s, afer he h-h sep, we fid a cycle of legh a leas l h = 1 s )h 1 l+ h 2 ) i=0 1 s i l 2, ad s h oher cycles of legh a leas l each which are all verex-disjoi. Noe ha he saeme is vacuously rue for h = 1 by he give codiio. The saeme for h = s correspods o he same of he lemma. 13

14 Give a cycle C h of legh a leas l h ad s h oher verex disjoi cycles of legh a leas l each, le X = VC h ) ad Y be he uio of he se of verices of he cycles of legh a leas l. By he -coeciviy of our graph, Lemma 4.2 v), ad he fac mi{ X, Y } l, we see ha here are verex-disjoi pahs ha coec X o Y. By he pigeohole priciple, a leas s h of hese pahs coec he cycle of legh a leas l h o oe fixed cycle of legh a leas l. Amog hese pahs, cosider he wo whose iersecio pois wih C h are closes o each oher. Usig hese wo pahs, we ca fid a cycle of legh a leas 1 s h )l h + l 2 1 s ) l h + l 2 = l h+1. Moreover, oe ha we sill have a leas s h 1 verex-disjoi cycles which are also disjoi o he ew cycle we foud. Therefore i he ed, afer he s-h sep, we will fid our desired cycle. For he secod par, oe ha l s = = 1 s 1 s ) s 1l+ s 2 i=0 ) s 1l 2 + s 1 1 s ) i l 1 s 1 2 = s ) s ) l 2. ) s 1l s s ) i l 2 If is large eough depedig o s, we have 1 s )s 1 = 1 o 1) ad 1 1 s )s = s2 O s4 2 ). Therefore i his case, l s i=0 ) l 1 o 1) 2 + s 2 s 4 )) l s O 2 2 s 2 l. 4.2 Fidig log cycles I his subsecio we prove Theorem 1.3. We firs sae a srucural lemma, which a.a.s. fids almos verex-disjoi highly coeced subgraphs i he radom subgraph of our give graph. Aferwards, we will use he lemmas developed i he previous subsecio i order o fid a log cycle i various siuaios. Lemma 4.5. Le ε 1 2 be a fixed posiive real. Le G be a graph o verices wih miimum degree a leas, ad le p = ω for some fucio ω = ω) ha eds o ifiiy as does. Suppose ha G does o coai a biparie subgraph of average degree a leas 5 4. The G p a.a.s. admis a pariio V = X Y of is verex se, ad coais a collecio C of subgraphs of G p saisfyig: a) for every C C, C is logω) 1/5 -coeced; b) he ses X VC) for C C form a pariio of X, ad Y = o); c) for every C C, oe of he followig holds: i) he graph G[VC)] coais a leas 1 ε) VC) verices of degree a leas 1 ε), or 14

15 ii) Y VC) = o VC) ), he graph G[X VC)] coais a leas 1 ε) VC) verices of degree a leas 8, ad here exiss a biparie graph Γ C G wih pars X VC) ad Y \VC) which coais a leas VC) ε2 4 edges ad has maximum degree a mos 8 ε. We defer he proof of he srucural lemma o laer ad firs prove Theorem 1.3 usig he srucural lemma. Le G be a give graph of miimum degree a leas o verices, ad le ε be a give posiive real. For p = ω, i suffices o prove he saeme for ω sice he coclusio for larger ω follows from moooiciy. Se p 1 = p 2 = p 3 = ω 1 3. Suppose ha ε 50 is give for larger values of ε, we may assume ha ε = 1 50 ). Case 1. There exiss a biparie subgraph of G of average degree a leas 5 4. We ca apply Lemma 4.1 o he biparie subgraph o a.a.s. fid a cycle i G p1 of legh a leas 1 o1)) If G does o coai such a biparie subgraph, he we apply Lemma 4.5 o a.a.s. fid a collecio C of subgraphs which iduce highly-coeced subgraphs of G p1. Case 2. There exiss C C such ha Propery c)-i) holds. By Lemma 4.5 a), C is 1 ε coeced, ad we ca apply Lemma 4.3 wih = 1 ε, α = 1 ε, G 1 = G[VC)] ad G 2 = C o a.a.s. obai a cycle of legh a leas 1 10ε) 1 ε) 1 11ε) i G p2 [VC)] C G p1 G p2. Case 3. Propery c)-ii) holds for all C C. For each C C, here exiss a biparie graph Γ C wih pars X VC) ad Y \VC) which has a leas VC) ε2 4 edges ad maximum degree a mos 8 ε. Expose he graph G p 2, ad for each C C, le M C be a maximum machig i Γ C ) p2. Le C = {C C : M C ε3 VC) 128 }. Lemma 4.6. We a.a.s. have C C VC) 2. Proof. For a graph C C, we firs esimae he probabiliy ha C / C. Le X C = X VC), Y C = Y \VC), ad m C be he umber of edges of Γ C hus VC) ε2 4 m C VC) 8 ε ). Sice he maximum degree is a mos 8 ε, we ow ha for every collecio of ε3 VC) 128 verex-disjoi edges, here are a leas VC) ε ε ε2 VC) 8 edges i Γ C o iersecig ay of he edges i he collecio. Therefore he probabiliy ha M C = is a mos ) mc p 2 1 p 2 ) ε2 VC) /8 emc p ) 2 1 p2 ) ε2 VC) /8 e 8 VC) ω ) e ε2 VC) p 2 /8 ε 3 ) 8eω VC) = e ε2 VC) ω/24. 3ε By parameerizig as = α VC) α ε3 128 ), he righ had side becomes ) 8eω α VC) e ε2 VC) ω/24 = e αlog8eω/3αε)) V C) e ε2 VC) ω/24 e ε2 VC) ω/48. 3αε 15

16 By aig he uio boud over all values of from 1 o ε3 VC) 128, we see ha he probabiliy of M C < ε3 VC) 128, or equivalely C / C, is a mos ε 3 VC) 128 e ε2 VC) ω/48 = o1). By Marov s iequaliy, i follows ha C/ C X VC) < 4 a.a.s. If his eve holds, he sice X VC) = 1 o1)) VC) for all C C, we have VC) = 1+o1)) X VC) = 1+o1)) X VC) ) X VC) C C C C C C C/ C = 1+o1)) 1 o1)) ) 4 2. Codiio o he coclusio of Lemma 4.6. Cosider a auxiliary biparie graph Γ over a verex se cosisig of wo pars C ad Y where Y is he se give by Lemma 4.5). A pair {C,y} forms a edge if y is a edpoi of some edge i M C. Sice X VC) 8 ad X = 1 o1)), he umber of verices of Γ is C + Y /8 +o) = o) ad he umber of edges is C C M C ε C C 3 ε3 128 VC) 256. Le 100 be a large eough cosa. By Lemma 4.2 iv), here exiss a -coeced subgraph Γ of Γ over he verex se C 1,,C s,y 1,,y s of Γ. We claim ha he iduced subgraph H of G p1 G p2 o he verex se VC 1 ) VC s ) {y 1,,y s } is -coeced oe ha s,s ). Suppose ha his is he case. The sice he ses VC 1 ) X,,VC s ) X are verex disjoi ad each graph G[VC i ) X] coais a leas 1 ε) VC i ) verices of degree a leas 8, by Lemma 4.3 for each fixed i, G p 3 [VC i ) X] a.a.s. coais a cycle of legh a leas 1 10ε) Thus i H G p 3 we a.a.s. have a leas 1 o1))s verex disjoi cycles of legh a leas 10 i he graph. Sice H is -coeced, for large eough, by Lemma 4.4 we ca use 30 of he verex disjoi cycles o a.a.s. fid i H G p3 G p1 G p2 G p3 a cycle of legh a leas >. Therefore o coclude he proof of Theorem 1.3, i suffices o prove ha H is -coeced. Le S be a subse of a mos 1 verices of VH). I suffices o prove ha H \S is a coeced graph. We do his by exploiig he -coeciviy of Γ. Le v ad w be wo arbirary verices of H \ S. For a verex x S, if x Y, he remove x from Γ. Oherwise, if x X ad here is a machig edge belogig o some M C icide o x, he remove he correspodig edge from Γ oe ha here is a oe-o-oe correspodece bewee such edges ad edges of Γ ). Firs suppose ha v,w X. Sice we removed a mos 1 verices/edges from he graph Γ, wihou loss of geeraliy, here sill exiss a pah C 1 z 1 C 2 z h 1 C h i Γ for v VC 1 ) ad w VC h ). For each z i, here exis verices z i VC i ) \ S ad z i VC i+1 ) \ S such ha {z i,z i } M C i ad {z i,z i } M C i+1. Le z 0 = v ad z h = w. Sice each C i is -coeced, for i = 1,2,,h, we ca fid a pah from z i 1 o z i i C i+1 \S. By combiig hese pahs wih he edges {z i,z i} ad {z i,z i } for i = 1,2,,h 1, we obai a pah from z 0 = v o z h = w. Secod, suppose ha v X ad w Y. Sice we removed a mos 1 edges from H, here exiss a edge of H icide o w whose oher edpoi w is i X. By he case above, we see ha here exiss a pah from v o w which implies ha here is a pah from v o w. The las case whe v,w Y ca be hadled similarly. 16

17 4.3 Proof of he srucural lemma I his subsecio, we prove he srucural lemma, Lemma 4.5. The proof is quie echical so we begi his secio by briefly explaiig is idea. Le C = {C 1,C 2, } beacollecio of edge-disjoi -coeced subgraphsof G p whereis some large ieger), which covers he maximum umber of edges of G 1 ad has he miimum umber of subgraphs i i. Noe ha if he umber of verices of G is O), he he collecio C liely cosis of a sigle subgraph. However, we pu o resricio o he umber of verices, ad hus G p migh eve cosis of several coeced compoes. Thus C is a o-rivial collecio of subgraphs of G p. This collecio will have ieresig properies which will eveually imply our lemma. Noe ha wo subgraphs C i ad C j ca oly share a mos 1 verices sice oherwise C i ad C j ca be combied io a sigle -coeced subgraph of G p o coradic he miimaliy of he collecio. Hece every pair subgraphs i C are almos disjoi. Moreover, if here are oo may edges of he graph G o covered by ay of he subgraphs i C, he we will be able o fid a -coeced subgraph of G 1 which is edge-disjoi o all subgraphs i C ad hus coradics he maximaliy of he collecio. Thus mos edges of G are covered by some subgraph i C. Aferwards, we fid a subcollecio C of C for which he followig holds: he umber of verices which are covered by a leas wo subgraphs i C is small. Moreover, he collecio C will maiai he propery ha mos edges of G are covered by some subgraph. Now le X be he se of verices which are covered by exacly oe subgraph i C, ad Y be he res of he verices. We ca see ha mos edges of G lie wihi subgraphs i he collecio C, ad ha every pair of subgraphs i C are oly allowed o iersec i Y. This illusraes how he srucure claimed i Lemma 4.5 arises from he collecio C. We firs prove he followig lemma, which forms a iermediae sep i provig Lemma 4.5. Lemma 4.7. Le G be a graph o verices wih miimum degree a leas, ad le p = ω for some fucio ω = ω) ha eds o ifiiy as does. Suppose ha G does o coai a biparie subgraph of average degree a leas 5 4. The G p a.a.s. admis a pariio V = X Y of is verex se, ad coais a collecio C of subgraphs saisfyig he followig: a) every graph C C is logω) 1/5 -coeced; b) he ses X VC) for C C form a pariio of X, ad Y = o); c) for every C C, Y VC) = o VC) ) ad he iduced subgraph G[X VC)] coais a leas 1 o1)) VC) verices of degree a leas /8; d) for every C C ad every verex v X VC), here are a mos o) edges of G icide o v whose oher edpoi lies i X \VC). Proof. Le = logω) 1/5 ad V = VG). A sraighforward applicaio of Cheroff s iequaliy ad of he uio boud shows ha G p a.a.s. saisfies he followig propery: for every pair of ses A ad B ha have e G A,B), we have e ω 1/2 Gp A,B) 1 2 ω1/2. Expose G p ad codiio o his eve. Le C be a graph defied over a subse of verices of V. For a edge e of G, we say ha e is covered by C if boh of he edpois of e belog o VC) oe ha his does o ecessarily imply ha e is a edge of C). Le C 0 be a collecio of -coeced edge-disjoi subgraphs of G p of order a leas 4 each, which maximizes he oal umber of edges covered ad whose sum of orders is 17

18 miimized. Noe ha for every pair of graphs C,C C 0, we have VC) VC ) < as oherwise by Lemma 4.2 iii) we ca replace he wo graphs C ad C i C 0 by a sigle graph C C i order o fid a collecio of -coeced edge-disjoi subgraphs ha coradics he miimaliy of sum of orders of he collecio C 0. We will repeaedly apply his idea hroughou his proof; he graphs i C 0 cao be combied o give aoher -coeced subgraph. Sep 1 : Iiial pariio Le X 0 be he se of verices which are coaied i a mos 4 graphs i C 0, ad le Y 0 = V \X 0. Claim 4.8. Y Proof. Cosider a auxiliary biparie graph Γ 0 whose verex se cosiss of wo pars, where oe par is V ad he oher par is C 0. A pair v,c) forms a edge i Γ 0 if v VC). Suppose ha Γ 0 coais a -coeced subgraph Γ 0, ad le C 1,C 2,,C s be he graphs i VΓ 0 ) C 0. We claim ha he uio C σ = C 1 C 2 C s forms a -coeced graph; hus deducig a coradicio o he miimaliy assumpio of C 0. Ideed, suppose ha we removed a se S of 1 verices from C σ, ad le v,w be wo verices which have o bee removed. Sice Γ 0 is -coeced, afer removig S from he V par of he graph Γ 0, we sill have a coeced graph, ad hus wihou loss of geeraliy we ca fid a pah of he form C 1,y 1,C 2,y 2,,y h 1,C h ) i he graph Γ 0 where v C 1 ad w C h. Le y 0 = v ad y h = w. For each i, we have y i 1,y i VC i ), ad sice C i is -coeced, here exiss a pah from y i i o y i i he graph C i \S. By combiig hese pahs, we ca fid a pah from y 0 = v o y h = w i C σ \S. As meioed above, his implies ha we cao have a -coeced subgraph of Γ 0. Sice each verex i Y 0 is coaied i more ha 4 graphs i C 0 ), ad each graph i C 0 is of order a leas 4, he umber of edges of Γ 0 is a leas Y C 0, by Lemma 4.2 iv) we have from which i follows ha Y ) 4 Y C 0 2+ C 0 ), 2 Le X 0 be he subse of verices v X 0 for which here are a leas ω 1/4 edges i G[X 0 ] icide o v ha are o covered by ay of he graphs C C 0. Claim 4.9. X 0 < 3. Proof. Suppose ha X 0. I his case, we claim ha we ca fid a 4 -coeced subgraph 3 of G p which is edge-disjoi from all he graphs i C 0. Sice a 4 -coeced graph is ecessarily a -coeced graph wih a leas 4 verices, his will coradic he maximaliy of he family C 0. Color each graph i C 0 by eiher red or blue, uiformly ad idepedely a radom. Le A be he collecio of verices v X 0 for which all he graphs i C 0 ha coai v are of color red, ad similarly defie B for blue graphs. Le {v,w} be a edge i G[X 0 ] which is o covered by ay graph i C 0. The sice here are o graphs i C 0 coaiig boh v ad w, he probabiliy ha {v,w} coribues owards e G A,B) is exacly 2 dv dw, where d v ad d w are he umbers of graphs i C 0 ha coai v ad w, respecively. By he defiiio of X 0, here are a leas 1 2 X 0 edges which ω 1/4 are o covered by ay graph i C 0. Sice he verices i X 0 are covered a mos 4 imes, we have E[e G A,B)] 1 2 X 0 ω 1/ ω 1/ ω 1/2, 18

19 where we used he fac ha = logω) 1/5. Therefore, here exiss a choice of colorig of graphs i C 0 such ha e G A,B), ad his implies ha e ω 1/2 Gp A,B) 1 2 ω1/2 recall ha we codiioed o his fac). By Lemma 4.2 iv), here exiss a 4 -coeced subgraph of he biparie subgraph of G p iduced by A B. Furhermore, oe of he edges of his 4 -coeced subgraph could have bee covered by a graph i C 0. Ideed, such a graph should be colored by boh red ad blue, which is impossible. Therefore, we foud a 4 -coeced subgraph of G p as claimed. Le C 1 = {C C 0 : C X 0 5 }. Our ex claim esablishes a useful propery regardig verices o i X 0. Claim For every verex v X 0 \X 0, here are a mos o) edges of G[X 0] icide o v o covered by ay graph i C 1. Proof. Noe ha here are wo possible circumsaces i which a edge i G[X 0 ] is o covered by some graph i C 1. Firs is if i is o covered by ay graph i C 0, ad secod is if i is covered by some graph i C 0 \C 1. For a fixed verex x X 0 \X 0, by he defiiio of he se X 0, here are a mos = o) edges icide o x of he firs ype. Also, sice x is coaied i a mos 4 graphs ω 1/4 i C 0 ad each graph C C 0 \C 1 saisfies X 0 VC), here are a mos 4 = o) edges 5 5 icide o x of he secod ype. Thus we esablish our claim. Le X 0 be he se of verices v X 0 which are covered by a leas wo graphs i C 1, or are o covered by ay graph i C 1. We defer he proof of he followig claim, which is somewha similar o ha of Claim 4.8, o laer. Claim X 0 \X 0 < Sep 2 : Iermediae pariio Le X 1 = X 0 \X 0 X 0 ) ad Y 1 = V \X 1 = Y 0 X 0 X 0 ). We firs verify ha he pariio V = X 1 Y 1 ad he collecio of graphs C 1 saisfy he followig lis of properies from he saeme of Lemma 4.7: a) every graph C C 1 is logω) 1/5 -coeced; b) he ses X 1 VC) for C C 1 form a pariio of X 1, ad Y 1 < 26 3 = o); d) for every C C 1 ad every verex v X 1 VC), here are a mos o) edges of G icide o v whose oher edpoi lies i X 1 \VC). Propery a) follows from he defiiio of C 0. Propery b) follows from he defiiio of X 0 ad Claims 4.8, 4.9 ad 4.11 which imply ha Y 1 < Propery d) follows from Claim 4.10, Propery b), ad he fac ha X 1 X 0 \X 0. I order o fid a pariio of he verex se ad a collecio of graphs saisfyig Propery c) as well, we will ideify he graphs C C 1 ha do o saisfy Propery c), ad will move he verices of X 1 VC) o Y 1. Noe ha his adjusme does o affec Properies a) ad d). Our goal is o maiai Propery b) as well by eepig he oal umber of verices ha we move small eough. LeX 1 behesubseofvericesofx 1 whichhavealeas 3 4 eighborsihesey 1. If X , he he biparie subgraph iduced by X 1 Y 1 has a mos 6 5 X 1 verices ad a leas 3 4 X 1 edges. 19

20 Thus he average degree of his graph is a leas = 5 4, which coradics our assumpio sayig ha G does o coai such a subgraph. Therefore we have X 1 < ) Claim For a verex x X 1 \X 1 coaied i C x C 1, x has degree a leas 8 of G iduced by he verex se X 1 VC x ). i he subgraph Proof. For a verex x X 1 \ X 1, le C x C 1 be he graph coaiig x. Sice x / X 1, here are a leas 4 edges of G icide o x i G[X 1]. By Propery d), a mos o) edges amog hem are icide o a verex o i C x. Therefore, x has degree a leas 4 o) 8 i he subgraph of G iduced by X 1 VC x ). Le C 1 = {C C 1 : VC) X 1 VC) } ad C 1 = {C C 1 : VC) Y 1 VC) }. Claim C C 1 VC) = o). Proof. By he defiiio of C 1, we have C C 1 implies C C 1 VC) VC) 130 3, from which i follows ha C C 1 Claim C C 1 VC) = o). The proof of Claim 4.14 will be give laer. C C 1 VC) X 1 X 1. By 4.1), his VC) Sep 3 : Fial pariio ad he collecio of -coeced subgraphs Le C 2 = C 1 \C 1 C 1 ). Le X 2 be he subse of verices of X 1 which are covered by some graph i C 2, ad le Y 2 = V \X 2. We claim ha he pariio V = X 2 Y 2 ad he collecio C 2 saisfy he claims of he lemma. We recall he properies ha we wish o esablish. a) every graph C C 2 is logω) 1/5 -coeced; b) he ses X 2 VC) for C C 2 form a pariio of X 2, ad Y 2 = o); c) for every C C 2, Y 2 VC) = o VC) ) ad he iduced subgraph G[X 2 VC)] coais a leas 1 o1)) VC) verices of degree a leas /8; d) for every verex v X 2 VC), here are a mos o) edges of G icide o v whose oher edpoi lies i X 2 \VC). As meioed above, Properies a) ad d) follow from he same properies for X 1,Y 1, ad C 1. Sice X 2 X 1 C C 1 VC) = 1 o1)), ad Y 2 = o), Propery b) follows as well. C 1 Noe ha X 1 X 2, ad ha he verices i X 1 \X 2 are covered exacly oce by some graph i C 1. Therefore, for all C C 2, we have VC) X 1 = VC) X 2 ad VC) Y 1 = VC) Y 2. Thus for C C 2, sice C / C 1, we have VC) Y 2 = VC) Y 1 < VC), ad he firs par of Propery c) holds. Also, by Claim 4.12, for C C 2 he verices i VC) X 2 \X 1 ) = VC) X 1 \X 1 ) have degree a leas 8 i he subgraph of G iduced by VC) X 1 = VC) X 2. By he fac C / C 1, we have VC) X 1 \X 1) = 1 o1)) V C) X 1 = 1 o1)) VC), ad his esablishes he secod par of Propery c). 20