arxiv:gr-qc/ v1 18 Jan 1993

Transcription

1 The Origi of Time Asymmetry S.W.Hawkig,, R.Laflamme & G.W. Lyos arxiv:gr-qc/ v1 18 Ja 1993 Departmet of Applied Mathematics ad Theoretical Physics Uiversity of Cambridge Silver Street, Cambridge U.K., CB3 9EW & Theoretical Astrophysics, T-6, MSB288 Los Alamos Natioal Laboratory Los Alamos, NM USA Abstract It is argued that the observed Thermodyamic Arrow of Time must arise from the boudary coditios of the uiverse. We aalyse the cosequeces of the o boudary proposal, the oly reasoably complete set of boudary coditios that has bee put forward. We study perturbatios of a Friedma model cotaiig a massive scalar field but our results should be idepedet of the details of the matter cotet. We fid that gravitatioal wave perturbatios have a amplitude that remais i the liear regime at all times ad is roughly time symmetric about the time of maximum expasio. Thus gravitatioal wave perturbatios do ot give rise to a Arrow of Time. However desity swh1@phx.cam.ac.uk. rl104@phx.cam.ac.uk. gwl10@phx.cam.ac.uk. 1

2 perturbatios behave very differetly. They are small at oe ed of the uiverse s history, but grow larger ad become o liear as the uiverse gets larger. Cotrary to a earlier claim, the desity perturbatios do ot get small agai at the other ed of the uiverse s history. They therefore give rise to a Thermodyamic Arrow of Time that poits i a costat directio while the uiverse expads ad cotracts agai. The Arrow of Time does ot reverse at the poit of maximum expasio. Oe has to appeal to the Weak Athropic Priciple to explai why we observe the Thermodyamic Arrow to agree with the Cosmological Arrow, the directio of time i which the uiverse is expadig. 2

3 1) Itroductio. The laws of physics do ot distiguish the future from the past directio of time. More precisely, the famous CPT theorem 1 says that the laws are ivariat uder the combiatio of charge cojugatio, space iversio ad time reversal. I fact effects that are ot ivariat uder the combiatio CP are very weak, so to a good approximatio, the laws are ivariat uder the time reverseal operatio T aloe. Despite this, there is a very obvious differece betwee the future ad past directios of time i the uiverse we live i. Oe oly has to see a film ru backward to be aware of this. There are are several expressios of this differece. Oe is the so-called psychological arrow, our subjective sese of time, the fact that we remember evets i oe directio of time but ot the other. Aother is the electromagetic arrow, the fact that the uiverse is described by retarded solutios of Maxwell s equatios ad ot advaced oes. Both of these arrows ca be show to be cosequeces of the thermodyamic arrow, which says that etropy is icreasig i oe directio of time. It is a o trivial feature of our uiverse that it should have a well defied thermodyamic arrow which seems to poit i the same directio everywhere we ca observe. Whether the directio of the thermodyamic arrow is also costat i time is somethig we shall discuss shortly. There have bee a umber of attempts to explai why the uiverse should have a thermodyamic arrow of time at all. Why should t the uiverse be i a state of maximum etropy at all times? Ad why should the directio of the thermodyamic arrow agree with that of the cosmological arrow, the directio i which the uiverse is expadig? Would the thermodyamic arrow reverse, if the uiverse reached a maximum radius ad bega to cotract? 3

4 Some authors have tried to accout for the arrow of time o the basis of dyamic laws. The discovery that CP ivariace is violated i the decay of the K o meso 2, ispired a umber of such attempts but it is ow geerally recogized that CP violatio ca explai why the uiverse cotais baryos rather tha ati baryos, but it ca ot explai the arrow of time. Other authors 3 have questioed whether quatum gravity might ot violate CPT, but o mechaism has bee suggested. Oe would ot be satisfied with a ad hoc CPT violatio that was put i by had. The lack of a dyamical explaatio for the arrow of time suggests that it arises from boudary coditios. The view has bee expressed that the boudary coditios for the uiverse are ot a questio for Sciece, but for Metaphysics or Religio. However that objectio does ot apply if there is a sese i which the uiverse has o boudary. We shall therefore ivestigate the origi of the arrow of time i the cotext of the o boudary proposal of Hartle & Hawkig 4. This was formulated i terms of Eisteiia gravity which may be oly a low eergy effective theory arisig from some more fudametal theory such as superstrigs. Presumably it should be possible to express a o boudary coditio i purely strig theory terms but we do ot yet kow how to do this. However the recet COBE observatios 5 idicate that the perturbatios that lead to the arrow of time arise at a time durig iflatio whe the eergy desity is about of the Plack desity. I this regime, Eistei gravity should be a good approximatio. I most curretly accepted models of the early uiverse there is some scalar field φ whose potetial eergy causes the uiverse to expad i a expoetial maer for a time. At the ed of this iflatioary period, the scalar field starts to oscillate ad its eergy is supposed to heat the uiverse ad to be trasformed ito thermal quata of other fields. 4

5 However this thermalisatio process ivolves a implicit assumptio of the thermodyamic arrow of time. I order to avoid this we shall cosider a uiverse i which the oly matter field is a massive scalar field. This will ot be a completely realistic model of the uiverse we live i because it will be effectively pressure free after the iflatioary period rather tha radiatio domiated. However it has the great advatage of beig a well defied model without hidde assumptios about the arrow of time. Oe would expect that the existece ad directio of the arrow of time should ot deped o the precise matter cotet of the uiverse. We shall therefore cosider a model i which the actio is give by the Eistei-Hilbert actio I g = 1 d 4 x ( g) 1/2 R + 16πG M 1 d 3 x (h) 1/2 K (1.1) 8πG M plus the massive scalar field actio I Φ = 1/2 d 4 x ( g) 1/2 (g µν µ φ ν φ + m 2 φ 2 ). (1.2) M I accordace with the o boudary proposal, we shall take the quatum state of the uiverse to be defied by a path itegral over all compact metrics with this actio. This meas that the wave fuctio Ψ[h ij, φ 0 ] for fidig a three metric h ij ad scalar field φ 0 o a spacelike surface S is give by Ψ(h ij, φ 0 ) = C d[g µν ]d[φ] e I e[g µν,φ] (1.3) where the path itegral is take over all metrics ad scalar fields o compact maifolds M with boudary S that iduce the give values o the boudary. I geeral the metrics i the path itegral will be complex rather tha purely Loretzia or purely Euclidea. 5

