arxiv: v2 [q-bio.pe] 23 May 2018

Transcription

1 Mutats ad Residets with Diffeet Coectio Gaphs i the Moa Pocess Themistoklis Melissougos, Sotiis Nikoletseas,, Chistofoos Raptopoulos,, ad Paul Spiakis,, axiv:0.0v [q-bio.pe] May 0 Depatmet of Compute Sciece, Uivesity of Livepool, UK {T.Melissougos,P.Spiakis}@livepool.ac.uk Compute Techology Istitute & Pess Diophatus (CTI), Patas, Geece Nikole@cti.g Compute Egieeig & Ifomatics Depatmet, Uivesity of Patas, Geece Raptopox@ceid.upatas.g Abstact. The Moa pocess, as studied by Liebema, Hauet ad Nowak [0], is a stochastic pocess modelig the spead of geetic mutatios i populatios. I this pocess, agets of a two-type populatio (i.e. mutats ad esidets) ae associated with the vetices of a gaph. Iitially, oly oe vetex chose uifomly at adom (u.a..) is a mutat, with fitess > 0, while all othe idividuals ae esidets, with fitess. I evey step, a idividual is chose with pobability popotioal to its fitess, ad its state (mutat o esidet) is passed o to a eighbo which is chose u.a.. I this pape, we itoduce ad study fo the fist time a geealizatio of the model of [0] by assumig that diffeet types of idividuals peceive the populatio though diffeet gaphs defied o the same vetex set, amely G R = (V, E R) fo esidets ad G M = (V, E M ) fo mutats. I this model, we study the fixatio pobability, amely the pobability that evetually oly mutats emai i the populatio, fo vaious pais of gaphs. I paticula, i the fist pat of the pape, we examie how kow esults fom the oigial sigle-gaph model of [0] ca be tasfeed to ou -gaph model. I that diectio, by usig a Makov chai abstactio, we povide a geealizatio of the Isothemal Theoem of [0], that gives sufficiet coditios fo a pai of gaphs to have fixatio pobability equal to the fixatio pobability of a pai of cliques; this coespods to the absoptio pobability of a bith-death pocess with fowad bias. I the secod pat of the pape, we give a -playe stategic game view of the pocess whee playe payoffs coespod to fixatio ad/o extictio pobabilities. I this settig, we attempt to idetify best esposes fo each playe. We give evidece that the clique is the most beeficial gaph fo both playes, by povig bouds o the fixatio pobability whe oe of the two gaphs is complete ad the othe gaph belogs to vaious atual gaph classes. I the fial pat of the pape, we examie the possibility of efficiet appoximatio of the fixatio pobability. Iteestigly, we show that This wok ca be foud at the poceedigs of LATIN 0 []. The wok of this autho was patially suppoted by the ERC Poject ALGAME.

2 T. Melissougos, S. Nikoletseas, C. Raptopoulos ad P. Spiakis thee is a pai of gaphs fo which the fixatio pobability is expoetially small. This implies that the fixatio pobability i the geeal case of a abitay pai of gaphs caot be appoximated via a method simila to []. Nevetheless, we pove that, i the special case whe the mutat gaph is complete, a efficiet appoximatio of the fixatio pobability is possible though a FPRAS which we descibe. Keywods: Moa pocess, fixatio pobability, evolutioay dyamics Itoductio The Moa pocess [4] models atagoism betwee two species whose citical diffeece i tems of adaptatio is thei elative fitess. A esidet has elative fitess ad a mutat elative fitess > 0. May settigs i Evolutioay Game Theoy coside fitess as a measue of epoductive success; fo examples see [,, ]. A geealizatio of the Moa pocess by Liebema et al [0] cosideed the situatio whee the eplicatio of a idividual s fitess depeds o some give stuctue, i.e. a diected gaph. This model gave ise to a extesive lie of woks i Compute Sciece, iitiated by Metzios et al. i []. I this wok we futhe exted the model of [0] to captue the situatio whee, istead of oe give udelyig gaph, each species has its ow gaph that detemies thei way of speadig thei offspigs. As we will show, due to the pocess estictios oly oe species will emai i the populatio evetually. Ou settig is by defiitio a iteactio betwee two playes (species) that wat to maximize thei pobability of occupyig the whole populatio. This stategic iteactio is descibed by a -sum bimatix game, whee each playe (esidet o mutat) has all the stogly coected digaphs o odes as he pue stategies. The esidet s payoff is the extictio pobability ad the mutat s payoff is the fixatio pobability. The geeal questio that iteests us is: what ae the pue Nash equilibia of this game (if ay)? To gai a bette udestadig of the behaviou of the competig gaphs, we ivestigate the best esposes of the esidet to the clique gaph of the mutat. This model ad questio is motivated by may iteestig poblems fom vaious, seemigly uelated scietific aeas. Some of them ae: idea/umo speadig, whee the pobability of speadig depeds o the kid of idea/umo; compute etwoks, whee the pobability that a message/malwae will cove a set of temials depeds o the message/malwae; ad also spead of mutatios, whee the pobability of a mutatio occupyig the whole populatio of cells depeds o the mutatio. Usig the latte applicatio as a aalogue fo the est, we give the followig example to elaboate o the atual meaig of this pocess. Imagie a populatio of idetical somatic esidet cells (e.g. biological tissue) that cay out a specific fuctio (e.g. a oga). The cells coect with each othe i a cetai way; i.e., whe a cell epoduces it eplaces aothe fom a specified set of cadidates, that is, the set of cells coected to it. Repoductio hee is the eplicatio of the geetic code to the descedat, i.e. the hadwied

3 Mutats ad Residets with Diffeet Coectio Gaphs - Moa Pocess commads which detemie how well the cell will adapt to its eviomet, what its chaces of epoductio ae ad which cadidate cells it will be able to epoduce o. The chages i the ifomatio caied by the geetic code, i.e. mutatios, give o take away suvival o epoductive abilities. A bad case of mutatio is a cace cell whose gees foce it to epoduce eletlessly, wheeas a good oe could be a cell with ehaced fuctioality. A mutatio ca affect the cell s ability to adapt to the eviomet, which taslates to chaces of epoductio, o/ad chage the set of cadidates i the populatio that should pay the pice fo its epoductio. Now back to ou populatio of esidet cells which, as we said, coect with each othe i a paticula way. Afte lots of epoductios a mutat vesio of it shows up due to eplicatio mistakes, eviometal coditios, etc. This mutat has the ability to epoduce i a diffeet ate, ad also, to be coected with a set of cells diffeet tha the oe of its esidet vesio. Fo the sake of agumet, we study the most pessimistic case, i.e. ou mutat is a extemely aggessive type of cace with iceased epoductio ate ad maximum upedictability; it ca eplicate o ay othe cell ad do that faste tha a esidet cell. We coside the followig motivatig questio: Supposig this sigle mutat will appea at some poit i time o a adom cell equipobably, what is the best stuctue (etwok) of ou esidet cells such that the pobability of the mutat takig ove the whole populatio is miimized? The above pocess that we ifomally descibed captues the eal-life pocess emakably well. As a matte of fact, a mutatio that affects the afoemetioed chaacteistics i a eal populatio of somatic cells occus aely compaed to the time it eeds to coque the populatio o get extict. Theefoe, a secod mutatio is extemely ae to happe befoe the fist oe has eached oe of those two outcomes ad this allows us to study oly oe type of mutat pe pocess. I additio, apat fom the diffeet epoductio ate, a mutatio ca lead to a diffeet expasioay policy of the cell, somethig that has bee ovelooked so fa. Defiitios Each of the populatio s idividuals is epeseted by a label i {,,..., } ad ca have oe of two possible types: R (esidet) ad M (mutat). We deote the set of odes by V, with = V, ad the set of esidet(mutat) edges by E R (E M ). The ode coectios ae epeseted by diected edges; A ode i has a type R(M) diected edge (ij) R ((ij) M ) towads ode j if ad oly if whe i is chose ad is of type R(M) the it ca epoduce o j with positive pobability. The afoemetioed compoets defie two diected gaphs; the esidet gaph G R = (V, E R ) ad the mutat gaph G M = (V, E M ). A ode s type detemies its fitess; esidets have elative fitess, while mutats have elative fitess > 0.

