arxiv: v3 [cs.gt] 1 Jan 2019

Transcription

1 Pric of Anarchy in Ntworks with Htrognous Latncy Functions Sanjiv Kapoor and Junghwan Shin arxiv: v3 [cs.gt] Jan 209 Abstract W addrss th prformanc of slfish ntwork routing in multi-commodity flows whr th latncy or dlay function on dgs is dpndnt on th flow of individual commoditis, rathr than on th aggrgat flow. An application of this study is th analysis of a ntwork with diffrntiatd traffic, i.., in transportation ntworks whr thr ar multipl typs of traffic and in ntworks whr traffic is prioritizd according to typ classification. W considr th infficincy of quilibrium in this modl and provid pric of anarchy bounds for ntworks with k (typs of) commoditis whr ach link is associatd with htrognous polynomial dlays, i.., commodity i on dg facs dlay spcifid by h i (f (), f 2 (),..., f k ()) whr f i () is th flow of th ith commodity through dg and h i () a polynomial dlay function applicabl to th ith commodity. W considr both atomic and non-atomic flows and show bounds on th pric of anarchy that dpnd on th rlativ impact of ach typ of traffic on th dg dlay whr th dlay functions ar polynomials of dgr θ,.g., i a if i () θ. Th pric of anarchy is unboundd for arbitrary polynomials. For ntworks with dcomposabl dlay functions whr th dlay is th sam for all commoditis using th dg, i.., dlays on dg ar dfind by h (f (), f 2 (),..., f k ()), w show improvd bounds on th pric of anarchy, for both non-atomic and atomic flows. Th rsults illustrat that th infficincy of slfish routing worsns in th cas of htrognous dlays as compard to th standard dlay functions that do not considr typ diffrntiation. Introduction A typical road ntwork srvs multipl typs of traffic and ach typ has a diffrnt impact on th dlay xprincd on a link. Th sam is also tru for computr ntwork routing whr traffic of diffrnt typs may b gnratd via priority mchanisms. Th common thm in ths ntworks is th lack of a cntralizd control, and thus ach sourc-dstination pair chooss routs basd on optimizing an objctiv. This problm can b modld using gam thory whr ach agnt or playr slfishly chooss its rout, with Nash quilibrium bing achivd whn all th playrs hav an optimum rout for thir own traffic, givn th routs of th othr playrs as fixd. Thr ar two catgoris of gams considrd, th non-atomic routing gam, whr ach playr controls a ngligibl amount of traffic and th atomic routing gam, whr ach usr can utiliz only on routing path to satisfy its rquirmnt. Ths routing gams can b formalizd as wightd congstion gams on a ntwork, whr traffic rquirmnts of multipl typs of ntwork usrs ar to b routd btwn corrsponding sourc and dstination pairs. Each dg has a dlay (latncy) function that is dpndnt on th traffic of ach usr typ prsnt on that dg. To satisfy thir traffic rquirmnts, usrs dtrmin thir own routs using a slfish routing stratgy (on that minimizs th dlay facd on th paths chosn by th individual usr). A cntralizd optimal routing solution would optimiz -mail: kapoor@iit.du -mail: byulpyo@gmail.com

2 usr routs with rspct to a masur of social bnfit, th typical objctiv bing th sum total of dlays facd by th usrs; howvr th slfish stratgic routing gam introducs infficincis sinc Nash quilibrium solutions, bing optimal for ach individual playr givn th stratgis of othr playrs, do not ncssarily optimiz th social bnfit. Our focus of study is th infficincy of ntwork routing gams that considr multipl typs of traffic. Th dgradation of ntwork prformanc that rsults from comptitiv slfish routing, as compard to a global optimum solution, and masurd with rspct to th total latncy or dlay of th flow has bn quantifid in [3, 27] whr thy considrd th pric of anarchy (PoA). In th flow routing contxt, this is dfind to b th ratio of th total latncy of th Nash quilibrium routing to th total latncy of th optimum routing. Th bounds that hav bn obtaind in ths prvious works apply to latncy or dlay on dgs that ar a function of th aggrgat flow on th dg. In this papr w considr an important gnralization that modls th abov mntiond scnario of htrognous traffic on k-commodity ntworks: in this modl, dgs ar associatd with dlay functions that ar dpndnt on th typ of th commodity, which w trm as htrognous dlay functions. An xampl is a polynomial dlay of th form i a i()fi θ()+c() with positiv co-fficints and non-ngativ constant, whr f i() rprsnts th traffic contribution of th ith commodity on dg, and θ N th dgr of th polynomial. In gnral, w modl th total dlay in htrognous ntworks using th following total i, f i()φ i (f,..., f k ) = i, f i()h i (f (), f 2 (),..., f k ()) (htrognous) dlay function: whr f i () is th flow function and h i : Rk R + a convx, monotonically incrasing, polynomial dlay function for commodity i on dg, rspctivly. Not that th distinctiv proprty of this dlay function is that th domain is multi-dimnsional. If th dlay function, Φ i (f()), is xprssibl as h (f (), f 2 (),..., f k ()), i.., th dlay function on th dg is indpndnt of th commodity, thn w call this dlay function dcomposabl. This is an intrsting class of functions, sinc it addrsss th cas whn th dlay on an dg is th sam as xprincd by ach of th multipl typs of usrs. W also considr uniform dlay functions whr th dlay on vry dg of th ntwork is th sam function of th flow; howvr, th constant trm may diffr. Th gnralizd modl w considr, has applications in transport ntworks utilizd by htrognous mods of transport and studid by Dafrmos in [8]. Both dcomposabl and uniform dlay modls ar also applicabl in th study of road ntworks. Th uniform modl is applicabl whn roads ar of th sam or similar typ, th dlays having th sam functional dpndncy on th flow vctor. As anothr application, in th contxt of intrnt traffic w propos th us of this modl whn traffic is prioritizd (applicabl to th nt-nutrality dbat [8, 20]). Usrs with highr priority ar allowd to transmit mor bits ovr a fixd priod (unit) of tim or quivalntly ar allowd to transmit largr packts of information thus occupying th link for a longr fraction of tim. Consquntly, th contribution of th dlay inducd by ach typ of usr traffic is diffrnt. W provid additional discussion of ths motivating applications, including priority quu modls, latr in th sction. A dtaild analysis of priority modls forms an intrsting topic of furthr rsarch. W study Nash quilibrium and th pric of anarchy in th dfind htrognous dlay modl: our rsults show that th PoA worsns as compard with ntworks modls whr th dlay is only a function of f(), th aggrgat flow on th dg. This indicats that typ diffrntiation amongst traffic can lad to a wors pric of anarchy, a rsult that contrasts with th pric of anarchy in th cas of uniform and qual tratmnt of traffic typs. W considr both atomic and non-atomic flows, discussd abov. In both catgoris, w provid uppr and lowr bounds on th pric of anarchy whn thr ar k typs of commoditis in ntworks with htrognous and dcomposabl (including uniform) class of polynomial dlay functions. In particular, w show asymptotically tight bounds on th pric of anarchy whn th dgs ar associatd with affin dcomposabl dlay functions. 2