6 There are a umber of problems i defiig a path itegral over all metrics, two of which are: (1) The path itegral is ot perturbatively reormalisable. (2) The Eistei Hilbert actio is ot bouded below. These difficulties may idicate that Eistei gravity is oly a effective theory. Nevertheless, for the reasos give above we feel the saddle poit approximatio to the path itegral should give reasoable results. We shall therefore edeavour to evaluate the path itegral at statioary poits of the actio, that is at solutios of the Eistei equatios. These solutios will be complex i geeral. The behaviour of perturbatios of a Friedma model accordig to the o boudary proposal was first ivestigated by Halliwell & Hawkig 6 ad we shall adopt their otatio. The perturbatios are expaded i hyperspherical harmoics. There are three kids of harmoics. (1) Two degrees of freedom i tesor harmoics. These are gauge ivariat ad correspod to gravitatioal waves. (2) Two degrees of freedom i vector harmoics. I the model i questio they are pure gauge. (3) Three degrees of freedom i scalar harmoics. Two of them correspod to gauge degrees of freedom ad oe to a physical desity perturbatio. Oe ca estimate the wave fuctios for the perturbatio modes by cosiderig complex metrics ad scalar fields that are solutios of the Eistei equatios whose oly boudary is the surface S. Whe S is a small three sphere, the complex metric ca be close to that of part of a Euclidea four sphere. I this case the wave fuctios for the 6

7 tesor ad scalar modes correspod to them beig i their groud state. As the three sphere S becomes larger, these complex metrics chage cotiuously to become almost Loretzia. They represet uiverses with a iitial period of iflatio drive by the potetial eergy of the scalar field. Durig the iflatioary phase the perturbatio modes remai i their groud states util their wave legths become loger tha the horizo size. The wave fuctio of the perturbatios the remais froze util the horizo size icreases to be more tha the wave legth agai durig the matter domiated era of expasio that follows the iflatio. After the wave legths of the perturbatios come back withi the horizo, they ca be treated classically. This behaviour of the perturbatios ca explai the existece ad directio of the thermodyamic arrow of time. The desity perturbatios whe they come withi the horizo are ot i a geeral state but i a very special state with a small amplitude that is determied by the parameters of the iflatioary model, i this case, the mass of the scalar field. The recet observatios by COBE idicate this amplitude is about After the desity perturbatios come withi the horizo, they will grow util they cause some regios to collapse as proto-galaxies ad clusters. The dyamics will become highly o liear ad chaotic ad the coarse graied etropy will icrease. There will be a well defied thermodyamic arrow of time that poits i the same directio everywhere i the uiverse ad agrees with the directio of time i which the uiverse is expadig, at least durig this phase. The questio the arises: If ad whe the uiverse reaches ad maximum size, will the thermodyamic arrow reverse? Will etropy decrease ad the uiverse become smoother ad more homogeeous durig the cotractig phase? I referece [7] it was claimed that 7

8 the o boudary proposal implied that the thermodyamic arrow would reverse durig the cotractio. This is ow recogized to be icorrect but it is istructive to cosider the argumets that led to the mistake ad see why they do ot apply. The aatomy of error is ot ruled by logic but there were three argumets which together seemed to poit to reversal: (1) The o boudary proposal implied that the wave fuctio of the uiverse was ivariat uder CPT. (2) The aalogy betwee spacetime ad the surface of the Earth suggested that if the North Pole were regarded as the begiig of the uiverse, the South Pole should be its ed. Oe would expect coditios to be similar ear the North ad South Poles. Thus if the amplitude of perturbatios was small at early times i the expasio, it should also be small at late times i the cotractio. The uiverse would have to get smoother ad more homogeeous as it cotracted. (3) I studies of the Wheeler Dewitt equatio o miisuperspace models 8 it was thought that the o boudary coditio implied that Ψ(a) 1 as the radius a 0. I the case of a Friedma model with a massive scalar field, this seemed to imply that the classical solutios that correspoded to the wave fuctio through the WKB approximatio would bouce ad be quasi-periodic. This could be true oly if the solutios were restricted to those i which the perturbatios became small agai as the uiverse cotracted. Page 9 poited out that the first argumet about the CPT ivariace of the wave fuctio did t imply that the idividual histories had to be CPT symmetric, just that if the quatum state cotaied a particular history, the it must also cotai the CPT 8

9 image of that history with the same probability. Thus this argumet did t ecessarily imply that the thermodyamic arrow reversed i the cotractig phase. It would be equally cosistet with CPT ivariace for there to be histories i which the thermodyamic arrow to poited forward durig both the expasio ad cotractio, ad for there to be other histories with equal probability i which the arrow was backward. With a relabellig of time ad space directios ad of particles ad atiparticles, these two classes of histories would be physically idetical. Both would correspod to a steady icrease i etropy from oe ed of time, which ca be labelled the Big Bag, to the other ed, which ca be labelled the Big Cruch. The secod argumet, about the orth ad south poles beig similar, is really a cofusio betwee real ad imagiary time. It is true that there is o distictio betwee the positive ad egative directios of time. I the Euclidea regime, the imagiary time directio is o the same footig as spatial dimesios. So oe ca reverse the directio of imagiary time by a rotatio. Ideed, this is the basis of the proof that the o boudary quatum state is CPT ivariat. But as oted above, this does ot imply that the idividual histories are symmetric i real time or that the Big Cruch eed be similar to the Big Bag. The third argumet, that the boudary coditio for the Wheeler Dewitt equatio should be Ψ 1 for small three spheres S i a homogeeous isotropic mii superspace model, was the oe that really led to the error of suggestig that the arrow of time reversed. The motivatio behid the adoptio of this boudary coditio was the idea that the domiat saddle poit i the path itegral for a very small three sphere would be a small part of a Euclidea four sphere. The actio for this would be small. Thus the wave 9

10 fuctio would be about oe irrespective of the value of the value of the scalar field. With this boudary coditio, the mii superspace Wheeler Dewitt equatio gave a wave fuctio that was costat or expoetial for small radius, ad which oscillated rapidly for larger radius. From the WKB approximatio oe could iterpret the oscillatios as correspodig to Loretzia geometries. That fact that the oscillatig regio did t exted to very small radius was take to idicate that these Loretzia geometries would t collapse to zero radius but would bouce. Thus they would correspod to quasi-periodic oscillatig uiverses. I such uiverses, the perturbatios would have to obey a quasiperiodic boudary coditio ad be small wheever the radius of the uiverse was small. Otherwise the uiverse would ot bouce. This would mea that the thermodyamic arrow would have to would reverse durig the cotractio phase so that the perturbatios were small agai at the ext bouce. This boudary coditio o the wave fuctio became suspect whe Laflamme 10,11 foud other miisuperspace models i which a bouce was ot possible. The Page 9 poited out that for small three surfaces S, there was aother saddle poit that could make a sigificat cotributio to the wave fuctio. This was a complex metric that started almost like half of a Euclidea four sphere ad was followed by a almost Loretzia metric that expaded to a maximum radius, ad the collapsed to the small three surface S. The log Loretzia period would give the actio of these metrics a large imagiary part. This would lead to a cotributio to the wave fuctio that oscillated very rapidly as a fuctio of the radius of the three surface S ad the value of the scalar field o it. Thus the boudary coditio of the Wheeler Dewitt equatio would t be exactly Ψ 1 as the radius teds to zero. There would also be a rapidly oscillatig compoet of the 10

