Docstoc

dN formalism

Document Sample
dN formalism Powered By Docstoc
					                           7 January 2008
                        Taitung Winter School



N formalism for curvature
perturbations from inflation


         Misao Sasaki
     Yukawa Institute (YITP)
        Kyoto University
1. Introduction

2. Linear perturbation theory
   • metric perturbation & time slicing
   • N formalism

3. Nonlinear extension on superhorizon scales
   • gradient expansion, conservation law
   • local Friedmann equation

4. Nonlinear DN formula
   • DN for slowroll inflation
   • diagrammatic method for DN

5. Summary
1. Introduction
  Standard (single-field, slowroll) inflation predicts scale-
  invariant Gaussian curvature perturbations.




  CMB (WMAP) is consistent with the prediction.
  Linear perturbation theory seems to be valid.
 So, why bother doing more on theoretical models?
 Because observational data does not exclude other models.
 Tensor perturbations have not been detected yet.
       T/S ~ 0.2 - 0.3? or smaller?

 Inflation may not be so simple.
    multi-field, non-slowroll, extra-dim’s, string theory…

 future CMB experiments may detect non-Gaussianity
         Y=Ygauss+ fNLY2gauss+ ∙∙∙ ;   |fNL| ≳ 5?

 Pre-bigbang, ekpyrotic, bouncing,....?

Need to know the dynamics on super-horizon scales
2. Linear perturbation theory
                         Bardeen ‘80, Mukhanov ‘81, Kodama & MS ‘84, ….

  metric on a spatially flat background              (g0j=0 for simplicity)

       ds2 =  1  2 A  dt 2  a2  t  (1  2R) ij  Hij  dx i dx j
                                                             
S(t+dt)                                     H ij scalar     = i  j E

                                            H 
                          d
S(t)                                            ij            = transverse-traceless
                                                     tensor

                xi = const.
  • propertime along xi = const.:        d = (1  A)dt
                                                     (3)
                                                          4 (3)
  • curvature perturbation on S(t): R                 R= 2 DR
                                                         a
                                                            1 (3) 
  • expansion (Hubble parameter): H = H  1  A    t  R  D E 
                                  %
                                                            3     
  Choice of time-slicing
• comoving slicing                      
                          T  i = 0  = t  for a scalar field       
  matter-based slices
• uniform density slicing T 00   =  t 

• uniform Hubble slicing
                                                  1 (3) 
                    H = H t 
                    %              H A  t  R  D E  = 0
 geometrical slices                               3     
• flat slicing
                    (3)
                          4 (3)
                    R =  2 D R=0  R = 0
                         a
• Newton (shear-free) slicing
           scalar                 1 ( 3) 
 t  H ij 
                       i  j   ij D   t E = 0   t E = 0  E = 0
             traceless
                                  3       
   comoving = uniform  = uniform H on superhorizon scales
    N formalism in linear theory                                                    MS & Stewart ’96

   e-folding number perturbation between S(t) and S(tfin):
     N  t ;tfin   
                            t
                             tfin
                                    H d 
                                    %
                                              t
                                                   tfin
                                                          H d      background
                                                                              tfin
                 tfin           1    
                                     ( 3)
                                                 1                  ( 3)                dep only on
            =           t  R  D E  dt =  R  D E                                   ini and fin t
             t
                                3              3    t

                                                                                         S (tfin), R(tfin)
S0 (tfin)
                          N(t,tfin)                N0 (t,tfin)
S0 (t)
                                                                                         S (t), R(t)
                                            xi =const.

   N=O(k2) if both S(t) and S(tfin) are chosen to be ‘flat’ (R=0).
Choose S(t) = flat (R=0) and S(tfin) = comoving:

                                                         S(tfin), RC(tfin)


                                                         S(t), R(t)=0
                                       xi =const.
      N t;tfin  = R Ctfin  on superhorizon scales
                         curvature perturbation on comoving slice
                                         (suffix ‘C’ for comoving)
         The gauge-invariant variable ‘z’ used in the literature
      is related to RC as z = -RC or z = RC on superhorizon scales


         By definition, Nt; tfin) is t-independent