3 Prvious Work: Th study of quilibrium in flow routing problms was initiatd by Pigou [2], and furthrd by Wardrop [28]. Dafrmos and Sparrow [] furthrd this study and considrd th rlationship btwn flows that ar at Nash Equilibrium and flows that optimiz a social wlfar function. For a multi-commodity flow ntwork with convx dlay functions on th dgs, thy stablish a condition undr which th flow satisfis both Nash Equilibrium conditions and also optimizs an aggrgat objctiv function. In this modl th dlay is a function only of th total flow through th dg. Th assumption is that units travling along a link uniformly shar th cost []. Th intrsting aspct of this work is that for homognous polynomial costs that ar a function of th aggrgat variabl f(), Nash quilibrium and social optimum solutions coincid. This is not so in a gnral stting. Invstigation of th infficincy of Nash Equilibrium [2] in ntwork flows ld to an analysis of pric of anarchy for load dpndnt dlays [3]. Roughgardn and Tardos initiatd th study of bounds on th pric of anarchy [27] in gnral ntworks followd by subsqunt rsults of Roughgardn [24, 25, 26] that us th Pigou bound. Additional rsults may b found by Corra t al. [6, 7] in thir studis of th pric of anarchy with rspct to th total latncy as wll as th avrag and th maximum latncy. An aspct that distinguishs th rsarch in [7] is thir us of gomtric analysis in computing th pric of anarchy. Th rsults in [27, 24] show that for polynomial dlays, th pric of anarchy is boundd by th dgr of th polynomial and dos not dpnd on th siz of th ntwork. This is indd a surprising rsult. As an xtnsion, our rsults provid bounds for th mor gnral class of htrognous dlay functions that dpnd on th charactristics of th dlay function. For th cas whn th min-max dlay of paths is usd as th social wlfar masur, rsults of Witz[29] and in [4] show that for arbitrary incrasing dlay functions, th pric of anarchy dos dpnd on th siz of th ntwork. For atomic flows, th pric of anarchy [4] has bn invstigatd for th typical unsplittabl modl with aggrgat dlay functions, i.., dlays ar indpndnt of typs of commoditis. Th rsults show that th bound is dpndnt on th dgr of th polynomial usd to modl th dlay (O(d d ) whr d is th dgr of th polynomial). Furthr, improvd and xact bounds wr provd on th worst-cas PoA for unwightd and wightd in atomic unsplittabl congstion gams in [3]. Tchniqus that dpnd on Pigou bounds do not carry ovr and th authors utiliz th similarity of Nash quilibrium solutions with solutions obtaind by a grdy algorithm for an on-lin vrsion of th problm. Not that Nash quilibrium solutions satisfy a variational inquality arising from local optimality conditions. W utiliz this approach to provid bounds on th pric of anarchy for ntworks with gnralizd htrognous dlay functions; th analysis is basd primarily on variational inqualitis that aris in th atomic vrsion of th problm. Th notion of commodity dpndnt dlays was first studid in Dafrmos [8, 9] in which th author considrs a transportation ntwork whr travl tim on a link dpnds on th dlays of th typs of traffic. On xampl of such a dlay function, for dg and commodity i, is providd by Φ i (f,..., f k ) = j g ij()f i ()f j () + h i ()f i (), whr g ij and h i ar constants and i, j rprsnt commoditis. Dafrmos [8, 9] stablishs a condition ([g ij ] must b a positiv dfinit matrix) undr which th flow (i) satisfis Nash Equilibrium conditions and (ii) optimizs an aggrgat objctiv function. Furthr rlatd work is th rsarch on playr-spcific congstion gams [5, 2], a modl which allows for playr spcific dlays but which still uss th aggrgat flow to comput dlays. To our knowldg, th pric of anarchy for htrognous latncy functions has not bn studid bfor. Motivation W outlin motivations from two diffrnt aras, on bing transportation nginring and th othr computr ntworks. Transportation Ntworks. In transportation scinc, traffic quilibrium has bn considrd xtnsivly to analyz transportation systms, starting with th work of Wardrop. Not that this prior work has limitations in modling multipl vhicl typs or multi-modal ntworks. In 3

4 ordr to provid mor accurat modling, transportation scinc modls wr xtndd to th multi-class modl whr th dmand is partitiond into multipl classs and th cost of a rout is dpndnt on th traffic of all usr classs along th rout[9]. Multi-class modls hav bn dfind to xtnd th notion of Wardrop quilibrium, by Dafrmos and Potts and Olivr[22, 9], whr in th lattr papr thy usd th gnralizd BPR (Burau of Public Roads) modl that dpnd on multipl class paramtrs. Multi-class modls may also b found in [7]. Computr Ntworks. Anothr motivation of this rsarch coms from a study of th impact of providing diffrntiatd srvic to diffrnt typs of traffic. Suppos w hav k typs of traffic and traffic typs ar givn prioritis. Th dlay function for th class with th kth priority in a M/G/ quuing systm is E(T k ) = E(R)/( jk ρ j)( jk ρ j), whr E(R) is th man rsidual srvic tim and ρ k is th load of th class-k traffic. Th avrag dlay is obtaind from th xpctd dlay of all commoditis [5]. As a first attmpt to study slfish bhavior in quus with diffrntiatd srvic rats, ths dlays may b modld by a polynomial, possibly a monomial using th dominant trm obtaind from a Taylor sris xpansion. Th study of polynomial dlay functions that is rportd in this papr is applicabl in this contxt. Furthrmor, in this papr w utiliz th traditional routing modl whr usrs ar abl to plan routing paths basd on th dlays in th ntwork. Ths rsults thus apply to transportation ntwork and computr ntwork routings that rly on th link stat of th ntwork. A possibl xtnsion would b to find th pric of anarchy whn othr intrnt routing modls ar usd [9]. Bfor w outlin our rsults w prsnt our modl and som formal dfinitions:. Modl and Dfinitions W considr a dirctd ntwork G = (V, E) with a vrtx st V, an dg st E, and a st K of k N sourc-dstination pairs {s, t },..., {s k, t k }, ach corrsponding to a diffrnt traffic typ. W do not allow slf-loops for any vrtx but accpt paralll dgs btwn any pair of vrtics. For commodity i, dnot th st of (simpl) s i -t i paths by P i, and dfin a st of paths P = P i. For any path P P i, dfin a flow, fp i R+ to b th flow of commodity i that is assignd to path P. Th st of all flows is rprsntd by th flow vctor f = (fp i ) i K,P Pi. For a fixd flow f, commodity i and an dg E dnot th flow of commodity i through dg by f i () = P P i P f P i and th flow vctor on th dg by f() = (f i()) i K. Th total aggrgat flow through dg is dnotd by f() = i f i(). Th dmand rquirmnt of commoditis through k is dnotd by R = (r,..., r k ) whr r i N rprsnts th amount of flow rquird to b routd from sourc s i to dstination t i. A fasibl flow f is on whr th dmand rquirmnt for ach commodity is satisfid, i.., P P i f P i = r i, i. W lt Φ : R k R + b a htrognous dlay function, as dfind blow, on dg, and assum that Φ (f()), f() R k is monotonically incrasing w.r.t componnts of f() and convx. Th dlay xprincd by commodity i on a path P P i is dfind to b Φ i P (f) = P Φ i (f (),..., f k ()) whr Φ i (f (),..., f k ()) is th dlay facd by commodity i on dg, givn th flow vctor f and will b rprsntd by Φ i (f()). Furthrmor, f i () will b rfrrd to as f i whn is vidnt from th contxt. A htrognous dlay function is a gnralization of th standard aggrgat dlay function. W considr polynomial htrognous dlay functions whr th dlay function on dg for commodity i is rprsntd by Φ i (f()) = ln i g il()h il (f, ) + c i () whr (i, l, ), g il () and c i () ar nonngativ ral valud constants. Hr, h il (f, ) is any arbitrary monomial (with 4

5 co-fficint on) in trms of th flow vctor f and dpndnt on dg ; and thr ar N i trms in th polynomial Φ i (f). Unfortunatly, ths functions will b shown to hav unboundd pric of anarchy (s Sction 2.2, in particular Lmma 2.3). As in [4], w study polynomials that ar of th form i a ix θ i, whr θ N and i : a i R ++. W actually considr a class of mor gnral polynomials that xtnd this form. Any polynomial dlay that dos not hav th dfind structur of trms will b shown to hav a pric of anarchy that is dpndnt on rquirmnts or is unboundd. W formaliz this st of polynomials blow. W dfin a dlay to b a θ-complt polynomial dlay (or simply θ-polynomial dlay), θ N, if th dlay function is of th form: Φ i (f) = jk a ij ()f θ j + ll i g il ()f θl f θl 2 2 f θl k k + c i() whr L i N and l, θ l j N, θl j < θ with k j= θl j = θ. Also, (i, j, ): a ij() R ++ and (i, l, ): g il (), c() R +. Lt N i = L i +k+ dnot th numbr of trms in th polynomial Φ i. Furthr, w us N Φ = max i, N i to rprsnt th maximum numbr of trms in th polynomial Φ i (f) ovr all i K and E. Not that for linar functions, N Φ is boundd by k +, th numbr of traffic typs. W assum w.l.o.g that all positiv cofficints and constants ar scald uniformly to b gratr than on. Morovr, with this assumption, th maximum valu of th ratio of th co-fficints and constants, i.. max{max i,l, g il (), max i,j, {a ij ()}, max i, c i ()}, is dnotd by a max. In th cas of htrognous dlay functions, as dfind abov, ach commodity has a diffrnt, commodity rlatd, dlay function on th sam dg. Howvr, undr th condition that (i, ): g il () = g l (), h il () = h l () and (i, j, ): c i () = c j () = c(), th polynomial htrognous dlay function Φ i (f) (with L N monomial trms) is xprssibl as Φ (f,..., f k ) = ll g l ()h l (f, ) + c() Such a dlay function is trmd as dcomposabl. Additionally, w dfin uniform functions as dcomposabl dlay functions of th form: Φ (f) = ll Φ g l h l (f) + c(), whr th dlay function (with L Φ monomial trms) is th sam function of th flow, across all dgs. Not that th constant trm is still dg dpndnt. Such a function may b usd to modl a ntwork whr th quus on ach dg hav th sam paramtrs arising from using th sam undrlying tchnology. Both, non-atomic and atomic flows ar considrd in this papr. In non-atomic flows, th flow of th ith commodity on a path P P i can b arbitrarily small, rprsnting th fact that th playr corrsponding to any on commodity controls a ngligibl amount of traffic, rsulting in multipl paths bing usd to satisfy rquirmnts. In atomic flows, ach commodity i can us only on path to push th rquird units of flow r i N. W rprsnt a ntwork flow routing gam by th tripl G = (G, R, Φ). For a gam G, w dfin th social cost to b th sum total of all dlays on dgs ovr flows of all commoditis, i.., i f i()φ i (f()). Lt f NE and ˆf b a Nash Equilibrium and a social optimum flow, C(f) = rspctivly and lt th social optimum cost = min f C(f) whr ˆf = arg min f C(f). Th pric of anarchy is dfind as: P oa(g) = C(f NE ) sup f NE N (G) whr N (G) is th st of all Nash Equilibrium solutions of th gam G. 5