11 wave fuctio. As before, the wave fuctios for perturbatios about the Euclidea saddle poit metric would be i their groud states. But there is o reaso for this to be true for perturbatios about the saddle poit metric with a log Loretzia period that expaded to a large radius ad the cotracted agai. To fid out what the wave fuctios for perturbatios i the cotractig phase are, oe has to solve the relevat Schroediger equatio durig the expasio ad cotractio. This we do i sectios (3.1) ad (3.2). We fid that the tesor modes have wave fuctios that correspod to gravitatioal waves that oscillate with a adiabatically varyig amplitude. This amplitude will deped o the radius of uiverse. It will be the same at the same radius i the expadig ad cotractig phases ad it will be small compared to oe wheever the wave legth is less tha the horizo size. Thus these gravitatioal wave modes will ot become o liear ad will ot give rise to a thermo dyamic arrow of time. By cotrast, scalar modes betwee the Compto wave legth of the scalar field ad the horizo size wo t oscillate but will have power law behaviour. There are two idepedet solutios of the perturbatio equatios, oe which grows ad oe which decreases with time. The boudary coditio provided by the o boudary proposal picks out the solutio that is a small perturbatio about the Euclidea saddle poit for small three spheres. It does ot require that the perturbatio about the saddle poit with a log Loretzia period remais small. So the o boudary proposal picks out the solutio of the desity perturbatio equatio that starts small but grows durig the expasio ad cotiues to grow durig the cotractio. At some poit durig the expasio, the amplitude will grow so large that the liearized treatmet will break dow. This however does ot prevet oe 11

12 usig liear perturbatio theory to draw coclusios about the thermodyamic arrow of time. The arrow of time is determied by whe the evolutio becomes o liear. The liear treatmet ad the o boudary proposal eable oe to say that this will happe durig the expasio. After that the evolutio will become chaotic ad the coarse graied etropy will icrease. It will cotiue to icrease i the cotractig phase because there is o requiremet that the perturbatios become small agai as the uiverse shriks. Thus the thermodyamic arrow will ot reverse. It will poit the same way while the uiverse expads ad cotracts. The thermodyamic arrow will agree with the cosmological arrow for half the history of the uiverse, but ot for the other half. So why is it that we observe them to agree? Why is it that etropy icreases i the directio that the uiverse is expadig? This is really a situatio i which oe ca legitimately ivoke the weak athropic priciple because it is a questio of where i the history of the uiverse coditios are suitable for itelliget life. The iflatio i the early uiverse implies that the uiverse will expad for a very log time before it cotracts agai. I fact, it is so log that the stars will have all burt out ad the baryos will have all decayed. All that will be left i the cotractig phase will be a mixture of electros, positros, eutrios ad gravitos. This is ot a suitable basis for itelliget life. The coclusio of this paper is that the o boudary proposal ca explai the existece of a well defied thermodyamic arrow of time. This arrow always poits i the same directio. The reaso we observe it to poit i the same directio as the cosmological arrow is that coditios are suitable for itelliget life oly at the low etropy ed of the uiverse s history. 12

13 2) The Homogeeous Model. I this sectio we review the homogeeous model with metric ds 2 = σ 2 ( N(t) 2 dt 2 + a(t) 2 dω 2 3 ) (2.1) where σ 2 = 2/(3πm 2 p), N is the lapse fuctio, a is the scale factor ad dω 2 3 is the stadard 3-sphere metric. Expressig the scalar field as 2πσφ with the quadratic potetial 2π 2 σ 2 m 2 φ 2, the Loretzia actio is I = 1 2 dtna 3 ȧ 2 [ N 2 a 1 2 a φ 2 2 N + 2 m2 φ 2 ] (2.2) where the dot deotes derivative with respect to Loretzia FRW time (if ot explicitely stated throughout the paper time derivative are Loretzia). There are o time derivatives of the lapse fuctio N i this actio; it is a lagrage multiplier. Varyig the actio with respect to N leads to the costrait H = N 2a 3[ a2 π 2 a + π2 φ a4 (1 a 2 m 2 φ 2 )] = 0 (2.3) where the mometa π a ad π φ are defied as π a = a N ȧ ad π φ = a3 N φ (2.4) ad H is the Hamiltoia. This costrait is a cosequece of the ivariace uder time reparametrizatio. Varyig the actio with respect to the field φ we obtai the reduced Klei-Gordo equatio N d dt ( φ N ) + 3ȧ a φ + N 2 m 2 φ 2 = 0, (2.5) This latter equatio together with the Hamiltoia costrait H = 0, is sufficiet to describe the classical dyamics. The secod order equatio for a ca be derived from 13

14 these equatios. I the ihomogeeous model there are also mometum costraits, but these are trivially satisfied i the homogeeous backgroud. The quatum theory is obtaied by replacig the differet variables by operators. We will follow the Dirac method ad impose the classical costraits as quatum operators. The Hamiltoia costrait thus becomes [a 2 2 a 2 2 φ 2 a4 (1 a 2 m 2 φ 2 )]Ψ 0 (a, φ) = 0 (2.6) ad is called the Wheeler-DeWitt equatio. The solutio of this equatio Ψ 0 (a, φ) is the wave fuctio of the uiverse. There is a factor orderig ambiguity, but it is ot importat for the coclusios of our paper which rely o the classical limit. I this paper we ivestigate the predictios of the o-boudary proposal i a model where small ihomogeeities are take ito accout. I order to impose this proposal we retur to a path itegral formulatio of the wavefuctio. It is very hard to calculate this path itegral exactly. However we ca have a good idea of the resultig wave fuctio by usig a saddlepoit approximatio Ψ(h ij, φ) C e Isp E [g µνφ] (2.7) where C is a prefactor ad I sp E is the Euclidea saddle-poit actio. I this approximatio it is clear how to impose the proposal of Hartle ad Hawkig. The regularity coditio is imposed o the (complex) saddlepoits of the path itegral. The semiclassical approximatio to the path itegral ca the be used to estimate the wavefuctio. Oe of the problems i usig the semiclassical approximatio i this model is that we caot simply deform the complex metric ito purely real Euclidea ad real Loretzia sectios, for real argumets of the wavefuctio. This could oly be achieved i this 14

