You are on page 1of 20

Testing loop quantum cosmology

Edward Wilson-Ewing
Max Planck Institute for Gravitational Physics (Albert Einstein Institute),
Am Muhlenberg 1, 14476 Golm, Germany, EU

Loop quantum cosmology predicts that quantum gravity eects resolve the big-bang singularity
and replace it by a cosmic bounce. Furthermore, loop quantum cosmology can also modify the form
of primordial cosmological perturbations, for example by reducing power at large scales in ination-
ary models or by suppressing the tensor-to-scalar ratio in the matter bounce scenario; these two
eects are potential observational tests for loop quantum cosmology. In this article, I review these
predictions and others, and also briey discuss three open problems in loop quantum cosmology:
its relation to loop quantum gravity, the trans-Planckian problem, and a possible transition from a
Lorentzian to a Euclidean space-time around the bounce point.
arXiv:1612.04551v1 [gr-qc] 14 Dec 2016

I. INTRODUCTION of motion for cosmological perturbations, with several


complementary approaches having been developed, and
It is notoriously difficult to test any theory of quan- then using these LQC-corrected equations of motion to
tum gravity since any effects are typically expected to calculate predictions that can be tested by observations
become important only near the Planck scale, which is of the CMB. Quantum gravity effects in the very early
well out of the reach of particle accelerators or even cos- universe can arise directly from the presence of a non-
mic rays. However, quantum gravity effects were likely singular bounce (and hence the existence of a pre-bounce
important in the early universe at times when the space- epoch), and also from any quantum gravity modifica-
time curvature was of the order of the inverse Planck tions to the equations of motion for the perturbations.
length squared, R 2 Of course, just like in general relativity the dynamics de-
Pl , and although the cosmic mi-
crowave background (CMB) formed at a much later time, pend on the matter fields present and therefore so do the
it is nonetheless possible that quantum gravity effects in predictions; a number of possibilities have been studied in
the very early universe may have left a mark in primor- some detail. In Sec. III I will describe the three main ap-
dial perturbations that could be observed in the CMB proaches to cosmological perturbation theory developed
today. so far in LQC, and in Sec. IV I will review the predic-
Indeed, the results of high precision imaging of the tions of LQC in inflation, the matter bounce scenario and
CMB by the WMAP [1] and Planck [2] collaborations ekpyrosis.
offer the realistic hope that it may be possible to de- I will also briefly present the cosmological constant
tect sub-leading quantum gravity effects if they are not problem from the LQC perspective in Sec. V, discuss
too small. In addition, there have been some surprises, some open problems in Sec. VI, and end with a brief
with strong bounds on the tensor-to-scalar ratio [2] and summary of the main points of this article in Sec. VII.
non-Gaussianities [3] which were not necessarily expected The conventions used in this article are the following:
from the inflationary point of view (although they by no units are chosen so that c = 1, while G and ~ are left
means rule out inflation). Perhaps these surprises are explicit, and the Planck length is defined as 2Pl = G~.
hints of something deeper that may come from quantum The space-time metric is assumed to have a signature
gravity? In any case, observations of the early universe (, +, +, +), indices a, b, c, . . . refer to spatial coordinates
may well give important insights into quantum gravity. while i, j, k, . . . are internal su(2) indices. The i denote a
In this review, I will focus on the predictions of loop basis in the su(2) Lie algebra and satisfy i j = 12 ij k k
quantum cosmology (LQC) and on the possibility of test- 1
4 I with I being the 2 2 identity matrix.
ing LQC through observations of the CMB.
In LQC, symmetry-reduced space-times are quantized
following the same procedures as loop quantum gravity
(LQG). One of the main results of LQC is that the big-
bang and big-crunch singularities are resolved by quan- II. HOMOGENEOUS LOOP QUANTUM
tum gravity effects [4] and are in fact replaced by a non- COSMOLOGY
singular bounce [5]. I will review these results in Sec. II,
with a focus on the spatially flat Friedmann-Lematre-
Robertson-Walker (FLRW) space-time. In this section I will review the theory underlying the
More recently, there has been considerable work in de- loop quantum cosmology of homogeneous space-times in
termining quantum gravity corrections to the equations Sec. II A as well as its results and predictions in Sec. II B,
focusing on the spatially flat FLRW space-time. Readers
who are only interested in the results and predictions of
LQC can skip the first part of this section and go directly
wilson-ewing@aei.mpg.de to Sec. II B without any loss of continuity.
A. Theory xj depends on the length of the line segment as
"Z  a #

The key idea in LQC is to use the same fundamental
hj () = exp dxj Aa
variables and quantization techniques as in loop quantum 0 xj
gravity and apply them to cosmological space-times of c c
interest, taking full advantage of the simplifications that = cos I + 2 sin j , (4)
2 2
arise due to the symmetries of these space-times.
Homogeneous space-times are particularly easy to han- where there is no sum over j on the first line. (It is
dle since they have a finite number of degrees of freedom. sufficient to only consider holonomies along edges parallel
For example, the spatially flat FLRW space-time, with to the xj due to the homogeneity of the spatial slice [6].)
the line element Note that the length is calculated with respect to the
so-called fiducial (spatial) metric whose line element is
ds2 = N (t)2 dt2 + a(t)2 d~x2 , (1) ds2 = d~x2 , as can be seen from the measure dxj inside the
integral on the first line. An important point here is that
has only one degree of freedom in its geometric sector, the dependence on c of these straight holonomies can
namely the scale factor a(t). (The lapse N (t) can be be expressed entirely in terms of complex exponentials of
freely chosen given the freedom in reparametrizing t.) As- c.
suming that the only matter content is a scalar field, then Then, following loop quantum gravity, the elementary
the total phase space is four-dimensional: (a, a , , ). operators in LQC are the surface area operator corre-
In the following, I will briefly review the main steps of sponding to p and operators corresponding to complex
the loop quantization of this space-time, skipping some exponentials of c, which are sufficient to define opera-
technical details that are not necessary to understand the tors corresponding to the SU(2)-valued holonomies along
results. For more details, see, e.g., [46] or the reviews straight line segments. It is convenient to use the basis
[710]. |pi for the gravitational kinematical Hilbert space Hg , in
The geometrical sector of the phase space can be which case these operators act as:
rewritten in terms of the su(2)-valued Ashtekar-Barbero
connection Aa = Aia i and its conjugate momentum, the p|pi = p|pi, (5)
densitized triad Eia , as
 a
N ()|pi := ed
ic |pi = |p 82 /3i.
Pl (6)
Aia = c (dxi )a , Eia = p . (2)
xi
The inner product between two such basis vectors is
The phase space variables c and p are canonically conju-
hp|pi = p,p , (7)
gate1 ,
where p,p is the Kronecker delta,
P not the Dirac delta
8G
{c, p} = , (3) distribution. States (p) = p p |pi in Hg are those
3 that are normalizable with this inner product. An im-
where is the Barbero-Immirzi parameter, and these portant consequence of this inner product is that it is
variables are related to the scale factor by p = a2 and2 not possible to take the limit 0 in i[N () 1]/ to
c = a, where the dot denotes a derivative with respect obtain an operator c since this limit is not well-defined
to proper time (i.e., the time coordinate for N = 1). on the kinematical Hilbert space: there is no connection
The holonomy of Aia along a line segment parallel to operator, only a holonomy operator for finite . As a
technical remark, note that since the limit of 0 of
N () is not well-defined, N () is not weakly continuous
in and therefore the Stone-von Neumann uniqueness
1
theorem is not applicable: this is one reason that LQC
For the symplectic structure (and the Hamiltonian formalism in
does not give the same physical predictions as Wheeler-
general) to be well-defined, it is necessary that integrals over the
spatial slice be finite. Due to the homogeneity of the spatial de Witt quantum cosmology models. (Another reason is
slice, there cannot be any fall-off at infinity and therefore, if the that the Hamiltonian constraint operator is expressed in
spatial slice is non-compact, it is necessary to restrict integrals terms of holonomies of c, as explained below.)
to a compact region V. This can be seen as an infrared regulator Then, the total kinematical Hilbert space is Hk = Hg
necessary to ensure that the symplectic structure (and Hamilto-
nian framework) be well-defined, and it should be removed by
Hm , where the matter kinematical Hilbert space consists
sending V once the equations of motion are derived. For of square-integrable functions () with respect to the
R
simplicity, here I shall choose V such that V d3 ~ x = 1. For more Lebesgue measure on , and the elementary operators
details on V see, e.g., [5, 8]. are
2 The relation c = a is a result of solving the equations of motion
and only holds in classical general relativity. Quantum gravity d()
effects will modify this relation. () = (), c () = i~
. (8)
d

2
The classical dynamics are generated by the Hamilto- 2Pl :
nian constraint " #
Z h1 1
j ()hi ()hj ()hi () k
  Fab k