6 .2 Rsults Our study of quilibrium flows in ntworks with htrognous dlay functions provids multipl rsults on th xistnc of quilibrium and th pric of anarchy. W dscrib blow, th rsults that w obtaind for both th th non-atomic and atomic modls. Rsults for Non-atomic Ntwork Flows: To analyz this class of problms, w introduc a multi-dimnsional vrsion of th Pigou bound [27] that includs a paramtr which w trm as th Gamma bound. Combining th two, provids us bounds on th pric of anarchy for non-atomic flows. W show that th pric of anarchy for th gnral class of convx htrognous functions can bcom unboundd, vn growing with th flow rquirmnt. This contrasts with rsults for dlay functions that only dpnd on th aggrgat flow, a modl for which Roughgardn and Tardos [27] bound th pric of anarchy in trms of a paramtr α that masurs th growth rat of th dlay function. Howvr for th class of htrognous θ-complt polynomial dlay functions, which includ th standard affin functions, w provid bounds on th pric of anarchy that ar indpndnt of th ntwork siz and th flow rquirmnts. Our rsults show that th pric of anarchy is boundd by a function of th polynomial siz, dgr and cofficints. W also discuss lowr bound xampls. Ths rsults xtnd prvious work on th pric of anarchy, mor spcifically th rsults that [27] prsnts. Th xistnc of Nash Equilibrium for convx htrognous dlays follows from th rsults in [27] which show th xistnc of a Nash Equilibrium flow in k-commodity non-atomic ntworks with convx dlay functions. In summary (also rfr to Tabl ): W gnraliz th Pigou bound [24, 27] and provid a multi-dimnsional vrsion, which is trmd th Gamma-Pigou bound (sction 2.). This bound utilizs an indpndnt trm, dfind as th Gamma bound. W show that th pric of anarchy of slfish non-atomic routing in ntworks with htrognous dlay functions can b obtaind from combining ths bounds. W provid xampls (sction 2.2) to illustrat that th pric of anarchy for htrognous functions can bcom unboundd in th gnral cas. W provid a bound on th pric of anarchy in ntworks with k (typs of) commoditis whr ach dg is associatd with htrognous θ-complt polynomial dlay functions. This bound is (a max kn Φ ) θ+ in th most gnral form of th ntwork whr N Φ rprsnts th maximum numbr of trms in th dlay function ovr all dgs (sction 2.4). W not that this bound is indpndnt of th ntwork siz but grows with th numbr of commodity typs and xponntially with rspct to θ, th dgr of th polynomial. A similar bhavior is xhibitd in th cas of dcomposabl θ-complt polynomial dlay functions (sction 2.3), whr th pric of anarchy bound is (θ+)a max k θ, which bcoms 2a max for affin functions. Whn w considr ntworks with htrognous affin (i.., θ = ) dlay functions, th bound is k 2 N 2 Φ a2 max + 2. Not that N Φ is boundd by k +. Ths bounds should b contrastd with th bound of 4/3 achivd whn th dlay on th dg is linarly dpndnt on th aggrgat flow of th commoditis on th dg. Th bounds illustrat an xponntial growth with th dgr of th polynomials and linar or polynomial growth with th valu of a max. W provid an xampl(lmma 2.4) that illustrats th tightnss of our bounds. xampl ntwork has a POA of a max (k ) θ for larg nough valu of a max. ntwork provids an asymptotically tight bound for affin functions. 6 Th This

