arxiv:math/ v1 [math.pr] 19 Oct 2005

Transcription

1 A MODEL FOR THE BUS SYSTEM IN CUERNEVACA MEXICO) JINHO BAIK ALEXEI BORODIN PERCY DEIFT AND TOUFIC SUIDAN arxv:math/05044v [mathpr 9 Oct 2005 Itroducto The bus trasportato system Cuerevaca Mexco has certa dstgushed ovatve features ad has bee the subect of a trgug recet study by M Ǩrbalek ad P Šeba [3 The stuato s as follows We quote from [3: I Cuerevaca there s o coverg compay resposble for orgazg the cty trasport Cosequetly costrats such as a tme table that represets exteral fluece o the trasport do ot exst Moreover each bus s the property of the drver The drvers try to maxmze ther come ad hece the umber of passegers they trasport Ths leads to competto amog the drvers ad to ther mutual teracto It s kow that wthout addtve teracto the probablty dstrbuto of the dstaces betwee subsequet buses s close to the Posoa dstrbuto ad ca be desrbed by the stadard bus route model A Posso-lke dstrbuto mples however that the probablty of close ecouters of two buses s hgh bus clusterg) whch s coflct wth the effort of the drvers to maxmze the umber of trasported passegers ad accordgly to maxmze the dstace to the precedg bus I order to avod the upleasat clusterg effect the bus drvers Cuerevaca egage people who record the arrval tmes of buses at sgfcat places Arrvg at a checkpot the drver receves the formato of whe the prevous bus passed that place Kowg the tme terval to the precedg bus the drver tres to optmze the dstace to t by ether slowg dow or speedg up I such a way the obtaed formato leads to a drect teracto betwee buses I [3 Ǩrbalek ad Šeba descrbe ther work aalyzg the statstcs of bus arrvals o Le 4 close to the cty ceter They study partcular the bus spacg dstrbuto ad also the bus umber varace measurg the fluctuatos of the total umber of buses arrvg at a fxed locato durg a tme terval T Qute remarkably Ǩrbalek ad Šeba fd that these two statstcs are well modeled by the Gaussa Utary Esemble GUE) of radom matrx theory RMT)see fgures 2 ad 3 [3) Our goal ths paper s to provde a plausble explaato of these observatos ad to ths ed we troduce a mcroscopc model for the bus le that leads smply ad drectly to GUE As oted [3 the umber varace for the buses s good agreemet wth the GUE formula up to a tme terval T=3 see fgure 3 [3) As explaed [3 ths behavor s cosoat wth the fact that each bus drver usg the formato gve by the recorder teracts wth the bus mmedately behd hm ad the bus mmedately frot of hm I other words the prmary teracto s a three body teracto As s well kow partcle systems modeled by GUE volve teractos betwee all the partcles Ths meas partcular that f we use GUE to model a system wth earest eghbor or more geerally short rageteractos we should restrct our atteto to statstcs that volve oly earest eghbor or short rageteractos Ths s the case for the spacg dstrbutos ad hece oe s able to accout for the good agreemet betwee GUE ad the observed data for ths statstc across the etre parameter rage [3; ths s cotrast to the umber varace where as oted above there s good agreemet oly up to T=3 The paper s orgazed as follows I Secto 2 we troduce our model I Secto 3 we descrbe the double scalg lmts of terest ad dcate how to aalyze these lmts for our model usg stadard asymptotc techques from radom matrx theory Our ma results o the spacg dstrbutos as well as o the umber varace are stated at the ed of Secto 3 I Secto 4 we show how to modfy the model to clude alteratve bus schedules

2 space t 3) t 3) 2 t 3) t 3) T tme Fgure Codtoed Posso walks arrvg at locato 3 Our aalyss s based o the fact that certa otersectg paths models lead to radom matrx type esembles more exactly orthogoal polyomal esembles Varous mafestatos of ths pheomeo ca be observed [9 2 3 Fally vew of the calculatos that follow we ote that formula 4 [3 for the desty of the spacg dstrbuto s the so-called Wger surmse rather tha the Gaud dstrbuto The Gaud dstrbuto see 28) below) gves the exact formula for the spacg dstrbuto: However the Wger surmse s kow to approxmate ths exact formula to hgh accuracy see Mehta [5) Ackowledgmets: The authors would lke to thak Y Avro for brgg the work of Ǩrbalek ad Šeba to ther atteto The authors would also lke to thak P Šeba for provdg useful formato The work of the authors was supported part by NSF grats DMS DMS DMS / ad DMS / respectvely 2 Basc Model The dyamcs of our bus model takes place o the lattce Z as follows Assume that there are buses Fx N > ad T > 0 At tme t = 0 the th bus s at locato The evoluto of the bus process L t = L ) t L ) t ) s gve by depedet rate Posso processes codtoed ot to tersect for t [0 T ad subect to the termal codto L T = N N N + ) Cosder buses arrvg at a fxed pot x { 2 N +} wth cosecutve arrval tmes 0 < t < < t k < T see Fgure ) The probablty desty for the arrval tmes t t A x t t )dt dt s gve by ) P [{0 )} {t x )}; o tersectop [{t x)} {T N ))}; o tersectodt dt P [{0 )} {T N ))}; o tersecto The fact that the umerator ) splts to a product of two factors s a cosequece of the strog Markov property of L t : partcular fuctoals of the parts of the paths {t x) T N )) } deped oly o the cremets of the process after some stoppg tmes ad hece are depedet of ay fuctoals of the tal parts {0 ) t x ) } of the paths Note also that the edpots t x ) reflect the fact that the th path umps at t ad ot before Smlar dyamcal models wth T = were cosdered [2 As we ow show each term the rato ) has a determatal form of Karl-McGregor type [0 Lemma 2) P [{0 )} {t x )}; o tersecto = det e t t x+ 2 x + 2)! 3) P [{t x)} {T N + ))}; o tersecto = det e T t) T t ) N+ ) x N + ) x)! 2

