in general relativity , the gravitational field is encoded in the very geometry of space - time .geometry is no longer an inert backdrop providing just a stage for physical happenings ; it is a physical entity that interacts with matter .as we all know , this deep paradigm shift lies at the heart of the most profound predictions of the theory : the big bang , the black holes and the gravitational waves .however , the encoding of gravity in geometry also implies that space - time itself must end when the gravitational field becomes singular , and _ all of physics _ must come to an abrupt halt .this is why in popular articles relativists and cosmologists like to say that the universe was born with a big bang some 14 billion years ago and it is meaningless to ask what was there before . in more technical articles they point out that this finite beginning leads to the ` horizon problem . 'but we know that general relativity is incomplete because it ignores quantum physics .if we go back in time using general relativity , we encounter huge matter densities and curvatures at which quantum effects should in fact dominate physics .this is the regime where we can no longer trust general relativity . _thus , the big bang is a prediction of general relativity precisely in a domain where it is inapplicable . _although in the framework of general relativity the universe did begin with a big - bang , there is no reason to believe that the real , physical universe did .  to know what really happened, one needs a quantum theory of gravity .john wheeler recognized this early and drew on various analogies to argue that quantum fluctuations of geometry would intervene and resolve classical singularities . already in his 1967 lectures in battelle rencontres , he wrote :  _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ in all applications of quantum geometrodynamics , none would seem more immediate than gravitational collapse here , according to classical general relativity , the dimensions of collapsing system are driven down to indefinitely small values . ... in a finite proper time the calculated curvature rises to infinity . at this pointthe classical theory becomes incapable of further prediction .in actuality , classical predictions go wrong before this point .a prediction of infinity is not a prediction .the wave packet in superspace does not and can not follow the classical history when the geometry becomes smaller in scale than the quantum mechanical spread of the wave packet . ... the semiclassical treatment of propagation is appropriate in most of the domain of superspace of interest to gravitational collapse .not so in the decisive region ._ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _  wheeler focused on the gravitational collapse but his comments are equally applicable to the big - bang the time reverse of the collapse .this point was made explicit is misner s articles on quantum cosmology , particularly in his contribution to the wheeler festschrift .however , it turned out that within the framework of quantum geometrodynamics ( qgd ) that wheeler , misner and dewitt used , without additional inputs the big bang singularity could not be resolved generically , at least in the precise , physical sense spelled out in section [ s4 ] .the subject had therefore remained rather dormant for over two decades . over the last 6 - 7 years, the issue was revived in the context of loop quantum cosmology ( lqc) the application of loop quantum gravity ( lqg ) to cosmological models .the lqg program is rather similar to that envisaged by wheeler : both are canonical approaches , both follow pioneering ideas of bergmann and dirac , and in both cases dynamics has to be teased out of the quantum hamiltonian constraint .there is however , a key difference : lqg is based on a specific quantum theory of riemannian geometry . as a result , geometric observables display a fundamental discreteness .it turns out that this discreteness plays a key role in quantum dynamics : while predictions of lqc are very close to those of qgd away from the planck regime , there is a dramatic difference once densities and curvatures enter the planck scale . in lqcthe big bang is replaced by a quantum bounce .moreover , thanks to the introduction of new analytical and numerical methods over the past two years , it is now possible to probe the planck scale physics in detail .the purpose of this article is to present an overview of the situation .since the intended audience is diverse , i will present the material at two levels . in the main body, i will summarize the main developments , emphasizing the conceptual aspects from an angle that , i hope , will make the material accessible also to non - experts . in the appendices ,i will address a number of more technical issues that are often raised in loop quantum gravity as well as string theory circles .the material is organized as follows . in section [ s2 ] i will set the stage by listing some key questions on the nature of the big bang that any quantum theory of gravity should address . in section [ s3] , i will summarize the situation in the wheeler dewitt theory . because lqc has evolved considerably since its inception, the cumulative discussion in the literature can seem somewhat confusing to non - experts .therefore , i will begin in section [ s4 ] by outlining this evolution of the subject and then explain the key difference between lqc and qgd ( also known as the wheeler - dewitt ( wdw ) theory ) .main results of lqc are gathered in section [ s5 ] .section [ s6 ] summarizes the overall situation from a broad perspective .appendix [ a1 ] discusses some conceptual issues and [ a2 ] , issues related to dynamics .many of the key questions that any approach to quantum gravity should address in the cosmological context were already raised in the seventies by dewitt , misner and wheeler .more recent developments in inflationary and cyclic models raise additional issues . in this section, i will present a prototype list .it is far from being complete but should suffice to provide an approach independent gauge to compare the status of various programs .  *how close to the big - bang does a smooth space - time of general relativity make sense ?inflationary scenarios , for example , are based on a space - time continuum .can one show from ` first principles ' that this is a safe approximation already at the onset of inflation ? * is the big - bang singularity naturally resolved by quantum gravity ? as we saw in section [ s1 ] , this tantalizing possibility led to the development of the field of quantum cosmology in the late 1960s .the basic idea can be illustrated using an analogy to the theory of the hydrogen atom . in classical electrodynamicsthe ground state energy of this system is unbounded below .quantum physics intervenes and , thanks to a non - zero planck s constant , the ground state energy is lifted to a finite value , . since it is the heisenberg uncertainly principle that lies at the heart of this resolution and since the principle is fundamental also to quantum gravity , one is led to ask : can a similar mechanism resolve the big - bang and big crunch singularities of general relativity ?* is a new principle/ boundary condition at the big bang or the big crunch essential ?the most well known example of such a boundary condition is the ` no boundary proposal ' of hartle and hawking . or , do quantum einstein equations suffice by themselves even at the classical singularities ? * do quantum dynamical equations remain well - behaved even at these singularities ?if so , do they continue to provide a deterministic evolution ?the idea that there was a pre - big - bang branch to our universe has been advocated in several approaches , most notably by the pre - big - bang scenario in string theory and ekpyrotic and cyclic models inspired by the brane world ideas . however , these are perturbative treatments which require a smooth continuum in the background . therefore , their dynamical equations break down at the singularity whence , without additional input , the pre - big - bang branch is not joined to the current post - big - bang branch by a deterministic evolution .can one improve on this situation ? * if there is a deterministic evolution , what is on the ` other side ' ?is there just a quantum foam from which the current post - big - bang branch is born , say a ` planck time after the putative big - bang ' ? or , was there another classical universe as in the pre - big - bang and cyclic scenarios , joined to ours by deterministic equations ?clearly , to answer such questions we can not start by assuming that there is a smooth space - time in the background .but already in the classical theory , it took physicists several decades to truly appreciate the dynamical nature of geometry and to learn to do physics without recourse to a background space - time . in quantum gravity , this issue becomes even more vexing . for simple systems , including minkowskian field theories, the hamiltonian formulation generally serves as the royal road to quantum theory .it was therefore adopted for quantum gravity by dirac , bergmann , wheeler and others . butabsence of a background metric implies that the hamiltonian dynamics is generated by constraints . in the quantum theory ,physical states are solutions to quantum constraints . all of physics , including the dynamical content of the theory , has to be extracted from these solutions .but there is no external time to phrase questions about evolution .therefore we are led to ask :  * can we extract , from the arguments of the wave function , one variable which can serve as _ emergent time _ with respect to which the other arguments ` evolve ' ?such an internal or emergent time is not essential to obtain a complete , self - contained theory .but its availability makes the physical meaning of dynamics transparent and one can extract the phenomenological predictions more easily . in a pioneering work , dewitt proposed that the determinant of the 3-metric can be used as internal time . consequently , in much of the literature on the wheeler - dewitt ( ) approach to quantum cosmology , the scale factor is assumed to play the role of time , although sometimes only implicitly .however , in closed models the scale factor fails to be monotonic due to classical recollapse and can not serve as a global time variable already in the classical theory .are there better alternatives at least in the simple setting of quantum cosmology ?finally there is an important ultraviolet - infrared tension , emphasized by green and unruh in the context of an older lqc treatment of the k=1 model :  * can one construct a framework that cures the short - distance difficulties faced by classical general reltivity near singularities , while maintaining an agreement with it at large scales ?  by their very construction ,perturbative and effective descriptions have no problem with the second requirement . however ,physically their implications can not be trusted at the planck scale and mathematically they generally fail to provide a deterministic evolution across the putative singularity . since the non - perturbative approaches often start from deeper ideas , it is conceivable that they could lead to new structures at the planck scale which modify the classical dynamics and resolve the big - bang singularity . but once unleashed , do these new quantum effects naturally ` turn - off ' sufficiently fast , away from the planck regime ?the universe has had some _ 14 billion years _ to evolve since the putative big bang and even minutest quantum corrections could accumulate over this huge time period leading to observable departures from dynamics predicted by general relativity .thus , the challenge to quantum gravity theories is to first create huge quantum effects that are capable of overwhelming the extreme gravitational attraction produced by matter densities of some near the big bang , and then switching them off with extreme rapidity as the matter density falls below this planck scale .this is a huge burden !the question then is : how do various approaches fare with respect to these questions ? in lqcthese issues have been addressed in considerable detail .as we will see in sections [ s4 ] and [ s5 ] , some of them could be addressed even in the simplest , early versions of the theory , while others required a much more careful analysis of the quantum hamiltonian constraint .  classical solutions in k=0 , frw models with a massless scalar field .since is a constant of motion , a classical trajectory can be plotted in the - plane , where is the volume ( essentially in planck units ) of a fixed fiducial cell .there are two classes of trajectories . in onethe universe begins with a big - bang and expands and in the other it contracts into a big crunch .+ classical solutions in the k=1 , frw model with a massless scalar field .the universe begins with a big bang , expands to a maximum volume and then undergoes a recollapse to a big crunch singularity .since the volume of the universe is double valued in any solution , it can not serve as a global time coordinate in this case .the scalar field on the other hand does so both in the k=0 and k=1 cases.,title="fig:",width=307 ]  classical solutions in k=0 , frw models with a massless scalar field .since is a constant of motion , a classical trajectory can be plotted in the - plane , where is the volume ( essentially in planck units ) of a fixed fiducial cell .there are two classes of trajectories . in onethe universe begins with a big - bang and expands and in the other it contracts into a big crunch .+ classical solutions in the k=1 , frw model with a massless scalar field .the universe begins with a big bang , expands to a maximum volume and then undergoes a recollapse to a big crunch singularity .since the volume of the universe is double valued in any solution , it can not serve as a global time coordinate in this case .the scalar field on the other hand does so both in the k=0 and k=1 cases.,title="fig:",width=307 ]  almost all phenomenological work in cosmology is based on the k=0 homogeneous and isotropic friedmann robertson walker ( frw ) space - times and perturbations thereof .therefore , these models provide a natural point of departure for quantum cosmology .for concreteness , i will focus on frw model in which the only matter source is a massless scalar field ( although our discussion will make it clear that it is relatively straightforward to allow additional fields , possibly with complicated potentials ) .i will consider k=0 ( or spatially flat ) as well as k=1 ( spatially closed ) models .conceptually , these models are interesting for our purpose because _ every _ of their classical solutions has a singularity ( see fig [ class ] ) .therefore a natural singularity resolution without external inputs is highly non - trivial . in light of the spectacular observational inputs over the past decade , the k=0 model is the one that is phenomenologically most relevant .however as we will see , because of its classical recollapse , the k=1 model offers a more stringent viability test for the quantum cosmology .let us begin with the issue of time . in the classical theory ,one considers one space - time at a time and although the metric of that space - time is dynamical , it enables one to introduce time coordinates such as the proper time that have direct physical significance .however in the quantum theory and indeed already in the phase space framework that serves as the stepping stone to quantum theory we have to consider all possible homogeneous , isotropic space - times . in this setting one can introduce a natural foliation of the 4-manifold , each leaf of which serves as the ` home ' to a spatially homogeneous 3-geometry .however , unlike in non - gravitational theories , there is no preferred physical _ time variable _ to define evolution .as discussed in section [ s2 ] , a natural strategy is to use part of the system as an ` internal ' clock with respect to which the rest of the system evolves .this leads one to leibnitz s _ relational time_. now , in any spatially homogeneous model with a massless scalar field , the conjugate momentum is a constant of motion , whence is monotonic along any dynamical trajectory . thus , in the classical theory , it serves as a global clock is a good evolution parameter , it does not have physical dimensions of time . still inwhat follows we will loosely refer to it as ` time ' for simplicity . ]( see fig . [ class ] ) .questions about evolution can thus be phrased as : `` if the curvature or matter density or an anisotropy parameter is such and such when what is it when ? ''what is the situation in the quantum theory ? there is no a priori guarantee that a variable which serves as a viable time parameter in the classical theory will continue to do so in the quantum theory .whether it does so depends on the form of the hamiltonian constraint .for instance as fig [ class]a shows , in the k=0 model without a cosmological constant , volume ( or the scale factor ) can be used as a global ` clock ' along any classical trajectory .but the form of the quantum hamiltonian constraint in loop quantum gravity is such that it does not readily serve this role in the quantum theory . the scalar field , on the other hand , continues to do so ( with or without a cosmological constant and also in the k=1 case ) . , while the availability of an internal evolution parameter such as makes it easier to interpret the theory , a preferred time variable , especially one that is defined globally is not essential .if there is no massless scalar field , one could still use a suitable matter field as a ` local ' internal clock .for instance , in the inflationary scenario , because of the presence of the potential , the inflaton is not monotonic even along classical trajectories .but it is possible to divide dynamics into ` epochs ' and use the inflaton as a clock locally , i.e. , within each epoch .there is considerable literature on the issue of internal time for model constrained systems ( such as a system of two harmonic oscillators where the total energy is constrained to be constant ) .] let us now turn to quantization .because of the assumption of spatial homogeneity , we have only a finite number of degrees of freedom .therefore , although the conceptual problems of quantum gravity remain , there are no field theoretical infinities and one can hope to mimic ordinary text book quantum mechanics to pass to quantum theory .however , in the k=0 case , because space is infinite , homogeneity implies that the action , the symplectic structure and hamiltonians all diverge since they are represented as integrals over all of space .therefore , in any approach to quantum cosmology irrespective of whether it is based on path integrals or canonical methods one has to introduce an elementary cell and restrict all integrals to it . in actual calculations , it is generally convenient also to introduce a fiducial 3-metric ( as well as frames adapted to the spatial isometries ) and represent the physical metric via a scale factor , .then the geometrical dynamical variable can be taken to be either the scale factor or the ` oriented ' volume of the fiducial cell as measured by the physical frame , where is positive if has the same orientation as and negative if the orientations are opposite .( in either case the physical volume of the cell is . ) in lqc it is more convenient to use rather than the scale factor so we will use here as well .note , however , that physical results can not depend on the choice of the fiducial cell or the fiducial metric . and/or although the dependence is often hidden by setting the volume of with respect to to ( in unspecified units ) in the classical theory . ] in the k=1 case , since space is compact , a fiducial cell is unnecessary and the dynamical variable is then just the oriented physical volume of the universe .  with this caveat about the elementary cell out of the way , one can proceed with quantization .situation in the theory can be summarized as follows .this theory emerged in the late sixties and was analyzed extensively over the next decade and a half .many of the key physical ideas of quantum cosmology were introduced during this period and a number of models were analyzed .however , since a mathematically coherent approach to quantization of full general relativity did not exist , there were no guiding principles for the analysis of these simpler , symmetry reduced systems .rather , quantization was carried out following ` obvious ' methods from ordinary quantum mechanics .thus , in quantum kinematics , states were represented by square integrable wave functions , where represents geometry and , matter ; and operators acted by multiplication and their conjugate momenta by ( times ) differentiation .because of spatial homogeneity and isotropy , we are left with a single hamiltonian constraint ; all others are automatically solved .the hamiltonian constraint takes the form of a differential equation that must be satisfied by the physical states : [ wdw0 ] _^2 ( v , ) = _ o(v , ) : = -12 g ( v_v)^2 ( v , ) for k=0 , and [ wdw1 ] _^2 ( v , ) = -_1 ( v , ) : = -_o ( v , ) - gc|v|^ ( v , ) , for k=1 , where is a numerical constant . (the bars below various symbols indicate that they refer to the theory . )_ in what follows will stand for either or ._ these are the celebrated equations of the two models . in the older literature ,the emphasis was on finding and interpreting the wkb solutions of these equations ( see , e.g. , ) .however , as wheeler emphasized already in 1968 , the wkb approximation fails near the singularity and we need an exact quantum theory .the physical sector of the theory can be readily constructed . a systematic procedure based on the so - called group averaging method ( which is applicable for a very large class of constrained systems )provides the physical inner product on the space of solutions to the equation . to understand its structure , note that the form of ( [ wdw0 ] ) and ( [ wdw1 ] ) is the same as that of a klein - gordon equation in a 2-dimensional static space - time ( with a -independent potential in the k=1 case ) , where plays the role of time and of spacethis suggests that we think of as the relational time variable with respect to which , the ` true ' degree of freedom , evolves .not surprisingly , the scalar product given by the group averaging procedure coincides with the expression from the klein - gordon theory in static space - times .   for the wave function in the k=1 model .the wave function follows the classical trajectory into the big - bang and big - crunch singularities .( is a constant of motion . in this simulation ,the quantum state at late times is a gaussian peaked at in the g = c=1 units and the dispersion is . ) , width=307 ]  the resulting physical sector of the final theory can be summarized as follows .the physical hilbert space in the k=0 and k=1 cases consists of ` positive frequency ' solutions to ( [ wdw0 ] ) and ( [ wdw1 ] ) respectively .a complete set of observables is provided by the momentum and the relational observable representing the volume at the ` instant of time ' : _ ( ) ( v , ) = -i _ ( v,)|__o ( v , ) = e^i ( -_o ) |v| ( v,_o ) .( thus , the action of is as follows : one freezes the given solution to the equation at ` time ' , acts of the volume operator and then evolves the new initial data to obtain another solution .) there are _ dirac _ observables because their action preserves the space of solutions to the constraints and are self - adjoint on the physical hilbert space . with this exact quantum theory at hand, we can ask if the singularities are naturally resolved .more precisely , from and we can construct observables corresponding to matter density ( or space - time scalar curvature ) . since the singularity is characterized by divergence of these quantities in the classical theory , in the quantum theory we can proceed as follows .we can select a point at a ` late time ' on a classical trajectory of fig [ class ] e.g ., the present epoch in the history of our universe when the density and curvature are _ very _ low compared to the planck scale , and construct a semi - classical state which is sharply peaked at at .we can then evolve this state _backward _ in time .does it follow the classical trajectory ? to have the correct ` infra - red ' behavior , it must , until the density and curvature become very high .what happens in this ` ultra - violet ' regime ? does the quantum state remain semi - classical and follow the classical trajectory into the big bang ? or ,does it spread out making quantum fluctuations so large that although the quantum evolution does not break down , there is no reasonable notion of classical geometry ? or , does it remain peaked on some trajectory which however is so different from the classical one that , in this backward evolution , the universe ` bounces ' rather than being crushed into the singularity ? or , does it ... each of these scenarios provides a distinct prediction for the ultra - violet behavior and therefore for physics in the deep planck regime .it turns out that the theory leads to similar predictions in both k=0 and k=1 cases .they pass the infra - red tests with flying colors ( see fig [ fig : wdw ] ) .but unfortunately the state follows the classical trajectory into the big bang ( and in the k=1 case also the big crunch ) singularity .thus the first of the possibilities listed above is realized .the singularity is not resolved because expectation values of density and curvature continue to diverge in epochs when their classical counterparts do .the analogy to the hydrogen atom discussed in section [ s2 ] fails to be realized in the theory of these simple models .for a number of years , the failure of the theory to naturally resolve the big bang singularity was taken to mean that quantum cosmology can not , by itself , shed significant light on the quantum nature of the big bang . indeed , for systems with a finite number of degrees of freedom we have the von neumann uniqueness theorem which guarantees that quantum kinematics is unique .the only freedom we have is in factor ordering and this was deemed insufficient to alter the status - quo provided by the theory .the situation changed dramatically in lqg .in contrast to the theory , a well established , rigorous kinematical framework _ is _ available in full lqg .if one mimics it in symmetry reduced models , one is led to a quantum theory which is _ inequivalent to the theory already at the kinematic level_. quantum dynamics built in this new arena agrees with the theory in ` tame ' situations but differs dramatically in the planck regime , leading to a natural resolution of the big bang singularity .these developments occurred in three stages , each of which involved major steps that overcame limitations of the previous one .as a consequence , the viewpoint and the level of technical discussions has evolved quite a bit .therefore many statements made in the literature have become outdated . since non - expertscan be confused by the occasional tension between statements made at different stages of this evolution , i will now make a small detour to summarize how the subject evolved .the first seminal contribution was bojowald s result that the quantum hamiltonian constraint of lqc does not break down at where the classical singularity occurs .since this was a major shift that overcame the perceived impasse suggested by the theory , it naturally led to a flurry of activity and the subject began to develop .this success naturally drew scrutiny .soon it became clear that these fascinating results came at a cost : it was implicitly assumed that , the trace of the extrinsic curvature ( or the hubble parameter , ) , is periodic , i.e. takes values on a circle rather than the real line .since this assumption has no physical basis , at a 2002 workshop at schrdinger institute , doubts arose as to whether the unexpectedly good behavior of the quantum hamiltonian constraint was an artifact of this assumption .however , thanks to key input from klaus fredenhagen at the same workshop , it was soon realized that in cosmological models one can mimic the procedure used in full lqg to remove the periodicity assumption . in the full theory , the requirement of diffeomorphism covariance leads one to a _unique _ representation of the algebra of fundamental operators .if one mimics in lqc the procedure followed in the full theory , one finds naturally takes values on the real line as one would want physically .but as i mentioned above , the resulting quantum kinematics is _ inequivalent _ to that of the theory and the quantum hamiltonian constraint is now a regular operator without having to assume periodicity in .this new kinematical framework ushered - in the second stage of lqc .a number of early papers based on periodicity of can not be taken at their face value but results of suggested how they could be reworked in the new kinematical framework .this led to another flurry of activity in which more general models were considered .however , at this stage , none of the analyses had a physical hilbert space nor well - defined dirac observables .indeed , often the hamiltonian constraint failed to be self - adjoint on the kinematical hilbert space whence one could not even begin to use the group averaging method .consequently , new questions arose .in particular , brunnemann and thiemann were led to ask : what is the precise sense in which the physical singularity is resolved ?  to address these key physical questions , one needs a physical hilbert space and a complete family of dirac observables at least some of which diverge at the singularity in the classical theory .examples are matter density , anisotropic shears and curvature invariants ( all evaluated at an instant of a suitably chosen internal time ) .the question then is : do the corresponding operators all remain bounded on the _ physical _ hilbert space even in the deep planck regime ?if so , one can say that the singularity is resolved in the quantum theory . in the theory , for example , these observables fail to remain bounded whence the singularity is not resolved .what is the situation in lqc ?the third stage of evolution of lqc began with the detailed construction of a mathematical framework to address this issue .the physical hilbert space could again be constructed using the massless scalar field as internal time .it was found that the self - adjoint version of the hamiltonian constraint introduced in the second stage called the scheme in the literature does lead to singularity resolution in the precise sense mentioned above .since the detailed theory could be constructed , the hamiltonian constraint could be solved numerically to extract physics in the planck regime .but this detailed analysis also brought out glaring limitations of the theory which had remained unnoticed because the physical sector of the theory had not been constructed .( for details see , e.g. , appendix 2 of , and . )first , the matter density ( or curvature scalar ) at which the bounce occurs depended sensitively on quantum states and , unfortunately , more semiclassical the state , lower is the density at which the bounce occurred .therefore the theory predicted huge deviations from general relativity even at the density of water !second , when cosmological constant is non - zero , large deviations from general relativity can occur even at late times , i.e. , _ well away _ from the planck regime .this is a concrete manifestation of the ultraviolet - infrared tension discussed in section [ s2 ] .finally , this quantum dynamics has a deep conceptual flaw : in the k=0 model , even the leading order predictions depend on the choice of the fiducial cell , an auxiliary structure which has no physical significance .this meant that , in spite of the singularity resolution , the theory was physically unacceptable .fortunately , the problem could be traced back to the fact that quantization of the hamiltonian constraint had ignored a conceptual subtlety .roughly , at a key step in the procedure , the hamiltonian constraint operator of implicitly used the kinematic metric rather than the physical metric .when this is corrected , the new , improved hamiltonian constraint again _ resolves the singularity and , at the same time , is free from all the drawbacks of the scheme_. this is one of the best examples of the deep interplay between physics and mathematics that i have encountered .the improved procedure is referred to as the ` scheme ' in the literature .the resulting quantum dynamics has been analyzed in detail and has provided a number of insights on the nature of physics in the planck regime ( see section [ s4.2 ] ) . dynamics has been successfully implemented in the case of a non - zero cosmological constant , the k=1 , spatially compact case , and to the bianchi i model . as i mentioned earlier , in the k=1 model, green and unruh had laid out more stringent tests that lqc has to meet to ensure that it has good infrared behavior .these were met successfully .because of these advances , the strategy has received considerable attention from a mathematical physics perspective .this work uses a combination of analytic and numerical techniques to enhance rigor to a level that is unprecedented in quantum cosmology .we are now in the fourth stage of lqc where two directions are being pursued . in the first, emphasis is on extending the framework to more and more general situations ( see in particular ) .already in the spatially homogeneous situations , the transition from to scheme taught us that great care is needed in the construction of the quantum hamiltonian constraint .the analysis of bianchi i models has re - enforced my belief that this lesson is an extremely valuable guide for generalizations .it narrows down choices by making direct appeal to physical considerations .the second direction in current work is lqc phenomenology .various lqc effects are being incorporated in the analysis of observed properties of cmb particularly by cosmologists ( see , e.g. , ) .these investigations explore a wide range of issues , including : i ) effects of the quantum - geometry driven super - inflation just after the big - bounce , predicted by lqc ; ii ) lqc driven effects on dark energy and phantom fields ; and , iii ) production of gravitational waves near the big bounce .they combine very diverse ideas and are therefore important .however , since most of this analysis has been carried out by cosmologists who are not experts in quantum gravity , it does not always do justice to all the relevant features , predictions and subtleties of lqc .this frontier is still to mature .but the body of work that has accumulated so far does provide an excellent scaffolding and lqc community has begun to use it to build a more careful , reliable and detailed framework .let us return to the difference between the theory and lqc .as i mentioned at the beginning of section [ s4 ] , in the eighties and nineties von - neumann s uniqueness theorem and results from the theory had led to a general belief that the big bang singularity can not be resolved in quantum cosmology .so what happens to the von neumann theorem in lqc ?let us first recall the statement of the theorem : 1-parameter groups and satisfying the weyl commutation relations and can be obtained by setting and in the standard schrdinger theory . given a representation , is said to be _ weakly continuous _ in if its matrix elements between any two fixed quantum states are continuous in .] admit ( up to isomorphism ) a unique irreducible representation by unitary operators on a hilbert space in which and are weakly continuous in the parameters and . by stone s theorem ,weak continuity is a necessary and sufficient condition for to admit self adjoint operators such that and .therefore assumption of the von neumann theorem are natural in non - relativistic quantum mechanics and we are led to a unique quantum kinematics the schrdinger theory .however , in full loop quantum gravity , is analogous to the gravitational connection and to its holonomy .one can again construct an abstract algebra using holonomies and operators conjugate to connections and ask for its representations satisfying natural assumptions , the most important of which is the diffeomorphism covariance dictated by background independence .there is again a uniqueness theorem .however , in the representation that is thus singled out , holonomy operators analogs of _ fail to be weakly continuous _ whence there are no operators corresponding to connections !furthermore , a number of key features of the theory such as the emergence of a quantum riemannian geometry in which there is fundamental discreteness can be traced back to this unforeseen feature . therefore , upon symmetry reduction , although we have a finite number of degrees of freedom , it would be incorrect to just mimic schrdinger quantum mechanics and impose weak continuity .when this assumption is dropped , the von neumann theorem is no longer applicable and _ we can have new quantum mechanics _ .this new kinematical arena is constructed by applying the procedure used in full lqg to the symmetry reduced models of lqc .thus , the key difference between lqc and the theory lies in the fact that while one does not have reliable quantum kinematics in the theory , there is a well developed and rigorous framework in lqg which , furthermore , is _ unique _ !if we mimic it as closely as possible in the symmetry reduced theories , we are led to a new kinematic arena , distinct from the one used in the quantum cosmology .lqc is based on this arena .it turns out dynamics is not supported by the new kinematical arena because , when translated in terms of gravitational connections and their conjugate momenta , it requires that there be an operator corresponding to the connection itself .as we just saw , such as operator does not exist on the kinematical hilbert space of lqc ; only its exponentiated versions , the holonomies , are well defined on .therefore one has to develop quantum dynamics ab - initio on the new arena ( see appendix [ a2.1 ] ) .now in the hamiltonian constraint of lqg , the gravitational spin connection appears through its curvature .since only holonomy operators are well - defined , we are led to express curvature in terms of holonomies . in the classical theory ,various components of can be obtained by first computing holonomies around appropriate ( and naturally available ) loops , dividing them by the areas enclosed by these loops , and taking the limit as the area shrinks to zero . in the quantum theory ,the limit does not exist , reflecting that there is no local operator representing .this , as we saw , is a distinguishing feature of lqg which lies at the heart of the discreteness of geometric operators . in particular, there is a minimum non - zero area eigenvalue in planck units , where is the barbero - immirzi parameter of the area operator , often referred to as the area gap .the fact that the fundamental quantum geometry has a built - in discreteness is a strong hint that we should shrink the loop only till the _ physical _ area it encloses is .framework , this area was computed using the fiducial , rather than the physical , metric ( i.e. , rather than ) . as we noted above the resulting quantum dynamics has a good ultra - violet behavior but a bad infra - red behavior .this is cured in the scheme simply by using the physical metric to compute these areas .secondly , in the scheme , was at first taken to be the lowest non - zero eigenvalue  ( where is the barbero - immirzi parameter ) . however , it was later realized that eigenstates with these eigenvalues will not appear in quantum geometries needed to represent homogeneous classical metrics . on states that can feature in this representation , the minimum non - zero eigenvalueis twice as large .since the critical density at which the quantum bounce occurs in these models goes inversely as , in the earlier literature , was rather than .both thes points are discussed further in appendix [ a2.1 ] . ] as a consequence , the quantum curvature operator and hence the quantum dynamics is now _ non - local_. locality is recovered only in the classical limit .these considerations lead to a well - defined hamiltonian constraint operator on the kinematical hilbert space of lqc .it has the same form as in the theory but differential operator that features in the constraints eqs ( [ wdw0 ] ) and ( [ wdw1 ] ) is now replaced by a second order _ difference _operator in : [ hc4 ] _ o ( v , ) = - f(v ) ( c^+(v ) ( v+4 , ) + c^o(v ) ( v , ) + c^-(v ) ( v-4 , ) ) . here , and and are functions of : [ b ] f(v ) = |v| . and [ c ] c^+(v ) & = & |v + 2| | |v + 1| -  c^-(v ) & = & c^+(v - 4 ) c^o(v ) = - c^+(v ) - c^-(v ) .as one might expect , the step size in the difference operator is dictated by the area gap .there is a precise sense in which the equations emerge as limits of lqc equations when is taken to zero , i.e. , when the planck scale discreteness of quantum geometry determined by lqg is neglected ( see appendix [ a2.4 ] ) .consequently , discreteness in lqc dynamics is completely negligible at late times .however , as we will see , it plays a crucial role in the planck scale regime near singularities .dynamics dictated by this difference equation has been analyzed using three different methods :  numerical solutions of the exact quantum equations .a great deal of effort was spent in ensuring that the results are free of artifacts of simulations , do not depend on the details of how semi - classical states are constructed and hold for a wide range of parameters .+ effective equations .these are differential equations which include the leading quantum corrections .the asymptotic series from which these contributions were picked was constructed rigorously but is based on assumptions whose validity has not been established .nonetheless the effective equations approximate the exact numerical evolution of semi - classical states extremely well .+ exact analytical results in the k=0 , =0 model .this analysis has provided an analytical understanding of some of the numerical results as well as several new results which are not restricted to states that are semi - classical at late times . in this sensethe overall picture is robust within these models .+ i will now provide a global picture that has emerged from these investigations , first for the k=1 model without the cosmological constant and for the k=0 case for various values of . recall that in classical general relativity , the k=1 closed universes start out with a big bang , expand to a maximum volume and then recollapse to a big - crunch singularity .consider a classical solution in which is astronomically large i.e ., on which the constant of motion takes a large value and consider a time at which the volume of the universe is also large .then there are well - defined procedures to construct states in the _ physical hilbert space _ which are sharply peaked at these values of observables and at the ` time ' .thus , at ` time ' , the quantum universe is well approximated by the classical one . what happens to such quantum states under evolution ?as emphasized earlier , there are infra - red and ultra - violet challenges : + i ) does the state remain peaked on the classical trajectory in the low curvature regime ? or ,do quantum geometry effects accumulate over the cosmological time scales , causing noticeable deviations from classical general relativity ?in particular , as green and unruh asked , is there a recollapse and if so does the value of maximum volume agree with that predicted by general relativity ? +ii ) what is the behavior of the quantum state in the planck regime ?is the big - bang singularity resolved ?what about the big - crunch ? if they are both resolved , what is on the ` other side ' ?numerical simulations show that the wave functions do remain sharply peaked on classical trajectories in the low curvature region also in lqc .but there is a radical departure from the results in the strong curvature region : while the evolution follows classical dynamics all the way into the big - bang and big crunch singularities ( see fig [ fig : wdw ] ) , in lqc _ the big bang and the big crunch singularities are resolved and replaced by big - bounces _ ( see fig [ fig : lqc ] ) . in these calculations , the required notion of semi - classicality turns out to be surprisingly weak : these results hold even for universes with and the ` sharply peaked ' property improves greatly as grows .more precisely , numerical solutions have shown that the situation is as follows .( for details , see . ) , are compared with the classical trajectory .the classical trajectory deviates significantly from the quantum evolution at the planck scale and evolves into singularities .by contrast , the effective trajectory provides an excellent approximation to the quantum evolution at all scales . the k=0 case . in the backward evolution, the quantum evolution follows our post big - bang branch at low densities and curvatures but undergoes a quantum bounce at matter density and joins on to the classical trajectory that was contracting to the future . the k=1 case .the quantum bounce occurs again at . since the big bang and the big crunch singularitiesare resolved the evolution undergoes cycles . in this simulation , , and .,title="fig:",width=307 ] , are compared with the classical trajectory .the classical trajectory deviates significantly from the quantum evolution at the planck scale and evolves into singularities .by contrast , the effective trajectory provides an excellent approximation to the quantum evolution at all scales . the k=0 case . in the backward evolution, the quantum evolution follows our post big - bang branch at low densities and curvatures but undergoes a quantum bounce at matter density and joins on to the classical trajectory that was contracting to the future . the k=1 case .the quantum bounce occurs again at . since the big bang and the big crunch singularitiesare resolved the evolution undergoes cycles . in this simulation , , and .,title="fig:",width=307 ]  the trajectory defined by the expectation values of the physical observable in the full quantum theory is in good agreement with the trajectory defined by the classical friedmann dynamics until the energy density in the matter field is about one percent of the planck density . in the classical solution , scalar curvature and the matter energy density keep increasing on further evolution , eventually leading to a big bang ( respectively , big crunch ) singularity in the backward ( respectively , forward ) evolution , where .the situation is very different with quantum evolution . as the density increases beyond ,quantum geometry effects become dominant , creating an effective repulsive force which rises very quickly .it then overwhelms classical gravitational attraction , and causes a bounce when reaches a critical value , thereby resolving the past ( or the big bang ) and future ( or the big crunch ) singularities .thus , there is a cyclic scenario depicted in fig [ fig : lqc ] .the volume of the universe takes its minimum value at the bounce point . scales linearly with : v_min p _( ) consequently , can be _ much _ larger than the planck size .consider for example a quantum state describing a universe which attains a maximum radius of a megaparsec .then the quantum bounce occurs when the volume reaches the value , _ some times the planck volume ._ deviations from the classical behavior are triggered when the density or curvature reaches the planck scale .the volume can be very large ; it is not the variable that sets the relevant scale for quantum gravity effects .  after the quantum bounce the energy density of the universe decreases and the repulsive force dies quickly when matter density reduces to about two percept of the planck density .the quantum evolution is then well - approximated by the classical trajectory .on subsequent evolution , the universe recollapses both in classical and quantum theory at the value when energy density reaches a minimum value . as the 3/2-power of : [ vmax ] v_max p_()^3/2 quantum corrections to the classical friedmann formula are of the order . for a universe with ,the correction is only one part in . for universes which grow to macroscopic sizes ,classical general relativity is essentially exact near the recollapse .  using ideas from geometrical quantum mechanics , one can obtain certain effective classical equations which incorporate the leading quantum corrections .as one would expect , quantum geometry effects primarily modify the left hand side of einstein s equations .however , in the simplest models considered here , it is possible to rewrite the quantum corrected equation by moving the correction to the right side and then expressing it in terms of matter .this rewriting is convenient in comparing the effective equations with the classical ones .the classical friedmann equation , , is replaced by [ eff ] ( ) ^2 = ( -_1(v ) ) , where and are specific functions of with for large .bounces occur when vanishes , i.e. at the value of at which the matter density equals or .the first root corresponds to the classical recollapse while the second root , , to the quantum bounce .away from the planck regime , and .  for quantum states under discussion ,the density is well approximated by up to terms , independently of the details of the state and values of .( for a universe with maximum radius of a megaparsec , . )the density at the recollapse point also agrees with the value predicted by the classical evolution to terms of the order .furthermore the scale factor at which recollapse occurs in the quantum theory agrees to a very good precision with the one predicted by the classical dynamics .the trajectory obtained from effective friedmann dynamics is in excellent agreement with quantum dynamics _ throughout the evolution . _ in particular , the maximum and the minimum energy densities predicted by the effective description agree with the corresponding expectation values of the density operator computed numerically .the state remains sharply peaked for a _ very large number of ` cycles ' ._ consider the example of a semi - classical state with an almost equal relative dispersion in and and peaked at a large classical universe of the size of a megaparsec . when evolved , it remains sharply peaked with relative dispersion in of the order of _ even after cycles of contraction and expansion ! _any given quantum state eventually ceases to be sharply peaked in ( although it continues to be sharply peaked in the constant of motion ) .nonetheless , the quantum evolution continues to be deterministic and well - defined for an infinite number of cycles .this is in sharp contrast with the classical theory where the equations break down at singularities and there is no deterministic evolution from one cycle to the next .+ this concludes the summary of our discussion of the k=1 model .an analogous detailed analysis has been carried out also in the k=0 model , again with a free massless scalar field . in this case , if the cosmological constant vanishes , as fig [ class ] shows , classical solutions are of two types , those which start out at the big - bang and expand out to infinity and those which start out with large volume and contract to the big crunch singularity .again , in this case while the solution follows classical trajectories into singularities , the lqc solutions exhibit a big bounce .the lqc dynamics is again faithfully reproduced by an effective equation .again , quantum geometry modifies the left hand side of einstein s equations but one can move this correction to the right side through an algebraic manipulation .then , one finds that the friedmann equation is replaced by ( ) ^2 = ( 8g/3 ) ( 1 - ) . in classical general relativity , the right side , ,is positive , whence can not vanish ; the universe either expands forever from the big bang or contracts into the big crunch . in the lqc effective equation on the other hand , vanishes when at which a quantum bounce occurs : to the past of this event , the universe is contracts while to the future , it expands .this is possible because the lqc correction _ naturally _ comes with a negative sign .this is non - trivial . in the standard brane world scenario , for example ,friedmann equation is also receives a correction but it it comes with a positive sign ( unless one artificially makes the brane tension negative ) whence the singularity is not resolved .  even at the onset of the standard inflationary era ,the quantum correction is of the order and hence completely negligible .thus , we are justified in using classical general relativity during inflation .the quantum bounce occurs at and the critical density is again given by .furthermore , one can show analytically that the spectrum of the density operator _ on the physical hilbert space _ admits a finite upper bound , _ sup = . by plugging values of constants in the analytical expression of this bound ,one finds ! of the barbero - immirzi parameter obtained from black hole entropy calculations .the numerical simulations used to calculate use the same value .because of the factor , the value of , is quite sensitive to that of .the fact that is of the order of brings out a pleasing coherence between lqc and the entropy calculation from lqg . ]  inclusion of a cosmological constant is discussed in .if , there are again two types of classical trajectories but the one which starts out at the big - bang expands to an infinite volume at a _value of .the energy density in the scalar field goes to zero at .( the other trajectory is a ` time reverse ' of this . )because the ` evolution ' is unitary in lqc , it yields a natural extension of the classical solution beyond .states which are semi - classical in the low regime again follow an effective trajectory . since remains bounded , it is convenient to draw these trajectories in the - plane ( rather than - plane ) .they agree with the classical trajectories in the low regime and analytically continue the classical trajectories beyond . if , the classical universe undergoes a recollapse .this is faithfully reproduced by the lqc evolution .since both the big - bang and the big - crunch singularities are resolved , the lqc evolution leads to a cyclic universe as in the k=1 model .thus , in all these cases , the principal features of the lqc evolution are robust , including the value of .let us summarize the overall situation . in simple cosmological models ,all the questions raised in section [ s2 ] have been answered in lqc in remarkable detail .the scalar field plays the role of an internal or emergent time and enables us to interpret the hamiltonian constraint as an evolution equation .the matter momentum and ` instantaneous ' volumes form a complete set of dirac observables .they enable us to ask physically interesting questions .in particular , the density ( and the 4-d ricci scalar ) always remains bounded . in this precise sense , the big bang and the big crunch singularitiesare naturally resolved . on the ` other side ' of the bounce thereis again a large universe .general relativity is an excellent approximation to quantum dynamics once the matter density falls below a percent of the planck density .thus , lqc successfully meets both the ` ultra - violet ' and ` infra - red ' challenges .furthermore results obtained in a number of models using distinct methods re - enforce one another .one is therefore led to take at least the qualitative findings seriously : _ big bang is not the beginning nor the big crunch the end . _quantum space - time appears to be vastly larger than what general relativity had us believe !  in lqc , main departures from the theory occur due to _ quantum geometry effects _ of lqg .there is no fine tuning of initial conditions , nor a boundary condition at the singularity , postulated from outside .also , there is no violation of energy conditions .in fact quantum corrections to the matter hamiltonian do not play any role in the resolution of singularities of these models .john wheeler s vision , summarized in the quote that i began this article with is realized to a surprising extent : indeed ,  _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ in a finite proper time the calculated curvature rises to infinity _ [ in the classical theory ] ._ at this point the classical theory becomes incapable of further prediction .in actuality , classical predictions go wrong before this point . ...the semiclassical treatment of propagation is appropriate in most of the domain of superspace of interest to gravitational collapse . not so in the decisive region ._ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _  wheeler was very fond of the fundamental discreteness underlying loop quantum gravity .so , he would have been pleased that it is precisely this feature that is responsible for the singularity resolution .if no energy conditions are violated , how does this singularity resolution square with the general singularity theorems of penrose and hawking ?they are evaded because _ the left hand side _ of the classical einstein s equations is modified by the quantum geometry corrections of lqc .what about the more recent singularity theorems that borde , guth and vilenkin proved in the context of inflation ?they do not refer to einstein s equations .but , motivated by the eternal inflationary scenario , they assume that the expansion is positive along any past geodesic . because of the pre - big - bang contracting phase , this assumption is violated in the lqc effective theory .while the detailed results presented in section [ s5 ] are valid only for these simplest models , partial results have been obtained also in more complicated models indicating that the singularity resolution may be robust ( in the sense of geodesic completeness ) . in this respectthere is a curious similarity with the very discovery of singularities in general relativity .they were first encountered in special examples . although the examples were the physically most interesting ones e.g ., the big - bang and the schwarzschild curvature singularities at first it was thought that these space - times are singular because they are highly symmetric .it was widely believed that generic solutions of einsteine equations should be non - singular . as is well - known , this belief was shattered by the singularity theorems .some 40 years later we have come to see that the big bang and the big crunch singularities are in fact resolved by quantum geometry effects .is this an artifact of high symmetry ? or , are there robust _ singularity resolution theorems _ lurking just around the corner ?a qualitative picture that emerges is that the non - perturbative quantum geometry corrections are _ `repulsive'_. that there is no connection operator in lqg . as a result the curvature operator has to be expressed in terms of holonomies and becomes non - local .the repulsive force can be traced back to this non - locality .heuristically , the polymer excitations of geometry do not like to be packed too densely ; if brought too close , they repel . ]while they are negligible under normal conditions , they dominate when curvature approaches the planck scale and can halt the collapse that would classically have led to a singularity . in this respect , there is a curious similarity with the situation in the stellar collapse where a new repulsive force comes into play when the core approaches a critical density , halting further collapse and leading to stable white dwarfs and neutron stars .this force , with its origin in the fermi - dirac statistics , is _ associated with the quantum nature of matter_. however , if the total mass of the star is larger than , say , solar masses , classical gravity overwhelms this force .the suggestion from lqc is that a new repulsive force _ associated with the quantum nature of geometry _ comes into play and is strong enough to counter the classical , gravitational attraction , irrespective of how large the mass is .it is this force that prevents the formation of singularities .since it is negligible until one enters the planck regime , predictions of classical relativity on the formation of trapped surfaces , dynamical and isolated horizons would still hold .but one can not conclude that there must be a singularity because the assumptions of the standard singularity theorems would be violated .there may be no singularities , no abrupt end to space - time where physics stops .non - perturbative , background independent quantum physics would continue .at first one might think that , since quantum gravity effects concern only a tiny region , whatever quantum effects there may be , their influence on the global properties of space - time should be negligible whence they would have almost no bearing on the issue of the beginning and the end . however , as we saw , once the singularity is resolved , vast new regions can appear on the ` other side ' ushering in new possibilities that were totally unforeseen in the realm of classical general relativity . this yearwe celebrate the 100th anniversary of minkowski s celebrated paper that fused space and time into a 4-dimensional space - time continuum .it is fitting that concrete hints on what may eventually replace that continuum have begun to appear on the horizon .* acknowledgments : * much of this chapter ( and all figures it contains ) is based on joint work with alex corichi , tomasz pawlowski , param singh , victor taveras , and kevin vandersloot .i have also benefited from comments , suggestions and probing questions of many colleagues , especially martin bojowald , james hartle , jerzy lewandowski , donald marolf , roger penrose , carlo rovelli and madhavan varadarajan this work was supported in part by the nsf grant phy0456913 , the alexander von humboldt foundation , the the george a. and margaret m. downsbrough endowment and the eberly research funds of penn state .this appendix is divided into three parts . inthe first i address the question of why lqc is physically interesting in spite of its drastic symmetry reduction ; in the second i discuss the issue of extracting dynamics from the ` frozen formalism ' and in the third i analyze bousso s covariant entropy bound from the lqc perspective .the symmetry reduction used to descend to quantum cosmology is drastic because it ignores all but finitely many degrees of freedom of the gravitational matter fields .furthermore , it is this simplification that enables one to obtain detailed predictions in the deep planck regime .so , a natural question arises : why can we trust quantum cosmology ?why is it useful ?more precisely , in our case , will predictions of full lqg resemble anything like what lqc predicts ? this is an important question .i would like to give three arguments which suggest that the answer may be in the affirmative .first , consider the analogy of electrodynamics .suppose , hypothetically , that we had full qed but somehow did not have a good description of the hydrogen atom .( indeed , it is very difficult to have a complete control on this bound state problem in the framework of full qed ! ) suppose that dirac came along at this juncture and said : let us first impose spherical symmetry , describe the proton and electron as particles , and then quantize the system . in this framework , all radiative modes of the electromagnetic field would be frozen and we would have quantum mechanics ; the dirac theory of hydrogen atom .one s first reaction would have been that the simplification involved is so drastic that there is no reason to expect this theory to captures the essential features of the physical problem . yet we know it does. quantum cosmology may well be the analog of the hydrogen atom in quantum gravity .second , recall what happened in classical general relativity .singularities were first discovered in highly symmetric models .the general wisdom derived from the detailed analysis of the russian school led by khalatnikov , lifshitz and others was that these singularities were artifacts of the high symmetry and a generic solution of einstein s equations with physically reasonable matter would be singularity free . as noted in section [ s6 ] , singularity theorems of penrose , hawking , geroch and others shattered this paradigm .we learned that lessons derived from symmetry reduced models were in fact much more general than anyone would have suspected .the work of the madrid group and more recent analysis of effective equations by singh suggests that the situation may be similar with singularity resolution of lqc .finally , the belinskii - khalatnikov - lifshitz ( bkl ) conjecture in classical general relativity says that as one approaches space - like singularities in general relativity , ` spatial derivatives of basic fields become sub - dominant relative to the time derivatives ' and dynamics at any spatial point is well approximated by that of homogeneous models , bianchi i dynamics playing a dominant role ( see , e.g. , ) . by nowthere is considerable support for this conjecture both from rigorous mathematical and numerical investigations .this provides some support for the idea that lessons on the quantum nature of the big - bang ( and big - crunch ) singularities particularly in the bianchi i model may be valid much more generally .of course none of these arguments shows conclusively that the qualitative features of lqc will remain in tact in the full theory .but they do suggest that one should not a priori dismiss lqc as being too simple .in the 60s and 70s bergmann and komar pointed out that if one follows the canonical quantization procedure developed by bergmann and dirac , one is led to a ` frozen formalism ' : since physical states are solutions to the quantum constraints , ( dirac ) observables must commute with the constraints and therefore appear to be constants of motion . to directly extract the dynamical content of the theory from this frozen formalism , one can adopt the following program discussed in sections [ s4 ] and [ s5 ] : + i ) isolate , among all dynamical variables one that can represent ` relational time ' with respect to which other physical variables ` evolve ' .+ ii ) introduce an appropriate scalar product on the space of solutions to the quantum constraints .this would be the physical hilbert space .+ iii ) introduce on , a complete set of self - adjoint operators which have direct physical interpretation .these would be the dirac observables which evolve with respect to the relational time variable .+ iv ) construct states which are semi - classical at late times , i.e. , sharply peaked at a point on a classical trajectory where the matter density and curvatures are all too small for quantum gravity effects to be significant .evolve them .do they remain peaked on the classical trajectory in the weak curvature regime ?what happens to the dirac observables in the deep planck regime ?do they remain bounded or can they diverge ? what is the physical interpretation of the part of the state to the ` past of the big - bang singularity ' ?  in lqcthis program was completed as follows . as we saw in section [ s5 ] , in the simplest modelsthe quantum hamiltonian constraint takes the form [ qha1]_^2 ( v , ) = - ( v , ) where is a positive , self - adjoint _ difference _ operator , independent of . as explained in the main text , the form of this constraint suggests that we use as the internal or relational time variable and ( or , alternatively , matter density ) as the physical variable which evolves with respect to . the scalar product on the space of solutions to ( [ qha1 ] )can be introduced using the group averaging technique .since ( [ qha1 ] ) has the same form as the klein - gordon equation on a static space - time , the resulting scalar product is completely analogous to that for the klein gordon field .thus , we can regard the physical hilbert space as consisting of ` positive frequency solutions ' to ( [ qha1 ] ) , i.e. solutions to its positive square root [ qha2 ] -i _ ( v , ) = ( v , ) .this has the form of the schrdinger equation with hamiltonian .therefore , the inner product on the gravitational kinematic hilbert space with respect to which is a positive , self adjoint operator is conserved in internal time and provides us with the physical hilbert space .finally we can define dirac observables .first , since is a constant of motion , it maps physical states to physical states ; it is a natural dirac observable .the second dirac observable is the volume operator at any fixed ` instant ' : ( v , ) = e^i(- _ o ) ( v , _ o)a more interesting physical observable is the density operator at the instant of time , defined by . in the classical theory ,this observable diverges as one approaches the singularity . in striking contrast, it remains bounded on the physical hilbert space  .finally , as we saw in the main text , if we start with a semi - classical state in the distant future and evolve back toward the singularity using ( [ qha2 ] ) , we obtain a state which is semi - classical also on the ` other side of the big - bang ' .thus , in simple cosmological models , there is a natural avenue to extract physics from the ` frozen formalism ' .motivated by the black hole entropy formula , several entropy bounds have been proposed in the literature .the heuristic idea is the following .the leading contribution to the black hole entropy is given by ( 1/4)th of the area of its ( isolated ) horizon in planck units .since black holes are the ` densest ' objects , one is then led to idea that if we had a complete quantum gravity theory , the number of states in any volume enclosed by a surface of area should be bounded by the number of states of a black hole with a horizon of area , i.e. by . however , this simple formula quickly runs into difficulties .several improvements have been proposed .the most developed of these proposals is bousso s covariant entropy bound .   up to a cross - section b such that the expansion of future directed null rays is non - negative between and b. l(b ) is a special case of a ` light sheet ' that features in a more general statement of bousso s covariant entropy bound.,width=172,height=172 ]  the simplest version of this conjecturecan be stated as follows .let be a smooth classical space - time and let be a point in it .consider the future null cone of and let b be any 2-sphere cross section of the null cone such that the expansion of null rays between and b is always non - negative .denote this portion of the null cone by l(b ) .then the bousso s conjecture states that the entropy flux across l(b ) is bounded by where is the area of b : , where is the entropy - flux 4-vector field .this statement has three curious features .first , it requires a smooth classical space - time , without which one can not even define null rays and their expansion .second , it requires that the notion of the entropy - flux be well defined .finally , although it makes a crucial use of a classical metric , since its statement features planck length , the conjecture is a statement about quantum gravity rather than classical general relativity . indeed , in the limit the bound becomes infinite and the conjecture trivializes . in spite of these peculiarities , however , the conjecture holds in a large number of circumstances .consequently , in some particle physics circles it is taken to have deep and fundamental significance .indeed it is sometimes stated that the covariant entropy bound is to quantum gravity what the equivalence principle was to general relativity ; it should be an essential building black of any satisfactory quantum gravity theory .let us examine the bound in the simplest cosmological setting in classical general relativity : the k=0 , =0 frw model , filled with radiation .suppose the point is taken to lie on a homogeneous slice and the surface b to lie on the slice .then , a straightforward calculation enables one to establish the following relation = ( ) ^1/4 ( 1 - ) by plugging - in numbers , one finds that the bound holds if . since ,the bound is in fact respected unless we choose the initial point to lie _ extremely _ close the big - bang singularity and terminate the light cone _ very _ close to .however , the bound _ is _ violated in the immediate future of the singularity .usually it is argued that in this region quantum gravity effects should dominate and hence the failure of the bound can not be taken seriously ; quantum corrections will intervene and save the bound .is this really the case ? a priori this possibility seems almost impossible to test because of the three peculiar features i mentioned above . on the one hand ,quantum gravity effects are essential . on the other ,if they lead to significant fluctuations in the space - time metric , one loses even the formulation of the conjecture !surprisingly , lqc provides an ideal arena to test this possibility because of the following two features .first , quantum corrections can indeed intervene ; they are so strong that the singularity is resolved .second , in spite of thes strong effects , there is a smooth metric even at the bounce at which the quantum state is sharply peaked .this is not the metric given by einstein s equations but rather by the lqc effective equations which incorporate the quantum corrections that unleash the tremendous repulsive force of quantum geometric origin .still , since there is a smooth metric , the conjecture is meaningful and can therefore be tested .a detailed calculation shows : < .thus in lqc the bound is in fact respected .although the calculation has several limitations ( see ) , it nonetheless provides an interesting and completely unforeseen convergence of very different ideas related to quantum gravity .this result suggests the following overall viewpoint on the entropy bound .recall that the bound is strongly motivated by the generalized second law of thermodynamics ( which also does not have a sharp , definitive formulation ) .now , already the standard second law of thermodynamics is a deep fact of nature but it has a ` fuzziness ' which is not shared by other deep laws such as energy - momentum conservation . in particular , the second law requires a coarse graining in an essential way .it is not a statement about the evolution of micro - states ; in a fundamental theory their dynamics is always time reversible ( leaving aside , for simplicity , quantum measurements ) .rather , it is a statement about how the number of micro - states compatible with a pre - specified coarse graining changes in time . for specific processes , the increase of entropy can be calculated using statistical mechanics .but this entropy has little relevance to the fundamental dynamics of micro - states and is not an _ input _ in the construction of statistical mechanics .in the same vein , it seems unlikely that covariant entropy bounds would be essential ingredients in the _ construction _ of a quantum theory of gravity .it seems more natural to expect the covariant entropy bound should _ emerge _ from a fundamental quantum gravity theory under suitable conditions .returning to the lqc calculation , the distinguishing feature of lqc is the underlying quantum geometry .the covariant entropy bound was never an input or even a motivation .rather , it emerged on the quantum corrected semi - classical space - time that results from the lqc dynamics .this appendix is divided into four parts . in the firsti discuss how the hamiltonian constraint is handled in lqc . in the second ,i point out that , although the difference between the ` and schemes ' is quite subtle , the resulting quantum constraints have very different predictions .quantum dynamics resolves the singularity in both cases but the scheme leads to inadmissible infrared behavior .this difference has valuable lessons for the construction of the quantum hamiltonian constraint in full lqg . in the third ,i summarize the analytical results that provide a precise sense in which the singularity is resolved in the scheme . in the fourth, i will conclude by providing a precise relation between the results of lqc and those of the theory .the hamiltonian constraint has the following form in full lqg : c_h ~ _ triads _ connection where the first term is determined by spatial triads and the second by the gravitational spin connection . to define quantum dynamics, we have to first find the corresponding operator on the kinematical hilbert space of lqc .thanks to a general procedure introduced by thiemann , we know how to handle the first term involving triads .that procedure has a direct analog in lqc ( see , e.g. , ) .however , the second term poses a challenge : although the curvature has a simple expression in terms of , as we saw in section [ s4 ] , there is no operator corresponding to the connection either in lqg or lqc .but the holonomy operators are well defined in both theories .indeed they are the fundamental / elementary configuration operators on .now , to quantize a function on any phase space , the standard strategy in quantum physics is to first express as a suitable function of the elementary configuration and momentum variables and then replace each of these variables by its quantum analogs .modulo factor ordering , this procedure yields the desired quantum operator .it is natural to follow this procedure to obtain the operator .the first step is straightforward . for, the - component of curvature at a point can be expressed in terms of the holonomy around a closed loop in the - plane at as a limit , [ f ] f_ab^k = -2 _ ar_0 , in which the area of the 2-surface enclosed by the loop tends to zero . in the second stepwe can to replace the holonomy by the operator on .however , as we shrink the loop , the limit of this operator does not exist on .this is not accidental but is tied to the fundamental feature of the unique hilbert space we are led to by the requirement of diffeomorphism covariance .indeed , had this limit existed , we would have had a local operator corresponding to the gravitational connection .now , in full lqg , this difficulty can be bypassed by first solving the diffeomorphism constraint and then working on the space of diffeomorphism states rather than . on thesediffeomorphism invariant states , we can easily shrink the loop because , once the loop is sufficiently small , remains invariant under the operation of shrinking the loop further .  in lqc , on the other hand , since we have eliminated the diffeomorphism constraint by gauge fixing , we have to work directly on . therefore , to define , one adopts the following working strategy .recall that in lqg the connection operator is not well - defined because the holonomy fails to be weakly continuous in the loop and it is precisely this lack of continuity that leads one to quantum geometry in which geometric operators particularly areas of surfaces have purely discrete eigenvalues .this interplay is taken to suggest that we have to take the quantum nature of geometry seriously .we can not shrink the loop to zero area continuously .rather , we should define simply by evaluating in the operator analog of ( [ f ] ) around a loop which encloses an area equal to the smallest non - zero eigenvalue of the area operator , called the _ area gap_. the resulting operator is an acceptable quantization of because is has the correct classical limit in a precise sense . however , at a fundamental level the operator has a _ planck scale non - locality_. it is only in the classical limit that it reduces to the familiar local form } + \epsilon_{ij}{}^k a_a^i a_b^j$ ] .the technical implementation of this idea involves two subtleties that were overlooked in the beginning . in the first implementation ,the loop was chosen so that the area it encloses with respect to the _ fiducial _ metric is .this is called _the scheme_. it led to a quantum constraint that resolves the singularity .however , as we will see in appendix [ a2.2 ] , it has severe limitations .in particular , it predicts deviations from general relativity even in certain ` tame ' situations .however it was soon realized that these difficulties go away if , in the construction of the area enclosed by is computed using the _ physical _ metric rather than the fiducial metric  .this switch is conceptually well motivated since quantization of area eigenvalues refers to the actual metric used in the lqg kinematics , not an auxiliary or a fiducial one .this strategy is referred to in the literature as _ the scheme_. while the technical implementation of this strategy is rather subtle , the final hamiltonian constraint ( [ hc4 ] ) is a rather simple difference operator in the volume variable .as one might expect , the step size of the operator is dictated by the area gap .scheme , the ` lattice ' has uniform spacing in , the variable which measures the area of each surface of the fiducial cell while in the scheme it has uniform spacing in volume . since , the dynamics of scheme can not be supported by alternative lqc kinematics of the type proposed by velhinho . ] in the limit in which the gap goes to zero , this quantum constraint ( [ hc4 ] ) reduces to the hamiltonian constraints ( [ wdw0 ] ) and ( [ wdw1 ] ) of the theory in the sense spelled out in appendix [ a2.4 ] .the second subtlety is less significant . in much of the literature the area gap was taken to be , the lowest of all non - zero eigenvalues of the area operator on ( where is the barbero - immirzi parameter ) .however , it was later realized that , if one uses a semi - heuristic correspondence between lqg and lqc states , lqg eigenstates with these eigenvalues will not appear in quantum geometries needed to represent homogeneous classical metrics . on states that can feature ,the minimum non - zero eigenvalue is _ twice as large_. this shift has no qualitative effect on the earlier results in the scheme ( e.g. , those in ) .the only difference is a factor of 2 in some expressions .in particular , the critical density at which the quantum bounce occurs in these models goes inversely as , whence in the earlier literature , was rather than .note that i have referred to this construction as a ` working strategy ' .this is because one has to ` parachute ' into lqc certain important facts about quantum geometry from the kinematics of full lqg .this is analogous to bohr s treatment of the hydrogen atom where , in retrospect , one can say that quantization of angular momentum is ` parachuted ' into the model from full quantum mechanics .with incorporation of this one essential feature , the simple bohr model is capable of giving energy levels to a remarkable accuracy .however , at a fundamental level , one has to use full quantum treatment a la pauli or schrdinger .similarly , in quantum cosmology a more fundamental construction will emerge only from a better understanding of the detailed relation between lqg and lqc .recall , first , that in the k=0 model on , it is often convenient to introduce a fiducial metric and label the physical metric via a scale factor : . if we rescale the fiducial metric via , the descriptor of the physical metric changes via even though itself is untouched . of course physicscan not change under such rescalings .the construction of a hamiltonian or lagrangian framework requires an additional auxiliary structure because one has to perform integrals of physical fields over space and these diverge because of homogeneity .therefore , one has to introduce a fiducial cell and restrict all integrals to . in classical general relativity , one can work directly with field equations and the auxiliary is unnecessary .however it is essential for passage to quantum theory , irrespective of whether one uses path integrals or canonical quantization .thus , in any quantum cosmology on non - compact , spatially homogeneous manifolds , there are two independent auxiliary structures , the metric and the cell .each can be changed keeping the other fixed . at the classical level ,the final physical results do not depend on the specific choices one makes to construct the hamiltonian theory .but a priori there is no guarantee that results of the quantum theory will continue to enjoy this feature .if they do not in a specific quantum theory , that theory can not be physically viable .the first contrast between the two schemes is that while in the scheme the final results of the quantum theory depend on these auxiliary structures by shifting it to the choice of the cell or vice versa but of course physics has to be invariant with respect to both these choices .] , in the scheme they do not .since a cell is in any case necessary to the hamiltonian framework , one can make kinematics manifestly independent of the fiducial metric by rescaling the canonical variables by suitable powers of the volume of with respect to . then the canonical commutation relations , and expressions of the elementary operators are all independent of the choice of . thus , for each choice of one constructs a quantum theory . now , suppose we are given a classical solution .within each quantum theory , one can construct semi - classical states peaked at this solution at a late time when curvature is low and evolve it back in time .one can then ask : when do quantum effects become important ? unfortunately , in the scheme , the answer depends on the choice of the cell ! ( see appendix b.2 in ) .in particular , the matter density at the bounce point is given by where by inspection the constant does not depend on the choice of ( or ) .however , since where is the physical volume of , decreases linearly with the size of .thus , in the scheme , even the density at the bounce point fails to have a physical meaning .by contrast , in the scheme , is universal , independent of the choice of .a second difference is that the scheme has serious problems with recovering general relativity in the low curvature limit while the scheme is free of this drawback . to see this ,let us fix a cell and examine the resulting quantum theory .as we just saw , in the k=0 , =0 case , the matter density at the bounce point is given by .now , is a constant of motion and larger its value , more semi - classical the state is .( for example , as we saw in section [ s5 ] , in the k=1 case the maximum radius of the universe goes as . )so , can be made as low as we want simply by increasing .in particular , there are states which are extremely semi - classical at late times which , when evolved back undergo a quantum bounce at density of water ! a gross violation of general relativity at such densities is clearly unphysical . in the scheme on the other hand , is universal , irrespective of how large is .a third difference between the two schemes arises in presence of a cosmological constant .if , problems with the infra - red behavior also arise in the scheme _well away from the bounce_. even at late times , the quantum theory exhibits large departures from general relativity in low curvature regimes .again , this can not happen in the scheme .it is quite remarkable that a subtle but physically well - motivated correction in the construction of the quantum field strength operator cures all the conceptual and physical pathologies of the scheme without affecting the singularity resolution .it is a marvellous example of the deep harmony between physics and mathematics .the difference between the two schemes also has important lessons for full lqg .recently , giesel et al have pioneered a program to deparametrize general relativity along the lines of brown and kucha , making the treatment of constraints in lqg conceptually similar to that in lqc .this is a notable advance .however , quantization of the hamiltonian constraint continues to face a host of ambiguities in full lqg .the fact that the apparently natural scheme is not viable even in the simplest lqc models suggests that a much greater control on the semi - classical predictions is needed to weed out ambiguities .specifically , an understanding the relation between choices made in the quantization of the hamiltonian constraint and the behavior of the resulting physical states in the semi - classical regime would go a long way to reducing the large apparent freedom one is currently faced with .finally , in this appendix i have spelled out differences between the and schemes in general terms because the more complete discussion of is rather technical . as a result , it appears not to have been fully absorbed by the community and some authors continue to treat the two schemes on an almost equal footing .there are two analytical results that are particularly interesting because they zero - in on the key features of the bounce : the first provides an upper bound on the spectrum of the matter density operator in lqc and the second shows that the ` bounce ' is not restricted to states which are semi - classical at late times but occurs for all states in the domain of the volume operator .  in the first papers on the bounce , the analysis began with the choice of the lapse function . in the classical theory the corresponding hamiltonian constraint generates evolution in proper time .one then found the quantum operator corresponding to this constraint .but as we saw , physical interpretation of the theory is simplest if one uses the scalar field as internal time .the corresponding lapse is , the volume of the fiducial cell with respect to the physical metric ., the time coordinate satisfies the wave equation and the scalar field is given by ( where is the volume of the cell with respect to the fiducial metric and is a constant of motion ) .] one can begin with this lapse already in the classical theory and then quantize . if one does so , the constraint is simpler because it does not involve any inverse powers of ( even if one were to include dust , radiation or other kinds of matter used in the cosmology literature ) .this strategy was not adopted in the first papers because , if the underlying 3-manifold is non - compact , the strategy does not naturally generalize to inhomogeneous contexts .however , it has some conceptual and technical advantages in homogeneous cosmologies .in fact the quantum constraint coincides with that of the so - called simplified lqc called slqc in the literature _ which can be solved exactly analytically _ .slqc itself was first arrived at by first using , going to the quantum theory and then making certain simplifications in the resulting quantum constraint .this round - about procedure is not necessary .one arrives at the same exactly soluble quantum theory if one formulates the classical theory with , i.e. , with the scalar field as internal time , and then proceeds with quantization .since this theory is exactly soluble , one can establish several interesting results analytically .first consider the matter density operator at the instant of the internal time .one can show that its spectrum has an absolute upper bound _ on the physical hilbert space _ : _ sup = 0.41 _ pl.since the inverse volume operator is bounded above , already on the kinematic hilbert space , is bounded above _ provided one restricts oneself to the subspace of the hilbert space spanned by the eigenstates of with eigenvalues below any fixed . this kinematical result is sometimes used to argue that singularity is resolved ( see , e.g. , ) .however , since the full spectrum of is _ _un__bounded above , so is on .the fact that it admits an absolute upper bound on does not follow from the boundedness of ; it is a highly non - trivial consequence of _ quantum dynamics . _it provides a clear - cut sense in which the singularity is resolved in lqc .it is natural to ask : how good is this bound ?is it actually achieved ? using states which are gaussians at late times , one can show that the expectation values of the density operator at the bounce point approach arbitrarily close to : _ bounce = _ sup where is the dispersion in thus , is indeed the lowest upper bound on the spectrum of the density operator .chronologically , was first found in numerical simulations .it turned out to be remarkably robust in the sense that it is insensitive to modeling of the semi - classical states in three different ways and does not alter when a non - zero cosmological constant is included when the analysis is extended to the k=1 case .this robustness suggested that there must be an analytical result that is a bounded operator , which indeed turned out to be the case .this is a nice example of the synergistic interplay between numerical and analytical work .finally , we can ask if the quantum bounce is restricted only to states which are semi - classical at late times . on general states, one has to first define what one means by a bounce .a natural strategy is to examine expectation values of the volume operator . in the exactly soluble model, one finds that for _ any state in the domain of the volume operator _ we have : ( , _ ) _ phy = v_+ e^ + v_- e^-where are determined by the ` initial data ' for the state at any .therefore , it follows that the expectation value is well - defined for all finite times but grows unboundedly as .hence it must attain a minimum .indeed , the minimum is given by : v_min = and occurs at time .this question has been analyzed in detail for the exactly soluble theory ( i.e. , the k=0 , =0 model ) i just discussed in appendix [ a2.3 ] .let us start with a physical state at a late time when the matter density and curvature are low , evolve it using lqc and the theory and compare the results . in the lqc evolution, the area gap plays a key role while in the theory , it is effectively zero . to compare the two evolutions ,let us not fix to its numerical value used in lqc but allow to vary so we can take the limit . then :  * certain predictions of slqc approach those of the wdw theory as goes to zero .+ that is , given a semi - infinite ` time ' interval and an , there exists a such that , ` physical predictions of the two theories are within of each other ' if restrict to lie in . * however , approximation is _ not _ uniform .the wdw theory is _ not _ the limit of lqc as goes to zero .+ thus , given however large , there exists a such that . in this sense , lqc is _ fundamentally _ discrete .  thus the relation is somewhat more subtle than one might have first thought . if we are interested in physical predictions either to the past or to the future of any fixed time , lqc does reduce to the theory in the limit in which the area gap is taken to zero .but the theory is _ not _ the ` continuum limit ' of lqc because if we include the full time interval , there are many physical predictions of lqc which will not reduce to those of the theory .in fact , as a full fledged theory , lqc does not admit a continuum limit ; it is a fundamentally discrete theory .     c. w. misner , mixmaster universe .* 22 * , 1071 - 1074 ( 1969 ) ; + minisuperspace . in : _ magic without magic : john archibald wheeler ; a collection of essays in honor of his sixtieth birthday_. ( w. h. freeman , san francisco ( 1972 )       a. ashtekar , j. lewandowski , d. marolf , j. mouro and t. thiemann , quantization of diffeomorphism invariant theories of connections with local degrees of freedom .phys . * 36 * , 64566493 ( 1995 )      m. gasperini and g. veneziano , the pre - big bang scenario in string cosmology , phys .rept . * 373 * , 1 ( 2003 ) j. khoury , b. a. ovrut , p. j. steinhardt , n. turok , the ekpyrotic universe : colliding branes and the origin of the hot big bang , phys.rev .d64 ( 2001 ) 123522 j. khoury , b. .ovrut , n. seiberg , p. j. steinhardt , n. turok , from big crunch to big bang , phys.rev . *d65 * 086007 ( 2002 ) a. ashtekar and j. stachel , eds _ conceptual problems of quantum gravity _( birkhuser , boston , 1988 )  a. komar , quantization program for general relativity . in : _ relativity_ , carmeli , m. , fickler , s. i. , witten , l. ( eds . ) ( plenum , new york ( 1970 ) ; + k. kucha , canonical methods of quantization . in : _ quantum gravity 2 , a second oxford symposium _ , isham , c. j. , penrose , r. , sciama , d. w. ( eds . ) ( clarendon press , oxford ( 1981 ) )         d. marolf , refined algebraic quantization : systems with a single constraint . ` arxive : gr - qc/9508015 ` ; + quantum observables and recollapsing dynamics . class .* 12 * , 11991220 ( 1994 ) ; + a. ashtekar , l. bombelli and a. corichi , semiclassical states for constrained systems , phys . rev . * d72 *, 025008 ( 2005 )   a. ashtekar , t. pawlowski , p. singh and k. vandersloot , loop quantum cosmology of k=1 frw models . phys . rev . *d75 * , 0240035 ( 2006 ) ; + l. szulc , w. kaminski , j. lewandowski , closed frw model in loop quantum cosmology .* 24 * , 26212635 ( 2006 )  m. bojowald , absence of singularity in loop quantum cosmology , phys .lett . * 86 * , 5227 - 5230 ( 2001 ) , a. ashtekar , m. bojowald and j. lewandowski , mathematical structure of loop quantum cosmology . adv .* 7 * , 233268 ( 2003 )  j. lewandowski , a. okolow , h. sahlmann and t. thiemann , uniqueness of diffeomorphism invariant states on holonomy flux algebras , comm .phys . * 267 * , 703 - 733 ( 2006 ) ; + c. fleishchack , representations of the weyl algebra in quantum geometry . `arxiv : math - ph/0407006 ` .a. ashtekar , t. pawlowski and p. singh , quantum nature of the big bang , phys .lett . * 96 * , 141301 ( 2006 ) , a. corichi and p. singh , is loop quantization in cosmology unique ?phys . rev . * d78 * , 024034 ( 2008 )  e. bentivegna and t. pawlowski , anti - desitter universe dynamics in lqc , phys . rev .d77 , 124025 ( 2008 ) + a. ashtekar and t. pawlowski , loop quantum cosmology with a positive cosmological constant ( in preparation )   w. kaminski and j. lewandowski , l. szulc , the status of quantum geometry in the dynamical sector of loop quantum cosmology , class .. grav . * 25 * , 055003 ( 2008 ) ; + w. kaminski and j lewandowski , the flat frw model in lqc : the self - adjointness , ` arxiv:0709.3120 `    e. j. copeland , d. j. mulryne , n. j. nunes , and m. shaeri , superinflation in loop quantum cosmology , phys . rev .d 77 , 023510 ( 2008 ) + research highlights in nature : roll with it : + http://www.nature.com/nphys/journal/v4/n3/full/nphys900.html      j. willis on the low energy ramifications and a mathematical extension of loop quantum gravity .dissertation , the pennsylvaina state university ( 2004 ) ; + a. ashtekar , m. bojowald and j. willis , corrections to friedmann equations induced by quantum geometry , igpg preprint ( 2004 ) ; + v. taveras , lqc corrections to the friedmann equations for a universe with a free scalar field ` arxiv:0807.3325 `     a. ashtekar and t. a. schilling , geometrical formulation of quantum mechanics . in : _ on einstein s path : essays in honor of engelbert schcking _ ,harvey , a. ( ed . ) ( springer , new york ( 1999 ) ) , 2365 , ` arxiv : gr - qc/9706069 `    a. d. rendall , the nature of spacetime singularities . in : _ 100 years of relativity space - time structure : einstein and beyond _ , edited by a. ashtekar ( world scientific , singapore , 2005 ) ` arxiv : gr - qc/0503112 `    e. e. flanagan , d. marolf and r. m. wald , proof of the classical versions of the bousso entropy bound and of the generalized second law , phys .* d62 * , 084035 ( 2000 ) + r. bousso , e. e. flanagan and d. marolf , simple sufficient conditions for the generalized covariant entropy bound , phys . rev . * d68 * , 064001 ( 2003 ) , ` arxiv : hep - th/0305149 ` .k. giesel , s. hofmann , t. thiemann , o. winkler , manifestly gauge - invariant general relativistic perturbation theory : i. foundations , ` arxiv:0711.0115 ` , + manifestly gauge - invariant general relativistic perturbation theory : ii .frw background and first order , ` arxiv:0711.0117 `

Abstract: a brief overview of loop quantum cosmology of homogeneous isotropic models is presented with emphasis on the origin of and subtleties associated with the resolution of big bang and big crunch singularities . these results bear out the remarkable intuition that john wheeler had . discussion is organized at two levels . the the main text provides a bird s eye view of the subject that should be accessible to non - experts . appendices address conceptual and technical issues that are often raised by experts in loop quantum gravity and string theory .