Example: slow-roll inflation
• single-field inflation, no extra degree of freedom

 RC becomes constant soon after horizon-crossing (t=th):
                  N th ;tfin  = R Ctfin  = R Cth 
     log L




                                    L=H-1

                     inflation
                                                           log a
          t=th                                    t=tfin
Also N = H(th) tF→C , where tF→C is the time difference
      between the comoving and flat slices at t=th.

                    SC(th) : comoving            =0, R=RC
        tF→C
                                                  R=0, =F
                  SF(th) : flat

  F th   tFC , x i  = C th    F   th  tFC = 0
                                              &

                                          H
   R C tfin  =  N  t h ;tfin  =           F t h   dN = Hdt
                                        d / dt
                       dN
                    =         F  t h  ··· N formula
                       d                           Starobinsky ‘85

    Only the knowledge of the background evolution
              is necessary to calculate RC(tfin) .
•  N for a multi-component scalar:
      (for slowroll-type inflation)
                               N a
         R C tfin  =  N =  a F  th                          MS & Stewart ’96
                             a 


      N.B. RC (=z) is no longer constant in time:
                                      F
                                     &
                   RC  t  =  H          2         ··· time varying even on
                                      &                 superhorizon scales

                                                                    H 2 th           N
                   tfin 
               2                       2             2          2
          RC                 = N              F       = N                    a N  a
                                                                     2 
                                                                             2
                                                                                       
  Further extension to non-slowroll case is possible, if
  general slow-roll condition is satisfied at horizon-crossing.
                                        Lee, MS, Stewart, Tanaka & Yokoyama ‘05
           2
            &             &
                           &           &
                                       &&
                = O   , &= O   , 2 & O   , ...,  = 1
                                          =
           2H 2
                          H          H
3. Nonlinear extension
 • On superhorizon scales, gradient expansion is valid:
                              
                      Q            Q     HQ ; H           G
          x      i
                              t
                          Belinski et al. ’70, Tomita ’72, Salopek & Bond ’90, …
     This is a consequence of causality:
                                         L »H-1


 light cone                                                         H-1


 • At lowest order, no signal propagates in spatial directions.

              Field equations reduce to ODE’s
metric on superhorizon scales
• gradient expansion:
         i    i ,  = expansion parameter