3 4) P [{0 )} {T N + ))}; o tersecto = det e T T N+ N + )! Proof Sce the proofs of2) ad 3) equaltes are smlar we oly prove 2) The proof s a varato o the stadard Karl-McGregor argumet [0 Fx 0 < t < < t < T ad defe the followg stoppg tmes: Observe that det e t 5) t x+ 2 x + 2)! τ = [f{s [0 t : L ) s = L 2) s } T τ 2 = [f{s [0 t 2 : L 2) s = L 3) s } T τ = [f{s [0 t : L ) s = sgσ) σ S = sgσ)e σ S = [ sgσ)e σ S = [ sgσ)e σ S + sgσ)e σ S ) P L σ) t = x l σ) {L t =x } = L ) s } T ) l σ) {L t =x } l τ τ =T [ l τ τ =T + l σ) {L t =x } l τ τ =τ <T) = P [{0 )} {t x )}; o tersecto [ + sgσ)e l τ τ =τ <T) σ S l σ) {L t =x } l σ) {L t =x } l τ τ =τ <T sce the oly ozero term the frst sum s the term correspodg to the detty permutato We eed oly show that the secod summato vashes Let ρ S be the trasposto + ) By the strog Markov property for L t [ [ sgσ)e l τ τ =τ <T) l σ) {L t =x } + sgρ σ)e l τ τ =τ <T) Sce for each the acto of the gve trasposto ρ s a voluto o S [ sgσ)e l τ τ =τ <T) l σ) {L = 0 t =x } σ S l ρ {L σ) t =x } Ths mmedately mples that the secod sum equato 5) vashes leavg oly the desred probablty The proof of the thrd equalty 4) s ust the stadard Karl-McGregor argumet [0: I the proof of 2) smply replace the τ s by 6) τ = T f{s [0 T : L s = L+ s } for = = 0 x by N + ) ad set t = T for Ths completes the proof of the Lemma 3

