Abstract
One of the standard approaches of incorporating the quantum gravity (QG) effects into the semiclassical analysis is to adopt the notion of a quantum-corrected spacetime arising from the QG model. This procedure assumes that the expectation value of the metric variable effectively captures the relevant QG subtleties in the semiclassical regime. We investigate the viability of this effective geometry approach for the case of dust dominated and a dark energy dominated universe. We write the phase space expressions for the geometric observables and construct corresponding Hermitian operators. A general class of operator ordering of these observables is considered, and their expectation values are calculated for a unitarily evolving wave packet. In the case of dust dominated universe, the expectation value of the Hubble parameter matches the “semiclassical” expression, the expression computed from the scale factor expectation value. In the case of the Ricci scalar, the relative difference between the semiclassical expression and quantum expectation is maximum at singularity and decays for late time. For a cosmological constant driven universe, the difference between the semiclassical expressions and the expectation value is most pronounced far away from the bounce point, hinting at the persistent quantum effect at the late time. The parameter related to the shape of the distribution appears as a control parameter in these models. In the limit of a sharply peaked distribution, the expectation value of the observables matches with their semiclassical counterpart, and the usage of effective geometry approach is justified.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The notion of observables in canonical quantum gravity has been at the forefront of the issues that plague the theory; (for recent reviews; see, e.g., [1, 2] and references therein). Classically, at the level of canonical description of the singular systems, i.e., the systems with gauge degrees of freedom, the whole phase space is no longer the physical space [3,4,5,6]. The gauge redundancy is encoded in a set of functions of phase space variables which are constrained to vanish on-shell. These functions are called the constraints of the theory, and they define the physical space, called the constraint surface, in the phase space. The constraints generate the gauge transformations on the phase space, and not all functions of phase space variables correspond to the physical (Dirac) observables. The phase space functions that are invariant under the gauge transformations are considered the Dirac observables. This implies that these functions need to have weakly vanishing Poisson bracket with the generators of these gauge transformations [3,4,5,6].
General relativity is a famous example of the singular systems, which has diffeomorphism and time reparametrization constraints appearing at the canonical level [7,8,9], that generate the gauge transformations in the phase space, i.e., diffeomorphism and time reparametrization transformations [10,11,12]. The observables in general relativity, therefore, must be invariant under diffeomorphisms and time reparametrizations. However, the discussion surrounding the systems with time reparametrization symmetry is tricky as the Hamiltonian of such systems is itself a constraint. This means that the Hamiltonian generates the gauge transformations, implying the dynamics in a generally covariant system is just the unfolding of the gauge transformation. It seems that the physical observables in such a system are frozen in time or, in other words, are constants of motion; this is commonly referred to as the problem of time in QG [13, 14].
A possible resolution to this conundrum comes from the understanding that the canonical Hamiltonian generates the evolution in the coordinate time, which due to general covariance, is indeed redundant. What we observe is the evolution of the dynamical fields with respect to the other fields. This idea is best implemented in the context of relational quantum dynamics, see e.g., [1, 15]. The approach, in a nutshell, is an amalgamation of the different manifestations of relational notions available, called the ‘trinity of relational quantum dynamics’ [16, 17]. The system can be described equally well by a clock-neutral picture of Dirac quantization (first quantize then constrain), the relational Schrödinger picture of the Page–Wootters formalism [18, 19], and the relational Heisenberg picture resulting from quantum symmetry reduction [20, 21]. A detailed exposition of these approaches can be found in [16].
The motivation to have the discussion about observables is twofold – how the QG effects are incorporated in the observations, e.g., in effective geometry approach [22,23,24,25] and how singularity resolution is addressed in the canonical approach to quantum gravity [26,27,28]. The operational approach to incorporate the effects of quantum gravity is to introduce the notion of quantum-corrected spacetime coming from the quantization of the background geometry. It can be achieved in various ways, e.g., in the dressed metric approach, where the evolution of quantum fields on quantum geometry defined by a physical state \(\varPsi _o\) is mathematically equivalent to their evolution on an effective classical background geometry “dressed” with quantum corrections [23]. The quantum state \(\varPsi _o\) is conjectured to be sharply peaked on the classical trajectory. The dressed metric is defined in such a way that it captures the moments of the field variables appearing in the Schrödinger equation for the perturbation variables. Therefore, the main argument is that the dynamics of the quantum fields is only sensitive to the expectation values that are captured by the dressed metric.
Quantum corrections to the background geometry can also be encoded via a quantum-corrected Friedmann equation coming from, e.g., polymerized Hamiltonian constraint [29, 30] or de Broglie–Bohm quantization [31,32,33,34] or via semiclassical description of affine quantization scheme [35,36,37,38]. We will colloquially term these approaches as effective geometry approach where the singular background geometry is replaced by a quantum-corrected singularity-free spacetime. A pertinent question to ask here is whether it is justified to use the semiclassical expressions for the Hubble parameter and Ricci scalar (in the non-minimal setting, for example) instead of the expectation value of these observables coming from the QG model. Most of these approaches to quantum gravity rely on the expectation of one dynamical variable, e.g., scale factor or volume, to completely capture the quantum effects. But being a canonical theory, it is worthwhile to explore whether there exists any inconsistency in the expectations of complex product operators such as the Hubble parameter and the Ricci scalar are made up from the conjugate variables. It is equivalent to checking if the expectation of the position operator captures all the quantum characteristics for a free particle. In this work, we will write phase space expressions for these observables. Since these observables are made up of the scale factor and its conjugate momentum, knowing the expectation value of the scale factor alone may not be sufficient. In principle, one should scrutinize any scheme that involves quantum-corrected spacetime through the effective metric and check if any significant departure is observed between the semiclassical expressions (quantities computed from the expectation value of the metric, i.e., effective metric) of the observables of interest and their expectation value.
Furthermore, DeWitt’s criteria is widely used as a marker for the non-existence of singularity in a quantum gravity model. It states that “A singularity is said to be avoided if \(\varPsi \rightarrow 0\) in the vicinity of the classical singularity” [26]. DeWitt’s criteria has been applied for various systems to check for singularity resolution, e.g., [28, 39,40,41,42,43,44,45,46,47,48,49,50,51,52]. There also exists criteria of singularity avoidance based on the vanishing of Klein–Gordon like current associated with Wheeler–DeWitt equation in the vicinity of the singularity and the spreading of the wave packet near singularity [42, 53]. Studying the spectrum or the expectation value of configuration variables of the model e.g., scale factor or volume operator, is another way to infer the singularity structure in a quantum model [54,55,56,57,58,59,60,61,62]. In general relativity, however, a singular configuration is characterized by the divergence of the curvature invariants and metric variable may indicate the presence of coordinate singularity only. One would therefore expect that the prediction of singularity resolution in these models is robust if the Hermitian operators associated with the curvature invariants have finite expectation values at the singular configurations. Since such operators contain both canonically conjugate operators, the expectation value of only one operator is not guaranteed to capture all the quantum gravity effects. An extensive account of the various singularity resolution criteria used in the context of quantum cosmology can be found in [63].
However, within the framework of Dirac observables it is not possible to obtain any local, dynamical observable corresponding to any geometric quantity of interest, e.g., scale factor, the Hubble parameter, or any local curvature invariants (which appear at the semiclassical level), since the former demands a complete spacetime independence, by construction. Therefore, one needs to resort to the relational approach via a parameterized system set-up [15, 16] where one observes the growth of any of the variable of interest viz-a-viz another degree of freedom, while the complete system satisfies the geometric constraints. Still, there remains a question of what phase space functions can be classified as valid observables. In this work, this question is addressed by following Kuchař’s proposal for the observables in general relativity [64,65,66]. The main idea is to distinguish between conventional gauge systems and parameterized systems. In the case of parameterized systems, Kuchař proposed to relax the weakly vanishing of the Poisson bracket of observables with the Hamiltonian constraint in order to capture the dynamics of geometry. This enables one to obtain the growth of spatial diffeomorphism invariant observables w.r.t. to another component. In the context of the FLRW model with fluid as matter, the spatial diffeomorphism constriants are already taken care of via symmetry reduction at the action level itself and one can consider all functions of the scale factor and its conjugate momentum as observables at the classical level. Nevertheless, at the quantum level one needs to worry about which variable should be treated as time and what phase space combination will remain a quantum observable.
The problem of time in this work is dealt with by working with Brown–Kuchař dust [67] and cosmological constant [68,69,70] as matter, and the fluid degree of freedom provides the notion of a clock in the system. These models are phenomenologically constructed, such that the momentum conjugate to the fluid variable appears linearly in the Hamiltonian constraint. Classically, the fluid variable is linearly related to the comoving time in the appropriate gauge. The Wheeler–DeWitt equation takes the form of Schrödinger equation with dust variable as the Schrödinger time [71]. In the quantum picture, unitarity is demanded with respect to the fluid clock. Dynamics in the quantum model tell us about the behavior of gravitational degrees of freedom with respect to the matter degree of freedom, thereby implementing the relational notion of observables.
After quantization, one would ideally like to obtain the self-adjoint extension of all the relevant observables appearing in theory and study their spectral properties. In the context of infinite dimensional Hilbert space, the self-adjoint operator is a Hermitian operator with the added condition that the domain of the adjoint of the operator is equal to the domain of the operator [72,73,74]. The blueprint that we will follow in this work is to write the self-adjoint extension for the Hamiltonian operator to ensure unitary evolution in the model and construct wave packets from the eigenfunctions of the Hamiltonian operator. We will primarily concern ourselves with the Hermitian extension of the other operators, whose behavior we are interested in. The Hermiticity condition suffices in this case because it ensures that the expectation values are real.
In this work, we aim to address three questions: (I) Writing the phase space functions corresponding to the observables that depict singularity in the classical picture, and studying their behavior in the quantum model, thereby checking the robustness of DeWitt’s criteria. (II) The status of the operator ordering ambiguity in this quantum model. (III) The domain of validity of the effective geometry approach, where the QG signatures are investigated by replacing the scale factor expectation in the classical expressions. These questions are address in the context of a minisuperspace model of gravity in which the system has a finite number of degrees of freedom. Although there are conceptual issues regarding such symmetry reduction before quantization [75], yet this toy model is a perfect playground that is relatively easier to handle analytically and also captures the essence of the subtleties associated with the quantization of gravity.
We will address these issues in the case of a flat-FLRW (Friedmann–Lemaître–Robertson–Walker) model with the Brown- -Kuchař dust [67] and the cosmological constant [68] as the clock. Following Kuchař’s prescription of observables in the QG models, we will write the quantum observables that correspond to the Hubble parameter, Ricci scalar, and other curvature invariants. We will start with the discussion on observables in generally covariant systems in Sect. 2. The classical and quantum description of the FLRW model with Brown–Kuchař dust is given in Sect. 3, and we will discuss singularity resolution in this model. In Sect. 4, we will write Hermitian extensions of the observables of importance and address the viability of the effective geometry approach. We will extend this analysis for a perfect fluid model in Sects. 5 and 6 and investigate whether the generic features observed in the earlier case can be seen in this case as well. Finally, we will summarize the results in Sect. 7 with some remarks.
2 Observables and gauge invariance in generally covariant systems
Physical observables in a gauge theory are supposed to be invariant under the gauge transformations [3, 4]. The canonical analysis of general relativity establishes that the redundancy associated with the choice of coordinates does, in fact, have a direct correspondence with the gauge transformations in the geometrodynamical phase space [10,11,12]. The total Hamiltonian of general relativity is a constraint that generates the time reparameterization and diffeomorphisms. Thus, the direct implementation of Dirac’s ideas about gauge systems leads to the counterintuitive notion of frozen dynamics [13, 14].
The notion of time and observables in generally covariant systems is discussed in the context of relational dynamics. Due to time reparameterization invariance, the dynamics with respect to the coordinate time is indeed redundant, and a physically meaningful change is observed relationally. Instead of observing change with respect to an absolute external time, the dynamics in a generally covariant system is observed through an internal clock. In a gauge theory, all degrees of freedom are not dynamical, and one can, in principle, choose any internal degree of freedom as a clock. Since one can choose the clock variable at their whim, there exist multiple choices of clocks in the model [13, 14]. The inequivalence of clock choice at the quantum level, as conjectured by Gotay and Demaret [40], has been investigated in recent works [59,60,61,62], where it is shown that the quantum model with different clock choices leads to different quantum dynamics. Choosing the fluid clock, a slow clock (which encounters a singularity in finite time), according to the Gotay–Demaret terminology, leads to the singularity resolution. While the model with the scale factor clock, which is a fast clock (which reaches the singular point asymptotically), does not resolve the singularity [61].
The mainstream implementation of relational dynamics is achieved through Rovelli’s proposal of partial and complete observables [76, 77]. A partial observable is a ‘physical quantity to which we can associate a measuring procedure leading to a number,’ with the assumption that one can associate a measuring procedure to an arbitrary phase space function. A partial observable is a phase space function, and it does not have to commute (weakly) with the constraints of the theory. A complete observable is a ‘quantity whose value can be predicted by the theory’. Therefore, a complete observable has to commute with the constraints and is, in fact, the Dirac observable. Relational ideas are incorporated by considering two partial observables, an internal clock T and a phase space function f, calculating the value of f at a time at which T takes the value \(\tau \). The value of f at the “clock time” \(\tau \) is a constant of motion for the flows generated by the Hamiltonian constraint and therefore gives a one-parameter family of complete (Dirac) observables.
This vague statement is cast succinctly in mathematical language in [78, 79]. The flow \(\alpha ^t_C(x)\) of a phase space point x generated by constraint C with a Hamiltonian vector field \(\chi _C(f)=\{C,f\}\) satisfies
With these definitions, for two partial observables f and T, one can associate a family of complete observables labeled by a parameter \(\tau \), \(F_{[f,T]}(\tau ,x)\) defined as
Let f, T be two phase space functions and \(x\in \mathcal {M}\) be a phase space point, fulfilling the condition \(\alpha ^t_C(f)(x)=\alpha ^s_C(f)(x)\;\;\forall \; s,t\in \mathbb {R}\) for which \(\alpha ^t_C(T)(x)=\alpha ^s_C(T)(x)\), then \(F_{[f,T]}(\tau ,x)\) is invariant under the flow generated by C. The discussion on related implementations of relational dynamics and their interplay can be found in [16, 17].
A rather straightforward implementation of this idea is achieved in the context of reduced phase space quantization, where classically, the gauge is fixed, and then the quantization is carried out [80, 81]. For the case analysis in this work, the matter degree of freedom is used as the clock in the model. The Hamiltonian constraint generates redundant dynamics with respect to the comoving time. With the appropriate gauge choice, the fluid variable is linearly related to the coordinate time, and one can write the relations between gravitational variables and dust variables, which are gauge invariant.
In the case of fluid models under consideration, the momentum conjugate to the dust variable T is equal to the negative of the gravitational part of the Hamiltonian constraint \(P_T=-H_g(a,p_a)\), and that generates the dynamics with respect to the dust variable. The self-adjointness of the operator corresponding to the gravitational Hamiltonian will ensure the unitary evolution in the Schrödinger time, i.e., the fluid clock. The expectation values of the various gravitational observables are obtained as a function of the fluid variable, and these relations are invariant under time reparameterization transformations. Therefore, the relational notion of dynamics is implemented by construction in the quantum model.
Still, one has to address the following question: Which phase space functions are to be considered observables in this model? A Dirac observable is a function of phase space variables that has a vanishing Poisson bracket with Hamiltonian constraint and diffeomorphism constraint, which is a highly nonlocal quantity [82]. The gauge-invariant notion of relational observables introduced above is inappropriate for addressing the questions that we are interested in, as the construction of the Dirac observables corresponding to the Hubble parameter or the Ricci scalar is an untamable task. To this end, we will follow Kuchař’s philosophy on observables in general relativity.
Kuchař questions the notion of Dirac observables in generally covariant systems [64], where the Hamiltonian itself is a constraint. Contrasting the conventional gauge system and the generally covariant system, Kuchař argued for a different notion of the physical observable for systems with time reparameterization invariance. The main argument can be summarized as the physically observable quantities need not commute with the Hamiltonian constraint. The phase space functions that commute with all constraints are termed perennials and are not of interest in our analysis. We will follow Kuchař’s proposal and consider any function of phase space variables as observable while keeping in mind that the relational picture is implemented by construction in the quantum model under consideration.
3 FLRW model with Brown Kuchař dust
In this section, we will discuss the FLRW model coupled to the Brown–Kuchař dust. We will start with the canonical description of the model and write the observables as a function of phase space variables in the Sect. 3.1. The classical model has two disjoint solutions, which represent a universe expanding from the Big Bang singularity and a universe collapsing to the Big Crunch singularity. The matter source is the pressureless dust, parameterized via the Brown–Kuchař formalism [67, 83]. In Sect. 3.2, we will quantize this model following [51] and discuss the singularity resolution in this quantum model.
3.1 Classical model
Line element and Ricci scalar for a homogeneous and isotropic FLRW spacetime with constant spatial curvature k are given as
where \(a(\tau )\) is the scale factor and \(\mathcal {N}\) is the lapse function. We start with the Einstein–Hilbert action with the Gibbons–Hawking–York (GHY) term,
where h is the determinant of the induced metric and \(\mathcal {K}\) is the extrinsic curvature. The GHY term is included to make the variational problem well-defined, canceling the boundary terms that are coming from the terms involving double derivatives in the EH action. The action for the FLRW model takes the form
Here we have integrated over the fiducial cell of volume \(V_0\) for convenience, even though the integral is over the whole spacetime. After performing Legendre’s transformation, we get the Hamiltonian of the system.
The Hamiltonian constraint is in the square bracket, which generates the time reparametrization invariance transformation. We will use the Brown–Kuchař dust as the matter source [67, 83], which is parameterized by a set of non-canonical scalar fields \(\rho ,\;T,\;W_a\) and \(S^a\) with \(a=1,2\) and 3 via the action
Here \(U_\mu =-\partial _\mu T+W_a\partial _\mu S^a\) is the 4-vector parameterized via the aforementioned scalar fields. The equation of motion of field \(\rho \) ensures the timelike nature of the 4-vector \(U_\mu \) and the stress–energy tensor corresponding to this matter action is \(T_{\mu \nu }=\rho U_\mu U_\nu \). Thus, the 4-vector \(U_\mu \) is interpreted as the 4-velocity of the fluid, and \(\rho \) is the energy density of the fluid. The ADM decomposition of the matter action yields
where \(P_T\) and \(P_a\) are momentum conjugate to the fields T and \(S^a\), while \(H^D\) and \(H_i^D\) are the Hamiltonian and diffeomorphism constraints for the Brown–Kuchař dust, given by
The fields \(\rho \) and \(W_a\) are non-dynamical and are related to the phase space variables via
For the case of a symmetry-reduced model such as the FLRW model, we have \(S^a\equiv 0\), \(T=T(\tau )\) which implies \(W_a=0\), \(\rho =\rho (\tau )=P_T/\sqrt{h}\), \(H_i^D=0\) and \(H^D=P_T\). In this case, the Hamiltonian constraint for the flat-FLRW model with Brown–Kuchař dust is given by,
In the further analysis, we will choose \(\kappa /6V_0=1\) and rescale the dust variable as \(V_0P_T\rightarrow P_T\). The momentum conjugate to the dust proper time appears linearly in the Hamiltonian constraint, and the quantization of this model will yield a Schrödinger-like equation with the dust variable appearing as Schrödinger time. In this case, the momentum conjugate to the dust variable is a perennial (complete observable) and is identified with the energy of the dust, \(V_0\rho a^3\), which is indeed a constant of motion. On the other hand, the scale factor and the momentum conjugate to the scale factor are not perennials. The equations of motion for this model are
In the comoving gauge with \(\mathcal {N}=1\), the dust degree of freedom is linearly related to the comoving time, \(T(\tau )=\tau +C\), with C being a constant of integration. The momentum conjugate to the dust degree of freedom \(P_T\) is the constant of motion. The first two equations give rise to \(\dot{a}^2+2a\ddot{a}=0\implies a(\tau )\propto \tau ^{2/3}\), which is the standard solution of the Friedmann’s equations with pressureless dust. Since the coordinate time is equal to the dust variable, the gauge-invariant relation between the scale factor and the dust variable is \(a(T)\propto T^{2/3}\). Now that we have the phase space structure for this model, we can analyze various geometric quantities of relevance by expressing them as phase space functions and study their behavior in the quantum domain.
3.1.1 Hubble parameter
The Hubble parameter for this model in terms of the phase space variables is given by
Classically, the Hubble parameter goes as \(\mathbb {H}(\tau )=2/3\tau \), diverging at the singularity \(\tau =0\).
3.1.2 Ricci scalar
The canonical expression for \(\dot{a}\) and \(\ddot{a}\) is computed by using the defining equation for the momentum conjugate to the scale factor,
The canonical expression of the Ricci scalar in Eq. (3.2) in this case turns out to be
In the comoving gauge, we have \(\mathcal {N}=1\), and any other gauge choice is related to this gauge choice via
Thus the canonical expressions corresponding to different gauge choices are equal on the constraint surface. The on-shell expression (obtained by computing the Poisson bracket) for the Ricci scalar, therefore, is
For the dust dominated universe, the Ricci scalar behaves as \(\mathcal {R}=4/3\tau ^{2}\). Therefore, the flat-FLRW model with dust as the matter has a curvature singularity at \(\tau =0\), when \(a(\tau )\propto \tau ^{2/3}\rightarrow 0\) and \(\mathcal {R}\rightarrow \infty \).
All the phase space functions that we have considered here do not commute with the Hamiltonian constraint and, in conventional terminology, are not Dirac observables. Following Kuchař’s prescription, we will consider these phase space functions as observables. Moreover, these observables are a product of scale factor and its conjugate momentum, and hence their quantum avatars suffer from the operator ordering ambiguity. Therefore, supplementing only the expectation value of the scale factor is not guaranteed to capture the full quantum behavior of these observables, as we shall see below.
3.2 Quantum model
In the quantum realization of this model, the Brown–Kuchař dust provides the notion of time, and the degree of freedom associated with dust is the clock variable, whose rate of change is proportional to the flow of comoving time classically. In the quantum analysis, we will use the dust clock variable and comoving time interchangeably. The Wheeler–DeWitt equation for this model then takes the form,
This model exhibits operator ordering ambiguity, and parameters p and q represent our freedom to choose operator ordering. This Eq. (3.20) has the form of Schrödinger equation and the stationary states for this models are
Here, \(J_n,\;Y_n,\;K_n\;\;\text {and}\;I_n\) are the Bessel functions of the first and second kind. The eigenvalue of Hamiltonian can be interpreted as Misner–Sharp mass which is related on-shell to the energy density of dust.Footnote 1 We choose the Hilbert space \(L^2(\mathbb {R}^+,a^{1-p-2q})\) that will make this Hamiltonian Hermitian,
The self-adjoint extensions and the spectrum of the Hamiltonian operator (3.21) are discussed in [51]. Since \(J_\nu \) functions have a closure relation,
The positive energy stationary states \(\phi _{E}^1\) form an orthogonal set under the scalar product we have chosen, thus making them suitable for the construction of wave packets.
For the case of these positive energy modes, the behavior of the probability amplitude near singularity \(a=0\) is
Following DeWitt’s criteria, the singularity is considered to be avoided for positive energy states and the wave packets constructed from it. The discussion on singularity resolution for other stationary states can be found in [51]. From the positive energy modes, a unitarily evolving wave packet is constructed by choosing a normalized Poisson-like distribution
where \(\kappa \ge 0\) and \(\lambda >0\) are real parameters with \(\kappa \) being dimensionless and \(\lambda \) has dimensions of length or inverse of energy. For the choice of distribution, the expectation value of Hamiltonian is inversely proportional to \(\lambda \).
The distribution with well-defined energy, i.e., \(\varDelta E\ll \bar{E}\) corresponds to the limit \(\kappa \rightarrow \infty \). With this choice of distribution, the wave packet takes the form,
To simplify the expression, one can take \(\kappa =|1+p|/3\) [51] with which the expression for the wave packet reduces to the form,
This simplification comes at a cost; the energy distribution, in this case, depends on the operator ordering parameter, which may become a point of reflection in the analysis later. In this case, the large ordering parameter p corresponds to a sharply peaked distribution. This model avoids singularity according to DeWitt’s criteria following [51] and represents a bouncing universe that tunnels from the collapsing branch to the expanding branch.
4 Observables in the model with Brown–Kuchař dust
As discussed in Sect. 2, we will not demand the observables to commute with the Hamiltonian constraint and will incorporate Brown–Kuchař model for dust as matter, where the dust proper time appears naturally in the quantum picture, thereby sidestepping the issue of frozen dynamics in QG models.
In the quantum domain, we will be using the Hermitian extension of the observables as it ensures the reality of expectation values appearing in the model. Since this work does not involve studying the spectral properties of the operators corresponding to various phase space observables, we will adopt the viewpoint that Hermiticity is a sufficient requirement for an operator to be a quantum observable. In this section, we will write Hermitian extension of the phase space functions that are of particular importance in classical theory and compute the expectation values of these operators in the wave packet constructed in the previous section.
The focus of this analysis is around the operator ordering ambiguity in the various observables, and in the last Sect. 4.3, we will address the case where the constraint on the ordering parameter \(\kappa =|1+p|/3\) is relaxed. There are several physical prescriptions for choosing the ordering of Hamiltonian, e.g., the covariance of superspace leading to Laplace–Beltrami ordering [26] or ordering used by Vilenkin [84]. For the case of observables, no such determination can be made a priori. The best one can hope is to do a comparative analysis of different ordering schemes, and check where the ambiguity plays a role, and look out for any unphysical inconsistencies.
It is shown in [85] that the parameter q appears as a free parameter in theory, and we can work with the Hilbert space \(L^2(\mathbb {R}^+,a^2da)\) following quantization on the half-line, which leads to the constraint on ordering parameters \(p+2q+1=0\). The momentum operator Hermitian with this choice is \(\hat{p}_a=-ia^{-1}\partial _aa\) and more discussion on the Hermiticity and self-adjointness of momentum operator on half-line can be found in [85] and references therein. With this choice, the Hamiltonian operator and the wave packet (3.34) take the form
Now, the idea is to write the Hermitian extension of the phase space functions corresponding to the geometric quantities that characterize a classical FLRW universe, such as the Hubble parameter, the Ricci scalar and higher curvature invariants derived in Sect. 3.1 and analyze their quantum behavior for the semiclassicalFootnote 2 wave packet in the Eq. (4.2). For instance, the expectation value of the scale factor for the wave packet in (4.2) is,
From Eq. (4.3), we see that for large \(|\tau |\), i.e., \(\tau ^2\gg \lambda ^2\), the scale factor follows the classical trajectory \(a(\tau )\propto \tau ^{2/3}\) for the dust dominated universe, but for small \(|\tau |\) the behavior differs. This model represents a bouncing universe where the scale factor has a global minimum at the classical singularity \(\tau =0\). In this work, we will compute the expectation value of the various observables and compare them with the “semiclassical” expression computed directly from the expectation value of the scale factor. This will be relevant for effective geometry, where the quantum corrections to observationally relevant objects, e.g., the power spectrum computed by substituting the quantum expectations of scale factor in the evolution equations of perturbations, e.g., the Mukhanov–Sasaki equation [86, 87].
The interesting thing to note here is that the q dependence of the expectation value of the scale factor is of the form \(\bar{a}(\tau ,\lambda ,q)=f(\tau ,\lambda )g(q)\). Since all observables in the dust dominated case depend on the scale factor via the terms of the form \(\dot{a}/a\) or \(\ddot{a}/a\), therefore, the semi-classical expressions corresponding to these observables will be independent of the parameter q. On a side note, as the energy distribution itself depends on the ordering parameter, the q dependence of any observable in this choice is a combined effect of its dependence on the shape of energy distribution and the ordering of the Hamiltonian.
4.1 Hubble parameter
The semiclassical expression of the Hubble parameter in Eq. (3.14), computed from the expectation value of the scale factor (4.3) is given by
In order to compare the quantum expectation w.r.t. the semiclassical expression, we will write symmetric operator orderings for the Hubble parameter. As the phase space expression of the Hubble parameter is a product of the scale factor and its conjugate momentum, its quantum counterpart exhibits the operator ordering ambiguity. Here, we will introduce two ordering schemes that we will follow throughout this work, first the trivial symmetric ordering as ordering 1 and a Weyl-like symmetric ordering as ordering 2.
It is a well-known result that for functions linear in either position or momentum, i.e., of the form \(xp^n\) or \(x^np\), the different ordering prescriptions give rise to the same differential operator [88, 89]. This can be shown explicitly in this case,
These operators are Hermitian, provided the boundary term \(\psi ^*\chi \big |^\infty _0\) vanishes, which is the case for the set of wave packets (4.2), provided \(q\ne 0\). The expectation value of the Hubble parameter for the wave packet (4.2) is,
Interestingly, the expectation value of the Hubble parameter matches the semiclassical expression in (4.4). Therefore, in this case, the effective geometry approach is well-justified as the semiclassical expression completely captures the quantum gravity effects. Another thing to note is that the expectation value is independent of the parameter q, which is the ordering parameter of the Hamiltonian and the parameter that describes the shape of the energy distribution. In the large \(|\tau |\) limit, i.e. \(\tau ^2\gg \lambda ^2\), we recover the classical expression of the Hubble parameter
The expectation value of the Hubble parameter is plotted in Fig. 1.
The Hubble parameter \(\overline{\mathbb {H}}(\tau )\) has a global maximum at \(\tau =\lambda /2\) and a global minimum at \(\tau =-\lambda /2\). At the point of classical singularity, the Hubble parameter vanishes, and the quantum effects regularize the divergent classical Hubble parameter, thereby representing the bouncing universe. Early on in the collapsing branch, the Hubble parameter decreases and follows the classical behavior. As the system approaches \(\tau =-\lambda /2\), the quantum effects kick in, and it deviates from the classical trajectory with the Hubble parameter acquiring a minimum at \(\tau =-\lambda /2\). Thereon, the Hubble parameter starts increasing, vanishes at \(\tau =0\), and just before \(\tau =\lambda /2\), it again turns around and acquires a maximum at \(\tau =\lambda /2\) then starts decreasing and follows the classical behavior for the late time in the expanding branch.
The differential operators corresponding to the square of the Hubble parameter operator are again the same for both ordering choices in (4.6).
However, this analysis can be generalized by writing the symmetric orderings corresponding to the phase space function that represents the square of the Hubble parameter \(p_a^2a^{-4}\),
Here parameters j and k encapsulate the operator ordering ambiguity in the square of the Hubble parameter. The choice \(j=1\) in the case of the first ordering gives the square of the Hubble parameter operator in (4.6). Here, the Hermiticity of these operators requires the boundary term to vanish
which holds in the case when \(|q|>3/2\) for wave packet under consideration in (4.2). The expectation value of the square of the Hubble parameter for such states is
For the second ordering, we see the square of the Hubble parameter acquires negative valuesFootnote 3 for small |q| which we will later see is the theme for this class of orderings.
In the large q limit, the expectation value of the square of the Hubble parameter closely follows the square of the expectation value of the Hubble parameter (which is the semiclassical expression for the square of the Hubble parameter), as seen in Fig. 2. For small q, the function has a global maximum at the classical singularity, whereas, for large q, the function has a local minimum at the classical singularity and global maxima at \(\tau \approx \pm \lambda /2\). The key finding of this subsection is that the expectation value of the Hubble parameter matches its semiclassical expression. The analysis of the square of the Hubble parameter hints that in the large q regime, which implies a sharply peaked energy distribution, the ordering of the square of the Hubble parameter is irrelevant, and the expectation value of the square of the Hubble parameter correlates well with its semiclassical counterpart.
4.2 Ricci scalar
In the study of Friedmann universes, the Ricci scalar is one of the most prominent geometric quantity that appears in the dynamical equations for the non-minimal coupling case [91]. First, we compute the Ricci scalar from the expectation value of scale factor given in (4.3), i.e., the semiclassical expression of the Ricci scalar
This semiclassical expression for Ricci scalar represents the regularized function with a maximum at the origin and follows the classical behavior \(\mathcal {R}(\tau )\rightarrow 4/3\tau ^2\) in the large \(\tau \) regime. Near bounce, the quantum effects in this approach are accounted for via the parameter \(\lambda \), which is inversely proportional to the mean energy (3.31).
We are interested in writing the Hermitian extension of the Ricci scalar in the Hilbert space under consideration. Since the Ricci scalar is a product of the phase space variables and exhibits operator ordering ambiguity, we will write general operator orderings that will make the operator that corresponds to the phase space function given in Eq. (3.17) Hermitian with the given measure following the symmetrization schemes as in Eqs. (4.5) and (4.6)
Here the parameter n encapsulates the freedom we have to choose the operator ordering. The commutator between the momentum operator and Hamiltonian operator (4.1) takes the form,
The differential operators corresponding to the Ricci scalar operator for the two orderings come out to be,
These operators are Hermitian provided the states satisfy the boundary condition
which is the case for the wave packet in consideration, provided \(|q|>3/2\). Thus, the expectation value of the Ricci scalar operator with first ordering in the wave packet (4.2) is
For the second ordering choice of Ricci scalar, the expectation value is
We see the expectation value for both cases is a well-behaved regular function in the domain of parameters that ensures the Hermiticity. The Hermiticity of the operator and regularity of the expectation value does not have any direct correlation, and the Hermiticity constraint appears as deus ex machina that saves the model from possible divergences. In Appendices A and B, we have derived the conditions for the hermiticity of the Ricci scalar operator and the regularity of its expectation values, among others, and shown that their domain of applicability matches.
In this case as well, early in the collapsing regime or late in the expanding regime, i.e., \(\tau ^2\gg \lambda ^2\), we recover the classical expression for the Ricci scalar irrespective of the operator ordering chosen,
Therefore, this quantum gravity analysis predicts a regularized Ricci scalar, which follows the classical behavior far away from the region of the classical singularity, where the quantum gravity effects are expected to be prominent. The expressions for various ordering merge to those of semiclassical one for \(q\rightarrow \infty \), a sharply peaked energy distribution.
Thus, we see that the semiclassical expression is a limiting case, and the quantum expectation, in general, is different for finite q. At the location of the classical singularity, the expectation value is always positive for the first ordering in the allowed q range. The operator with Weyl-like ordering can have a negative expectation value (which is classically forbidden) that depends on the value of the parameters n and q. Moreover, the expectation value always has a maximum at classical singularity for first ordering while for Weyl-like ordering, the expectation value can have a minimum as well as maximum depending again on the parameters n and q.
We have plotted the expectation value of the Ricci scalar for the two orderings in Fig. 3. In the case of the operator ordered with the first scheme, the expectation value has a global maximum at the classical singularity for allowed parameter values, and it matches the semiclassical expression for large q. However, the case of the operator with the second ordering choice is more interesting. The function can have a maximum or a minimum at the classical singularity and can also attain negative values as well. The trend observed is, for fixed q and \(|n|\gg |q|\), the Ricci scalar has a minimum with negative amplitude at the singularity, and it increases as \(|\tau |\) increases. At finite time, the Ricci scalar becomes positive, attains a maximum, and then starts decreasing and matches the classical behavior. There exists a window where \(O(n)\approx O(q)\), where the crossover happens, from the profile of Ricci scalar with a global minimum at the origin to the profile with a global maximum at the origin. This is illustrated in the last two plots in the first row of Fig. 3. For the case where \(|q|\gg |n|\), the expectation value for all the operator orderings merge to the same profile, i.e., the semiclassical expression. The standard deviation of the Ricci scalar \(\delta \mathcal {R}^2=\overline{\mathcal {R}^2}-\overline{\mathcal {R}}^2\) for the two operator orderings is given by
In the first row of Fig. 4, we have plotted the fractional change in the expectation value of the Ricci scalar as compared to the Ricci scalar computed from the expectation value of the scale factor for both ordering choices. As we continue to increase the parameter q, the fractional change continues to decrease, as expected. In the second row of Fig. 4, we have plotted the relative standard deviation in the Ricci scalar as a function of time for both orderings. Here, we also notice that the quantum fluctuations are small for a large q parameter. Moreover, the relative standard deviation in the Ricci scalar overshoots the fractional change in the expectation value of the Ricci scalar at all times for both orderings. This means that for large q, we can trust the semiclassical expressions even near the classical singularity where the quantum effects dominate. We see even for small q, the fractional change in the expectation of the Ricci scalar as compared to its semiclassical counterpart does not exceed 35%, and it decreases as q increases. Therefore, the effective geometry approach does not receive significant corrections for the case of the non-minimally coupled scalar field.
4.3 Operator ordering ambiguity in the Hamiltonian constraint
For the case of the quantum FLRW model with Brown–Kuchař dust, the simplification of the functional form of wave packet (3.34) comes at the cost of making the distribution parameter ‘\(\kappa \)’ a function of operator ordering parameter. This would mean that the operator ordering ambiguity in the Hamiltonian constraint is harder to address in full generality. We will circumvent this issue following the approach in [85], where we simplify the expression for the wave packet by fixing the distribution parameters and have different ordering parameters leading to the wave packets
The operator ordering ambiguity in the Hamiltonian can be addressed in a restricted sense by comparing the expectation value of the observables in these wave packets. The expectation value of the scale factor is given by
Expressions for the Hubble parameter and the Ricci scalar computed from the scale factor expectation value are
The boundary term \(\psi ^*\chi \big |_0^\infty \) vanishes for the wave packets in Eq. (4.29) and (4.30) and the Hubble parameter is Hermitian. The expectation value of the Hubble parameter is given by
The locations of the extrema of both expressions do not match; for the first expression, the extrema are located at \(\tau \approx \pm 0.375\) whereas for the second case, the extrema are at \(\tau =\pm 1/2\). Furthermore, the profile for the second case is completely enveloped by the profile for the first case. The extrema in the first case are closer to the singularity and are greater in magnitude as compared to the second case.
For the wave packet in Eq. (4.30), the expectation value of the Hubble parameter matches the semiclassical expression, whereas it is not the case for the wave packet in (4.29). This is an indication that the expectation value of the Hubble parameter depends on the operator ordering chosen for the Hamiltonian, and the exact matching with the semiclassical expression may not always be the case, as is seen in Fig. 5. However, the difference is small, and it has a global minimum and maximum close to the singularity at the \(\tau \approx \pm 0.16\), which are sandwiched between the local minimum and maximum at \(\tau \approx \mp 0.68\), and it vanishes away from the singularity.
We can also compare the expectation value of the Ricci scalar operator in this case, as the Hermiticity condition is satisfied for both wave packets in Eq. (4.29) and (4.30). In the case of the first ordering scheme of the Ricci scalar in Eq. (4.17), the expectation value takes the form
Whereas for the case of second ordering in Eq. (4.18), the expectation value is
For the Weyl-like ordered Ricci scalar operator, the expectation value can take negative values, and we have plotted for the case where the Ricci scalar is strictly positive (\(n=4\) and \(n=2\) respectively) in Fig. 6. For the wave packet in (4.29), the expectation value overshoots the classical value and joins the tail from the above, whereas it is the other way around for the wave packet in (4.30). The striking difference is in how these expectation values relate to the semiclassical expression. For the first case, the expectation value overshoots the semiclassical expression, and it is the other way around for the second case. Thus, as is seen for the case of the Hubble parameter, the expectation value of the Ricci scalar follows pretty much the same trend but its relation to semiclassical expression changes drastically when we change the ordering of the Hamiltonian operator. Therefore, in conclusion, one has to be careful while using the effective geometry approach, as different ordering schemes of Hamiltonian may lead to inconsistency in the semiclassical analysis.
For the case of the FLRW model with Brown–Kuchař dust clock, the main findings can be summarized as follows. The model shows robust singularity resolution, where the expectation of the observables that mark the singularity in a classical model has regular expressions with appropriate behavior away from the singularity. The operator ordering ambiguity is relevant only near the classical singularity and has no signature away from the singularity, reaffirming the behavior reported in a previous work [85]. Moreover, in the limit of a sharply peaked distribution, the operator ordering of observables is not relevant. The applicability of the effective geometry approach is addressed in this model. It is found that in a certain class of orderings of the Hamiltonian, the use of the semiclassical expression is well justified as it matches the expectation of the Hubble parameter, although a different choice of ordering leads to the case where these expressions do not match. For observables other than the Hubble parameter, these expressions do not match in general, but it is observed that the semiclassical expression is the limiting case of the expectation of these observables when we take the limit \(q\rightarrow \infty \). Therefore, the semiclassical expressions can be trusted for the sharply peaked distribution. On the other hand, for small q, there are appreciable departures from the effective geometry approach, particularly for small \(\tau \). Although there are no significant departures from semiclassical expression at large \(\tau \), it was shown in [85] that in the LTB collapse model, the post-bounce outgoing modes do contain signatures of the ordering parameter in the infrared regime, even at late time. A similar analysis in this context is worthy of inspection.
5 FLRW model with cosmological constant
In this section, we will investigate the same questions in the most trivial generalization of the previous case, the cosmological constant driven universe. Here, we will consider the unimodular formulation of gravity, where the action is invariant under the coordinate transformations that leave the volume form \(\sqrt{-g}\) invariant. In this case, the cosmological constant is a dynamical variable, and its conjugate momentum is the clock variable [68,69,70, 90]. The accepted point of view is that the cosmological constant is not a constant of nature but a constant of motion that fixes the initial data [59]. The aim is to check the robustness and model independence of the earlier analysis and see if the results hold true in this setting. We will repeat the same exercise, and we will work with the ordering of the Hamiltonian similar to the previous case. In this section, we will present a classical and quantum analysis of this model.
5.1 Classical model
The action for a parameterized version of the unimodular gravity is obtained by introducing auxiliary field T [90],
The Hamiltonian constraint for the flat-FLRW model with cosmological constant is
where \(\varLambda \) is not a constant anymore, and its conjugate momentum T is the clock variable. With the gauge choice \(\mathcal {N}=a^{-3}\), we have \(\dot{T}=1\), and the clock variable is linearly related to the coordinate time. The equations of motion with this gauge choice are
Classically the scale factor in this gauge behaves as
With Hubble parameter and Ricci scalar in Eq. (3.2) given by
The classical model exhibits a coordinate singularity at \(\tau =0\) where both the Hubble parameter and the Ricci scalar are finite. This coordinate singularity will disappear for an appropriate choice of coordinates, e.g., the standard cosmic time gaugeFootnote 4 where the lapse function is \(\mathcal {N}=1\), and the scale factor vanishes at the infinity of cosmic time. The phase space expression for the Hubble parameter in this model is
The canonical expression for the Ricci scalar derived in Sect. 2 is lapse-choice independent. In this case, using Eq. (3.17) and with gauge \(\mathcal {N}=a^{-3}\), we have
Other gauge choices are equal on the constraint surface, as seen in Eq. (3.18). These observables are a product of the scale factor, and their conjugate momentum and their quantum counterparts will be non-trivial. As is done previously, we will use momentum conjugate to cosmological constant T and coordinate time \(\tau \) interchangeably.
5.2 Quantum model
The Wheeler–DeWitt equation for the flat-FLRW model with the perfect fluid is,
For the Hamiltonian operator to be Hermitian, the inner product is chosen as
With this choice of the Hilbert space \(L^2(\mathbb {R}^+,a^{4-p-2q}da)\), the Hermitian representation of the momentum operator is given by
The ordering for the Hamiltonian operator corresponding to this representation of the momentum operator is
The solution of the WDW equation is obtained via the separation ansatz, and the eigenfunctions with the positive cosmological constant are,
The model is singularity-free according to DeWitt’s criteria as the probability amplitude associated with the \(\psi _E^1\) states vanishes \(a^{4-p-2q}|\psi _E^1|^2\rightarrow a^{5+\frac{|1+p|}{2}}\rightarrow 0\). The Hamiltonian operator in Eq. (5.10) is essentially self-adjoint if \(|1+p|>6\), and it admits infinite self-adjoint extensions when \(|1+p|\le 6\), following [51]. The normalized wave packet constructed from \(\psi _\varLambda ^1\) states with Poisson-like distribution in Eq. (3.30) takes the form
In this case, the distribution parameter is chosen as \(\kappa =|1+p|/6\) to simplify the wave packet. Here, also the parameter q will appear as a free parameter in the model. Now the stage is set to investigate the status of observables in this quantum model, as we did for the dust dominated universe.
6 Observables in the cosmological constant driven universe
The classical dynamics of this model implies that the curvature invariant is finite, even though the scale factor vanishes at a finite coordinate time, indicating that it is just a “coordinate” singularity. Therefore, it will be interesting to study the quantization of this “singularity-free” classical model and see how the boundary conditions, that are required for the unitarity modify the dynamics in this quantum model [59,60,61]. The discussion on a general ordering scheme of the Hamiltonian with the arbitrary equation of state parameter will be presented elsewhere. The expectation value of the scale factor with wave packet in Eq. (5.15) is
Instead of vanishing, the scale factor acquires a finite minimum at the point of coordinate singularity, thereby representing a bouncing cosmological model. Again, as before, the late time in the expanding (early time in collapsing) regime, i.e., when \(\tau ^2\gg \lambda ^2\), the scale factor behaves as
following the classical trajectory. Classically, the Hubble parameter has a step function-like discontinuity and is negative for \(\tau <0\) and positive for \(\tau >0\), whereas the Ricci scalar is constant throughout. The classically anticipated values of these observables for the universe that is represented by the wave packet in Eq. (6.1) are discussed in Appendix C. Again, we will compare the semiclassical expressions of the Hubble parameter and Ricci scalar computed from this expectation value of the scale factor with the expectation value of these observables.
6.1 Hubble parameter
The Hubble parameter in Eq. (5.6) computed from the expectation value of the scale factor (6.1) turns out to be
The semiclassical expression asymptotes to a constant negative value early in the collapsing branch \(\tau <-\lambda \) and to a positive value late in the expanding branch \(\tau >\lambda \), with a smooth transition from the collapsing branch to the expanding branch, representing a bounce. At the leading order, the classical step function-like behavior of the Hubble parameter is recovered,
The symmetric operator orderings of the Hubble parameter in Eq. (5.8), following the prescription of ordering used earlier, are
Again, both orderings for the Hubble parameter operator lead to the same differential operator,
The Hermiticity of this operator requires the vanishing of the boundary term,
which is satisfied for the case of the wave packet in Eq. (5.15). The expectation value of the Hubble parameter for the wave packet in Eq. (5.15) is,
At the leading order, the expectation value of the Hubble parameter asymptotes to a constant value given by
We see that the expectation value of the Hubble parameter does not agree with its semiclassical expression in the classical regime (\(\tau ^2\gg \lambda ^2\)). The possible origin of this disagreement is discussed in Appendix C.
The expectation value of the Hubble parameter is plotted in Fig. 7 along with its semiclassical expression. Classically, the Hubble parameter has a behavior like that of a step function with a constant negative value in the contracting branch and a constant positive value in the expanding branch, with the transition from collapsing to expanding branch forbidden. Both the semiclassical expression and the quantum expectation follow the same generic trend. The Hubble parameter, in this case, is a continuous generalization of the step function and has a smooth transition from a constant negative value for \(\tau \ll -\lambda \) to a constant positive value for \(\tau \gg \lambda \) with the Hubble parameter passing through the origin at \(\tau =0\). This represents a quantum tunneling of the universe from a collapsing branch to an expanding branch, i.e., a bouncing universe. In the large p limit, the expectation value of the Hubble parameter matches its semiclassical counterpart
The expectation value of the square of the Hubble parameter is given by
with the Hermiticity constraint being \(|1+p|\ne 0.\) We are interested in looking at the large p limit of the standard deviation
which settles at \(1/2\lambda \) in the large \(\tau \) limit. Since the expectation value of the Hubble parameter diverges in the large p and large \(\tau \) limits, therefore relative standard deviation will vanish in that limit.
As is apparent from the plots in Fig. 8, \(\overline{\mathbb {H}^2}\) and \(\overline{\mathbb {H}}^2\) match in the large p and large \(\tau \) limits for all practical purposes. However, these two differ by the same amount \(\sim 1/2\lambda \) for all p and large \(\tau \), with the amplitude of the Hubble parameter increasing as p increases. In the second row of Fig. 8, we have plotted the standard deviation in the Hubble parameter that shows a peculiar feature. It has a maximum at \(\tau =0\), but instead of decaying for large \(|\tau |\), it settles at a constant value that remains the same for different choices of parameter p. Therefore, even for sharply peaked distributions, the standard deviation in the Hubble parameter remains finite at late times.
6.2 Ricci scalar
The semiclassical expression for the Ricci scalar is obtained as
At the leading order, the semiclassical expression of the Ricci scalar settles at the value
in the classical regime. Moreover, the semiclassical expression follows the classical relation between the Ricci scalar and the Hubble parameter for large \(\tau \)
In order to analyze the quantum behavior of the Ricci scalar operator, we will again write the symmetric operator orderings corresponding to the phase space function in Eq. (5.9) that is Hermitian with the given measure, following the ordering scheme introduced in Eqs. (4.5) and (4.6),
The differential operators corresponding to these orderings turn out to be
The Hermiticity analysis of the Ricci scalar operator for both orderings yields the boundary term,
which goes to zero for the wave packets under consideration (5.15), provided \(p\ne -1\). In this case, the expectation value of the Ricci scalar for both ordering schemes with the wave packet in Eq. (5.15) is given by
In this case as well, the expectation value of the Ricci scalar is regular except for at \(p=-1\), excluded by the Hermiticity consideration. The Ricci scalar settles at a constant value for large \(\tau \), which is different from the value that the semiclassical expression settles at. The quantum imprints on the Ricci scalar are pronounced near the coordinate singularity, where the universe tunnels from a collapsing branch to an expanding branch, similar to the case of semiclassical expression. In the limit of the sharply peaked trajectory, i.e., large p, different expressions asymptotes to the same profile given by
In Fig. 9, we have plotted the Ricci scalar expectation value for different ordering choices along with its semiclassical expression. For small p, the quantum expectation and semiclassical expression do not agree, even in the “classical” regime, i.e., when \(\tau ^2\gg \lambda ^2\). Moreover, the nature of the extrema is also different for small p. The various profiles merge onto a single profile in the case of large p. Therefore, the semiclassical expression can be trusted, and the ordering ambiguity is not relevant for a sharply peaked distribution.
Next, we will check whether the quantum expectations respect the classical relation between the Ricci scalar and the Hubble parameter, \(\mathcal {R}=12\mathbb {H}^2\). The expression for the expectation value of the Hubble parameter is given in Eq. (6.9), and this relation is not satisfied even in the “classical” regime. The expectation value of the square of the Hubble parameter is given in Eq. (6.12) and the quantum expectation values satisfy the classical relation at the leading order, i.e., for \(\tau ^2\gg \lambda ^2\), irrespective of the ordering of the Ricci scalar operator.
The expectation value of the square of the Ricci scalar for both orderings is given by
At the leading order \(\tau ^2\gg \lambda ^2\), the relative standard deviation in the Ricci scalar settles at
which vanishes for \(|p|\rightarrow \infty \) limit. Similar to what we have observed in the case of dust dominated universe, the quantum fluctuations in the Ricci scalar are small for a sharply peaked distribution, and the semiclassical expressions match in this regime. However, the quantum fluctuations saturate to a finite value instead of decaying at the late time in the expanding branch for all ordering parameter values, as is seen for the Hubble parameter (Fig. 10).
The results for the cosmological constant driven universe can be summarized as follows. The quantum model admits the resolution of the coordinate singularity and represents a bouncing universe that tunnels from a collapsing branch to an expanding branch. This behavior is apparent from the expectation value of the scale factor and the Hubble parameter, where the scale factor has a global minimum at the point of coordinate singularity, and the Hubble parameter has a smooth transition from negative to positive values. Due to quantum effects, the Ricci scalar gets disturbed from its constant value near the tunneling point. Furthermore, the operator ordering of the observables is relevant only near the tunneling point, and the expectation value of the Ricci scalar settles at the same value for different orderings late in the expanding phase.
As far as the applicability of the effective geometry approach is concerned, the results are in the same spirit as is the case for dust dominated universe. Again, the shape parameter (that is identified with the ordering parameter) acts as the control parameter, and the usage of effective geometry approach is well justified in the limit of a sharply peaked distribution, as conjectured in the [22].
7 Conclusions
We have investigated the three questions discussed in the introduction in the context of dust dominated and the cosmological constant-dominated flat-FLRW universes: (i) to check the robustness of DeWitt’s criteria of singularity resolution, (ii) the status of operator ordering ambiguity in this quantum model, and (iii) the domain of validity of the effective geometry approach, where the expectation of certain quantity is used for characterizing all quantum corrections. For the canonical system corresponding to the aforementioned models, we obtained the phase space expressions for the observables relevant to the analysis, e.g., the Hubble parameter and the Ricci scalar. Apart from the fact that these observables mark the existence of the singularity in the classical picture, they are also involved in the semiclassical analysis. Therefore, studying these observables in the quantum picture allows us to address all three questions at hand. Furthermore, as the quantum model has unitary evolution with respect to the fluid degree of freedom, the expectation values of gravitational observables in the quantum model are with respect to the fluid variable and therefore are time reparameterization invariant, i.e., gauge invariant.
We have addressed the robustness of the singularity resolution in these quantum models by showing that the expectation values of the operators associated with curvature invariants are regular functions that follow the classical behavior away from the classical singularity and remain finite at the location of singularity. In the case of the Hubble parameter, the general trend is that the expectation value has a minimum in the collapsing branch and a maximum in the expanding branch, while it vanishes at the singularity. The location and width of these extrema depend upon the energy density of the fluid, and the extrema are sharp and closely spaced for highly energetic fluid. For the case of Ricci scalar in the dust dominated universe, the expectation value has a maximum at the singularity for a certain class of orderings and a minimum of negative magnitude sandwiched between maxima. Away from the singularity, the expectation value asymptotes to the classical trajectory for all orderings. Therefore, we have demonstrated the robustness of the singularity resolution in the FLRW model with a dust clock. In the case of the cosmological constant driven universe, the classical model has two disjoint branches, a collapsing branch labeled by a constant negative Hubble parameter and an expanding branch labeled by a constant positive Hubble parameter. The quantum model predicts a quantum tunneling from a collapsing branch to an expanding branch. Classically, the Ricci scalar is constant throughout, and the model has no curvature singularity. The Hubble parameter has a step function-like discontinuity at the coordinate singularity, and its quantum expectation is a smooth approximation of the step function behavior representing a bouncing cosmological model. Even though there is no divergence or discontinuity in the classical Ricci scalar, the quantum expectation of the Ricci scalar still gets modified from the classical value due to the quantum tunneling from the collapsing branch to the expanding branch.
Another question of interest in this model is the operator ordering ambiguity. The phase space expressions of all observables under consideration are in the product form of the scale factor and its conjugate momentum. It is apparent that there will be operator ordering ambiguity since multiple ordering choices are available for the same observable. In this work, we write two classes of ordering to symmetrize operators: trivial symmetric ordering and Weyl-like ordering. For the case of the Hubble parameter, it is observed that both ordering prescriptions give rise to the same differential operator, following a generic result that various ordering prescriptions lead to the same operator for functions linear in either position or momentum. Therefore, there is no operator ordering ambiguity at the level of the Hubble parameter operator. For the case of observables that are quadratic or have a higher power in momentum, the key finding of this analysis is that the operator ordering ambiguity plays a role only near the classical singularity, the regime where quantum effects dominate. There is no strong signature of ordering ambiguity away from the singularity, and various orderings converge to the classical behavior. The regulated expectation value of various observables is highly sensitive to the ordering scheme as observed, e.g., for the square of the Hubble parameter, Ricci scalar, and other curvature invariants. The parameters, q for dust dominated and p for the cosmological constant driven universe, appear as a control parameter that is related to the ordering of the Hamiltonian as well as the shape of the distribution. Different orderings of the observables merge to the same expectation in the limit of sharply peaked distribution, i.e., \(q,\;p\rightarrow \infty \).
Lastly, we have investigated the applicability of the effective geometry approach in this setting. The semiclassical expressions for the observables are computed from the expectation value of the scale factor. We compared these semiclassical expressions against the expectation value of these observables. In the case of dust dominated universe, the general trend observed is that the semiclassical expression and quantum expectation match in the classical domain, i.e., \(\tau ^2\gg \lambda ^2\), and the difference is pronounced only near the classical singularity. The Hubble parameter is one of the most important objects in this regard, as it appears in almost all dynamical equations for perturbations and leaves a direct imprint on the physical observations [86]. The semiclassical expression matches the expectation value of the Hubble parameter for a certain choice of the ordering of the Hamiltonian. However, for a different choice of the ordering of Hamiltonian and distribution parameters, these expressions do not match, although the difference between them remains substantially small. The Ricci scalar also plays a crucial role in the dynamics of a non-minimally coupled scalar field at the semiclassical level. In the case of dust dominated universe, the semiclassical expression for Ricci scalar does not match the expectation value in general. In the limit of the control parameter \(q\rightarrow \infty \), different orderings of observables merge to the same profile, which in fact is the semiclassical expression for the Ricci scalar. The same behavior is true for other curvature invariants as well. Furthermore, the fractional change in the expectation of the Ricci scalar as compared to the semiclassical expression does not exceed 35%, with the limiting case being for small q and at the singularity. Therefore, the semiclassical expression for the Ricci scalar can be trusted for the case when the distribution is sharply peaked.
The case of quantum dynamics of the cosmological constant driven universe is somewhat different. The major deviation from the dust dominated case comes from the comparison of the semiclassical expressions and respective quantum expectations for the Hubble parameter and the Ricci scalar. The semiclassical expression and quantum expectation values for both the Hubble parameter and the Ricci scalar asymptote to different constant values away from the bounce point. However, again in the limit of the control parameter \(p\rightarrow \infty \), the different profiles for the expectation value of the observables merge onto the semiclassical profile. Therefore, the use of the effective geometry approach is well motivated in the assumption of a sharply peaked distribution.
The matching of the semiclassical expressions with quantum expectations in the models under consideration is ordering and state-dependent. The conjecture of a state sharply peaked on the classical trajectory, proposed in [22], is crucial for the applicability of the effective geometry approach, which we have shown to be applicable in this setting. For a general state, this approximation of the quantum corrected spacetime breaks down, and hence, one has to be careful while using the effective geometry in the semiclassical analysis. For the cosmological constant driven universe, the disagreement between the semiclassical expressions and the quantum expectations is most pronounced at the late time in the expanding branch, and the quantum fluctuations are finite in this regime, hinting at quantum effects surviving at late times. There have been recent studies that also indicate significant quantum effects at late times in matter and dark energy-dominated universes, e.g., possible quantum effects at the transition from cosmological deceleration to acceleration in [92], the quantum fluctuations survive at the late time leading to a large backreaction [93] and enhanced quantum correlations for a nearly matter-dominated universe in [94]. The observational signature of the operator ordering ambiguity in the late time universe will be pursued in a future work.
Data availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical work and does not involve any simulation or experimental data.]
Notes
Misner–Sharpe mass for a spherically symmetric system \(ds^2{=}g_{ab}(z)dz^adz^b{+}R^2(z)d\varOmega ^2\) is \(M_{MS}{=}R(z)\big (1-g^{ab}\partial _a R(z)\partial _bR(z)\big )/2G\). For the case of FLRW model, the Misner–Sharp mass \(M_{MS}=a\dot{a}^2r^3/2G=(4\pi r^3/3)\rho a^3=V_0a^3\rho \), is related to the mass of dust in the fiducial cell of volume \(V_0\), which is a constant of motion. The gravitational Hamiltonian is given by \(H=-(3V_0/8\pi G)a\dot{a}^2=-V_0\rho a^3=-M_{MS}\), therefore the Hamiltonian represents the energy associated with dust.
The wave packet is being referred to a semiclassical state as it is peaked on the classical trajectory.
On the face of it, this result is troubling, the expectation value of the square of a Hermitian operator \(\hat{O}\) is always positive as . But notably, a Weyl-like ordered operator is not the square of a Hermitian operator, and therefore the negative expectation value do not raise any logical fallacy in the quantum model.
The comoving gauge here will be defined according to the observer comoving with the fluid and the \(\mathcal {N}=1\) choice is identified with the cosmic time gauge. For the case of dust as fluid, the comoving time and cosmic time match.
the integral of form \(\displaystyle \int _0^adxx^{p}\) is convergent, if \(p>-1\).
Since \(P_T=E\), the ensemble average is the 2n-th moment of the distribution \(A(\sqrt{E})\).
References
J. Tambornino, SIGMA 8, 017 (2012). https://doi.org/10.3842/SIGMA.2012.017
E. Anderson, Ann. Phys. 524, 757 (2012). https://doi.org/10.1002/andp.201200147
M. Henneaux, C. Bunster, Quantization of Gauge Systems, Physics (Princeton University Press, Princeton, 1992). https://doi.org/10.1515/9780691213866
D.M. Gitman, I.V. Tyutin, Quantization of Fields with Constraints, Springer Series in Nuclear and Particle Physics (Springer, Berlin, 1990). https://doi.org/10.1007/978-3-642-83938-2
G. Date, Refresher Course for College Teachers (2010). arXiv:1010.2062 [gr-qc]
L.V. Prokhorov, S.V. Shabanov, Hamiltonian Mechanics of Gauge Systems (Cambridge University Press, Cambridge, 2011). https://doi.org/10.1017/CBO9780511976209
P.A.M. Dirac, Proc. R. Soc. Lond. A 246, 333 (1958). https://doi.org/10.1098/rspa.1958.0142
R. Arnowitt, S. Deser, C.W. Misner, Phys. Rev. 116, 1322 (1959). https://doi.org/10.1103/PhysRev.116.1322
P.A.M. Dirac, Phys. Rev. 114, 924 (1959). https://doi.org/10.1103/PhysRev.114.924
P.G. Bergmann, A. Komar, Int. J. Theor. Phys. 5, 15 (1972). https://doi.org/10.1007/BF00671650
J. Lee, R.M. Wald, J. Math. Phys. 31, 725 (1990). https://doi.org/10.1063/1.528801
J.M. Pons, D.C. Salisbury, L.C. Shepley, Phys. Rev. D 55, 658 (1997). https://doi.org/10.1103/PhysRevD.55.658. arXiv:gr-qc/9612037
K.V. Kuchař, Int. J. Mod. Phys. D 20, 3 (2011). https://doi.org/10.1142/S0218271811019347
C.J. Isham, NATO Sci. Ser. C 409, 157 (1993). arXiv:gr-qc/9210011
L. Chataignier, Timeless Quantum Mechanics and the Early Universe, Springer Theses (Springer, Berlin, 2022). https://doi.org/10.1007/978-3-030-94448-3
P.A. Höhn, A.R.H. Smith, M.P.E. Lock, Phys. Rev. D 104, 066001 (2021). https://doi.org/10.1103/PhysRevD.104.066001. arXiv:1912.00033 [quant-ph]
P.A. Hoehn, A.R.H. Smith, M.P.E. Lock, Front. Phys. 9, 181 (2021). https://doi.org/10.3389/fphy.2021.587083. arXiv:2007.00580 [gr-qc]
D.N. Page, W.K. Wootters, Phys. Rev. D 27, 2885 (1983). https://doi.org/10.1103/PhysRevD.27.2885
W.K. Wootters, Int. J. Theor. Phys. 23, 701 (1984). https://doi.org/10.1007/BF02214098
P.A. Höhn, Universe 5, 1 (2019). https://doi.org/10.3390/universe5050116
P.A. Höhn, A. Vanrietvelde, New J. Phys. 22, 123048 (2020). https://doi.org/10.1088/1367-2630/abd1ac. arXiv:1810.04153 [gr-qc]
A. Ashtekar, W. Kaminski, J. Lewandowski, Phys. Rev. D 79, 064030 (2009). https://doi.org/10.1103/PhysRevD.79.064030. arXiv:0901.0933 [gr-qc]
I. Agullo, A. Ashtekar, W. Nelson, Phys. Rev. Lett. 109, 251301 (2012). https://doi.org/10.1103/PhysRevLett.109.251301. arXiv:1209.1609 [gr-qc]
I. Agullo, A. Ashtekar, W. Nelson, Phys. Rev. D 87, 043507 (2013). https://doi.org/10.1103/PhysRevD.87.043507. arXiv:1211.1354 [gr-qc]
I. Agullo, A. Ashtekar, W. Nelson, Class. Quantum Gravity 30, 085014 (2013). https://doi.org/10.1088/0264-9381/30/8/085014. arXiv:1302.0254 [gr-qc]
B.S. DeWitt, Phys. Rev. 160, 1113 (1967). https://doi.org/10.1103/PhysRev.160.1113
C. Kiefer, Quantum Gravity, 3rd ed., International Series of Monographs on Physics No. 155 (Oxford University Press, Oxford, 2012)
C. Kiefer, N. Kwidzinski, D. Piontek, Eur. Phys. J. C 79, 686 (2019). https://doi.org/10.1140/epjc/s10052-019-7193-6
A. Ashtekar, T. Pawlowski, P. Singh, Phys. Rev. D 73, 124038 (2006). https://doi.org/10.1103/PhysRevD.73.124038. arXiv:gr-qc/0604013
A. Ashtekar, T. Pawlowski, P. Singh, Phys. Rev. D 74, 084003 (2006). https://doi.org/10.1103/PhysRevD.74.084003. arXiv:gr-qc/0607039
P. Peter, E. Pinho, N. Pinto-Neto, JCAP 07, 014 (2005). https://doi.org/10.1088/1475-7516/2005/07/014. arXiv:hep-th/0509232
P. Peter, E.J.C. Pinho, N. Pinto-Neto, Phys. Rev. D 73, 104017 (2006). https://doi.org/10.1103/PhysRevD.73.104017. arXiv:gr-qc/0605060
P. Peter, E.J.C. Pinho, N. Pinto-Neto, Phys. Rev. D 75, 023516 (2007). https://doi.org/10.1103/PhysRevD.75.023516. arXiv:hep-th/0610205
P. Peter, N. Pinto-Neto, Phys. Rev. D 78, 063506 (2008). https://doi.org/10.1103/PhysRevD.78.063506. arXiv:0809.2022 [gr-qc]
H. Bergeron, J.P. Gazeau, P. Małkiewicz, JCAP 05, 057 (2018). https://doi.org/10.1088/1475-7516/2018/05/057. arXiv:1709.05851 [gr-qc]
P. Małkiewicz, A. Miroszewski, Phys. Rev. D 103, 083529 (2021). https://doi.org/10.1103/PhysRevD.103.083529. arXiv:2011.03487 [gr-qc]
J.C. Martin, P. Małkiewicz, P. Peter, Phys. Rev. D 105, 023522 (2022). https://doi.org/10.1103/PhysRevD.105.023522. arXiv:2111.02963 [gr-qc]
J.C. Martin, P. Małkiewicz, P. Peter, (2022). arXiv:2212.12484 [gr-qc]
W.F. Blyth, C.J. Isham, Phys. Rev. D 11, 768 (1975). https://doi.org/10.1103/PhysRevD.11.768
M.J. Gotay, J. Demaret, Phys. Rev. D 28, 2402 (1983). https://doi.org/10.1103/PhysRevD.28.2402
P. Hájíček, C. Kiefer, Int. J. Mod. Phys. D 10, 775 (2001). https://doi.org/10.1142/S0218271801001578
M.P. Dabrowski, C. Kiefer, B. Sandhöfer, Phys. Rev. D 74, 044022 (2006). https://doi.org/10.1103/PhysRevD.74.044022. arXiv:hep-th/0605229
H. Bergeron, E. Czuchry, J.-P. Gazeau, P. Małkiewicz, W. Piechocki, Phys. Rev. D 92, 124018 (2015). https://doi.org/10.1103/PhysRevD.92.124018
Y. Liu, D. Malafarina, L. Modesto, C. Bambi, Phys. Rev. D 90, 044040 (2014). https://doi.org/10.1103/PhysRevD.90.044040
A.Y. Kamenshchik, Class. Quantum Gravity 30, 173001 (2013). https://doi.org/10.1088/0264-9381/30/17/173001
M. Sami, P. Singh, S. Tsujikawa, Phys. Rev. D 74, 043514 (2006). https://doi.org/10.1103/PhysRevD.74.043514
C. Kiefer, (2015). arXiv: 1512.08346
A. Kamenshchik, C. Kiefer, N. Kwidzinski, Phys. Rev. D 93, 083519 (2016). arXiv:1602.01319 [gr-qc]
A. Alonso-Serrano, M. Bouhmadi-López, P. Martín-Moruno, Phys. Rev. D 98, 104004 (2018). https://doi.org/10.1103/PhysRevD.98.104004. arXiv:1802.03290 [gr-qc]
M. Bouhmadi-López, C. Kiefer, P. Martín-Moruno, Gen. Relativ. Gravit. 51, 135 (2019). https://doi.org/10.1007/s10714-019-2618-y
C. Kiefer, T. Schmitz, Phys. Rev. D 99, 126010 (2019). https://doi.org/10.1103/PhysRevD.99.126010
S. Jalalzadeh, Phys. Lett. B 833, 137285 (2022). https://doi.org/10.1016/j.physletb.2022.137285. arXiv:2207.00727 [gr-qc]
C. Kiefer, N. Kwidzinski, D. Piontek, Eur. Phys. J. C 79, 686 (2019). https://doi.org/10.1140/epjc/s10052-019-7193-6. arXiv:1903.04391 [gr-qc]
M. Bojowald, Phys. Rev. Lett. 86, 5227 (2001). https://doi.org/10.1103/PhysRevLett.86.5227. arXiv:gr-qc/0102069
F.G. Alvarenga, J.C. Fabris, N.A. Lemos, G.A. Monerat, Gen. Relativ. Gravit. 34, 651 (2002). https://doi.org/10.1023/A:1015986011295. arXiv:gr-qc/0106051
M. Bojowald, Phys. Rev. D 64, 084018 (2001). https://doi.org/10.1103/PhysRevD.64.084018. arXiv:gr-qc/0105067
M. Bojowald, Class. Quantum Gravity 19, 2717 (2002). https://doi.org/10.1088/0264-9381/19/10/313. arXiv:gr-qc/0202077
S. Gryb, K.P.Y. Thébault, Class. Quantum Gravity 36, 035009 (2019). https://doi.org/10.1088/1361-6382/aaf823. arXiv:1801.05789 [gr-qc]
S. Gielen, L. Menéndez-Pidal, Class. Quantum Gravity 37, 205018 (2020). https://doi.org/10.1088/1361-6382/abb14f. arXiv:2005.05357 [gr-qc]
S. Gielen, L. Menéndez-Pidal, Class. Quantum Gravity 39, 075011 (2022). https://doi.org/10.1088/1361-6382/ac504f. arXiv:2109.02660 [gr-qc]
S. Gielen, L. Menéndez-Pidal, (2022). arXiv:2205.15387 [gr-qc]
P. Małkiewicz, P. Peter, S.D.P. Vitenti, Phys. Rev. D 101, 046012 (2020). https://doi.org/10.1103/PhysRevD.101.046012. arXiv:1911.09892 [gr-qc]
K.P.Y. Thebault, (2022). arXiv:2209.05905 [gr-qc]
K. Kuchar, Canonical quantum gravity (1993). arXiv:gr-qc/9304012
J. Barbour, B.Z. Foster, Constraints and gauge transformations: Dirac’s theorem is not always valid (2008). arXiv:0808.1223 [gr-qc]
M. Bojowald, P. A. Höhn, A. Tsobanjan, Phys. Rev. D 83 (2011). https://doi.org/10.1103/physrevd.83.125023
J.D. Brown, K.V. Kuchar, Phys. Rev. D 51, 5600 (1995). https://doi.org/10.1103/PhysRevD.51.5600
M. Henneaux, C. Teitelboim, Phys. Lett. B 222, 195 (1989). https://doi.org/10.1016/0370-2693(89)91251-3
W.G. Unruh, Phys. Rev. D 40, 1048 (1989). https://doi.org/10.1103/PhysRevD.40.1048
K.V. Kuchar, Phys. Rev. D 43, 3332 (1991). https://doi.org/10.1103/PhysRevD.43.3332
F. Amemiya, T. Koike, Phys. Rev. D 80, 1 (2009)
F. Gieres, Rep. Prog. Phys. 63, 1893–1931 (2000). https://doi.org/10.1088/0034-4885/63/12/201
G. Bonneau, J. Faraut, G. Valent, Am. J. Phys. 69, 322–331 (2001). https://doi.org/10.1119/1.1328351
D.M. Gitman, I.V. Tyutin, B.L. Voronov, Free one-dimensional particle on an interval, in booktitle Self-adjoint Extensions in Quantum Mechanics: General Theory and Applications to Schrödinger and Dirac Equations with Singular Potentials (Birkhäuser Boston, Boston, 2012) pp. 207–236. https://doi.org/10.1007/978-0-8176-4662-2_6
K.V. Kuchař, M.P. Ryan, Phys. Rev. D 40, 3982 (1989). https://doi.org/10.1103/PhysRevD.40.3982
C. Rovelli, Phys. Rev. D 42, 2638 (1990). https://doi.org/10.1103/PhysRevD.42.2638
C. Rovelli, Phys. Rev. D 43, 442 (1991). https://doi.org/10.1103/PhysRevD.43.442
B. Dittrich, Gen. Relativ. Gravit. 39, 1891 (2007). https://doi.org/10.1007/s10714-007-0495-2. arXiv:gr-qc/0411013
B. Dittrich, Class. Quantum Gravity 23, 6155 (2006). https://doi.org/10.1088/0264-9381/23/22/006. arXiv:gr-qc/0507106
A. Barvinsky, Phys. Rep. 230, 237 (1993)
A.O. Barvinsky, A.Y. Kamenshchik, Phys. Rev. D 89, 043526 (2014). https://doi.org/10.1103/PhysRevD.89.043526. arXiv:1312.3147 [gr-qc]
C.G. Torre, Phys. Rev. D 48, R2373 (1993). https://doi.org/10.1103/PhysRevD.48.R2373. arXiv:gr-qc/9306030
H. Maeda, Class. Quantum Gravity 32, 235023 (2015). https://doi.org/10.1088/0264-9381/32/23/235023
A. Vilenkin, Phys. Rev. D 37, 888 (1988). https://doi.org/10.1103/PhysRevD.37.888
H.S. Sahota, K. Lochan, Phys. Rev. D 104, 126027 (2021). https://doi.org/10.1103/PhysRevD.104.126027
V.F. Mukhanov, H.A. Feldman, R.H. Brandenberger, Phys. Rep. 215, 203 (1992). https://doi.org/10.1016/0370-1573(92)90044-Z
H. Kodama, M. Sasaki, Prog. Theor. Phys. Suppl. 78, 1 (1984). https://doi.org/10.1143/PTPS.78.1
E.H. Kerner, W.G. Sutcliffe, J. Math. Phys. 11, 391 (1970). https://doi.org/10.1063/1.1665150
M.A. De Gosson, Entropy 20 (2018). https://doi.org/10.3390/e20110869
L. Smolin, Phys. Rev. D 80, 084003 (2009). https://doi.org/10.1103/PhysRevD.80.084003. arXiv:0904.4841 [hep-th]
N.D. Birrell, P.C.W. Davies, Quantum Fields in Curved Space, Cambridge Monographs on Mathematical Physics (Cambridge Univ. Press, Cambridge, 1984). https://doi.org/10.1017/CBO9780511622632
B. Alexandre, J. Magueijo, Phys. Rev. D 106, 063520 (2022). https://doi.org/10.1103/PhysRevD.106.063520. arXiv:2207.03854 [gr-qc]
A. Dhanuka, K. Lochan, Phys. Rev. D 102, 085009 (2020). https://doi.org/10.1103/PhysRevD.102.085009. arXiv:2003.07380 [gr-qc]
A. Dhanuka, K. Lochan, Phys. Rev. D 106, 125006 (2022). https://doi.org/10.1103/PhysRevD.106.125006. arXiv:2210.11186 [gr-qc]
A. Ashtekar, L. Bombelli, A. Corichi, Phys. Rev. D 72, 025008 (2005). https://doi.org/10.1103/PhysRevD.72.025008. arXiv:gr-qc/0504052
Acknowledgements
HSS would like to acknowledge the financial support from the University Grants Commission, Government of India, in the form of Junior Research Fellowship (UGC-CSIR JRF/Dec-2016/503905). Research of KL is partially supported by the Department of Science and Technology (DST) of the Government of India through a research grant under INSPIRE Faculty Award (DST/INSPIRE/04 /2016/000571). HSS would like to thank S. Shankaranarayanan and Sumanta Chakraborty for their helpful comments.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Hermiticity of operators
The self-adjointness of the Hamiltonian operator (3.21) is discussed in [51] whereas the self-adjointness of the Hamiltonian in Eq. (5.10) follows along the same line. In this section, we will discuss the Hermiticity of other operators that appears in the main text.
1.1 A.1 Hubble parameter: dust dominated universe
For the case of Brown–Kuchař dust, the Hermiticity of the Hubble parameter operator in Eq. (4.7) implies
The Hermiticity of the operator requires the vanishing of the boundary term in the square bracket. This term vanishes for the case where the wavefunctions vanish at \(a\rightarrow 0\) and \(a\rightarrow \infty \). For the wave packets under consideration in Eq. (4.2), the boundary condition is satisfied, provided \(q\ne 0\).
1.2 A.2 Hubble parameter: cosmological constant driven universe
Similarly, for the case of Schutz fluid, the Hermiticty of Hubble parameter operator in Eq. (6.7) implies
The Hubble parameter operator is Hermitian, provided the boundary term in the square bracket vanishes. For the case of the wave packets in Eq. (5.15), at the lower limit \(a\rightarrow 0\), the boundary term goes as \(a^{|p+1|+3}\) and therefore vanishes for all p. Whereas at the upper limit \(a\rightarrow \infty \), the exponential term will kill off the boundary contribution. Therefore, the Hubble parameter is Hermitian for the set of wave packets under consideration.
1.3 A.3 Square of Hubble parameter and Ricci scalar: dust dominated universe
The differential operators corresponding to the square of the Hubble parameter operator in Eqs. (4.11), (4.12) is
We see that the difference comes from the term with no derivative and the terms with a derivative match with the terms for the Ricci scalar operator in Eqs. (4.20) and (4.21). The reason for this happenstance is that the two observables in question have similar phase space expression on-shell \(\propto p_a^2a^{-4}\). We can write a general operator that represents all four cases via
The Hermiticity of this operator implies
The boundary conditions required for the Hermiticity of these operators are the same. For operators to be Hermitian, these boundary terms have to vanish. For a function with asymptotic behavior \(\psi (a)\rightarrow a^k\) as for \(a\rightarrow 0\) and \(\psi (a)\rightarrow a^{k'}\) as for \(a\rightarrow \infty \), the boundary term behaves as
For the set of wave packets, the boundary term vanishes at the upper limit for all parameter values, while at the lower limit, the boundary term vanishes when \(|q|>3/2\).
1.4 A.4 Square of Hubble parameter and Ricci scalar: cosmological constant driven universe
The differential operators correspond to different ordering in Eqs. (6.19) and (6.20) differ only at the level of the term without derivative. The general operator can be cast in the form
The Hermiticity of this operator implies
the boundary term in the square bracket should vanish. For the set of wave packets considered in Eq. (5.15), the upper limit vanishes due to the exponential factor, and for the lower limit, the boundary term goes as \(a^{|1+p|}\) and vanishes as \(a\rightarrow 0\), provided \(|1+p|\ne 0\).
Appendix B: Regularity of the expectation values of operators
In the Sect. 4.2, we encountered the divergences in the expectation value of the Ricci scalar in Eqs. (4.23) and (4.24) that are for the parameter values outside of the domain of Hermiticity of Ricci scalar. A similar trend is observed in the case of the Riemann and Kretschmann scalar, as will be seen in the Appendix D. In the last section, we have derived the Hermiticity condition for various operators, and here, we will derive the condition for the regularity of the expectation value of the various operators. As the states considered in this analysis are vanishing exponentially as \(a\rightarrow \infty \), the cause for divergences is the lower limit. For the discussion in this section, we will assume the states with asymptotic behavior \(\psi (a)\rightarrow a^\alpha \) as \(a\rightarrow 0\) and exponentially decaying as \(a\rightarrow \infty \). First, we will discuss the case of the Hubble parameter for which the expectation value in state \(\psi \) is
Here, since the lower limit is of concern, we need to check the behavior of the integrand near \(a=0\). Using the asymptotic expression for wave function, the integrand behaves as \(a^{2\alpha -1}\) as \(a\rightarrow 0\). Using the p-testFootnote 5 for the convergence, we get the condition \(\alpha >0\). For the wave packet in Eq. (4.2), this condition translates to \(q\ne 0\).
In the case of the Ricci scalar operator for both orderings in Eq. (4.20) and (4.21), the expectation value in the state \(\psi \) takes the form
The behavior of the integrand for the given state is \(a^{2\alpha -4}\) as \(a\rightarrow 0\) (as the terms are of the form \(a\partial _a\) and \(a^2\partial _a^2\)). Again using the p-test, the integral converges for the case when \(\alpha >3/2\) translates to \(|q|>3/2\) for the states under consideration in Eq. (4.2). Similarly, for a cosmological constant driven universe as well, the expectation value of the Ricci scalar diverges for parameter values outside the domain of Hermiticity, with its origin also being the same as above.
Here, we have derived the conditions for the Hermiticity of operators and the conditions for the regularity of the expectation value of these operators. Although the origin of these conditions is different, the domain of Hermiticity overlaps with the domain of regularity, thereby saving the quantum model from problematic divergences in a natural manner.
Appendix C: Classically anticipated expressions
In the case of a dust dominated universe, the classical expression for the scale factor is
and the Hubble parameter and curvature invariants are independent of the constant of motion \(P_T\). The system is placed in a state described by the wave packet given in Eq. (4.2), which is constructed using the energy distribution in Eq. (3.30). For this state, the classically anticipated expression for the scale factor is given by,
where is the ensemble averageFootnote 6 in the distribution (3.30). The expectation value of the scale factor in Eq. (4.3) matches with the classically anticipated scale factor at the leading order, i.e., when \(\tau ^2\gg \lambda ^2\). The observables of interest are independent of the constant of motion, and therefore, there is no ambiguity in their classically anticipated expression.
In the case of a dark energy dominated universe at the classical level, the scale factor, Hubble parameter, and Ricci scalar are related to the energy density via \(a\propto \rho ^{1/6}\), \(\mathbb {H}=\sqrt{2\rho }\) and \(\mathcal {R}=24\rho \), with energy density being equal to the momentum conjugate to the fluid variable, i.e., the cosmological constant \(\rho =\varLambda \). First, we will address what should be the classically expected behavior of various objects for the universe that the wave packet in Eq. (5.15) represents. The wave packet is constructed using the Poisson-like energy distribution, and the ensemble averages with the distribution in Eq. (3.30) for various objects are
These expressions correlate exactly with the asymptotic expression of the expectation values of these observables in Eqs. (6.2), (6.10), (6.22) and (6.23) in the classical regime \(\tau ^2\gg \lambda ^2\), but the semiclassical expressions do not correlate with the classically expected expressions. Interestingly, this exact quantum to classical correspondence is possible only in the context of the semiclassical state (e.g., coherent state or squeezed state), and it seems that the wave packets constructed in this analysis mimic the behavior as that of a semiclassical state [95].
The difference between the semiclassical expressions and the quantum expectations of these observables comes from the fact that for the distribution in Eq. (3.30), the ensemble average follows . The semiclassical expressions capture the distribution properties via the expectation value of the scale factor through , and the semiclassical expressions are the powers of this factor. The physical imprint of ambiguity of this kind is discussed in [36], where the expectation value is used to describe the quantum corrected spacetime and the imprint of parameter n is investigated on the primordial gravitational wave spectrum.
Appendix D: Higher curvature invariants
The method of constructing phase space expressions outlined in Sec. 3 can be used to find phase space expressions of the higher curvature invariants, and one can study these observables at the quantum level. Non-vanishing components of the Riemann and Ricci tensors are
We will term the scalar constructed out of the contraction of the Ricci tensor with itself as the Riemann scalar,
Using (3.15) and (3.16) and gauge \(\mathcal {N}=1\), we arrive at
Similarly, the canonical expression for the Kretschmann Scalar for this model is given by
Classically for dust as matter, the Riemann and Kretschmann scalars are given by \(\text {Ri}=16/9\tau ^4,\;\text {and}\; K=80/27\tau ^4\), again diverging at \(\tau =0\).
Here, we will do the analysis for the case of dust dominated universe only, and the case of a cosmological constant driven universe can be done in the same spirit. The expression for the Riemann and Kretschmann scalar computed from the expectation value of scale factor (4.3) is
The semiclassical expressions for both curvature invariants are regularized functions with a maximum at the singularity and follow the classical behavior \( \text {Ri}\rightarrow 16/9\tau ^4\) and \(\text {K}\rightarrow 80/27\tau ^4\) in the large \(|\tau |\) regime. The phase space expressions for the Riemann and Kretschmann Scalar are given in equations (D.5) and (D.6). There are three distinct terms appearing in both expressions, involving the powers of scale factor, momentum, and the Poisson bracket of momentum and Hamiltonian. In principle, there exist infinitely many options for symmetric ordering of these terms, but in this analysis, we will do a comparative analysis and write two sets of symmetrized orderings following the first ordering prescription.
In one set, the powers of the scale factor operator will be the leftmost and rightmost while other operators are sandwiched in between. Whereas in the other set, the powers of the momentum operator are placed on the leftmost and rightmost with other operators sandwiched, and in one term that is devoid of the bare momentum operator, the commutator operators are placed on the leftmost and rightmost, as shown in Table 1. With these choices of ordering, the operators corresponding to the Riemann and Kretschmann scalars are
Using the expression of the commutator of the momentum operator and Hamiltonian operator in Eq. (4.19), the differential operators corresponding to these orderings take the form
For different orderings, the third and fourth-order terms in the derivative match, while the other terms are distinct. The boundary terms arising from the requirement of Hermiticity of the Riemann scalar and Kretschmann scalar operator are
respectively. The operators are Hermitian, provided that these boundary terms vanish. In the Hermiticity condition for different orderings, only the coefficients in the third term are different. The coefficient A is 92 for \(\hat{\text {Ri}}_1\) and 76 for \(\hat{\text {Ri}}_2\) whereas B is \(2(3|q|^2+79)\) for \(\hat{\text {K}}_1\) and \(2(3|q|^2-77)\) for \(\hat{\text {K}}_2\). Anyway, the coefficients do not matter for the vanishing of these boundary terms, and for the set of wave packets, the boundary terms vanish if \(|q|>9/2\). We notice that the Hermiticity condition is indifferent to the operator orderings ambiguity. The expectation values of these operators for the wave packet in (4.2) are
All expressions are regular functions for the case when \(|q|>9/2\) and have a maximum at the classical singularity, except for \(\overline{K}_2(\tau )\). Here as well, the regularity of the expectation value and the Hermiticity condition put the same constraint on the parameter q. In the large q regime, different orderings give rise to the same expectation value, thereby reaffirming that there is no signature of operator ordering ambiguity in this regime. Far away from the singularity \(\tau ^2\gg \lambda ^2\), we recover the classical expressions for both Riemann and Kretschmann scalar.
We have plotted the expectation value of both curvature invariants in Fig. 11. Here, as well, the expectation value of different orderings of the curvature invariants are in stark contrast for small q values. On the other hand, different orderings merge onto the semiclassical expressions as we keep on increasing the q parameter, following the trend observed in the case of Ricci scalar expectation value. The expectation value of the Kretschmann scalar in the second case acquires a negative value near singularity for small q, with a profile similar to the one observed for the Weyl-like ordering of the Ricci scalar.
The analysis for higher curvature invariants yields the same trend as observed in the preceding subsections. Thus, for the ordering class of the Hamiltonian in Eq. (4.1) and wave packet in Eq. (4.2), the main results can be summarized as the Hubble parameter matches the semiclassical expression, and for other observables, we can trust the semiclassical expressions only in the large q parameter regime, i.e., for a sharply peaked distribution as argued in [23]. All this was discussed with a fixed ordering scheme of the Hamiltonian. We can now relax the condition used to simplify the expression in Eq. (3.33) and consider the case when the model has the same energy distribution parameters but different ordering parameters of the Hamiltonian operator.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Sahota, H.S., Lochan, K. Analyzing quantum gravity spillover in the semiclassical regime. Eur. Phys. J. C 83, 1162 (2023). https://doi.org/10.1140/epjc/s10052-023-12311-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-12311-2