15 model if the time derivatives of both a ad φ vaish simultaeously o the Euclidea axis, 12 which is ot possible as φ icreases mootoically if the o boudary coditio is imposed. Therefore we must solve the backgroud equatios of motio for complex values of time ad physical variables, obtaiig complex solutios which satisfy the o boudary proposal ad have the give a ad φ o the fial hypersurface. The o boudary proposal imposes the boudary coditios at oe ed of the four geometry a = 0 da dτ = 1 dφ dτ = 0 φ = φ 0 (2.8) thus we oly have the freedom to choose the (complex) value of φ at the origi of complex time τ. Lyos 13 foud that there were may cotours i the complex time plae which iduced real edpoits a ad φ. Some possibilities are obtaied by choosig the iitial value of φ to have a imagiary part much smaller tha the real part such that φ Im 0 (1+2)π/6φ Re 0 (for iteger ). I this paper we will oly ivestigate the case = 0. For small a the complex metric ca effectively be cosidered as a small real Euclidea sectio, with φ 0 approximately real, described by φ φ 0 ad a 1 mφ 0 si mφ 0 τ (2.9) where τ is the Euclidea time. Whe we cosider gravitos below, it is a good approximatio to assume the followig behaviour for the radius a whe φ 0 > 1. For small a (< mφ 0 ) the backgroud is part of a Euclidea 4-sphere a 1 mφ 0 cosh η E < η E < 0. (2.10) The Euclidea coformal time is give by η E = dτ/a. Although η E has semi-ifiite rage otice that the proper distace is fiite. The radius a starts at zero ad icreases 15

16 to a maximum value of 1/mφ 0, the equator of the 4-sphere. For larger a, the saddle poit is well approximated by de Sitter space a 1 mφ 0 cos η where η is the aalytic cotiuatio of η E 0 < η < π 2 δ e (2.11) = iη. The uiverse is the i a iflatioary era. I terms of comovig time: φ φ 0 mt 3 ad a 1 mφ 0 e mφ 0t 1 6 m2 t 2 (2.12) where t is the aalytic cotiuatio of τ i the Loretzia regio. The actio is give by I e 1 ( 3m 2 φ 2 1 (1 m 2 φ 2 0 a2 ) 3/2). (2.13) 0 For large a ( 1/mφ 0 ), the saddle poit will have a large imagiary part. The wave fuctio will therefore be of WKB type. After a suitable coarse graiig, 14 we ca associate the phase of the wave fuctio to the Hamilto-Jacobi fuctio of geeral relativity. Whe this is possible we will assume that the uiverse behaves essetially classically. The wave fuctio will be associated to the family of classical Loretzia trajectories described by the Hamilto-Jacobi fuctio. Meawhile the scalar field is decreasig ad iflatio will ed at η = π/2 δ e whe the scalar field reaches a value aroud uity, at which poit the value of a will be a e (1/mφ 0 ) exp(3φ 2 0/2). δ e is give by the implicit relatio δ e exp( 3(φ 0 ) 2 /2). For φ 0 > 1, we have δ e 1. Whe η > π/2 δ e, the scalar field oscillates ad behaves essetially as a pressureless fluid (i.e. dust): φ 1 m (a max a 3 )1/2 cos(mt). (2.14) 16

17 The scale factor of the uiverse is the well described by a a m si 2 ( π/2 3δ e η ) 2 π 2 δ e < η (2.15) where the costats have bee chose to esure a smooth trasitio betwee the iflatioary ad dust era. The uiverse will therefore expad to a maximum radius a m m 2 a 3 e exp(9(φ 0 ) 2 /2)/m(φ 0 ) 3 ad recollapse. It will be coveiet later o to redefie the origi of coformal time durig the dust-like era by settig η d = η π/2 + 3δ e. The scale factor will the evolve as a a max si 2 η d 2 0 < η d < 2π (2.16) Figure 1 depicts a typical classical trajectory correspodig to the o-boudary proposal. 3) Ihomogeeous Perturbatios. Let us ow cosider the behaviour of small perturbatios aroud the the homogeeous model described i the previous sectio. We write the metric as g µν (t,x) = g µν (t) + δg µν (t,x). (3.1) The backgroud part g µν (t) was decribed i the previous sectio by the lie elemet (2.1). Oe ca decompose a geeral perturbatio δg µν of a Robertso-Walker backgroud metric ito scalar (Q lm ), vector ((P i) lm, (So,e i ) lm ) ad tesor ((P ij) lm, (So,e ij ) lm, (Go,e ij ) lm ) harmoics. This classificatio origiates from the way they trasform uder rotatios of the 3-sphere. These harmoics are costructed from the scalar, vector ad tesor eigefuctios of the Laplacia o the 3-sphere, viz. Q lm, (So,e i ) lm details ad properties of these harmoics are give i refs. [15,16]. 17 ad (Go,e ij ) lm. More

18 We ca expad the ihomogeeous perturbatios of the metric i terms of these harmoics (where the idex should be thought of as a shorthad for lm ad o, e). The tesor perturbatios are: δg (t) µν = ( ) a d G. (3.2) ij G ij are the trasverse traceless tesor harmoics. The vector perturbatios are: δg (v) µν = a 2 ( ) 0 j S i 2 j Si 2c Sij (3.3) where the S ij = S i j + S j i are obtaied from the trasverse vector harmoics S i. The scalar perturbatios of the δg (s) µν = a 2 ( 2N 2 0 g Q 6 k Pi ) k Pi 2a Ω ij Q + 6b Pij (3.4) where the P i = Q i /(2 1) ad P ij = Ω ijq /3 + Q ij /(2 1) are obtaied from the scalar harmoics Q. We must also take ito accout the scalar perturbatios of the scalar field: δφ = 1 6 f Q. (3.5) This expasio is i effect a Fourier trasform adapted to the symmetry of the FRW backgroud. The coefficiets a, b, c, d, f, g, j ad k are fuctios of time, but ot of the spatial coordiates of the three-sphere hypersurfaces. Spatial iformatio is ecoded i the harmoics. I [6] the actio (1.3) ad (1.4) was expaded to secod order aroud the homogeeous model. I appedix A, we have reproduced it with the equatios of motio for the various Fourier coefficiets. After examiig the perturbed Lagragias (A.2) ad (A.3) we fid that the differet types of harmoics decouple from each other. Their wave fuctios will 18