7 k commoditis PoA affin θ-complt polynomial ( ) Aggrgat 4/3 [27] Θ θ log θ [24] 2a max (θ + )a max k Dcomposabl θ [Thorm 2.7*] [Thorm 2.7] Htrognous k 2 N 2 Φ a2 max + 2 (a max kn Φ ) θ+ [Thorm 2.] [Thorm 2.9] Lowr Bound [Lmma 2.4]: Ω(a max (k ) θ ) Tabl : PoA for Nonatomic Flows (* indicats an asymptotically tight bound) Rsults for Atomic Ntwork Flows: Our scond st of rsults considr atomic flows. In th most gnral stting Nash quilibrium dos not xist and thus whrvr ncssary w will assum that th instanc providd has a Nash quilibrium. Our rsults for th cas of atomic flows ar summarizd blow (also rfr to Tabl 2). W show th xistnc of Nash quilibrium for uniform htrognous affin dlay functions. Our proof uss a potntial function argumnt. Furthr, w show that for nonuniform htrognous functions, whr dgs hav diffrnt dlay functions, Nash Equilibrium nd not xist (sction 3.). Th scond rsult is indd surprising, spcially sinc it only rquirs affin functions and unit dmands (unwightd) to gnrat th xampls. This contrasts with th fact that any unwightd congstion gam with homognous dlays, whr th dlay is a function of aggrgat flows, has a pur Nash quilibrium [23, 6] W considr th pric of anarchy for atomic flow routing in ntworks with k (typs of) commoditis whr ach dg is associatd with dcomposabl θ-complt polynomial dlay functions (sction 3.2). Whn w considr ntworks with dcomposabl affin dlay functions this bound is a max +2 and thus is dpndnt on th rlativ impact of th commoditis. This contrasts with th constant PoA bound of [4] whn th dlay function dpnds only on th aggrgat flow. In th cas of dcomposabl θ-complt polynomial dlay functions, th bound is O(a θ+2 Φ ). Th abov bounds utiliz argumnts basd on a variational inquality that ariss in ths problms and satisfid by any Nash quilibrium solution. maxn θ+ Again, vn in this cas, th PoA dos not dpnd on th ntwork siz but only on th charactristic of th dlay function. Howvr, th rlativ co-fficints in th dlay function, a max, is a substantial factor. Contrast this with th bound whn th dlays ar a function of th aggrgat flows: th pric of anarchy for aggrgat dlay functions is Θ(( θ log θ )θ+ ) [3], indpndnt of th rlativ wights of th typs of commoditis in th ntwork or th numbr of commoditis thmslvs. Furthr, for atomic flows in ntworks with two diffrnt typs of commoditis and uniform dlay functions, i.., dlays dfind by a f () + a 2 f 2 () + c(), w show an improvd bound on th pric of anarchy (Tabl 3). This is achivd by considring th cycls that aris whn th Nash quilibrium and social optimum flows ar ovrlaid, cancling common flows. By analyzing th flow in ths cycls, w provid an asymptotically tight bound of a max

8 PoA affin θ-complt polynomial Aggrgat Dcomposabl 3+ ( ) θ+ 5 2 [4] Θ θ log θ [3] a max + 2 O(a θ+2 maxn θ+ Φ ) [Thorm 3.4*] [Thorm 3.5] Lowr Bound [Lmma 3.2]: Ω(a max ) Tabl 2: PoA for k-commodity Atomic Flows (* indicats an asymptotically tight bound) PoA uniform dcomposabl amax + 2 a max + 2 Affin [Thorm 3.7*] [Thorm 3.4] Lowr Bound [Lmma 3.6]: Ω( a max ) Tabl 3: PoA for 2-commodity Atomic Flows (* indicats an asymptotically tight bound).3 Organization of th papr In Sction 2, w considr bounds for th pric of anarchy for non-atomic ntworks with dcomposabl dlay functions. Furthr, in Sction 3 w prsnt our rsults for atomic flows and strngthn our rsults on th pric of anarchy for two-commodity ntwork flows with uniform dlay functions in Sction Part I: Th Non-Atomic Cas In this sction w considr th cas of non-atomic ntwork flow routing gams. W considr htrognous functions with polynomial dlays. Our contributions on bounds for th pric of anarchy in non-atomic slfish routing problms hav bn summarizd in Tabl. For gnral htrognous functions, th pric of anarchy is unboundd as will b illustratd in Sction 2.2. As th tabl shows, w obtain uppr bounds on th pric of anarchy for htrognous dlays for th intrsting cass whr th function is dcomposabl and whn w considr θ-complt polynomial dlays. To show bounds on PoA w will us th following variational inquality charactrization [0], th proof of which is simpl and omittd. Lmma 2. Lt f b a fasibl flow for th non-atomic instanc (G, R, Φ). Th flow f is a Nash quilibrium flow if and only if f i ()Φ i (f,..., f k ) ˆf i ()Φ i (f,..., f k ) for vry flow ˆf fasibl for (G, R, Φ). i 2. Th Gamma-Pigou Bound for th Pric of Anarchy W first stablish an approach to dtrmining th uppr bounds on th pric of anarchy for multidimnsional dlay functions. For simplicity w considr dcomposabl functions. Whil 8 i

9 this thory is unrstrictd, in that th bounds apply for arbitrary htrognous functions also, analysis indicats that th pric of anarchy is unboundd in ths cass. To simplify notations, w us f instad of f() whn clar from th contxt. In th analysis of htrognous dlay functions th standard Pigou bound argumnts, dsignd for aggrgat dlay functions, do not apply. W thus considr a multi-dimnsional vrsion of th Pigou bound. Sinc that bound, by itslf, dos not suffic, w stablish that th pric of anarchy is boundd by th gnralizd Pigou bound and th Gamma bound, which w dscrib in dtail blow. In th subsqunt subsction w analyz ths bounds in th contxt of th dlay functions dfind by dcomposabl θ-complt polynomial functions. W first dscrib th multi-dimnsional vrsion of th Pigou bound [27] as applid to flow vctors that rprsnt th k typs of commoditis. Dfinition (Gnralizd Pigou bound) Lt C b a nonmpty st of cost functions, ach function dfind ovr R k +. Th Pigou bound α(c) for C is α(c) = sup sup Φ C x,r 0 γ(c) r Φ(r,..., r k ), β(c) β(c) = γ(c) x Φ(x,..., x k ) + ( r x )Φ(r,..., r k ), whr r = (r,..., r k ) and x = (x,..., x k ), r, x R k + with th undrstanding that 0/0 =, and Φ(r,..., r k ) γ(c) = sup sup Φ C r,x: x r Φ(x,..., x k ) W split our analysis into two cass: ) x < r and 2) x r. In th cas whn x < r, w considr th gnralizd Pigou bound as dscribd abov. Howvr, w will valuat th Pigou bound in a rstrictd stting by using th following mathmatical program (SC): γ(c) r Φ(r,,..., r k ) SC: α(c) = sup sup γ(c) x Φ(x,..., x k ) + ( r x )Φ(r,..., r k ) Φ C x,r 0 subjct to Φ(x,..., x k ) Φ(r,..., r k ) x < r Not that whn Φ(x,..., x k ) > Φ(r,..., r k ), th valu of x (Φ(x,..., x k ) Φ(r,..., r k )) bcoms positiv and dcrass th valu of α(c). Thus w.l.o.g w add th constraint that Φ(x,..., x k ) Φ(r,..., r k ). For th scond cas, w will considr th scond ratio, trmd th Gamma Bound, dfind abov and rstatd in a form that will b usd in th proof blow: Φ(r,..., r k ) r + Φ(r,..., r k )( x r ) γ(c) = sup sup Φ C r,x: x r Φ(x,..., x k ) x Givn flow vctors f and ˆf, w will lt E f() > ˆf() b th st of all dgs with th proprty that f() > ˆf(). W ar now abl to xprss th pric of anarchy in trms of th abov Pigou and Gamma bounds: Thorm 2.2 (Gamma-Pigou Bound) Lt C b a st of dcomposabl monotonically incrasing dlay functions. If (G, R, Φ) is an instanc of a non-atomic k-commodity ntwork flow routing gam with dlay function Φ C, thn th pric of anarchy in (G, R, Φ) is at most max{α(c), γ(c)}. 9