4 4 T. Melissougos, S. Nikoletseas, C. Raptopoulos ad P. Spiakis Ou pocess woks as follows: We stat with the whole populatio as esidets, except fo oe ode which is selected uifomly at adom to be mutat. We coside discete time, ad i each time-step a idividual is picked with pobability popotioal to its fitess, ad copies itself o a idividual coected to it i the coespodig gaph (G R o G M ) with pobability detemied by the (weight of the) coectio. The pobability of i (give that it is chose) epoducig o j whe i is esidet(mutat) is by defiitio equal to some weight wij R(wM ij ), thus j= wr ij = j= wm ij = fo evey i V. Fo G R, evey edge (ij) R has weight wij R > 0 if (ij) R E R, ad wij R = 0 othewise. Similaly fo G M. Fo each gaph we the defie weight matices W R = [ wij] R ad WM = [ ] wij M which cotai all the ifomatio of the two gaphs stuctue. Afte each time-step thee outcomes ca occu: (i) a ode is added to the mutat set S V, (ii) a ode is deleted fom S, o (iii) S emais the same. If both gaphs ae stogly coected the pocess eds with pobability whe eithe S = (extictio) o S = V (fixatio). A example is show i Figue. 0 0 W R = 0 W M = Fig.. The gaphs combied; the edges of the esidet gaph ae blue ad the edges of the mutat gaph ae ed. The espective weight matices captue all the stuctue s ifomatio, icludig the weights to each edge. Fo example, the esidet behaviou fo ode (if chose) is to epoduce oly o ode, while its mutat behaviou is to epoduce equipobably o eithe o. We deote by f(s) the pobability of fixatio give that we stat with the mutat set S. We defie the fixatio pobability to be f = u V f ({u}) fo a fixed elative fitess. We also defie the extictio pobability to be equal to f. I the case of oly oe gaph G (i.e. G R = G M = G), which has bee the stadad settig so fa, the poit of efeece fo a gaph s behaviou is the fixatio pobability of the complete gaph (called Moa fixatio pobability) f Moa = ( ) ( ) /. G is a amplifie of selectio if f > fmoa ad > o f < f Moa ad < because it favos advatageous mutats ad discouages disadvatageous oes. G is a suppesso of selectio if f < f Moa ad > o f > f Moa ad < because it discouages advatageous mutats ad favos disadvatageous oes. A udiected gaph is a gaph G fo which (ij) E if ad oly if (ji) E. A uweighted gaph is a gaph with the popety that fo evey i V : w ij = deg(i) fo evey j with icomig edge fom i, whee deg(i) is the outdegee of ode i. I the sequel we will abuse the tem udiected gaph to efe to a udiected uweighted gaph.

5 Mutats ad Residets with Diffeet Coectio Gaphs - Moa Pocess I what follows we will use special ames to efe to some specific gaph classes. The followig gaphs have vetices which we omit fom the otatio fo simplicity. CL as a shothad fo the Clique o complete gaph K. UST as a shothad fo the Udiected Sta gaph K,. UCY as a shothad fo the Udiected Cycle o -egula gaph C. CId: as a shothad fo the Ciculat gaph Ci (,,.., d/) fo eve d. Biefly this subclass of ciculat gaphs is defied as follows. Fo eve degee d, the gaph CId (see Fig. ) has vetex set {,,, }, ad each vetex i is coected to vetices {(i ± k) mod + : k =,..., d/} Fig.. The classes of 4-egula, -egula ad -egula udiected gaphs CI4, CI ad CI. Hee the umbe of vetices is, ad espectively. By Residet Gaph vs Mutat Gaph we efe to the pocess with G R = Residet Gaph ad G M = Mutat Gaph ad by f GR,G M we efe to the fixatio pobability of that pocess. We ote that i this pape, we ae iteested i the asymptotic behavio of the fixatio pobability i the case whee the populatio size is lage. Theefoe, we employ the stadad asymptotic otatio with espect to ; i paticula, is almost always teated as a vaiable idepedet of. Futhemoe, i the est of the pape, by G R ad G M we mea gaph classes {(G R ) } ad {(G M ) } espectively, ad we will omit the sice we oly cae about the fixatio pobability whe. Ou Results I this pape, we itoduce ad study fo the fist time a geealizatio of the model of [0] by assumig that diffeet types of idividuals peceive the populatio though diffeet gaphs defied o the same vetex set, amely