4 The determats 2) ad 3) are multples of Vadermode determats Ideed smple computatos show that ) t x+ 2 7) det e t e t = x + 2)! x + 2)! t x t t ) 8) det e T t) T t ) N+ ) x N + ) x)! ) Isertg 4) 7) ad 8to ) ad settg ỹ = t T oe obtas 9) where C Nx = At t )dt dt = Ãỹ ỹ )dỹ dỹ = C Nx ỹ ỹ ) 2 < e T t) = N + x )! T t ) N x+ < x+ 2)!N x+ ))!) det 2ỹ duces the stadard Jacob weghts o [ : N+ )! < ỹ x ỹ ) N x ) dỹ dỹ 0) CNx y y ) 2 + y ) x y ) N x ) dy dy < t t ) ) The smple varable chage y = where C Nx = 2 N C Nx It s at ths pot that cotact s made wth RMT: If we vew the y s as egevalues of a Hermta matrx the 0) s precsely the ot probablty desty for the egevalues of matrces the so-called Jacob Esemble More precsely for Hermta matrces {M = M } set ) wm) = det + M) x det M) N x + detχ ) M)) Note that wm) s varat uder utary cougato of M M UMU for all utary U The P M)dM Z wm)dm defes the Jacob Utary Esemble where dm = dm < dmr < dmi ad Z s a ormalzato costat A stadard calculato eg Mehta [5) the shows that the dstrbuto fucto for the egevalues {λ } of matrces the esemble s gve by 0) wth the detfcato y = λ I summary we see from 0) that for fte N the arrval tmes for the buses at a locato x are dstrbuted lke the egevalues of a radom matrx from the Jacob Esemble By techques whch are ow route radom matrx theory see [5) 0) s ameable to asymptotc aalyss certa double scalg lmts These lmts see Secto 3) correspod to GUE: The fact that Jacob Utary Esemble GUE the double scalg lmt s a partcular example of the well kow pheomeo of uversalty RMT see [6 5 4) I the prevous calculatos we cosdered the arrval tmes t t for the buses at a fxed locato x It s also of terest to cosder the locatos x x at a fxed recordg tme t It turs out that the dstrbuto of the x s s aga gve by a radom matrx type esemble the Krawtchouk Utary Esemble I [2 Kög O Coell ad Roch dscovered a smlar relato betwee the Krawtchouk Utary Esemble ad Posso radom walks codtoed ot to tersect for all postve tmes I aalogy to ) we have that the probablty L t x x ) for the postos x > > x of the buses at tme t 0 T) s gve by 2) P {0 ) t x )}; o tersecto) P {t x ) T N + )}; o tersecto) P {0 ) T N + )}; o tersecto) ad by a Karl-McGregor argumet smlar to ad eve smpler tha that Lemma we obta the followg: Lemma 2 3) P {0 ) t x )}; o tersecto) = det e t t x+ x + )! 4

5 T t) T t)n+ x 4) P {t x ) T N + )}; o tersecto) = det e N + x )! 5) P {0 ) T N + )}; o tersecto) = det e T T N+ N + )! Isertg 3) 4) ad 5to 2) we are led to the followg formula for L t x x ) [9: [ L t x x ) = [N + )! N + )! p p 2 ) ) 2 y y ) 2 )! 6) N + )! y!n + y )! py p) N+ y where y = x + p = t T ad N + y > y 0 We have used the elemetary detty 7) [ det N + )! = N + )! )! to derve 6) As dcated above 6) correspods to the Krawtchouk Utary Esemble A essetal aspect the aalyss of the radom partcle esembles 0) ad 6) s that they are determatal e for each r = 2 the r th correlato fucto for the esemble ca be expressed determatal form detkx x )) r for some approprate correlato kerel Kx y) see for example [ ) It turs out that the fxed tme dstrbuto 6) partcular ca be exteded to a dyamcal radom partcle system whch s also determatal Ideed fx k tmes 0 < t < < t k < T ad let x ) = {x ) x } k deote the postos of the buses at tmes t k Let p = t T k The usg the Markov property of the bus system as above we arrve at the followg dstrbuto for x ) x k) : < 8) Prob[x ) x k) = cost < x ) ) x ) p x) x )! detv p2 p x ) x 2) ))detv p3 p 2 x 2) x k) x k) < ) x 3) p k ) N+ xk) N + x k) )! )) detv pk p k x k ) x k) )) where V p x y) = py x y x)! f y x ad V px y) = 0 otherwse Usg a varat of the Eyard-Mehta theorem [8 as descrbed [3 t follows drectly that 8) s determatal wth a approprate correlato kerel K tt x y) Further aalyss yelds the followg block tegral represetato for the kerel: for x x ) y x ) 9) K tt x y) = 2π) 2 p p )t) y + t) N+ y t p p )s) x+ + s) N+ x s dsdt t s where the tegrato cotours are chose as follows: s rus alog a smple postvely oreted cotour whch goes aroud p p ad does ot cota ; t rus alog a smple postvely oreted cotour whch goes aroud 0; for p p the s-cotour cotas the t-cotour ad for p < p the s-cotour les sde the t-cotour I the followg secto we wll aalyze 0) ad 6) asymptotcally as N x t T We pla to preset the dervato ad asymptotc aalyss of 8 a later publcato 5