= 2 Tr (dxi )a (dxj )b
CH = N H + N a Ha + i Gi 0, (9) 2
p 
sin2 2Pl /|p|c
and due to the gauge-fixing chosen in (1) and (2), the dif-
= ij k (dxi )a (dxj )b . (11)
feomorphism constraint Ha and the Gauss constraint Gi 2Pl /|p|
are already automatically satisfied. The 0 in (9) de-
notes that CH is a constraint and must vanish for physical Note that the length in (6) is measured with respect
solutions. Furthermore, since the integral over a homo- to the fiducial metric, and the area 2Pl encircled by
geneous spatial manifold is trivial, this gives CH = N H the holonomy is a physical area evaluated with respect
where the scalar constraint H, for a spatially flat FLRW to the metric (1). For this reason, it is necessary
p to set
space-time with a massless scalar field, is simply 2
the length of each holonomy to be = Pl /|p| to
ensure
that the physical length of each side of the square
Eia Ejb ij k
2 is Pl , as required.
H= k Fab + , (10)
8 2 G q 2 q The last step is to define the action of complex expo-
nentials of c on the kinematical Hilbert space; since
where Fab k = 2[a Akb] + ij k Aia Ajb is the field strength of depends on p, the action is not the same as the operator
(6). The action of this new operator follows from the
the connection Aia and q = |p|3 is the determinant of the
fact that the quantity canonically conjugate
to b = c is
spatial metric.
V = sgn(p)|p|3/2 (with {b, V } = 4 GPl ), and so
To define an operator corresponding to the Hamilto-
nian constraint, it is necessary to first define an oper-
ator corresponding to Fab k . (Operators corresponding ed
ib |V i = |V 4 G i,
Pl (12)
to Eia p and are already defined3 .) This is non-
trivial since there only exist operators corresponding to where |V i denotes the basis vectors in the volume repre-
holonomies of Aia , but not to Aia itself. However, there sentation (which is just a relabeling of the area represen-
is a simple and natural solution: use Wilson loops to de- tation basis vectors |pi).
fine the field strength, i.e., by taking the holonomy of Aia Then, given the definition of the field strength opera-
around a small closed loop. In standard quantum field tor (11) the Hamiltonian constraint operator, for a given
theory, one would take the limit of the area of the loop choice of the lapse N , follows. The exact action of the
going to zero. Hamiltonian constraint depends on a number of choices,
However, this limit cannot be taken in LQC since including factor-ordering choices, the choice of the lapse,
lim0 N () does not exist. In fact, it is not natural and the definition of inverse triad operators. However, no
to take this limit in LQC, for the reason that LQC is matter what choices are made, the action of the Hamilto-
based on loop quantum gravity where the spectrum of nian constraint operator on states in the physical Hilbert
the area operator is discrete with space (i.e., the states annihilated by the Hamiltonian con-
a minimum non-zero straint operator, CH = 0) has the following form:
eigenvalue 2Pl (with = 4 3), and therefore the
limit Area 0 does not exist in LQG either.
Instead, it is more natural to construct the field ~2 2 (V, ) = CV + (V+ , ) + C0 (V, )
strength operator by taking the holonomy of Aia around + CV (V , ), (13)
the minimal loop possible according to loop quantum
gravity, i.e., by setting the physical area of the loop to where V = V 8 GPl and the exact form of the
CV terms depends on the quantization ambiguities. This
operator is essentially self-adjoint [12]. The explicit form
of the CV is not particularly illuminating; for specific ex-
3 It is also necessary to define inverse triad operators since the state pressions of the CV given some specific choices for the
|p = 0i Hg is an eigenstate of p with eigenvalue zero. There is factor-ordering, the lapse, and the inverse triad opera-
considerable ambiguity in the choice of inverse triad operators, tors, see, e.g., [5, 13, 14].
but in non-compact spaces all known inverse triad operators in
LQC tend to the trivial inverse triad operator Rather, the main points are that the quantum equation
( of motion (13): (i) is a difference equation in V rather
b
1 0 if p = 0, than a differential equation, this is a consequence of the
|pi = 1
p p
|pi otherwise. discrete nature of quantum geometry in LQG, and (ii)
gives the evolution of the quantum cosmology wave func-
in the limit that the fiducial cell is removed [11]. Therefore,
all known inverse triad operators in LQC can only have a non- tion in a relational sense, where the scalar field acts
trivial effect in compact spaces, and even in that case their effect as a relational clock. Thus, the main (Dirac) observable
is small so long as the spatial volume of the space-time at the of interest is the volume V evaluated at an instant of
bounce point is large compared to 3Pl (which it typically is). relational time o .

3
B. Results and Predictions volume being heavy degrees of freedom where quantum
fluctuations do not grow significantly [19]. In this case,
To recap, in the LQC of the spatially flat FLRW space- since hO2 i hOi2 for any observable O, it is sufficient to
time with a massless scalar field , the wave function study the dynamics of the expectation values of the ob-
is usually studied in the representation (V, ), where servables of interest. This gives the effective Friedmann
V = a3 , and in addition the scalar field can act as a equations of LQC [5, 20]
relational clock with respect to which the wave function  
2 8G
is evolved. H = 1 , (14)
3 c
The quantum dynamics of LQC can be studied by
choosing an initial state (V, o ) at some instant o  
of relational time and numerically evolving it using the 2
H = 4G( + P ) 1 , (15)
LQC Hamiltonian constraint operator (13). This was c
first done for initial states sharply peaked around a clas-
sical solution to the Friedmann equations at a sufficiently
+ 3H( + P ) = 0, (16)
small energy density so that quantum gravity effects are
initially negligible. The results of numerically solving where H = a/a is the Hubble rate, and P denote the
(13) for such initial conditions are the following [5]: (i) energy density and the pressure of the matter field re-
the wave function remains sharply peaked throughout the spectively, c Pl is the critical energy density of LQC,
entire evolution, (ii) the wave packet follows the classical and dots denote derivatives with respect to proper time.
Friedmann trajectory very closely so long as the mat- From these equations, it is clear that there is a bounce
ter energy density remains small compared to the Planck when = c , and also that quantum gravity effects are
scale, and (iii) when the matter energy density nears the negligible when c . Furthermore, while the equa-
Planck scale, the wave packet departs from the classical tions of motion for the gravitational degrees of freedom
theory and bounces at a large but finite critical energy are modified by quantum gravity corrections, the conti-
density of the matter field c Pl . Once the energy nuity equation for the matter field remains unchanged:
density decreases sufficiently far below the Planck scale, LQC effects only arise in the geometrical sector of the
then the wave packet recommences to follow a classical theory.
Friedmann trajectory once more. Finally, from these effective equations another impor-
While numerical studies first considered states that tant point is made clear: quantum gravity effects, for
are sharply peaked around classical solutions, a number sharply-peaked states in LQC, become important when
of more recent studies have shown that a large class of the energy density (equivalently, when the space-time
widely spread states that do not have a nice semi-classical curvature) approaches the Planck scale. Note that the
limit also bounce, with the same upper bound on the spatial volume of the space-time may be (and typically
expectation value of the matter energy density (in fact, will be) very large compared to the Planck scale when
states with a large spread typically bounce at a lower ex- the bounce occurs. (In fact, it will be infinite for non-
pectation value of the energy density than sharply peaked compact spaces.) Therefore, the relevant length scale
states) [1517]. Furthermore, for a certain lapse and with that determines the amplitude of LQC effects is the ra-
certain factor-ordering choices, it is possible to obtain a dius of the space-time curvature, not the radius of the
Hamiltonian constraint operator which is exactly solu- spatial volume. (In the case that the spatial volume nears
ble, and in that case it can be shown analytically that the 3Pl , then quantum fluctuations will become important
bounce is generic and that the energy density of the scalar and generate additional quantum gravity effects. How-
field is bounded above by c [13]. Finally, the quanti- ever, this should not be confused with the LQC effects
zation ambiguities in the definition of the Hamiltonian that cause the bounce.)
constraint operator have also been studied numerically, So far, I have reviewed the results of LQC as applied
with the result that the qualitative results, including the to the spatially flat FLRW space-time with a massless
bounce and the upper bound on the energy density, hold scalar field. Many other homogeneous space-times have
for all possibilities considered in the literature [18]. also been studied in LQC, including: the closed and open
Thus, one of the most important results in LQC, ap- FLRW space-times [2123] the Bianchi type I, type II and
plied to a spatially flat FLRW space-time with a massless type IX space-times [2426], and the Kantowski-Sachs
scalar field, is that the big-bang and big-crunch singulari- space-time [27, 28] (which corresponds to the interiour
ties of the spatially flat FLRW space-time are generically of a Schwarzschild black hole). Different matter fields
resolved and are replaced by a bounce. have also been studied, namely Maxwell fields [29] and
As mentioned above, if the state is sharply peaked at inflationary fields [30], and it has also been shown how
an initial moment of relational time o then it will re- to include either a positive or a negative cosmological
main sharply peaked throughout its evolution. In other constant [3133].
words, if quantum fluctuations are initially small then In all of these cases, the big-bang and big-crunch sin-
they remain smallthis is due to the global observables gularities are resolved by quantum gravity effects. Fur-
of interest in quantum cosmology like the total spatial thermore, for FLRW space-times a numerical analysis

4
of the quantum dynamics shows that sharply peaked for the tensor perturbations hk is obtained by replacing
states bounce at c and there again exist effective Fried- vk by k = ahk and zs by a in (17).) The main aim of
mann equations that provide an excellent approximation each of the three approaches to cosmological perturba-
to the full quantum dynamics of sharply peaked states tion theory in LQC is to determine what modifications
[2123, 2933]. due to LQC, if any, should appear in these equations
For the Bianchi and Kantowski-Sachs space-times, the of motion for cosmological perturbations, and then use
Hamiltonian constraint operator is significantly more these results to calculate observational consequences of
complicated and has not yet been solved numerically. LQC effects.
Nonetheless, there exist effective equations for the The three frameworks handle cosmological perturba-
Bianchi and Kantowski-Sachs space-times as well, and tions in different ways. The effective constraint approach
analytic and numerical studies of the effective equations is based on effective equations, but without construct-
find that a Planck-scale bounce replaces the classical big- ing or knowing the underlying quantum theory. On the
bang singularity in these space-times also [11, 3439]. other hand, the hybrid quantization approach is based on
(Note that the observables of interest in Bianchi space- a well-defined quantum theory, with a loop quantization
times are global observables, and therefore they are heavy for the background variables and a Fock quantization for
degrees of freedom so long as all three pi aj ak remain the perturbative degrees of freedom. Finally, the separate
much larger than 2Pl . As a result, quantum fluctuations universe approach gives a loop quantization of both the
will not play an important role in states where the fluc- background and long-wavelength scalar perturbations,
tuations are initially small and pi 2Pl at all times, and but ignores short-wavelength perturbations. It remains
then for these states the effective equations will provide a to extend these results to higher order in perturbation
good approximation to the full quantum dynamics [19].) theory to calculate LQC effects on non-Gaussianities, and
Furthermore, the effective equations also show that also to study perturbations on a spatially curved and/or
for sharply-peaked states of FLRW, Bianchi type I and anisotropic background space-time.
Kantowski-Sachs space-times all strong singularities are In this section I will briefly review these three ap-
resolved by quantum gravity effects [4043]. proaches, focusing on their conceptual underpinnings and
Finally, while there are a number of quantization am- main results, and pointing out the assumptions underly-
biguities in LQC, the main resultsnamely, the generic ing each. For a more detailed introduction of these ap-
bounce and the reliability of the effective equations for proaches to cosmological perturbation theory in LQC, see
initially sharply peaked statesare robust and are not the reviews [4951]. For predictions derived from these
affected by factor-ordering choices [18], changes in the frameworks, see Sec. IV.
definition of the field strength operator [11, 44], and even It is important to state that none of these approaches
changes in the elementary variables: similar results are is as robust as LQC for homogeneous space-times. It is
obtained if one uses self-dual variables rather than the still not known how to fully extend the results reviewed in
Ashtekar-Barbero variables [4547]. Sec. II A to allow for inhomogeneities. Indeed, the three
frameworks developed so far all avoid (in different ways)
the difficult problem of performing a loop quantization of
III. THREE APPROACHES TO all degrees of freedom in an inhomogeneous space-time.
COSMOLOGICAL PERTURBATION THEORY

There are three main approaches to cosmological per- A. Effective Constraints