19 therefore separate so we ca write Ψ (a, φ, a, b, c, d, f ) = ψ s (a, φ, a, b, f )ψ v (a, φ, c )ψ t (a, φ, d ) (3.6) It is thus possible to ivestigate them separately. We will study the tesor ad scalar modes i the ext two subsectios. For the vector modes there are oly two variables c ad j. The latter oe however is a Lagrage multiplier ad thus iduces a costrait for the oly variable left. Thus we fid that the vector degrees of freedom are pure gauge ad will oly cotribute to the phase of the total wave fuctio. 3.1) Liear Gravitos. Liear gravitos are the trasverse ad traceless part of the 3-metric ad are described by the variables d i the above otatio. Usig the backgroud equatio of motio we ca derive the equatio 17 d + 2Hd + (2 1)d = 0. (3.7) for the modes d. Here the derivatives are with respect to Loretzia coformal time ad H = a /a. The gravitos are decoupled from the scalar ad vector-derived tesor harmoics ad deped oly o the behaviour of the backgroud. We will calculate the wave fuctio for the gravito modes usig a saddle-poit approximatio, assumig the backgroud wave fuctio (2.7) ad saddle-poit actio (2.13). The tesor part of the wave fuctio (see 3.6) ca be writte as ψ t (a, φ 0, d ) = [dd ]e (I E) Ce (Iext E ) (3.8) where C = (δ 2 (I ext E )/δdi δdf )1/2 is the prefactor assumig the flat spacetime measure. 19

20 The Euclidea actio for a mode d calculated alog a extremisig path is give by the boudary term I ext E = (a2 d d 2 + 2aa d 2 ) η f E η i E (3.9) where η E is the Euclidea time, a fuctio of the backgroud variables a ad ϕ 0 as described i [18]. It is possible to rewrite this actio i terms of values of the field o the boudary d i, df ad solutios of the classical equatio p d a 2 d p ( 2 1)a 2 p = 0 (3.10) dη E dη E evaluated o the boudary. The regularity coditio for the o-boudary proposal implies that d must vaish whe the 3-geometry shriks to zero ad this implies that the actio will have the form I ext E = Ad2 = a2 2 (p p + 4 a a )d2. (3.11) I regios of cofiguratio space where the uiverse is Loretzia, the appropriate aalytic cotiuatio of (3.11) should be take. It is possible to fid a good aalytical approximatio for p ad thus of the wave fuctio usig (3.8) ad (3.11) ad assumig that the backgroud is described by equatios (2.10), (2.11) ad (2.15). The p are approximately p (cosh η E sihη E )e η E, < ηe < 0, i the Euclidea regio; (cos η + i si η )e iη, 0 < η < π 2 δ e, i the iflatioary era; ( cos[(η 3π/2 + 3δe )] cos 2 [(η 3π/2 + 3δ e )/2] si[(η 3π/2 + 3δ e)/2] si[(η 3π/2 + 3δ e )] ) 2 cos 3 [(η 3π/2 + 3δ e )/2] π 2 δ e < η, i the dust like phase. 20 (3.12)

21 Modes with δ e 1 are those with wavelegths much larger tha the Hubble radius at the ed of iflatio. At the oset of iflatio they are i their groud state ad thus oscillate adiabatically. These modes will o loger oscillate adiabatically whe they leave the Hubble radius durig iflatio. However all modes will re-eter the Hubble radius durig the dust era whe ta[(η π/2 + 3δ e )/2] ad start oscillatig adiabatically agai. Modes with δ e 1 oscillate adiabatically throughout the evolutio. All the modes oscillate aroud the time of maximum expasio, ad eve if some do ot have a phase which is exactly time symmetric, their amplitudes are. The variace squared of the field ad its mometa for modes with δ e 1 aroud the time of maximum expasio are give by π 2 d = d 2 = 1 2(A + A) (1 + 2γ cos(2η) + γ2 ) 2a 2 (1 γ 2 ) A A 2(A + A) a2 (1 γ 2 ) 2 + 4γ 2 si 2 (2η) 2 (1 + 2γ cos(2η) + γ 2 )(1 γ 2 ) (3.13) (3.14) ad d π d + π d d = i(a A ) (A + A ) 4γ si(2η) (1 γ 2 ) (3.15) where γ = 1 2 δ 2 e/2. The expectatio value of the Hamiltoia H = 1 [ ] 2a 3 πd 2 +4(d π d +π d d )aπ a +d 2 [10a 2 πa 2 +6πφ 2 6a 6 m 2 φ 2 +( 2 +1)a 4 ] (3.16) is H at the oset of iflatio a a 2 δe 2 ear the maximum expasio. (3.17) This shows that modes start i their groud state before the oset of iflatio ad get excited durig iflatio ad the dust phase. 21

22 A useful way to gai iformatio about this state is to ivestigate the Wiger fuctio F( d, π ) = 1 2π d e 2i π ψ ( d )ψ( d + ). (3.18) The Wiger fuctio gives a idea of the phase space probability distributio of possible classical perturbatios (oce decoherece has occured). For the wave fuctio (3.8) with actio (3.11), it is give by F( d, π ) = A + A 2π exp ( 4AA A + A d A + A π2 A 2iA A + A d π ). (3.19) At the oset of iflatio the Wiger fuctio is a roud Gaussia (factorig out the mode umber ad the radius of the uiverse). A mode with < ta(π/2 δ e ) will go outside the Hubble radius ad have froze amplitude ad the Wiger fuctio will the become a ellipse elogated i the mometum directio. Whe the mode comes back withi the Hubble radius it starts rotatig with period 2π/ i phase space. This behaviour lasts util ta η i the recotractig phase. The parameter characterizig the eccetricity of this ellipse is called the squeezig ad has bee studied by Grishchuk & Sidorov 19. Typical classical perturbatios d cl resultig from the above Wiger fuctio are small at the oset of iflatio. Their amplitudes get froze whe they leave the Hubble radius. Durig this stage their eergies icrease. The perturbatios will start oscillatig agai with amplitude proportioal to a 1 whe they come back withi the Hubble radius i the dust phase. They behave like d cl si(η + ǫ) a 3/2 δ e (3.20) where ǫ is a uimportat phase depedig o the details of the matchig of the p fuctios i (3.12). Aroud the time of maximum expasio the amplitude of the gravito 22