10 Proof: Lt ˆf and f b th optimal and Nash quilibrium flow, rspctivly, for a non-atomic instanc (G, R, Φ) with dlay functions in th st C. W lt th total cost of flow f b. To prov th thorm w not that: = E Φ ( ˆf()) ˆf() α(c) γ(c) γ(c) γ(c) α(c) γ(c) γ(c) γ(c) α(c) γ(c) Φ (f()) f() + E f > ˆf Φ (f())( ˆf() f() ) + E f > ˆf Φ (f()) f() + E f ˆf Φ (f())( ˆf() f() ) E f ˆf Φ (f()) f() + E f > ˆf Φ (f()) f() + E f ˆf Φ (f())( ˆf() f() ) + E f > ˆf Φ (f())( ˆf() f() ) E f ˆf Φ (f()) f() + E f > ˆf Φ (f()) f() E f ˆf min{ α(c), γ(c) } Φ (f()) f() = E max{α(c), γ(c)}. Th first inquality follows from th dfinition of th Pigou bound applid to ach dg in E f > ˆf and th Gamma bound w.r.t. dgs in E f ˆf. Hr w split th dg st into two cass as mntiond bfor : E f > ˆf and E f ˆf indicat a st of dgs with f() > ˆf() and f() ˆf(), rspctivly. Th scond inquality can b obtaind by rarranging trms in th first inquality and th third and th fourth trms in th scond inquality can b combind togthr and ignord du to th variational inquality charactrization prsntd in Lmma Pric of Anarchy is Unboundd for Htrognous Polynomial Dlays In this subsction w show lowr bounds on th pric of anarchy in non-atomic ntworks with htrognous polynomial dlay functions. It is surprising that vn in 2-commodity ntworks 0

11 with dlay functions that ar sums of monomials of singl variabls, th pric of anarchy dpnds on th dmand rquirmnt. W first considr an xampl of a 2-commodity ntwork with 2 dgs, illustratd in Figur. In this ntwork, th top dg is associatd with th dlay function Φ i (f ( ), f 2 ( )) = a i f θ +f 2; th bottom dg 2 is associatd with th dlay function Φ i 2 (f ( 2 ), f 2 ( 2 )) = f +a i f2 θ whr a, a 2 and θ >. Dmand rquirmnts ar dfind as r = r 2 = r (whr r 2). Th worst-cas Nash quilibrium flow vctor f is achivd whn f ( ) = r and f 2 ( 2 ) = r and consquntly th cost of Nash Equilibrium, = (a + a 2 )r θ+. In contrast th social optimum flow ˆf can b obtaind from f 2 ( ) = r and f ( 2 ) = r and th social optimum cost is = 2r 2. Not that this bound holds for htrognous functions that ar also dcomposabl (by ltting a = a 2 = a), but dos not hold for dcomposabl θ-complt polynomials, a class for which uppr bounds will b illustratd in Sction 2.3. Lmma 2.3 Lt C b a st of polynomial htrognous dlay functions comprising monomials of a singl variabl. Thr xists a (G, R = (r, r), Φ), an instanc of non-atomic 2-commodity ntwork flow routing gam whr Φ C, such that th pric of anarchy of 2-commodity flow routing in (G, R, Φ) is Ω(r θ ). ¹ º ¹ É ¹ ¹ ¹ º ¹ É (a) Ntwork (b)nash Equilibrium (c) Optimum Figur : Gnral Polynomial and Htrognous Latncy Our nxt xampl ntwork in Figur 2 shows that in fact th infficincy of quilibrium can b much wors. In this ntwork, th top dg is associatd with th dlay function Φ (f (), f 2 ()) = (a) Ntwork (b)nash Equilibrium (c) Optimum Figur 2: An xampl of an unboundd pric of anarchy f f 2 + f 2 and th bottom dg h is associatd with th dlay function Φ h(f (h), f 2 (h)) = f f 2 + f 2. Dmand rquirmnts ar dfind as r = and r 2 =. Th worst-cas Nash quilibrium flow vctor f is achivd whn f (h) = and f 2 () = and consquntly th Nash quilibrium cost = 2. Convrsly th social optimum flow ˆf can b obtaind from ˆf () = and ˆf 2 (h) = and th social optimum flow cost = 0. Thrfor, th pric of anarchy is unboundd. 2.3 PoA for k-commodity Non-atomic Ntworks: th dcomposabl θ-complt polynomial cas W nxt considr th pric of anarchy for k-commodity non-atomic ntwork flow routing gams whr ach dg is associatd with a dcomposabl θ-complt polynomial dlay function. Th

12 lowr bounds obtaind in th prvious sction usd ntwork instancs whr th polynomial dlay function is not θ-complt. Th first xampl dos not satisfy th rquirmnt that all trms hav th sam sum of xponnts and th scond xampl dos not hav all th non-cross trms corrsponding to th two flow variabls. As discussd in th introduction, it has bn shown that Nash quilibrium flow is quivalnt to a social optimum flow undr homognous aggrgat dlay functions. Howvr, gnrally this dos not hold, and vn for affin dlay functions, PoA is boundd by 4/3. In this sction w stablish an uppr bound for th PoA for htrognous dcomposabl θ-complt polynomial dlay functions which, unfortunatly, is wors than that for th classical aggrgat functions usd in [24, 27] A Lowr Bound on PoA W considr an xampl of a k-commodity ntwork, with k dgs, illustratd in Figur 3. In this ntwork, th ith dg i is associatd with th dlay function Φ i (f ( i ),..., f k ( i )) = f θ ( i)+f θ 2 ( i)+...+a i f θ i ( i)+...+f θ k ( i). Dmand rquirmnts ar dfind as r =... = r k =. W lt a i = a >, i. Th worst-cas Nash quilibrium (NE) flow vctor f is achivd whn f j ( j ) =, whn j k and consquntly th NE cost = ak. Convrsly th social optimum flow ˆf can b obtaind by ltting ˆf l ( j ) = /(k ) whn l j, l, j k for a larg nough valu of a and th social optimum has cost = k/(k ) θ. Lt a max b as dfind in Sction.. Thn w hav: Lmma 2.4 Lt C b a st of dcomposabl θ-complt polynomial dlay functions. Thr xists a (G, R, Φ), an instanc of a non-atomic k-commodity ntwork flow routing gam whr Φ C, such that th pric of anarchy of flow routing in (G, R, Φ) is Ω(a max (k ) θ ). (a) Ntwork (b)nash Equilibrium (c) Optimum Figur 3: Dcomposabl θ-complt Polynomial Latncy POA in k-commodity non-atomic flow ntworks with a polynomial dcomposabl dlay function In this subsction w considr ntwork instancs whr th dlay function of ach path is in th class of dcomposabl θ-complt polynomial functions. W lt Φ (f) = l g lf θl f θl 2 2 f θl k k +c() whr j=k j= θl j = θ and which, by th assumptions of θ-complt polynomials, includs th trms i a ifi θ, a i R ++. In ordr to prov th pric of anarchy w considr two cass dpnding on th rlationship btwn f and ˆf, whr f and ˆf ar th Nash and optimum dlay flows. First w considr th cas whn f ˆf on dg, for which w dtrmin th Gamma bound. W will thn find th Pigou bound for th convrs inquality. 2

