Generic absence of strong singularities and geodesic completeness in modified loop quantum cosmologies
Sahil Saini, Parampreet Singh

TL;DR
This paper demonstrates that modified loop quantum cosmologies (mLQC-I and mLQC-II) avoid strong singularities and are geodesically complete, although some pressure singularities may still occur without causing geodesic breakdown.
Contribution
It provides a comprehensive analysis of singularity resolution in modified loop quantum cosmologies, highlighting differences from standard loop quantum cosmology and showing the persistence of certain weak singularities.
Findings
Volume remains finite and non-zero during evolution.
Big rip and big freeze singularities are resolved.
Sudden and type-IV singularities are not resolved.
Abstract
Different regularizations of the Hamiltonian constraint in loop quantum cosmology yield modified loop quantum cosmologies, namely mLQC-I and mLQC-II, which lead to qualitatively different Planck scale physics. We perform a comprehensive analysis of resolution of various singularities in these modified loop cosmologies using effective spacetime description and compare with earlier results in standard loop quantum cosmology. We show that the volume remains non-zero and finite in finite time evolution for all considered loop cosmological models. Interestingly, even though expansion scalar and energy density are bounded due to quantum geometry, curvature invariants can still potentially diverge due to pressure singularities at a finite volume. These divergences are shown to be harmless since geodesic evolution does not break down and no strong singularities are present in the effective…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Generic absence of strong singularities and geodesic completeness in modified loop quantum cosmologies
Sahil Saini
Parampreet Singh
Department of Physics and Astronomy,
Louisiana State University, Baton Rouge, LA 70803, U.S.A.
Abstract
Different regularizations of the Hamiltonian constraint in loop quantum cosmology yield modified loop quantum cosmologies, namely mLQC-I and mLQC-II, which lead to qualitatively different Planck scale physics. We perform a comprehensive analysis of resolution of various singularities in these modified loop cosmologies using effective spacetime description and compare with earlier results in standard loop quantum cosmology. We show that the volume remains non-zero and finite in finite time evolution for all considered loop cosmological models. Interestingly, even though expansion scalar and energy density are bounded due to quantum geometry, curvature invariants can still potentially diverge due to pressure singularities at a finite volume. These divergences are shown to be harmless since geodesic evolution does not break down and no strong singularities are present in the effective spacetimes of loop cosmologies. Using a phenomenological matter model, various types of exotic strong and weak singularities, including big rip, sudden, big freeze and type-IV singularities, are studied. We show that as in standard loop quantum cosmology, big rip and big freeze singularities are resolved in mLQC-I and mLQC-II, but quantum geometric effects do not resolve sudden and type-IV singularities.
I Introduction
Singularities are generic features of Einstein’s theory of general relativity (GR) and are associated with a break down of geodesics and potential divergences in physical quantities such as the energy density, the expansion scalar and the curvature invariants. However, not all events characterized by these divergences necessarily reflect the breakdown of geodesic evolution or impossibility of survival of sufficiently strong detectors. The criterion of strong versus weak singularities is generally used to distinguish the problematic divergences representing boundaries of the spacetime from harmless events ellis1977 ; tipler1977singularities ; krolak ; ck-1985conditions . A strong singularity is characterized by the property that it completely destroys all in-falling objects regardless of their properties. Singularities that do not satisfy this criterion are called weak singularities, and a strong enough object could go past them without being completely destructed. It is conjectured that all curvature singularities which result in geodesic incompleteness are strong singularities krolak . Well known examples of singularities in GR, namely the central singularity in Schwarzschild black holes and the big bang/big crunch are strong singularities. In recent years, various other examples of singularities in cosmological models have been found. These include big rip bigrip , sudden singularities sudden , big freeze Nojiri2005 ; freeze and type-IV (or generalized sudden) singularities Nojiri2005 ; type4 . Of these, big rip and big freeze are known to be strong singularities in GR, where as sudden and type-IV singularities are weak singularities Jambrina1 .
It has been long expected that quantum gravitational modifications to GR will provide insights on resolution of classical singularities. In the last decade, this expectation has turned out to be true in loop quantum cosmology (LQC) which is a non-perturbative quantization of cosmological spacetimes based on techniques of loop quantum gravity (LQG) as-status . One of the main results from LQC is the resolution of big bang/big crunch singularities at the quantum level which finds its roots in the underlying quantum geometry of LQG. The big bang is replaced by a quantum bounce when the energy density reaches Planckian regime, and the expanding branch of our universe is connected to a contracting pre-bounce branch aps1 ; aps3 ; apsv . At the quantum level, the expectation values of the energy density operator have a universal maximum in the physical Hilbert space slqc , and the quantum probability for the singularity to occur turns out to be vanishing craig-singh . The evolution in LQC is dictated by the quantum Hamiltonian constraint, a difference equation, which interestingly can be captured to an excellent approximation by an effective spacetime description for isotropic as well as anisotropic spacetimes numlsu . Using this effective description various phenomenological implications have been studied agullo-singh , and generic resolution of cosmological singularities in isotropic and anisotropic models has been understood in detail ps09 ; psfv ; ps11 ; ps14 ; ks-strong ; b2-strong ; b9-strong , with ongoing attempts to include inhomogeneities madrid . These studies establish that strong singularities are generically resolved in LQC, whereas weak singularities are generally ignored by quantum geometry.111Exceptions however have been found for spatially curved isotropic model, and Bianchi-I flat Kasner spacetime where quantum geometry effects resolve even weak singularities psfv ; kasner-flat .
Despite above progress in understanding resolution of singularities in LQC, one of the open questions is how robust are these results to quantization ambiguities such as of choosing different regularizations of the Hamiltonian constraint motivated from LQG. Here let us note that in the standard LQC, the Euclidean and the Lorentzian terms in the Hamiltonian constraint are combined together before quantization because owing to homogeneity both the terms are proportional to each other. The subsequent quantization led to the replacement of the big bang singularity by a symmetric bounce connecting the current expanding classical universe to a pre-bounce contracting classical universe aps1 ; aps3 ; slqc ; cs-recall . If the Lorentzian term is treated independently for loop quantization using Thiemann’s regularization Thiemann , one is led to two modified versions of standard LQC – mLQC-I and mLQC-II (using the conventions of Li2018b where mLQC stands for modified-LQC in contrast to standard LQC as-status which will be often denoted as LQC in the manuscript). The two variants of LQC, mLQC-I and mLQC-II, differ from each other in the way Lorentzian term is quantized. While the extrinsic curvature in the Lorentzian term is directly quantized in mLQC-I using Thiemann’s identities involving holonomies of the connection, mLQC-II exploits the symmetries of the spatially flat FLRW model to first replace the extrinsic curvature in the Lorentzian term by the Ashtekar-Barbero connection before quantization Yang2009 .
Both of these variants of standard LQC – mLQC-I and mLQC-II, lead to quantum Hamiltonian constraints as fourth order quantum difference equations, in contrast to standard LQC where the difference equation is of second order von-Neumann . Higher order difference equation can result also in LQC by considering higher representation for SU(2) than the fundamental representation in the quantization of Hamiltonian constraint even without treating Lorentzian term independent of the Euclidean term brahma 222Note that early works in LQC sometimes considered higher spin representations only to regularize inverse volume operator in the matter part, which does not lead to a higher order difference equation (see for eg. higherj ). (see also Ref. perez for an earlier work in LQG). The initial value problem for these quantum difference equations is more involved than in standard LQC. In particular, for mLQC-I and mLQC-II one needs to provide the value of the wavefunction and its first three derivatives at an initial time with respect to a suitable relational clock, such as the massless scalar field used in LQC. One can then use the procedure used often for higher order initial value problems by converting the fourth order initial value problem to four first order initial value problems and solving them using standard techniques (see for eg. bradie ). Our goal in this manuscript is focused on the effective dynamics obtained from the effective Hamiltonian which has non-trivial changes in comparison to standard LQC, resulting in a complicated phase space structure which consists of two distinct branches of solutions. These two branches couple in a non-trivial way in mLQC-I, and of the two only one is physically relevant for mLQC-II Li2018 ; Li2018b . We note that treating Lorentzian term independent of Euclidean term was first explored Ref. Bojowald2002 , where mLQC-I in the like scheme of aps1 was obtained. Later in Ref. Yang2009 , both mLQC-I and mLQC-II were obtained for the improved dynamics ( scheme) employed in Ref. aps3 . Recently, the effective Hamiltonian for mLQC-I has also been obtained from a cosmological sector of LQG using complexifier coherent states for the scheme Dapor2017 .
Above different ways to regularize Hamiltonian constraint in LQC result in qualitative differences in Planck scale physics. For instance, the bounce turns out to be asymmetric in mLQC-I, with the asymptotic pre-bounce branch resembling a de-Sitter spacetime with an effective cosmological constant of Planckian size and a different value of Newton’s gravitational constant Li2018 . Phenomenological investigations of mLQC-I effective dynamics using the modified Friedmann and Raychaudhuri equations show that both the phase space branches of mLQC-I are necessary to describe the phase space evolution due to the effective Hamiltonian. The two branches, having separate Friedmann and Raychaudhuri equations, are connected at the bounce for mLQC-I leading to an asymmetric bounce in mLQC-I. Numerical investigations in mLQC-I using sharply peaked Gaussian states have confirmed these predictions of the effective dynamics showing a high degree of agreement between the effective spacetime description and the quantum dynamics in case of mLQC-I adlp2018 . In contrast to mLQC-I where a non-trivial union is necessary between two branches, one of the branches in case of mLQC-II turns out to be unphysical, and only one branch (and the corresponding one set of Friedmann and Raychaudhuri equations) describes the full phase space evolution generated by the effective Hamiltonian Li2018b . The bounce in mLQC-II is symmetric as in standard LQC, but unlike in LQC where the modified Friedmann and Raychaudhuri equations contain terms, one obtains higher order corrections. The dependence on higher order terms is similar as in mLQC-I. Notably the bounce densities in LQC, mLQC-I and mLQC-II all turn out to be different.
Various aspects of mLQC-I and mLQC-II effective dynamics and their detailed phenomenological implications are being studied. Detailed investigations of the properties of effective dynamics and inflationary attractors for various potentials have been carried out Li2018 ; Li2018b , power spectrum of the cosmic microwave background using scalar perturbations power-spectrum has been studied, and the bounce in mLQC-I has also been studied from a dynamical systems point of view haro . At the level of difference equations, von-Neumann stability analysis of mLQC-I and mLQC-II reveals various interesting features von-Neumann in synergy with observations in Ref. Li2018 ; Li2018b . Our goal in this manuscript is to perform an analysis of generic resolution of singularities in mLQC-I and mLQC-II for arbitrary minimally coupled matter. The resolution of big bang singularities in these models for massless scalar field and inflationary potentials has been earlier studied in Li2018 ; Li2018b , but results so far tell little about the way singularities are resolved in general for arbitrary matter and the way situation compares with previous results in LQC.
We show in our analysis that the volume remains non-zero and finite for all finite time evolution and the Hubble rate or the expansion scalar, and the energy density are generically bounded in both mLQC-I and mLQC-II, as is the case for LQC. However, the time derivative of the Hubble rate and as a result curvature invariants can diverge if the pressure diverges at a finite value of energy density. The phase space is maximally extendible except for such pressure divergences which are shown to be harmless as the geodesics remain regular at such events. Further, using the necessary and sufficient conditions for the existence of strong singularities, we show that while strong singularities are present in the classical dynamics, they are absent from the effective spacetime of mLQC-I and mLQC-II models. Potential pressure singularities thus amount to weak singularities.
After obtaining above results for a general minimally coupled matter, we numerically investigate the fate of exotic singularities using phenomenological matter considered in Ref. Nojiri2005 which allows various types of singularities. Using convention of Ref. Nojiri2005 , these singularities are labeled as type-I, type-II, type-III and type-IV singularities. In type-I singularities, the scale factor, the energy density and the pressure diverge in a finite time evolution. These are the big rip singularities. Type II, i.e. sudden singularities, occur when the pressure diverges at a finite value of energy density, which causes divergence in the Ricci scalar and the break down of phase space evolution. In type-III (or big freeze) singularities, the energy density, the pressure and the Hubble rate diverge at a finite value of the scale factor. In type-IV, i.e. the generalized sudden singularities, it is the time derivatives of the curvature invariants such as Ricci scalar that diverge while the energy density, the pressure and the Ricci scalar remain finite, and the phase space evolution does not break down. Of these, type-I and type-III are strong curvature singularities while type-II and type-IV are of weak curvature type ps09 . Using effective dynamics of mLQC-I and mLQC-II, we analyze the fate of these singularities. We find that type-I and type-III singularities are resolved in mLQC-I and mLQC-II, as in LQC, although the details differ from one to another. The type-II and type-IV singularities are not resolved in mLQC-I and mLQC-II. This is not problematic as these singularities are weak singularities and the geodesics are well behaved and extendible at these events. We also find that the dynamics of mLQC-II is qualitatively similar to that of standard LQC while mLQC-I differs from both of these qualitatively in the pre-bounce branch.
The manuscript is organized as follows. In Sec. II, we preview the basic Hamiltonian dynamics of classical FLRW model, and the effective Hamiltonian dynamics of the standard LQC, mLQC-I and mLQC-II. In Sec. III, we analyze the behavior of geodesics at the classically singular events and analyze the strength of singularities. We show that in all loop cosmologies considered in this manuscript the volume remains non-zero in finite time evolution and energy densities are bounded above. But, curvature invariants can still diverge. In Sec. IV we consider a particular matter equation of state to numerically analyze the type-I, type-II, type-III and type-IV singularities in mLQC-I and mLQC-II and compare with classical theory and LQC. We conclude with a summary of results obtained in Sec. V.
II Effective Hamiltonian dynamics
In this section, we review the basic elements of the effective dynamics of three different loop cosmological models: LQC and its two modifications mLQC-I and mLQC-II resulting from different treatment of the Lorentzian term in the spatially flat FLRW spacetime. We compare and contrast the effective dynamics of these models among themselves and also with the classical GR description. This is intended to provide a background for proving analytical results in the next section regarding geodesic completeness and absence of strong singularities in the effective loop cosmological spacetimes. This section also provides dynamical equations for the numerical investigations in Sec. IV to phenomenologically study strong and weak singularities.
In the following, the first subsection reviews the classical Hamiltonian dynamics of the FLRW spacetime. Expressions for some important quantities such as the energy density, Hubble rate, expansion scalar, Ricci scalar and the time derivatives of the Hubble rate and Ricci scalar are obtained in classical cosmology using Hamiltonian dynamics. In Sec. IIB, we revisit the effective dynamics of the standard LQC for spatially flat isotropic cosmology and obtain the corresponding expressions for all the relevant quantities for comparison with classical dynamics. We recall results of Ref. ps09 showing boundedness of various quantities such as the energy density and the Hubble rate, and possible divergences in Ricci scalar and other curvature invariants. In the next two subsections, we repeat the analysis for two variations of LQC: mLQC-I Yang2009 ; Dapor2017 ; Li2018 and mLQC-II Yang2009 ; Li2018b , and discuss bounds on energy density, Hubble rates and potential curvature pathologies. For all loop cosmological models, we show that the scale factor or the volume does not vanish in finite time evolution. This result along with boundedness of Hubble rate turns out to be crucial to prove geodesic completeness in Sec. III.
II.1 Classical Dynamics
We consider the spacetime manifold for the spatially flat FLRW model as where . The spacetime can be locally described by the metric,
[TABLE]
where is the scale factor of the universe. We will choose the lapse in the following analysis. The isotropy and homogeneity of the spacetime ensures we only have one degree of freedom which is contained in the scale factor. The dynamics of this spacetime can be reformulated in a canonical form using the Hamiltonian formulation of GR. The Hamiltonian so obtained for spatially flat FLRW spacetime is given by,
[TABLE]
where we have used variables and commonly used in LQC literature, and is the Barbero-Immirzi parameter. Here, the variable represents the physical volume of a fiducial cell whose coordinate volume is chosen to be unity. And, the conjugate variable is proportional to the Hubble rate : on the physical solutions of GR. The matter Hamiltonian is assumed to represent non-dissipative minimally coupled matter. The phase space variables satisfy
[TABLE]
which leads to the following equations of motion,
[TABLE]
Here is the isotropic pressure defined by .
The vanishing of the Hamiltonian constraint, implies that the energy density, , is dynamically equal to,
[TABLE]
In the classical theory, divergence in energy density can thus be seen directly in terms of the divergence in or the Hubble rate. The above equation when expressed in terms of the Hubble rate yields the classical Friedmann equation:
[TABLE]
The Raychaudhuri equation can be obtained using , which turns out to be
[TABLE]
using which we obtain the following relation between the Ricci scalar, energy density and pressure in the classical theory:
[TABLE]
It can be seen that the Friedmann and Raychaudhuri equations lead to the energy conservation equation . It is also useful to consider the time derivative of the Ricci scalar which turns out to be useful to understand type-IV singularities in Sec. IV. The time derivative of the Ricci scalar can be shown to be where,
[TABLE]
With above equations, we need the equation of state to evaluate the time derivative of the pressure in order to evaluate . We will see concrete examples of this in Sec. IV where we consider a particular equation of state and perform numerical simulations for different types of singularities. For matter, satisfying weak energy condition above equations result in a big bang singularity in the past evolution where energy density, pressure, Ricci scalar and its time derivative diverge in a finite time. At this instant of time, the scale factor or the volume of the universe vanishes causing geodesic incompleteness.
II.2 Effective dynamics in standard LQC
Our purpose in this subsection is to recall the effective dynamics of standard LQC description of the spatially flat FLRW spacetime in the quantization obtained in aps3 . For details we refer the reader to Ref. ps09 (see also Ref. cs09 ). In this quantization, the Lorentzian and Euclidean terms are combined into a single term at the classical level and then quantized. The effective Hamiltonian for the FLRW spacetime in standard LQC is given by:
[TABLE]
where . The constant is the minimum area eigenvalue in LQG. The Hamilton’s equations for and are,
[TABLE]
Provided that the pressure does not diverge, the above equations are a coupled system of linear first order ordinary differential equations (ODEs) with bounded coefficients, implying that the phase space is maximally extendible except for pressure divergences vrabie . Specifically, the equation for volume can be integrated to yield,
[TABLE]
where is the value of the volume at some initial time . Since the integrand is a bounded function, and consequently the scale factor remain finite and non-zero for all finite time evolution.
From the vanishing of the effective Hamiltonian constraint (10), the energy density is dynamically equal to,
[TABLE]
We note that energy density in standard LQC is generically bounded in contrast to classical dynamics. This can be used to express the Hubble rate, the modified Raychaudhuri equation and the Ricci scalar in terms of the energy density as follows,
[TABLE]
where . We note from the above equations that the Hubble rate and hence the expansion scalar is generically bounded. Even though energy density is bounded above as seen from eq. (14), the second derivative of the scale factor and the Ricci scalar can still diverge if pressure diverges at a finite value of . We can use to find the time derivative of the Ricci scalar where is given by,
[TABLE]
It is straightforward to see that can diverge even if the energy density, pressure, the Hubble rate and the Ricci scalar are bounded but the time derivative of the pressure diverges at finite value of the pressure. We will show in the next section that divergences such as these and those where Ricci scalar diverges at a finite value of energy density can only lead to weak curvature singularities that are harmless and geodesics can be extended beyond them.
II.3 Effective dynamics of mLQC-I
Unlike in standard LQC, where the Euclidean and Lorentzian terms are treated at equal footing and combined before quantization, one can treat Lorentzian term independently which results in a modification of the Hamiltonian constraint resulting in changes to Planck scale physics. The first of these choices, first studied in Ref. Yang2009 and recently re-examined in Ref. Dapor2017 arises from expressing the extrinsic curvature in the Lorentzian term in terms of holonomies using Thiemann’s regularization Thiemann . The resulting quantization leads to a significantly different pre-bounce physics which turns out to be a de-Sitter phase but with a renormalized Newton’s constant Li2018 .333A similar example of a quantum emergent spacetime with similar peculiar properties has been earlier found in LQC for Kantowski-Sachs spacetimes djs . The bounce is asymmetric even for the case of the massless scalar field which yields a symmetric bounce in LQC. The modified Friedmann and Raychaudhuri equations are far more involved than in standard LQC, containing higher order terms than the quadratic modification in standard LQC Li2018 . Further, unlike standard LQC there exist two branches of solutions in the effective phase space which need to be finely matched at the bounce for a consistent picture of dynamics Li2018 .
The effective Hamiltonian in mLQC-I is given by Yang2009 ; Li2018 :
[TABLE]
which yields the following Hamilton’s equations
[TABLE]
As in standard LQC, here also the phase space is maximally extendible for finite time evolution except for pressure divergences as the Hamiltonian’s equations are linear first order ordinary differential equations with bounded coefficients except for the pressure . Upon integration of the equation for volume, we get
[TABLE]
Since the integrand of the exponential is an always bounded function, the volume (and hence also the scale factor) remains finite and non-zero for all finite time evolution.
The energy density is given by the vanishing of the effective Hamiltonian constraint, which is
[TABLE]
We note that the energy density is generically bounded for all times as in standard LQC. However, in contrast to standard LQC, the expression for energy density here is a quadratic equation for which then leads to two allowed values of in terms of the energy density. They have been named the and branches and investigated in detail in Li2018 . As shown in Ref. Li2018 , it is interesting to see the way existence of these two branches complicates the phase space evolution and leads to an asymmetric bounce. These two roots lead to different expressions for the modified Friedmann and the Raychaudhuri equations, and it turns out that both of them are needed to span the whole evolution provided by equations of motion (20) and (21). Each root spans a part of the solution and they are connected at the point where the energy density reaches the bounce density.444Such branches for higher order modifications of LQC were earlier studied in Ref. ss-ps . Following the convention of Ref. Li2018 , we denote the bounce density in mLQC-I as to distinguish from bounce density in LQC. We briefly discuss relevant equations for these two branches in the following.
II.3.1 The
In this case the modified Friedmann and Raychaudhuri equations are Li2018 ,
[TABLE]
where
[TABLE]
We note from above equations that due to boundedness of the energy density, the Hubble rate is also generically bounded. However, the second time derivative of the scale factor can still diverge if the pressure diverges. Hence the Ricci scalar given by can also diverge due to pressure divergences. We further have,
[TABLE]
which can also diverge at pressure divergences. The above equation along with the equation of state can be used to calculate the time derivative of the Ricci scalar using . Just like in standard LQC, can diverge at finite values of the energy density, Hubble rate and Ricci scalar if the time derivative of pressure diverges at finite pressure. Even though the details of phase space dynamics and the bounce are quite different from standard LQC, we will see in next section that the analysis of geodesics and strength of singularities in this case follows quite analogously to standard LQC. Hence, we will find that all these pressure divergences are harmless as the geodesics can be extended beyond them and they do not lead to strong singularities.
II.3.2 The branch
The corresponding expressions for Friedmann and Raychaudhuri equations for this root are:
[TABLE]
where and Li2018 . Again we note that the Hubble rate is generically bounded, but the second derivative of scale factor, the Ricci scalar, and the time derivative of the Hubble rate,
[TABLE]
can diverge if the pressure diverges. We note that can diverge if the time derivative of pressure diverges even at a finite pressure so that the Ricci scalar and the time derivative of the Hubble rate are also bounded. We will show in the next section that no strong singularities exist in the effective spacetime and the geodesic are well defined at such events. Hence all such curvature pathologies will turn out to be harmless.
II.4 Effective dynamics of mLQC-II
While mLQC-II also quantizes the Lorentzian term in the Hamiltonian constraint independently of the Euclidean term in contrast to standard LQC, it departs from mLQC-I in the treatment of the Lorentzian term. It uses the fact that the extrinsic curvature in the spatially flat FLRW model is proportional to the Ashtekar-Barbero connection. Thus unlike mLQC-I, the Lorentzian term in mLQC-II is first re-expressed in terms of the Ashtekar-Barbero connection before using holonomies to quantize it Yang2009 . This results in a quantization which is qualitatively different from mLQC-I, leading to effective dynamics which surprisingly bears similarity with standard LQC. As in mLQC-I, the Hamiltonian constraint in mLQC-II results in a fourth order quantum difference equation leading to two branches of solutions in the effective phase space von-Neumann . However, one of the branches turns out to be unphysical and only one branch is needed to describe the whole phase space evolution Li2018b . Even though the modified Friedmann and Raychaudhuri equations in case of mLQC-II are more complicated than standard LQC, the bounce turns out to be symmetric with a similar pre-bounce physics as standard LQC Yang2009 ; Li2018b . The effective Hamiltonian in mLQC-II is Yang2009 ; Li2018b ,
[TABLE]
which results in the following equations of motion,
[TABLE]
Integrating the volume equation we get,
[TABLE]
Since the integrand inside the exponential is bounded, the volume will remain non-zero and finite for all finite time evolution. Analogous to standard LQC and mLQC-I, the above evolution equations for phase space variables are linear first order ODEs with bounded coefficients except for the pressure term. Thus the phase space in mLQC-II is also maximally extendible except for pressure divergences.
We further look at the behavior of energy density. From the vanishing of the Hamiltonian constraint, the energy density is dynamically equal to,
[TABLE]
Thus, the energy density is generically bounded in this case as well. Just like mLQC-I, the energy density equation is a quadratic equation for and leads to two solutions for . However, as shown in Li2018b , one of the roots leads to imaginary values of the phase space variable , and the remaining real root spans the entire phase space trajectory obtained by the Hamilton’s equations (33) and (34). This is in contrast to mLQC-I where we needed both the solutions to span the whole phase space trajectory Li2018 . Here we discuss only the dynamics obtained from the real-valued root of equation (36) which corresponds to the physical dynamics obtained from effective Hamilton’s equations. The modified Friedmann and Raychaudhuri equations are given as follows,
[TABLE]
It turns out that these equations lead to a symmetric bounce qualitatively similar to that obtained in standard LQC Li2018b . The critical energy density (where superscript II corresponds to mLQC-II) at the bounce can be obtained from the above equations by using and , which gives,
[TABLE]
Since the energy density is generically bounded, the Hubble rate is also generically bounded. As in standard LQC and mLQC-I, the second derivative of the scale factor and consequently the Ricci scalar can diverge if the pressure diverges. The time derivative of the Hubble rate turns out to be
[TABLE]
which can also diverge due to divergence in pressure. From the time derivative of Ricci scalar we find that can diverge even when the Ricci scalar and the time derivative of the Hubble rate are finite, if diverges at finite pressure. But as in case of standard LQC and mLQC-I, these turn out to be weak singularities beyond which geodesics can be extended as shown in the following section.
III Geodesic Completeness and Strength of Singularities
As discussed in Sec. I, spacetime singularities can be characterized by geodesic incompleteness and their strength which captures properties of the tidal forces at the singular event. Notably not all curvature pathologies are guaranteed to be true singularities if geodesics can be extended beyond them and singularities turn out to be weak, examples of which are type-II and type-IV singularities discussed in the next section. On the other hand, strong singularities are true singularities with respect to geodesic incompleteness. In the following, we will use features noted in Sec. II to understand geodesic completeness and strength of singularities in modified isotropic loop cosmologies. It turns out that as in standard LQC, effective spacetime is geodesically complete in mLQC-I and mLQC-II, and there exist no strong singularities in these loop cosmologies. Our treatment in this section will be general without assuming any particular equation of state of matter. Phenomenological examples will be discussed in the next section. Even though these studies have been carried out earlier for standard LQC ps09 , for comparative completeness we will discuss results in standard LQC below.
In the previous section, we showed that the quantum geometry effects ensure the Hubble rate (and hence the expansion scalar), and the energy density are generically bounded and the volume remains non-zero and finite in LQC effective dynamics for the standard LQC as well as for mLQC-I and mLQC-II. This hints that many singular events that are associated with the divergence in these quantities may be absent in these loop cosmologies. But as noted earlier, interestingly some curvature invariants such as the derivative of the Hubble rate, the Ricci scalar and its time derivative may still diverge in above loop cosmologies if the isotropic pressure or its time derivative diverges at finite values of energy density, Hubble rate and volume. Such divergences require some exotic equations of state, which will be discussed in Sec. IV. Thus, even in the presence of quantum geometric effects curvature pathologies can exist. As we will show these divergences turn out to be harmless. Geodesics are well behaved at such events and all such curvature pathologies turn out to be weak singularities.
Let us begin with analysis of geodesics. The geodesic equations for the FLRW spacetime in Cartesian coordinates turn out to be,
[TABLE]
Here prime denotes derivative with respect to the affine parameter. The above set of equations give us the accelerations along the geodesics. These can be integrated to find the velocities along the geodesics,
[TABLE]
where and are constants of integration and vanishes for null geodesics and is unity for massive particles. These geodesic equations tell us that accelerations and velocities along the geodesics diverge at points where either the scale factor vanishes and/or the Hubble rate diverges. For example, at the big bang singularity, the scale factor vanishes and Hubble rate diverges leading to the break down of geodesic equations. However, we showed in previous section that for all three loop cosmologies, i.e. LQC, mLQC-I and mLQC-II, the scale factor is non-zero and finite for all finite time evolution, and the Hubble rate is generically bounded for all the time. Though the energy density is universally bounded in LQC, mLQC-I and mLQC-II, it is to be noted that the pressure is not which in principle can diverge causing curvature pathologies. Notably, even for such pathologies which include divergences of Ricci scalar and/or its derivative, geodesic equations do not break down in the effective spacetime description of LQC, mLQC-I and mLQC-II since the Hubble rate remains bounded and the scale factor is non-zero and finite at such events. In this sense the effective spacetime is geodesically complete and curvature pathologies do not result in breakdown of geodesics.
We now analyze the strength of potential singularities in modified loop cosmologies. A strong singularity is defined to be one which crushes all in-falling objects to zero volume irrespective of their properties. A singularity which does not satisfy this criterion is referred to as a weak singularity and can be considered to be harmless since, by definition, a sufficiently strong object may survive such an event. The necessary and sufficient conditions for a potential singularity to be a strong singularity were derived by Tipler tipler1977singularities , and Królak krolak ; ck-1985conditions . In the following we consider the conditions provided by Królak which are broader than those provided by Tipler.
If a given singularity, located at along a non-spacelike geodesic running into the singularity, is a strong singularity then the following integral evaluated along the geodesic parameterized by affine parameter
[TABLE]
must diverge as , where the components of the Riemann tensor are evaluated in a parallel-propagated frame along the geodesic. Note that this is a necessary but not sufficient condition for a strong singularity. Further, note that in a homogeneous and isotropic universe like the one under consideration, the only timelike geodesics we need to consider are the matter world lines followed by fundamental observers for which the proper time along the geodesics is itself. Further, in case of null geodesics we can take the affine parameter equal to time itself.
For the spatially flat FLRW spacetime, the non-vanishing components of the Riemann tensor are:
[TABLE]
In LQC models the Hubble rate is bounded and both and remain finite and non-zero for all finite times, and any potential divergence in Riemann tensor components only comes through the terms. Hence, even for potential curvature pathologies the above mentioned integral of Riemann tensor components does not diverge as all the second derivatives of the scale factor are removed after one integration. Such a curvature pathology is a weak singularity in LQC, mLQC-I and mLQC-II. Thus, fundamental observers following matter world lines see no strong singularities in spatially flat isotropic LQC, mLQC-I and mLQC-II in finite proper time evolution. One can in principle choose a time coordinate not corresponding to fundamental observers following matter world lines, say related to as , such that is finite when the proper time for fundamental observers becomes infinite, e.g. when . Thus a potential strong singularity may occur in a finite evolution, however the above result implies that fundamental observers see such an event only in infinite time evolution (for further discussion see Sec. V of Ref. ks-strong ).
In contrast to the above result that strong singularities are absent in finite proper time evolution in loop cosmological models considered here, curvature pathologies in the classical theory can be strong as well as weak singularities. As an example, we demonstrate that the big bang singularity in classical spacetime is a strong singularity. Since the Hubble rates diverge at the big bang singularity in the classical dynamics, one can see that the necessary condition (46) is satisfied. However, to show that it is indeed a strong singularity, we need to consider the sufficient conditions for a potential curvature pathology to be a strong singularity. As discussed in ck-1985conditions , a sufficient condition for a singularity to be a strong curvature singularity can be given as follows:
For a non-spacelike geodesic parameterized by an affine parameter , if the integral
[TABLE]
diverges in a finite distance along the geodesic, then the singularity is a strong singularity. From the values of the Riemann tensor components given above, we have . Using the classical Raychaudhuri equation (7), the integral (50) for comoving observers becomes,
[TABLE]
We see that the big bang singularity in the classical spacetime is a strong singularity as the Hubble rate diverges at the big bang singularity, leading to the divergence of the integral (50).
Thus, we conclude that unlike the classical dynamics of the FLRW model, no strong singularities in the effective loop cosmological spacetimes are encountered in a finite time evolution owing to the boundedness of Hubble rate and non-vanishing of the scale factor in finite time. There can be pressure divergences which result into unbounded values of curvature invariants but these amount to weak singularities since these divergences do not satisfy the necessary conditions for strong singularities. This corroborates our conclusion from analysis of geodesics that these pressure divergences are essentially harmless. In the next section, we illustrate the nature of singularity resolution in loop cosmological models by numerically finding solutions of effective spacetimes in loop cosmologies and comparing them with the classical spacetime and amongst themselves for a phenomenological equation of state allowing various exotic singularities.
IV Phenomenological modeling of singularities
In this section we illustrate results regarding the resolution of singularities in loop cosmological models obtained in previous sections using a phenomenological description for equation of state which permits all known singularities in the classical FLRW spacetime. The matter model we study was first discussed in Ref. Nojiri2005 , which has been used earlier in LQC to study singularity resolution ps09 ; psfv . Our goal is to compare solutions of GR and LQC with mLQC-I and mLQC-II by numerically solving dynamical equations in Sec. II. We are interested in four types of singularities which are distinct from the conventional big bang/crunch singularities studied earlier Li2018 ; Li2018b . These are: (i) type-I singularities or big rip singularities where energy density and Hubble rate diverge at an infinite value of scale factor in finite time evolution, (see for e.g. Refs. bigrip ), (ii) type-II or sudden singularities where energy density and Hubble rate are finite, but pressure diverges at a finite value of scale factor in finite time sudden , (iii) type-III or big freeze singularities where energy density and Hubble rate diverge at a finite value of scale factor Nojiri2005 ; freeze , and (iv) type-IV singularities where energy density, pressure, Hubble rate and Ricci scalar are finite but time derivative of Ricci scalar diverges Nojiri2005 ; type4 .
In the phenomenological model for the equation of state which exhibits all the cosmological singularities of interest, we consider the following ansatz Nojiri2005 :
[TABLE]
Here and are parameters which can be varied to generate different types of singularities. Using the matter-energy conservation equation, which remains valid in all the different effective models of loop cosmology, we can find the scale factor as a function of the energy density:
[TABLE]
This equation can be inverted to give,
[TABLE]
The time derivative of the pressure then turns out to be
[TABLE]
Together with the equations we have derived for different models in Sec. II, we now have all the relevant equations to numerically analyze different types of singularities in the classical and various loop cosmological spacetimes. In the following subsections, we consider each of the above four types of singularities and analyze and contrast results of our simulations. To perform these simulations we will fix the value of Barbero-Immirzi parameter to using black hole thermodynamics meissner , as is conventionally done in LQC.
IV.1 Type-I Singularities
In eq. (54), if we choose and to be positive, we get a big rip (type-I) singularity in classical GR Nojiri2005 . This type of singularity is characterized by the divergence of the scale factor, energy density and pressure in a finite time evolution, and is an example of a strong singularity Jambrina1 ; ps09 . Note that for these values of parameters classically there is no initial singularity in this scenario. In order to compare the dynamics of different effective theories with the classical behavior, we plot the respective Hubble rates and the Ricci scalars in Fig. 1.
As expected, the Hubble rate and the Ricci scalar diverge for classical GR which is depicted by a dot-dashed curve. However, all the curves corresponding to three loop cosmological models are very different from the classical trajectory at large values of scale factor where the classical big rip singularity occurs. This is due to the maximum value of energy density in all the three loop cosmological models at which the Hubble rate vanishes and switches its sign and becomes negative. This essentially means that the big rip singularity is absent in all of the loop cosmological models considered here and is replaced by a quantum recollapse at late times. The quantum recollapse is analogous to the quantum bounce often found in loop cosmological models for equations of state of matter satisfying weak energy condition. Hence, all loop cosmology curves turn around to small values in the first plot. Resolution of the big rip singularity and existence of quantum recollapse in isotropic LQC was first seen in Refs. sst ; ps09 , and now our analysis confirms the same for mLQC-I and mLQC-II. Since the upper bound on energy density is numerically different in the three loop cosmological models, the recollapse occurs at different times, as can be seen in the plots in Fig. 1.
Even though most of the details of the quantum recollapse are qualitatively similar in all the loop cosmological models, there is one prominent feature that stands out. Namely, the recollapse is asymmetric in the case of mLQC-I while it is symmetric in LQC and mLQC-II. The reason for this is tied to the properties of modified dynamical equations in mLQC-I Li2018 which were discussed in Sec. II. Specifically, solutions in the phase space consist of two different patches, which in the present case are joined at the quantum turnaround which in this case is a quantum recollapse. Further, solutions of LQC, mLQC-I and mLQC-II agree with classical trajectory when scale factor is small, except in the branch of mLQC-I due to the above mentioned asymmetry. This asymmetry is visible in the curve for the Hubble rate for the negative values, and in the behavior of Ricci scalar. Further, in each of the loop cosmological models the recollapse occurs at different times because of the differences in the maximum energy density.
IV.2 Type-II Singularities
A necessary condition for these sudden singularities to occur is to have in eq.(54). In classical GR there is a big bang singularity in this model in the past as . This can be seen in the behavior of Ricci scalar for the classical case in Figs. 2 and 3, where we plot the Hubble rates and the Ricci scalars of different dynamical models for comparison. In type-II singularity, the energy density and the Hubble rate both remain finite and go to zero as the future singularity is approached at , however the Ricci scalar diverges due to the divergence in pressure. Since this singularity occurs when pressure becomes infinite the evolution equation for in classical theory (4), LQC (11), mLQC-I (20) and mLQC-II (33) breaks down.
Figs. 2 and 3 demonstrate that the past big bang singularity is replaced by big bounce where the Hubble rates vanish while Ricci scalar remains finite. We see that in Fig. 2, the big bang singularity of the classical thoery is resolved in all loop cosmological models considered here and is replaced by a bounce where Hubble rate vanishes. It should be noted that evolution of Hubble rate does not continue past the weak singularity at , and there is no recollapse at weak singularity as Fig. 2 might suggest if one observes the behavior of Hubble rate near , which is an artifact of plotting pre-bounce and post-bounce branches together. Rather, the weak singularity exists both in the pre-bounce branch and the post-bounce branch at for LQC and mLQC-II, a feature shared for type-IV singularity. That there is no evolution of Hubble rate across weak singularity can be seen in Fig. 3. One can clearly see that Hubble rate evolves continuously across the bounce, but approaches zero independently in pre-bounce and post-bounce branches at .
It is important to note that the type-II singularity is still not removed by loop cosmological effective dynamics in any of the cases considered. This is because the energy density remains very low compared to the critical density when type-II singularities occur not allowing quantum gravity effects to become significant. Due to the exotic equation of state, pressure diverges at a finite energy density and a finite Hubble rate, causing divergence in the Ricci scalar as . In the limit when , loop cosmological dynamics in all three cases closely approximates the classical dynamics since energy density is much smaller than maximum energy densities in LQC, mLQC-I and mLQC-II, as a result of which quantum geometric modifications to Friedmann and Raychaudhuri equations are negligible. It is to be noted that the above curvature pathology is not a strong singularity. Since the Hubble rate is bounded in all loop cosmological models, we note from the analysis in the previous section that the integral (46) is finite in the above evolution. Hence the singularity is a weak singularity. Since the Hubble rate is bounded and the type-II singularity occurs at a finite value of scale factor, we find that geodesic equations (3.1–3.4) do not break down at this singularity. Since the time derivative of phase space variable blows up at this singularity, is indeterminate. As a result, even though the volume and its time derivative, which capture the metric and the Christoffel symbols, are always finite from Hamilton’s equations in LQC, mLQC-I and mLQC-II, their exact values beyond the type-II singularity can not be determined. Note that this indetreminism beyond the type-II singularity holds also for GR, as can be seen from Hamilton’s equations in Sec. IIA, since the singularity occurs in the regime where quantum geometric corrections are negligible. In this sense, all these models lose some predicitability about the geodesics beyond the type-II singularity.
As expected, the time taken from the big bounce to the type-II singularity is different amongst LQC, mLQC-I and mLQC-II cases because their critical densities differ from each other. Again, the big bounce which replaces the big bang singularity is asymmetric in case of mLQC-I while it is symmetric in other two cases. The asymmetry is due to switching of the branches in case of mLQC-I for the same reasons as mentioned before. Notably, LQC and mLQC-II have a type-II singularity in the past pre-bounce branch as well where the Ricci scalar diverges while the Hubble rates vanish except in mLQC-I case where the Hubble rate remains at a finite and non-zero value.
IV.3 Type-III Singularities
For , the phenomenological model under consideration leads to a type-III or the big freeze singularity when at a finite time. This is a strong singularity in classical GR accompanied with divergences in energy density, pressure and the Hubble rate. As in the case of type-I singularity, there is no initial singularity in this model classically.
A comparison of the various dynamical models is plotted in Fig. 4. We find that the loop cosmological models agree very closely with the classical curve at small values of scale factor when the energy density is small. But they depart from the classical trajectory as the classical future singularity is approached and the energy density becomes comparable to the maximum density in modified Friedmann dynamics. Since the Hubble rate in each of the loop cosmological models vanish when the corresponding maximum energy density is reached, the quantum turnaround results in classical singularity replaced by a quantum recollapse. We find that the Ricci scalar remain bounded in all loop cosmological models and retrace their values after the recollapse except in the case of mLQC-I where the recollapse is asymmetric.
Finally, there are expected qualitative differences amongst LQC, mLQC-I and mLQC-II, namely that the recollapse occurs at different times in them because their critical densities are different. And, dynamics of mLQC-II gives an asymmetric recollapse where the evolution after the recollapse follows a trajectory different from the one before the recollapse.
IV.4 Type-IV Singularities
If we choose , then derivatives of curvature invariants diverge as while the energy density, pressure, Hubble rate and all the curvature invariants remain finite in the classical theory as well as all of the loop cosmological models under consideration. But, the divergence in the time derivative of Ricci scalar is observed in both classical as well as loop cosmological models as shown in Fig. 5. The weak singularity occurs at both in the pre-bounce and post-bounce branches, as is the case for type-II singularity. However, unlike the case of type-II singularity, for type-IV singularity the evolution equation for does not break down as there is no divergence in pressure. Quantum geometry effects do not affect these divergences. Such a divergence which is only in the time derivative of curvature invariants is a weak singularity because the integral in eq.(46) is finite. Further, since the scale factor and Hubble rate at this singular event are finite, geodesics can be extended beyond type-IV singularity.
For the above example, classically there is a big bang singularity in the past at which the Hubble rate and the Ricci scalar diverge. This is a strong singularity and is resolved in all the loop cosmological models and is replaced by a big bounce linking it to a past contracting universe. The type-IV singularity is present in these past (pre-bounce) branches as well in all three cases, except that the past branch is asymmetric in mLQC-I while it is symmetric in LQC and mLQC-II.
V Conclusions
In this manuscript, we have analyzed the existence of various types of singularities in the effective dynamics of modified loop quantum cosmologies of spatially flat FLRW spacetime, namely mLQC-I and mLQC-II, and found the effective spacetimes to be geodesically complete and free from strong curvature singularities. For comparison, we have also included the analysis of classical and standard LQC dynamics. As discussed earlier, mLQC models result from quantizing the Lorentzian term in the Hamiltonian constraint independently of the Euclidean term Bojowald2002 ; Yang2009 ; Dapor2017 . In mLQC-II, the extrinsic curvature in the Lorentzian term is first replaced by the Ashtekar-Barbero connection before quantizing, while it is directly quantized in mLQC-I using Thiemann’s identities involving holonomies of connection Thiemann . Unlike LQC where the quantum constraint is a second order difference equation, these quantizations lead to fourth order difference equations von-Neumann , resulting in a complicated effective phase space consisting of two branches of solutions each having its own set of Friedmann and Raychaudhuri equations. In mLQC-I, both branches are required to completely describe the phase space evolution generated by the effective Hamiltonian which leads to an asymmetric bounce Li2018 . On the other hand in mLQC-II, one of the branches turns out to be unphysical, leaving only one branch to describe the whole phase space evolution leading to a symmetric bounce similar to standard LQC Li2018b .
Assuming the validity of effective spacetime description which has been verified extensively using numerical simulations numlsu , we first showed that the energy density and Hubble rate are generically bounded in all of the considered loop cosmological models. The effective phase space is maximally extendible except for pressure divergences. Quantum geometric effects as understood in loop cosmologies still allow the Ricci scalar, the time derivative of the Hubble rate and the time derivative of Ricci scalar to diverge if the pressure or its time derivative diverges. Using analytical methods we showed that these divergences are harmless in all loop cosmological models as the geodesics can be extended beyond such divergent events and that these events do not lead to strong curvature singularities. We show that all strong curvature singularities are resolved in both mLQC-I and mLQC-II as is the case with standard LQC.
Analytical results on geodesic completeness of effective spacetimes and absence of strong singularities are further understood via a phenomenological description of matter allowing various exotic singularities. In particular, choosing different values of parameters in the equation of state, type-I (big rip), type-II (sudden), type-III (big freeze), and type-IV (generalized sudden) singularities are studied. By numerical solving the effective dynamics in mLQC-I and mLQC-II we find that as in LQC ps09 , type-I and type-III singularities are resolved in both mLQC-I and mLQC-II. In contrast, the type-II and type-IV singularities are not resolved and are completely ignored by quantum geometry. Interestingly, type-I and type-III singularities are strong curvature singularities whereas type-II and type-IV are weak singularities and are harmless. Therefore, quantum gravitational effects as understood in loop cosmology for these spatially flat isotropic models seem to resolve only those singularities which are truly pathological. Whether the ignorance of weak singularities is a generic feature of loop cosmological models is not clear as the counter evidence of resolution of some weak singularities exists in spatially curved and anisotropic models psfv ; kasner-flat . Further, we should note that in quantum theory additional effects associated with quantum fluctuations can potentially soften or even resolve such weak singularities, as is the case for some models in Wheeler-DeWitt quantum cosmology type4q . Finally, let us note that despite qualitative changes in the Planck scale physics of loop cosmological models, the main result of generic resolution of all strong singularities and geodesic completeness of effective spacetime earlier found for LQC ps09 , is found to be true in modified loop quantum cosmologies – mLQC-I and mLQC-II.
Acknowledgments
This work is supported by NSF grant PHY-1454832.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) G. F. R. Ellis and B. G. Schmidt, Gen. Rel. Grav. 8 , 915, (1977).
- 2(2) F. J. Tipler, Phys. Lett. A 64 , 8, (1977).
- 3(3) C. Clarke and A. Królak, Journal of Geometry and Physics 2 , 127, (1985).
- 4(4) A. Królak, Class. Quant. Grav. 3 , 267, (1986); A. Królak, Cosmic Censorship Hypothesis, Contemporary Mathematics, 359 , 51 (2004).
- 5(5) R. Caldwell, M. Kamionkowski, and N. Weinberg, Phys. Rev. Lett. 91 , 071301, (2003); P. Singh, M. Sami, and N. Dadhich, Phys. Rev. D 68 , 023522, (2003); H. Wei and R. G. Cai, Phys. Rev. D 72 , 123507, (2005).
- 6(6) J.D. Barrow, G.J. Galloway and F.J. Tipler, MNRAS 223 , 835, (1986); K. Lake, Class. Quant. Grav. 21 , L 129, (2004); J.D. Barrow, S. Cotsakis, A. Tsokaros, Class. Quant. Grav. 27 , 165017, (2010); T. Denkiewicz, M.P. Dabrowski, H. Ghodsi, M.A. Hendry, Phys. Rev. D 85 , 083527, (2012).
- 7(7) S. Nojiri, S. D. Odintsov, and S. Tsujikawa, Phys. Rev. D 71 , 063004, (2005).
- 8(8) M. Bouhmadi-Lopez, P. F. Gonzalez-Diaz, P. Martin-Moruno, Phys. Lett. B 659 , 1 (2008)