23 modes is symmetric ad thus their arrow of time agrees with the cosmological oe. Figure 2 depicts a typical classical evolutio of a liear gravito. 3.2) Liear Scalar Perturbatios. (a) Quatum Mechaics of the Physical Degree of Freedom We have see that gravitos are adiabatic ear the time of maximum expasio so that their amplitude is time symmetric with respect to that poit. This is ot special to gravitos as the electromagetic field, massless or coformally coupled scalar fields will also be adiabatic. I this sectio we will show however that perturbatios of massive scalar field will ot behave adiabatically at the time of maximum expasio. From the expasio (3.4) ad (3.5) we see that there are five scalar degrees of freedom described by the time-depedet coefficiets a, b, f, k ad g. However the latter two appear as Lagrage multipliers i the Lagragias (A.2), (A.3) ad iduce two costraits so overall there is oly oe true scalar degree of freedom. Without the presece of the scalar field the scalar degrees of freedom would also be pure gauge. Care should be take i the treatmet of the scalar perturbatios i order to avoid gauge depedet results. Let us first fid the real degree of freedom. Variatios of the actio with respect to the Lagrage multipliers N, g ad k result i the Hamiltoia, liear Hamiltoia ad mometum costraits. I Dirac quatizatio, which we follow here, these costraits are imposed as costraits o the quatum state. The wave fuctio therefore depeds oly o a liear combiatio of the coffeciets a, b 23

24 ad f. The mometum costraits esures that the wavefuctio is ivariat uder diffeomorphisms of the spatial three-surfaces. The Hamiltoia ad liear Hamiltoia costraits esure time reparametrizatio ivariace of the wave fuctio. Shirai ad Wada 20 give a explicit form for the wave fuctio which automatically satisifies the mometum costraits. These are solved by makig the judicious chage of variables α = α + 1 a φ = φ 3 b f. ( 2 4) ( 2 1) b2 (3.21) where α = l a. Oce this trasformatio has bee performed, the mometum costraits imply that the wave fuctio is idepedet of the liear combiatio a b. I terms of the two degrees of freedom left, the liear Hamiltoia costrait becomes π φ π f π α π s + e 6α m 2 φf + K s = 0 (3.22) where s = a +b ad K = 1 3 [(2 4)π 2 α ( 2 +5)π 2 φ (2 4)e 6α m 2 φ 2 ]. The remaiig gauge degree of freedom ca be elimiated by solvig the liear Hamiltoia costrait usig the caoical trasformatio ( y z ( πs π f ) ( K e = 6α m 2 φ ) = π φ π α )( s f ) ( ) ( K π φ πy y Σ e 6α m 2 φ π α π z ) (3.23) where Σ = K π α + e 6α m 2 φπ φ. The liear Hamiltoia costrait the implies that, imposed as a quatum costrait, π y Ψ(y, z ) = 0 (3.24) 24

25 ad so Ψ is idepedet of y. Therefore the true degree of freedom has bee isolated - the wave fuctio is foud to deped oly o the sigle physical variable z = π φ s + π α f = a 2 (φ s Hf ) (3.25) ad o the backgroud variables ã ad φ (i the rest of the paper we will drop the tilde o a ad φ). The expressio for the Hamiltoia for the modes z is rather complicated ad is show oly i Appedix A. We ca fid the the wave fuctio for the scalar perturbatios i terms of the real degree of freedom by usig the semiclassical approximatio to the path itegral expressio for the wave fuctio as i the gravito case ψ s (a, φ, z ) C(a, φ) exp( I cl E ) (3.26) The Euclidea actio of the saddlepoit cotributio to the path itegral is a boudary term (sice the actio is quadratic) give by I cl = (Mz z Nz2 ) ηf E η i E (3.27) for ( 2 4) M = 2[( 2 4)a 2 + 3a 2 φ 2 ] 1 [ N = 4MUa 3 K (2a 4 3a 6 m 2 φ (2 1) ] ( 2 4) a4 φ 2 ) + a 12 m 4 φ 2 + 3a 9 φφ a U = K aa + a 8 m 2 φφ ad the derivatives here are with respect to Euclidea coformal time. It is difficult to fid solutios of the equatio for z. It is easier to retur to the origial variables ad pick a particular gauge. I order to study the scalar perturbatios 25

26 we shall choose the gauge b = k = 0, which is kow as the logitudial gauge. Oce the result has bee obtaied i this gauge it will be easy to recast it i terms of the true degree of freedom z ad therefore i a gauge ivariat way. Alteratively, we could use the gauge ivariat variables of Bardee. 21 Their relatioship with the formalism used here is described i appedix B. I the b = k = 0 gauge we have the equatios of motio (i Loretzia time) a + 3Ha + (3m2 φ 2 a 2 2)a = 3(m 2 φa 2 f φ f ) (3.28) f + 2Hf + ( m 2 a 2 )f = 2m 2 φa 2 a 4φ a (3.29) ad the costraits a + Ha = 3φ f (3.30) a ( 2 4 3φ 2 ) = 3φ f + 3m 2 φa 2 f + 9Hφ f. (3.31) Equatios ( ) are just (A.7), (A.11), (A.8), otig that g = a i this gauge. The last equatio follows from (A.14), (3.30) ad the backgroud costrait. These equatios are ot idepedet, the first oe ca be obtaied by takig a derivative of the first costrait ad usig the secod equatio ad the backgroud equatio of motio. Equatios (3.28), (3.30) ad (3.31) ca be combied to give the decoupled equatio of motio for a : a + 2(H φ φ )a + (2H 2H φ φ )a = 0 (3.32) This equatio is useful i the iflatioary era where φ 0. It is also useful i the limit where the curvature of the 3-space ca be eglected as we ca solve it explicitly i either the adiabatic or o-adiabatic regime (see [22]). Oce we have a solutio for a, we ca also fid f usig the costrait equatios (3.30) or (3.31), ad therefore the real degree of 26

27 freedom z. I the regio ear the maximum expasio it is much harder to solve (3.32) ad we retur to ( ). (b) No Boudary Proposal Mode Fuctio Let us ow costruct the solutios of ( ) selected by the o boudary proposal. We focus oly o modes which go outside the Hubble radius durig iflatio. These are the oes which get excited by the varyig gravitatioal field. The very high frequecy modes remai adiabatic throughout the history of the uiverse, so their arrows of time will agree with the cosmological oe. As i the gravito case we divide the backgroud saddle-poit 4-geometry ito a approximately Euclidea sectio, followed by a iflatioary oe which fially turs ito dust. We have however to take ito accout the detailed behaviour of the backgroud scalar field φ as it couples directly to the perturbatios. We first fid the regular Euclidea solutios ad match them up to the oes i the iflatioary phase. This ca be doe by aalytic cotiuatio. I the iflatioary era the modes oscillate for a while util they leave the Hubble radius. At that poit we match them to oadiabatic solutios. Fially, the iflatioary era comes to a ed whe φ becomes small ad starts oscillatig, behavig like a dust backgroud. At this poit we match o the solutios for the dustlike phase. It turs out that for the Euclidea ad iflatioary solutios the right had terms i (3.29) are egligible. We ca solve for the scalar field modes f ad calculate a from a itegral versio of the costrait (3.30) ad check that this agrees with the approximate solutios of (3.32). If these terms were egligible durig the whole of the dust era the modes would oscilllate adiabatically aroud the maximum expasio as i the gravito case. However we show that these terms do cotribute to a mootoically 27