6 T. Melissougos, S. Nikoletseas, C. Raptopoulos ad P. Spiakis G R = (V, E R ) fo esidets ad G M = (V, E M ) fo mutats. I this model, we study the fixatio pobability, i.e. the pobability that evetually oly mutats emai i the populatio, fo vaious pais of gaphs. I paticula, i Sectio we iitially pove a tight uppe boud (Theoem ) o the fixatio pobability fo the geeal case of a abitay pai of digaphs. Next, we pove a geealizatio of the Isothemal Theoem of [0], that povides sufficiet coditios fo a pai of gaphs to have fixatio pobability equal to the fixatio pobability of a clique pai, amely f Moa = f CL,CL = ( ) ( ) def / ; this coespods to the absoptio pobability of a simple bith-death pocess with fowad bias. It is woth otig that it is easy to fid small couteexamples of pais of gaphs fo which at least oe of the two coditios of Theoem does ot hold ad yet the fixatio pobability is equal to f Moa ; hece we do ot pove ecessity. I Sectio we give a -playe stategic game view of the pocess whee playe payoffs coespod to fixatio ad/o extictio pobabilities. I this settig, we give a extesive study of the fixatio pobability whe oe of the two udelyig gaphs is complete, povidig seveal isightful esults. I paticula, we pove that, the fixatio pobability f UST,CL whe the mutat gaph is the clique o vetices (i.e. G M = CL) ad the esidet gaph is the udiected sta o vetices (i.e. G R = UST ) is O(/), ad thus teds to as the umbe of vetices gows, fo ay costat > 0. By usig a taslatio esult (Lemma ), we ca show that, whe the two gaphs ae exchaged, the f CL,UST 0. Howeve, ( usig a diect poof, i Theoem 4 we show that i fact f CL,UST O ( )! i.e. it is expoetially small i, fo ay costat > 0. I Theoem, we also povide a lowe boud o the fixatio pobability i the special case whee the esidet gaph is ay udiected gaph ad the mutat gaph is a clique. Futhemoe, i Subsectio., we fid bouds o the fixatio pobability whe the mutat gaph is the clique ad the esidet gaph belogs to vaious classes of egula gaphs. I paticula, we show that whe the mutat gaph is the clique ad the esidet gaph is the udiected cycle, the o() f UCY,CL, fo ay costat >. A loose lowe boud holds fo e / o() smalle values of. This i paticula implies that the udiected cycle is quite esistat to the clique. The, we aalyze the fixatio pobability by eplacig the udiected cycle by iceasigly dese ciculat gaphs ad fid that, the dese the gaph, the smalle is equied to achieve a / asymptotic lowe boud. We also fid that the asymptotic uppe boud stays the same whe the esidet gaphs become dese with costat degee, but it goes to / whe the degee is ω(). I additio, by uig simulatios (which we do ot aalyse hee) fo the case whee the esidet gaph is the stogest kow suppesso, i.e. the oe i [], ad the mutat gaph is the clique, we get fixatio pobability sigificatly geate tha f Moa fo up to odes ad values of fitess >. All of ou esults seem to idicate that the clique is the most beeficial gaph (i tems of playe payoff i the game theoetic fomulatio). Howeve, we leave this fact as a ope poblem fo futue eseach. ),

7 Mutats ad Residets with Diffeet Coectio Gaphs - Moa Pocess Fially, i Sectio we coside the poblem of efficietly appoximatig the fixatio pobability i ou model. We poit out that Theoem 4 implies that the fixatio pobability caot be appoximated via a method simila to []. Howeve, whe we estict the mutat gaph to be complete, we pove a polyomial (i ) uppe boud fo the absoptio time of the geealized Moa pocess whe > c ( + o()), whee c is the maximum atio of degees of adjacet odes i the esidet gaph. The latte allows us to give a fully polyomial adomized appoximatio scheme (FPRAS) fo the poblem of computig the fixatio pobability i this case. 4 Pevious Wok So fa the bibliogaphy cosists of woks that coside the same stuctue fo both esidets ad mutats. This -gaph settig was iitiated by P.A.P. Moa [4] whee the case of the complete gaph was examied. May yeas late, the settig was exteded to stuctued populatios o geeal diected gaphs by Liebema et al. [0]. They itoduced the otios of amplifies ad suppessos of selectio, a categoizatio of gaphs based o the compaiso of thei fixatio pobabilities with that of the complete gaph. They also foud a sufficiet coditio (i fact [4] coects the claim i [0] that the coditio is also ecessay) fo a digaph to have the fixatio pobability of the complete gaph, but a ecessay coditio is yet to be foud. Sice the geealized -gaph model i [0] was poposed, a geat umbe of woks have tied to aswe some vey itiguig questios i this famewok. Oe of them is the followig: which ae the best uweighted amplifies ad suppessos that exist? Díaz et al. [] give the followig bouds o the fixatio pobability of stogly coected digaphs: a uppe boud of + fo > 0, a lowe boud of fo > ad they show that thee is o positive polyomial lowe boud whe 0 < <. A iteestig poblem that was set i [0] is whethe thee ae gaph families that ae stog amplifies o stog suppessos of selectio, i.e. families of gaphs with fixatio pobability tedig to o to 0 espectively as the ode of the gaph teds to ifiity ad fo >. Galais et al. [4] fid a ifiite family of stogly-amplifyig diected gaphs, amely the megasta with fixatio pobability O( / log ), which was late poved to be optimal up to logaithmic factos []. While the seach fo optimal diected stog amplifies was still o, a esticted vesio of the poblem had bee dawig a lot of attetio: which ae the tight bouds o the fixatio pobability of udiected gaphs? The lowe boud i the udiected case emaied, but the uppe boud was sigificatly impoved by Metzios et al. [] to Ω( /4 ), whe is idepedet of. It was agai impoved by Giakkoupis [] to Ω ( ɛ / log ) fo + ɛ whee 0 < ɛ, ad fially by Goldbeg et al. [] to Ω( / ) whee they also fid a gaph which shows that this is tight. While the geeal belief was that thee ae o udiected stog suppessos, Giakkoupis [] showed that thee is a

8 T. Melissougos, S. Nikoletseas, C. Raptopoulos ad P. Spiakis class of gaphs with fixatio pobability O( /4 log ), opeig the way fo a potetially optimal stog suppesso to be discoveed. Extesios of [0] whee the iteactio betwee idividuals icludes a bimatix game have also bee studied. Ohtsuki et al. i [] cosideed the geealized Moa pocess with two distict gaphs, whee oe of them detemies possible pais that will play a bimatix game ad yield a total payoff fo each idividual, ad the othe detemies which idividual will be eplaced by the pocess i each step. Two simila settigs, whee a bimatix game detemies the idividuals fitess, wee studied by Ibse-Jese et al. i []. I that wok they pove NP-completeess ad #P-completeess o the computatio of the fixatio pobabilities fo each settig. Makov Chai Abstactio ad the Geealized Isothemal Theoem This geealized pocess with two gaphs we popose ca be modelled as a absobig Makov chai []. The states of the chai ae the possible mutat sets S V ( diffeet mutat sets) ad thee ae two absobig states, amely ad V. I this settig, the fixatio pobability is the aveage absoptio pobability to V, statig fom a state with oe mutat. Sice ou Makov chai cotais oly two absobig states, the sum of the fixatio ad extictio pobabilities is equal to. Tasitio pobabilities. I the sequel we will deote by X + y the set X {y} ad by X y the set X \ {y}. We ca easily deduce the bouday coditios fom the defiitio: f( ) = 0 ad f(v ) =. Fo ay othe abitay state S of the pocess we have: f(s) = F (S) wm ij f(s + j) + F (S) wr ji f(s i)+ j / S,i S + F (S) wm ij + F (S) wr ij f(s), () i S,j / S i S,j S i / S,j / S whee F (S) = S + V S is the total fitess of the populatio i state S. By elimiatig self-loops, we get i S,j / S f(s) = wm ij f(s + j) + j / S,i S wr ji f(s i) i S,j / S wm ij +. () j / S,i S wr ji We should ote hee that, i the geeal case, the fixatio pobability ca be computed by solvig a system of liea equatios usig this latte elatio. Howeve, bouds ae usually easie to be foud ad special cases of esidet ad mutat gaphs may have efficiet exact solutios. Usig the above Makov chai abstactio ad stochastic domiatio agumets we ca pove the followig geeal uppe boud o the fixatio pobability:

9 Mutats ad Residets with Diffeet Coectio Gaphs - Moa Pocess Theoem. Fo ay pai of digaphs G R ad G M with = V, the fixatio pobability f GR,G M is uppe bouded by +, fo > 0. This boud is tight fo idepedet of. Poof. We efe to the poof of Lemma 4 of [], as ou poof is essetially the same. Biefly, we fid a uppe boud o the fixatio pobability of a elaxed Moa pocess that favos the mutats, whee we assume that fixatio is achieved whe two mutats appea i the populatio. I thei wok the esidet ad mutat gaphs ae the same ad udiected, but this does ot chage the pobabilities of the fist mutat placed u.a.. to be extict o eplicated i ou model. Fially, we ote that this esult is tight, by Theoem. We ow pove a geealizatio of the Isothemal Theoem of [0]. Theoem (Geealized Isothemal Theoem). Let G R (V, E R ), G M (V, E M ) be two diected gaphs with vetex set V ad edge sets E R ad E M espectively. The geealized Moa pocess with gaphs as descibed above has the Moa fixatio pobability if:. j i wr ji = j i wm ji =, i V, that is, W R ad W M ae doubly stochastic, i.e. G R ad G M ae isothemal (actually oe of them beig isothemal is edudat as it follows fom the secod coditio), ad. fo evey pai of odes i, j V : w R ij + wr ji = wm ij + wm ji. Poof. It suffices to show that i evey state S of the Makov chai of the pocess with 0 < S < V mutats, the pobability to go to a state with S + mutats is times the pobability to go to a state with S mutats (ch. ( i S i []). I ou settig, by () these pobabilities ae ( ad i/ S j S wr ij to show that its hypotheses hold if ad oly if elatio () holds. j / S wm ij ) /F ) /F espectively. So, to establish the theoem, it suffices i/ S j S w R ij = i / S wji M, S V. () j S Coside all the states whee oly oe ode i is esidet, i.e. S = V \ {i}. The fom elatio () we get the followig set of equatios that must hold: j i w M ji = j i w R ij =, i V. (4)

10 0 T. Melissougos, S. Nikoletseas, C. Raptopoulos ad P. Spiakis Similaly, fo all the states whee S = {i} we get fom elatio (): wij M =, i V. () j i w R ji = j i Now, (fo geeal S) the two pats of () ae: wij R () wij R = V S i/ S j S i / S ad i/ S j / S j S w M ji = V S i / S wji M, (usig (4)). () j / S Thus, by elatio () it must be: wij R = i / S j / S i / S wji M, S V. Now, coside all the states whee oly two odes i ad j ae esidet, i.e. S = V \ {i, j}. The fom elatio () we get the followig set of elatios that must hold: j / S () w R ij + w R ji = w M ij + w M ji, i, j V. () To pove the othe diectio of the equivalece we show that the sets of elatios (4),() suffice to make () tue. If () is tue, the () is obviously tue. Ad, by usig (4), the left-had side of () ad () ae equal, thus () is tue. Obseve that whe G R = G M we have the isothemal theoem of the special case of the geealized Moa pocess that has bee studied so fa. A Stategic Game View I this sectio we study the afoemetioed pocess fom a game-theoetic poit of view. Coside the stategic game with playes; esidets (type R) ad mutats (type M), so the playe set is N = {R, M}. The actio set of a playe k N cosists of all possible stogly coected gaphs 4 G k (V, E k ) that she ca costuct with the available vetex set V. The payoff fo the esidets (playe R) is the pobability of extictio, ad the payoff fo the mutats (playe M) is the pobability of fixatio. Of couse, the sum of payoffs equals, so the game ca be educed to a zeo-sum game. The atual questio that emeges is: what ae the pue Nash equilibia of this game (if ay)? Fo example, fo fixed >, if we oly coside two actios fo evey playe, amely the gaphs CL ad UST, the fom ou esults fom Subsectio., whe, we get f CL,UST 0, f UST,CL ad fom [,], f CL,CL / ad f UST,UST /. Theefoe, we get the followig bimatix game: 4 We assume stog coectivity i ode to avoid poblematic cases whee thee is eithe fixatio o extictio.

11 Mutats ad Residets with Diffeet Coectio Gaphs - Moa Pocess Playe M CL UST CL /, /, 0 Playe R UST 0, /, / which has a pue Nash equilibium, amely (CL, CL). Tyig to udestad bette the behaviou of the two coflictig gaphs, we put some pais of them to the test. The mai questio we ask i this wok is: what is the best espose gaph G R of the esidets to the Clique gaph of the mutats? I the sequel, we will use the abbeviatios pl-r ad pl-m fo the esidet ad the mutat populatio, espectively. I the poofs of this pape we shall use the followig fact fom []: Fact I a bith-death pocess with state space {0,,..., }, absobig states 0, ad backwad bias at state k equal to γ k, the pobability of absoptio at, give that we stat at i is f i = + i j j= k= γ k + j j= k= γ. k. Sta vs Clique The followig esult implies (sice ( 4)! /( ) 0 as ) that whe the mutat gaph is complete ad the esidet gaph is the udiected sta, the fixatio pobability teds to as goes to ifiity. Theoem. If pl-r has the UST gaph ad pl-m has the CL gaph fo > ( 4)! /( ), the the payoff of pl-m (fixatio pobability) is lowe bouded by + ( ) + ( ) > ( ) ( ). Poof. We will fid a lowe boud to the fixatio pobability of ou pocess P, by fidig the fixatio pobability of a pocess P that is domiated by (has at most the fixatio pobability of) P. Hee is P : Have the udiected sta gaph G R (V, E R ) fo the esidets ad the clique gaph G M (V, E M ) fo the mutats. We stat with a sigle mutat o a ode uifomly at adom fom the vetex set. If that ode is the cetal oe of G R, the at the ext time step it is attacked by a esidet with pobability ad the pocess eds with the esidets occupyig the vetex set. If the iitial mutat ode is a leaf, the the pocess cotiues with the followig estictio: wheeve a mutat ode is selected to epoduce o the cetal ode of G R, istead it epoduces o itself, uless all leaves of G R ae mutats. P ca be modelled as the followig Makov chai:

12 T. Melissougos, S. Nikoletseas, C. Raptopoulos ad P. Spiakis,0 0,0 0, 0, 0, 0, p 0, 0, p 0, 0, p 0, 0,, Fig.. The Makov chai fo pocess P. I Figue we deote by c, l the state of pocess P that has c mutats at the cete of G R (sta gaph) ad l mutats at the leaves of G R. We also deote by f,0 the fixatio pobability give that the iitial mutat ode of pocess P is the cete of G R, ad by f 0, the fixatio pobability give that the iitial mutat ode is a leaf of G R. Now, the exact fixatio pobability f of pocess P is: f = ( f,0 + ) ( f 0, = ) f 0,, sice f,0 = 0. Now, fo a state 0, i whee i, the pobability of goig to state 0, i i the ext step is: p 0,i 0,i = i + i i. Fo a state 0, i whee i the pobability of goig to state 0, i + i the ext step is: p 0,i+ i 0,i = i + i i ad p 0,i+ 0,i = ( ) ( ) + whe i = ad the pobability of emaiig to state 0, i is: p 0,i 0,i = p0,i p 0,i+ 0,i. I ou case, whee we wat the fixatio pobability give that we stat fom state 0,, by usig Fact, we get the followig: f 0, = + j= j k= γ k (0) Fom the tasitio pobabilities of ou Makov chai, we ca see that:

13 Mutats ad Residets with Diffeet Coectio Gaphs - Moa Pocess ad γ k = γ k = k, fo k =., fo k So, fom (0) we get: f 0, = + ( ) + ( )( ) + ( )( )( 4) + + ( )( ) + ( )( ) + ( ) +, fo > ( 4)! /( ) ( )( ) ( ) = + ( ) + ( ) ad fo the equied fixatio pobability we get: f = + ( ) + ( ) as. This completes the poof of Theoem. It is woth otig that, sice the game we defied i Subsectio is -sum, we immediately ca get uppe (esp. lowe) bouds o the payoff of pl-r, give lowe (esp. uppe) bouds o the payoff of pl-m. Now we give the followig lemma that coects the fixatio pobability of a pocess with give elative fitess, esidet ad mutat gaphs, with the fixatio pobability of a mio pocess whee the oles betwee esidets ad mutats ae exchaged. Lemma. f GR,G M () f GM,G R ( ). Poof. We deote by f S G R,G M () the pobability of fixatio whe ou populatio has a set of mutats S with elative fitess > 0, esidet gaph G R ad mutat gaph G M. We fist pove the followig: Claim. f S G R,G M () = f V \S G M,G R ( ). Poof. The pobability of fixatio fo a mutat set S ad mutat gaph G M is the same as the pobability of extictio of the esidet set V \ S, i.e. oe mius the pobability of the set V \ S coqueig the gaph. Thus, if we exchage the labels of esidets ad mutats, the elative fitess of the ew esidets is ad the elative fitess of the ew mutats is /, the ew esidet gaph is G M, the ew mutat gaph is G R ad the ew mutat set is V \ S.

14 4 T. Melissougos, S. Nikoletseas, C. Raptopoulos ad P. Spiakis We ca ow pove Lemma as follows: By the above Claim we have f {u} G R,G M () = f V \{u} G M,G R ( {v} ) fo evey u V. Sice f G M,G R ( ) f V \{u} G M,G R ( ) fo evey v u, we get that f {u} G R,G M () f {v} G M,G R ( ). Aveagig ove all odes i V we get the equied iequality. This esult povides easily a uppe boud o the fixatio pobability of a give pocess whe a lowe boud o the fixatio pobability is kow fo its mio pocess. Fo example, usig Theoem ad Lemma we get a uppe boud + ( ) + ( ) fo > 0 o the fixatio pobability of CL vs UST ; this immediately implies that the pobability of fixatio i this case teds to 0. Howeve, as we subsequetly explai, a moe pecise lowe boud is ecessay to eveal the appoximatio estictios of the paticula pocess. Theoem 4. If pl-r has the CL gaph ad pl-m has the UST gaph fo > 0, the the payoff of pl-m (fixatio pobability) is uppe bouded by ( )!. Poof. I ode to show this, ( we give ) a pai of gaphs that yields fixatio pobability uppe bouded by a o fuctio. Have the Clique gaph G R (V, E R ) ( )! fo the esidets ad the Udiected Sta gaph G M (V, E M ) fo the mutats; we will call this pocess P. We will fid a uppe boud of its fixatio pobability by cosideig the followig pocess P that favos the mutats. Hee is P : Have the afoemetioed gaphs. We stat with a sigle mutat o the cetal ode of G M. If a mutat is selected to epoduce o a mutat, it epoduces accodig to the exact same ules of P. If a esidet is selected to epoduce o a esidet, it also epoduces accodig to the exact same ules of P. If a esidet is selected to epoduce o a mutat, it epoduces accodig to the exact same ules of P, uless that mutat is the cetal oe; the the esidet epoduces o itself, uless all leaves of G M ae esidets. The coespodig Makov chai has + = V + states. A state i, whee i {0,,,..., } is the umbe of mutats ad the oly absobig states ae 0 ad. Fo state the pobability of goig to state 0 i the ext step is: p 0 = + = +. Fo a state i, whee i {,,..., }, the pobability of goig to state i i the ext step is: p i i = i i + i i. Fo a state i, whee i {,,..., }, the pobability of goig to state i + i the ext step is: p i+ i = i + i i,

15 Mutats ad Residets with Diffeet Coectio Gaphs - Moa Pocess ad the pobability of stayig to state i i the ext step is: p i i = pi i p i+ i. I ou case, whee we wat the fixatio pobability give that we stat fom state, by usig Fact we get the followig: f = + j= j k= γ k () Fom the tasitio pobabilities of ou Makov chai, we ca see that: γ = ad γ k = (k ), fo k. So, fom () we get: f = ! ( )! ( )! ( ) o a, whee a > is costat. This completes the poof of Theoem 4. This boud shows that, ot oly thee exists a gaph that suppesses selectio agaist the UST (which is a amplifie i the -gaph settig), but it also does that with geat success. I fact fo ay mutat with costat abitaily lage, its fixatio pobability is less tha expoetially small. I view of the above, the followig esult implies that the fixatio pobability i ou model caot be appoximated via a method simila to []. Theoem (Bouds o the -gaphs Moa pocess). Thee is a pai of gaphs G R, G M such that the fixatio pobability f GR,G M is o ( ) a, fo some costat a >, whe the elative fitess is costat. Futhemoe, thee is a pai of gaphs G R, G M such that the fixatio pobability f G is at least R,G M O ( ), fo costat > 0. Poof. See Theoem ad poof of Theoem 4.. Abitay Udiected Gaphs vs Clique The followig esult is a lowe boud o the fixatio pobability.

