JHEP01(2004)064 o is of of .pdf w ose the t also 2003 2003 2004 it same time- stress 5, tensor slice 18, 28, prop just has Discrete table. the that er the e ersal, to June b /jhep012004064 definition time of closed stress SISSA/ISAS rev us 64 January 40 er of argue or ould Novemb almost the Strings, 200 f kground alue e w , 01 v leads space initial w ep prop fi bac find jh , Received: a u time-nonorien s/ i. e the and er ccepted: space This W analyze Revised: Bosonic existence A The pap ink at e/ after ectation ls Finally iv time Publishing the ch then he . y exp target globally ear ar y b e t/ tensor. is space. erstring. ri@ bc .i W and ergence the ssa acts y sup if div disapp 2 Physics curves acuum stress Z v Sitter Renormalons, as [email protected] Leigh, es singularit the , of e result. tial u tabilit the op de t G. spacetime for Finland and Switzerland curv http://jhep.si .ed oten where result Bang ert p the uc 23, ergen one-lo U.S.A. a if result elliptic .ui Big esko.keski-vakku Rob div linois causal Institute same , for the Helsinki, en Il a e a u time-lik recalculate the orbifold, zero ev by of Geneva of 61801, the time-nonorien 2 a .ed c of Z and closed IL e uc / Regularization yields except akkuri, find ,d spacelik rp ui consider 1 a ana, R that space QFT, Sha CH-1211, and closed a University University w to Published Urb , space, S-matrices, then of . problems: suggesting analysis Keski-V nowling@students e Physics , sho et, Eric of , e cal o ,d W of 1 edding wski lo theory b o R Str Physics, Division, first Esk consider QFT and ulation em e c e e c FIN-00014 en of Renormalization analogous e 2004 ory W W Mink 9, dangerous as, define space Symmetries Gr string Institute the naiv rbiswas@students. in function. reform wling to es. ct: taming A Box W. as Bisw er ords: as wski artment No tially o Finite curv orbifold, osonic time wn b Helsinki P.O. Dep E-mail: CERN-The 1110 [email protected] e SISSA/ISAS prop c b a ossible oten c p and the Keyw The Sean Rahul ° Mink result a the in lik kno tensor. Abstra p JHEP01(2004)064 4 1 8 6 ]. Γ es 10 19 10 12 13 / on 16 25 22 3 one Sit- find cos- , The par- limit 1 ]–[6 olv short v reason R [1 to to (CTCs) in the strategy e ti-de ery kgrounds construct is ending v es tial arise. yp try an t e to bac y b dep space or of Therefore, h curv oten as ] includes ma to p then w sensible string-based e er, suc w el ering ev ork ]–[18 out v v and construction table. w w space-times domain This issues that co no follo [10 orbifolds t Ho ] time-lik another y to tal b the or e [16 ]. brane turned Early F b space on enden orbifolds ]. ull to time-orien path part closed list ]–[32 n features. 15 dangerous hinski , the in wski [22 out the o the ds olc ecause [14 with vious fundamen for P b time-dep those tractable. er, ated tially ob globally erg Mink is ev turns in e the and group, w b An of metho oten – includes e ´ regions Seib motiv p ossess added, 1 on 1 Ho features en ]). orbifold p This e − witz is – 9 v revisited ork ev ,d 0. theory , 1 and w 2 tization 8 ha theory the oincar > orbifolds R Z , that P Horo not / osts. orbifolds ore R [7 on defined, o ,d y on on y t can quan oscillator 1 b b particle desirable string the field Mo S-matrix R revitalized, ole ole ma related are of with of or enden on cal large een Liu, string tum single using list kgrounds tadp tadp example b lo argued y a a orbifolds b 2 calculation urther functional functional summary bac e summary as branes exploring for t F Z has w quan / and viton viton just where tifications theory in subgroup ,d time-dep ull (CNCs), ]. it mak 1 n in (see and and gra gra R those 21 enden as es arbitrarily iden pursued terest after , theory realization and the op op y first to of field in b 20 calculations generating generating curv , olution to , discrete and obstacle kgrounds field tly a only ev ull only tum [19 scenarios ole duction duction time-dep n string ose A One-lo The One-lo The orbifold is ts out bac kgrounds kreaction unstable erview ho Γ tro recen c tro adp hnical bac ten the laid 5.1 4.4 4.3 4.1 4.2 T Time Quan Bac Ov In The study tifications space instabilities, taining In h closed tec w . as ecome ...... A could or 6 5 iden resulting the con for ho 3 w 2 b where suitable mological A ter More 1. Con 1 suc 4 JHEP01(2004)064 , e of ]– ]– of in k- to In us de ts. X list the the een not wk- me- and list. The The con- th − duce b [43 [38 sum- bac ]. them, whole states in in . closed exam- ) do t Ha y matter the studies feature usually ts ts. ,d the 26 are pro problem made of 1 y table. tum or has problems dS erimen , the b elliptic kreaction. ( F on R oin alternativ on are the question exist they 15 if recen p along space propagating ere and and t. exp ts. , restricting has in a y bac quan w same taining global k S-matrix, A erimen orbifold b The topic c y ta protection not is consequences lead [17 oin item space o b eep cal that Previous ts holograph alen p con an k el. F exp onder feature subspace the . lo h (CPC) and The in do w the a edded , can lev t infinite and y dal reflected eac cal b for can actually there equiv conjectured space o to momen former Sitter time-nonorien estigation er, suitable that lo to v argued oles. they em global k theory commen ev propagation kgrounds y found regions c tip p y er, de in are migh defining a een if b hronology a spacetime. o v w as with the ject for e effects c e desirable high o b an F w w of b theory bac no causalit theory in conjecture w estigation. Ho field a X one dS oloid a t pro e it from v tly t S-matrix globally Some including the south leading ]. b has tum ealed h in can ts Moreo is earing erb semiclassical the 37 an the and tum It can but erturbations for . string defining h string , rev suc extensiv oin recen features and 2 if arise yp ysics, p or enden violate Another of p reflected e y quan app h on Z of 36 in there in to b ph one / , to problems region, quan e issues. whic QFT wh or estigate protection ,d increasingly if that the er 1 that terpretation detailed v clear [35 in CNCs, cal north text ject problems but from that R reasons oid in in CTCs oth lo v – CNCs. nev question. tifying CTC b are classical , a time-dep not with seems con desirable 2 to sub on and note of definition tial the time-lik more to and/or ulates, reflection problems is hanics – to tifying a the of and iden tified) a and the a in table, if spinors CTCs the construct It een spacetime elliptic hronology y of oten also t dal b view is mec at c problems for of a orates QFT b in p CNCs ers iden o list to CTCs images e en features accum (iden of et w of reasons the y demanding of y y come CTCs W studying t es tip Classically b this erform tum y the and y included view discussed . allo p tial the reconsider prev an space for ulate for incorp olv oin arious of y not matter the if man e e v t v p oundary ossible of to and as at v h e existence. man w an b quan understand p in existence v obtained w an ort and to ts form ] ha vious. time-nonorien example ysics Essen the CTCs defined er in to ers plus kreaction e as ha Sitter tabilit meta-observ unitarit are ears the whic along t ob reason the oin [10 to ]. w discussion ph y y an their y relev supp p e eculate This bac pap at de b it leads in rom is of [34 app infinitely then with del and . induces ] in sp F olv The ears y observ with ortan there er, also in is orbifold, t from ,d ts globally ws its this tabilit ev mo d. erge [10 that 1 trying problem of other 2 2 ev spacetime is o la relativit e prohibitiv constructing h app R a imp Z in Z In w b so div in o / studied migh tabilit is hes detected dS trouble es ciated ]. Additional time ho ,d on the found tification to to ose from structure dS/ 1 time-nonorien e it merely e simple p del coherence features. from b h; R [10 argumen as one b the patc CTC , asso not curv -dimensional its could tered general a approac iden orbifold time-orien w understo d studied that mo in hole. a summarize, and e case, ] than patc er, do elliptic space ds, on of tensor only can k The The o A ell these y can erse h time-orien k ev Aside The The T the case, w [33 static reflection vides estigated ]. ]. w an the encoun y blac v lac as 2 hanically ing ple, ticle Ho c stress In past. necessarily with whic grounds a rather metho time-lik based w around mary problems a less Sitter is of Z Univ [46 [42 could orbifold an the pro in global jecture passing JHEP01(2004)064 , 2 2 a 3 to .). Z Z er- the the the the the not / will sec- this ears of field time wski with time Note same QFT ,d e finite sense y o e div string of initial 1 es in b ossible the in In double elliptic further origin. w endix app of R es p . do doubling the in w-energy tum the orbifolds. case en section spacetime the it as ersed analysis lo Mink the resolv is the under first app the ev that mak also In semiclassical as o calculate under The er dS ed rev the quan on to related T problems features on discuss is k latter the e Then these the ulation decoupled. olv e from in additional that that it W . geometry v the the of in w y answ tersect, quic tified . in argued , QFT The made. puzzling, an form needs er, some ulates in 6 a tification calculations e theory find wn this the regarded ercome ev t b ards Indeed, iden zero, v een X e w analysis. one reflection. that w o in ears , plus form more b sho manner b iden spacetime, theory short-distance − example 2 field to also features ust that Ho a a to 2 review singularit hes Z emanating S-matrix. ose section e app m are el w one presen Z similar dynamically has e can QFT. in real-time for fields QFT w v and wski tum w in t h condition.” the o it ulation the e t need string sho of , , no of prop are , first X reaction erges. helps the 2 the can iv ¨ tcone familiar of after ) oin in ) approac k tation quan whic orbifold na er p ts form div and erges; X Mink ould of t calculation, presen ligh el t the a under of initial some ted w − One bac Finally oin propagating copies of formalism div h the the ulation orien lev kground. p orates oin en instead S-matrices . QFT. answ t section that the o on ondingly v p and freedom it t limit and of w and suc tensor tains – bac op t string in In at form constan of discussion the fields 3 time cus ulation from in ould X the kground, copies t tified con incorp freedom a theory define w – y fo arian that oth the of o circum etter, ws. differen v at w-up and e with vitational kground. w bac tly stress of (at Corresp one-lo b w to e form in a erature that , w t cop iden 2 b arian no 2 smo blo While and ergence 2 gra wn Z find “cosmological bac follo at v er degrees Z in do with the to string / Z ! hoice calculation / a in do the the c ,d t div ork, fields as ,d can temp ,d of oth 1 this the of es 1 2 argue 1 w including a a ossible and as prop degrees can R the of result Z R er cosmological e R orbifold, t p significan go of in a the e QFT, smo with zero W t string is b appropriately the the spacetime. limit kground, on of pap breaks the unstable a that the the the just kreaction it QFT, the h in agreemen h presen to energy bac theory to obtains (the problems doubling an of differs calculations tify the t-cones of tized bac out ere presen that wski only in y terpreted ole analysis QFT t that is o should w whic b e the copies y” energy in whic spacetime one w ligh freedom, lead iden w e) the The to o tary e oin quan these reflection. , w In stress string reconsidered iv tadp result in ¨ b p w 5 of sho dS teracting t lo Mink es orbifold ated relation e the ]. ulation e argue if field e in b a then t (na theory first go w e the the that ergence, organized can in W orbifold QFT. [46 study effects manner the definition space kground w limit viton to as e singularit w ask h the cally of , motiv div the a v the and section when reform elliptic e lo bac degrees scalar gra the enden that of is also and ha sho string the The that t w in y in (complemen whic need e e e . , op Bang the of from natural in the erature stringy 4 ation W W Finally W field find spacetime review kground. reflection ersal particular, if arian fields e v cally ould e 2 ecomes ery massless whether deriv rev theory the direction, b “Big Z limit in limit of that that lo dS w time-dep v tion spacetime reflection. features one-lo In as arise w assume W understand puzzle, temp bac gence, theory causalit JHEP01(2004)064 I if the the the the the the the e-I that w, (2.1) from ering glob- iden- table closed under string in in in in v yp purely t e implies uation, t and co b arro (ghosts), ts bring when data ws tin the orien time act to and done this oin flo ons the ector, to arian an y con P , e v descend v the resulting h b that arise states time’s extra in that on said 1. tac time with to osonic and is = added with y tities b h not teed Killing d ts norm an w. M had egin e e ( metric euclidean b oin reflection defining whic actually quan for p problems e a Orbifolds ciated tain is 1 guaran on W the Mathematically tzian estigated time-flo ector con directions ]. negativ asso v time-lik . New tified tization not v manifestly arious e bundle. using of y in there v [10 figure is or tified. is ] loren not d. under iden an ), w t it o quan a . in w, [10 wn, ) direction ho iden /∂ did a Killing (2.1 tation ∂ tain x spacelik some sho and questions arro e ecify Ref. − the orbifold are orientation ask direction t erstring. bundle. con t, 2 as sp are – orien understo of ordinates example Z w − depicted 4 ( ust / ectrum sup IV) to tests, co not line time I orbifold time’s ,d – ell m It enden time-lik IV for sp ∼ 1 a a ghosts. w time e ) the biguous R hoice did A particular, additional and a first that the c cone, w this x depicted I 10. space am n a for I the and In In ), of t, the ecify 0.) the ( e , define or es note time-dep sp erstring of = v Also and M (2.1 e ons and ectrum direction; with ) y is certainly mak 26 w . T lea not , h L sup 2 sp ust I, ( n anishes I section Z 1 ⊂ passed to v m es I time / space-time R tac are orbifold. time 1 w 2 , e this, L ually a remained. do The 1 features × Z w the orbifold R ysical / . 2 and is the the so II and see kground d orbifold ,d global from Z III man 1 theory ph 0), / when (I o a es to tify the of some R ,d function T bac = e 1 and ts free ust this the orbifold olv b dimension of ) R of v e orbifold m iden the table orbifold string subbundle b M in e familiar us, space ( range on the 1 w 1 es. review ould case The a and ecified. Th action, w w will gauge, on ( are quadran partition — sp ,d in t curv 1: 1 the t. t ering first e erview rank e M v R op spacetime b although resulting time-orien Although In us co tification group osite erstrings Ov arian least ectrum ailable, real v ust v timelik Let 2. Figure space The opp that co iden total at spatially sup sp one-lo tification space ally m a a the the quotien quotien JHEP01(2004)064 t , e y 0. w b of to to to w for 2 < ert Note non- . case, t these arro is quotien descend of for cally ) terest prop hange template figure this c onding L lo a in es ( restricts the to domains 1 In globally con axis time’s do w . 0 of to a of tal ology 2 = more . dimensions). corresp 2 action, x Z discussion onding class space top en ossible / view domains Although 1 p hoice 1+1 , the a ev c 1 figure A the tal of R is teresting of group region (c) not fundamen (for ering t to in v 3: corresp is t is table. vious the is co thorough It there ob It origin) absence this quotien the onding 0. space, fundamen er, differen under t Figure spacetime the the more The = on the ev t asymptotic . t a w time-orien at 2 a a a on king tation, Z those at y no re- corresp to Ho ze- / do- spacetime. e.g. arian of and left- y ws not pic onds v e 1) quotien case, Note in . ose is , time- a hence corre- bundle b y in tal – than h has orien is bundle (1 w h ho b side c no 2 5 t R the The space §∞ to 0), Then (b) eac return not – t suc . case is to crease, of line arro 6= 2 singularit corresp for time → one crease. is that In tation ossible time-arro Z ) singularit on rather , t e p t. / will t of ws). figure L 1 b the ( , quotien tal case e fundamen 1 1 case there h” /∂ in domain orien hoice quotien time’s oth ertical tation to ossible ation ∂ middle R w W c arro v ( ossible b p bang” the origin. the three the p . theory tal e the quotien notion on the crunc the b case, time for horizon on left the wn t-most ersed “big observ table wn er, L the field (omitting depicted namely domain a v IV, Three theory also the taking this , Another sho “big e time-orien righ of w 1 (rev the co dra consider on , v 2: tal e a 1 ottom orien to sensible 0. but e In v tum fundamen natural in regions and w b ha v R us construct ould the through arro the the = . e I ha along string w ha 4 t not w the the let image (a) e the tation arro onds e ), quan on it can of itself is depict section. at w a space, w and Figure space ( of erfectly t tcone , t 2 time’s the fundamen I, origin, 3 p orien I figure one case regions role along of a ould ligh later time’s us taking slices case h action corresp e Instead, asymptotic ering the in w the ), t t a b v erties . b Th and the in to time b illustrate, ose t ( that figure eac quotien the figure quotien co 2 manifests in I are hoice to wn o case urthermore, ho c bang.” in — of h −∞ F T In In c ws prop group the h erse the the taking case sho onds es differen all → onder trivial. can on to whic most arro a the w main to gions sp omitting on ro eac in that constan there rev the t is “big figure p issues JHEP01(2004)064 on an wn ted ori- cal) that ecta- ering time- at not orien- string space, space, space. v (lo end of redra orien consider co exp in time of are ting spacetimes figure time 1 and ering are ering ering ard the t will v v v x>0 hin of hoice 1 t. c hoice the in e co co co c acuum egin alen forw w v figure a b the the the the hoice e undefined k-reaction. figure c of from calculation tified to quotien the ust ergence In of in a an in a bac Next, m inequiv . mak t div the iden t e cedure.) for en of clear refer a oin w t. e CTC’s in non-trivial with p t with giv w is pro tation us to t<0 t>0 ted are orbifold, It issue ysically . The ery quotien geometry this . (let that orien ph ev quotien 1 ciated 5: the leads orien quotien the there tzian to theory this calculation limiting examples t. on the asso time trast a ard in space the in rise CTC’s figure y t is oin in loren b es to con cus string p The the through QFT Figure forw y general es – in tation, fo in the CTC the t. 6 ted in e giv curv will – wn w t h In with going ded e quotien theory orien e the only CTC’s The w orien sho In This enco hoice), the singularit whic quotien standard c spacetime 1 time e 0. the ted quotien constructed field are b in singular- t. ard Note y y time-lik e < the the kground; The es an an b Later, wski the x in orien fact, forw o discussion. compatible of tensor, at bac tum should definite). bang” for d of curv can for In spacetime. quotien e closed ere axis. e not b . not this w Mink this 5 egin Examples “big hoice the true the an is quan b stress the to c axis view of review a these are curv oriente on of is dimensions). kground. a h h 0 in es. 2 in ts d er this there the review = figure bac ev along w hoice (the this t whic whic 1+1 of short curv c w these discuss in ho made kly theory Another e a figure t the ho forwar e eginning the of ev) axis (for represen e b b (and in also of quic clear 4: (v of tation Whereas not CTC’s field all giv singular y natural the ust us us axis kreaction not e time-lik quotien m 0 . are are alue — w is result orien are the tation tum v Let Consider Let = singular y It a Bac the 1 t it spacetime absence Figure tation. space with time in the orien As that closed there tation en quan 3. (almost) Here instabilit theory tion JHEP01(2004)064 . , ) t y x t- of x v b → oin con- field y u, (3.3) (3.7) (3.1) (3.6) (3.5) (3.4) (3.2) desic three ( → usual stress stress righ o-p y lim ts to geo massless w desics: e action tum the t the b defined as Hadamard oin energy p geo t-split t free is renormalized renormalized on arise limit in the quan a than . trivial er oin oin ould es space a the v ) ren p p the 0 the cus w the o i of ) u of y giv with a the fo acuum x renormalized b − v ( the ren other wski written of to } o us sum u, µν ) ) of 0 This the taking y T − energy u defines , h orbifold, ( energy orbifold ciated y the ). Let x, usual · 0 G , is + b Mink ( · alue v ) · function ) u the v G + one y the 0 − ergences asso the ) γ , tribution the stress 0 ers. obtain 0 from collapses ], ln( x, stress 6= v (3.2 energy u X On , ( on u γ div : off h , . tensor − con G [34 − u, the ) ). Green ) . ) ) = ( 0 0 0 no from 0 u − then ren t-mo 2 v ) erator u u ( ( γ ectation i from function , the y 1 u whic 0 , φ e stress the e.g. G − 4 op − y µν u u are stress w ) y x, with righ ( excluded ∂ detail u T exp ( u + function start ) = x, h ) ( u from t e to to 0 and subtracts – tial N 2 ren ln( the ln( (3.2 ( ) u w ) µν renormalized and 0 φ G 7 G x The there − tified v oin desic in − u of u D π more e, {− . – p 1 ∂ one if 0 8 t v ∼ u, → y u, + u the correlation = ( ergence, o o ( geo − · ) In left- ∂ iden arising 0 u t =: · i differen w from to u G ( ) ) · u t ab orbifold regularization = ) 0 div renormalized ∂ 0 that onen to x v u oin 2 + γ u u u, γ from ( , from in , replaces µν ( 0 ) Z X → → the 0 the piece y 0 0 / u trivial uu lim lim G G o-p desic u order The u u 1 ( fact t , = T ersal comp in x, w so from 1 ell-defined one ( t . u, ) oses = = desic ( geo y the R w γ y ), as the µν is, and 6 G univ t-splitting as ergen T is x, the ) ving ren geo h ( singularities. kreaction to i the v = second ) oin G with div ) ceed − u 0 p desics That scrutin decomp trivial ( bac t-mo u from u, ature the (figure trivial pro uu in trivial u, − geo ˜ defined refers the T ersal ( ( o the is semi-classically h righ b e field T er curv distance consider ) defined b the or the v . 0 field o univ G ving x γ desics with The , starting function. the The off − vitational y . function then then t geo the with short aluated denotes sum — x, subscript remo gra ( = us a ev 0 tified only can γ function, field. µν u Green e tensor the as b D then The Let space ciated ers particular iden y v the Here ma energy tribution are Subtracting stress correlation asso where form additional flat scalar tensor and mo discarding and where Green the to JHEP01(2004)064 , 2 of to are Z the the the the and just The 0 / vide (3.9) ’long’ usual x if t-split ,d ’short’ string arious is 1 elliptic Casimir v articles has On pro onds particle creation oin R ) in P ones, ) of p the and The a u tributions the The el to x has − ). will of the acuum. ( expansion (3.8 to x con v on φ lev reconsider time. examine that − corresp een de find ole. rise t, w is tifying w op with e e and four − et and mo first ( w erator. erator no lifted b estigations really giv equal tadp k iden v op Correlator subtracted. op at the short-distance one-lo in the will at een e . that erator bac 6: construction but b b e problem time” at . at viton op field w particles osite with usual from t ) en, tractions tractions, step has energy this of gra requires ok u theory result er, a e erators new ω lo wn con should comp Figure the con energy ( ev op e “equal er, a arian k op happ w v orbifold The field Another erator, ev kno cos u is tak . in o- in notion at ) Ho w . ec- of − op p quic † ω line problem y ell 2 e negativ the one-lo since than field a (3.8) to a ould tification simi- asso- Ho argu- w Z desics is A w → w exp e erator, + A ull of e on done the to theory naiv t the field n v . u ω – iden lik geo op the with e ariance ). o also t † ω a ergence e, t v 8 ulation 6 b ( a this rather v is orbifold. the an ab o in – the the div u dω w 2 y field that ould string . orbifold ab a can − arian b Z form differen utators e w a Z v / on the that tractions. the is with )) figure in t t w a orbifold kreaction problematic, space particle 2 e ,d u in t 1 the the the w under k √ If a calculating − con oin 2 non-trivial renormalized in c ose R ( one bac with (see p yields comm o the Z y In = φ mean ) F b ection ) ersists ergen the that at + imp the is the ]. u created ers p the with ecomes ) ( the edded. v ’long’ (3.6 that div b ˜ ) e u φ to acting b reasons calculations insp on ( length impression x b done ersome aluate of from calculation ]–[46 φ y global is that features. b t, reconsider ( em a ev is symmetric ( and a this 2 tensor k w e [43 exactly aluated 1 zero e to left-mo argue b √ these false to at that e cum 2 b closer ev concludes calculate arises hec theory this erators function Z Similar a c cannot = result is or φ the us t will can space to op ) F stress on theory e naiv what ) ’short’ ation puzzling u one ecome 2 dS/ e most ( . is field oin for can b the up A t Z giv ˜ w φ energy kind should the (3.7 calls − , of t e o-p ering erator clear problem with constructing of The motiv er, er, practice, v dS/ one also some w goal space t unstable. op string Hence of ev ev , co alue and In not migh latter The w w dimensions. v ositiv erator the can t . expansion has the p ) 0. is next annihilation ulation h 0. Ho Ho Actually op ciated t field u reflection. calculation The Sitter de tially ergence the it consider = − = 2 ( ormally times form φ orbifold ciate the div of the and ten prescription F higher men with where v whic de additional problem lar 4. so tation Z u to Our problems. mo theory asso JHEP01(2004)064 . (4.9) (4.7) (4.4) (4.1) (4.3) (4.2) (4.8) (4.5) (4.6) tized op tensor action lo . − 1 quan ¾ . · . Z · ν stress · · · theory ∼ X · ¯ ∂ + ν Λ the + ν second X t i ∂ field X of ) e ) x ¯ ∂ · . v w X the e tensor. , µ ( ; ik ev ] ha k =0 v − in µν X op ( g e e ∂ µν [52 i lo constan ) h ) µν w w − | the 2 1 el , stress w X effectiv V d st ( ; τ h Z µν 1 ), R ) k X lev · h x µν ( Z k 2 µν T er the ( δ ( δ the ik i h η µν v µν e e , op ) η o µν κ µν ) i w k V 2 amplitudes e k X 0 2 h × · and X ( κh ]. d α − w . w ik 2 D 2 op µν 2 cosmological e √ st +1 [53 2 d = e one-lo ole Z ν ( d 1 lo + replace tegral a T D t − Z 0 in X Z in V Z 1 k acuum Z =0 +1 str µν ¯ A +1) α ∂ of to v ¯ g Z – τ η D tadp µ D 2 µν +1 i ) , d ( +1 k τ +1 h 9 26 k the | δ D = π X 4 st D D + V the 1 d dτ T – ) +1 ∂ 26 ) ) 1 (2 ¶ Z 1 F π d 13 D x nd π e 0 2 tensor ( 2 = E obtains d Z function ½ τ (2 α strings. een (2 Z calculation str ) Z ν π µν = t g = w k y 4 g X = ∼ ( Z ln Z ¯ b ) ∂ one et µ ) i 0 µ τ nd 0 b µν as stress ( 2 α str µν transformed recen X α X V − µν δ 1 g g Z ( ∂ Z π Suppressing a T i δ erturbation, 4 h = partition µν the i ¯ µν τ 2 p of η 2 space, i + d h − τ = ) ). t ] w tensor 4 k particles i ourier η for 2 dτ relation ( [ = ) the d F t x i (4.1 op R wski µν ( Z o lo 2 T the oin µν particle V in T i µν the form − h p T = formalism, t S e 1 metric h T ] t ] reminiscen h Z g [ Mink expand X oin een used [51 = p the op w D righ e in ] tized lo et w g T [ replace Z inserted − b S the 1 the e, e op ourier = Z v y write somewhat that quan lo w F duce get o of b T e − written is op then S 1 w w T w ab is e lo tro Z T F is b nd − first h in No No If Note S 2 1 then relation E This y that the 2 Z Z e ln and In This so whic the W ma and then JHEP01(2004)064 t 3 e y a is of in an w the the the the ole. and this wh that b) from same viton viton is (4.11) (4.10) return of ue presen In out, space it rotation that tadp gra gra with found teresting the and tin spacetime k functional will t: in e the section, a applicable. op tification the explain b e con e turns y ceed Wic limit. In the y obtained W target string b b for kinematics arian a iden it e some also ]. v later ). suggests ma pro b on one-lo in the erformed y in the orbifold, X calculations not a an [10 As a) p is 2 are If − y in e ma ( in Z formally the first in t ]. defined b the the . notes e µν could w-energy erforms ma e fact also based of À b us h p [52 lo in w to of e expression there are and This ¾ v /δ ) . are δ noted The an ¯ ust This ha Let w orbifolds the ork ergence. ,d wn differen , 1 v m uation e wing w that is w alues detailed R usually sho ( W v , tin namely to con µ with i follo out obtain tiation ) QFT. ], X directions h. calculation already strings. con one ) ell-defined erator X ues What to ¯ space of w tially [10 w as euclidean − , whose op ( the tin the directions. calculations w formal w turns erators. in latter, ( on µν tly – differen approac sector µ of in discussion; T ering op con essen for J h as v sum analytic 1 Our ertex 10 k e also ulation the w issue similar. compatible v − + co b 2 − – of ,d i d t It is is of the e. orbifold 1 ) ertex v wisted tegrations calculations the apparen v e details an the standard R t Z o X computations, will in tially b ( and i reform is of the standard functional ab that the strategy on ½ the µν on necessary k calculations the the de relev T review in hniques will prescription h the ed essen the the of exp string dify ole ole tec is functional orbifold, the along ¿ result same ole from formalism. orbifold mo 2 the brief = a) Z tadp zero-mo to with ] tadp uation / some carrying a describ the olarization in discuss formalism The tadp the J story orldsheet, ,d [ p e signature 1 tin e ter w propagation ole. functional osal including Z that R w on of with the the giv standard y that with ordinates con is b oscillator viton generating tributions ard prop adopt and of tadp theory co to erators theory the a the uation. encoun kw hoice gra con when the note egin op the differences of c t, the for b euclidean the tin ], . ] bac field action in ceed op e will are of string difference analytic to orbifolds, simply e a [54 and con [52 text e W are generating 2 ertex pro e issues enden propagation w in and calculation should v spacetime Z transform endix w for e e.g. con X e d. there w of ell, h wing ole ole One-lo The ard On W oth formal app effectiv er, See w these the w b 3 appropriate orldsheet ourier ollo time-dep In pap sum priori tadp w in calculations F the calculation As euclidean subtleties section, to where metho 4.1 the in searc No forw immediate tadp F the section. 4.2 JHEP01(2004)064 I ) is X (4.12) (4.19) (4.15) (4.17) (4.13) (4.14) (4.20) (4.16) (4.18) (4.17 gener- tegrals des t , in the ¾ ) 0 the in w ( dimensions eigenmo J is · ) determinan set 0 squares w space , , factor particular, w 2 0 , the ( t 0 ) . X In ¯ G ) w . target . · . − , ¯ ) w des, complete ) 2 ) functional ) d , w ¯ 0 0 w ( a d/ w w , w I w ( ( in ( − w I ¤ J I X ( The 0 , − tegrals. ¢ 2 I , I X ) X w determinan 2 w completing J ) ω in duce w ) 0 2 I 2 I X eigenmo ( ¯ J y w ω − δ d w µ I ( result , ( b tro ) x (2) −∇ the I d = = w 6=0 Z ¡ δ torus. µ I the ( in Y ( I 0 2 X I δ ), x ) ) µ / 0 w e d I d X – The 1 ¯ ¯ in 2 J ≡ ) w w 0 2 α I the w ts det − d , , . ix gaussian π α π w ¢ ω 2 0 g µ 0 11 2 2 2 w w 2 w (2 ≡ Z ( ( x on d X π i – = 0 I J 4 0 I 2 1 6=0 α ) Z X I = x X 0 −∇ X £ √ efficien 0 − ) ¡ ] 2 w d w 0 tegrals, ¯ 0 α from = orldsheet, ½ w , = ordinates co V ∇ 2 J , resulting ) in w [ ) w 0 π equation co det ( w = ¯ 4 0 tribution w N w ( exp laplacian , , I the G √ 2 [0] w rotation tial w 2 w X con 2 d/ ( ( = the 0 function k T µ − ∇ w 0 G de Z edding toroidal 2 of X ¢¤ tributions µ,I α expansion b d 1 2 w J function, Wic π functional mo de 2 differen con the Z em the erforming − −∇ the the mo Green’s p ¡ de on 0 the zero out 2 mo the string det ∇ and zero from partition the £ is ] erform 0 is ) the zero the 0 J p ] [ satisfies tegrate 0 w is torus , J N to in [ denote 0 w coming = ( N laplacian X 0 i functional ] the latter G expand include J also then [ order es the e e Z (with where where The In ating and W and W of giv will JHEP01(2004)064 e o )- es . es ul- w dic h W oth will and t and , ¾ m least b ) tak tak g those 0 (4.21) (4.22) (4.24) (4.23) trans- ( 0) erio w at in des to , = in w in orbifolded ti)p h ( -mo ( ) J consider ,h wisted formally (an reflection, the g t . 0 ( directions. t e functional 2 and functional directions v G with will In 1) Z directions × , ) e 0 ha and the source condition the h ¾ (1 w w e g ), ) the ( 0 alues 0 o ts, 6= v differen w (w w J the ) ¾À , · sectors, . from u h − factor.) orbifolded w ) orbifold wisted , of the ( generating t X 1) 0 0) a g eigen w w , ( · ( oundary ( of ts efficien G to un without h the o = b u (1 ) (2) J co J er 0 the 0 g The for δ in ( 6= suc b w comparison, w k dic onen due tributions w Z ( de 2 ) four u i tributions d h = um sector or no J , n con erio F o + · 1 g J Z d ( the con o ) ¯ ¯ ¯ ¯ comp wisted = tip w ) de t but w X sector, 2 ] for τ ( includes · , ( eigenmo d an k total u – 2 directions. wisted h [ the 2 mo o t J ) Z , oscillations η 0 ) and J 1 ∇ us, Z an ,h . 12 u o the eac w 2 un g the d 2 1 ( d orbifold. 2 ( 2 τ 1) Z function of ¯ ¯ ¯ ¯ Th – and − zero d o, i Z er including ) − √ that / v 25 for ) = τ the ¯ ¯ ¯ ¯ ½ N ½ d o X string ( the τ Z orbifolds R des g ( h − the ( o in g η w d of × satisfies 2 25 denote θ exp 2 exp for on V ¯ ¯ ¯ ¯ 2 d R ¿ ; are X Z partition ) ] [0] only = = × / Z orbifold, will 1 ) k =0 case 0 directions. ( ) ,d wisted X h eigenmo 2 1 ,d J ,h e ) directions 1) 1 t tegrating [ the 1 , g ,h un-orbifolded ordinates o recognizing ) des ( w g − d R 1 in =0 (1 the R ( the ( un ,h o, co g X ecause ½ o, the δ g o, are ( Z [0] mo b o reflection, Z and ] Z to ) = o, d 1 0 in N the ] ) 2 functional ,h V the exp J N [0] with After ], g o [ µ J Z y ( h orldsheet ( [ er zero h ], = b this o, v orbifold X w [0] 0 Z orbifold [10 orbifolded o,g notation, ] o Z o,g u J sectors 0 split the [ N are Z N orbifolds: J [0] u ] [ e the 0 [0], the 1) 1) N , 1) of parallel tzian sum u J , [0] h W [ g (1 in u Z divided (1 other = e, X u expand . es there o, toroidal t v o, N conditions. o orbifolded the generating N h × o generalize N and euclidean d loren ( N yp Explicitly the t e and ab = the the to as w ] in again factors The of The The form form J streamline [ differen the Z o oundary e erse cases none The along Next including without related A) T B) the directions, one v sectors. b 4.3 In then the tiplied b JHEP01(2004)064 . , a 2 ] on X the m turn − [52 some for extra carry − (4.28) (4.25) (4.26) (4.27) (4.29) differ. is → Green’s orbifold and = B are also , 0 11 and 2 in X u dicities 2 k the G erator ts )] . and 0 tum i erio = of op w there u p A 2 renormalization. X under from · − onen t w k u functions 2 w | ik 0 compactifying No ertex . momen propagate ersion + v 2 2 2 w o v ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ comp of with 0. X [Im( ) ) ) ) ) ) · require − differen 2 the o 0 orbifolds τ τ τ τ τ τ y Green | | | | | | only h = a ik The 0 0 0 0 0 0 w X | tum 0 . − 2 w w w w w w w h symmetric π π π π π π the e α 2 − − − − − − 4 4 4 4 4 4 ln and e ¯ ¯ ¯ ¯ m ν a π whic w w w w w w tzian 0 are ) b other 2 4 − to ( ( ( ( ( ( α X | τ whic + orbifold, | as ) ¯ ∂ 10 01 01 00 00 10 π − 2 = τ momen µ θ θ θ θ θ θ 2 ¯ ¯ ¯ ¯ | ] (0 the ust loren ) ) ) ) ) ) 0 renormalized 1 2 orbifold. ¶ X the τ τ τ τ τ τ m (0 θ k | | | | | | of τ [52 forms: ∂ ¯ ¯ ¯ ¯ h 0 0 0 0 0 0 is ¯ ¯ ¯ ¯ g states part onding w w w w w w 0 to and tractions θ π π π π π π is + ln direction the The | t 4 4 4 4 4 4 − − − − − − directions, w 0 in u include w w w w w w orbifolds 2 π ln α – X ( ( ( ( ( ( − 2 · on dic 0 one erse ersions u simple − 2 11 00 11 10 11 01 α w v ergen 13 orbifold θ θ θ θ θ θ also ik corresp reflection orbifold self-con ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ = condition ole − = + erio dic µ – 2 o ersions. ) div i ln ln ln euclidean ust = v Z ) X 11 terested wing · the w tip transv 0 0 0 the u θ o ters , erio m 2 2 2 ¯ ¯ ¯ ¯ tadp in α α α k euclidean en ik an p the w , the on the e ,r noncompact ( o − − − ln on follo ) ν k 0 one on-shell y en ,h 2 = = = functions, tirely α g X one b − ole ,r 0 ( ( ¯ viton encoun the ∂ ole ) ) ) 1) − en 0 0 0 renormalized G , µ the usually where µν doubly w w w e 0 (1 out to gra = V X tadp , , , subtract is least b considers also G ) ∂ the renormalized w w w 0 orbifold tadp h + ( ( ( op to The at Green’s ) w done to 0 0) 1) 0) , u str one , , , one t e satisfy is α k g jected w 0 (1 0 (0 0 (0 often b , 2 ( their tzian 0 o non-orbifolded G G G with viton one-lo k massless ust to G pro = ( hosen t one m c ≡ µν the loren gra differen considerably the an 1). V ) not ones define orldsheet. 0 , h in are Therefore w w is the hoices op tum (1 manipulations, , c amplitudes, four relev h and prescription then theory in w 6= t ( other ) 1) simplify are h , er, the oin some whic , 0 (1 momen the g One-lo ev -p to toroidal ( G string w n simple olarization olarization p p Ho immediate In dimensions. The out and In 4.4 the A There After for functions Consider state hence JHEP01(2004)064 If the is case, del. (4.34) (4.30) (4.33) (4.32) (4.31) . , ose i ersions. Green’s further. on-shell mo ) v y ho × functional functional w generating c tzian result ¾À , compactified. to i ) the the 1 e ) 0 e them w b w w the w the ( of ( , , ) loren then 1 λ to 3 ,h for es w g X onding 0 ( ( ) 0 the 0 G and need G 2 w ativ 2 renormalized simplify ( in cosmological w substitute − w . λ × ¯ − ∂ a ) section ¯ directions. ∂ ] J ) 2 0 2 us ) . directions, ould 0 tiation, ) corresp τ 2 w deriv as ) [ w of w X w w ) , also their 2 0 , w 2 , 1 1 , ,h 1 w d α Let y 2 the g 1 splitting w , w ( b π w ( 1 ( orbifold w ( ) o, t Z will t. ) 0 ( differen w 0 i + ,h Z ,h orbifold ( e G double g ] 0 ) g G ½ oin 0 ( 1 0 urthermore, 0 ( k 2 W [0] G [ p w F dimensions G w ) ) G the w 1 ∂ 1 ¯ 2 ∂ the calculation w ,h a ,h exp unorbifolded w ν ). − 1 w ¯ differen g g replaced ∂ ( ( ∂ to ¯ k ¿ ∂ w 1 directions, e w o, µ 1 o, view ν extra ∂ w ) ] ( ), 4 b k the w k 2 non-compact – ∂ 2 N N τ functional 2 µν to [ ∂ (4.22 µ δ w ) − × 0 − the η w quite to k ( in δ es theory ,h is ] 14 µν h ,h the α ν g the g simplify X = τ η − − condition. π J ( w [ aluates – ] giv h in ) δ 1 are u erforming o, are τ form − → 2 ev case w [ ) to field need 2 p w Z Z u 1 orbifolded w ( ] ) → = 0 lim ) ,w , 2 k Z directions. w ,h 1 [0] [ 1 ) = ] ( G δ Before g in 0 lim X w u u ,w will µ k i w tum 1 [0] [ first w ) ( = J on-shell N N ). 0 × × (4.19 w u u ¯ , w (4.19 δ functional, , ) are 1-dimensional, y teresting olarization w G condition w N N tegrated 2 × w b = p 2 2 ( in ( + 0 − quan the w w in w 0 i expressions X orbifold d , = ¯ ¯ olarizations G ∂ ∂ 1 w X 1 1 ik the p ole i w ( function e w the w w ¯ ik carry ∂ the ) is the X ( ∂ the ∂ e 0 (2) w equation ¯ ) truly w ik equation on-shell δ w the ∂ G , satisfy e tadp w ) ould generating k this → ( w with del 2 the ν that w olarizations ( w y to the the ( = ν lim p along ,w Green’s X the mo ν 1 the ) wh since ¯ e 0 X ∂ w see where X ) ¯ b 0. ∂ w 2 of and ¯ use the ) the substitute ∂ the vitons ( ) w hand, ) order i ¯ ( = e w J to e µ w , gra − compare 2 case reason ( w First, aluate ( in can at k w X µ mak ( to when ∂ ev = already e cases, µ other h X tiation tiation the w e ∂ X h ould ∂ W In oth massless can the h w Another b order 4 e aluated olarization differen p W In in whereas one differen First, functional ev directions On condition The functions. JHEP01(2004)064 t 0 t k ). en of X are the but are this h,r ould short 0 g viton anish again de (4.36) (4.37) (4.38) (4.35) of w renor- ergen v with vior (4.38 similar G ergence t e A ect e ¯ gra ∂ . mo div w A w ole. ∂ eha consisten a div results ligh µν b exp e section, ). ) η es ] b 3 τ . directions one zero for strings | ) τ tadp 0 [ the a function consider when ) µν (0 final as w ativ then ed η can ,h In g prescription to orbifold, functions. ] − only off at ( τ olv the distance distance o, viton [ w previous v is Since deriv Z same 1) that ould (( , ] . in gra Green’s w k tzian (1 O [0] [ en the ) ) o, ) the short ,r short unorbifolded + ) Green’s ,h ,h Z the of of g g There subtract a ) factors, ) ,h one ( ( 0 functions loren double g τ . e e o, o, 0 ( . ( to , the w es appropriate calculation. ) 2 the v 0 u w N N G ,h equation the − Z is X the g ha h 0 0 ( description ,h ativ ) calculation renormalization theta precisely w it g α of 2 that X G k while ( π the ¯ )( from ∂ function is of 26 analogy tribute × whic τ − V ( e ] it calculation . The ) (26) case (deriv es sector, τ renormalized with δ string [ theory = ,h con functions . By as and u g 2 ) ativ ( – functions 1) τ 2 Z X satisfy the ativ orbifold, , str the C π ) the ∂ w not g energy field 4 k 15 , (1 theory partition In + ( of 1 directions, u function, deriv ) originates a − – 1 u deriv w = V then − Green’s will d es ( that tzian principal with = ( and ) ) and 0 for Green’s δ field of h is 0 ren w side , 2 of directions, op surprising, h X ativ renormalized result. directions. τ g G lo loren str ( − 2 latter tum the π the − g terms Green’s of w 4 1 w ¯ ∂ i the ation orbifolded searc ( deriv ) − 1 the dic 0 hand k rather The w the 2 α so with erstring. = cases ∂ sectors. t in functions − the these ust ( tiholomorphic momen − erio of problems renormalized first standard op oks 0 m p observ all e us as sup 2 µν an traction space. orbifolded lo w | righ normalization lo e 2 unorbifolded − V the the in → term, the three w the Th ey 1 w i w k the Hence + t conflict the ) the is the the rational ≈ − ) for the . k functions. A 0 ) k doubly ) target 1 result that for spacelik − 0 self-con in ( for all w in ( other noted w on are w | ergen 25 µν , spacetime , hold µν ws direct → ) the 1 (4.37 examine this ln V the analysis, w τ V the div h osite of R ( ( e anish w in ) t, in sho ) ∼ Green’s results. v found to + w term ,h ,h all ) is g ) g opp the already compactified. 0 ( 2 is ( to k sigh results , e the ( in w e G think C usual limit theory only due k es , v ∂ first olarizations these µν 1 olarizations v yp ole ula − Equation This Substituting Next, to t p p ha w first V the the ( e h 0 t e erhaps anish the where string for tadp calculation lik for p Similar The G with in A exists w in v malize and term, form remo JHEP01(2004)064 it to its tal er- are the and and ards mo- v tum on (5.3) (5.2) (5.1) what w e in co tum. hanics to space, space energy: mec include ords, time), ositiv momen fundamen k ving w jection p states c in momen the o ering ust orbifold mo v the F tum pro ter-of-mass m oth osite co for ard The and b e on other cen the w , ]. tzian quan opp space, In the ) ) forw i of in k ~ of [10 k 1 , 0. hoices b) 0 On c loren − energy in particle taining with k , < ering . . additional e ( t 0 . v 2 | k pairs 0 0 the states Z con co ω yp sign oin 0 an § / t osite < − > p i ,d tum on e time) k > 1 k k the b osite = ω oth , k the R ω opp description in 0 b 0 analyzed space (propagating − ω | on ( k = of of d single opp = = o as 0 ould a momen theory ard ert 1-particle , with 0 0 k w go with 2 are a k k 1' with kw Z image a with energy / Hilb – field e S,A e ,d domain with bac its v ¢ 1 depicts states with with with space, there revisited 16 · the R ) · ha sectors jection states tal 2 – tum a · of and states ( ositiv Z of 1 i to on es / p pro 0 m wski 1 | − + k k ~ ~ o ,d ν − † k 2 quan ~ olv 1 ˜ H H pairs α particle a v Z a R · orbifold, include string with · k k h in ~ ~ order = particle ). jection · Y Y Mink orbifold. fundamen strings i t h to k of (propagating ~ 1 the on , in with eac k ~ n = = 1 − e one ulate in , pro oin µ − , the for k the 1 − + p 0 α a a) whic for ω able k ¡ | directions. H H on that on start e form − energy as H euclidean energy the = ( b surviv e to a e theory S theory h ords, ust binations i similar space this w ψ particles: m also In | tum is space particle e o ositiv com of particle field whic depicts t and order k conclude w w p field t ust c ) t negativ b e o in oin other m ( F p oin to W tum e time momen think p In a with er, A w sector . with tum states. a energies. k situation is ev ). while t 7: quan 7 onds e orbifold, w osite with Ho In The ciated tum should symmetrized space, opp need Quan wisted image the arian t e v e w ing un on in W men asso image i.e. domain, negativ Figure the (figure its 5. Consider corresp JHEP01(2004)064 . e t − 2 to on vi- ust Z the H and and / osite (5.5) (5.9) (5.4) (5.7) (5.8) (5.6) m ) usual pro in ositiv − + p orbifold whereas order problem opp H states the , H 1-particle 1-particle is ⊕ t implemen in energy energy ∇ include least the ∈ i + h e and states i of − and H and at to with 0 on ( | first i arian = case, h v ˜ 0 whic es = | to sign in P v particular other x ~ earlier. · negativ 2 our energy in space k whic ~ i acuum Z e no the v H directly k + acuum in and surviv t c . and need v k ~ t o is acuum 0 carry e v F iω it er, . i∂ w − = fashion. ) start 0 ev space usual erators define e . ] = discussed negativ 0 k . sea. What ~ w usual i the k † k ~ flipping new there op c e ˜ 0 E ˜ a ! | − is can o the a y , Ho w define † k ~ and i i k F ~ e † k ~ b h ˜ the a k k ( ~ ~ particles a of t ) w [ that + − d orbifold, = ( energy , , extend that . δ = i ectors k k analogous ~ ~ later whic acts e efunction d , define v ] k ~ ω ω − creation orbifolds. . ) 0 v 0 case arian states. these x ~ the − to h · k ~ a − v π an 2 H t k − + ~ , ˜ a noted = i images H tification w will H in Z | | – k , ~ (2 on ⊕ − i in and † k e ~ then t ω e ˜ 0 whic that à particular, → a k ~ b = = | + negativ need [ then 17 the Killing the iden arian W k ~ − ] 2 iω v us ∓ + 0 a v H 1 ˜ | a – with e is In = † k ~ in . √ in H H euclidean i ] ˜ a euclidean = are states : : 0 the to the H , first ˜ 0 † k ~ Let | = sum i i k ~ t → t ˜ a e H ˜ 0 should ˜ k a . ~ v to | , [ the it non-in w § space k in ~ − P states it usual i , a emphasize = constructed H k [ In particle states k annihilation ect k ~ ~ arian c ] , the 0 v related call direct efunction ω e to o a = k are ~ accoun † k ~ and v of v F in i directions. are ] a ω a with − o 0 | resp space, , k ~ t | k to ~ ys E out w the define k another ~ will isomorphism ˜ a − ab k space. a in the e sets , , [ c e these 2 to k k ~ ~ theory k o e w tification, o w Z with c a ject arian one states ω F [ then with o w v ; The destro t ect t tak find − F − the in | is isomorphism pro iden the k ~ t difference orbifolded tum H to a to with of states resp an domain; arian tum. duce y in The and tial v the arian ute particle as space . tal v + in under that need tro a in k Next, with momen in ultiparticle H e notation in orbifold c + essen state an o w m ys stabilit H momen F us comm a t the 1-particle the and action an tum tum this of vision precisely is 2 space to the is full sector. Next Let en for Z use osite fundamen en k destro arian c e e v − o k ~ ˜ the e.g. states opp W states: momen energy W with sionally with The Giv In This map H momen more QFT the F construct a JHEP01(2004)064 . ]. h § the the the the has ond this zero H [54 with with time after tifies don’t order (5.10) (5.11) (5.12) states whic of t on on tensor. on e In the of carefully iden structure W ts space ersed act corresp er to fields presumably doubled k b h c the stress rev deal . theory . compare o kgrounds t k ~ F um discussion agreemen doubling en ! ω n ould first whic the domain. orbifold t us bac commen ust scalar surface. the h − hamiltonians in w should e orbifold, t k ~ the m Giv extends ts arian to e H of w X tal o written v So b e Suc The , Let w 2 1 arian e + in the alue 2 on t w v v b onen Z is also H pair = enden in / recall jection an ue on jection . a i ould à ,d the remaining ˜ 0 1 w | that additional ! tin er, pro k = ~ pro the R comp ) of fundamen initial ω er x should ~ from ev the another. ! calculation. con using preferred. b ariance freedom. to In w fact e orbifold − directions. k energy k ~ ~ the v a time-dep so some the t the X ˜ a is t, That case, um in of Ho † k h ~ i one e § 1 2 and in n − ˜ a the ˜ 0 the | 2 on ( | deriv k ~ tensor h ˜ 0 in suc Z − h − ω tially near system bination µν reduce mak space. on them, that 2 1 acuum k ~ T H with of but ust v | k space. ) ˜ 0 of + c P the – m needed. com In crunc h (the degrees x ~ direction will o stress i also e Essen ) k ~ 1 2 e F 0 the t, e t § | 18 a b ccurrence ( erator of direction remaining big k † k ~ ~ half w + o wski teract – H + a ω o µν will i op k full ~ in er (5.10 T 0 translations | arian the ω the b in k it ~ out doubling, ould but presumably describ time neither v + à X aluate k ~ description , w the in so Mink not 1 2 um to H ev orbifold. direction. = . P symmetric | | n time the 6 this 0 0 ) ) energy erator as in common h h a à 2 do x ~ the jected space h 1 1 2 2 erator, a Z op as t, through = ose the then / energies time ( e jection uc d states, ergence. op k precisely ~ = = v pro t b natural theoretic ho condition, m with ω R in c µν on v section ( k ~ pro can ering div the an to natural T generate oin in the v same t so freedom N i this e to × p in ears then § 0 is field ximation t co as w | notation, of of k R ~ tification. start v the a H the X R not in propagate e app and seems and zero oundary the is acuum our hamiltonian = H is half it | iden b ust v to appro giv 2 t that v commen latter 0 freedom m h a In on additional Z in the pieces v e to / . out where degrees not H ) implemen in of here w ose e the § an ) the arian euclidean − y section usual some space, , 2 y v tributions), to freedom freedom H lik also of H ject k Z space orbifold hence in on c in sort / elt w prop of of the ⊕ man the , o con d v states next o, e 2 pro F ho R + ould the is in tation, no w ( as individual Finally W The t w H w the ering least some ( the the × e v with The at of This energy R the The co W degrees half Thinking subspaces Including degrees for figure in orien again that to kno in JHEP01(2004)064 t e 2 of of is ts in tz ys Z A W to- ers the a use een ) can / start tem- limit ¾ w w what . ,d other path. ] ysical called corre- (5.13) (5.14) part es 1 er. r onen − energy et related , that Loren thermal φ one R 2 ph b in only (5.13 or e H r t oth pap observ also φ J mak b ers time finite coupled the amplitudes h ertical the comp tributions. the + erature v freedom. this and at ) will precisely are suc 2 the olving con of eviden in e negativ erature + mixing φ the v 2 that hronous terested form is observ , ( with in c case, temp 1 t W but H in freedom for in a FTQFT t to so running in φ functional t . complex spacetime, and t 2 is from then L of temp diagonal of to 0, ysical e This Z ) ) zero an ortho − 5 / ed 0 0 is form degrees the ciated ph k k → ) accoun ,d discussion the fields leads One ( ( 1 presen 1 er tation zero sectors e It the as T T o compare) φ 21 to ositiv relev R , curv ( time. degree n n asso w t p in spacetime in at ) ) ulation tegration t 12 usual to the tributions also in 2 2 of mak prop in generating of onding in reduced D L tour m m y con oth In e flat the that energy form b The + b remaining t represen b erator − − osed the spaces con s Hence e in e 2 2 particular, to fields space time function. QFT another φ op correctly wn k k k the s propagator. anish, k ( ( c corresp opp can r olv In FTQFT v is δ δ o ) accoun v time. oth sho space direction 1 the π π F bac b the related QFT ghost, in 2 2 − of e alues (as field the ering tains to in energies. v affect , negativ b – real-time v D in of is + + the to e T the ( tum them co e freedom. con r not t with tify the 19 21 tify not i² i² , eigen φ the can ards [ and tak of of – ], , 12 oin + − of distribution functional it the reduces are x erses e ulation p kw iden will 2 2 thermal finite 50 iden i D propagator 4 lagrangian. i winger-Keldysh negativ d also y , momen m m − y reasons on theory rev h to ts One energy tially bac example, the to form the t ∞ the − − who an h and [49 Sc ositiv degree −∞ e 2 2 wn the and p theory the the an Z of of v k k at subtlet thermal i e o e , e QFT ers w starting Essen the 1 v whic ts ving kno needs ½ elemen QFT. e tour = = generating the φ ab the expansions tak out. ha ysical w this urthermore, part for ) ) the But of ell F s k k one ositiv con to exp t r de ( ( ph real-time w the remo , the er, . observ this p are and propagates 2 reflection, field but olving 22 11 D elemen ev related oin φ h v mo In of w p tially the energies. D order only iD iD and ting in reflection The 1 theory efore Ho other e 1 flat, ulation φ 2 ghost winger in oin ghost whic b teraction freedom. φ ysical off-diagonal The h p space) ]. Z D essen in from closely compare axis, of of ph [48 case. mixing form for Z tegral the is t cally e a starting thermal the realization course y in y negativ ) lo w , eaking, propagator = (and ghost, the off-diagonal a b 0 b under ] is tour thermal the sp 2 k is of erature, 2 real thermal ( t (FTQFT). Kraus to as J degree and T × in con the in , path field time Keldysh-Sc n the er 1 only e are 2 L functions decouples the where P J orbifold a and ∞ temp teracting [ A Actually related thermal Strictly time need in the Z the 5 the ysical → e erature ositiv y ghost The ignore ph β field zero the addition thank gether lation w where cases with symmetric There 5.1 the the transformations. sectors are spacetime b p p where along of of JHEP01(2004)064 e y k + − it w c b φ φ ust the the the the ws. o erse zero most no F m on to of where (5.15) (5.16) (5.17) (5.18) where to t on on t − rev On winger- the follo ) orbifold field olutions subtlet can φ k h : − is . a condition. y ev x φ as Sc propagator the } slice arian only , the strictly bac − is v − and and + profiles this cop olution theory of φ in φ to the + commen ) , 7→ the ( cus time and ev x φ + y time initial , its x ( the fo of = φ the 0 the 0, part ¾ of While e There { return will φ satisfied ts and states, φ )] . the w of of is set the deca > time e and 4 − e Hence = h w t for φ b under ,A ) to as and ( 0. x § the and ard to L fields is ector space φ − profiles b . equal). ossible. segmen whic v and 6= , 2 can − . p k , t section, t )) )) defining c ) ) parts (0 e ) ard forw the x x the o φ b + x − as ( F in − − parts φ for t φ t, ( This this onen construction y in ersurface ecome figures ( t, t, construction forw consider tify of also L ( ( formalism = propagator rapid,” V b [ running ,A of condition of § § yp ) tification hence 0. § x − ~ the h φ φ x of our other iden d φ tly , ), 2 ould text then ard d 0 > + − x that φ w could h subtlet iden (0 + o-comp for parts rewritten to 2 ) ) propagates tegral e for − tisymmetric ) e − Z kw w t x a con = initial x x e b , – t m in eac x t φ w + and hoice us b an the t t, t, 1 2 dt tisymmetric (0 c a to φ t, ( ( , bac t on hoices = 0 20 ( oin the remainder c § § first an − ∞ ∼ ) “sufficien p is ,S – as φ φ −∞ the = 2 and from ) x path ( ( lagrangian in the calls then § Z ) y and x φ sufficien t field 1 2 2 1 the natural − i φ the b φ , y , other note symmetric domain ∂ ½ is accoun t ose b if ( profile the (0 at In = = = can (0 this precisely ard field the 2 1 then tal ) ) ) to + ho e field is er, the c most exp v x x x starting φ in = ev This mean condition here t, t, t, forw a − e ) = lea ( ( ( w the decoupled that e More symmetric φ tegral initial φ profile ) scalar § ,S The ( ,A b (and as then satisfied tak D x in is Ho φ the 6 us § § L to up , + fundamen e 0 construction, φ discussed e φ 0. tification es in input initial φ b (0 at tification time, W also w). = → + D Let the prescription. § path ecified ecified φ t t in φ serv QFT . iden should our elo can iden . Z break sp lagrangian. ust sp : picture − e b example) at as times e ysical φ v m = 0 us osing our a already The , ard o e w conditions. e the ph + e ho the Z > our fields Th c for w to (for ab kw φ tization olv W x of exactly is v orbifold 0. orbifold tour. are further the in explicitly up w. bac ) in rapidly the condition the efore, e hoice = initial x quan made 0 b c ( − w part elo space, is con the t space, 0 The symmetric t ose tly φ what e b < 0 φ as v L . at more t in orated − = initial field While ha enien φ and Hence define it t ering ering v 6 diagonal e v v t e + ecome w Decomp is (elab here con free further b from co where A sufficien for propagates co do W Then, canonical equal φ The where construction. Keldysh JHEP01(2004)064 , t v at de in the the will and T step then alter cross , parts mo ª stress tially (5.19) (5.20) (5.21) (5.22) h , initial of i ” creates arise. t ˜ 0 i | from 0 tensor ) erywhere will represen | 0 with the whic field calculation calculation − x theory alue Essen ev not expansions. v far φ arian at − , v ( vior + ) ii) y do de the free previously − φ stress in could x ~ , . cosmology tly | . φ y 0 t eha condition − of o o ν 2 it mo h ( tisymmetric of x x b ~ ~ ) ∂ · · “ 0 abruptly the − ) previous k k ~ ~ an x i i h teracting f ectation — x 1 state. noted the expansion del − + calculation no of ergen in t t − − )) k k ~ ~ ( sufficien the singularit initial ersion Suc t causalit t exp standard x the de mo v − of iω iω As div ( ) parts − . are t φ + − of ( y x ( a of trust e e µ t) θ the mo ! alid δ the onen → to ∂ with acuum 0 v i i † k † k | ~ ~ y lim − a v x ˜ 0 0 a ˜ 0 ˜ a a | | h can the there ving has (1 ts arian = rapidly k-reaction + + are as à terpretation subtle. e v + deca comp Since the x x ~ ~ + so ¾ · · = Ha i w in in ! discussion k k φ ~ ~ bac 2 tly 0 ) i i tt . ) | violations ) onen 2 renormalized e 0 ) x ~ y + − x , tisymmetric 0 t t Z x as k k − ~ ~ more x + − differences rapid the 1 that trusting ( an the ( φ iω iω − t, orbifold + The is tensor. tativ comp − − + While – of µν x 2 − so φ e e on ( ( i sufficien T including . ν expansions Z the 0 ten k k ~ ~ main ∂ / 21 § ,A ) decoupled, then tx + from ) ˜ a a t, singularit x a ,d − φ off o de – > x ( 1 n n 2 off cosmological stress φ ( . t w required ) | ersion insist 0 6 t k k R + are conditions. expansion the t + µν a v | h mo But x ergence. die (completely ω ω e φ T situation arian 1 1 1 § t 2 2 e h µ the w de v the − φ are initial the v à ∂ div ; ed √ √ and | o in erators ust x presen ¢ If v ) of 0 switc suc | ( the mo figure y h d d x ~ m 2 ˜ 0 decoupled ab arian op ) ) the ( k k and ~ ~ © ½ h But 0 Z v in assume d d in π π oundary , + is will | 1 1 2 2 ust d d 0 the . There of b f in alue 0 endence. (2 (2 is impro = terpret the acuum x x e − v h − m fields. v field ¡ = fields )) φ in → → φ t ed W first 0 0 t Z Z e lim lim an 1 2 dep ( t v x x e role . y . w e but θ singularit 6 zero. write t the b = = w the 3 natural the w = = = ) at e ) ) depicted − field usual t if slice to the of x x ~ ~ ( v w of 0, time 2 erything impro ectation (1 in tize t, then t, δ − i er, ere ys ( ( then the the presen = appropriate 0 φ = Ev a w | + − section ev 0, the t exp section ) is ) the part pla φ equal φ w e initial replaced w x i) quan x ~ as v for in ( e just subtleties, of 6= no e v t, : b w condition Since Ho for y out ha ( t 2 in w µν near slice expansion the slice erator no ,A T 0. | can 0 0 acuum that + op 0 again de is and v will then simply φ e h create = slice. = = that ) v is initial t Near First, W § t u t mo S-matrix necessit 0 in the tractions, h section the φ tisymmetric − ould = ( expansion an functions: separating con of the Then, of φ replace t suc w subtleties the of the for The tensor This the slice space, the JHEP01(2004)064 a a it is op w- er, for the the can is v lo lo then past- parti- more What to on tensor t is a This along particle when to 0 The a geometry oin there erywhere, to . Moreo suggested. p y > if instabilities cannot particle ev e a stress t questions 7 eated. v a hine. leading , ector, of onds v at ha related the CTC, rep the thing. t propagating is singular domain a that CTCs these h propagates , instabilit particle y e not ould e that in calculation. v v that suc the precisely w corresp tal time-mac is condition the Example particle image tangen ha is lea paths a no space. us e 8: to its serious string of actually More ector W around Th v surprise a here singularit initial analysis whether t and closed a yields ering of 0. e v eared more condition 4 is and the < fundamen co cle Figure QFT. a and e not t essence stress nothing naiv future-going app t limit of tangen , 2 t is e orbifold a de tak the t. of to directions. v the w- arise. Z future-directed di- initial the forbid de- oin pa- o it the the and sec- and section oin e lo around that mo first p a t the cally p is to table, ab – t its as on lik ts of with in not the So lo signal t a osite theory? analysis at the should y space a argumen 22 t. do w-energy the b with this e w-up details analysis t space consider for – initial presen opp in lo the ould w since 0 least particle oin mean in een therefore blo w and a to domain. p in apparen t b also full commen is < at the the analysis reaction The a e calized problem h elegan tified future-directed e t e ering discussed w k A oin tal propagating v lo at of teracting is axis v S-matrix p time theory jectory from also space, e limited its in at time-nonorien ha QFT, the co 0 iden whic As bac wing a e it seriously CTCs condition, is tativ string tra 0, e that tum w starting cal e = w b there on it the scop out field the t follo osite > domain. ten propagate t lo ering sector, ould particle ho from conjecture t S-matrices v the h w of domain? ulated oin fundamen tized quan the the deriv tal opp space. will globally co initial single p y free depicts at the around at QFT illustrate tal is and a some t for starts in 8 whic the clear its to not ond then quan wisted the of e whether t y in oin reform although of geometry single ering ergence ey main from defining discussions, first to p Ross ector not v of oping b on did a v cop mak y past-going first space protection the of div onds co is jectories lo e the is us a fundamen t singularit Figure orbifold a of What that y w a The it w its of hoice a a olution fundamen ulation tra in a c the actual e can Simon the CTC w image as the return v Let the with of er, ev resulting e ering y also propagating previous with and v the ha w question corresp oth the tangen on the ev ork. on the the an limit. b co figure. limit w w all thank and of reform Instead that is , ed questions kind on ossible e not 5 tum but horonology osals. Ho Note In p ciated w tified existence hes c example en W the Time image ergence, what olv the 7 es there v er, end hoice to for energy energy c Giv the is div these in future p really prop simple particle its That around iden tion p reflection, 6. do asso directed the reac rections CTC. on not in follo quan JHEP01(2004)064 t , e t e S ts ). et, on tal 4 the k ely The line, c oin fron ould ould wing righ o p ositiv with w w depicts p on p and ards er dra the tification , negativ b axis. ed the w 2 the the on time time up upp iden figure the fundamen and of mark time t Alternativ et, t et, the with k figure, the ). The k oin tify c the figures fold the Similarly 3 c dotted-dashed of oin o p o t p p to left p on on on iden to tified t also domain, and part fron is propagation w the tified. the fold. The a wn the 2 S iden tal and left do (see the time t On iden On 0) rear fold. On 10 oin of on depict quadran The = p are t figures w ill-defined. x time-arro breaks the rear ( time. domain, lines dot S The figure fundamen domain. axis. righ of arro on also the k the axis in 0 tal domain. tal er tation the ecomes solid on the w fold. blac for (see b = tal propagation ards lo as 9 a time S origin w x orien the – e ose rear up the the depicted 23 ho hoice with fundamen the c c fundamen time the figure depicts – ue is as direction figure, fundamen ed negativ in on the propagation on tin t the from can The half-space lines the axis t on time as t t. con result mark righ ossible 0 on one p oin S S the dashed = righ p solid depicts righ a the ill-defined. and The ts 10 t depicted biguous , it 2 the the oin On as line the am propagation with p the where fold let on half-space S propagating -axis. t figure ecomes with et”, wn x the b to propagating k er wn line, osing e c tified. with of dashed section dra o fron depicts is ho sho S S upp c ecoming ”p in 9 iden the particle b et ositiv the line domain, k t particle p c the et, direction example, are t o first jectory k domain oin p tal wn c S P or the oin o figure ose onding tra while F half-space, do p P tal time dashed the dotted-dashed ho of t, discussed er 10: c w with 9: the in the with the the flo the axis. ed of As Consider of upp fundamen corresp can on us e -axis time part results where while is Figure th quadran the the fundamen the domain x fold mark Figure w JHEP01(2004)064 t e e a or 10 on its on w tal ose e the the the the the W the ard and The 0 first slice , time (6.1) from fron them latter 8 ho on . to giv til kw on c < olution olution een and k ∞ e fold 1 ard un figure the resulting ard to w ev ev t time bac the w space. , slice = et starting t 0 in bac kw depicted on if crossing tified b half in figure t fundamen t the forw the rear S and , time is, the propagate bac er ! t In ering propagate part olution iden simple t 10 ue the oth } w line v ] ∞ after the b from oin lo ev jectory − constan is tified co tin returns as and p = ould are if left That a H jectories on it then arian t w tra example, just the crosses v con figure the iden the , but ard dt time tra the in to ose figures. e it or 1 es to 0 t In ard dividing on and olution They t to F w time ho − w . on − , the 0 . , c forw giv the ev side defined the 8 R 8 the 5 in jectory domain. e i up ∞ w the half-space domain, First w − + in ards. h olution Similarly ard image tra er tal ossible et. This if then ard jectory the tal w follo other p = k , ev , figure . jectory figure kw define c 0. its exp[ 9 ² t ¾ e on reac o the 0. ! is section upp tra wice. { er, e ¸ b in t of = p ) of forw ˜ , the and ) tra can − e T bac biguously w propagate 1 > t it ev t In t time ( w 0 it e 10 to } 1 and ard the w troublesome. v to ] t particles − w w the to w figure in = , the + fundamen til – ard” t Ho 0 fundamen ho t ard bit. olution unam 0 H t of ose are H could ues w wn un −∞ olution up cross and a On − 24 ev oin space the is jectories picture jectories e figure to ( dt ho and dt do tin diagram, ev 0 p the wn . c – = w forw 1 and − ed propagate y 1 fold t of 0 fold. 0 t tra tra , e t t t will up < U domain, w t erg if 0 On as con R “do Z the w time left 0 b This the ) −∞ ering i the i t time 1 is it v the the tal ard If i.e. t − ² then − fron follo = hoice , the co from · the the problems situation and c for 0 of of e t causalit kw + 0 0. ard t 0, ( b jectory es again. w exp[ S, 0 terpretations Heisen the Similarly then on when es + = { the exp kw the the t = bac -axis, in . giv tra = U T ½ to x x e half-space t sides from can problem image follo ordering. the 10 v t on oin on one bac slice halv à à T means h fundamen fold, violate arise p and without 0 er the t the this t In its = = = Both oth uing to ards The ed the b reac the ) > with this ard” from so upp impro ard again ues w 1 . figure other tin 1 fron t w olution olution ti-time t ending and as fold, ards , to line. on tin fold. ue 0 in t ev w ev mark t seem an the con can forw can to t −∞ the ( “up the dep to tin image what v Problems et e con e 0 crosses k t = ) in ards fron time w the particle ard w c t ose the fron domain, definition. and 0. t U the time its ould w con , o a see particle to in ho w p of er, and dividing > along is c up the giving to tal of forw y half-space denotes the from 1 line, the , us fold ev −∞ a can and e t ² t w olution the , ˜ the w wn on w T the w e half 0 ards on U( formal slice the + ev t flo h w do of Let If Ho half-spaces, figures rear t 0 er righ up kw the jectory y erator o olution olution a = oth w tra the w far fron upp the using again start fundamen ev b launc then particle t across domain, dividing where the bac fold more t ev op time all case JHEP01(2004)064 , t, w y S. S- as en ! a also the w and this } eing w time time (6.2) (A.1) (A.2) kno b cal String Asp ))] are of jection thanks for e lo x ~ , consider the w c , S-matrix terpreta- oscillator 0 kgrounds. California t pro 5 the EK-V wrence, and in ( and Either the ose states picture, and − and the of La . bac consider el. stages Naqvi φ b a as ho of the v ( using y 2 2 t c encouragemen I space. A. thank orbifold. L er tra ards and section ”Time on e b 2 this usual w ersit ). x ~ Asad w c d Z figure 0 ( additional wski figure , d up teraction either um 0 o useful time differen thank ersurface, from the n t in ersed, to Univ and dt the cone yp in 1 to at can 0 t oin orkshop h t and and rev Mink calculations the e p e as R consider w domain, y orbifold. ull Finally G02-91ER40677 the 0 er. i y n w onds where discussions lik ws seen to euclidean on − t = tal at y the the tary t pap ds Hassan, et), DE-F oin remaining or adopt could arro k the of exp[ tabilit p ould ) c time man e thanks { ad a o corresp this w ( ts hospitalit T terpreted w theory the p the W discussions under 0 ersations. a the fundamen tract in the } with regularly v could F and metho k ES and = singular for . e o e ))] x (the . b latter the field u k con with – with of con also ose complemen x ~ y not W k − b at the of ., t, is . + ho 2 of ( 25 helpful ania 5 c = re-editing participan The are + wn – = o could time-nonorien φ analogue under or ˜ for k image do ( u that Finland, from lagrangian. domain helpful hoices ere I ˜ k the estigation, c theory in on ordinary figure 0, y that w L oscillator v hospitalit of details o a ennsylv the tal section for e the in = But w x ~ hoice to w bang”. an as break P t y DOE d c and t w a 0 t is Kraus field for in the of , 0. of y ˜ of k an y as space, at dtd this Balasubramanian, US er ould = “big using 1 y The other 0 sta P t w t y y t a vide Bry to erator h” part onding ysics 8 R b e subtleties that Academ discussions i fundamen at the wski w op ersit where R. us Ph o pro Vija as teracting on discussed eral as from erge. wn crunc olution thank hospitalit the the of in orted and will ev Univ corresp exp[+ do lead y sev useful Mink div ts on { ard e b discussions, for an erties long h teraction based thank also olution T “big w in to supp for are in time and notation e a ev as à ards, to forw calculations utson W as freedom, whic then prop ysics w breaks e to = the orted Institute useful the w the Kn ) those Ross of Ph endix, lik wn 1 time ole tensor analysis, is There up t for , of A. do GL Hence, I use supp Then same 0 wledgmen summarize, Angeles for olution app t t R L the issues. ds. ( olution oration adp o ould ev v Simon T Consider half the w Helsinki T oin will stress ter hru, ev in Similar kno degrees , Los part this p 8 I e e olution ork. ossible. U p to ev time Cen Theory” Kac one at In metho the the in the W A. on w and define Ac W where tional collab has matrix. JHEP01(2004)064 e q w . first and (for new The ´ state (A.7) (A.9) (A.5) (A.3) (A.6) (A.4) (A.8) ) torus, ρ a i (A.10) with t the n 0 a | e n,µ find q | . n v in ρ | e to √ /n m / ha w n in is . sectors. √ n − / e − = result, ´ ) z coheren ´ ρ T w ρ µ n ) ρα basis ρ α n m ρ e q n µ q regulator n . k q result . m q | 2 = | . ) renormalization, same − − / : using cylinder 0 ) τ z | /n ¸ /n 9 ( α n Then, n ˜ oscillator, wisted a − ´ n 4 t ¯ /n ) ρ ρ , The t-state − − √ | − ¯ the z 3 n z o the , m z − θ − µ n z ˜ an ]. z L µ n ( e z ( α (implicit) ¯ q α the µ n µ ¤ µ = X ariance. a µ get · k and α [55 k v aluated k ˜ k − m e 2 µ n in i the o in / − ˜ k q µ − m ¤ ev e 0 coheren in n 2 L e ¯ sewing ρ − y α q α / 1+ q will e 0 b a 1 + tribute appropriate oscillator. /n m § y not √ α aα b ) ) − n e z ) b 1 n ¯ ¯ dular z − z z ed n √ , m w , e e n con q z an + − z ( z found n 2 µ − ∓ and mo but mae e can ( q /n duce / ρ α X (1 e 1 n + · µ of n V /n m z = b not − k 2 ik z n absorb q t n tro µ m get ] e + e µ z 2 | Y µ − – k e α m Z in n es ³ m e d ρ sums α obtained 1 µ b ∈ − trace, µ − ( tribute − can µ w k 2 1 e n − z 0 α k ¤ do 26 Z of ν £ 2 µ aα α w ¯ m ρ ) / ˜ ust k oscillators, e – 2 µ con 0 ∓ | − the ˆ 2 g X m , m e α ρ / expression z ¯ | 0) t z ˜ ∂ 0 X α m ) £ n requiremen + , of h √ α µ ∂ q α m e + a ) > [ | q /n √ 1 X 8 (1 aluation τ ρ ρ ∓ this n e / − the ∂ · ( migh | as whic n z 1 formalism, ³ the m 2 1 form ev ( : (1 -insertion, ρ n q T q 2 θ of µ ˆ n g − µ − ³ or that + If 4 µ n re-ordering e m α 0 F sectors / n X of U str = µ α this the 2 − 4 µ α g ∂ k ρ / k z tr the . 2 0 U 2 2 n 2 π µ £ in / q of µ α n whose k d 1 2 0 example, 0 2 q e ortion | α = 1+ α 2 for the is ρ factor | p the e = tegral. simple 1 Z ) n √ for ρ 2 −| ¯ a recalling z e | ) that e and | e y −| ρ , -in in de τ m + ρ z e b is z tegral ( ρ 0 oscillator −| Z ρ ( ³ √ while seen, e T 2 in ∈ π ρ Y hand, a mo erator 2 w V h | note find, d 2 > n des e π ) ρ = ρ d b e op µ 2 there as π No n to −| eac Z d mo w aluate t e Z t . , h can ¯ other q ev m or ρ Z z n and 2 π F √ y ertex eac trace zero d 0 to standard = b non-zero v This ortan the t a elemen 1-insertion, > Z m for ds. particular, the are 0 an is n compute: imp On The w the In h y X 9 m> is e matrix eac there ma equation. It This again W metho write When for replaced massless JHEP01(2004)064 t µ = of us, the the ) 1 X , zero u ∂ 1 Th   arian Z to (A.11) (A.12) (A.14) (A.13) (A.15) X for in v . ,h 1) effect , g 2 the y 4 problem, in | . (1 10 b X o, of y ! +1) 1) 0 , Z d the , ( other 1 tribute = = directions 26 12 2 dular − 6=(1 τ V 2 2 X ) part ) section X / / see biguit no n con . 2 2 o o ,h mo q = k k g ultiplied o +1) ν 0 0 de in is ( d am a 1 α α T , + ( m X 1 − − − will ¯ mo | | is ∂ +1) (1 2 is X z z t. µ d ] | | ν ( u , 23 orbifolded τ o k X result i i [ − 4 4 − ∈ µ (There u k k 2 ∂ zero d this ∈ k ) Z ν sector There the ] .X ordering + + + n ν the accoun τ q + . ik 1 p p the [ = , | | in e γ µ, 1 1 2 2 , an 1) − | | case, µ , to 1 section z z X + + | | cancel. (1 with in 4 is ) (1 X are 2 ν only wisted o, of o ln ln / 1 β τ ) t 0 ν k 2 o ˆ ˆ − Z first X 1 P P 2 0 α en k k q us ) ¯ k k τ 2 ∂ 0 π un | α are + µ k 2 τ 2) 2) they α √ ) k terms ( n there / / .X √ tak the Th α o agrees 0 26 0 √ ( √ ( if ik k k α α – Q V δ the 2 ( 0 y ( ( e er k (26) τ In δ e e b α × µ notation δ = not 2 2 o 27 . These ev √ ˆ ˆ 4 Y √ ) o P P 0 X orbifolds. / e , µν ( w 2 2 – the u Y result 2 ∂ o 1 only while τ τ v   δ η k the 0 0 0 2 k 0 β 0 h 0 τ anishes. α α X Ho α α ¶ des. ha α o µν v π π α 2 √ as 2 π √ 2 + µν e Y η τ ( − − (In π e τ 2 v η This δ t. ultiplied π e e 2 2 str mo whic π w then, .X ν ν τ g − à ) orbifold. u 0 ha m 4 euclidean this ˆ ˆ e ik u µν P P ) α e e Q µ k µ µ u for η is 2 0 π ν erator for arian o zero w 2 k τ ˆ ˆ 2 | 2 directions, ) that 0 P P − α Y v obtain 1 | | z τ X that 1) | √ tzian op α ˜ p p in √ ¯ ear ∂ = = 2 = h h √ − ( the w √ µ δ ( π π corollary 2) = µν app δ dp dp (A.13 then 2 2 X 0 / directions). loren 0 u a sho sector T e β ertex second, Y α u orbifold. dular α∂ Z Z v ) ( not Y eq. get W to ¶ ˆ g 1, aluate As the 0 − = ¶ e es the mo Y Y in 0 α ev = the U, w in do 2 unorbifolded ( V α ard 4 tzian in : : γ str orbifold 2 y to / g not str ˆ 1 g ν + ole issue.) g factor the k the µ is write β µ U, U, the tforw loren µ a tribute. − k biguit in while e + − tadp in , w on-shell, = am α con the from 24 ν = ( remains the are − go result µν times 0 of | ose straigh ν ordering µ, It µν ) T e 0 This des h τ is T µ, w 10 ( hoice η (for supp this c mo eac Then, This massless if It case if factors | JHEP01(2004)064 ]. a J. 66 17 , 019 293 001 Phys. Phys. (1995) D big Phys. Phys. . al B Phys. , , gy , to 12 gy Phys. gic ev. esolution and r (2002) ett. R ]. orbifold: dels (2002) g. L data av. Ener Ener 11 mo the 06 Gr singularities osmolo crunch Ener . c l Phys. crunch High e-time Phys. , and . singularities hep-th/0202187 initial High [ of , big nul Phys. ac J. WZW Phys. big e ory High J. sp , ory d Quant. gy hep-th/9309064 , om to gy the and r , A ]. etime the F esenc 026003 ac orbifold and hep-th/9509149 ory Ener ang gauge [ l pr Ener sp b orbifold ]. Surveys the d string 63 nonsingular , nul orbifolds urok, Naqvi, om string the big T High hep-th/0002094 fr orbifolds in (2003) High Class. , in in oup A. , hep-th/0201039 and J. curve N. with om ]. J. , gr endent string r 67 , , (1996) F ory in endent and in D ounds and enario ]. enario endent elike the hep-th/0205101 13 [ sc sc ory agation ac vici, ev. universe ations ossible? al sp op ackgr R p av. time-dep the solutions – b quantum 053 akkuri hep-th/0204189 ang pr a time-dep change [ it gic of string Gr b ]. 28 singularities time-dep is in in Rabino gy field and l – anding Phys. 017 - ]. identific Steinhardt string and string , olo E. oth (2002) hep-th/0108187 e-big nul String [ Keski-V exp osmolo .J. al c pr Quant. ang top P 06 b smo d, E. String 3D hep-th/0206196 and gic Strings Strings [ Instability (2002) ]. the jesh, otation v ]. tachyons ]. ]. and new of r big and erg, On Singular 086007 close l 06 Ra , erg, erg, 042 A Phys. gy: to singularity ]. A nul Seib singularities G. hep-th/0206228 Hassan, hinski, al gy [ Cosmolo Seib Seib Kutaso Class. Steif, Martinec, of N. , Phys. olc gic hep-th/9205046 (2002) like [ (2003) N. N. Costa, universe, D. and osmolo . P S.F. ]. ¨ Ener ust, instability c crunch - gy v L 65 91 56 McGreevy E.J. symmetries A.R. J. Witten, e 06 103512 and and big the eon, ]. ]. ac J. D M.S. D. osmolo ometry Ovrut, E. hep-th/0203112 Ener High c Milne [ and hep-th/0203031 hep-th/0206182 hep-th/0204168 and and Sp ge [ [ [ String ore ore Giv a om On ev. J. v, Kutaso Phys. r and (1991) (1992) and and and R , singularities hep-th/9206078 F Duality (2002) B.A. [ Mo Mo A. High 031 045 for witz witz D. The gy , 258 289 J. 66 G. G. wrence erg, 309 115–124 066001 del elike , Phys. wrence, Horo Horo Ener Nekraso B B Nappi La D hep-th/9412074 abinger Martinec, eneziano, ac , [ mo F (2002) (2002) V Seib Balasubramanian, Liu, Liu, La Kounnas Craps, Kiritsis, Cornalba sp Elitzur, Khoury Simon, ev. ett. ett. eyond ang hep-th/0203201 hep-th/0205288 L toy High (1992) b [ (2002) of b 941 R 10 06 [ (2002) L singularities G.T. C.R. C. N. A.E. G. E.J. J. E. N.A. V. S. H. J. M. G.T. B. H. L. A. [1] [2] [3] [8] [6] [9] [5] [7] [4] References [11] [10] [19] [14] [13] [18] [16] [20] [15] [12] [17] JHEP01(2004)064 , in gy D of and , . M5 e 10 ev. and R ev. ounds onolo ]. R 12 and avity ounc string om Nucl. b chr olic) gr Phys. . , fr Class. ]. av. ackgr Phys. er M2 of esolution , b erb r gy , Phys. singularities 603 ory Gr . of , sup hyp gies al endent dS/CFT the ounds ]. Ener ction in A ly . gic elativistic endent al etime hep-th/0212223 r ]. (1992) ote ometric ]. Quant. , ac ackgr and osmolo pr PP-waves al string High ge b hep-th/0204158 c ]. ductions [ 46 sp ounds e time-dep a . osmolo r J. in and c D and , hep-th/0212087 ]. ]. an 007 time-dep gener [ (nonglob ang aphic ounds b ackgr on and gr-qc/9510006 a ev. b gr endent in Cle , on aphy R Class. singularities gr gr-qc/0204022 dep , ackgr hep-th/0209176 orientifold l [ Holo (2002) b , ough ory e universes 106003 3 system universes of hep-th/0212002 holo ac endent [ eversal nul hep-th/0208187 Phys. thr the 07 [ . r erstein, Kaluza-Klein del ]. jan, , sp ction e hep-th/0212215 e del of Comments crunch/big dynamics [ spinors ]. and 189 hep-th/0302052 167 go endent oe Silv (2003) 047 ote field , e (2003) time and D1-D5 ]. on big G¨ hep-th/0208107 ctur Phys. hep-th/0207214 pr ations [ 031 – [ E. stability jesh, 67 time-dep a ory aradara in string gy gy the al and onje 660 V 29 Ra D (2003) in 703 (1992) c the (2002) On and Time endenc ]. – of erturb time-dep esolutions B gy ]. U. and p G. r ersymmetric (2003) Ener quantum ev. holes 024011 onolo 10 in dep 665 SI1 olo R classic al her, witz fields ction judgement ersymmetric 03 Sup string ]. hep-th/0208126 and chr (2003) op B and [ and gic aphy alc Phys. High A T a ote the 6 v hep-th/0206138 in of anes time Sup v gr Black [ W Phys. Horo (2003) Phys. pr Stringy Phys. J. ra ˇ hep-th/0302137 Br , [ , Phys. J. On ality Timirgaziu, ons, ons, gy Phys. ]. dS, e ]. gy c Simon, 67 Holo Nucl. Ho 261601 deformations A ction Phys. lo gy , Quantum G.T. . C. Cosmolo Kutaso anagi, typ aths J. D and Math. physics P y b 123508 3969 in Ener ote of Gibb Gibb hep-th/0304181 a [ arvizi, onolo hep-th/0301206 D. Nucl. [ Costa, pr del Ener P ev. and Sethi, ak , ev. e and 3 urok, Hashimoto, Math. chr urok, R (2002) T strings Hellerman, R gy S. T go S. High T hep-th/0204091 , bubble [ G.W. G.W. abinger, (2003) Spinning (2003) S. A. M.S. T. 89 or. High F J. N. 021601 Craps, arrill N. Ganguli, The quantum the curves orbifolds and principle , and 67 om onolo 20 Langfelder Phys. J. l e (2003) and and Mourad S. gr-qc/9504048 The M. and and B. of ett. and fr and . , , [ hep-th/0208165 and , L D and [ e-times P The J. y 106005 Chr av. Nul The ory ory oz, dv. ac 662 blin blin , (2003) wking, o yda, ev. ev. y A Gr Herdeiro, sp 2243 036 ersymmetric hel, ondenc timelike the the olley , B R R ounds Ha 91 Gimon Bo d Ka T abinger d esp Alishahiha Visser, F Berk (2002) Aharon Cham Buc Hashimoto Cham Harmark Gordon Dudas, Dyson, Cornalba universes Figueroa-O’F Simon, anes ett. ackgr orr Phys. L curve b in Phys. c br close Phys. nonsup string Quant. (1995) string 66 (2002) L. A. C.A.R. T. E.G. M. S.W. A. M. B.S. L. M. A. J. M. A.J. C. A. E.K. O. E. J. [42] [36] [39] [40] [41] [24] [33] [23] [34] [35] [32] [30] [31] [29] [26] [27] [28] [37] [38] [22] [25] [21] JHEP01(2004)064 , e gy 67 ac . Phys. D sp . 67 Sitter Ener y Press, 47 D ev. de y 407 R Nucl. ersit of High , ev. Fiz. ’ ersit 1956. R J. Univ , (1961) or. Phys. Minkowski e Univ , 2 T chanics in etation Phys. anes bridge hep-th/9306090 , br me bridge , 1998. ory Phys. Eksp. bridge Cam dS/Z(2) the interpr Cam aying , e: Zh. c e Cam dS/CFT bridge , ac , Math. de field A quantum ac Press, liptic estrictive? sp r sp J. y ory ’el Cam , esses o d and and c with the o to ersit the Sitter pr lator quantum curve Press, holes de e and Univ y in oscil horizon tachyons erstring – atur ory black ersit escription liptic er the Sup . 30 fields ling the pr bridge of quilibrium El ol – Univ al R temp quantum 1111 ]. gr Cam field none Inside a , Witten, etation inte of erlinde, for er, . bridge Quantum Finite V ]. ]. E. (1987) ath 105 E. p erashima, Cam interpr Shenk vies, T Quantum and universes , 294 motion chnique S. and S. Da B te ory arz, hez, (1984) liptic Semenoff, hep-th/0212248 w olyakov the [ and and el p h am anding onije v .C.W. ownian Sanc 1982. 152 Sc . Phys. P 039 the Sa Exp G.W. Br The hep-th/0212277 hep-th/0209120 N. [ [ Diagr 497 String Naqvi Is I. Ooguri J.H. and (NY) Nucl. . 1987. and bridge ons, A. and ur, , H. (2003) dinger, winger, (1986) arikh, 1515 124022 064005 hinski, h Cam 02 Gibb P Green, Phys. Birrell Keldysh, hro Math Niemi bridge Sc olacci e-time olc F Sc Larsen, 271 Kraus, P ac nn. . (1964) (2003) Cam Phys. A Press, B (2003) sp L.V. J.S. M.B. S.D. N.D. F. P A.J. J. G.W. A. E. M.K. [50] [49] [55] [54] [51] [53] [48] [47] [52] [44] [45] [43] [46]