28 icreasig amplitude of the scalar field perturbatios aroud maximum expasio. The o boudary proposal requires that the matter fields i the path itegral be regular, so i the semiclassical approximatio we look for solutios to the Euclidea perturbatio equatios which are regular as τ 0. The regularity coditio requires that f ad a vaish as τ 0. For 1, the domiat terms of equatio (3.32) are the secod derivative of a ad 2 times a ad oe ca costruct a WKB solutio. The approximate Euclidea solutio selected by the o boudary proposal is a A φ a eη E, f A 3 e η E a (3.33) for some complex costat A. Here, the coformal time η E = 0 correspods to the jucture of Euclidea ad Loretzia spacetimes. Cotiuig the regular Euclidea solutio ito the Loretzia sectio, takig η E iη, gives a 1 3 imaeiη f A 3 e iη a (3.34) where we have used φ /a = im/3 durig iflatio (dash ow deotes Loretzia time derivative). The aalytical cotiuatio holds ito the iflatioary era as log as the wavelegth is smaller tha the Hubble radius, i.e. H. By this time iflatio has begu ad we ca match oto the iflatioary solutios. Whe the modes move outside the Hubble radius the modes a ad f stop oscillatig. They both have decayig ad growig modes (the latter would be costat i the limit of exact de Sitter space). As the uiverse iflates oly the slowly growig mode remais 22 so that a D φ 2 f D φ (3.35) where D = 1 3 miaeiη H (φ 2 H + iφ H ma H ) is a costat depedig o the detailed matchig of the modes whe they cross the Hubble radius at the time η H. This solutio is valid util 28

29 the backgroud scalar field decrease to φ 1. Figure 3 depicts the behaviour of a durig iflatio ad the begiig of the dust phase. Evetually iflatio eds ad the backgroud scalar field begis to oscillate. We expect that the the backgroud will behave effectively as a dust-filled uiverse (see equatio (2.16)) for perturbatio modes with physical wavelegths much larger tha the scalar field compto wavelegth ( ma) sice the pressure of the oscillatig scalar field averages to zero over that wavelegth scale. Therefore the metric perturbatios will behave like those of a pure dust uiverse (see, e.g. [22]). This is ideed what is foud below. Durig iflatio the Hubble radius H 1 is roughly costat but as the uiverse evolves i the dust era the Hubble radius starts growig. Whe it becomes larger tha the compto wavelegth 1/ma, the domiat term i (3.29) is m 2 a 2. The perturbatio of the scalar field will start oscillatig agai. I this early stage of the dust era whe the curvature of the 3-surface is egligible it ca be show that the f oscillate exactly i phase with φ as follows: f φ a dηaa. (3.36) This will remai true i later stages of the dust era as log as < ma e. This coditio esures that the phase of f obtaied by itegratig (3.29) does ot differ appreciably from that of φ. Usig (3.36) together with (3.30) we ca establish that the metric perturbatio a, time averaged over oe oscillatio period of π/m, is growig. The small oscillatios aroud this average arise because the backgroud eergy mometum tesor is ot exactly that of dust but that of a oscillatig scalar field. The averaged gravitatioal perturbatio a A ca be calculated by takig the derivative of the averaged versio of (3.30) to obtai 29

30 the differetial equatio a A + 3Ha A 2a A = 0. (3.37) The geeral solutio is a liear combiatio of the solutios a ati si η d (1 cos η d ) 3 (3.38) ad a sym 2 si2 η d 6(η d π) siη d 8 cosη d + 8 (1 cos η d ) 3. (3.39) The coformal time is defied with the ew origi at the begiig of the dust phase (η d 0). These solutios are atisymmetric ad symmetric with respect to the maximum of expasio (η d = π) ad are the same solutios foud for perturbatios i a pressureless perfect fluid uiverse, as expected. Both solutios diverge like η 5 d i the begiig of the dust era as η d 0. There is however a regular solutio, give by a reg := a symm 6πa ati, which approaches a costat i this limit. At the ed of iflatio the a picked out by the o boudary proposal are small as see from (3.35). Therefore the regular solutio is the oe selected by the o boudary proposal ad this is asymmetric i the dust era: the perturbatio amplitude steadily icreases with time. Matchig the solutios for the dust era to (3.35) shows that durig the dust era a Da reg (3.40) We ca ow use (3.36) to see that f is oscillatig with mootoically icreasig amplitude throughout the dust era: Dφ f (1 cos η d ) 2[4η d 6 siη d + 2η d cos η d ] (3.41) 30

31 With these solutios we ca costruct the wave fuctio (3.26). Whe the backgroud saddle-poit is approximatively Loretzia, the o-boudary wave fuctio for the scalar perturbatio is ( ) ψ s (z ) C(a, φ) exp i M( µ ) + N(a, φ) z 2 µ. (3.42) where M is give i (3.27) ad µ is the modefuctio for z. It is a solutio of the equatio of motio for z picked out by the o-boudary proposal. It is explicitly give by the fuctio a ad f usig (3.25) with z replaced by µ. From the solutio of a ad f we ca see that it is clearly asymmetric about the time of maximum expasio. Cosiderig poits placed symmetrically about the maximum of expasio, the backgroud will be the same at both poits so that the asymmetry i the modefuctio maifests itself as a asymmetry i the wavefuctio. The variace of z is proportioal to the modulus of µ ad is therefore asymmetric with respect to the time of maximum expasio. We therefore coclude that the wavefuctio predicts the cotiuig growth of low frequecy scalar perturbatios eve whe the uiverse begis to recollapse. This result aloe provides a time asymmetry so log as the modes stay i a regime where they ca be treated i a liear approximatio. However, most modes will also eter a oliear regime well before the maximum expasio occurs. Whe this occurs the iteractio terms i the Hamiltoia will become importat ad hece the coarse-graied etropy will icrease throughout the evolutio. Cosiderig the stress tesor i the gauge-ivariat formalism (see e.g. [22 ]), we ca show that the desity cotrast is δρ ρ 2a 3a m [( 2 4)a 9Hφ f ] (3.43) 31