6 3 The Double Scalg Lmts We wll frst descrbe the arrval statstcs of the buses 0 the lmt N x where N ν x N η ad 0 < ν η < Ths scalg lmt s the atural oe from both the physcal ad mathematcal pot of vew: the umber of buses should be proportoal to the legth of the bus route N + ad the arrval pot x should ot be too close to the begg or the ed of the route The ma result s that the ufolded scale see below) the Chrstoffel-Darboux kerel equvaletly the two pot correlato fucto) K Nx below coverges as N N ν x N η to the so-called se kerel see below) whch s uversal radom matrx theory The proof of the covergece K Nx K for the Jacob esemble was gve frst by Nagao ad Wadat [6 I RMT the aalyss of the spacg dstrbuto proceeds va the aalyss of the gap dstrbuto see for example [5 7): 20) P N c d)) = Proby / c d) ) There are three steps volved the aalyss of P N c d)): a)the frst step s to express P N c d) Fredholm determatal form 2) P N c d)) = deti K) L 2 [cd for some kerel operator K expressed terms of certa approprate orthogoal polyomals see partcular Tracy ad Wdom [9); b) the secod step of the aalyss s to determe the approprate scalgs for c ad d; ths s accomplshed by evaluatg the so-called equlbrum measure for the assocated logarthmc potetal theoretc problem [7 7; c) the thrd step volves a detaled asymptotc aalyss of the approprate assocated orthogoal polyomals the double scalg lmt a) For = 2 let p Nx y) = γ Nx y + γ Nx > 0 deote the Jacob polyomals obtaed by orthoormalzg { y y 2 } wth respect to the weght w Nx y) = y) N +x ) + y) x χ [ y) Set φ Nx y) = p Nx y)w 2 Nx y) for = 2 The the probablty that there s o bus arrval the terval of tme [a Nx b Nx P N a Nx b Nx )) s gve by 22) deti K Nx ) L 2 [a Nxb Nx) where 23) K Nx z z φ Nx z)φ Nx ) = l z ) φ Nx z )φ Nx z) z z ad l s gve by the formula k h+ k + h where h ad k are costats arsg the three term recurrece relato for geeral orthogoal polyomals; for the Jacob polyomals h ad k are gve respectvely by formulas 222 ad 223 of Abramowtz ad Stegu [ the case α = N + x ) ad β = x b) By stadard methods see Saff ad Totk [7 ad Deft [7) the equlbrum measure ca be determed explctly for the problem at had It turs out that the support of the equlbrum measure s a terval [a b [ ad for fxed ν η > 0 satsfyg ν + η < the measure takes the form: 24) ψx)dx = where a ad b satsfy the relatos: η x a)b x) π + a) + b) x 2 ) dx η η + ν ) = + ν) = + a) + b) a) b) η + a) + b) ad the radcals represet the postve square root I the symmetrc case where η = ν b = a = ) ) 2 2 ν + ν η + ν ) a) b) c) Let τ 0 a b) A stadard calculato RMT show that the expected umber of partcles per ut terval a eghborhood of τ 0 ψτ 0 ) Thus chagg scales t s := ψτ 0 )t we see that the expected 6 2