turbation theory that have been developed in LQC: effec-
tive constraints, hybrid quantization, and separate uni-
From a phenomenological perspective, the effective
verses. In each case, the goal is to determine LQC effects
constraint approach is in large part motivated by the
on linear cosmological perturbations on a spatially flat
high accuracy of the LQC effective Friedmann equations
FLRW background space-time, typically with a scalar
describing the full quantum dynamics of homogeneous
field as the matter content.
space-times, even at the bounce point, for states with
Specifically, in general relativity it is the Mukhanov-
small quantum fluctuations. The hope here is that simi-
Sasaki equation that determines the dynamics of scalar
lar effective equations will exist and be equally accurate
perturbations [48],
for cosmological perturbations as well, for example an
zs LQC effective Mukhanov-Sasaki equation.
vk + k 2 vk vk = 0, (17) The challenge is to find the correct effective equations
zs
without knowing the underlying quantum theory. The
where the k th Fourier mode of the Mukhanov-Sasaki vari- procedure followed in this approach is to take the classi-
able is related to the co-moving curvature perturbation R cal scalar and diffeomorphism constraints of general rela-
by vk = zs Rk and zs = a/H is a function that depends tivity in Ashtekar-Barbero variables (typically the Gauss
on the background evolution. Primes denote derivatives constraint is gauge-fixed, as in homogeneous LQC) for
with respect to conformal time , i.e., the time coordinate the spatially flat FLRW space-time with linear perturba-
when N = a. (For completeness, the equation of motion tions, and then allow for a large class of possible modifica-

5
tions motivated by LQCtypically holonomy or inverse These equations can be used to quantitatively study
triad effects. quantum gravity effects in the early universe on cosmo-
Schematically, for the case of holonomy corrections, logical perturbations and hence on structure formation.
each time the connection variable c or its perturbation c Building on these results, it has also been shown that
appears in one of the constraints, it is replaced by some holonomy and inverse triad effects can be included simu-
function fi (c) or gi (c) which is meant to encode the lataneously in the effective framework [57], and a discus-
effects due to holonomy corrections in LQC (with these sion on how gauge transformations are affected by modi-
functions potentially different for each appearance of c fications to the classical constraints can be found in [58].
or c in the classical constraints). Similarly, for inverse In addition, the specific form of the constraint algebra
triad corrections, each time an inverse power of p = a2 when including holonomy corrections has lead to some
appears in the classical constraints, it is replaced by some interesting speculation concerning a possible signature
function hi (p), which is meant to encode inverse triad change around the bounce point in LQC. At this time,
effects from the quantum theory. Of course, in order more work is needed to determine whether this interpre-
to recover general relativity in the classical limit, it is tation of the constraint algebra is correct or not. I will
necessary to require that fi (c) c and gi (c) c when return to this question in more detail later in Sec. VI C as
the curvature is small and hi (p) p1 when p is large. it is, in my opinion, one of the important open problems
Nonetheless, there is clearly a great deal of freedom in LQC.
in the choices of the correction functions. However, However, the effective equations (18) and (19) have an
an important conditionnecessary to obtain a consis- important drawback in that they ignore quantum fluc-
tent theoryis that the constraints have an anomaly- tuations. (The effective framework can be extended to
free Poisson algebra. It turns out that this requirement allow for quantum fluctuations by including higher order
strongly restricts the form that these correction functions moments in the observables [59], but this extension has
can take. (Note that the form of the constraint algebra not yet been done for perturbations.) This is not a prob-
may change. What is important is that the constraint lem if one is interested in the dynamics of heavy degrees
algebra closes, not that it have a specific form. In fact, of freedom, but quantum fluctuations cannot be ignored
in LQC the constraint algebra will typically be modified when considering light degrees of freedom. A simple cal-
by holonomy or inverse triad corrections.) culation shows that quantum fluctuations are expected
This was first done for inverse triad corrections in the to become important and cannot be ignored when the
limit that the corrections be small and that there exist physical wavelength of the perturbation modes of inter-
a perturbative expansion for them [5254]. In this case, est is of the order of Pl [19]. Therefore, this suggests
the anomaly-free condition strongly restricts the possible that the effective constraint approach reviewed here is a
forms of LQC inverse triad effects on the dynamics of good approximation for long-wavelength modes (as com-
scalar and tensor perturbations in the effective constraint pared to Pl ), but will likely fail when applied to modes
formalism. with a wavelength shorter than Pl .
Holonomy corrections were considered next. Holon- In other words, there is a trans-Planckian problem
omy corrections are particularly important in LQC, since in the effective constraint approach to perturbations in
the occurrence of the bounce in homogeneous LQC is en- LQC: this approach cannot be used to study perturba-
tirely due to holonomy corrections. Interestingly, given tions whose wavelength is shorter than the Planck length.
some reasonable assumptions on the form of the correc- For this reason, it is not surprising that when these equa-
tion functions, the equations of motion for cosmologi- tions of motion are used to evolve trans-Planckian modes
cal perturbations with holonomy corrections are uniquely through the bounce, the result is a power spectrum that
determined by the requirement that the constraint alge- is ruled out by observations (even if the bounce is fol-
bra be free of quantum anomalies [55, 56]. Furthermore, lowed by an inflationary epoch) [60]. This is simply the
for holonomy corrections the modifications to the equa- consequence of using the equations of motion (18) and
tions of motion for cosmological perturbations are partic- (19) outside of their regime of validity.
ularly simple. For scalar perturbations, the LQC effective Nonetheless, despite the effective constraint approach
Mukhanov-Sasaki equation with holonomy corrections is breaking down whenever quantum fluctuations become
[55] important (and in particular for trans-Planckian modes),
  the equations motion are expected to hold in many set-
2 z

vk + 1 k 2 vk s vk = 0, (18) tings of cosmological interest and may give important in-
c zs sights into quantum gravity effects in the early universe.
and for tensor perturbations, holonomy corrections are
captured by the effective equation [56]
  B. Hybrid Quantization
2 z

k + 1 k 2 k t k = 0, (19)
c zt
The second framework to be developed for cosmologi-
where k is related
pto the tensor perturbation hk by k = cal perturbation theory in LQC goes by the names of hy-
zt hk and zt = a/ 1 2/c. brid quantization [6164] and the dressed metric frame-

6
work [6567]. While there are some differences between to cosmological perturbation theory in LQC, the trans-
these two approaches, the basic idea is the same and Planckian problem is not directly addressed but rather
the differences are negligible at a phenomenological level is avoided by assuming that perturbations can have an
when considering small perturbations [68]. For these rea- arbitrarily small wavelength.
sons, these two approaches will be considered together The hybrid quantization gives a fully quantum treat-
here. ment of cosmological perturbations in LQC, a quantum
The idea underpinning the hybrid quantization is to field theory on a quantum background, unlike the effec-
treat the background and perturbative degrees of free- tive constraint framework. Furthermore, an important
dom differently, namely by performing a loop quantiza- result is that the quantum dynamics of the perturba-
tion of the FLRW background and a Fock quantization tions only depend on a small number of the quantum
of the perturbative degrees of freedom. This builds on properties of the background. In fact, the dependence is
earlier studies of both the Gowdy space-time in LQC so simple that the full quantum dynamics of the pertur-
[6972] (which can be viewed as gravitational wave in- bations can be rewritten as a quantum field theory on a
homogeneities in one spatial dimension on a Bianchi I dressed background space-time, where the dressing con-
background) and also of a test (inhomogeneous) scalar tains the information of the few quantum properties of
field on an LQC background [73], where this type of hy- the background that affect the dynamics of the pertur-
brid quantization was first developed. bations [65, 66]. To be specific, the quantum equations
Thus, the basic assumption of the hybrid quantization of motion for scalar perturbations in the dressed metric
approach to cosmological perturbation theory is that a framework are [66]
Fock quantization is appropriate for the perturbations.  
a a u
While quantum gravity effects are known to be impor- Qk + 2 Qk + k 2 + Qk = 0, (20)
tant for the background FLRW space-time in LQC, it is a a u
assumed that these quantum gravity effects do not di- p
where Q = v/a = zs R/a and u = a 3(1 + wef f )/8G,
rectly modify the quantum equations of motion for the
perturbations; instead, quantum gravity effects present with wef f = [2 /2 V ()]/[2 /2 + V ()] the (time-
in the background space-time percolate to the perturba- dependent) effective equation of state of the scalar field,
tions through their equations of motion which depend on and
the dynamics of the background space-time. Note that hHo
1/2
a4 Ho
1/2
i
quantum fluctuations, which are expected to be impor- a4 = , (21)
hHo1 i
tant for trans-Planckian modes, are fully included in the
Fock quantization.
1/2 1/2
While this approximation may initially appear quite hHo a2 u a2 Ho i
drastic, lessons from homogeneous LQC suggest that u = 1/2 1/2
, (22)
hHo a4 Ho i
it is reasonable. Specifically, for sharply-peaked states
in homogeneous LQC, quantum gravity effects only be- encode the expectation values of the scale factor and u
come important when the energy density of the matter as well as some information about quantum fluctuations
field (or in the anisotropies) becomes comparable to the in the scale factor. Here Ho is the positive frequency
Planck scale (so long as the spatial volume remains much LQC Hamiltonian for the background degrees of freedom
larger than 3Pl , which it typically is, even at the bounce). with respect to the relational time variable or, in other
Therefore, if the energy density in the perturbations al- words, Ho is the negative square root of the operator
ways remains small compared to the Planck scale (and acting on (V, ) in the right-hand side of (13).
it does if the perturbations remain linear, this has been A technical point here is that, as explained above,
checked explicitly in inflationary models [66]) then quan- the equation of motion (20) follows from a Fock quan-
tum gravity effects acting directly on the perturbations tization of the Hamiltonian for the perturbations, and
may indeed be negligible. this Hamiltonian of course comes from classical general
Also, in the hybrid quantization it is assumed that relativity. However, the function zs appearing in the
perturbations can have an arbitrarily short wavelength: Hamiltonian as zs /zs is not uniquely determined clas-
there is no wavelength cut-off for the cosmological per- sically, since the Friedmann equations (of general rela-
turbations. At this time, it is not yet clear if this as- tivity) can be freely used to rewrite zs in different equiv-
sumption is justified. A minimal wavelength for pertur- alent forms. Since initial conditions are typically im-
bations might be expected if there is a minimal non-zero posed at the bounce point in the hybrid quantization
eigenvalue of the length operator in loop quantum grav- approach (as shall be discussed shortly), in this case the
ity, while if there is no minimal non-zero eigenvalue (i.e., usual function zs = a/H is problematic since it diverges
if there exist eigenvalues arbitrarily close to 0) then no at thepbounce where H = 0. Classically, the function
length cutoff should exist. However, since the (discrete) u = a 3(1 + wef f )/8G is equivalent to zs by the scalar
spectrum of the length operator is unknown due to its constraint of the background space-time (which is equiv-
complexity [7476], this question remains unanswered alent to the classical Friedmann equation), and is bet-
for now. Thus, in the hybrid quantization approach ter suited to the hybrid quantization framework since it

7
doesnt diverge at the bounce point. For this reason u This quantization is particularly simple for scalar per-
is typically used in the dressed metric approach, as can turbations in the longitudinal gauge in which case the
be seen in (20). However, u and zs are not equivalent line element is
in LQC since the effective Friedmann equation (14) is
modified by LQC effects, and it is not known whether ds2 = N 2 (1 + 2)dt2 + a2 (1 2)d~x2 , (23)
using u instead of zs could lead to substantially different
predictions or not. where N is the background lapse and encodes the scalar
The equations of motion for the tensor modes hk are perturbations, assuming vanishing anisotropic stress in
obtained simply by replacing Q by h and u by a in (20) the matter field. The discretization of the space-time
[65]. Importantly, due to the form of these quantum on a lattice gives cells that each have a local scale factor
equations of motion, the well known standard techniques ai = a(1i ), and the long-wavelength perturbations are
of quantum field theory on a curved space-time can be encoded in differences between the ai of different cells.
used; in particular, it is possible to define nth -order adi- Clearly, in each homogeneous cell the line element is
abatic states and renormalize observables of interest like that of a spatially flat FLRW space-time (although with
the energy density of perturbations. an unusual form for the lapse). The loop quantization of
the FLRW line element in each cell is straightforward and
Finally, in this framework, quantum vacuum initial
the result is a loop quantization of all of the degrees of
conditions are typically imposed at (or near) the bounce
freedom in the discretized version of (23), namely both
point, based on the following heuristic argument: the
the background and the long-wavelength scalar pertur-
bounce is caused by gravity becoming repulsive at very
bations [51].
high energy densities, and if this repulsive force acts also
on the perturbations it might be expected that perturba- Then, if the wave functions in each cell are sharply
peaked, effective equations can be used in each cell to
tions would be smoothed out to be as small as possible,
hence justifying setting quantum vacuum initial condi- approximate the dynamics. From these effective equa-
tions it is possible to extract the equations of motion for
tions at the bounce point. Then, the perturbations can
be evolved to late times using (20) and its counterpart the background degrees of freedom, giving (14)(16) if
N = 1, and the dynamics of the perturbations are given
for tensor modes.
by [51]

zs
C. Separate Universe Quantization vk vk = 0. (24)
zs
The third approach to cosmological perturbation the- Note that the form of zs in this equation is the result of
ory in LQC is based on the separate universe approxima- a derivation starting from the full loop quantization in
tion used in cosmology to study long-wavelength pertur- the separate universe approximation. Thus, the separate
bations [77, 78], where long-wavelength modes are those universe approach suggests that zs = a/H is the correct
that satisfy zs /zs k 2 . term that should show up in p the LQC Mukhanov-Sasaki
Near the bounce, when LQC effects are important, effective equation, not u = a 3(1 + wef f )/8G as used
zs /zs a2 2
Pl , and therefore the restriction of the sep- in the dressed metric approach (although how much of a
arate universe approximation to long-wavelength modes quantitative difference this may make is not clear).
corresponds to, near the bounce, only considering sub- It is important to keep in mind that the effective equa-
Planckian modes. So, the results in this section can tion (24) is extracted from the quantum theory and only
safely be used, near the bounce, for sub-Planckian modes. holds when the wave function in each cell is sharply
(Once LQC effects are negligible, the Mukhanov-Sasaki peaked. If quantum fluctuations are important, then this
equation (17) of general relativity can safely be used for effective equation breaks down and it is necessary to in-
all, short- and long-wavelength, sub-Planckian modes.) stead use the full quantum equations of motion given in
The separate universe framework can be adapted to [51, 82].
LQC to provide a full loop quantization of both the back- So far, the loop quantization in the separate universe
ground and long-wavelength scalar perturbations. The approximation has only been completed for scalar pertur-
idea is simply to discretize a cosmological space-time with bations in the longitudinal gauge [51, 82]. In principle,
small perturbations into a lattice where each cell in the it could be extended to tensor perturbations (as well as
lattice is approximated to be homogeneous [51, 7982]. scalar perturbations in an arbitrary gauge) but then the
In the separate universe framework, the discretization line element would be significantly more complicated and
is chosen such that only long-wavelength modes are in- the loop quantization of the space-time discretized on a
cluded, and in this case interactions between neighbour- lattice, while possible, will not be as simple as for (23).
ing cells are negligible and can safely be ignored. Then, The separate universe approach to cosmological per-
since each cell is homogeneous and uninteracting with turbation theory in LQC has the major advantage in that
other cells, a loop quantization is possible in each cell it is the only one that allows for a loop quantization of
following the standard loop quantization techniques used both background and perturbative degrees of freedom.
on homogeneous space-times as reviewed in Sec. II A. However, it has a number of drawbacks as well: it is

8
only applicable to long-wavelength scalar perturbations, the classical Mukhanov-Sasaki equation, as reviewed in
it requires a gauge-fixing of the scalar perturbations be- Sec. III. Depending on the cosmological dynamics, some
fore quantization, and it can only be used if the matter modifications may leave traces in the CMB while others
fields have vanishing anisotropic stress. In particular, it will not.
cannot be applied to cosmological perturbations with a To be specific, holonomy corrections are most impor-
wavelength comparable to (or smaller than) Pl and so tant near the bounce point when the radius of the space-
does not address the trans-Planckian problem. time curvature is of the order of Pl , and therefore LQC
Nonetheless, the equation of motion (24) for scalar per- corrections to the k 2 term will only affect modes that
turbations can be used in a number of interesting set- are trans-Planckian at the bounce point, while LQC cor-
tings to calculate the evolution of long-wavelength cos- rections to zs /zs (that either modify the form of zs /zs ,
mological perturbations through the LQC bounce. This or the background dynamics of zs via the LQC effective
is particularly relevant for alternatives to inflation, like Friedmann equations) will only affect modes that are sub-
the matter bounce and ekpyrotic scenarios, where all of Planckian at the bounce point.
the observationally relevant modes today would have had While inverse triad effects are not as well understood
a wavelength much larger than Pl at the bounce point. as holonomy corrections in LQC, it is typically expected
that they will become important for trans-Planckian
modes (or perhaps within a few orders of magnitude of
IV. OBSERVATIONAL EFFECTS the Planck length) [81]. As a result, the LQC effects that
are observationally relevant today depend on the post-
The predictions of LQC, just like general relativity, de- bounce cosmological dynamics, and in particular whether
pend on the matter fields dominating the dynamics, and modes that were trans-Planckian at the bounce are ob-
therefore LQC effects will vary depending on the cosmo- servable in the CMB today.
logical scenario. In addition, since the three approaches For example, in both the matter bounce and ekpyrotic
to cosmological perturbation theory in LQC outlined scenarios the modes that are observed in the CMB today
above have some differences, the predictions may also de- were all far away from the Planck scale, and therefore
pend on the approach that is used. If this is the case, then only LQC corrections to z /z in (17) can leave any traces
it will be necessary to determine which approach is more in the CMB. On the other hand, for inflation with 70 e-
trustworthy. However, the predictions seem to be mostly folds or more, at least some of the modes observed today
independent of the framework used, with one important were trans-Planckian at the bounce point and in this case
exception, when the effective constraint approach is used LQC corrections to the k 2 term in (17) may be found at
outside of its domain of validity in inflationary models, small scales in the CMB. In fact, for inflation with 80 e-
that will be discussed below. folds or more, all of the modes that were sub-Planckian at
There is also the possibility that there may be some the bounce point are super-Hubble today, and in this case
pre-bounce physics that could leave a signature in the only LQC corrections to the k 2 term could potentially be
CMB, for example circles in the CMB of low variance observed today.
in the temperature as suggested in [83]. If this is indeed The results reviewed in the remainder of this section
the case, the geometric characteristics of these circles can build on many earlier results, including the pioneering
give important information into the pre-bounce era [84]. works [8893] that first studied LQC effects on cosmo-
However, so far there is no sign of such circles [8587], or logical perturbations, but for reasons of space here I will
of any other sign of structure from a pre-bounce epoch. focus only on the most recent results that represent the
Therefore, the most promising direction for observa- current understanding of the field.
tional tests appears to be calculating how LQC modifies
the predictions of various early universe models like infla-
tion, the matter bounce scenario and the ekpyrotic uni- A. Inflationary Models
verse, and check whether these effects could be detected
in the CMB. In inflationary cosmological models, there is a long pe-
In cosmological perturbation theory, short- and long- riod of accelerated expansion of the universe, typically
wavelength modes evolve differently, since different terms generated by a scalar field slowing rolling down its po-
in the Mukhanov-Sasaki equation dominate the dynam- tential V (). This inflationary phase generates from vac-
ics: in the classical Mukhanov-Sasaki equation (17), uum quantum fluctuations a nearly scale-invariant spec-
for short-wavelength modes k 2 zs /zs and for long- trum of primordial curvature perturbations, as observed
wavelength modes zs /zs k 2 . (The regime where both in the CMB, and also of primordial tensor perturbations
terms are comparable is typically very short for any given [94]. The most recent observations of the CMB strongly
Fourier mode, and in fact can be approximated as a dis- constrain the form of the inflationary potential [1, 2], and
continuous transition with the requirement that vk and can also be used to test any LQC effects that could mod-
vk be continuous at the transition time.) ify the standard inflationary predictions.
The various approaches to cosmological perturbation While LQC alone does not predict a long inflationary
theory in LQC predict a number of modifications to period, if there is an inflaton field (with a suitable po-

9
tential V ()) present then the probability is very high in the hybrid quantization framework: (i) setting the vac-
of there being a long era of slow-roll inflation [9597]. uum state at the bounce point to be exactly the fourth-
For typical solutions, the inflaton is kinetic-dominated order adiabatic vacuum state at that time [66], (ii) requir-
before and during the bounce point due to the Hubble ing that oscillations in the perturbations be minimized at
anti-friction term in the Klein-Gordon equation the initial time [68], and (iii) motivated by Penroses hy-
pothesis on the initial vanishing of the Weyl curvature
dV [99], choosing the vacuum state so that the universe be
+ 3H + = 0, (25)
d as homogeneous and isotropic as possible at the bounce
point, as permitted by the uncertainty relations [100].
and this drives the inflaton far from the minimum of the
Note that since the vacuum state depends on the dynam-
potential. Then, when expansion starts the Hubble term
ics of the background space-time, and quantum gravity
in the Klein-Gordon equation will act as a friction term
corrections are important during the bounce, these quan-
on the inflaton, until the inflaton reaches the slow-roll
tum gravity corrections will affect the choice of the initial
regime. Calculations show that for almost all solutions
vacuum state for the perturbations.
there will be at least 68 e-folds of slow-roll inflation.
While most studies of inflation in LQC have focused At a phenomenological level, differences between vari-
on the simplest case where the inflationary potential is ous choices regarding the initial vacuum state only be-
quadratic, V () = m2 2 /2 [66, 95], other potentials have come important at large scales since these differences
also been considered including the plateau potentials pre- vanish as a/k 0; in particular, at the bounce point the
ferred by the latest observational data [98]. In any case, ambiguity in the choice of the vacuum state may have
LQC effects are essentially independent of the specific potentially observational consequences for sub-Planckian
form of the inflaton potential, for the reason that LQC modes, but not for trans-Planckian modes.
effects become strong near the bounce and the inflaton For the choice (i) of the vacuum state, it is found that
field is typically kinetic-dominated during the bounce, as the power spectrum at large scales becomes oscillatory,
explained above, and so the dynamics are independent of with a frequency so rapid that the oscillations are not
the form of V () when LQC effects are important. realistically observable. What is observable is the aver-
On the other hand, LQC predictions do depend on the age power spectrum, which is amplified compared to the
duration of inflation. Recall that the dynamics of short- standard inflationary prediction, and in addition, a pos-
and long-wavelength perturbations (and LQC corrections itive running of the scalar spectral index is predicted at
thereof) are different. So, the LQC effects that are po- these scales, as well as a modification to the consistency
tentially observable in the CMB depend on the length relation of single field inflation at large scales [66, 101].
of inflation. More specifically, LQC effects on long- The first prediction is not favoured by observations which
wavelength perturbations may appear in the CMB only find the power at large scales to be smaller than expected
if there were at most 80 e-folds of inflation (where the [102, 103], rather than larger. Of course, these three par-
exact bound depends on the energy scale at which reheat- ticular effects are observable only if the long-wavelength
ing occurs) [49], while LQC effects on short-wavelength modes at the bounce point remain observable today, i.e.,
perturbations may be visible in the CMB only if there only if there were at most 80 e-folds of inflation.
were at least 70 e-folds of inflation (since CMB tem- Interestingly, even if there were more than 80 e-folds
perature anisotropies have been measured over 8 e-folds of inflationin which case the amplified modes are to-
of Fourier modes). day at super-horizon scalesthen these modes could af-
fect the observed power spectrum if there are strong cor-
relations between the observable and the super-horizon
1. Hybrid quantization modes, generated by the non-linearities in the dynam-
ics of the cosmological perturbations. For the vacuum
In the hybrid quantization framework, there are only choice (i), there is an amplification of power at large
LQC corrections to the u /u term via the LQC modifi- scales, as explained above, and non-Gaussianities (during
cations of the background dynamics (14)(16). For this the standard inflationary era) will induce correlations be-
reason, at short scales the dynamics are the same as those tween the super-horizon modes and observable modes in
of general relativity, and so in this case it may be possible the CMB. Non-Gaussianities are strongest between the
to observe LQC effects only if there are less than 80 super-horizon modes and the CMB angular multipoles
e-folds of inflation. . 30, and the effect of these non-Gaussianities on the
In this approach quantum vacuum initial conditions CMB is a power asymmetry at large scales [104]. To be
are imposed at the bounce time, motivated by the heuris- specific, this gives a dipole modulation in the power at
tic picture of a repulsive force simultaneously generat- large scales, in agreement with observations [105], with
ing the bounce and smoothing out the perturbations (as higher multipole modulation having a much smaller am-
much as possible, given the quantum uncertainty rela- plitude. An important point is that the dipole modula-
tions). However, there is an ambiguity in selecting a tion is strongest (and can explain observations only) if
vacuum state for a quantum theory on a dynamical back- the amplified modes are only slightly super-horizon.
ground. So far, three possibilities have been considered On the other hand, the choices (ii) and (iii) for the

10
initial vacuum state both give a suppression of power at not problematic in this setting). For more on this as-
large scales [98, 106]. For choice (iii), this is a natural re- sumption, see Sec. VI B.
sult of choosing the initial vacuum state so that perturba-
tions (at large scales) are as small as allowed by quantum
mechanics. Interestingly, the suppression at large scales 2. Effective constraint approach: Holonomy corrections
agrees quantitatively with observations [102, 103]. This
is a non-trivial result: while these initial conditions will LQC effects in an inflationary background have also
clearly reduce power at large scales, this effect could a been studied in the effective constraint approach to cos-
priori have been too large or too small to explain obser- mological perturbation theory, taking into account the
vations. For choice (ii), this result is more surprising, effect of holonomy corrections to tensor [107] and scalar
but suggests that the choices (ii) and (iii) for the initial [108] modes. In this case there are LQC corrections to
quantum vacuum may be related. the dynamics of both short- and long-wavelength cosmo-
In addition, at least for the initial vacuum state (iii), logical perturbations.
the same effect modifies the E-mode polarization in a sim- At large scales, there is a slight bump of increased
ilar way and thus also suppresses the T-E and E-E power power near the Fourier mode ko whose wavelength was
spectra at large scales [106] (with T denoting the tem- Pl at the bounce time, and then the power is
perature anisotropies and E the E-mode polarization). slightly suppressed at scales larger than ko [49]. Fur-
These additional predictions will hopefully allow future ther work is needed to determine whether this LQC effect
observations of the CMB to differentiate between this could account for the observed low power at large scales
scenario of primordial cosmology and other potential ex- [102, 103], although it would certainly require fine-tuning
planations for low power in the T-T power spectrum at to obtain the correct number of e-folds for the suppres-
large scales. Finally, in this scenario the tensor power sion to appear at the correct scale. The same bump and
spectrum is also suppressed in the same fashion as the suppression of power at large scales is also predicted for
curvature power spectrum (although this effect will likely the tensor modes (although of course with a smaller am-
be harder to test for than suppression in the T-E and E-E plitude).
power spectra). At short scales (i.e., the Fourier modes that are trans-
These results raise three points. First, the number of Planckian during the bounce) there is an exponential
e-folds during inflation must be fine-tuned to approxi- growth in the amplitude of the tensor and scalar pertur-
mately 72 e-folds for these LQC effects to occur at pre- bations during bounce [107, 108]. Clearly, this amplified
cisely the scales where the anomalies are observed in the power at small scales is not observed and this rules out
CMB (i.e., . 30 for the power deficit and < 64 this type of LQC effect [60]. However, note that this ex-
for the dipolar modulation in the power asymmetry). ponential growth only occurs for trans-Planckian modes,
Whether this fine-tuning can be justified as the result which is precisely where the effective formalism breaks
of pre-bounce dynamics or of some other feature that down since quantum fluctuations are no longer negligi-
could limit the number of inflationary e-folds remains a ble at the Planck scale (and quantum fluctuations being
challenge for future work. negligible is a key assumption in this version of the ef-
Also, since the predicted power spectrum at large fective constraint framework; in principle, quantum fluc-
scales depends on the initial conditions imposed at the tuations could be included in an appropriate extension
bounce point, it is important to address the ambiguity of the effective constraints). Therefore, this prediction is
in the choice of the quantum vacuum state (at least in a result of this approach being applied outside of its do-
this relatively simple context of cosmological perturba- main of validity and one should not be surprised that the
tion theory), perhaps in terms of the inputs used to define effective constraint approach breaks down in this regime.
the preferred vacuum. In particular, does LQC in some Note that the predictions for long-wavelength perturba-
way suggest a new physical input that can be used to se- tions, which are obtained within the regime of validity
lect a specific vacuum at a specific time? The suggestions of the theory, are not ruled out by observations. There-
in [68, 100] propose potential solutions to this problem. fore, the lesson here appears to be not that the effective
On the other hand, if there is no canonical choice (based constraint approach is wrong, but rather that it is im-
on some new physical principle) for the initial vacuum portant that it be used only in its regime of validity, i.e.,
state, then the predictions of LQC in inflationary mod- for sub-Planckian modes only.
els at large scales will depend on the choice of the initial Finally, as is clear from the discussion here and in
vacuum state (at least, if the initial conditions are to be Sec. IV A 2, this effective constraint approach to cos-
imposed at the bounce point). In this case, it may be mological perturbation theory in LQC and the hybrid
possible to constrain the initial vacuum state by obser- quantization framework give different predictions in the
vations, but the theory will lose predictive power. inflationary setting for short-wavelength modes. This is
Finally, note that in the hybrid quantization approach due to this effective constraint approach being used out-
it is assumed that the physical wavelength of cosmolog- side of its domain of validity (i.e., for trans-Planckian
ical perturbations can be arbitrarily small (and the re- modes). The hybrid quantization approach, on the other
sults here clearly show that trans-Planckian modes are hand, does not break down for trans-Planckian modes,

11
and therefore the results obtained for trans-Planckian perturbations across the bounce to verify that they do
modes using the hybrid quantization are more reliable. in fact remain (nearly) scale-invariant. This calculation
can be done using the separate universe approach, since
all of the observationally relevant modes are in the long-
3. Effective constraint approach: Inverse triad effects wavelength limit throughout the bounce. (The analogous
calculation for tensor modes can be done using the results
The effect of inverse triad corrections on tensor [109, of the effective constraint approach.)
110] and scalar [110, 111] perturbations has also been There are two main results: first, both the curvature
studied in the effective constraint approach. For the and tensor modes remain scale-invariant throughout and
LQC of homogeneous cosmological space-times, inverse after the bounce, and second, the amplitude of the ten-
triad effects only become important when length scales sor modes are typically suppressed by LQC effects dur-
approach the Planck scale (or come within a few orders ing the bounce, in some cases significantly [114]. The
of magnitude if inverse triad effects are strong). This suppression depends on the equation of state of the mat-
usually does not happen in homogeneous LQC since the ter field during the bounce; the closer the equation of
bounce occurs when the space-time curvature is Planck- state is to zero, the more the tensor-to-scalar ratio will
scale, and in typical solutions the physical volume of the be suppressed during the bounce [51]. In particular, if
space-time at the bounce point will be much larger than the dominant matter field during the bounce is radiation
3Pl . However, this is no longer the case for cosmological (as was the case in the early universe), then the equation
perturbations: in inflation with more than 70 e-folds, of state is = 1/3 and the tensor-to-scalar ratio will be
some Fourier modes of the perturbations (that are obser- suppressed by a factor of 1/4 during the bounce [115].
vationally relevant today) will have a wavelength com- Therefore, not only does LQC provide the bounce re-
parable to the Planck scale at early, near-bounce times. quired by the matter bounce scenario and preserves the
Therefore, cosmological perturbation theory is a partic- scale-invariance of the perturbations across the bounce,
ularly promising arena to study inverse triad effects and but it may also leave a quantum gravity signal in the
constrain them via observations. CMB, namely a smaller-than-expected tensor-to-scalar
For both tensor and scalar modes, the inverse triad ef- ratio. This effect could allow observations to distinguish
fects studied so far generate a larger-than-expected run- between a matter bounce scenario with an LQC bounce
ning of the spectral index by enhancing power at large or with a bounce generated by other physics, e.g., by a
scales [109, 111]. (The surprising result that these inverse matter field violating energy conditions. Furthermore,
triad effects modify the spectrum at large scales rather the amplitude of the suppression of the tensor-to-scalar
than at short scales is not yet fully understood.) In infla- ratio depends on the dominant matter field during the
tionary models with less than 80 e-folds, this enhance- bounce, and so if this effect is indeed measured in the
ment would be present at scales observable today, and in CMB in the future, giving evidence of an LQC bounce,
this case the latest observational bounds on the running it would also provide important information concerning
of the spectral index to be at most of the order 102 [2], as the dominant matter field during the bounce.
well as the observed smaller-than-expectedrather than
largeramplitude of the scalar power spectrum at large
scales [102, 103] strongly constrain the amplitude of in- C. Ekpyrotic Universe
verse triad effects in cosmological perturbation theory.
Ekpyrotic scenarios have also been considered in the
context of LQC. The ekpyrotic universe is cyclic, with
B. Matter Bounce Scenario a scalar field whose potential allows the scalar field to
act as dark energy in an expanding universe, cause a
An alternative to inflation is the matter bounce sce- recollapse after a long dark-energy-dominated era, and
nario, where vacuum fluctuations in curvature and ten- act as an ultra-stiff fluid during contraction. Due to
sor perturbations become scale-invariant in a contracting the ultra-stiff behaviour of the scalar field during con-
FLRW space-time where the matter content has vanish- traction, not only do anisotropies remain small at all
ing pressure. Then, if a bounce can be generated to pro- times, but also vacuum entropy perturbations become
vide a non-singular transition from contraction to expan- scale-invariant. These scale-invariant entropy perturba-
sion, these scale-invariant perturbations provide suitable tions can then act as a source to generate scale-invariant
initial conditions for the expanding universe that can ex- curvature perturbations, and if the contracting era is fol-
plain the (near) scale-invariance observed in the CMB, lowed by a bounce, these scale-invariant perturbations
under the assumption that the bounce does not modify provide good initial conditions to generate the CMB, if
the power spectrum [112, 113]. they are not modified during the bounce [116].
It is immediately clear that the quantum gravity ef- One of the main challenges of the ekpyrotic scenario
fects of LQC can generate the bounce that is required is to generate the bounce to pass from the contracting
for this scenario to be viable, and furthermore it is possi- to the expanding phase. As LQC automatically replaces
ble to explicitly calculate the evolution of the curvature the big-crunch singularity by a non-singular bounce, it is

12
natural to consider a realization of the ekpyrotic universe riety of cosmological scenarios, as reviewed above. How-
with an LQC bounce. This possibility has been explored, ever, there still remain some important open problems
both at the homogeneous level [117], and also studying that need to be addressed. Here I briefly discuss what
the dynamics of perturbations as they cross the bounce are in my opinion three of the main open problems
[118]. Since the observationally relevant modes today in LQC: determining its relation to LQG, the trans-
would all have been far from the Planck scale during the Planckian problem, and a possible signature change
bounce, the separate universe approach to cosmological from a Lorentzian to a Euclidean space-time around the
perturbation theory in LQC can safely be used here. bounce point.
Using (24), it is easy to check that if the curva-
ture perturbations are scale-invariant before the bounce
(as sourced by the scale-invariant entropy perturba- A. Relation to Loop Quantum Gravity
tions), then these curvature perturbations remain scale-
invariant during and after the bounce [118], giving a vi- While LQC uses the same variables and quantization
able realization of the ekpyrotic scenario. On the other techniques as loop quantum gravity, it has not been de-
hand, in the absence of entropy perturbations, the curva- rived from LQG. The reason for this is that in LQC the
ture perturbations after the bounce have a blue spectrum symmetries of the cosmological space-times of interest
and so this possibility is ruled out. Thus, entropy pertur- are imposed before quantization, rather than the reverse.
bations play an essential role in ekpyrotic models. Also, Since quantization and symmetry reduction do not nec-
while LQC can naturally provide the bounce the ekpy- essarily commute, it is important to understand the rela-
rotic scenario needs, it does not seem to leave any im- tion between LQC and the cosmological sector of LQG.
print on the cosmological perturbations. In other words, In particular, it is necessary to determine if there are any
in the ekpyrotic scenario there does not appear to be a important LQG effects that are not captured by LQC.
way to differentiate between a bounce caused by LQC, or
First, at the kinematical level, it has been shown that
a bounce caused by, e.g., a violation of the weak energy
the LQC kinematical Hilbert space can be embedded
condition.
in the LQG Hilbert space [122124] and that further-
more the requirement of invariance under the residual
diffeomorphisms allowed by the gauge-fixing (2) uniquely
V. COSMOLOGICAL CONSTANT
selects the representation of the (symmetry-reduced)
holonomy-flux algebra used in LQC [125127]. Based
LQC is compatible with a cosmological constant , on these results the relation between the two theories at
whether it is positive [31, 32] or negative [33]. The only the kinematical level is quite well understood.
constraint is that must be smaller than 8Gc for the Less is known at the dynamical level. A number of ap-
quantum theory to be non-trivial and have a good semi- proaches have been developed to address this problem,
classical limit; this is necessary so that the energy density including spin foam cosmology [128132] and quantum-
associated to the cosmological constant is smaller than reduced loop gravity, whether based on one node repre-
c , the critical energy density of LQC. senting all of space [133, 134] or many nodes in a lattice
Therefore, LQC can easily include a small positive cos- [135139]. The quantum Friedmann dynamics can be ex-
mological constant, as observations appear to require. tracted in these approaches and the correct classical limit
However, LQC does not address what is often called the is recovered if an important lesson from LQC is used: the
cosmological constant problem which asks for an expla- length of the holonomies constituting the field strength
nation from fundamental physics of why is so small operator in the Hamiltonian constraint must depend on
compared to the Planck scale. the densitized triad operator, as discussed in Sec. II A be-
Rather, in LQC (and, more generally, in LQG) the low Eq. (11). While these results are very encouraging,
point of view is typically that the cosmological constant they rely in an essential way on input from LQC itself,
is a constant of nature like Newtons gravitational con- and it would be nice to go beyond them.
stant or Plancks constant. If this point of view is correct, One potential way forward in this direction is offered
then should be measured through some experiments by the suggestion that condensate states in group field
and/or observations, and this measurement will deter- theory (a second-quantized reformulation of LQG) may
mine the value of ; it does not arise as the result of a correspond to the cosmological sector of LQG [140]. In-
more fundamental calculation [119, 120]. (While it has terestingly, for a group field theory corresponding to
been suggested that the value of may run [121], this gravity coupled to a massless scalar field, it is possi-
possibility has not yet been investigated in LQC.) ble to extract the cosmological dynamics of a certain
type of condensate states through an appropriate coarse-
graining, with the result that the big-bang singularity is
VI. OPEN QUESTIONS generically resoved and replaced by a bounce [141]. Fur-
thermore, for a particularly simple family of condensate
Loop quantum cosmology is by now a mature field states, the cosmological dynamics are almost exactly the
where predictions can be calculated explicitly for a va- effective Friedmann equations of LQC (14)(16). Note

13
R
that these results are obtained without requiring any where H[N ] := N H. This is the usual relation in gen-
direct input from LQC. Finally, for some group field eral relativity, modified by the prefactor of (1 2/c ).
theory models, a low spin regime emerges at low cur- This modification signals a strong departure from gen-
vatures [142]precisely in accordance with heuristic ex- eral relativity in the Planck regime: the standard con-
pectations coming from the theoretical underpinnings of straint algebra of general relativity uniquely determines
LQC [5, 24, 143]and the dynamics of the condensate the Hamiltonian and diffeomorphism constraints (up to
states can also naturally generate accelerated expansion the values of G and ), under the assumptions that
and/or the recollapse at large scales necessary for a cyclic general relativity is second-order in derivatives and that
universe [144]. For a more detailed review of the group H and Ha are respectively the generators of time-like
field theory approach to cosmology, see [145]. and space-like diffeomorphisms [146]. Furthermore, even
higher-derivative theories of gravity also have the same
constraint algebra [147]. So, the corrections found in the
B. Trans-Planckian Problem effective constraint approach cannot come from higher
space-time curvature terms.
Furthermore, in the modified constraint algebra (26)
A requirement for any theory of quantum gravity is
the prefactor becomes negative near the bounce, in the
that it must predict whether (cosmological) perturba-
regime that c /2 < c , and at the bounce point
tions can have a wavelength shorter than the Planck
where = c the prefactor is 1. It has been suggested
length or not, and if so the theory must provide the equa-
that this may correspond to a signature change from a
tions of motion for these trans-Planckian modes, which
Lorentzian space-time to a Euclidean space-time [148
may include important quantum gravity corrections.
151], for the reason that the only difference between the
So far, as already mentioned in Sec. III, this problem
constraint algebras for Lorentzian and Euclidean geome-
has not been fully addressed in LQC: trans-Planckian
tries is an overall sign in the Poisson bracket of the scalar
modes are outside the regime of validity of both the effec-
constraint with itself, and here the prefactor goes from 1
tive constraint and separate universe approaches to cos-
in the classical limit to 1 at the bounce point. In ad-
mological perturbation theory in LQC. And while trans-
dition to this, the equations of motion (18)(19) for the
Planckian modes are safely included in the hybrid quan-
scalar and tensor perturbations obtained in the effective
tization approach to cosmological perturbation theory in
constraint framework become elliptic around the bounce
LQC, this is due to the assumption that there is no min-
point, also suggesting a signature change.
imal length in LQG rather than being the result of a
calculation. This is an interesting proposal, and if true would sug-
gest an unexpected convergence between LQC and other
At present, it is not known whether there is a mini-
a priori completely unrelated approaches to quantum cos-
mal non-zero eigenvalue to the length operator in LQG,
mology based on quantum tunneling from a Euclidean
due to the complexity of the length operators proposed
instanton [152, 153]. Furthermore, a signature change
in the LQG literature [7476]. To clarify the situation
in the Planck regime would suggest a new way to im-
concerning trans-Planckian perturbations in LQC, it is
pose initial conditions for cosmological perturbations and
important to determine the spectrum of the length op-
could generate new observational effects [154158]. As an
erator. If it is found that there exist arbitrarily small
aside, note that (contrary to what has occasionally been
eigenvalues of the length operator, this will support the
stated in the literature) even if there is a signature change
hypothesis used in the hybrid quantization. Otherwise,
around the bounce point, it is possible to speak of evolu-
it may be necessary to correct the results obtained so far
tion through the bounce in a relational sense. Since the
by introducing a minimal length cut-off in an appropriate
matter fields near the bounce are kinetic dominated, they
manner.
will evolve monotonically and so will provide good rela-
tional clocks during the bounce. Therefore, even if there
is no time coordinate in the vicinity of the bounce due to
C. Signature Change? the Euclidean nature of space-time there, there nonethe-
less exists a well-defined relational framework wherein
An intriguing result in the effective constraint ap- dynamics (with respect to the relational clocks) are well-
proach to cosmological perturbation theory in LQC when defined, including around the bounce point.
including holonomy corrections is that the constraint al- However, not all evidence points in the direction of a
gebra changes. To be specific, while the Poisson brack- signature change at the bounce. First, the equations of
ets of the diffeomorphism constraint with itself and the motion for perturbations become elliptic near the bounce
Poisson bracket between the diffeomorphism and scalar also in other bouncing cosmologies (see, e.g., [159]) where
constraints remain the same, the Poisson bracket of the the space-time is clearly Lorentzian at all times. There-
scalar constraint with itself becomes [55] fore, the fact that the equations of motion for the pertur-
  bations become elliptic, on its own, is not enough to show
2 that the space-time becomes Euclidean. (Note also that
{H[N ], H[N]} = 1 Ha [(N a N N a N )], (26)
c the exponential instability in the equations of motion

14
only affects trans-Planckian modes [108], precisely where straints as higher space-time curvature corrections, some-
these equations of motion break down.) Second, the hy- thing that was impossible for Ashtekar-Barbero variables.
brid quantization approach to cosmological perturbation In any case, there is no indication of signature change in
theory sees no evidence of a signature change. (The sepa- self-dual LQC.
rate universe approach cannot address this question since To summarize, although there are intriguing results
its key approximation is to ignore interactions and hence in the effective constraint approach to cosmological per-
spatial derivatives, and in that limit {H[N ], H[N ]} = 0.) turbation theory that may appear to hint at a signature
Furthermore, if the signature change proposal is cor- change, further work is needed to confirm or rule out this
rect, then since the Poisson bracket (26) is the same as possibility.
for Euclidean general relativity at the bounce point (as
are the other two Poisson brackets in the constraint alge-
bra), and since the effective constraints are second-order VII. SUMMARY
in derivatives, it should follow immediately from the re-
sults of [146] that the LQC Hamiltonian constraint at
the bounce point should also be that of Euclidean gen- The main prediction of loop quantum cosmology is
eral relativity. However, this is not the case, as can easily that the big-bang singularity is resolved due to quantum
be checked. It is not immediately clear why the results gravity effects and is replaced by a cosmic bounce. In
of [146] do not hold in this case, although there are sev- addition, frameworks have been developed to study cos-
eral possibilities: (i) the results of [146] are derived using mological perturbation theory in LQC. The quantitative
the spatial metric and its conjugate momentum rather predictions of LQC (just like classical general relativity)
than the Ashtekar-Barbero variables, perhaps the results depend on the matter fields dominating the dynamics
do not hold for a different choice of elementary vari- and therefore the predictions of LQC, including those
ables; (ii) perhaps in the effective constraint approach concerning the CMB, depend on the cosmological sce-
the constraints can no longer be interpreted as genera- nario. In particular, effects in inflation and the matter
tors of diffeomorphisms (although this would be prob- bounce scenario are different.
lematic since there would no longer exist a clear space- In inflation with 72 e-folds starting from the bounce
time interpretation); (iii) another possibility is that the point, LQC can generate a power spectrum of the curva-
phase spaceassumed to be unchanged in the effective ture perturbations with less power at large scales. (Less
constraint approachmay in fact need to be enlarged if e-folds, for this choice of the initial vacuum state for the
quantum corrections add higher derivative terms to the perturbations, is ruled out observationally, while if there
action; (iv) finally, perhaps for the results of [146] to hold, were more e-folds this effect would be confined to super-
the numerical prefactor to (26) must be exactly 1 (or horizon scales and would not be observable.) In this case,
1 for Euclidean space-times), and that even infinitesi- the same power suppression effect is predicted to occur
mal departures from this are not allowedbut if this last also in the T-E and E-E correlation functions as well as
possibility is indeed the case, then clearly the modified in the power spectrum of tensor modes.
term (26) in the constraint algebra does not suggest that In the matter bounce scenario, LQC can suppress the
space-time becomes Euclidean, even in a neighbourhood tensor-to-scalar ratio during the bounce. The precise
of the bounce point, since in any neighbourhood of the numerical factor by which the tensor-to-scalar ratio is
bounce point the prefactor is not everywhere exactly 1. suppressed depends on the dominant matter field dur-
Obviously, an important open problem is to understand ing the bounce; for example, the tensor-to-scalar ra-
precisely why the results of [146] are not applicable to tio is suppressed by a factor of 1/4 if the bounce is
LQC, in the sense described in this paragraph. Until radiation-dominated. Measuring this suppression factor
this last point is understood, it will not be clear whether would therefore provide important information about the
there truly is a signature change in LQC. physics of the bounce.
Finally, the possibility of a signature change occur- In short, while there do remain some important open
ring around the LQC bounce point has been thrown questions, loop quantum cosmology is now a mature field
into further doubt by some recent results of the effective where it is possible to explicitly calculate predictions in
constraint approach to cosmological perturbation theory a number of interesting cosmological settings that can
based on self-dual LQC. While the version of homoge- realistically be tested by observations of the CMB.
neous LQC based on self-dual variables is qualitatively
similar to standard LQC insofar as it also predicts that
the big-bang singularity is resolved by a cosmic bounce
[4547], important qualitative differences arise when per-
turbative degrees of freedom are included: in the effective ACKNOWLEDGMENTS
constraint approach based on self-dual variables, the con-
straint algebra is unchanged from that of general relativ- I would like to thank Ivan Agullo, Aurelien Barrau,
ity [160]. As a result, for self-dual variables it may be pos- Martin Bojowald, Guillermo Mena Marugan and Param-
sible to interpret the modifications to the effective con- preet Singh for helpful discussions.

15
[1] WMAP, G. Hinshaw et al., Nine-Year Wilkinson comparative analysis, Phys. Rev. D84 (2011) 064012,
Microwave Anisotropy Probe (WMAP) Observations: arXiv:1108.0829.
Cosmological Parameter Results, Astrophys. J. Suppl. [19] C. Rovelli and E. Wilson-Ewing, Why are the
208 (2013) 19, arXiv:1212.5226. eective equations of loop quantum cosmology so
[2] Planck, P. A. R. Ade et al., Planck 2015 results. accurate?, Phys. Rev. D90 (2014) 023538,
XIII. Cosmological parameters, Astron. Astrophys. arXiv:1310.8654.
594 (2016) A13, arXiv:1502.01589. [20] V. Taveras, Corrections to the Friedmann Equations
[3] Planck, P. A. R. Ade et al., Planck 2015 results. from LQG for a Universe with a Free Scalar Field,
XVII. Constraints on primordial non-Gaussianity, Phys. Rev. D78 (2008) 064072, arXiv:0807.3325.
Astron. Astrophys. 594 (2016) A17, [21] A. Ashtekar, T. Pawlowski, P. Singh, and
arXiv:1502.01592. K. Vandersloot, Loop quantum cosmology of k=1
[4] M. Bojowald, Absence of singularity in loop quantum FRW models, Phys. Rev. D75 (2007) 024035,
cosmology, Phys. Rev. Lett. 86 (2001) 52275230, arXiv:gr-qc/0612104.
arXiv:gr-qc/0102069. [22] L. Szulc, W. Kaminski, and J. Lewandowski, Closed
[5] A. Ashtekar, T. Pawlowski, and P. Singh, Quantum FRW model in Loop Quantum Cosmology, Class.
Nature of the Big Bang: Improved dynamics, Phys. Quant. Grav. 24 (2007) 26212636,
Rev. D74 (2006) 084003, arXiv:gr-qc/0607039. arXiv:gr-qc/0612101.
[6] A. Ashtekar, M. Bojowald, and J. Lewandowski, [23] K. Vandersloot, Loop quantum cosmology and the k
Mathematical structure of loop quantum cosmology, = - 1 RW model, Phys. Rev. D75 (2007) 023523,
Adv. Theor. Math. Phys. 7 (2003) 233268, arXiv:gr-qc/0612070.
arXiv:gr-qc/0304074. [24] A. Ashtekar and E. Wilson-Ewing, Loop quantum
[7] M. Bojowald, Loop quantum cosmology, Living Rev. cosmology of Bianchi I models, Phys. Rev. D79
Rel. 11 (2008) 4. (2009) 083535, arXiv:0903.3397.
[8] A. Ashtekar and P. Singh, Loop Quantum [25] A. Ashtekar and E. Wilson-Ewing, Loop quantum
Cosmology: A Status Report, Class. Quant. Grav. 28 cosmology of Bianchi type II models, Phys. Rev. D80
(2011) 213001, arXiv:1108.0893. (2009) 123532, arXiv:0910.1278.
[9] K. Banerjee, G. Calcagni, and M. Martn-Benito, [26] E. Wilson-Ewing, Loop quantum cosmology of
Introduction to loop quantum cosmology, SIGMA 8 Bianchi type IX models, Phys. Rev. D82 (2010)
(2012) 016, arXiv:1109.6801. 043508, arXiv:1005.5565.
[10] I. Agullo and P. Singh, Loop Quantum Cosmology: A [27] C. G. Bohmer and K. Vandersloot, Loop Quantum
brief review, arXiv:1612.01236. Dynamics of the Schwarzschild Interior, Phys. Rev.
[11] P. Singh and E. Wilson-Ewing, Quantization D76 (2007) 104030, arXiv:0709.2129.
ambiguities and bounds on geometric scalars in [28] A. Corichi and P. Singh, Loop quantization of the
anisotropic loop quantum cosmology, Class. Quant. Schwarzschild interior revisited, Class. Quant. Grav.
Grav. 31 (2014) 035010, arXiv:1310.6728. 33 (2016) 055006, arXiv:1506.08015.
[12] W. Kaminski and J. Lewandowski, The Flat FRW [29] T. Pawlowski, R. Pierini, and E. Wilson-Ewing, Loop
model in LQC: The Self-adjointness, Class. Quant. quantum cosmology of a radiation-dominated at
Grav. 25 (2008) 035001, arXiv:0709.3120. FLRW universe, Phys. Rev. D90 (2014) 123538,
[13] A. Ashtekar, A. Corichi, and P. Singh, Robustness of arXiv:1404.4036.
key features of loop quantum cosmology, Phys. Rev. [30] A. Ashtekar, T. Pawlowski, and P. Singh, unpublished.
D77 (2008) 024046, arXiv:0710.3565. [31] W. Kaminski and T. Pawlowski, The LQC evolution
[14] M. Martn-Benito, G. A. Mena Marugan, and operator of FRW universe with positive cosmological
J. Olmedo, Further Improvements in the constant, Phys. Rev. D81 (2010) 024014,
Understanding of Isotropic Loop Quantum arXiv:0912.0162.
Cosmology, Phys. Rev. D80 (2009) 104015, [32] T. Pawlowski and A. Ashtekar, Positive cosmological
arXiv:0909.2829. constant in loop quantum cosmology, Phys. Rev.
[15] P. Diener, B. Gupt, and P. Singh, Chimera: A hybrid D85 (2012) 064001, arXiv:1112.0360.
approach to numerical loop quantum cosmology, [33] E. Bentivegna and T. Pawlowski, Anti-deSitter
Class. Quant. Grav. 31 (2014) 025013, universe dynamics in LQC, Phys. Rev. D77 (2008)
arXiv:1310.4795. 124025, arXiv:0803.4446.
[16] P. Diener, B. Gupt, and P. Singh, Numerical [34] A. Corichi and P. Singh, A Geometric perspective on
simulations of a loop quantum cosmos: robustness of singularity resolution and uniqueness in loop quantum
the quantum bounce and the validity of eective cosmology, Phys. Rev. D80 (2009) 044024,
dynamics, Class. Quant. Grav. 31 (2014) 105015, arXiv:0905.4949.
arXiv:1402.6613. [35] B. Gupt and P. Singh, Contrasting features of
[17] P. Diener, B. Gupt, M. Megevand, and P. Singh, anisotropic loop quantum cosmologies: The Role of
Numerical evolution of squeezed and non-Gaussian spatial curvature, Phys. Rev. D85 (2012) 044011,
states in loop quantum cosmology, Class. Quant. arXiv:1109.6636.
Grav. 31 (2014) 165006, arXiv:1406.1486. [36] B. Gupt and P. Singh, Quantum gravitational Kasner
[18] G. A. Mena Marugan, J. Olmedo, and T. Pawlowski, transitions in Bianchi-I spacetime, Phys. Rev. D86
Prescriptions in Loop Quantum Cosmology: A (2012) 024034, arXiv:1205.6763.

16
[37] A. Corichi and E. Montoya, Eective Dynamics in Grav. 29 (2012) 095010, arXiv:1111.3535.
Bianchi Type II Loop Quantum Cosmology, Phys. [56] T. Cailleteau, A. Barrau, J. Grain, and F. Vidotto,
Rev. D85 (2012) 104052, arXiv:1201.4853. Consistency of holonomy-corrected scalar, vector and
[38] A. Corichi and E. Montoya, Loop quantum cosmology tensor perturbations in Loop Quantum Cosmology,
of Bianchi IX: Eective dynamics, arXiv:1502.02342. Phys. Rev. D86 (2012) 087301, arXiv:1206.6736.
[39] D.-W. Chiou, Phenomenological dynamics of loop [57] T. Cailleteau, L. Linsefors, and A. Barrau,
quantum cosmology in Kantowski-Sachs spacetime, Anomaly-free perturbations with inverse-volume and
Phys. Rev. D78 (2008) 044019, arXiv:0803.3659. holonomy corrections in Loop Quantum Cosmology,
[40] P. Singh, Are loop quantum cosmos never singular?, Class. Quant. Grav. 31 (2014) 125011,
Class. Quant. Grav. 26 (2009) 125005, arXiv:1307.5238.
arXiv:0901.2750. [58] T. Cailleteau and A. Barrau, Gauge invariance in
[41] P. Singh and F. Vidotto, Exotic singularities and Loop Quantum Cosmology : Hamilton-Jacobi and
spatially curved Loop Quantum Cosmology, Phys. Mukhanov-Sasaki equations for scalar perturbations,
Rev. D83 (2011) 064027, arXiv:1012.1307. Phys. Rev. D85 (2012) 123534, arXiv:1111.7192.
[42] P. Singh, Curvature invariants, geodesics and the [59] M. Bojowald, Quantum Cosmology: Eective
strength of singularities in Bianchi-I loop quantum Theory, Class. Quant. Grav. 29 (2012) 213001,
cosmology, Phys. Rev. D85 (2012) 104011, arXiv:1209.3403.
arXiv:1112.6391. [60] B. Bolliet, A. Barrau, J. Grain, and S. Schander,
[43] S. Saini and P. Singh, Geodesic completeness and the Observational exclusion of a consistent loop quantum
lack of strong singularities in eective loop quantum cosmology scenario, Phys. Rev. D93 (2016) 124011,
Kantowski-Sachs spacetime, arXiv:1606.04932. arXiv:1510.08766.
[44] A. Corichi and A. Karami, Loop quantum cosmology [61] M. Fernandez-Mendez, G. A. Mena Marugan, and
of k=1 FRW: A tale of two bounces, Phys. Rev. D84 J. Olmedo, Hybrid quantization of an inationary
(2011) 044003, arXiv:1105.3724. universe, Phys. Rev. D86 (2012) 024003,
[45] J. Ben Achour, J. Grain, and K. Noui, Loop Quantum arXiv:1205.1917.
Cosmology with Complex Ashtekar Variables, Class. [62] M. Fernandez-Mendez, G. A. Mena Marugan, and
Quant. Grav. 32 (2015) 025011, arXiv:1407.3768. J. Olmedo, Hybrid quantization of an inationary
[46] E. Wilson-Ewing, Loop quantum cosmology with model: The at case, Phys. Rev. D88 (2013) 044013,
self-dual variables, Phys. Rev. D92 (2015) 123536, arXiv:1307.5222.
arXiv:1503.07855. [63] L. C. Gomar, M. Fernandez-Mendez, G. A.
[47] E. Wilson-Ewing, Anisotropic loop quantum Mena Marugan, and J. Olmedo, Cosmological
cosmology with self-dual variables, Phys. Rev. D93 perturbations in Hybrid Loop Quantum Cosmology:
(2016) 083502, arXiv:1512.03684. Mukhanov-Sasaki variables, Phys. Rev. D90 (2014)
[48] V. F. Mukhanov, H. Feldman, and R. H. 064015, arXiv:1407.0998.
Brandenberger, Theory of cosmological [64] L. Castello Gomar, M. Martn-Benito, and G. A.
perturbations, Phys. Rept. 215 (1992) 203333. Mena Marugan, Quantum corrections to the
[49] A. Barrau, T. Cailleteau, J. Grain, and J. Mielczarek, Mukhanov-Sasaki equations, Phys. Rev. D93 (2016)
Observational issues in loop quantum cosmology, 104025, arXiv:1603.08448.
Class. Quant. Grav. 31 (2014) 053001, [65] I. Agullo, A. Ashtekar, and W. Nelson, Extension of
arXiv:1309.6896. the quantum theory of cosmological perturbations to
[50] A. Ashtekar and A. Barrau, Loop quantum the Planck era, Phys. Rev. D87 (2013) 043507,
cosmology: From pre-inationary dynamics to arXiv:1211.1354.
observations, Class. Quant. Grav. 32 (2015) 234001, [66] I. Agullo, A. Ashtekar, and W. Nelson, The
arXiv:1504.07559. pre-inationary dynamics of loop quantum cosmology:
[51] E. Wilson-Ewing, Separate universes in loop quantum Confronting quantum gravity with observations,
cosmology: framework and applications, Int. J. Mod. Class. Quant. Grav. 30 (2013) 085014,
Phys. D25 (2016) 1642002, arXiv:1512.05743. arXiv:1302.0254.
[52] M. Bojowald, H. H. Hernandez, M. Kagan, P. Singh, [67] I. Agullo, A. Ashtekar, and B. Gupt, Phenomenology
and A. Skirzewski, Hamiltonian cosmological with uctuating quantum geometries in loop quantum
perturbation theory with loop quantum gravity cosmology, arXiv:1611.09810.
corrections, Phys. Rev. D74 (2006) 123512, [68] D. Martn-de Blas and J. Olmedo, Primordial power
arXiv:gr-qc/0609057. spectra for scalar perturbations in loop quantum
[53] M. Bojowald, G. M. Hossain, M. Kagan, and cosmology, JCAP 1606 (2016) 029,
S. Shankaranarayanan, Anomaly freedom in arXiv:1601.01716.
perturbative loop quantum gravity, Phys. Rev. D78 [69] M. Martn-Benito, L. J. Garay, and G. A.
(2008) 063547, arXiv:0806.3929. Mena Marugan, Hybrid Quantum Gowdy Cosmology:
[54] M. Bojowald, G. M. Hossain, M. Kagan, and Combining Loop and Fock Quantizations, Phys. Rev.
S. Shankaranarayanan, Gauge invariant cosmological D78 (2008) 083516, arXiv:0804.1098.
perturbation equations with corrections from loop [70] L. J. Garay, M. Martn-Benito, and G. A.
quantum gravity, Phys. Rev. D79 (2009) 043505, Mena Marugan, Inhomogeneous Loop Quantum
arXiv:0811.1572. Cosmology: Hybrid Quantization of the Gowdy
[55] T. Cailleteau, J. Mielczarek, A. Barrau, and J. Grain, Model, Phys. Rev. D82 (2010) 044048,
Anomaly-free scalar perturbations with holonomy arXiv:1005.5654.
corrections in loop quantum cosmology, Class. Quant.

17
[71] M. Martn-Benito, G. A. Mena Marugan, and [89] X. Zhang and Y. Ling, Inationary universe in loop
E. Wilson-Ewing, Hybrid Quantization: From quantum cosmology, JCAP 0708 (2007) 012,
Bianchi I to the Gowdy Model, Phys. Rev. D82 arXiv:0705.2656.
(2010) 084012, arXiv:1006.2369. [90] M. Bojowald and G. M. Hossain, Loop quantum
[72] M. Martn-Benito, D. Martn-de Blas, and G. A. gravity corrections to gravitational wave dispersion,
Mena Marugan, Matter in inhomogeneous loop Phys. Rev. D77 (2008) 023508, arXiv:0709.2365.
quantum cosmology: the Gowdy T 3 model, Phys. [91] J. Mielczarek, Gravitational waves from the Big
Rev. D83 (2011) 084050, arXiv:1012.2324. Bounce, JCAP 0811 (2008) 011, arXiv:0807.0712.
[73] A. Ashtekar, W. Kaminski, and J. Lewandowski, [92] E. Copeland, D. Mulryne, N. Nunes, and M. Shaeri,
Quantum eld theory on a cosmological, quantum The gravitational wave background from
space-time, Phys. Rev. D79 (2009) 064030, super-ination in Loop Quantum Cosmology, Phys.
arXiv:0901.0933. Rev. D79 (2009) 023508, arXiv:0810.0104.
[74] T. Thiemann, A Length operator for canonical [93] J. Grain and A. Barrau, Cosmological footprints of
quantum gravity, J. Math. Phys. 39 (1998) loop quantum gravity, Phys. Rev. Lett. 102 (2009)
33723392, arXiv:gr-qc/9606092. 081301, arXiv:0902.0145.
[75] E. Bianchi, The Length operator in Loop Quantum [94] D. Baumann, TASI Lectures on Ination,
Gravity, Nucl. Phys. B807 (2009) 591624, arXiv:0907.5424.
arXiv:0806.4710. [95] A. Ashtekar and D. Sloan, Loop quantum cosmology
[76] Y. Ma, C. Soo, and J. Yang, New length operator for and slow roll ination, Phys. Lett. B694 (2011)
loop quantum gravity, Phys. Rev. D81 (2010) 108112, arXiv:0912.4093.
124026, arXiv:1004.1063. [96] A. Corichi and A. Karami, On the measure problem
[77] D. Salopek and J. Bond, Nonlinear evolution of long in slow roll ination and loop quantum cosmology,
wavelength metric uctuations in inationary models, Phys. Rev. D83 (2011) 104006, arXiv:1011.4249.
Phys. Rev. D42 (1990) 39363962. [97] L. Linsefors and A. Barrau, Duration of ination and
[78] D. Wands, K. A. Malik, D. H. Lyth, and A. R. Liddle, conditions at the bounce as a prediction of eective
A New approach to the evolution of cosmological isotropic loop quantum cosmology, Phys. Rev. D87
perturbations on large scales, Phys. Rev. D62 (2000) (2013) 123509, arXiv:1301.1264.
043527, arXiv:astro-ph/0003278. [98] B. Bonga and B. Gupt, Phenomenological
[79] M. Bojowald, Loop quantum cosmology and investigation of a quantum gravity extension of
inhomogeneities, Gen. Rel. Grav. 38 (2006) ination with the Starobinsky potential, Phys. Rev.
17711795, arXiv:gr-qc/0609034. D93 (2016) 063513, arXiv:1510.04896.
[80] M. Artymowski, Z. Lalak, and L. Szulc, Loop [99] R. Penrose, Singularities and time-asymmetry, in
Quantum Cosmology: holonomy corrections to General Relativity: An Einstein Centenary Survey,
inationary models, JCAP 0901 (2009) 004, edited by S. W. Hawking and W. Israel, Cambridge
arXiv:0807.0160. University Press, Cambridge, 1979.
[81] E. Wilson-Ewing, Holonomy Corrections in the [100] A. Ashtekar and B. Gupt, Initial conditions for
Eective Equations for Scalar Mode Perturbations in cosmological perturbations, arXiv:1610.09424.
Loop Quantum Cosmology, Class. Quant. Grav. 29 [101] I. Agullo and N. A. Morris, Detailed analysis of the
(2012) 085005, arXiv:1108.6265. predictions of loop quantum cosmology for the
[82] E. Wilson-Ewing, Lattice loop quantum cosmology: primordial power spectra, Phys. Rev. D92 (2015)
scalar perturbations, Class. Quant. Grav. 29 (2012) 124040, arXiv:1509.05693.
215013, arXiv:1205.3370. [102] WMAP, C. L. Bennett et al., First year Wilkinson
[83] V. G. Gurzadyan and R. Penrose, Concentric circles Microwave Anisotropy Probe (WMAP) observations:
in WMAP data may provide evidence of violent Preliminary maps and basic results, Astrophys. J.
pre-Big-Bang activity, arXiv:1011.3706. Suppl. 148 (2003) 127, arXiv:astro-ph/0302207.
[84] W. Nelson and E. Wilson-Ewing, Pre-Big-Bang [103] Planck, P. A. R. Ade et al., Planck 2013 results.
Cosmology and Circles in the Cosmic Microwave XVI. Cosmological parameters, Astron. Astrophys.
Background, Phys. Rev. D84 (2011) 043508, 571 (2014) A16, arXiv:1303.5076.
arXiv:1104.3688. [104] I. Agullo, Loop quantum cosmology, non-Gaussianity,
[85] I. K. Wehus and H. K. Eriksen, A search for and CMB power asymmetry, Phys. Rev. D92 (2015)
concentric circles in the 7-year WMAP temperature 064038, arXiv:1507.04703.
sky maps, Astrophys. J. 733 (2011) L29, [105] Planck, P. A. R. Ade et al., Planck 2015 results.
arXiv:1012.1268. XVI. Isotropy and statistics of the CMB, Astron.
[86] A. Moss, D. Scott, and J. P. Zibin, No evidence for Astrophys. 594 (2016) A16, arXiv:1506.07135.
anomalously low variance circles on the sky, JCAP [106] A. Ashtekar and B. Gupt, Quantum Gravity in the
1104 (2011) 033, arXiv:1012.1305. Sky: Interplay between fundamental theory and
[87] A. Hajian, Are There Echoes From The Pre-Big Bang observations, arXiv:1608.04228.
Universe? A Search for Low Variance Circles in the [107] L. Linsefors, T. Cailleteau, A. Barrau, and J. Grain,
CMB Sky, Astrophys. J. 740 (2011) 52, Primordial tensor power spectrum in holonomy
arXiv:1012.1656. corrected loop quantum cosmology, Phys. Rev.
[88] S. Tsujikawa, P. Singh, and R. Maartens, Loop D87 (2013) 107503, arXiv:1212.2852.
quantum gravity eects on ination and the CMB, [108] B. Bolliet, J. Grain, C. Stahl, L. Linsefors, and
Class. Quant. Grav. 21 (2004) 57675775, A. Barrau, Comparison of primordial tensor power
arXiv:astro-ph/0311015. spectra from the deformed algebra and dressed metric

18
approaches in loop quantum cosmology, Phys. Rev. [129] E. Bianchi, T. Krajewski, C. Rovelli, and F. Vidotto,
D91 (2015) 084035, arXiv:1502.02431. Cosmological constant in spinfoam cosmology, Phys.
[109] J. Grain, A. Barrau, and A. Gorecki, Inverse volume Rev. D83 (2011) 104015, arXiv:1101.4049.
corrections from loop quantum gravity and the [130] J. Rennert and D. Sloan, A Homogeneous Model of
primordial tensor power spectrum in slow-roll Spinfoam Cosmology, Class. Quant. Grav. 30 (2013)
ination, Phys. Rev. D79 (2009) 084015, 235019, arXiv:1304.6688.
arXiv:0902.3605. [131] J. Rennert and D. Sloan, Anisotropic Spinfoam
[110] M. Bojowald and G. Calcagni, Inationary Cosmology, Class. Quant. Grav. 31 (2014) 015017,
observables in loop quantum cosmology, JCAP 1103 arXiv:1308.0687.
(2011) 032, arXiv:1011.2779. [132] I. Vilensky, Spinfoam cosmology with the proper
[111] M. Bojowald, G. Calcagni, and S. Tsujikawa, vertex amplitude, arXiv:1611.01508.
Observational test of ination in loop quantum [133] N. Bodendorfer, Quantum reduction to Bianchi I
cosmology, JCAP 1111 (2011) 046, models in loop quantum gravity, Phys. Rev. D91
arXiv:1107.1540. (2015) 081502, arXiv:1410.5608.
[112] R. H. Brandenberger, The Matter Bounce Alternative [134] N. Bodendorfer, An embedding of loop quantum
to Inationary Cosmology, arXiv:1206.4196. cosmology in (b, v) variables into a full theory
[113] Y.-F. Cai, A. Marciano, D.-G. Wang, and context, Class. Quant. Grav. 33 (2016) 125014,
E. Wilson-Ewing, Bouncing cosmologies with dark arXiv:1512.00713.
matter and dark energy, arXiv:1610.00938. [135] C.-Y. Lin, Emergence of Loop Quantum Cosmology
[114] E. Wilson-Ewing, The Matter Bounce Scenario in from Loop Quantum Gravity: Lowest Order in h,
Loop Quantum Cosmology, JCAP 1303 (2013) 026, arXiv:1111.1766.
arXiv:1211.6269. [136] E. Alesci and F. Cianfrani, A new perspective on
[115] Y.-F. Cai and E. Wilson-Ewing, A CDM bounce cosmology in Loop Quantum Gravity, Europhys.
scenario, JCAP 1503 (2015) 006, arXiv:1412.2914. Lett. 104 (2013) 10001, arXiv:1210.4504.
[116] J.-L. Lehners, Ekpyrotic and Cyclic Cosmology, [137] E. Alesci and F. Cianfrani, Quantum-Reduced Loop
Phys. Rept. 465 (2008) 223263, arXiv:0806.1245. Gravity: Cosmology, Phys. Rev. D87 (2013) 083521,
[117] T. Cailleteau, P. Singh, and K. Vandersloot, arXiv:1301.2245.
Non-singular Ekpyrotic/Cyclic model in Loop [138] E. Alesci and F. Cianfrani, Improved regularization
Quantum Cosmology, Phys. Rev. D80 (2009) 124013, from Quantum Reduced Loop Gravity,
arXiv:0907.5591. arXiv:1604.02375.
[118] E. Wilson-Ewing, Ekpyrotic loop quantum [139] N. Bodendorfer, State renements and coarse
cosmology, JCAP 1308 (2013) 015, graining in a full theory embedding of loop quantum
arXiv:1306.6582. cosmology, arXiv:1607.06227.
[119] E. Bianchi and C. Rovelli, Why all these prejudices [140] S. Gielen, D. Oriti, and L. Sindoni, Homogeneous
against a constant?, arXiv:1002.3966. cosmologies as group eld theory condensates, JHEP
[120] E. Bianchi, C. Rovelli, and R. Kolb, Cosmology 06 (2014) 013, arXiv:1311.1238.
forum: Is dark energy really a mystery?, Nature 466 [141] D. Oriti, L. Sindoni, and E. Wilson-Ewing, Emergent
(2010) 321322. Friedmann dynamics with a quantum bounce from
[121] M. Niedermaier and M. Reuter, The Asymptotic quantum gravity condensates, Class. Quant. Grav. 33
Safety Scenario in Quantum Gravity, Living Rev. (2016) 224001, arXiv:1602.05881.
Rel. 9 (2006) 5173. [142] S. Gielen, Emergence of a Low Spin Phase in Group
[122] J. Engle, Relating loop quantum cosmology to loop Field Theory Condensates, arXiv:1604.06023.
quantum gravity: Symmetric sectors and embeddings, [143] T. Pawlowski, Observations on interfacing loop
Class. Quant. Grav. 24 (2007) 57775802, quantum gravity with cosmology, Phys. Rev. D92
arXiv:gr-qc/0701132. (2015) 124020, arXiv:1411.0323.
[123] J. Brunnemann and C. Fleischhack, On the [144] M. de Cesare, A. G. A. Pithis, and M. Sakellariadou,
conguration spaces of homogeneous loop quantum Cosmological implications of interacting Group Field
cosmology and loop quantum gravity, Theory models: cyclic Universe and accelerated
arXiv:0709.1621. expansion, arXiv:1606.00352.
[124] J. Engle, Embedding loop quantum cosmology [145] S. Gielen and L. Sindoni, Quantum Cosmology from
without piecewise linearity, Class. Quant. Grav. 30 Group Field Theory Condensates: a Review, SIGMA
(2013) 085001, arXiv:1301.6210. 12 (2016) 082, arXiv:1602.08104.
[125] A. Ashtekar and M. Campiglia, On the Uniqueness of [146] S. A. Hojman, K. Kuchar, and C. Teitelboim,
Kinematics of Loop Quantum Cosmology, Class. Geometrodynamics Regained, Ann. Phys. 96 (1976)
Quant. Grav. 29 (2012) 242001, arXiv:1209.4374. 88135.
[126] J. Engle and M. Hanusch, Kinematical uniqueness of [147] N. Deruelle, M. Sasaki, Y. Sendouda, and
homogeneous isotropic LQC, arXiv:1604.08199. D. Yamauchi, Hamiltonian formulation of f(Riemann)
[127] J. Engle, M. Hanusch, and T. Thiemann, Uniqueness theories of gravity, Prog. Theor. Phys. 123 (2010)
of the Representation in Homogeneous Isotropic 169185, arXiv:0908.0679.
LQC, arXiv:1609.03548. [148] M. Bojowald and G. M. Paily, Deformed General
[128] E. Bianchi, C. Rovelli, and F. Vidotto, Towards Relativity and Eective Actions from Loop Quantum
Spinfoam Cosmology, Phys. Rev. D82 (2010) 084035, Gravity, Phys. Rev. D86 (2012) 104018,
arXiv:1003.3483. arXiv:1112.1899.

19
[149] J. Mielczarek, Signature change in loop quantum and processes with signature change in cosmology,
cosmology, Springer Proc. Phys. 157 (2014) 555562, Phys. Rev. D89 (2014) 084052, arXiv:1403.6984.
arXiv:1207.4657. [156] J. Mielczarek, L. Linsefors, and A. Barrau, Silent
[150] M. Bojowald and G. M. Paily, Deformed General initial conditions for cosmological perturbations with a
Relativity, Phys. Rev. D87 (2013) 044044, change of space-time signature, arXiv:1411.0272.
arXiv:1212.4773. [157] S. Schander, A. Barrau, B. Bolliet, L. Linsefors,
[151] M. Bojowald and J. Mielczarek, Some implications of J. Mielczarek, and J. Grain, Primordial scalar power
signature-change in cosmological models of loop spectrum from the Euclidean Big Bounce, Phys. Rev.
quantum gravity, JCAP 1508 (2015) 052, D93 (2016) 023531, arXiv:1508.06786.
arXiv:1503.09154. [158] A. Barrau and J. Grain, Cosmology without time:
[152] A. Vilenkin, Creation of Universes from Nothing, What to do with a possible signature change from
Phys. Lett. B117 (1982) 2528. quantum gravitational origin?, arXiv:1607.07589.
[153] J. B. Hartle and S. W. Hawking, Wave Function of [159] Y.-F. Cai, D. A. Easson, and R. Brandenberger,
the Universe, Phys. Rev. D28 (1983) 29602975. Towards a Nonsingular Bouncing Cosmology, JCAP
[154] J. Mielczarek, Asymptotic silence in loop quantum 1208 (2012) 020, arXiv:1206.2382.
cosmology, AIP Conf. Proc. 1514 (2012) 81, [160] J. Ben Achour, S. Brahma, J. Grain, and A. Marciano,
arXiv:1212.3527. A new look at scalar perturbations in loop quantum
[155] L. Castello Gomar and G. A. Mena Marugan, cosmology: (un)deformed algebra approach using self
Uniqueness of the Fock quantization of scalar elds dual variables, arXiv:1610.07467.

20

You might also like