32 Modes will cross the horizo (H ) whe η d 1/, ad the recet COBE results 5 idicate that the desity cotrast at this time is of order Usig equatios (3.40) ad (3.41) i (3.43), we fid that the costat D is of order At later times, oly the first term i (3.43) is importat ad we fid that the desity cotrast behaves like δρ ρ η 2 d (3.44) Cosequetly, whe the desity cotrast is of order uity we expect oliearity to be the domiat feature ad this occurs for ηd / 2. Modes with 1000 will therefore eter a oliear phase before they reach the maximum ad the coarse-graied etropy for these modes will grow. 4) Coclusio. I this paper we have ivestigated the cosequeces of the o-boudary proposal for the arrow of time. I particular we have ivestigated the behaviour of small metric ad matter perturbatios aroud a homogeeous isotropic backgroud. The o-boudary proposal predicts classical evolutio with a iflatioary era followed by a dustlike era. We foud that perturbatio modes are i their groud state at the begiig of the iflatioary era. This ca be iterpreted as a statemet that the uiverse is bor i a low etropy state. Modes which leave the Hubble radius durig iflatio become excited the subsequetly evolve i various ways i the dustlike era. We fid that gravitos oscillate adiabatically for most of the dustlike era ad cosequetly the amplitude of their oscillatios is time symmetric with respect to the poit of maximum scale factor. However, lookig at the physical scalar degrees of freedom we fid that those which have bee excited by superadiabatic amplificatio durig iflatio have 32

33 a time asymmetric evolutio with respect to the maximum. I particular, the variace of the scalar modes predicted by the wavefuctio is differet at the same value of the scale factor before ad after the maximum. Thus we fid that the wavefuctio of the uiverse distiguishes betwee symmetrically placed poits o either side of maximum volume. The expadig phase has a smaller amplitude of the variace i the low frequecy scalar modes tha does the correspodig poit durig the collapsig phase. I other words, the thermodyamic arrow coicides with the cosmological arrow before the maximum, but poits i the opposite directio after the maximum. This is true for all the lowest frequecy modes, so that they iduce a well-defied thermodyamic arrow of time. Amogst the modes which display this oadiabatic behaviour, higher frequecy modes will eter a oliear regime durig the expasio ad cosequetly produce a growig coarse-graied etropy throughout expasio ad recotractio, ad hece also create a thermodyamic arrow of time. Ackowledgmets. We would like to thak Nathalie Deruelle ad Carste Gudlach for useful coversatios. R.L. ackowledges Peterhouse,Cambridge, for fiacial support. G.W.L. ackowledges the Sciece ad Egieerig Research Coucil for supportig this work. Appedix A) Actio ad field equatios. I this appedix we reproduce the actio ad field equatios of the perturbed FRW model drive by a massive miimally coupled scalar field from ref.[6]. The homogeeous part of the Eistei-Hilbert Lagragia is L 0 = 1 2 N 0a 3 ȧ 2 [ N 2 a 2 1 a 2 φ 2 N 2 + m2 φ 2 ] (A.1) 33

34 The secod order perturbatio of the Eistei Hilbert Lagragia is L g = 1/2aN 0 { 1 3 (2 5 2 )a2 + (2 7) 2 4) 3 ( 2 1) b2 2(2 4)c 2 (2 +1)d (2 4)a b g [( 2 4)b + ( 2 + 1/2)a ] + 1 [ N0 2 1 ] } 3( 2 1) k2 + ( 2 4)j 2 { +1/2 a3 ȧ 2 N + (2 4) 1)ḃ2 0 ( 2 + (2 4)ċ 2 + d 2 + g [2ȧ + ȧ2 aȧ a 2(3a g )] [ +ȧ 2a ȧ + 8 (2 4) ] a ( 2 1) b ḃ + 8( 2 4)c ċ + 8d d +ȧ2 [ 3 a 2 2 a2 + 4) ] 6(2 ( 2 1) b2 + 6(2 4)c 2 + 6d2 + 1 a[ 2 3 k { ȧ (2 4) ( 2 + ȧ } ] } 1)ḃ a g 2( 2 4)ċ j (A.2) The perturbatio of the matter Lagragia gives: L m = 1/2N 0a 3 { 1 N ( f 2 + 6a f φ) m 2 (f 2 + 6a f φ) 1 a 2 (2 1)f 2 + φ 2 N0 2 g 2 [ φ2 N 2 0 m 2 φ 2][ a 2 4) ] 4(2 ( 2 1) b2 4(2 4)c 2 4d2 g [ 2m 2 f φ + 3m 2 a φ f φ N a φ } 2 ] N an0 2 k f φ. (A.3) The field equatios ecessary to calculate the saddle poit approximatio are give below. From (A.1) we fid the equatios obeyed by the homogeeous backgroud fields. The homogeeous scalar field ϕ 0 obeys d [ 1 dϕ ] 0 N da dϕ 0 dt N 0 dt adt dt + N 0m 2 ϕ 0 = quadratic terms, (A.4) 34

35 ad the scale factor a obeys d [ 1 da ] N ϕ 2 0 N2 0 dt N 0 a dt a 2 3 ( ȧ2 2 a 2 + ϕ2 0 N2 0 a 2 + N2 0m 2 φ 2 ) = quadratic terms, (A.5) The backgroud variables a, ϕ 0 ad their mometa are subject to the costrait ȧ2 a 2 N0 2 + ϕ 0 N a + 2 m2 ϕ 2 0 = quadratic terms. (A.6) Let us ow tur to the equatio of motio of the small ihomogeeities. Variatios with respect to a, b, c, d ad f give the followig secod order field equatios: d [ a 3 da ] N dt N 0 dt 3 (2 4)N0a(a 2 + b ) + 3a 3 ( ϕ 0 f N0m 2 2 ϕ 0 f ) d [ a 3 db ] N 0 dt N 0 dt = N0[3a 2 3 m 2 ϕ (2 + 2)a]g + a 2 ȧġ 1 3 N d [ a 2 k ] 0, (A.7) dt N (2 1)N0 2 a(a + b ) = 1 3 N2 0 (2 1)ag N d 0 dt [ a 2 k ], (A.8) N 0 d [ a 3 dc ] N 0 = d [ a 2 j ], (A.9) dt N 0 dt dt N 0 d [ a 3 d d ] N 0 + ( 2 1)N0 2 dt N 0 dt ad = 0, (A.10) ad d [ a 3 df ] N 0 + 3a 3 ϕ 0 ȧ + N 2 dt N 0 dt 0[m 2 a 3 + ( 2 1)a]f = a 3 ( 2N 2 0m 2 ϕ 0 g + ϕ 0 ġ ϕ 0k a ). (A.11) Variatios with respect to k, j ad g lead to the costraits ȧ + (2 4) ( 2 1)ḃ + 3f ϕ 0 = ȧg a k a( 2 1), (A.12) 35