7 umber of partcles per ut s-terval s : ths process of rescalg s kow as ufoldg the data The probablty that there are o bus arrvals [τ 0 s ψτ τ 0) 0 + s ψτ becomes 0) 25) det I K ) L 2 ss) where φ Nx τ 0 + ξ ψτ 26) K τ 0 ξ ρ) = l 0) )φnx τ 0 + ρ ψτ ) 0) φnx τ 0 + ρ ψτ 0) )φnx τ 0 + ξ ρ Aalyzg the asymptotcs of the Jacob polyomal as N x as above we fally see that 27) det I K ) L 2 ss) det I K ) L 2 ss) ξ ψτ ) 0) where K ξ ρ) = sπξ ρ) πξ ρ) the so-called se kerel To compute the lmtg codtoal probablty that gve a bus arrval at tme s the ext bus arrves at tme t we smply compute see eg [9) 28) lm N ψs) s t det I K N) L2 st) = ψs) s t det I K ) L2 st) 2 Formula 28) the Gaud dstrbuto gves the exact spacg dstrbuto of RMT; as oted the Itroducto ths dstrbuto kow to be well approxmated by the Wger surmse used by Ǩrbalek ad Šeba [3 to aalyze ther observatos of the bus arrval tmes I addto usg the fact that K Nx K the ufolded scale oe easly sees that the umber varace H Nx ) say coverges e ) s 29) H s) := lm H Nx N x N ν N η ψ0) exsts Moveover H s) s precsely the umber varace for GUE as gve for example formula 63) [5 As s becomes large H s) π) log2πs)+γ +) where γ s Euler s costat as oted formula 2 5) of [3 t The aalyss of the fxed tme bus locatos 6) as N T t T C N C 2 ad T N C 3 s very smlar ad follows the same geeral procedure a) b) c) above We ote that the Krawtchouk esemble was frst aalyzed the same scalg lmt by Johasso hs aalyss of the Aztec damod [9 Aga oe fds that the lmt the statstcs of the bus locatos s govered by the se kerel 2 4 The Crcular Bus Route I the prevous bus model we cosdered the buses movg from oe termus at t = 0 to a secod termus at tme t = T I ths fal secto we cosder a bus model o a crcular route Kög O Coell ad Rochsee aga [2vestgated a related model o the dscrete crcle Let Z M be the dscrete crcle wth odes labeled by {0 2 M } We wll cosder the case of k < M buses travelg alog Z M The buses start at postos 0 N 0) < < N k 0) M ad evolve as depedet Posso processes codtoed ot to tersect Let θ θ Z M ad ote that the trasto probablty o Z M for a sgle rate Posso process to travel from state θ to θ s 30) p t θ θ) = e t l= t θ θ+lm θ θ + lm)! Let θ θ k ) be a k-tuple of dstct elemets of Z M such that 0 θ < < θ k M Let θ θ k ) be aother k-tuple of dstct elemets of Z M such that there exsts a cyclc permutato σ S k for whch θ σ) θ σk) ) satsfes 0 θ σ) < < θ σk) M Gve that the buses beg at postos θ < < θ k at tme 0 the probablty that they are at locatos θ θ k at tme t ad have ot tersected the mea tme s gve by the determatal expresso 3) det p t θ θ ) k ) We prove ths expresso by adaptg a alterate proof of the Karl-McGregor formula from the le to the crcle as follows 7