• metric:
                         %                
  ds 2 = N 2dt 2  e 2  ij dx i   i dt dx j   j dt   
       det  ij = 1,
           %            i = O  
                            the only non-trivial assumption
        contains GW (~ tensor) modes

    t , x i  = ln a t   t , x i ;  : curvature perturbation
                                         e.g., choose  (t* ,0) = 0
            fiducial `background’
• Energy momentum tensor:
                                   
   T  =  u  u  p g   u  u ;   u  T  = 0
         d                                     t
      
         d
               u    p  = 0 ;  u = 3
                                        

                                               N
                                                    O 2  
                         ui
     assumption: v  0 = O   
                     i
                                           u – n = O ()
                         u
              (absence of vorticity mode)         u n
• Local Hubble parameter:
    H% 1  n  = 1  u  O  2   
                                                           t=const.
         3        3
               n dx  = N dt  normal to t = const.
  At leading order, local Hubble parameter on any slicing is
  equivalent to expansion rate of matter flow.
                                 ~
     So, hereafter, we redefine H to be H% 1  u
                                               
                                             3
Local Friedmann equation
    %2 (t , x i ) = 8 G  (t , x i )  O( 2 )           % =  t
                                                          H
    H                                                          N
                      3
                          xi : comoving (Lagrangean) coordinates.
     d
          3H    p  = 0
             %
     d
                    d = N dt : proper time along matter flow
exactly the same as the background equations.
                 “separate universe”
uniform  slice = uniform Hubble slice = comoving slice
                    as in the case of linear theory

no modifications/backreaction due to super-Hubble
perturbations.                      cf. Hirata & Seljak ‘05
                                                  Noh & Hwang ‘05
4. Nonlinear DN formula
  energy conservation:
            (applicable to each independent matter component)
     t                        a      
             O   = t =    t  =  H N  O  2 
                  2
                                 &            %
  3   p                     a      
  e-folding number:
                    
     N t 2 , t1 ; x   H %N dt =  1 t2 t  dt
                         t2

                                    3 t1   P xi
                 i
                       t1

      where xi=const. is a comoving worldline.
 This definition applies to any choice of time-slicing.

            t2 , x i   t1 , x i  = DN t2 ,t1 ; x i 
     where
                                                     a(t2 ) 
          DN  t2 ,t1 ; x   N  t2 ,t1 ; x   ln 
                         i                  i
                                                             
                                                     a(t1 ) 
 DN - formula                    Lyth & Wands ‘03, Malik, Lyth & MS ‘04,
                                 Lyth & Rodriguez ‘05, Langlois & Vernizzi ‘05
Let us take slicing such that S(t) is flat at t = t1 [ SF (t1) ]
and uniform density/uniform H/comoving at t = t2 [ SC (t1) ] :
       ( ‘flat’ slice: S (t) on which  = 0 ↔ e = a(t) )

                              SC(t2) : uniform density        (t2)=const.
                                                                      
      N (t2,t1   ;xi)                                                 
                                                                      


                             SC(t1) : uniform density         (t1)=const.
               DNF
                                                               (t1)=0
                           SF (t1) : flat
       N (t 2 , t1 ; x i ) = N 0 (t 2 , t1 )  DN F
                            a(t2 ) 
       N 0 (t2 , t1 ) = ln          between SC (t1 ) and SC (t2 )
                            a(t1 ) 
  Then
             DN F =  t2 , x i   t1 , x i  =  C t2 , x i 

                        suffix C for comoving/uniform /uniform H
  where DNF is equal to e-folding number from SF(t1) to SC(t1):

                1 SC ( t 2 )  t        1 SC (t2 ) t 
        DN F =                     dt                 dt
                3 SF (t1 )   P x i     3 SC (t1 )   P
                              1 SC (t1 ) t 
                            =                    dt
                              3 SF (t1 )   P x i

  For slow-roll inflation in linear theory, this reduces to
                                                             N a 
 C (t2 )  R C (t2 ) =  N t1 ;t2  = H t1  t F C   =  a  F  (t1 )
                                                             a     
Conserved nonlinear curvature perturbation
                           Lyth & Wands ’03, Rigopoulos & Shellard ’03, ...
 For adiabatic case (P=P() ,or single-field slow-roll inflation),
                    1 t2  t 
                
  N t 2 , t1 ; x =  
             i

                    3 t1   P (  )
                                     dt

           1  ( t2 , x i ) d                                           a(t2 ) 
         =                            =  (t2 , x )  (t1 , x )  ln 
                                                   i            i
                                                                                 
           3  ( t1 , x i )   P (  )
                                                                         a(t1 ) 

                               1  (t ,x i ) d 
   NL ( x i )   (t , x i )                           ···slice-independent
                               3  (t )   P (  )
                                                             Lyth, Malik & MS ‘04

non-linear generalization of ‘gauge’-invariant quantity z or Rc
         •  and  can be evaluated on any time slice
         • applicable to each decoupled matter component
Example: curvaton model                      Lyth & Wands ’02
                                             Moroi & Takahashi ‘02
2-field model: inflaton () + curvaton ()
                   1 2 2                          8 GV
       V = V ( )  m             m2
                                              H 
                                                2

                   2                                3
 • During inflation  dominates.
 • After inflation,  begins to dominate (if it does not decay).
           =  a-4 and   a-3, hence  /  a

       
           
           
                           t

 • final curvature pert amplitude depends on when  decays.
• Before curvaton decay
             1      (t , xi )                               1     (t , xi ) 
    z  =   ln                                      z  =   ln 
                   (t ) 
             3                                                     (t ) 
                                                                4                
                                                                                  
                                               3(z   )            4(z   )
          (t , xi )   (t , xi ) =   e                   e

• On uniform total density slices,  = z
                                                3(z  z )             4(z  z )
         (t , x )   (t , x ) =   e
                i                 i
                                                                e                  =    
                                           (  A  PA )z A
                nonlinear version of z = 
                                         A      P
• With sudden decay approx, final curvature pert amp z
  is determined by

  1    e
          
                    4(z  z )
                                   e
                                          3(z  z )
                                                         =1      MS, Valiviita & Wands ‘06

         : density fraction of  at the moment of its decay
 DN for ‘slowroll’ inflation
                            MS & Tanaka ’98, Lyth & Rodriguez ‘05
• In slowroll inflation, all decaying mode solutions of the
  (multi-component) inflaton field  die out.
• If the value of  determines H uniquely (such as in the
  slowroll case) when the scale of our interest leaves the
  horizon, N is only a function of  , no matter how
  complicated the subsequent evolution would be.
• Nonlinear DN for multi-component inflation :
          DN = N  A   A   N  A 
               1        n N
            =                      A1 A2    A
                                                   n

             n n !        An
                     A1  A2


  where  =F (on flat slice) at horizon-crossing.
(F may contain non-gaussianity from subhorizon interactions)
                                                 cf. Weinberg ’05, ...
 Diagrammatic method for nonlinear D N
                                                       Byrnes, Koyama, MS & Wands ‘07
                 N A1A2                                                              Dn N
z = DN =                       A  A        A ;                     
                          An
                                   1   2           n
                                                            N A1A2
                                                                               A1  A2      An
                                                                     An
             n      n!
 ‘basic’ 2-pt function:  A ( x ) B ( y) = h AB ( ) G0 ( x  y)
                                                                          field space metric
       is assumed to be Gaussian
      for non-Gaussian , there will be basic n-pt functions

• connected n-pt function of z:
  2-pt function
                                                      1
    z ( x )z ( y) c = N A N AG0 ( x  y)               N AB N AB G0 ( x  y)2
                                                     2!
                                                    1
     x                y                             N ABC N ABC G0 ( x  y)3 L
         A       A                                  3!
                 1   A                     A            1   A                    A
         +          x                          y   +       x
                                                        3! BC
                                                                                  y         + ···
                 2! B                      B                                     BC
3-pt function

  z ( x )z ( y)z ( z ) c = N A N AB N BG0 ( x  y)G0 ( y  z )  perm.
                            N AB N BC N CAG0 ( x  y)G0 ( y  z )G0 ( z  x )
                            1 A
                            N N ABC N BC G0 ( x  y)2 G0 ( y  z )  perm.
                            2!
                           L
           x                                                       x
       A                                                          A C
                                                       1
       A
                        + perm.          +     2! x           A         C
       y               z                               2! y               z
           B       B                                          B         B
                                     x
                               A
                       1
               +           A              z
                                              + perm.           + ···
                       2! y
                            BC           BC
8. Summary
 Superhorizon scale perturbations can never affect local
 (horizon-size) dynamics, hence never cause backreaction.
   nonlinearity on superhorizon scales are always local.
   However, nonlocal nonlinearity (non-Gaussianity) may
   appear due to quantum interactions on subhorizon scales.
                                      cf. Weinberg ‘06

 There exists a nonlinear generalization of  N formula which
 is useful in evaluating non-Gaussianity from inflation.
   diagrammatic method can by systematically applied.

				
DOCUMENT INFO
Shared By:
Categories:
Tags:
Stats:
views:0
posted:5/12/2013
language:English
pages:25