13 Lmma 2.5 Lt C b a st of dcomposabl θ-complt polynomial dlay functions for nonatomic k-commodity ntwork flow routing gams. Thn, γ(c) a max k θ. Proof: For th cas whn f f k ˆf ˆf k on dg, w.l.o.g w minimiz th social optimum dlay by considring ˆf = f. This can b achivd by rducing th flow on ach of th dimnsions. By monotonicity, Φ ( ˆf) dcrass. For th rmaindr, w omit th dpndncy on for simplicity. Lt r = f and x = ˆf. thn γ(c) = Φ(f,..., f k ) Φ( ˆf,..., ˆf k ) l g lf θl f θl 2 2 f θl k k + c a ˆf θ a k ˆf θ k + c max l g l f θ f k θ + f θ f θ 2 2 f θ k k +... min i a i ˆf θ ˆf (3) k θ < max l g l f θ f k θ + f θ f θ 2 2 f θ k k +... min i a i k((f f k )/k) θ (4) max l g l k θ f θ f k θ + f θ f θ 2 2 f θ k k +... min i a i (f f k ) θ (5) a max k θ (f f k ) θ (f f k ) θ (6) a max k θ (7) In inquality (2), l rprsnts l-th trm in th dlay function Φ() and θ θ k = θ sinc th dlay function is a dcomposabl θ-complt polynomial. To minimiz th divisor w us only th sum of monomials, i a if θ j, containd in Φ(f,..., f k ). This trm is lowr boundd by min i a i ( ˆf θ ˆf k θ). Sinc ˆf ˆf k = f th minimum valu of th divisor is achivd whn ˆf =... = ˆf k > f /k. Finally, (7) can b obtaind. Now lt us valuat th Pigou bound for th cas whn f > ˆf on an dg. Lmma 2.6 Lt C b a st of dcomposabl θ-complt polynomial dlay functions for nonatomic k-commodity ntwork flow routing gams. Thn, α(c) (θ + )γ(c). Proof: W considr th valu of th Pigou bound and fixing flow f, find a bound on th infimum of th dnominator, β(c), that occurs in th xprssion for α(c). W lt r = f and x = ˆf and dtrmin inf ˆf β(c) in trms of th vctor f. Again w omit th dpndncy on. Givn a rquirmnt vctor R w find a lowr bound on β(c) as dscribd abov. Th function β(c) is convx and thus by KKT conditions w.l.o.g assum that ˆf i > 0 and β(c) ˆf = 0, i i {, 2,..., k }, whr {i K ˆf i > 0} = k. Not thus that by th quations, β(c) ˆf = 0 for i i, i k, w obtain γ(c) ˆf Φ( ˆf) ˆf Φ(f) + γ(c)φ( ˆf) = 0 i which can b writtn as γ(c) ˆf Φ( ˆf) ˆf i = Φ(f) γ(c)φ( ˆf). () (2) 3

14 Multiplying th abov with ˆf i givs that γ(c) ˆf ˆfi Φ( ˆf) ˆf i = ˆf i (Φ(f) γ(c)φ( ˆf)). and summing ovr all i k, which is quivalnt to γ(c) k i= ˆf ˆfi Φ( ˆf) ˆf i = k i= ˆf i (Φ(f) γ(c)φ( ˆf)) γ(c) ˆf k i= ˆf i Φ( ˆf) ˆf i = ˆf (Φ(f) γ(c)φ( ˆf)). Sinc θ is th maximum dgr and positiv and all trms in Φ( ˆf) ˆf i ar nonngativ as all cofficints ar nonngativ (by dfinition) and ˆf has nonngativ componnts, and thus By liminating ˆf on both sids, Furthr, θφ( ˆf) k i= ˆf i Φ( ˆf)/ ˆf i γ(c) ˆf θφ( ˆf) ˆf (Φ(f) γ(c)φ( ˆf)). γ(c)(θ + )Φ( ˆf) Φ(f). (8) Thus, β(c) = γ(c) ˆf Φ( ˆf) + ( f ˆf )Φ(f) (9) f Φ(f) + ˆf γ(c) Φ(f) (θ + )γ(c) ˆf Φ(f) (0) = f Φ(f) + ˆf θφ(f) () θ + θφ(f) f Φ(f) + f (2) θ + = f (Φ(f) θ Φ(f)) (3) θ + = β(c) θ + f Φ(f) (4) α(c) γ(c) f Φ(f) γ(c) ˆf Φ( ˆf) + ( f ˆf )Φ(f) (5) = γ(c) f Φ(f) β(c) (6) γ(c) f Φ(f) f Φ(f) (7) θ+ = (θ + )γ(c) (8) 4

15 Combining th abov two bounds and using Thorm 2.2 w obtain th following rsult: Thorm 2.7 Lt C b a st of dcomposabl θ-complt polynomial dlay functions. Lt (G, R, Φ) b a non-atomic k-commodity ntwork flow routing gam instanc with dlay function Φ C. Th pric of anarchy of flow routing in (G, R, Φ) is at most (θ + )a max k θ 2.4 POA in k-commoditis non-atomic htrognous θ-complt polynomial dlay functions In this sction w show bounds on th pric of anarchy in k-commodity non-atomic ntworks for htrognous affin and polynomial dlay functions. Th bound will b a function of th numbr of commoditis k and N Φ, th maximum numbr of trms in th polynomial rprsnting Φ i (f) ovr all dgs,, and commoditis, i. Intrstingly, thr is no dpndnc on th siz of th ntwork. Bfor proving th rsult w will nd th following lmma: Lmma 2.8 Lt f b a Nash quilibrium flow and ˆf b a social optimum flow vctor in a nonatomic k-commodity flow routing gam instanc with htrognous θ-complt polynomial dlay functions. Thn kn Φ a max () θ θ+ (CSO ( ˆf)) θ+ + CSO ( ˆf) Proof: W us th variational inquality dfind in Lmma 2.(also s [0]). Th dlay function may hav two catgoris of trms : i) summation of all trms that consists of on variabl and ii) summation of all trms that consists of at last two variabls (rfrrd to as cross trms). Lt us first considr th part of th dlay function that compriss trms of catgory (i). To simplify th prsntation w first considr on such trm in Φ i (f), i.., th gnric trm a il ()fl θ(). A bound on th contribution of th trm to th dlay is providd blow: ˆf i ()(a il ()fl θ ()) a max ˆf i ()(fl θ ()) a max ( ˆf i θ+ ()) θ+ ( (f θ θ+ θ l ()) θ ) θ+ a max θ+ ( (fl θ ()) θ (Φ l (f))) θ a max θ+ ( (f l ())(Φ l (f))) θ a max θ+ CNE (f) θ θ+ Th trm on th LHS in th first inquality ariss on th RHS of th variational inquality. Th first inquality holds sinc a max is th largst cofficint ovr all a ij. Th scond inquality can b obtaind by applying Höldr s inquality. Th third inquality is tru sinc l, fl θ() Φl (f), givn th assumption that all co-fficints of th polynomial Φ l (f) hav valu gratr than or qual to on. Finally, th last inquality follows sinc (f l())(φ l (f)). For th scond cas, not that for any cross trm th following is tru: f θ ()f θ 2 2 () f θ k k () max(f θ(),..., f k θ()) whr θ +...+θ k = θ in th scond cas. Th l-th trm in th dlay function for commodity i satisfis g il ()f θl ()f θl 2 2 () f θl k k () g il() max(f θ(),..., f k θ ()). Th subsqunt bound in this cas is obtaind similarly to th first cas. Basd on ths two cass, w know that any trm in Φ i (f) has th sam uppr bound, i.., a max θ+ CNE (f) θ θ+. 5 θ+ θ+

