School of Physics and Astronomy, Sun Yat-sen University, Guangzhou 510275, China Received Date:2019-04-15 Available Online:2019-07-01 Abstract:We investigate primordial perturbations and non-gaussianities in the Ho?ava-Lifshitz theory of gravitation. In the UV limit, the scalar perturbation in the Ho?ava theory is naturally scale-invariant, ignoring the details of the expansion of the Universe. One may thus relax the exponential inflation and the slow-roll conditions for the inflaton field. As a result, it is possible that the primordial non-gaussianities, which are " slow-roll suppressed” in the standard scenarios, become large. We calculate the non-gaussianities from the bispectrum of the perturbation and find that the equilateral-type non-gaussianity is of the order of unity, while the local-type non-gaussianity remains small, as in the usual single-field slow-roll inflation model in general relativity. Our result is a new constraint on Ho?ava-Lifshitz gravity.
HTML
--> --> -->
1.IntroductionA renormalizable theory of gravity was proposed by Ho?ava [1-3]. This theory reduces to Einstein's general relativity (GR) for large scales, and may be a candidate for the UV completion of general relativity. This theory is renormalizable in the sense that the effective coupling constant is dimensionless in UV. The essential point of this theory is the anisotropic scaling of temporal and spatial coordinates with dynamical critical exponent z,
In $ 3+1 $ spacetime dimension, the Ho?ava theory has an ultraviolet fixed point with $ z = 3 $. Since the Ho?ava theory is analogue to the scalar-field model studied by Lifshitz, in which the full Lorentz symmetry emerges only at the IR fixed point, the Ho?ava theory is also called the Ho?ava-Lifshitz theory. Because of this anisotropic scaling, time plays a privileged role in the Ho?ava theory. In other words, spacetime has a codimension-one foliation structure, which leaves the foliation hypersurfaces of constant time. Thus, contrary to GR, full diffeomorphism invariance is abandoned, and only a subset (of the form of local Galilean invariance) is kept. More precisely, the theory is invariant under the foliation-preserving diffeomorphism defined by
In the infrared (IR), due to a deformation by lower dimensional operators, the theory flows to $ z = 1 $, corresponding to the standard relativistic scale invariance under which the full deffeomorphism, and thus general relativity, is recovered. Non-relativistic scaling allows for many non-trivial scaling theories in dimensions $ D > 2 $. The Ho?ava-Lifshitz theory allows a theory of gravitation that is scale-invariant in UV, while the standard GR with full diffeomorphism emerges at the IR fixed point. The Ho?ava-Lifshitz gravity theory has been intensively investigated [4-18] (see also [19, 20] for reviews and more references therein). In particular, cosmology in the Ho?ava theory has been studied in [7-13]. Homogeneous vacuum solutions in this theory were obtained in [12], and scalar and tensor perturbations were studied in [8, 10]. In [7, 9], the cosmological evolution in Ho?ava gravity with scalar-field was extensively studied, and the matter bounce scenario in the Ho?ava theory was investigated by Brandenberger [11]. As was pointed out in [7], the Ho?ava theory has at least two important properties. The first is its UV renormalizability, while the second is more interesting for cosmology. The fact that the speed of light is diverging in UV implies that exponential inflation is not necessary for solving the horizon problem. Moreover, the short distance structure of perturbations in the Ho?ava-Lifshitz theory is different from the standard inflation in GR. In particular, in the UV limit, the scalar field perturbation is essentially scale-invariant and is insensitive to the expansion rate of the Universe, as has been addressed in [7-10]. The key point is that the UV renormalizability indicates that the Lagrangian for the non-relativistic scalar field should contain up to six spatial derivatives. Thus, in the UV limit, the dispersion relation is $ \omega^2 \sim k^6 $, which is contrary to $ \omega^2 \sim k^2 $ in standard GR. This phenomenon causes different $ k $-dependence of the two-point correlation function, and thus the scalar perturbation in Ho?ava gravity is naturally scale-invariant in the UV limit. In this paper, we extend the previous works on cosmological perturbation theory in Ho?ava gravity, including non-gaussianities. The 6-parameter $ \Lambda $CDM model provides an accurate description of the Universe [21]. In particular, the primordial perturbations are assumed to be Gaussian. Deviation from the Gaussian distribution, i.e., primordial non-gaussianity, has not been observed. This puts a strict constraint on any model of the early Universe. The non-Gaussian features of Ho?ava gravity have not been studied in detail, except in [22] and in [23], which investigated the non-gaussianities of the scalar field and of the gravitational waves in Ho?ava gravity, respectively. Actually, one of the essential differences of Ho?ava gravity from Einstein's general relativity is that it contains quadratic curvature terms in the theory. Moreover, the foliation-preserving diffeomorphism does not allow, unfortunately, to choose a spatially-flat gauge as in GR. Thus, in general, the perturbation theory in Ho?ava gravity is quite involved. On the other hand, the number of dynamical degrees of freedom in the spatial metric is 3 in Ho?ava gravity (contrary to 2 in GR), with 2 tensor degrees of freedom, as usual, and an additional scalar dynamical degree of freedom (see also [24-26] for the general framework of spatially covariant theories of gravity). In this work, we focus on the perturbation of the scalar field. Thus, for simplicity, we neglect the spatial metric perturbation. We introduce a scalar field, following the strategy in [7, 9]. We pay special attention to the non-gaussianities in this scalar field model in Ho?ava gravity. The basic idea is that, as has been addressed before, the divergence of the speed of light and the scale-invariance of the scalar perturbation in Ho?ava gravity indicate that there is no need to assume an exponential expansion of the Universe. Moreover, the traditional slow-roll conditions are not necessary. While it is well-known that in slow-roll inflationary models non-gaussianity is suppressed by slow-roll parameters [27], and thus too small to be detected (see e.g. [28] for a review of non-gaussianities in cosmological perturbations. Various models have been investigated to generate large non-gaussianities by introducing more complicated kinetic terms [29-32] or more fields [33-38]). However, in Ho?ava gravity, there are no slow-roll conditions, and thus the “slow-roll suppressed” non-gaussianities can become large. In this work, we focus on the non-gaussianity from the bispectrum, which is defined from the three-point correlation function of the perturbation. We find that the equilateral-type non-gaussianity is roughly of the order of unity, while the local-type non-gaussianity remains very small, as in the usual single-field slow-roll inflation in GR. The paper is organized as follows. In Section 2, we briefly review the Ho?ava gravity and set out our conventions. In Section 3, we couple the scalar field to Ho?ava gravity, and describe the cosmological evolution of the Ho?ava gravity/scalar matter system. In Section 4, we calculate the scalar field perturbation, including the gravity perturbations. We get the full second-order perturbation action, which reduces to the standard result in the IR limit. In the UV limit, the scalar perturbation is essentially scale-invariant. In Section 5, we calculate the non-gaussianities. Finally, we make a conclusion and discuss several related issues.
2.Brief review of Ho?ava-Lifshitz gravityIn this section we briefly review the Ho?ava-Lifshitz theory [1]. The dynamical variables in Ho?ava-Lifshitz gravity are the spatial scalar N, spatial vector $ N_i $ and spatial metric $ g_{ij} $. This is similar to the ADM formalism of the metric in standard general relativity, while in Ho?ava gravity, N, $ N_i $ and $ g_{ij} $ are related to the space-time metric as
Note that in (5) $ \lambda $ is a dimensionless coupling of the theory, and therefore runs. As mentioned in the introduction, the essential point of the Ho?ava theory is the anisotropic scaling of temporal and spatial coordinates: $ t\rightarrow \ell^z t $ and $ x^i\rightarrow \ell x^i $. The classical scaling dimensions of various quantities in the Ho?ava theory are summarized in Table 1.
$ [t] $
$ [x^i] $
$ [c] $
$ [\kappa] $
$ [N] $
$ [N_i] $
$ [g_{ij}] $
$ [\Delta] $
$ [\partial _t] $
$ [\partial _i] $
$ [\phi] $
dimension
$ -z $
$ -1 $
$ z-1 $
$ \frac{z-3}{2} $
$ 0 $
$ z-1 $
$ 0 $
$ 2 $
z
$ 1 $
$ \frac{3-z}{2} $
Table1.Summary of the classical scaling dimensions of various quantities in the Ho?ava-Lifshitz theory.
-->
3.1.Coupling the scalar field to Ho?ava-Lifshitz gravity
In this work, we couple the scalar-field matter with Ho?ava-Lifshitz theory following the strategy in [7, 9]. The general structure of the action of the scalar-field matter and Ho?ava-Lifshitz gravity contains two parts: a quadratic kinetic term with the foliation-preserving diffeomorphisms and a potential term:
$S^{\phi}=\int {\rm d} t {\rm d}^{3} x \sqrt{g} N\left[\frac{1}{2 N^{2}}\left(\dot{\phi}-N^{i} \partial_{i} \phi\right)^{2}+F\left(\phi, \partial_{i} \phi, g_{i j}\right)\right]. $
where $ \xi _{i}$ and their properties in UV/IR are summarized in Table 2. In Table 2, $ \Delta = g^{ij}\nabla_i\nabla_j $ is the spatial Laplacian, and g1, g11 etc. can be constant, or in general it can be functions of $ \phi $. We assume $ g_3>0 $ in order to guarantee the stability of the perturbation in UV.
Table2.Summary of the operators in the non-relativistic scalar field action and their properties under the renormalization group flow from $ z = 3 $ (UV) to $ z = 1 $ (IR).
In the UV limit ($ z = 3 $ fixed point), $ \xi_1^3 $, $ \xi_1\xi_2 $ and $ \xi_3 $ dominate. Thus, in UV the scalar field action takes the form
The full equations of motion for N, $ N_i $ and $ g_{ij} $ have been derived in [7, 9, 12]. For our purpose we focus on the equations of motion for N and $ N_i $, which we write here for later convenience :
We now consider the cosmological background evolution in Ho?ava-Lifshitz gravity. We assume the background to be homogeneous and isotropic, and use the residual invariance under time re-parametrization to set $ N = 1 $. We focus on the flat 3-dimensional case. The background values are
In this background, the action in the gravity sector is significantly simplified. In particular, $ R_{ij} = C_{ij} = 0 $ and the spatial covariant derivatives mostly vanish. The equation of motion for N to the 0-th order gives
4.Cosmological perturbationWe now consider cosmological perturbation in Ho?ava gravity coupled to scalar-field matter. As has been addressed before, the action of Ho?ava gravity is complicated due to the quadratic terms in spatial curvature. We recall that in GR one can choose various gauges to simplify the calculations. However, the case is different in Ho?ava gravity (see Appendix A for a discussion of gauge transformation and gauge choice in Ho?ava theory). Since the “foliation-preserving” diffeomorphism is only a subset of the full diffeomorphism in GR, one may expect in general that there are less gauge modes and more physical modes①. Thus, the perturbation theory in Ho?ava-Lifshitz theory is very involved, but also interesting. We consider the scalar-field perturbation by neglecting the spatial metric perturbation. We assume that the background scalar field is homogeneous $ \phi_0 = \phi_0(t) $. As we focus on the scalar perturbation, we write (in the background $ N = 1 $ gauge)①
and $ \theta_{1i} = 0 $ , as usual in GR. Note that when $ \lambda \neq 1 $, $ \alpha_1 $ also depends on $ \dot{Q} $, which is different from GR, where $ \alpha_1 \sim \delta \phi $. It is useful to note that in the UV limit $ \alpha_1 $ and $ \beta_1 $ become
In (22), $ g_i \equiv g_i(\phi_0) $. In deriving Eq. (22), we have used the background equations of motion. Moreover, no approximations were made in deriving Eq. (22) and thus it is exact. We can use Eq. (22) to analyze the behavior of perturbations both in the IR or UV limits and in the interpolation era. 34.1.1.IR limit -->
4.1.1.IR limit
Taking the IR limit of the full second-order perturbation action Eq. (22) and choosing $ \lambda = 1 $, we get
If we further set $ \alpha = \displaystyle\frac{1}{2} $ and choose $ g_1 = -\displaystyle\frac{1}{2} $, Eq. (24) reduces to the familiar result in the perturbation theory in GR. Especially, the perturbation Q is scale-invariant when the expansion of the Universe is exponential, and thus with an approximately constant Hubble parameter $ H\approx \rm{const} $. 24.2.Scale-invariant spectrum in Ho?ava-Lifshitz era -->
4.2.Scale-invariant spectrum in Ho?ava-Lifshitz era
We now focus on the behavior of the perturbation theory in the UV-limit, where $ \dot{Q}^2 $ and $ Q\Delta^3Q $ terms dominate. The perturbation action Eq. (22) becomes rather simple in the UV limit,
Note that $ \gamma $ is now constant. It is convenient to use a new variable $ u $ , defined as $ u \equiv a \sqrt{\gamma} Q $. After changing into conformal time $ \eta $ , defined by $ {\rm d}t = a {\rm d}\eta $ , and going into Fourier space, the second-order perturbation action reads
Moreover, the short-time behavior of the mode function Eq. (30) is analogue to that of a positive-frequency oscillator. The tree-level two-point correlation function of $ Q({{k}}, \eta) $ is
The power spectrum of the scalar perturbation is naturally scale-invariant in the UV limit, ignoring the details of the expansion of the Universe. This feature is contrary to that in GR, where a nearly constant Hubble expansion rate H is needed to guarantee the scale-invariance of the spectrum. Due to this fact, there is no need to take any “slow-roll”-type conditions for the scalar field. We would like to make some comments here. The crucial picture of the standard inflation is that quantum fluctuations are generated in the subhorizon region ($ k\gg aH $) , and are then stretched to the cosmological size and become classical ($ k \ll aH $). The horizon-exiting point corresponds to $ k = aH $. Thus, the “horizon-exiting” process exists only when $ aH $ is an increasing function of time. If we assume a power law inflation $ a \propto t^p $, it requires $ p>1 $. This is violated by the curvature, and is only satisfied when the equation of state $ w <-1/3 $. This is why in the standard inflation model we need a slow-rolling scalar field to mimic the cosmological constant and to drive an exponentially expanding background. However, the “horizon-exiting” process occurs generically in the Ho?ava-Lifshitz era for rather general cosmological backgrounds. From Eq. (29), it is obvious that the perturbation stops oscillating when
$ \frac{k^6}{a^6} \sim H^2 \, , $
and thus requires that $ a^6H^2 $ is an increasing function of time. Obviously, if we assume a power law expansion $ a \propto t^p $, this demands $ p>1/3 $. In terms of the comoving time $ a \propto |\eta|^p $ , we need $ p<1/2 $. This condition can be satisfied by any matter component with the equation of state $ w <1 $. We get the scale-invariant power spectrum in the UV limit from the equation of motion Eq. (29). While one may consider the full equation of motion, the second-order action Eq. (22) can be used. In general, the equation of motion for the perturbation has the following functional form:
where $ c_1 $, $ \lambda_1 $ and $ \lambda_2 $ are dimensionless parameters, $ m $ is the effective mass parameter, and $ \ell $ is the length scale of the whole theory. The functional form of the dispersion relation in (36) has been intensively studied in the investigation of trans-Planckian effects [39-42], and also in statistical anisotropy [43]. Although complicated, it is interesting and important to investigate Eq. (36) in order to understand the behavior of the perturbation not only in the UV limit, but also in the interpolation region between UV and IR. -->
5.1.Bispectrum
We focus on the third-order perturbation action and the three-point correlation function of the perturbation $ Q $. The third-order action in the gravity sector is
where $ \alpha_1 $ and $ \beta_1 $ are given in Eq. (19). We are interested in the UV behavior of the perturbation. In the UV limit, after a straightforward calculation, the third-order perturbation action reads,
which are dimensionless constants (recall that we assume $ g_3 $ to be approximately constant). In Eq. (39), the formal operator $ \displaystyle\frac{\partial _i \partial _j}{\partial ^2} $ should be understood in momentum space. After changing into comoving time $ \eta $ and into Fourier space, we have
where we denote $ {{k}}_{123} \equiv {{k}}_1 + {{k}}_2 + {{k}}_3 $ . The three-point correlation function in the cosmological context is evaluated in the so-called “in-in” formalism
where $ \eta_{\ast} $ is the time when perturbation modes exit the sound horizon, and $ H $ is the Hamiltonian which can be read from Eq. (41) by noting that in the third-order $ H_{(3)} = - L_{(3)} $. Thus, for three-point interactions described by Eq. (41), we have
For power law expansion $ a(\eta) \propto |\eta|^{p} $ ($ p\neq 0 $), the time-integral in Eq. (43) can be evaluated exactly, and the three-point correlation function reads,
which is the so-called bispectrum. 25.2.Non-linear parameter $ f_{ \rm{NL}} $ -->
5.2.Non-linear parameter $ f_{ \rm{NL}} $
In practice, it is convenient to introduce non-linear parameters to characterize the non-gaussianities. The dimensionless non-linear parameter $ f_{ \rm{NL}} $ from the three-point correlation function is defined as
where the power spectrum $ P(k) $ is given in Eq. (33). Note that although dimensionless, $ f_{ \rm{NL}} $ is in general $ k $ dependent. A straightforward calculation gives
Thus, in the UV limit, we find that the equilateral-type non-gaussianity is roughly $ \sim \mathcal{O}(1) $, while the local-type non-gaussianity is very small. This is not surprising, since in Ho?ava-Lifshitz gravity the scalar-field perturbation in the UV limit is naturally scale-invariant. Thus, no slow-roll condition is needed to guarantee the exponential expansion of the Universe. On the other hand, it is well known that in standard slow-roll inflationary models in GR non-gaussianities are suppressed by slow-roll parameters [27]. However, in Ho?ava gravity, no slow-roll parameters are needed. Thus, one may expect the slow-roll suppressed non-gaussianity to be of the order of unity. However, in our simplest scalar-field model with the action given by Eq. (8) and Eq. (9), the temporal kinetic term is canonical, and in general there is no enhancement of the non-gaussianity by non-canonical kinetic terms as in the K-inflation or DBI-inflation models [29-32]. Moreover, the scalar-field action Eq. (8) is mostly “derivative-coupled”, thus the local-type non-gaussianity (which characterizes the local couplings of the perturbations in the real space) is small, as expected. -->
Appendix A: Gauge transformation, gauge choice and gauge-invariant variables
In this Appendix, we discuss the problem of gauge transformation and gauge choice in the non-relativistic Ho?ava-Lifshitz theory. The essential point is that in the case of GR we have a larger set of gauge transformations which we can use to choose a gauge. However, in the Ho?ava-Lifshitz theory, the full diffeomorphism with general coordinate invariance is restricted to a subset, i.e. the so-called “foliation-preserving diffeomorphism”, and thus gives less gauge modes but more physical modes. In this work, we focus on the scalar-type perturbation. The scalar part of coordinate transformations is : $ \delta \eta = \xi^0 $, $ \delta x^i = \partial ^i \chi $, with
Due to the fact that $ \xi^0 $ is a function of $ \eta $ only, the gauge choice is fairly restricted. In particular, (or unfortunately), two familiar gauge-choices -- the “longitudinal gauge” and “spatially-flat gauge” -- are not allowed in the Ho?ava theory. We can use $ \chi = \chi(\eta, x^i) $ freely to set $ E = 0 $, while in general we cannot use $ \xi^0 $ to set $ B = 0 $ and get the longitudinal gauge, or to set $ \psi = 0 $ and get the spatially-flat gauge. However, there is still a possible gauge choice in the Ho?ava theory. First, as we have mentioned, we can choose
$ \chi = a^2 E $
to get $ \tilde{E} = 0 $. This leaves the question: are we able to choose another gauge condition to set one of $ \phi $, $ \psi $ and B to 0? In Ho?ava's original formulation of the theory, $ N = N(t) $ is assumed to be a function of time only. In this case we can choose the proper value of $ \xi^0 $ to set the fluctuation of N to zero, i.e. $ \phi = 0 $. Thus, after gauge transformation with
we get $ \tilde{\phi} = 0 $. This does not determine time-slicing unambiguously, but we are left with time reparametrization. If we relax the restriction that N has to be a function of time only, then there is no gauge condition we can choose. In this case, we are left with 3 non-vanishing variables $ \phi $, $ \psi $ and B. The two Bardeen potentials
are still gauge-invariant variables in Ho?ava gravity. This is also because the foliation-preserving diffeormorphism is a subset of the full symmetry in GR. Note that there is an infinite number of gauge-invariant variables, for example, combining $ \Phi $ and $ \Psi $ gives another useful gauge-invariant variable
For the “space-time” scalar field $ \phi $ (now “scalar” means invariant under “foliation-preserving” diffeomorphism), if we assume that the background value is homogeneous $ \phi_0 = \phi_0(\eta) $, the gauge transformation for the scalar fluctuation is as usual