16 T. Melissougos, S. Nikoletseas, C. Raptopoulos ad P. Spiakis Theoem. Whe pl-r has a udiected gaph fo which wxy/w R yx R c fo evey (xy) E R ad pl-m has the CL gaph, the payoff of pl-m (fixatio pobability) is lowe bouded by c ) log [ ( ( + o()) + ( ] c c ) log ( c ), fo > 0. c I paticula, fo > c the lowe boud teds to c as. Poof. Notice that, give the umbe of mutats at a time-step is i := S, the pobability that a esidet becomes mutat is p i+ i = i i+ i i, ad the pobability that a mutat becomes esidet p i i is uppe bouded by R mi{i, i} wxy i+ i max. That is because the maximum possible umbe of esidetto-mutat edges i G R at a step with i mutats is achieved whe eithe evey (xy) E w R R yx mutat has edges i G R oly towads esidets, o evey esidet has edges i G R oly towads mutats; ad the most exteme case is whe evey oe of the mi{i, i} odes has sum of weights of icomig edges equal to the maximum R wxy atio of degees of adjacet odes i G R, i.e. c := max. (xy) E w R R yx This meas that the umbe of mutats i ou give pocess P of a udiected gaph vs Clique stochastically domiates a bith-death pocess P that is descibed by the followig Makov chai: A state i, whee i {0,,,..., } is the umbe of mutats o the vetex( set ad the oly absobig states ae 0 ad. Usig Fact, we get: f = / + ) j j= k= γ k, whee γ i = p i i /p i+ i. Fom the afoemetioed tasitio pobabilities of ou Makov chai we have: { c γ k k, fo k {,,.., } c k, fo k { +,.., } Now we ca calculate a lowe boud o the fixatio pobability of P usig the fact that = +, = +,, log + = + log log + : f = = [ log ( c ) ] j j=0 ( c ) log c ( c ) log c ( + o()) + ( ) c log ( ) log ( ) ( log ) + + ( c ( + o()) + ( c ( + o()) + ( c ) log log j=0 ) log ( c ) log c ) ( ) [( ) ( +)] ( ) ( c ), (γ k is uppe bouded by c j ) Fom the theoem above it follows that if G R is udiected egula the the fixatio pobability of G R vs CL is lowe bouded by / fo > ad, which equals f Moa (defied i Sectio ). Also, by Lemma ad the above theoem, whe G R = CL, G M is a udiected gaph with wxy/w M yx M c fo evey (xy) E M, ad elative fitess < c, the the uppe boud of the fixatio pobability teds to c as..

17 Mutats ad Residets with Diffeet Coectio Gaphs - Moa Pocess. Ciculat Gaphs vs Clique I this subsectio we give bouds fo the fixatio pobability of CId vs CL. We fist pove the followig esult that gives a uppe boud o the fixatio pobability whe G R is the CId gaph as descibed i Sectio ad G M is the complete gaph o vetices. Theoem. Whe mutats have the CL gaph, if esidets have a CId gaph ad d Θ(), the the payoff of pl-m (fixatio pobability) is uppe bouded by [ ] [ ] e! fo > ad e! o() fo. I paticula, fo costat > 0 the uppe boud teds to e. If d ω(), the the uppe boud is ( ) [ o() ], fo > 0, whee g() is a fuctio of g() such that g() ω() ad g() o(d). The boud impoves as g() is picked close to Θ(d) ad, i paticula, fo > it teds to. Poof. We will boud fom above the payoff of the mutat (i.e. the fixatio pobability) of ou pocess P, by fidig the fixatio pobability of a pocess P that domiates (has at least the fixatio pobability of) P. The domiatig pocess P is the least favoable fo the esidets. Hee is P : Have the CId gaph fo the esidets, as defied i Sectio i the moe geeal case whee the umbe of its vetices does ot coce us, ad the clique gaph fo the mutats. We stat with a sigle mutat o a ode (w.l.o.g. we give it label j = ) uifomly at adom fom the vetex set. Thoughout the pocess, if a esidet is selected to epoduce o a esidet, it epoduces accodig to the exact same ules of P. If a mutat is selected to epoduce o a mutat, it epoduces accodig to the exact same ules of P. Howeve, if a mutat is selected to epoduce o a esidet, it obeys to the followig estictio: it ca oly epoduce o a esidet that is coected to the maximum umbe of mutats possible (equipobably, but it does ot eally matte due to the symmety of the poduced populatio). If a esidet is selected to epoduce o a mutat whe the umbe of mutats is i {,,..., }, the the last amog the i mutats that was iseted becomes esidet, thus pesevig the miimality of the pobability of the esidets to hit the mutats (see Figue 4). It is easy to see that pocess P allocates the mutats i a chai-like fomatio that allows esidets to hit the mutats with the smallest possible umbe of esidet edges. I othe wods, if we coside the mutat set S ad the esidet set V \ S, i evey step of the pocess the umbe of esidet edges o the cut (S, V \ S) of G R is miimum. This pocess is the wost the esidets could deal with. Due to the symmety that ou pocess P bigs o the populatio istaces, the coespodig Makov chai has + = V + states, as evey state with the same umbe of mutats ca be educed to a sigle oe. A state i, whee i {0,,,..., } is the umbe of mutats ad the oly absobig states ae 0 ad. Afte caeful calculatios we get that, fo a state i, whee

18 T. Melissougos, S. Nikoletseas, C. Raptopoulos ad P. Spiakis Fig. 4. Thee istaces of pocess P. Oly the esidet gaph G R = CId is show. White odes ae esidets ad black odes ae mutats. Hee d = ad =. i {,,..., }, the pobability of goig to state i i the ext step is: p i i = i+ i i ( ) i d, fo i {,,.., d + } i+ i ( d + ), fo i { d +,.., d } i+ i [ ( d + ) d (i ) ( + d i + d + )], fo i { d +,.., } the pobability of goig to state i + i the ext step is: p i+ i i = i + i i. ad the pobability of stayig to state i i the ext step is: p i i = pi i p i+ i. I ou case, whee we wat the fixatio pobability give that we stat fom state, by usig Fact we get the followig: f = + j= j k= γ k () If d is costat: fom the tasitio pobabilities of ou Makov chai, we ca see that: γ k k( k), fo k. So, fom () we get:

19 Mutats ad Residets with Diffeet Coectio Gaphs - Moa Pocess f = + + ( ) ( )( ) + ( )!( )( )( ) + + ( ) ( ) ( ) [( )!] + + +! + + ( ) ( )! = = = e [! + (+) (+)! + ] [ ] e! (+)(+) + [ e! + + e! as. e + ], fo >, o fo costat e! o(),, fo >, o = fo costat e! o(), If d ω() ad d O(): take a fuctio g() ω() ad g() o(d). The, fom the tasitio pobabilities of ou Makov chai ad () we get: f + d/+ j= j k= γ k + + ( ) ( d + d + g() j= j k= γ k ) ( d [ + + ] o() g() = o() g() ) ( + + g() d ) ( d ) ) ( g() d whe > as. This completes the poof of Theoem. We also show that ou uppe boud becomes tighte as d iceases. I paticula, we pove the followig lowe bouds: Theoem. Whe mutats have the CL gaph, if esidets have the U CY (degee d=) o a gaph of the class CId fo degee d=4, o, the the payoff of pl-m (fixatio pobability) is lowe bouded by [ ( ) log ( + o()) + ( ] c ) log ( c ), whee c = d+ c d fo > 0. I paticula, fo > c the lowe boud teds to as.

20 0 T. Melissougos, S. Nikoletseas, C. Raptopoulos ad P. Spiakis Poof. We pove oe by oe each of the cases: UCY vs CL, CI4 vs CL, CI vs CL ad CI vs CL. UCY vs Clique. We will boud fom below the payoff of the mutat (i.e. the fixatio pobability) of ou pocess P, by fidig the fixatio pobability of a pocess P that is domiated by (has at most the fixatio pobability of) P. The domiated pocess P is the most favoable fo the esidets. Hee is P : Have the udiected -egula gaph G R (V, E R ) fo the esidets ad the clique gaph G M (V, E M ) fo the mutats. Note the way we have umbeed the odes i Figue. We stat with a sigle mutat o a ode (w.l.o.g. we give it label j = ) uifomly at adom fom the vetex set. Thoughout the pocess, if a esidet is selected to epoduce o a esidet, it epoduces accodig to the exact same ules of P. If a mutat is selected to epoduce o a mutat, it epoduces accodig to the exact same ules of P. Howeve, if a mutat is selected to epoduce o a esidet, it obeys the followig estictios: Whe the umbe of mutats is i {,,..., }, whe a esidet is chose to die, the esidet with the smallest odd label j becomes mutat. Whe the umbe of mutats is i { +,..., }, the the esidet that is chose to die, dies. If a esidet is selected to epoduce o a mutat whe the umbe of mutats is i {,,..., }, the the last amog the i mutats that was iseted becomes esidet, thus pesevig the maximality of the pobability of the esidets to hit the mutats (see Figue ). It is easy to see that the fist mutats i pocess P ae allocated i such a way, so that a mutat is always coected to two esidets. Thus, the edges goig fom esidets to mutats ae maximized. This is the least favoable allocatio fo the mutats. A state i, whee i {0,,,..., } is the umbe of mutats o the vetex set ad the oly absobig states ae 0 ad. Fo a state i, whee i {,,..., }, the pobability of goig to state i i the ext step is: Fig.. Thee istaces of pocess P. Oly the esidet gaph G R = UCY is show. White odes ae esidets ad black odes ae mutats.

21 Mutats ad Residets with Diffeet Coectio Gaphs - Moa Pocess p i i i = i + i, the pobability of goig to state i + i the ext step is: p i+ i i = i + i i. ad the pobability of stayig to state i i the ext step is: p i i = pi i p i+ i. Fo a state i, whee i { +,..., }, the pobability of goig to state i i the ext step is: p i i = i i + i, the pobability of goig to state i + i the ext step is: p i+ i i = i + i i. ad the pobability of stayig to state i i the ext step is: p i i = pi i p i+ i. I ou case, whee we wat the fixatio pobability give that we stat fom state, by usig Fact, we get the followig: f = + j= j k= γ k () Fom the tasitio pobabilities of ou Makov chai, we ca see that: γ k k ad γ k = k, fo k, fo + k.

22 T. Melissougos, S. Nikoletseas, C. Raptopoulos ad P. Spiakis f = So, fom () we get: + + ( ) ( )( ) + + ad sice = = ( ) ( ) ( +) + ( ) ( ) ( ) + + ( ) [( ) ( +)] ( ) = +, = +,, log + = + log log +, [ log ] ( + o()) + log ( ) log ( ) log ( ) log ( ) ( log ) + + ( ) [( ) ( +)] ( ) ( + o()) + ( ) [ log + + ( ) ( + + ) ], sice γ k is uppe bouded by log ( + o()) + ( ) log ( ) log whe > as. CI4 vs Clique. We will boud fom below the payoff of the mutat (i.e. the fixatio pobability) of ou pocess P, by fidig the fixatio pobability of a pocess P that is domiated by P. The domiated pocess P is the most favoable fo the esidets. Hee is P : Have the CI4 gaph fo the esidets ad the clique gaph fo the mutats. Note the way we have umbeed the odes i Figue. We stat with a sigle mutat o a ode (w.l.o.g. we give it label j = ) uifomly at adom fom the vetex set. Thoughout the pocess, if a esidet is selected to epoduce o a esidet, it epoduces accodig to the exact same ules of P. If a mutat is selected to epoduce o a mutat, it epoduces accodig to the exact same ules of P. Howeve, if a mutat is selected to epoduce o a esidet, it obeys the followig estictios: Whe the umbe of mutats is i {,,..., }, whe a esidet is chose to die, the esidet with the smallest label j = m + fo some m N becomes mutat. Whe the umbe of mutats is i { +,..., }, whe a esidet is chose to die, the esidet with the smallest label j = m + fo some m N becomes mutat. Whe the umbe of mutats is i { } +,...,, the the esidet that is chose to die, dies. If a esidet is selected to epoduce o a mutat whe the umbe of mutats is i {,,..., }, the the last amog the i mutats that was iseted becomes esidet, thus pesevig the maximality of the pobability of the esidets to hit the mutats (see Figue ). Usig these ules we have put the mutats to the wost possible allocatio, i.e. the pobability that they get attacked by esidets is maximum i evey step of the pocess. I othe wods, fo evey

23 Mutats ad Residets with Diffeet Coectio Gaphs - Moa Pocess Fig.. Thee istaces of pocess P. Oly the esidet gaph G R = CI4 is show. White odes ae esidets ad black odes ae mutats. k {,,..., } we have maximized the quotiet γ k as defied i Fact. Cosequetly, we get the followig values of γ k : γ k k, fo k {,,..., }, γ k k( k), fo k { +,..., }, γ k = k, fo k { } +,...,. As i the Udiected Cycle vs Clique case, usig ow the fact that γ k is uppe bouded by, we get: f [ + + ] ( + + ( + o()) + ) [ log log + + ( ) ( + + ) ] log = ( ) log ( + o()) + ( ) log ( ) log whe > as. CI vs Clique. We will boud fom below the payoff of the mutat (i.e. the fixatio pobability) of ou pocess P, by fidig the fixatio pobability of a pocess P that is domiated by P. The domiated pocess P is the most favoable fo the esidets. Hee is P : Have the CI gaph fo the esidets ad the clique gaph fo the mutats. Note the way we have umbeed the odes i Figue. We stat with a sigle mutat o a ode (w.l.o.g. we give it label j = ) uifomly at adom fom the vetex set. Thoughout the pocess, if a esidet is selected to epoduce o a esidet, it epoduces accodig to the exact same ules of P. If a mutat is selected to epoduce o a mutat, it epoduces accodig to the exact same ules of P. Howeve, if a mutat is selected to epoduce o a esidet, it obeys the followig estictios: Whe the umbe of mutats is i {,,..., 4 }, whe a esidet is chose to die, the esidet with the smallest label j = 4m + fo some m N becomes mutat.

24 4 T. Melissougos, S. Nikoletseas, C. Raptopoulos ad P. Spiakis Fig.. Thee istaces of pocess P. Oly the esidet gaph G R = CI is show. White odes ae esidets ad black odes ae mutats. Whe the umbe of mutats is i { 4 +,..., } 4, whe a esidet is chose to die, the esidet with the smallest label j = 4m + fo some m N becomes mutat. Whe the umbe of mutats is i { 4 +,..., } 4, whe a esidet is chose to die, the esidet with the smallest label j = 4m + fo some m N becomes mutat. Whe the umbe of mutats is i { } 4 +,...,, the the esidet that is chose to die, dies. If a esidet is selected to epoduce o a mutat whe the umbe of mutats is i {,,..., }, the the last amog the i mutats that was iseted becomes esidet, thus pesevig the maximality of the pobability of the esidets to hit the mutats (see Figue ). Usig these ules we have put the mutats to the wost possible allocatio, i.e. the pobability that they get attacked by esidets is maximum i evey step of the pocess. I othe wods, fo evey k {,,..., } we have maximized the quotiet γ k as defied i Fact. Cosequetly, we get the followig values of γ k : γ k γ k γ k γ k = k, fo k {,,..., } 4, /+k/ k / k/ k k k, fo k { 4 +,..., } 4, k, fo k { 4 +,..., } 4, } +,...,., fo k { 4

25 Mutats ad Residets with Diffeet Coectio Gaphs - Moa Pocess Fig.. Thee istaces of pocess P. Oly the esidet gaph G R = CI is show. White odes ae esidets ad black odes ae mutats. As i the Udiected Cycle vs Clique case, usig ow the fact that γ k is uppe bouded by 4, we get: f = [ + + ] ( + + ( + o()) + 4 ) [ log log ( ) 4 ( ) ] log ( ) log ( + o()) + ( 4 whe > 4 as ) log ( 4 ) log 4 CI vs Clique. We will boud fom below the payoff of the mutat (i.e. the fixatio pobability) of ou pocess P, by fidig the fixatio pobability of a pocess P that is domiated by P. The domiated pocess P is the most favoable fo the esidets. Hee is P : Have the CI) gaph fo the esidets ad the clique gaph fo the mutats. Note the way we have umbeed the odes i Fig.. We stat with a sigle mutat o a ode (w.l.o.g. we give it label j = ) uifomly at adom fom the vetex set. Thoughout the pocess, if a esidet is selected to epoduce o a esidet, it epoduces accodig to the exact same ules of P. If a mutat is selected to epoduce o a mutat, it epoduces accodig to the exact same ules of P. Howeve, if a mutat is selected to epoduce o a esidet, it obeys the followig estictios: Whe the umbe of mutats is i {,,..., }, whe a esidet is chose to die, the esidet with the smallest label j = m + fo some m N becomes mutat. Whe the umbe of mutats is i { +,..., }, whe a esidet is chose to die, the esidet with the smallest label j = m + fo some m N becomes mutat.

26 T. Melissougos, S. Nikoletseas, C. Raptopoulos ad P. Spiakis Whe the umbe of mutats is i { +,..., }, whe a esidet is chose to die, the esidet with the smallest label j = m + 4 fo some m N becomes mutat. Whe the umbe of mutats is i { +,..., 4 }, whe a esidet is chose to die, the esidet with the smallest label j = m + fo some m N becomes mutat. Whe the umbe of mutats is i { } 4 +,...,, the the esidet that is chose to die, dies. If a esidet is selected to epoduce o a mutat whe the umbe of mutats is i {,,..., }, the the last amog the i mutats that was iseted becomes esidet, thus pesevig the maximality of the pobability of the esidets to hit the mutats (see Figue ). Usig these ules we have put the mutats to the wost possible allocatio, i.e. the pobability that they get attacked by esidets is maximum i evey step of the pocess. I othe wods, fo evey k {,,..., } we have maximized the quotiet γ k as defied i Fact. Cosequetly, we get the followig values of γ k : γ k k, fo k {,,..., }, γ k /0+k/ k k, fo k { +,..., }, γ k /0 k k, fo k { +,..., }, γ k / k/ k k, fo k { +,..., 4 }, γ k = k, fo k { } 4 +,...,. As i the Udiected Cycle vs Clique case, usig ow the fact that γ k is uppe bouded by 4, we get: f = [ + + ] ( + + ( + o()) + ) [ log log ( ) ( ) ] log 4 ( ) log ( + o()) + ( 4 ) log ( 4 ) log 4 whe > as 4 This completes the poof of Theoem. By the above two theoems, we get the followig: Coollay. If G R = UCY (o G R is oe of CI4, CI ad CI), G M = CL, ad > (espectively >, > 4 ad > 4 ), the f G R,G M teds to a positive costat smalle tha as. Fially, we ote that, by Lemma ad the above Coollay, whe the esidet gaph is complete (i.e. G R = CL), the mutat gaph is UCY (o oe of CI4, CI, CI), ad the elative fitess satisfies < (espectively <, < 4 ad < 4 ), the the fixatio pobability is uppe bouded by a costat smalle tha, as.

27 Mutats ad Residets with Diffeet Coectio Gaphs - Moa Pocess A Appoximatio Algoithm Hee we peset a fully polyomial adomized appoximatio scheme (FPRAS) fo the poblem UdiectedVsClique of computig the fixatio pobability i the Moa pocess whe the esidets have a udiected gaph ad the mutats have the clique gaph with > c ( + ), whee c is the maximum atio of the degees of adjacet odes i the esidet gaph. The followig esult is essetial fo the desig of a FPRAS; it gives a uppe boud (which depeds o c, ad is polyomial i ) o the expected absoptio time of the Moa pocess i this case. Theoem. Let G R (V, E R ) be a udiected gaph of ode, fo which wxy/w R yx R c fo evey (xy) E R. Let G M (V, E M ) be the clique gaph of ( ) ode. Fo c + ad ay S V, the absoptio time τ of the Moa pocess G R vs G M satisfies: I paticula, E[τ] E[τ X 0 = S] c. Poof. We use the followig potetial fuctio: ( S ). c φ(s) = S fo ay possible mutat set S V. We fist pove the followig itemediate esult which states that the( umbe ) of mutats (potetial) stictly iceases ( ) i expectatio whe c +, whee c := max w R xy /wyx R, i.e. the (xy) E R maximum atio of the degees of adjacet odes i the esidet gaph. We fist pove the followig lemma: Lemma. Let (X i ) i 0 be a Moa pocess whe the esidet ( gaph is a ) geeal udiected gaph ad the mutat gaph is the clique. If c +, whee ( ) c := max w R xy /wyx R, the (xy) E R E [φ(x i+ ) φ(x i ) X i = S] ( c ) > 0. A FPRAS fo a fuctio f that maps poblem istaces to umbes is a adomized algoithm with iput X ad paamete ɛ > 0, which is polyomial i X ad ɛ ad outputs a adom vaiable g, such that P {( ɛ)f(x) g(x) (+ɛ)f(x)} 4 [].