16 Not that w hav at most N Φ trms in Φ i (f) for ach of th k commoditis. Th bound in th lmma follows, sinc = f i ()Φ i (f) i = f i () a ij ()fj θ + g il ()f θl f θl 2 2 f θl k k + c i() i K E j ll i ˆf i () a ij ()fj θ + g il ()f θl f θl 2 2 f θl k k + ˆf i ()c i () i j i ll i kn Φ a max () θ θ+ (CSO ( ˆf)) θ+ + CSO ( ˆf) whr th last inquality follows bcaus i W us th abov lmma to prov th following rsult: ˆf i ()c i () i ˆf i ()Φ i ( ˆf) =. Thorm 2.9 Lt C b a st of htrognous θ-complt polynomial dlay functions. If (G, R, Φ) is a non-atomic k-commodity ntwork flow routing gam instanc with dlay functions in C, thn th pric of anarchy of routing flow in (G, R, Φ) is at most (a max kn Φ + ) θ+. Proof: Du to Lmma 2.8, ( kn Φ a max () θ θ+ ) θ+ + whr f is th Nash quilibrium flow and ˆf th social optimum flow. Thus, ( ) ( ) θ θ+ kn Φ a max +. Sinc ( C NE(f) ) θ θ+, ( ) ( (kn Φ a max + ) ) θ θ+ Thus P oa (a max kn Φ + ) θ k-commodity non-atomic - htrognous affin dlay functions W dtrmin a bound on th pric of anarchy in k-commodity non-atomic ntworks with htrognous affin dlay functions. From Lmma 2.8, w hav th following corollary: Corollary 2.0 Lt f and ˆf b a Nash quilibrium flow and a social optimum flow vctor, rspctivly, in a non-atomic k-commodity ntwork flow routing gam instanc with htrognous affin dlay functions. Thn kn Φ a max () /2 + CSO ( ˆf). 6

17 Also, in a fashion similar to Thorm 2.9, w hav th following thorm. Thorm 2. Lt C b a st of htrognous affin functions. If (G, R, Φ) is a k-commodity non-atomic ntwork flow routing gam instanc with dlay function in C, thn th pric of anarchy of routing flow in (G, R, Φ) is at most k 2 N 2 Φ a2 max + 2. Proof: Using Corollary 2.0 ( ) ( ) 2 (kn Φ a max ) + Th rsult follows from dtrmining an uppr bound on x such that x 2 kn Φ a max x 0 whr x 2 = C NE(f). 3 Part II - PoA for Atomic Flows In this sction w considr atomic flows. W start with som ngativ rsults on th xistnc of Nash quilibrium. In gnral, Nash quilibrium dos not xist, vn for affin functions, as shown in Sction 3.. Not that this is somwhat surprising sinc it is wll known that a congstion gam with dlay that is a function of aggrgat load, or flow, has at last on pur Nash quilibrium [23, 6]. A positiv outlook dos xist: w show that Nash quilibrium xists whn th htrognous dlay functions ar affin and uniform ovr th ntwork. Our contributions for th pric of anarchy in atomic slfish routing problms hav bn illustratd in Tabl 2. For 2-commodity ntworks with uniform affin dlay functions, w show (also s Tabl 3) improvd bounds which ar diffrnt from th bounds on gnral dcomposabl affin dlay functions. Th bound providd (Thorm 3.7) is an asymptotically tight bound as illustratd by th lowr bound of Ω( a max ). 3. Existnc of Atomic NE flow? W first show that pur Nash quilibrium dos not xist in th cas of atomic, dcomposabl and affin dlay functions with unwightd dmand rquirmnt. In Figur 4, thr ar two Figur 4: Affin and Dcomposabl Latncy usrs with r = r 2 = (also trmd unwightd) and th usrs hav th sam st of stratgis (paths) from sourc s to dstination t. Th dlay function associatd with an dg is shown in Figur 4. Lt us dfin four paths P = {(s, t)}, P 2 = {(s, u), (u, t)}, P 3 = {(s, u), (u, v), (v, t)} and P 4 = {(s, v), (v, t)}. Sinc th cofficint of th dlay for usr 2 is vry larg for th dgs in P and P 3, usr 2 will not utiliz ths paths. Thus, thr ar a total of ight pairs of paths ach of which ar chosn by usr and usr 2, rspctivly as shown in Tabl 4. Th stratgis of th two usrs will b rprsntd by th pair of stratgis (P, P ) whr P and P 7

18 Stratgy Pair path dlay usr usr 2 usr usr 2 (P 3, P 2 ) P 3 P (P 3, P 4 ) P 3 P (P, P 4 ) P P (P, P 2 ) P P (P 4, P 2 ) P 4 P (P 2, P 4 ) P 2 P (P 2, P 2 ) P 2 P (P 4, P 4 ) P 4 P Tabl 4: Non-xistnc of Pur Nash Equilibrium blong to th st of 4 paths {P, P 2, P 3, P 4 ). Thr xists a squnc of stratgy pairs that cycl {(P 3, P 2 ), (P 3, P 4 ), (P, P 4 ), (P, P 2 )}. Furthr, othr stratgis ar not stabl. Stratgy pairs (P 4, P 2 ) and (P 2, P 2 ) will shift to th stratgy pair (P 3, P 2 ) bcaus P 3 is mor bnficial to usr. And lastly, stratgy pairs (P 2, P 4 ) and (P 4, P 4 ) ar unstabl sinc th stratgy pair (P 3, P 4 ) is prfrrd by usr. This xampl shows that thr may b no pur Nash quilibrium in 2-commodity atomic ntworks whr ach dg is associatd with an affin, dcomposabl dlay function and ach usr has a rquirmnt of on unit of dmand (a cas usually rfrrd to as unwightd). Howvr, in atomic ntworks whn ach dg is associatd with an affin, uniform dlay function, w show that thr xists at last on pur Nash quilibrium. This proof applis to both unwightd and wightd dmands and is basd on th xistnc of a potntial function. Thorm 3. Lt C b a st of affin, uniform dlay functions. If (G, R, Φ) is a k-commodity atomic ntwork flow routing gam instanc with dlay functions in C, thn (G, R, Φ) admits at last on Nash quilibrium. Proof: W start with considring dlay functions of th form i a i()f i ()+c(). Lt us dfin a potntial function Ψ(f) = (d2 () + j S() (a j()r j ()) 2 ) whr d() = k i= a i()r i () + c() for vry fasibl flow f and S() rprsnts th st commoditis utilizing dg. W claim that a global minimum f of th potntial function Ψ is also an quilibrium flow for (G, R, Φ). Lt P i b th path usd by commodity i in th solution that minimizs Ψ(f). Assum, for a contradiction, that shifting from path P i to path P i by usr i, crating th flow f, strictly dcrass its dlay. In othr words, (f, f) = Φ Pi ( f) Φ Pi (f) = Φ (..., f i () = r i,...) P i \P i P i \ P i Φ (f (),..., f i () = r i,... f k ()) < 0. On th othr hand, lt us considr th potntial function Ψ as usr i dviats. For any dg ē in P i \ P i, w gain (d(ē) + a i (ē)r i (ē)) 2 + a 2 i (ē)r2 i (ē) d2 (ē) = 2d(ē)a i (ē)r i (ē) + 2a 2 i (ē)r2 i (ē). For any dg in P i \ P i, w hav a chang of d 2 () ((d() a i ()r i ()) 2 a 2 i ()r2 i ()) = 2d()a i()r i (). Thus, Ψ( f) Ψ(f) = ē (2d(ē)a i (ē)r i (ē) + 2a 2 i (ē)r 2 i (ē)) 2d()a i ()r i () = 2a i r i ( ē (d(ē) + a i r i ) d()) = 2a i r i (Φ Pi ( f) Φ Pi (f)) = 2a i r i (f, f) 8