8 Let Z k M be defed as the subset of Zk /MZ k for whch there exsts a cyclc permutato σ S d such that 0 z σ) z σ2) z σk) M For f : Z k M R defe the operator 32) Lfz) = k [fz z + z k ) fz) for z Z k M Z k M As we wll see order to prove the crcular Karl-McGregor formula 3) t s suffcet to show that the fucto g θ : [0 t Z k M R defed by g θt θ) = detp t s θ θ )) s the uque soluto to the equato 33) 34) s + L)g θ = 0 g θ [0t Z k M = 0 35) g θt θ) = δ θθ) Oe checks easly that g θ s a soluto of 33) I order to check that the soluto s uque oe eeds to prove a maxmum prcple for ths equato but ths s easly doe by mmckg the stadard proof for parabolc equatos We ow show that g θ0 θ) gves the desred probablty Let Ns) = N s) N k s)) be the Posso process o Z k M wth tal codto N0) = θ θ k ) Let τ = f{s [0 t : Ns) Z k M } By Ito s formula 36) g θs Ns τ) g θ0 θ) s a martgale Takg expectatos we obta s τ 0 r + L)g θr Nr))dr 37) g θ0 θ) = E θ gs Ns τ) for s [0 t Lettg s = t 37) becomes g θ0 θ) = E θ gt Nt τ) Usg the defto of τ ad the termal codto 35) we see that 38) g θ0 θ) = P θ t < τ ad N t = θ) whch proves 3) Thus for buses startg at locatos 0 θ < < θ k M at tme t = 0 we have Probbusses are at locatos0 θ < θ k M at tme t ; o tersecto for all 0 s t) = Pt < τ ad Nt) = θ) = g θ0 θ) = detp t θ θ )) k as desred Ths formula eable us to obta partcular a Karl-McGregor type formula for the soluto of the followg atural problem for the buses o a crcular bus route Image that the tal locatos of the buses are at θ = for = k Suppose that the buses retur to these locatos at some fxed tme T later For ay tme 0 < t < T t mmedately follows from the formula above ad the Markov property that the dstrbuto Q t θ θ k ) of the locatos of the buses codtoed o arrvg at θ θ k at tme T s gve by the formula: 39) Q t θ θ k ) = detp tθ θ )detp T t θ θ )) detp T θ θ ) to whch we may ow substtute 3) Observe that the umber of rotatos about the crcle s ot fxed We pla to vestgate the asymptotc behavor of ths model a future paper Refereces [ M Abramowtz ad I Stegu edtors Hadbook of mathematcal fuctos wth formulas graphs ad mathematcal tables Dover Publcatos Ic New York 992 Reprt of the 972 edto [2 J Be Hough M Krshapur Y Peres ad B Vrag Determatal processes ad depedece arxvorg/abs/mathpr/05030 [3 A Borod ad G Olshask Markov processes o parttos arxvorg/abs/math/ to appear Prob Th Rel Felds [4 A Borod ad E Ras Eyard-mehta theorem schur process ad ther pfaffa aalogs arxvorg/abs/mathph/ to appear J Stat Phys 8

9 [5 P Deft T Krecherbauer K T-R McLaughl S Veakdes ad X Zhou Strog asymptotcs of orthogoal polyomals wth respect to expoetal weghts Comm Pure Appl Math 522): [6 P Deft T Krecherbauer K T-R McLaughl S Veakdes ad X Zhou Uform asymptotcs for polyomals orthogoal wth respect to varyg expoetal weghts ad applcatos to uversalty questos radom matrx theory Comm Pure Appl Math 52): [7 P A Deft Orthogoal polyomals ad radom matrces: a Rema-Hlbert approach volume 3 of Courat Lecture Notes Mathematcs New York Uversty Courat Isttute of Mathematcal Sceces New York 999 [8 B Eyard ad M Mehta Matrces coupled a cha I Egevalue correlatos J Phys A 39): [9 K Johasso No-tersectg paths radom tlgs ad radom matrces Probab Theory Related Felds 232): [0 S Karl ad J McGregor Cocdece probabltes Pacfc J Math 9: [ W Kög ad N O Coell Egevalues of the Laguerre process as o-colldg squared Bessel processes Electro Comm Probab 6:07 4 electroc) 200 [2 W Kög N O Coell ad S Roch No-colldg radom walks tadem queues ad dscrete orthogoal polyomal esembles Electro J Probab 7:o 5 24 pp electroc) 2002 [3 M Ǩrbalek ad P Šeba Statstcal propertes of the cty trasport Cuerevaca Mexco) ad radom matrx theory J Phys A: Math Ge 33: [4 A B J Kulaars ad M Valesse Uversalty for egevalue correlatos from the modfed Jacob utary esemble It Math Res Not 30): [5 M Mehta Radom matrces volume 42 of Pure ad Appled Mathematcs Amsterdam) Elsever/Academc Press Amsterdam thrd edto 2004 [6 T Nagao ad M Wadat Correlato fuctos of radom matrx esembles related to classcal orthogoal polyomals J Phys Soc Japa 600): [7 E Saff ad V Totk Logarthmc potetals wth exteral felds volume 36 of Grudlehre der Mathematsche Wsseschafte [Fudametal Prcples of Mathematcal Sceces Sprger-Verlag Berl 997 Appedx B by Thomas Bloom [8 A Soshkov Determatal radom pot felds Uspekh Mat Nauk )): [9 C Tracy ad H Wdom Correlato fuctos cluster fuctos ad spacg dstrbutos for radom matrces J Statst Phys 925-6): Jho Bak bak@umchedu): Departmet of Mathematcs Uversty of Mchga A Arbor MI Alexe Borod borod@caltechedu): Departmet of Mathematcs Calfora Isttute of Techology Pasadea CA Percy Deft deft@cmsyuedu): Courat Isttute of Mathematcal Sceces New York Uversty New York Cty NY Toufc Suda tsuda@ucscedu): Departmet of Mathematcs Uversty of Calfora Sata Cruz CA 9