19 Th first quality holds du to th dfinition of potntial function Ψ. Sinc w considr affin, uniform dlay functions, a i (ē) = a i () = a i and this rsults in th scond quality. Not that th third quality is satisfid bcaus a i r i is th xact amount of dlay incras aftr th usr i dviation. Sinc th dlay dcrass aftr usr i dviats, (f, f) is ngativ. Furthr, a i, r i > 0, and thus th potntial function valu at f is strictly lss than th potntial valu at f, which contradicts that f is a global minimum. 3.2 k-commodity atomic dcomposabl θ-complt polynomial dlay functions In this sction w provid bounds on th pric of anarchy in k-commodity ntwork flows with dcomposabl dlay functions A Lowr Bound on PoA W show an xampl ntwork in Figur 5. In this ntwork, th top dg is associatd with th (a) Ntwork (b)nash Equilibrium (c) Optimum Figur 5: Affin and Dcomposabl Latncy dlay function Φ (f (), f 2 ()) = f + af 2 and th bottom dg h is associatd with th dlay function Φ h (f (h), f 2 (h)) = af + f 2. Dmand rquirmnts ar dfind as r = and r 2 =. Th worst-cas Nash quilibrium flow vctor f is achivd whn f (h) = and f 2 () = and consquntly th Nash quilibrium cost = 2a. Convrsly th social optimum flow ˆf can b obtaind from ˆf () = and ˆf 2 (h) = and th social optimum cost = 2. Lmma 3.2 Lt C b a st of affin dcomposabl dlay functions. Thr xists (G, R, Φ), an atomic two-commodity ntwork flow routing gam instanc whr Φ C, such that th pric of anarchy of atomic flow routing in (G, R, Φ) is Ω(a max ) whn a max 2. Not that whn a max =, i.. in th aggrgat modl whr all co-fficints ar th sam, an xampl with 4 playrs has bn shown whr th pric of anarchy is + φ 2.68 [4] An Uppr Bound on PoA In this sction w provid an uppr bound on th pric of anarchy for k-commodity ntwork atomic flows. W first considr affin dlay functions, i.., dlay functions of th form Φ i () = j a j()f j () + c(). W us th Cauchy-Schwartz inquality to prov th following: Lmma 3.3 Lt C b a st of affin dcomposabl dlay functions. Lt f and ˆf b a Nash quilibrium and a social optimum atomic flow, rspctivly, in a k-commodity ntwork flow routing gam with dlays in th class C. Thn () /2 a max () /2 +. 9

20 Proof: Lt f and ˆf b a Nash quilibrium flow and a social optimum flow, rspctivly for this instanc. Lt P i and ˆP i b paths, utilizd by commodity i, in th Nash quilibrium (NE) and th social optimum solution, rspctivly. Thn by th fact that P i is usd at th NE solution, (a ()f () a k ()f k () + c()) (a ()f () a k ()f k () + c() + a i ()r i ). P i ˆP i Th inquality abov holds du to th variational inquality. By multiplying both sids of th abov inquality by r i and summing ovr all commoditis, w hav th following. r i (a ()f ()+...+a k ()f k ()+c()) r i (a ()f ()+...+a k ()f k ()+c()+a i ()r i ) i P i i ˆP i or quivalntly, on summing ovr all dgs instad of paths, using f i () = r i and intrchanging th ordr of th summations, w gt f() (a ()f ()+...+a k ()f k ()+c()) ˆf() (a ()f ()+...+a k ()f k ()+c()) i P i i ˆPi. + i ˆP i a i () ˆf i Thn, cost at Nash quilibrium is boundd abov as follows: ˆf() (a ()f () a k ()f k ()) + ˆf() (a ()f () a k ()f k ()) + ( ˆf() 2 ) /2 ( (a ()f () a k ()f k ()) 2 ) /2 + ˆf() (a i () ˆf i () + c()) ( + i 2 ( ˆf() c() + ˆf i 2 ()a i ()) i ˆf() (a i () ˆf i () + c()) ˆf() 2 )(max a i()) (f () f k ())(a ()f () a k ()f k ()) i, ˆf() (a i () ˆf i () + c()) i () max /2 a i() + i, Th third inquality can b obtaind by utilizing th Cauchy-Schwartz inquality. Th last inquality dpnds on th co-fficints of th affin function bing gratr than or qual to on. Using th abov lmma w can dtrmin th pric of anarchy for th st of affin dcomposabl dlay functions. Thorm 3.4 Lt C b a st of affin, dcomposabl dlay functions. If (G, R, Φ) is a k- commodity atomic ntwork flow routing gam instanc with th dlay function Φ in C, thn th pric of anarchy of atomic flow routing in (G, R, Φ) is at most a max + 2 whr a max rprsnts th maximum cofficint in th affin dlay function. i 20

21 Proof: From Lmma 3.3 and dividing by givs a /2 max ( ) ( ) /2 CSO ( ˆf) 0, a /2 max ( ) /2 0 Thn, w obtain a quadratic quation x 2 a /2 maxx 0 whr x = to PoA = ( (amax+4) /2 +(a max) /2 2 ( ) /2 CNE (f) which lads ) 2 = a max+(a 2 max +4amax)/2 2 + a max + 2. W can xtnd th abov proof to find an uppr bound on th pric of anarchy in k-commodity atomic ntworks with dcomposabl polynomial dlay functions. Thorm 3.5 Lt C b a st of dcomposabl θ-complt polynomial dlay functions. If (G, R, Φ) is a k-commodity atomic ntwork flow routing gam instanc with th dlay function Φ in C, thn th pric of anarchy of atomic flow routing in (G, R, Φ) is O(a θ+2 maxn θ+ Φ ) Proof: Using th variational inquality applicabl in th cas of atomic flow routing, w gt, for th ith commodity: Φ (f ) Φ ( ˆf ) (9) P i whr f is th Nash quilibrium flow and ˆf is th flow function with th ith commodity using P i instad of P i to rout r i units of flow. Th introduction of th ith commodity to dgs in th path P i adds a numbr of trms to th dlay. Considr th following sum of dlay trms on dg whn ˆf i () is nonzro. g l () ˆf θl ˆf θl 2 2 ˆf θl k k ll i whr ˆf j () = f j (), j i is nonzro and ˆf i () = r i. Considr on such trm T = g l ()f θl f θl 2 2 f θl k If i = arg max j: Pj r j thn T g l ()ri θ (not that r i N). Altrnativly, T g l ()fm θ whr m = arg max j: Pj r j. In both cass, T a max Φ (f). A similar analysis holds for th trms introducd by th ith commodity in th dlay of othr commoditis. Sinc thr ar N Φ trms in th dlay function, w gt: P i Φ ( ˆf) a max N Φ Φ (f) + a max N Φ r θ i (20) Multiplying both sids of Equation (9) by r i, applying Equation (20) and summing ovr all commoditis and dgs w gt: [ a max N Φ ˆf() Φ (f) + ] ˆf i () θ+ i [ a max N Φ ( ] ( ˆf() ) θ+ ) θ+ ( Φ (f) θ+ θ θ ) θ+ + ˆf i () θ+ i [ ] a max N Φ θ+ (a θ f() Φ (f)) θ θ+ + CSO ( ˆf) max 2 k.