Skip to Content
UniverseUniverse
  • Article
  • Open Access

22 September 2026

38 Pages

Scale-Dependent Gravity in Quantum Cosmology I: Singularity-Avoiding Sectors and Semiclassical Dynamics

,
,
,
and
1
Department of Biochemistry, Chemistry and Physics, Georgia Southern University, Armstrong Campus, 11935 Abercorn St, Savannah, GA 31419, USA
2
Department of Physics, State University of New York at Fredonia, 280 Central Ave, Fredonia, NY 14063, USA
*
Author to whom correspondence should be addressed.

Abstract

We study an effective quantum cosmological model with a scale-dependent gravitational coupling G ( a ) . Starting from a Newtonian cosmological construction inspired by a corrected two-body gravitational potential, we derive an effective Friedmann-type equation and quantize the corresponding minisuperspace model to obtain a Wheeler–DeWitt equation. For the power-law running G ( a ) = G 0 a n , the small-scale behavior is controlled by the exponent n. In the flat dust model under the repulsive effective-potential prescription adopted here, with a quantum correction term Ξ > 0 , the values n = 3 / 2 and n = 2 mark distinct analytic boundaries: n = 3 / 2 marks the sign change of the quantum-correction coefficient, while n = 2 marks the degeneracy of the leading powers of a. A genuine bounce occurs only when a root of H 2 ( a ) separates a forbidden small-a region from an allowed expanding branch, so that nonsingular sectors appear without spatial curvature, exotic matter, or nonstandard quantization prescriptions. We obtain Bessel, Airy, numerical, and WKB solutions, and show that the model separates genuine DeWitt suppression from regularity at the origin. The WKB analysis exhibits a forbidden region, a turning point, and an oscillatory semiclassical branch, while the conserved probability current distinguishes expanding and contracting sectors. A scalar field treated as a weakly backreacting internal clock yields wave packets that track the leading-order classical relational trajectory at a large scale factor; the WKB Hamilton–Jacobi limit recovers the modified Friedmann dynamics as the leading-order phase of the Wheeler–DeWitt wave function.

1. Introduction

One of the central questions in quantum cosmology concerns whether the initial singularity of the classical Friedmann picture is an unavoidable feature of cosmological evolution, or whether quantum effects are capable of resolving it. In the standard classical treatment, generic matter sources drive the scale factor to zero, where the energy density and spacetime curvature diverge and the classical description breaks down [1,2]. This singular behavior has long served as a principal motivation for developing cosmological models within a quantum gravitational framework [3].
A broad class of quantum cosmological models produces a suppressed small-a regime together with a large-a oscillatory regime, admitting a semiclassical interpretation [4,5,6,7]. In many instances, however, this outcome depends on the introduction of spatial curvature, exotic matter components [8], special boundary conditions [4,5], or nonstandard quantization prescriptions [9,10]. Here we ask a narrower question: how does quantum-corrected Newtonian cosmology change when the gravitational coupling itself is allowed to run with the cosmological scale factor?
In this paper, we address this question by studying a cosmological model in which the gravitational coupling depends on the scale factor, G ( a ) [11], while the remaining cosmological structure is kept as simple as possible. Starting from a quantum-corrected Newtonian cosmology [12,13], we derive a modified Friedmann equation in which the running of the gravitational coupling enters through effective couplings G * ( a ) , G 1 * 2 ( a ) , and G 2 * 2 ( a ) , defined as the first integrals of the equation of motion. A scale-dependent G does more than rescale the standard Friedmann equation: after the first integral is taken, it changes the effective powers and coefficients that appear in the matter, classical-correction, and quantum-correction terms.
In the power-law case G ( a ) = G 0 a n , the small-a behavior is governed entirely by the scaling exponent n, so that the transition between a crunching and a bouncing cosmology is determined by the scaling exponent rather than fine-tuned parameter cancellations. For the flat dust model under the repulsive effective-potential prescription adopted here, with Ξ > 0 , the values n = 3 / 2 and n = 2 mark distinct analytic boundaries. A genuine bounce occurs only when the root of H 2 ( a ) separates a forbidden small-a region from an allowed large-a branch. The global fate of the universe is therefore controlled by the scaling behavior of gravity itself, without modification of the matter content or spatial geometry.
We construct an effective minisuperspace quantization of this model [14], leading to a Wheeler–DeWitt-type equation [3]. It should be noted that there are longstanding questions regarding this approach toward Wheeler–Dewitt cosmology, including factor ordering, the problem of time, the physical Hilbert space, and its relation to a more fundamental theory of quantum gravity. This paper does not claim to resolve these issues, but rather examines a phenomenological model within the Wheeler–DeWitt minisuperspace framework, with its assumptions and limitations stated explicitly. For selected parameter choices, the theory admits exact analytic solutions of both Bessel and Airy type, as well as numerical solutions in physically relevant cases [15]. Recently, model-specific and nonstandard realizations of the Wheeler–DeWitt equation have appeared in the literature [16]. These solutions demonstrate that the wave function can be strongly suppressed near a = 0 , satisfying the DeWitt boundary condition [3] and indicating singularity avoidance, while in other sectors the wave function remains regular but nonvanishing at the origin [4]. The model therefore separates two cases that should not be conflated: a wave function that vanishes at a = 0 , and a wave function that is regular but nonzero there.
We also carry out a WKB analysis and show that, for appropriate parameter choices, the wave function exhibits the structure of a nonsingular quantum cosmology: a classically forbidden region at a small scale factor, a turning point, and an oscillatory semiclassical regime at a large scale factor. The conserved minisuperspace probability current provides a means to distinguish expanding and contracting branches, giving the oscillatory wave function a dynamical interpretation. Finally, we introduce a homogeneous scalar field as an internal clock [17], which allows wave packets to be constructed and followed in relational time. In the case studied here, and within the weak-backreaction test-field regime, the packet peak tracks the leading-order classical relational trajectory at a large scale factor.
The paper is organized as follows. In Section 2, we derive the modified Friedmann equation for a running gravitational coupling and define the effective couplings that control the dynamics. In Section 3, we quantize the model and present exact solutions of the Wheeler–DeWitt equation. In Section 4, we develop the WKB analysis and probability-current interpretation. In Section 5, we introduce the scalar-field clock and examine the quantum-to-classical correspondence in relational time. The final sections summarize the physical implications of the model.

2. Quantum-Corrected Newtonian Cosmology

2.1. Newtonian Cosmological Setup

We begin with the standard Newtonian cosmology construction. Assuming homogeneity and isotropy, consider a test particle of negligible mass located on the boundary of a spherical region of physical radius R ( t ) , filled with a uniform mass density ρ ( t ) . By symmetry, only the mass enclosed within radius R contributes to the gravitational force on the particle.
The physical radius of the shell is written as
R ( t ) = a ( t ) R 0 ,
where a ( t ) is the cosmological scale factor and R 0 is a comoving coordinate label identifying the shell. The quantity R 0 is not observable and reflects a freedom in the normalization of comoving coordinates. The enclosed mass is
M ( R ) = 4 π 3 R 3 ρ ( t ) ,
and the Hubble parameter is defined kinematically as
H ( t ) ≡ a ˙ a = R ˙ R .
We assume that the cosmic fluid obeys a barotropic equation of state,
p = ( γ − 1 ) ρ c 2 ,
which implies, through the continuity equation,
ρ ( t ) = ρ 0 a − 3 γ ,
where ρ 0 denotes the density at the present epoch.

2.2. Quantum-Corrected Newtonian Force Law

To incorporate classical and quantum corrections to Newtonian gravity, we adopt an effective radial force law motivated by quantum corrections to the gravitational potential [12,13,18,19,20]. The acceleration of the test particle is taken to be
R ¨ = − G ( R ) M R 2 − 2 λ G ( R ) 2 M 2 c 2 R 3 + 3 ξ QG ћ G ( R ) 2 M c 3 R 4 .
The first term is the standard Newtonian attraction, the second is the leading classical correction, and the third is the leading quantum correction proportional to ћ. In the sign convention adopted here, ξ QG > 0 denotes the magnitude of the repulsive quantum correction. The parameters λ and ξ QG encode the relative strengths of the higher-order classical and quantum contributions.
In the present work we allow the gravitational coupling to depend on scale. Thus, G is not treated as a fixed constant, but as a function of the cosmological scale through G = G ( R ) , or equivalently, G = G ( a ) . In Equation (6), we adopt the corrected force law first and then promote G to G ( R ) . We do not insert G ( R ) into the two-body potential and differentiate it afterward; that alternative prescription would produce additional d G / d R terms. The effects of the running in our model enter through the first integral and the effective couplings defined below.

2.3. First Integral of the Equation of Motion

When G varies with scale, the force is not strictly conservative in the ordinary Newtonian sense, and a conserved mechanical energy should not be assumed at the outset. Instead, a first integral can be obtained from Newton’s second law. Multiplying Equation (6) by R ˙ and integrating with respect to time gives
∫ R ¨ R ˙ d t = ∫ f ( R , G ) d R ,
where f ( R , G ) denotes the right-hand side of Equation (6). Integration gives
1 2 R ˙ 2 = M R G − R ∫ d G R + λ M 2 c 2 R 2 G 2 − 2 R 2 ∫ G R 2 d G         − ξ QG M ћ c 3 R 3 G 2 − 2 R 3 ∫ G R 3 d G + C ,
where C is an integration constant.
It is convenient to define the effective gravitational couplings
G * ≡ G − R ∫ d G R ,
G 1 * 2 ≡ G 2 − 2 R 2 ∫ G R 2 d G ,
G 2 * 2 ≡ G 2 − 2 R 3 ∫ G R 3 d G .
In terms of these quantities, Equation (8) becomes
1 2 R ˙ 2 = G * M R + λ G 1 * 2 M 2 c 2 R 2 − ξ QG ћ G 2 * 2 M c 3 R 3 + C .
The constant C is the Newtonian integration constant and will be identified with the spatial curvature term. The quantities G * , G 1 * 2 , and G 2 * 2 are not new independent constants. They are effective couplings generated by the scale dependence of G. In the constant-G limit, the integral contributions vanish and the usual Newtonian/Friedmann structure is recovered. For a genuinely running coupling, however, the starred quantities need not scale in the same way as G ( R ) itself. They therefore summarize how the running of gravity modifies the matter, classical-correction, and quantum-correction sectors of the cosmological dynamics.

2.4. Friedmann-Type Equation

Dividing Equation (12) by R 2 and using H = R ˙ / R , we find
H 2 = 2 G * M R 3 + λ 2 G 1 * 2 M 2 c 2 R 4 − ξ QG 2 ћ G 2 * 2 M c 3 R 5 + 2 C R 2 .
Substituting
M = 4 π 3 R 3 ρ
gives
H 2 = 8 π 3 G * ρ + λ 32 π 2 9 c 2 G 1 * 2 R 2 ρ 2 − ξ QG 8 π 3 ћ c 3 G 2 * 2 ρ R 2 + 2 C R 2 .
Using R = a R 0 , the last term becomes
2 C R 2 = 2 C a 2 R 0 2 .
We identify the curvature parameter by
k ≡ − 2 C c 2 R 0 2 ,
so that
2 C R 2 = − k c 2 a 2 .
The higher-order terms retain a dependence on the reference scale R 0 . We collect this dependence into the effective coefficients Υ cl and Ξ :
Υ cl ≡ λ R 0 2 , Ξ ≡ ξ QG R 0 2 .
Here, ξ QG is the dimensionless coefficient of the one-loop quantum correction to the Newtonian potential, whereas Ξ is the corresponding dimensionful coefficient entering the cosmological equation. Thus,
[ ξ QG ] = 1 , [ Ξ ] = L − 2 .
Substituting ρ = ρ 0 a − 3 γ , the effective Friedmann-type equation inspired by the corrected Newtonian potential becomes
H 2 ( a ) = 8 π 3 G * ( a ) ρ 0 a − 3 γ + Υ cl 32 π 2 9 c 2 G 1 * 2 ( a ) ρ 0 2 a 2 − 6 γ       − Ξ 8 π 3 ћ c 3 G 2 * 2 ( a ) ρ 0 a − ( 3 γ + 2 ) − k c 2 a 2 .
This is the basic dynamical equation used throughout the remainder of the paper. It reduces to the standard Friedmann equation when the higher-order corrections are removed and G * → G 0 . At a small scale factor, however, the correction terms can become significant and may alter the approach to the classical singularity.

2.5. Normalized Density Formulation

It is often convenient to rewrite Equation (20) in terms of dimensionless density parameters. We introduce the present-day critical density
ρ c , 0 ≡ 3 H 0 2 8 π G 0 ,
where H 0 and G 0 are the present values of the Hubble parameter and gravitational coupling, respectively. The corresponding density parameter is
Ω 0 ≡ ρ 0 ρ c , 0 = 8 π G 0 ρ 0 3 H 0 2 .
Thus,
8 π 3 ρ 0 = Ω 0 H 0 2 G 0 ,
32 π 2 9 ρ 0 2 = Ω 0 2 H 0 4 2 G 0 2 .
Substitution into Equation (20) gives
H 2 ( a ) = Ω 0 H 0 2 G 0 G * ( a ) a − 3 γ + Υ cl Ω 0 2 H 0 4 2 G 0 2 c 2 G 1 * 2 ( a ) a 2 − 6 γ       − Ξ Ω 0 H 0 2 G 0 ћ c 3 G 2 * 2 ( a ) a − ( 3 γ + 2 ) − k c 2 a 2 .
Dividing by H 0 2 , one obtains the form
H 2 ( a ) H 0 2 = Ω 0 G * ( a ) G 0 a − 3 γ + Υ cl Ω 0 2 H 0 2 2 G 0 2 c 2 G 1 * 2 ( a ) a 2 − 6 γ       − Ξ Ω 0 ћ G 0 c 3 G 2 * 2 ( a ) a − ( 3 γ + 2 ) − k c 2 a 2 H 0 2 .
This form is especially advantageous for numerical work, because the cosmological evolution is expressed in terms of the density parameters and the scale-dependent effective couplings.

2.6. Worked Examples and Physical Interpretation

To illustrate the physical meaning of Equation (20), we now consider two simple examples in order to show how the higher-order correction terms can change the small-scale dynamics even in a homogeneous and isotropic Newtonian cosmology.
Throughout this subsection, we restrict attention to dust matter, γ = 1 , and spatial flatness, k = 0 , so that the effects of the classical and quantum corrections can be isolated.

2.6.1. Constant Gravitational Coupling

First consider the constant-G limit,
G ( a ) = G 0 .
Then
G * ( a ) = G 0 , G 1 * 2 ( a ) = G 0 2 , G 2 * 2 ( a ) = G 0 2 .
For dust and flat geometry, Equation (20) reduces to
H 2 ( a ) = A a − 3 + B a − 4 − C a − 5 ,
where
A ≡ 8 π 3 G 0 ρ 0 ,
B ≡ Υ cl 32 π 2 9 c 2 G 0 2 ρ 0 2 ,
C ≡ Ξ 8 π 3 ћ c 3 G 0 2 ρ 0 .
As a → 0 , the ordinary dust contribution diverges as a − 3 , the classical correction as a − 4 , and the quantum correction as a − 5 . Thus, the quantum term is the most singular contribution in the constant-G case.
A bounce occurs when H 2 vanishes at a finite nonzero scale factor a b , with a forbidden region at smaller a. From Equation (29), the condition H 2 ( a b ) = 0 gives
A a b 2 + B a b − C = 0 .
The physically relevant root is
a b = − B + B 2 + 4 A C 2 A .
Within the truncated phenomenological equation, this root corresponds to a nonsingular bounce [13,21]. Because the quantum correction is derived as a low-energy, long-distance expansion, this result should be regarded as a formal property of the effective model rather than as a controlled prediction at arbitrarily small scales.

2.6.2. Power-Law Running of the Gravitational Coupling

We now consider the scale-dependent ansatz
G ( a ) = G 0 a n .
This power law is simple enough to be solved in closed-form while capturing the effect of a running gravitational coupling [22,23]. Using Equations (10)–(12), one finds
G * ( a ) = G 0 1 − n a n , G 1 * 2 ( a ) = G 0 2 1 − n a 2 n , G 2 * 2 ( a ) = − 3 G 0 2 2 n − 3 a 2 n ,
valid for n ≠ 1 and n ≠ 3 / 2 . Substituting into Equation (26) gives
H 2 ( a ) H 0 2 = Ω 0 1 − n a n − 3 + Υ cl Ω 0 2 H 0 2 2 c 2 ( 1 − n ) a 2 n − 4 + 3 Ξ Ω 0 ћ G 0 c 3 1 2 n − 3 a 2 n − 5 − k c 2 a 2 H 0 2 .
This expression shows why the exponent n controls the small-a behavior of the effective Friedmann equation rather than rescaling it. For dust, the matter, classical-correction, and quantum-correction terms scale as
a n − 3 , a 2 n − 4 , a 2 n − 5 ,
respectively. Two exponents fix the small-scale structure. The quantum term is the most singular contribution whenever
2 n − 5 < n − 3 ⟹ n < 2 ,
while the coefficient of the quantum contribution changes sign at
n = 3 2 .
The values n = 3 / 2 and n = 2 therefore mark the natural analytic boundaries of the small-scale dynamics: the former is the sign change of the quantum-correction coefficient, while the latter is the power-degeneracy at which the matter and quantum terms scale with the same power of a.
For the simplified flat model with Υ cl = 0 , the relevant two-term equation is
H 2 ( a ) H 0 2 = Ω 0 1 − n a n − 3 + 3 Ξ Ω 0 ћ G 0 c 3 1 2 n − 3 a 2 n − 5 .
These two boundaries divide the equation into physically distinct regimes, and it is essential to keep separate two questions that are easily conflated: which term dominates the small-a behavior, and whether that behavior corresponds to a bounce.
In the interval
3 2 < n < 2 ,
the quantum term is the most singular contribution and therefore controls the small-a dynamics. Its coefficient is positive throughout this window, since 2 n − 3 > 0 , while the running renders the matter coefficient negative, since 1 − n < 0 . The dominant small-a term is thus positive, so H 2 ( a ) > 0 as a → 0 , and the small-scale region remains classically allowed. Any root of H 2 ( a ) in this interval is consequently an upper turning point, or recollapse scale, rather than a singularity-avoiding bounce. Dominance of the quantum correction is not, by itself, a bounce.
A genuine bounce requires the opposite sign structure. For n > 2 , the matter term becomes the most singular contribution, and because the running carries the factor 1 / ( 1 − n ) , its coefficient is negative; the small-a region is then classically forbidden, with H 2 ( a ) < 0 , while the quantum term dominates at larger a and restores an allowed expanding branch. The root that separates these regions is a true bounce. The boundary case n = 2 is degenerate: both terms scale with the same power of a, so no isolated turning point exists, and the bounce branch opens up only for n > 2 .
This distinction is applied in the numerical survey below, where a root of H 2 ( a ) is classified as a bounce only when it separates a forbidden small-a region from an allowed expanding branch. The condition H 2 ( a b ) = 0 alone is not sufficient: a bounce requires both the vanishing of H 2 and the correct sign structure of H 2 ( a ) on the two sides of the root.
The small-a behavior is therefore controlled by the scaling behavior of gravity itself. The dominance of the quantum term as a → 0 is an algebraic statement about the truncated modified Friedmann equation and should not be interpreted as establishing the validity of the underlying one-loop potential at arbitrarily small scales. The quantum correction is derived as a long-distance, low-energy effective-field-theory expansion. Its local expansion parameter is
ϵ Q ( a ) ≡ ξ QG ћ G ( a ) c 3 R ( a ) 2 .
For G ( a ) = G 0 a n and R ( a ) = a R 0 , this becomes
ϵ Q ( a ) = ζ a n − 2 ,
where ζ = ћ G 0 ξ QG / ( c 3 R 0 2 ) . Perturbative control of the one-loop potential requires ϵ Q ≪ 1 , together with the usual post-Newtonian condition G ( a ) M / [ R ( a ) c 2 ] ≪ 1 . For n < 2 , ϵ Q diverges as a → 0 , whereas for n > 2 , it decreases toward the origin. The turning-point solutions considered below must nevertheless be checked at the finite value a = a t , rather than only through their asymptotic scaling.
Even with dust matter and flat spatial geometry, a running gravitational coupling can make the effective Friedmann equation behave like a multi-fluid system, and the transition between recollapsing and bouncing behavior can be achieved by the power-law form of G ( a ) , without the need to add exotic matter by hand.
The quantum-correction parameter used below is inherited from the effective two-body potential adopted in the present phenomenological construction. Earlier calculations of the leading quantum correction to the Newtonian potential produced different coefficients and signs, reflecting differences in the definition of the potential and in the treatment of the scattering amplitude and iterated contributions [13,18]. Here we follow the effective-potential prescription of Hamber and Liu [18], for which the correction is repulsive in the force-law convention of Equation (6), and write
V ( r ) = − G M r 1 + 3 G ( M + m ) r c 2 − ξ QG ћ G r 2 c 3 + ⋯ ,
where the coefficient multiplying the one-loop quantum correction is
ξ QG = 122 15 π .
With the convention of Equation (44), the quantum part of the potential per unit test mass is
V Q ( r ) = + ξ QG ћ G 2 M c 3 r 3 .
Its radial contribution to the acceleration is therefore
a Q ( r ) = − d V Q d r = + 3 ξ QG ћ G 2 M c 3 r 4 ,
which agrees with the sign of the quantum term in Equation (6).
The coefficient and sign of a quantum correction to a coordinate-space gravitational potential have not been presented uniformly in the literature. In particular, the Hamber–Liu prescription adopted here yields the repulsive correction written above, whereas the later effective-field-theory result of Bjerrum-Bohr, Donoghue, and Holstein, including its erratum, gives the commonly quoted coefficient 41 / ( 10 π ) with the opposite force sign in the present convention [24,25,26]. Because the coordinate-space potential is prescription-dependent, the resulting cosmological correction should be understood as a phenomenological input rather than as a prescription-independent prediction of low-energy quantum gravity. The singularity-avoiding sectors studied below are therefore conditional on the repulsive Hamber–Liu prescription.
The coefficient ξ QG is dimensionless. The quantity entering the cosmological modified Friedmann equation is instead
Ξ ≡ ξ QG R 0 2 ,
and therefore has dimensions [ Ξ ] = L − 2 . For normalized parameter surveys, the relevant dimensionless combination is
ζ ≡ ћ G 0 c 3 Ξ = ћ G 0 c 3 R 0 2 ξ QG .
Within the Hamber–Liu prescription adopted here, the dimensionless microscopic coefficient has the magnitude ξ QG = 122 / ( 15 π ) . The effective cosmological coefficient Ξ = ξ QG / R 0 2 is dimensionful, while ζ = ћ G 0 Ξ / c 3 is dimensionless and is the parameter that appears in the normalized modified Friedmann equation. Its numerical value also depends on the reference scale R 0 . The value of ζ shifts the location of a turning point, whereas the existence and classification of the turning point are controlled primarily by the scaling exponent n.
We emphasize that the coefficient ξ Q G was derived for the static, two-body gravitational potential in asymptotically flat spacetime, and its use here—via the Newtonian shell construction of Section 2.1, Section 2.2, Section 2.3 and Section 2.4—to correct a homogeneous, cosmological background is a phenomenological ansatz rather than a first-principles covariant derivation. A manifestly covariant treatment of one-loop quantum-gravitational corrections to FRW cosmology would instead organize the corrections in the gravitational effective action as local curvature-squared invariants (e.g., c 1 R 2 + c 2 R μ ν R μ ν ) together with nonlocal form-factor terms [27,28,29], rather than as a term inherited from the static two-body force law. Interestingly, our classical-correction term Υ cl , which enters H 2 ( a ) as ρ 2 , has a scaling that is qualitatively reminiscent of a curvature-squared correction in FRW, since ρ 2 ∼ H 4 at the level of Friedmann scaling. The Ξ term does not have an equally direct covariant pedigree, and its translation into a cosmological setting rests on the Newtonian construction alone. Establishing the precise relation between the power-law ansatz used here and the powers of a generated by a genuinely covariant curvature expansion—which are generically different from, and plausibly more singular than, those obtained from the two-body potential—is left for future work.

2.7. Possible Origins of Scale-Dependent Power-Law Running

The ansatz
G ( a ) = G 0 a n
is phenomenological, but power-law behavior can arise in several extensions of gravity. In asymptotically safe quantum gravity, the running Newton coupling near an ultraviolet fixed point behaves as G ( k ) ∼ k − 2 . Under an appropriate cosmological identification of the renormalization-group scale, such as k ∝ a − 1 , this gives G ( a ) ∼ a 2 [30,31]. In scalar–tensor theories, a coupling function of the form F ( ϕ ) ∼ e α ϕ can generate an effective power law in a when the scalar field evolves logarithmically with the scale factor [32]. Kaluza–Klein compactifications with a time-dependent modulus can likewise produce a scale-dependent four-dimensional gravitational coupling [33]. We do not derive the form of G ( a ) from any of these frameworks here. They are cited only as examples in which power-law running may arise as an effective scaling regime.
The strict power law is analytically tractable and is used throughout this paper as a local description of the deep-ultraviolet regime a → 0 . It cannot, however, persist unchanged throughout the later universe. Compatibility with primordial nucleosynthesis, recombination, structure formation, and local limits on G ˙ / G requires the running to freeze out before the relevant observational epochs.
A smooth interpolation that preserves the normalization of the early-time power law may be written as
G ( a ) = G 0 a n + 1 − a n exp − a x a p , p > n > 0 ,
where a x sets the transition scale and p controls the sharpness of the transition. This profile is introduced only as an illustrative global completion of the local power-law model.
In the deep-ultraviolet limit, a ≪ a x , the exponential term is suppressed faster than any finite power of a, and therefore
G ( a ) = G 0 a n + O exp − a x a p .
Thus,
G ( a ) ≃ G 0 a n , a → 0 ,
with precisely the same normalization used in the pure power-law analysis. In particular, no additional factor proportional to a x − n is introduced.
For a ≫ a x , one may expand
exp − a x a p = 1 − a x a p + O a x a 2 p .
Equation (51) then gives
G ( a ) G 0 = 1 − 1 − a n a x a p + O a x a 2 p .
The condition p > n ensures that the residual correction decreases in the late-time regime, so that
G ( a ) ⟶ G 0 .
For the turning points examined in Section 2.8, the relevant dynamics occur in the early-time regime in which the pure power law is applicable. The transition scale a x must nevertheless be chosen so that the running becomes observationally negligible before the BBN epoch, a BBN ∼ 10 − 10 . More precisely, both a x and the sharpness parameter p must be constrained so that | G ( a ) / G 0 − 1 | and | G ˙ / G | satisfy the relevant bounds during BBN and subsequent cosmological epochs. We do not perform that global parameter analysis here.
Accordingly, the calculations in this paper use G ( a ) = G 0 a n as a local early-universe scaling model rather than as a complete description of gravity at all epochs. A full phenomenological analysis would require specifying the transition parameters and comparing the resulting history of G ( a ) with cosmological and local constraints. The observational consequences of allowing the running to persist into the BBN era, recombination, and the epoch of structure formation are considered in Ref. [34].

2.8. Bounce-Scale Parameter Survey

The power-law model also allows a simple analytic and numerical survey of the turning-point scale. To isolate the role of the running exponent, we consider the dust, flat, and purely quantum-corrected case,
γ = 1 , k = 0 , Υ cl = 0 ,
with
G ( a ) = G 0 a n .
In this limit, the effective Friedmann equation reduces to
H 2 ( a ) H 0 2 = Ω 0 1 − n a n − 3 + 3 Ξ Ω 0 ћ G 0 c 3 1 2 n − 3 a 2 n − 5 , = Ω 0 1 − n a n − 3 + 3 ζ Ω 0 2 n − 3 a 2 n − 5 .
For the dimensionless survey shown in Figure 1, the quantum correction is controlled by the combination ζ defined in Equation (49). We choose the reference value
ζ 0 = 122 15 π
as an illustrative normalization. This choice corresponds to fixing the reference scale so that ћ G 0 / ( c 3 R 0 2 ) = 1 . It should not be interpreted as a direct observational determination of R 0 or of the bounce scale.
Figure 1. Bounce-scale survey for the power-law running model G ( a ) = G 0 a n , shown for dust matter ( γ = 1 ), flat spatial geometry ( k = 0 ), and vanishing classical correction ( Υ cl = 0 ). The survey is expressed in terms of the dimensionless quantum-correction parameter ζ = ћ G 0 Ξ / c 3 . We use the illustrative normalization ζ 0 = 122 / ( 15 π ) , corresponding to ћ G 0 / ( c 3 R 0 2 ) = 1 . Panel (A) shows the true bounce scale a t as a function of the running exponent n. The shaded region indicates parameter values for which no true bounce occurs, even though a formal turning point may exist. The vertical line at n = 2 marks the degenerate case in which the relevant terms scale with the same power of a, and the marked point shows the representative value n = 3 , for which a t ≃ 0.193 . Panel (B) shows that the dependence on ζ is highly sensitive near the degenerate value n = 2 , but becomes much milder for larger n. Panel (C) displays the same information as a phase diagram in the ( n , ζ ) plane, with contours of constant bounce scale.
A turning point occurs when H 2 ( a t ) = 0 . From Equation (57), this gives
a t ( n , ζ ) = 2 n − 3 3 ζ ( n − 1 ) 1 / ( n − 2 ) , n ≠ 1 , 3 2 , 2 .
For the two-term dust model, Equation (59) implies
a t n − 2 = 2 n − 3 3 ζ ( n − 1 ) .
Consequently, the quantum expansion parameter evaluated at the turning point is
ϵ Q ( a t ) = ζ a t n − 2 = 2 n − 3 3 ( n − 1 ) .
For the representative choice n = 3 , one finds ϵ Q ( a t ) = 1 / 2 . The leading quantum term is therefore not parametrically small at the turning point. We accordingly interpret the bounce as a feature of the phenomenological truncated model, rather than as a quantitatively controlled prediction of low-energy effective field theory.
A root a t of H 2 ( a t ) = 0 can be of three types:
  • Type I (Bounce): H 2 ( a ) < 0 for a < a t (forbidden), H 2 ( a ) > 0 for a > a t (allowed). The universe contracts, stops, and re-expands.
  • Type II (Recollapse): H 2 ( a ) > 0 for a < a t , H 2 ( a ) < 0 for a > a t . The universe expands, stops, and contracts.
  • Type III (Degenerate): No sign change across a t .
Only Type I corresponds to a nonsingular bounce that replaces the classical singularity.
However, not every turning point is a true bounce. A bounce requires more than H 2 ( a t ) = 0 : the region a < a t must be classically forbidden, while the region a > a t must be classically allowed. In other words, the root must separate an inaccessible small-scale region from an expanding cosmological branch.
For 3 / 2 < n < 2 , the equation may possess a positive root, but the small-a region remains allowed. Such a solution is better interpreted as an upper turning point or recollapse scale, not as a singularity-avoiding bounce. By contrast, for n > 2 , the leading small-a behavior makes H 2 ( a ) < 0 near the origin, while the larger-a branch becomes allowed. Thus, in the parameter range emphasized here, the true bounce branch begins at n = 2 . The point n = 2 itself is degenerate because the two terms in Equation (57) scale with the same power of a, so there is no isolated turning point.
Figure 1 summarizes the structure of the bounce branch. Figure 1A shows that, for the reference value ζ 0 = 122 / ( 15 π ) , the true bounce scale grows from very small values just above n = 2 and approaches order unity as n becomes large. For example, at n = 3 ,
a t = 1 2 ζ 0 ≃ 0.193 .
Figure 1B shows that the dependence on ζ is highly sensitive near the degenerate value n = 2 , but becomes much milder for larger n. Figure 1C displays the same information as a phase diagram in the ( n , ζ ) plane.
The existence and location of the bounce are controlled primarily by the scaling exponent n. The dimensionless parameter ζ shifts the location of the bounce, but the qualitative transition between a true bounce and a non-bouncing solution is governed by the power-law behavior of the gravitational coupling itself.

2.9. Connection to the Wheeler–DeWitt Analysis

The effective Friedmann equation derived in this section provides the starting point for the minisuperspace quantization in Section 3. In the quantum theory, the same scale dependence of G ( a ) enters the Wheeler–DeWitt equation through the effective minisuperspace potential. Consequently, the classical turning-point structure and the quantum behavior of the wave function near a = 0 are governed by the same underlying running of the gravitational coupling.
Both descriptions inherit the same scale dependence from our effective model. At the classical level, the effective Friedmann-type equation determines whether a solution reaches a = 0 , encounters a turning point, or undergoes a nonsingular bounce. At the minisuperspace level, the Hamiltonian constraint constructed from that equation determines whether the Wheeler–DeWitt wave function is suppressed, regular, or oscillatory in the corresponding region. The second step is a quantization of the effective cosmological model; it does not derive the potential-inspired ћ term independently.

3. Minisuperspace Quantization and the Wheeler–DeWitt Equation

The Wheeler–DeWitt framework and its minisuperspace realization have a long history in quantum cosmology [3,14,35]. In this section, we quantize the scale-factor degree of freedom and derive a Wheeler–DeWitt-type equation associated with the modified Friedmann dynamics obtained in Section 2. We quantize an effective one-dimensional minisuperspace model whose Hamiltonian constraint is chosen so that its classical limit reproduces the modified Friedmann equation derived above. This construction is used as an effective quantum-cosmological model and is not intended as a fundamental or ultraviolet-complete quantization of the full gravitational field. This is sufficient for the present purpose, which is to determine how the running gravitational coupling modifies the quantum behavior of the scale factor.
The scale factor a ( t ) is taken to be dimensionless, with the physical radius written as R ( t ) = a ( t ) R 0 , where R 0 is a fixed reference length. Because a is dimensionless, the reduced minisuperspace action must retain the corresponding fiducial volume factor R 0 3 . This factor ensures that the reduced Lagrangian has dimensions of energy and that the canonical momentum conjugate to a has dimensions of action. The constants c, ћ, G 0 , and R 0 are therefore kept explicitly throughout the derivation. Dimensionless units are introduced only after the equations have been written in a dimensionally consistent form.

3.1. Reduced Minisuperspace Dynamics

We begin with the effective gravitational kinetic term. Since the scale factor a is dimensionless, the fiducial spatial-volume factor R 0 3 must be retained. The kinetic term of the Lagrangian can be written as
L kin ( a , a ˙ ) = − 3 π c 2 R 0 3 4 G ( a ) a a ˙ 2 .
The reduced Lagrangian is then
L ( a , a ˙ ) = L kin ( a , a ˙ ) − V ( a ) ,
where V ( a ) denotes the effective minisuperspace potential. In the present model, V ( a ) contains the matter contribution, the curvature term, the higher-order classical correction, and the quantum correction.
The canonical momentum conjugate to a is
p a ≡ ∂ L ∂ a ˙ = − 3 π c 2 R 0 3 2 G ( a ) a a ˙ ,
so that
a ˙ = − 2 G ( a ) 3 π c 2 R 0 3 p a a .
The corresponding Hamiltonian is
H = p a a ˙ − L = − G ( a ) 3 π c 2 R 0 3 a p a 2 + V ( a ) .
The classical dynamics are obtained from the Hamiltonian constraint
H = 0 .
Using Equation (65), the constraint implies
H 2 ( a ) ≡ a ˙ a 2 = 4 G ( a ) 3 π c 2 R 0 3 V ( a ) a 3 .
Rearranging,
V ( a ) = 3 π c 2 R 0 3 4 G ( a ) a 3 H 2 ( a ) .
Thus, the effective potential is not introduced independently; it is fixed by the modified Friedmann function H 2 ( a ) .
For the scale-dependent gravity model considered here,
H 2 ( a ) = 8 π 3 G * ( a ) ρ 0 a − 3 γ + Υ cl 32 π 2 9 c 2 G 1 * 2 ( a ) ρ 0 2 a 2 − 6 γ     − Ξ 8 π 3 ћ c 3 G 2 * 2 ( a ) ρ 0 a − ( 3 γ + 2 ) − k c 2 a 2 .
This is the same modified Friedmann equation derived in Section 2. The dimensional normalization of the reduced minisuperspace action does not alter the classical function H 2 ( a ) ; instead, it determines the dimensionally consistent coefficient with which H 2 ( a ) enters the effective Wheeler–DeWitt potential.

3.2. Factor Ordering and Wheeler–DeWitt Equation

Upon quantization, we promote
p a → − i ћ d d a .
Since a is dimensionless and the corrected momentum (65) has dimensions of action, the two sides of Equation (72) have the same dimensions.
Because the scale factor is a minisuperspace variable, the ordering of p a 2 is not unique. We adopt the standard one-parameter factor-ordering prescription
p a 2 ψ ( a ) ⟶ − ћ 2 d 2 ψ d a 2 + q a d ψ d a ,
where q is the factor-ordering parameter. This convention includes commonly used choices in minisuperspace quantum cosmology, while making explicit that different orderings can shift the subleading behavior of the wave function near a = 0 [3,14,35]. The parameter q represents the factor-ordering ambiguity of the reduced minisuperspace model. We retain it explicitly and examine representative choices below; no unique ordering prescription is assumed.
The Wheeler–DeWitt equation H ^ ψ = 0 is therefore
ћ 2 G ( a ) 3 π c 2 R 0 3 a d 2 ψ d a 2 + q a d ψ d a + V ( a ) ψ ( a ) = 0 .
Eliminating V ( a ) with Equation (70), we obtain the compact form
d 2 ψ d a 2 + q a d ψ d a + 9 π 2 c 4 R 0 6 4 ћ 2 G ( a ) 2 a 4 H 2 ( a ) ψ ( a ) = 0 .
This equation is the central quantum equation used in the remainder of the paper. It shows explicitly how the running gravitational coupling enters the Wheeler–DeWitt potential through both G ( a ) and the modified Friedmann function H 2 ( a ) .

3.3. Power-Law Running

We now specialize to the power-law running
G ( a ) = G 0 a n .
Using the starred couplings derived in Section 2,
G * ( a ) = G 0 1 − n a n , G 1 * 2 ( a ) = G 0 2 1 − n a 2 n , G 2 * 2 ( a ) = − 3 G 0 2 2 n − 3 a 2 n ,
valid for n ≠ 1 and n ≠ 3 / 2 , Equation (75) becomes
ψ ″ ( a ) + q a ψ ′ ( a ) + 9 π 2 c 4 R 0 6 4 ћ 2 G 0 2 a 4 − 2 n H 2 ( a ) ψ ( a ) = 0 .
The corresponding Friedmann function is
H 2 ( a ) = 8 π 3 G 0 1 − n ρ 0 a n − 3 γ + Υ cl 32 π 2 9 c 2 G 0 2 1 − n ρ 0 2 a 2 n + 2 − 6 γ   + Ξ 8 π ћ c 3 G 0 2 2 n − 3 ρ 0 a 2 n − ( 3 γ + 2 ) − k c 2 a 2 .
Substitution gives the expanded Wheeler–DeWitt equation
ψ ″ ( a ) + q a ψ ′ ( a ) + [ 6 π 3 c 4 R 0 6 ρ 0 ћ 2 ( 1 − n ) G 0 a 4 − n − 3 γ + Υ cl 8 π 4 c 2 R 0 6 ρ 0 2 ћ 2 ( 1 − n ) a 6 − 6 γ + Ξ 18 π 3 c R 0 6 ρ 0 ћ ( 2 n − 3 ) a 2 − 3 γ − 9 π 2 k c 6 R 0 6 4 ћ 2 G 0 2 a 2 − 2 n ] ψ ( a ) = 0 .
The running exponent n changes the powers of a appearing in the Wheeler–DeWitt potential. Thus, the small-scale behavior of the wave function is controlled by the matter equation of state, the factor ordering, and the scaling behavior of the gravitational coupling itself.

3.4. Representative Analytic and Numerical Solutions

We now examine representative solutions of Equation (80) where we wish to display the main types of behavior admitted by the model. We focus on flat models with
k = 0 , Υ cl = 0 ,
so that the competition between the ordinary matter term and the Ξ -induced quantum correction can be highlighted. Exact and semiclassical solutions of the Wheeler–DeWitt equation are known in special minisuperspace settings [15,35], and the present model provides additional tractable examples in which the effect of the running gravitational coupling can be seen explicitly.
For n = 2 , the ordinary matter contribution and the Ξ -dependent quantum correction in Equation (80) scale with the same power of a. The Wheeler–DeWitt equation then reduces to
ψ ″ ( a ) + q a ψ ′ ( a ) + λ eff a 2 − 3 γ ψ ( a ) = 0 ,
where
λ eff = − 6 π 3 c 4 R 0 6 ρ 0 ћ 2 G 0 + 18 π 3 Ξ c R 0 6 ρ 0 ћ .
For the representative choice
Ξ = ξ QG R 0 2 , ξ QG = 122 15 π ,
this becomes
λ eff = − 6 π 3 c 4 R 0 6 ρ 0 ћ 2 G 0 + 732 5 π 2 c R 0 4 ρ 0 ћ .
In the examples below, we take λ eff > 0 , so that the solutions are oscillatory at a sufficiently large scale factor. If λ eff < 0 , the corresponding solutions are expressed in terms of modified Bessel functions, and the oscillatory interpretation must be modified.

3.4.1. Dust-Era Bessel Solution Satisfying the DeWitt Condition

For a dust-dominated universe, γ = 1 , Equation (81) becomes
ψ ″ ( a ) + q a ψ ′ ( a ) + λ eff a − 1 ψ ( a ) = 0 .
The general solution is
ψ ( a ) = a ( 1 − q ) / 2 C 1 J 1 − q 2 λ eff a + C 2 Y 1 − q 2 λ eff a .
The Y 1 − q branch is singular at the origin and is discarded if regularity at a = 0 is required. The regular branch is therefore
ψ ( a ) = C a ( 1 − q ) / 2 J 1 − q 2 λ eff a .
Near the origin,
ψ ( a ) ∼ a 1 − q .
Thus, this branch satisfies the DeWitt boundary condition,
ψ ( 0 ) = 0 ,
whenever q < 1 . The DeWitt condition is commonly interpreted as suppression of the classical singular geometry in the quantum theory [3].
At large a, the Bessel asymptotics give
ψ ( a ) ∼ a ( 1 − 2 q ) / 4 cos 2 λ eff a − π 2 ( 1 − q ) − π 4 .
The envelope decays for 1 / 2 < q < 1 , is asymptotically constant for q = 1 / 2 , and grows for q < 1 / 2 .
An illustrative parameterization is
q = 3 4 ,
for which
ψ ( a ) = C a 1 / 8 J 1 / 4 2 λ eff a .
This solution vanishes at a = 0 , satisfies the DeWitt criterion, and exhibits damped oscillations at a large scale factor (see Figure 2). It therefore provides a simple analytic example of a state that is suppressed near the classical singularity and becomes semiclassical in the large-a regime.
Figure 2. Dust-case Wheeler–DeWitt wave function for n = 2 , γ = 1 , q = 3 4 , k = Υ cl = 0 , with ξ QG = 122 / ( 15 π ) and Ξ = ξ QG / R 0 2 . The exact solution ψ ( a ) ∝ a 1 / 8 J 1 / 4 ( 2 λ eff a ) vanishes at a = 0 , satisfying the DeWitt boundary condition, and exhibits damped oscillations for increasing scale factor.

3.4.2. Regular Dust-Era Solution Without DeWitt Suppression

The case q = 1 results in a useful comparison. Equation (86) becomes
ψ ( a ) = C 1 J 0 2 λ eff a + C 2 Y 0 2 λ eff a .
Since Y 0 ( x ) diverges logarithmically as x → 0 , regularity at the origin selects
ψ ( a ) = C J 0 2 λ eff a .
However,
J 0 ( 0 ) = 1 ,
so this solution (see Figure 3) is finite but nonzero at a = 0 . It therefore satisfies a regularity condition, but not the stronger DeWitt condition. A regular nonzero wave function at the origin is more naturally interpreted as a regular quantum origin than as strict DeWitt suppression of the singular geometry. This is closer in spirit to the Hartle–Hawking regularity viewpoint than to imposing ψ ( 0 ) = 0 as a boundary condition [4].
Figure 3. Dust-case Wheeler–DeWitt wave function for n = 2 , γ = 1 , q = 1 , k = Υ cl = 0 , with ξ QG = 122 / ( 15 π ) and Ξ = ξ QG / R 0 2 . The regular solution ψ ( a ) ∝ J 0 ( 2 λ eff a ) remains finite and nonzero at a = 0 . It therefore satisfies regularity at the origin, but not the DeWitt boundary condition.
For large a,
ψ ( a ) ∼ a − 1 / 4 cos 2 λ eff a − π 4 ,
so the solution is again oscillatory with a slowly decaying envelope. The factor-ordering parameter therefore controls whether the origin is regular or suppressed.

3.4.3. A Non-Bessel Airy Example

The model also admits exact analytic sectors that are not of Bessel type. For
n = 2 , γ = 1 3 , q = 0 , k = Υ cl = 0 ,
Equation (81) becomes
ψ ″ ( a ) + λ eff a ψ ( a ) = 0 .
Defining
x = − λ eff 1 / 3 a ,
this becomes the standard Airy equation,
d 2 ψ d x 2 − x ψ = 0 .
The general solution is
ψ ( a ) = C 1 Ai − λ eff 1 / 3 a + C 2 Bi − λ eff 1 / 3 a .
A DeWitt-compatible linear combination is obtained by imposing ψ ( 0 ) = 0 . Since
Ai ( 0 ) Bi ( 0 ) = 1 3 ,
one obtains
ψ ( a ) = C Ai − λ eff 1 / 3 a − 1 3 Bi − λ eff 1 / 3 a .
This solution (see Figure 4) vanishes at a = 0 by construction and becomes oscillatory for large positive a. Although γ = 1 / 3 corresponds to an exotic equation of state rather than ordinary dust or radiation, the example is revealing because it shows that the scale-dependent model supports exact non-Bessel wave-function sectors.
Figure 4. Airy-type Wheeler–DeWitt wave function for n = 2 , γ = 1 3 , q = 0 , k = Υ cl = 0 , with ξ QG = 122 / ( 15 π ) and Ξ = ξ QG / R 0 2 . The linear combination ψ ( a ) ∝ Ai ( − λ eff 1 / 3 a ) − Bi ( − λ eff 1 / 3 a ) / 3 is chosen so that ψ ( 0 ) = 0 , thereby satisfying the DeWitt condition.

3.4.4. Numerical Radiation-Era Example

As a radiation-era example, consider a radiation-dominated universe with
γ = 4 3 , n = − 1 , q = 0 , k = Υ cl = 0 , ξ QG = 122 15 π , Ξ = ξ QG R 0 2 .
In this case, Equation (80) has the schematic form
ψ ″ ( a ) + A a − B a 2 ψ ( a ) = 0 , A > 0 , B > 0 ,
after collecting constants. The inverse-square term dominates as a → 0 and produces a suppressed regular branch. At larger scale factors the positive linear term dominates, leading to an oscillatory regime. The numerical solution (see Figure 5) therefore transitions from suppression near a = 0 to oscillatory behavior at larger a.
Figure 5. Numerical Wheeler–DeWitt wave function for the radiation-dominated case γ = 4 3 , with n = − 1 , q = 0 , k = 0 , Υ cl = 0 , using ξ QG = 122 / ( 15 π ) and Ξ = ξ QG / R 0 2 . The regular branch is suppressed near a = 0 , satisfying the DeWitt condition, and becomes oscillatory at larger scale factors. The dashed vertical line marks the zero of the effective coefficient in Equation (104), separating the suppressed small-a region from the oscillatory large-a region.

3.5. Local Airy Form near a Turning Point

Before turning to the full WKB analysis, we examine the local behavior near a simple turning point. Removing the first-derivative term by writing
ψ ( a ) = a − q / 2 u ( a ) ,
the Wheeler–DeWitt equation takes the reduced form
u ″ ( a ) + U eff ( a ) u ( a ) = 0 .
Suppose that the effective potential has a simple turning point a = a t , so that
U eff ( a t ) = 0 , U eff ′ ( a t ) ≠ 0 .
Expanding linearly,
U eff ( a ) ≃ U eff ′ ( a t ) ( a − a t ) ,
Equation (106) reduces to Airy’s equation. The local solution may be written as
u ( a ) = c 1 Ai a t − a s + c 2 Bi a t − a s , s = U eff ′ ( a t ) − 1 / 3 ,
up to the sign convention associated with U eff ′ ( a t ) . Selecting the Ai branch gives exponential suppression on the forbidden side of the turning point and oscillatory behavior on the allowed side (see Figure 6). This is the standard local structure underlying WKB matching in quantum cosmology [4,5].
Figure 6. Illustrative Airy-type semiclassical Wheeler–DeWitt wave function near a single turning point a t . The local form ψ ( a ) = a − q / 2 Ai ( ( a t − a ) / s ) , shown here for q = 1 , is exponentially suppressed on the forbidden side of the turning point and oscillatory on the allowed side. This figure illustrates the universal Airy matching behavior that appears near a simple Wheeler–DeWitt turning point. The vertical dashed line indicates the turning point.

3.6. Summary of the Wheeler–DeWitt Sectors

The examples above show that the scale-dependent model admits several distinct quantum behaviors. The dust solution with q = 3 4 is revealing: it is analytic, physically transparent, satisfies the DeWitt condition, and has a damped oscillatory large-a limit. The q = 1 dust solution shows that regularity at a = 0 is not the same as DeWitt suppression. The Airy example illustrates that the model is not restricted to Bessel-type sectors, while the radiation-era numerical solution provides a more familiar matter source in which the small-a region is suppressed and the large-a regime becomes oscillatory.
These results prepare us for the WKB analysis in Section 4. There, the same effective potential structure will be used to identify forbidden and allowed regions, turning points, and the branch interpretation of the minisuperspace wave function.

4. WKB Dynamics, Turning Points, and Probability Current

The exact solutions discussed in Section 3 show explicitly that the scale-dependent model admits wave functions that are either suppressed at the classical singularity or regular at the origin. We now turn to the WKB regime, where the connection between the Wheeler–DeWitt wave function and classical cosmological dynamics becomes explicit. The purpose of this section is to show how a forbidden small-a region, a turning point, and an oscillatory large-a branch arise in a representative case, and how the probability current distinguishes expanding and contracting semiclassical sectors.
We consider the flat dust-dominated model
γ = 1 , n = 3 , q = 1 , k = 0 , Υ cl = 0 ,
with the one-loop quantum-correction coefficient specified by
ξ QG = 122 15 π , Ξ = ξ QG R 0 2 .
This example is instructive because it reduces the Wheeler–DeWitt equation to a single-turning-point problem while retaining the effect of the running gravitational coupling. The resulting WKB structure is the familiar one: exponential behavior in a forbidden region, Airy matching near the turning point, and oscillatory behavior in the allowed region [4,5,36].

4.1. Reduced Wheeler–DeWitt Equation for a Chosen Model

We begin with the power-law Wheeler–DeWitt equation derived in Section 3,
ψ ″ ( a ) + q a ψ ′ ( a ) + 9 π 2 c 4 R 0 6 4 ћ 2 G 0 2 a 4 − 2 n H 2 ( a ) ψ ( a ) = 0 .
For q = 1 and n = 3 , this becomes
ψ ″ ( a ) + 1 a ψ ′ ( a ) + 9 π 2 c 4 R 0 6 4 ћ 2 G 0 2 a − 2 H 2 ( a ) ψ ( a ) = 0 .
For dust matter, γ = 1 , with k = 0 and Υ cl = 0 , the modified Friedmann function reduces to
H 2 ( a ) = 8 π 3 G 0 1 − 3 ρ 0 a 3 − 3 + Ξ 8 π ћ c 3 G 0 2 2 · 3 − 3 ρ 0 a 6 − ( 3 + 2 ) .
Hence,
H 2 ( a ) = − 4 π 3 G 0 ρ 0 + Ξ 8 π ћ 3 c 3 G 0 2 ρ 0 a .
Using
Ξ = ξ QG R 0 2 , ξ QG = 122 15 π ,
Equation (115) becomes
H 2 ( a ) = − 4 π 3 G 0 ρ 0 + 976 45 ћ G 0 2 ρ 0 c 3 R 0 2 a .
Substituting Equation (115) into Equation (113) gives
ψ ″ ( a ) + 1 a ψ ′ ( a ) + β a − μ a 2 ψ ( a ) = 0 ,
where
μ = 3 π 3 c 4 R 0 6 ρ 0 ћ 2 G 0 , β = 6 π 3 Ξ c R 0 6 ρ 0 ћ .
Using
Ξ = ξ QG R 0 2 , ξ QG = 122 15 π ,
the coefficient becomes
β = 6 π 3 ξ QG c R 0 4 ρ 0 ћ = 244 5 π 2 c R 0 4 ρ 0 ћ .
To remove the first-derivative term, we define
ψ ( a ) = a − 1 / 2 ϕ ( a ) .
Then, Equation (117) becomes
ϕ ″ ( a ) + Q ( a ) ϕ ( a ) = 0 ,
with
Q ( a ) = β a − α a 2 , α = μ − 1 4 = 3 π 3 c 4 R 0 6 ρ 0 ћ 2 G 0 − 1 4 .
Equivalently,
Q ( a ) = β a − α a 2 .

4.2. Turning Point and WKB Regions

The turning point is determined by
Q ( a t ) = 0 .
For α > 0 and β > 0 , this gives the single positive turning point
a t = α β .
The sign of Q ( a ) then separates minisuperspace into two regions:
Q ( a ) < 0 , 0 < a < a t ,
and
Q ( a ) > 0 , a > a t .
Thus, the small-a region is WKB-forbidden, while the large-a region is WKB-allowed. This yields a forbidden small-a region and an allowed oscillatory large-a region.
For the dimensionless illustration below, we scale all quantities by fixed reference values and denote the resulting dimensionless coefficients by α ^ and β ^ . The numerical example is chosen so that
α ^ ≃ 92.769 , β ^ ≃ 481.637 , a t = α ^ β ^ ≃ 0.193 .
These values specify an illustrative dimensionless model and should not be interpreted as a direct substitution of measured cosmological quantities in Planck units.

4.3. Forbidden-Region and Allowed-Region Solutions

In the forbidden region 0 < a < a t , define
κ ( a ) = | Q ( a ) | = α − β a a .
The WKB solution for ϕ ( a ) is
ϕ forb ( a ) ≈ | Q ( a ) | − 1 / 4 A e − I ( a ) + B e + I ( a ) ,
where
I ( a ) = ∫ a a t κ ( a ′ ) d a ′ .
Since ψ ( a ) = a − 1 / 2 ϕ ( a ) , the corresponding WKB form for the original wave function is
ψ forb ( a ) ≈ ( α − β a ) − 1 / 4 A e − I ( a ) + B e + I ( a ) .
The branch proportional to e − I ( a ) is suppressed as a → 0 . Selecting this branch gives a wave function that is exponentially small in the classically forbidden small-a region.
In the allowed region a > a t , define
p ( a ) = Q ( a ) = β a − α a .
The WKB solution for ϕ ( a ) is
ϕ all ( a ) ≈ Q ( a ) − 1 / 4 C e i Θ ( a ) + D e − i Θ ( a ) ,
where
Θ ( a ) = ∫ a t a p ( a ′ ) d a ′ .
Thus, the original wave function is
ψ all ( a ) ≈ ( β a − α ) − 1 / 4 C e i Θ ( a ) + D e − i Θ ( a ) .

4.4. Airy Matching near the Turning Point

The connection between the forbidden and allowed WKB regions is obtained by matching to the local Airy solution near a = a t . Expanding Q ( a ) about the turning point gives
Q ( a ) ≃ Q ′ ( a t ) ( a − a t ) ,
where, using Q ( a ) = β / a − α / a 2 ,
Q ′ ( a t ) = β 3 α 2 > 0 .
Defining the local Airy scale
s = Q ′ ( a t ) − 1 / 3 = α 2 β 3 1 / 3 ,
the reduced equation takes the standard Airy form near the turning point. The usual connection formula (see, e.g., [36,37]) gives the real matched solution in the allowed region as
ψ all ( a ) ≈ ( β a − α ) − 1 / 4 cos Θ ( a ) − π 4 .
The − π / 4 phase shift is the standard result for matching a decaying exponential on the forbidden side to an oscillatory solution on the allowed side.
This standing-wave form is the standard WKB continuation of a real decaying solution in the forbidden region. A purely outgoing or purely incoming branch may instead be selected by imposing an additional boundary condition in the allowed region.

4.5. Closed-Form WKB Actions and Asymptotic Behavior

For this case, the WKB actions can be evaluated analytically. In the forbidden region,
I ( a ) = 2 α artanh 1 − a a t − 1 − a a t .
This expression vanishes at the turning point and diverges logarithmically as a → 0 . Consequently, the decaying branch in Equation (132) is strongly suppressed near the classical singularity. In fact,
ψ ( a ) ∼ a α , a → 0 ,
up to an overall constant.
In the allowed region,
Θ ( a ) = 2 α a a t − 1 − arctan a a t − 1 .
For large a,
Q ( a ) ∼ β a ,
and the phase behaves as
Θ ( a ) ∼ 2 β a − π α , a → ∞ .
Therefore, the large-a wave function has the asymptotic form
ψ ( a ) ∼ ( β a ) − 1 / 4 cos 2 β a − π α − π 4 , a → ∞ .
The large-scale wave function is therefore oscillatory with a slowly decaying envelope (see Figure 7). This is the usual WKB signature of a semiclassical regime.
Figure 7. WKB wave function for the example case γ = 1 , n = 3 , q = 1 , Υ cl = 0 , and k = 0 , using the dimensionless coefficients α ^ and β ^ specified in Equation (128). The dashed vertical line marks the turning point a t ≃ 0.193 , which separates the small-a WKB-forbidden region from the large-a WKB-allowed region. For a < a t , the wave function is exponentially suppressed, while for a > a t , it becomes oscillatory with a slowly decaying envelope.
The result is a WKB realization of the usual tunneling-type structure: a suppressed small-a region, a turning point, and an oscillatory large-a semiclassical branch. In the present model, this structure is generated by the scale dependence of the gravitational coupling and the associated quantum-correction Ξ -dependent term.

4.6. Probability Current and Branch Interpretation

The WKB wave function becomes physically clearer when supplemented by the minisuperspace probability current. For the factor-ordered Wheeler–DeWitt equation
ψ ″ ( a ) + q a ψ ′ ( a ) + Ω ( a ) ψ ( a ) = 0 ,
with real Ω ( a ) , the conserved current is
J q ( a ) = 1 2 i a q ψ * ψ ′ − ψ ψ * ′ .
For the present model q = 1 , this becomes
J ( a ) = 1 2 i a ψ * ψ ′ − ψ ψ * ′ .
In the allowed region a > a t , the outgoing and incoming WKB branches are
ψ out ( a ) ≈ ( β a − α ) − 1 / 4 e i Θ ( a ) , ψ in ( a ) ≈ ( β a − α ) − 1 / 4 e − i Θ ( a ) .
With the WKB branches normalized to unit minisuperspace flux, one obtains
J out = + 1 , J in = − 1 .
For an arbitrary overall wave-function normalization, the currents are multiplied by the corresponding squared amplitude. Thus, the outgoing branch carries positive flux, while the incoming branch carries negative flux. In this sense, the sign of the conserved current distinguishes expanding and contracting semiclassical branches [5].
By contrast, the real standing-wave combination
ψ stand ( a ) ≈ 2 ( β a − α ) − 1 / 4 cos Θ ( a ) − π 4
has
J stand = 0 .
Similarly, a purely real decaying solution in the forbidden region carries no current. A nonzero conserved flux therefore appears only after selecting a complex traveling-wave branch in the WKB-allowed region. This is why the current is an invaluable diagnostic: oscillatory behavior alone does not specify a direction of semiclassical evolution, while the current does.
For the illustrative choice of values in Equation (128), one finds numerically that the current is constant across the allowed region:
⟨ J out ⟩ = 1 , ⟨ J in ⟩ = − 1 , ⟨ J stand ⟩ = 0 .
This confirms the branch interpretation of the WKB solutions.

4.7. Hamilton–Jacobi Limit and Classical Recovery

The WKB phase also explains how the classical modified Friedmann dynamics are recovered. Starting from the compact Wheeler–DeWitt equation,
ψ ″ ( a ) + q a ψ ′ ( a ) + 9 π 2 c 4 R 0 6 4 ћ 2 G ( a ) 2 a 4 H 2 ( a ) ψ ( a ) = 0 ,
we use the WKB ansatz
ψ ( a ) = A ( a ) exp i ћ S ( a ) .
At leading order in the WKB expansion, the phase satisfies
d S d a 2 = 9 π 2 c 4 R 0 6 4 G ( a ) 2 a 4 H 2 ( a ) .
Identifying
p a = d S d a
and using the minisuperspace momentum
p a = − 3 π c 2 R 0 3 2 G ( a ) a a ˙ ,
one immediately obtains
d S d a 2 = 9 π 2 c 4 R 0 6 4 G ( a ) 2 a 2 a ˙ 2 = 9 π 2 c 4 R 0 6 4 G ( a ) 2 a 4 H 2 ( a ) .
Thus, the WKB Hamilton–Jacobi equation is exactly the classical modified Friedmann dynamics written in canonical form. The phase of the Wheeler–DeWitt wave function therefore encodes the classical cosmological trajectory [14,17].
The factor-ordering term affects the transport equation for the WKB amplitude, but not the leading Hamilton–Jacobi relation. The Ξ -dependent term should be interpreted separately from the minisuperspace quantization: it is inherited from the potential-inspired effective Friedmann-type equation constructed in Section 2. The WKB expansion is therefore a semiclassical expansion of an effective minisuperspace model containing an explicit ћ-dependent phenomenological term. It does not provide an independent derivation of that term.
The physical picture is then consistent across the classical and quantum descriptions. The roots of H 2 ( a ) determine the classical turning points. The same roots enter the Wheeler–DeWitt potential and determine where the WKB wave function changes from exponential to oscillatory behavior. In the oscillatory regime, the probability current separates expanding and contracting branches. In this way, the WKB analysis connects the modified Friedmann dynamics, the minisuperspace wave function, and the emergence of semiclassical cosmological evolution.

5. Wheeler–DeWitt Equation with a Scalar-Field Clock

The Wheeler–DeWitt equation derived above is a constraint equation, so it does not contain an external time variable. To give the quantum theory a relational interpretation, we enlarge the minisuperspace from the single variable a to ( a , ϕ ) , where ϕ is a homogeneous free scalar field. Since the scalar-field momentum is conserved, ϕ can be used as an internal clock on any classical branch for which p ϕ ≠ 0 [17,38]. This restriction becomes explicit in the exact relational trajectory (Equation (181)) and in its test-field reduction (Equation (183)) below.
We begin with the gravitational kinetic term used in the minisuperspace construction,
L g , kin = − 3 π c 2 R 0 3 4 G ( a ) a a ˙ 2 N ,
where the lapse function N ( t ) has been restored. For a homogeneous free scalar field, V ( ϕ ) = 0 , the corresponding kinetic term is
L ϕ , kin = π 2 R 0 3 a 3 N ϕ ˙ 2 .
The canonical momenta are therefore
p a = − 3 π c 2 R 0 3 2 G ( a ) a a ˙ N , p ϕ = 2 π 2 R 0 3 a 3 N ϕ ˙ .
Solving for the velocities and performing the Legendre transform gives the kinetic part of the Hamiltonian constraint,
H kin = − G ( a ) 3 π c 2 R 0 3 a p a 2 + 1 4 π 2 R 0 3 a 3 p ϕ 2 .
The modified Friedmann equation can be written in the compact form
H 2 ( a ) = F ( a ) , H = a ˙ a ,
where F ( a ) denotes the full right-hand side of the scale-dependent modified Friedmann equation. The Hamiltonian constraint consistent with this classical limit is
H = − G ( a ) 3 π c 2 R 0 3 a p a 2 + 1 4 π 2 R 0 3 a 3 p ϕ 2 + 3 π c 2 R 0 3 4 G ( a ) a 3 F ( a ) = 0 .
Hence, if p ϕ = 0 and N = 1 , then p a = − ( ( 3 π c 2 R 0 3 ) / 2 G ) a a ˙ , and Equation (165) reduces to a ˙ 2 = a 2 F ( a ) , as required.
Upon quantization, we take
p a → − i ћ ∂ a , p ϕ → − i ћ ∂ ϕ ,
and use the same factor ordering as above,
p a 2 → − ћ 2 ∂ a 2 + q a ∂ a .
The Wheeler–DeWitt equation in the two-dimensional minisuperspace is then
G ( a ) ћ 2 3 π c 2 R 0 3 a ∂ a 2 + q a ∂ a − ћ 2 4 π 2 R 0 3 a 3 ∂ ϕ 2 + 3 π c 2 R 0 3 4 G ( a ) a 3 F ( a ) Ψ ( a , ϕ ) = 0 .
Multiplying by 3 π c 2 R 0 3 a / [ G ( a ) ћ 2 ] , we obtain the more convenient form
∂ a 2 + q a ∂ a − 3 c 2 4 π G ( a ) a 2 ∂ ϕ 2 + 9 π 2 c 4 R 0 6 4 ћ 2 G ( a ) 2 a 4 F ( a ) Ψ ( a , ϕ ) = 0 .
This equation shows the structural change caused by the scalar clock: the scalar-field kinetic term enters with a coefficient proportional to [ G ( a ) a 2 ] − 1 . Thus, the same running gravitational coupling that modifies F ( a ) also modifies the clock term itself.
For the power-law model
G ( a ) = G 0 a n ,
the scalar-clock contribution scales as
− 3 c 2 4 π G ( a ) a 2 ∂ ϕ 2 = − 3 c 2 4 π G 0 a − ( n + 2 ) ∂ ϕ 2 .
Hence, the standard inverse-square clock term is recovered only when n = 0 . For n > 0 , the scalar-clock term becomes more singular as a → 0 , while for n < 0 , it is softened.
We now separate variables by writing
Ψ ( a , ϕ ) = e i ω ϕ χ ω ( a ) ,
where ω is the conserved scalar-field frequency. Since ∂ ϕ 2 Ψ = − ω 2 Ψ , Equation (169) becomes
χ ω ″ ( a ) + q a χ ω ′ ( a ) + 3 c 2 ω 2 4 π G ( a ) a 2 + 9 π 2 c 4 R 0 6 4 ћ 2 G ( a ) 2 a 4 F ( a ) χ ω ( a ) = 0 .
For G ( a ) = G 0 a n , this is
χ ω ″ ( a ) + q a χ ω ′ ( a ) + 3 c 2 ω 2 4 π G 0 a − ( n + 2 ) + 9 π 2 c 4 R 0 6 4 ћ 2 G 0 2 a 4 − 2 n F ( a ) χ ω ( a ) = 0 .
Using the normalized-density Friedmann function,
F ( a ) = Ω 0 H 0 2 G 0 G * ( a ) a − 3 γ + Υ cl Ω 0 2 H 0 4 2 G 0 2 c 2 G 1 * 2 ( a ) a 2 − 6 γ         − Ξ Ω 0 H 0 2 G 0 ћ c 3 G 2 * 2 ( a ) a − ( 3 γ + 2 ) − k c 2 a 2 ,
and the power-law effective couplings
G * ( a ) = G 0 1 − n a n , G 1 * 2 ( a ) = G 0 2 1 − n a 2 n , G 2 * 2 ( a ) = − 3 G 0 2 2 n − 3 a 2 n ,
with n ≠ 1 and n ≠ 3 / 2 , Equation (174) may be written as
χ ω ″ ( a ) + q a χ ω ′ ( a ) + [ 3 c 2 ω 2 4 π G 0 a − ( n + 2 ) + A a 4 − n − 3 γ + B a 6 − 6 γ + C a 2 − 3 γ − D a 2 − 2 n ] χ ω ( a ) = 0 ,
where
A = 9 π 2 c 4 R 0 6 4 ћ 2 G 0 2 Ω 0 H 0 2 1 − n , B = Υ cl 9 π 2 c 2 R 0 6 8 ћ 2 G 0 2 Ω 0 2 H 0 4 1 − n , C = Ξ 27 π 2 c R 0 6 4 ћ G 0 Ω 0 H 0 2 2 n − 3 , D = 9 π 2 k c 6 R 0 6 4 ћ 2 G 0 2 .
The coefficient D carries the sign of k. Thus, the curvature term should not be interpreted as positive-definite unless the curvature choice has already been fixed.
It is advantageous to remove the first-derivative term by defining
χ ω ( a ) = a − q / 2 u ω ( a ) .
The mode equation becomes
u ω ″ ( a ) + V eff ( a ; ω ) u ω ( a ) = 0 ,
with
V eff ( a ; ω ) = 3 c 2 ω 2 4 π G 0 a − ( n + 2 ) + A a 4 − n − 3 γ + B a 6 − 6 γ   + C a 2 − 3 γ − D a 2 − 2 n − q ( q − 2 ) 4 a 2 .
This is the scalar-clock version of the Schrödinger-like Wheeler–DeWitt equation. Note that the new term’s scaling, a − ( n + 2 ) , is controlled by the same exponent n as the gravitational term. The clock is therefore not an external add-on to the model; it is tied to the scale-dependent gravitational dynamics.
The relational interpretation can also be seen at the classical level. For a free scalar field,
ϕ ˙ = N 2 π 2 R 0 3 a 3 p ϕ ,
and on a classical branch with N = 1 , Equation (165) gives
a ˙ 2 = a 2 F ( a ) + G ( a ) p ϕ 2 3 π 3 c 2 R 0 6 a 4 ,
which reduces to a ˙ 2 = a 2 F ( a ) in the p ϕ = 0 sector, as shown above. Dividing by ϕ ˙ 2 from Equation (179) gives the exact relational trajectory,
d a d ϕ 2 = 4 π 4 R 0 6 a 8 p ϕ 2 F ( a ) + 4 π G ( a ) a 2 3 c 2 .
The second term is the backreaction of the clock field’s own kinetic energy on the geometry, and it does not vanish on the branch p ϕ ≠ 0 used to define the clock. Retaining it is necessary in general: dropping it while still requiring p ϕ ≠ 0 for ϕ to serve as a clock would be inconsistent.
Motivated by the test-field philosophy of Piazza and Vareilles [39], who introduce proper time as an additional minisuperspace degree of freedom and restrict attention to solutions in which it has negligible backreaction on the metric, we work in the regime where the second term of Equation (181) is small compared with the magnitude of the first:
ε ( a , p ϕ ) ≡ G ( a ) p ϕ 2 3 π 3 c 2 R 0 6 a 6 F ( a ) ≪ 1 .
This is the same ratio that controls Equation (180) itself, so a single condition governs both the gravitational and the relational equations of motion. Under Equation (182), Equation (181) reduces at leading order to
d a d ϕ 2 ≃ 4 π 4 R 0 6 a 8 p ϕ 2 F ( a ) ,
which is the relation used in the remainder of this section. This relation is, in addition, defined only on the branch p ϕ ≠ 0 , for which ϕ is monotonic in t and can serve as a relational time variable, as noted in the opening paragraph of this section; on the p ϕ = 0 sector, ϕ does not evolve and cannot parametrize a trajectory a ( ϕ ) at all.
A structural feature of Equation (182) is that ε ( a , p ϕ ) → ∞ as a → a t , where a t is defined by F ( a t ) = 0 , for any fixed p ϕ ≠ 0 . The test-field approximation therefore breaks down in a neighborhood of the leading-order turning point, no matter how small the nonzero clock momentum is chosen. The root of F ( a ) = 0 is consequently the turning point of the leading-order test-field trajectory (Equation (183)), but not generally of the exact backreacting dynamics (Equation (181)). Determining the exact turning point in the presence of clock backreaction would require retaining the second term in Equation (181), which we do not attempt here.
This breakdown is consistent with the broadening of the wave packet near a t , shown in Figure 8: both the leading-order classical trajectory and the test-field approximation used to derive it cease to provide a controlled description in that region. Ref. [39] provides a more complete test-field treatment in which evolution through the bounce region is analyzed explicitly. We make no corresponding claim about the exact trajectory at or beyond a t ; the present construction is restricted to the regime (Equation (182)) away from the turning point.
Figure 8. Quantum-to-classical correspondence in scalar-field time for the case n = 3 , γ = 1 , q = 1 , Υ cl = 0 , and k = 0 , with ξ QG = 122 / ( 15 π ) and Ξ = ξ QG / R 0 2 . The dashed curve shows the leading-order (test-field) classical relational trajectory a cl ( ϕ ) obtained from Equation (183), valid subject to the condition in Equation (182). The solid curve shows the expectation value ⟨ a ⟩ ( ϕ ) , and the shaded band represents the quantum spread Δ a ( ϕ ) . The horizontal dotted line marks the turning point a t of this leading-order trajectory, defined by F ( a t ) = 0 ; as discussed in Section 5, the test-field approximation itself breaks down near a t , consistent with the broadening of the quantum spread shown here. The hatched region denotes the classically forbidden sector. The figure illustrates that the state is broad near the turning point but becomes sharply peaked around the classical trajectory at larger scale factors.

5.1. Wave Packets and Classical Recovery

The separated functions χ ω ( a ) are mode functions. A semiclassical cosmological state should instead be built as a superposition of modes,
Ψ ( a , ϕ ) = ∫ d ω A ( ω ) e i ω ϕ χ ω ( a ) ,
where A ( ω ) is sharply peaked around ω 0 . The Gaussian packet used below is not a new exact solution of the Wheeler–DeWitt equation, and it does not replace the Bessel, Airy, or WKB solutions discussed earlier. It is a narrow-packet approximation to a superposition of the Wheeler–DeWitt modes, used to describe how a localized state follows a classical trajectory in scalar-field time.
In the oscillatory regime, each mode may be written in WKB form as
χ ω ( a ) ≃ A ( a , ω ) e i S ( a , ω ) .
The phase of the wave packet is then ω ϕ + S ( a , ω ) . A stationary phase gives
∂ ∂ ω ω ϕ + S ( a , ω ) ω = ω 0 = 0 ,
or
ϕ = − ∂ S ( a , ω ) ∂ ω ω = ω 0 .
This relation defines the trajectory followed by the peak of the wave packet. In the large-a semiclassical regime, and for modes satisfying the negligible-backreaction condition in Equation (182), that trajectory agrees with the leading-order classical relational solution determined by Equation (183).
For the illustrative packet diagnostics below, we adopt the factor-ordering measure on a constant- ϕ slice,
d μ ( a ) = a q d a .
Therefore, expectation values are defined by
⟨ f ( a ) ⟩ ( ϕ ) = ∫ 0 ∞ d a a q f ( a ) | Ψ ( a , ϕ ) | 2 ∫ 0 ∞ d a a q | Ψ ( a , ϕ ) | 2 .
In particular,
⟨ a ⟩ ( ϕ ) = ∫ 0 ∞ d a a q + 1 | Ψ ( a , ϕ ) | 2 ∫ 0 ∞ d a a q | Ψ ( a , ϕ ) | 2 , ( Δ a ) 2 ( ϕ ) = ⟨ a 2 ⟩ − ⟨ a ⟩ 2 .
A state is semiclassical when
Δ a ⟨ a ⟩ ≪ 1 .
To see the classical limit explicitly, suppose the probability density is localized around the stationary-phase trajectory a ¯ ( ϕ ) , with a ¯ ( ϕ ) = a cl ( ϕ ) , and is well approximated near its peak by
| Ψ ( a , ϕ ) | 2 ≃ N 2 ( ϕ ) exp − ( a − a ¯ ( ϕ ) ) 2 2 σ a 2 ( ϕ ) , σ a ( ϕ ) ≪ a ¯ ( ϕ ) .
Since the packet is assumed to be localized away from a = 0 , the lower limit of the Gaussian integral may be extended to − ∞ at leading order. With a = a ¯ + x , expansion of the measure gives
a q = a ¯ q 1 + q x a ¯ + q ( q − 1 ) 2 x 2 a ¯ 2 + ⋯ .
Using the standard Gaussian moments, one obtains
⟨ a ⟩ ( ϕ ) = a ¯ ( ϕ ) 1 + q σ a 2 ( ϕ ) a ¯ 2 ( ϕ ) + O σ a 4 a ¯ 4 ,
and
( Δ a ) 2 ( ϕ ) = σ a 2 ( ϕ ) + O σ a 4 a ¯ 2 .
Thus, to leading order,
⟨ a ⟩ ( ϕ ) ≃ a cl ( ϕ ) , Δ a ⟨ a ⟩ ≃ σ a a ¯ .
For the representative choice q = 1 , this reduces to
⟨ a ⟩ ≃ a ¯ + σ a 2 a ¯ , ( Δ a ) 2 ≃ σ a 2 .
The measure-induced shift of the packet center is therefore negligible whenever σ a / a ¯ ≪ 1 . Classical recovery fails near a turning point or near the small-a region, where the packet broadens and the quantum terms are no longer small.

5.2. Hamilton–Jacobi Limit and Probability Current

The same result follows from the Hamilton–Jacobi form of the Wheeler–DeWitt equation. Write
Ψ ( a , ϕ ) = R ( a , ϕ ) e i S ( a , ϕ ) / ћ .
Substitution into Equation (169) and taking the real part gives
− ( ∂ a S ) 2 + 3 c 2 4 π G ( a ) a 2 ( ∂ ϕ S ) 2 + 9 π 2 c 4 R 0 6 4 G ( a ) 2 a 4 F ( a ) + Q ћ ( a , ϕ ) = 0 ,
where
Q ћ = ћ 2 R ∂ a 2 R + q a ∂ a R − 3 c 2 4 π G ( a ) a 2 ∂ ϕ 2 R .
When Q ћ is negligible, Equation (199) reduces to the classical Hamilton–Jacobi equation associated with Equation (165). This is the precise sense in which the modified Friedmann dynamics are recovered from the Wheeler–DeWitt phase in the large-scale, oscillatory regime. The resulting Hamilton–Jacobi equation corresponds to the full backreacting scalar–gravity system and therefore reproduces the exact relational equation (181). The reduced trajectory (183) follows only after the additional test-field condition (182) is imposed.
The two-variable Wheeler–DeWitt equation also admits a conserved minisuperspace current. Multiplying Equation (169) by a q and using the fact that the coefficients are real gives
∂ a J a + ∂ ϕ J ϕ = 0 ,
with
J a = a q 2 i Ψ * ∂ a Ψ − Ψ ∂ a Ψ *
and
J ϕ = − 3 c 2 a q 8 π G ( a ) a 2 i Ψ * ∂ ϕ Ψ − Ψ ∂ ϕ Ψ * .
This generalizes the one-dimensional current used in Section 4. In the WKB regime, the sign of J a separates outgoing and incoming branches, while J ϕ describes the flow with respect to the scalar-field clock [5].

5.3. Interpretation of the Scalar-Clock Figure

Figure 8 summarizes the scalar-clock interpretation. The dashed curve is the leading-order test-field relational trajectory obtained from Equation (183), using the same modified Friedmann function F ( a ) that enters the Wheeler–DeWitt equation. The solid curve and shaded band show the expectation value and spread of a narrow quantum packet. Near the turning point, the packet is broad and the classical trajectory is not a good description of the state. At larger scale factors, the packet narrows relative to its mean value, and ⟨ a ⟩ ( ϕ ) follows a cl ( ϕ ) . This illustrates the expected semiclassical localization within the narrow-packet approximation.
The scalar field does not create a new Friedmann model; rather, it provides the Wheeler–DeWitt wave function with a relational time variable. In the leading-order test-field description, a finite root of F ( a ) appears in both the approximate classical relational trajectory and the quantum mode structure. The exact backreacting dynamics of Equation (181), however, need not possess a turning point at the same value of a.
In the large-a oscillatory regime, subject to Equation (182), the WKB phase, conserved current, and expectation value of a narrow packet give the same semiclassical picture: the quantum state becomes peaked around the leading-order modified Friedmann trajectory. Near the turning-point and small-a regions, the packet broadens, the test-field approximation ceases to be controlled, and the quantum terms can no longer be neglected. The classical description is therefore inadequate in that regime.

6. Discussion

Allowing the gravitational coupling to depend on the scale factor modifies the first integral of the Newtonian equation of motion through the effective couplings G * ( a ) , G 1 * 2 ( a ) , and G 2 * 2 ( a ) . Because these terms scale differently with a, the running reorganizes the small-scale structure of the modified Friedmann equation rather than simply rescaling Newton’s constant.
For the power-law ansatz G ( a ) = G 0 a n , this reorganization is controlled entirely by the exponent n. In the dust, flat, Υ cl = 0 case, the matter and quantum-correction terms scale as a n − 3 and a 2 n − 5 , respectively. These exponents coincide at n = 2 , where the two terms lock onto the same power of a and no isolated turning point can exist. For n > 2 , the matter term is the more singular contribution near a = 0 and carries a negative coefficient, so H 2 ( a ) < 0 there, while the quantum-correction term restores H 2 > 0 at larger a. The root separating these regions is a genuine bounce. For 3 / 2 < n < 2 , the quantum term dominates but its coefficient is positive, so the small-a region remains classically allowed; any root in this window is a recollapse scale, not a bounce. The boundary n = 3 / 2 marks the sign change of the quantum-correction coefficient.
A zero of H 2 ( a ) is therefore not sufficient for singularity avoidance. A true bounce requires the additional sign condition: H 2 < 0 below the root and H 2 > 0 above it. Without this check, a formal turning point may be misidentified. Every root in the parameter survey of Section 2.8 is classified on this basis.
The Wheeler–DeWitt analysis provides the corresponding minisuperspace description of this effective model. The running of G ( a ) enters the minisuperspace potential explicitly, and the resulting wave functions reflect the sign structure of the modified Friedmann equation. For the dust case with n = 2 , the equation reduces to a Bessel problem. With the ordering q = 3 / 4 , the regular solution satisfies the DeWitt condition ψ ( 0 ) = 0 ; with q = 1 , it is proportional to J 0 and remains finite but nonzero at the origin. DeWitt suppression and regular finite behavior at a = 0 are physically distinct. The factor-ordering parameter controls which case applies, while the scale-dependent potential determines the structure of the Wheeler–DeWitt equation itself.
The Airy and radiation-era examples extend this picture beyond Bessel sectors. Their significance is not that they add new qualitative behavior but that they confirm the same three possibilities—DeWitt suppression, regularity, oscillatory large-a behavior—within different matter and running-exponent combinations, all from the same potential structure.
The WKB analysis sharpens the semiclassical reading. For the values of γ = 1 , n = 3 , q = 1 , k = Υ cl = 0 , the reduced Wheeler–DeWitt equation has a single turning point at a t ≃ 0.193 (in the arbitrary units of Equation (128)). The WKB solution is exponentially suppressed for a < a t and oscillatory for a > a t . The conserved probability current then distinguishes the two oscillatory branches: the outgoing branch carries positive flux, the incoming branch negative flux, and a real standing-wave carries none. Oscillatory behavior alone does not select a direction of semiclassical evolution; the current does.
The scalar-field clock ties these threads together relationally. In the two-dimensional Wheeler–DeWitt equation (Equation (169)), the clock term scales as a − ( n + 2 ) , so the same exponent governing the running of G ( a ) also controls the small-a behavior of the relational dynamics. The relational comparison is restricted to the test-field regime defined by Equation (182), in which the clock kinetic energy has negligible backreaction on the scale-factor dynamics. This approximation necessarily breaks down near the leading-order root F ( a t ) = 0 , so the present analysis does not determine the exact backreacting trajectory through the turning-point region.
The scope of this model is limited. It is an effective, homogeneous, isotropic minisuperspace model derived from a quantum-corrected Newtonian cosmology. This construction should therefore be interpreted as an effective minisuperspace quantization motivated by modified Friedmann dynamics rather than as a derivation from the full Einstein–Hilbert action. It does not address anisotropies, inhomogeneous perturbations, or the full constraint algebra of general relativity. The dimensionless coefficient ξ QG = 122 / ( 15 π ) is fixed by the adopted one-loop potential, whereas the effective cosmological coefficient Ξ = ξ QG / R 0 2 depends on the reference scale introduced in the Newtonian construction. The normalized combination ζ = ћ G 0 Ξ / c 3 is therefore used only in dimensionless parameter surveys. The power law G ( a ) = G 0 a n is a local early-time scaling ansatz; any complete model must account for the transition to the observed, effectively constant G at late times, as sketched in Section 2.7. The model instead provides a simplified minisuperspace framework in which the consequences of a running gravitational coupling can be tracked through the modified Friedmann equation to the Wheeler–DeWitt potential and semiclassical limit.

7. Conclusions

Starting from a Newtonian cosmological construction inspired by a corrected two-body gravitational potential and a scale-dependent gravitational coupling, we derived an effective Friedmann-type equation and a corresponding Wheeler–DeWitt-type equation in which the running of G ( a ) changes the small-a structure of both the classical and quantum dynamics. For the power-law form G ( a ) = G 0 a n , the dust, flat, Υ cl = 0 model develops two natural analytic boundaries at n = 3 / 2 and n = 2 , separating regimes with qualitatively different turning-point and singularity structures.
Minisuperspace quantization leads to a Wheeler–DeWitt equation whose effective potential is determined by the same scale-dependent structure. Exact Bessel and Airy solutions, together with a numerical radiation-era example, exhibit three distinct behaviors near a = 0 : DeWitt suppression ( ψ ( 0 ) = 0 ), regularity without suppression ( ψ ( 0 ) ≠ 0 ), and oscillatory semiclassical behavior at large a. The factor-ordering parameter controls which of the first two applies; the model separates these cases, rather than conflating regularity with singularity avoidance.
The WKB analysis for the representative model ( n = 3 , γ = 1 , q = 1 ) gives a forbidden small-a region, a single turning point, and an oscillatory large-a branch. The conserved probability current distinguishes expanding and contracting semiclassical branches, while the Hamilton–Jacobi limit recovers the modified Friedmann dynamics as the leading-order phase of the wave function. Treating a homogeneous scalar field as a weakly backreacting internal clock, wave packets can be constructed and followed in relational time. Away from the turning-point region and within the test-field regime of Equation (182), the packets narrow onto the leading-order classical relational trajectory at larger-a. The clock term inherits the same running exponent n, coupling the timekeeping structure directly to the scale-dependent gravitational dynamics.
In the early-universe scaling regime considered here, the running of G ( a ) is not just a perturbative correction. This term changes the qualitative structure of both the classical and quantum cosmological equations, and the same scale dependence appears consistently across the Friedmann dynamics, Wheeler–DeWitt potential, WKB turning point, and scalar-clock semiclassical limit.
Several extensions are needed to determine whether this mechanism survives contact with observations. The full dimensional parameter space ( n , γ , Ξ , Υ cl , q ) , or, equivalently, the normalized survey space ( n , γ , ζ , Υ cl , q ) , should be mapped systematically, with the Type I/II/III classification applied throughout and the pure power law replaced by a transition profile, such as Equation (51), and matched to observational bounds. The phenomenological consequences of the running—its effect on the BBN expansion rate, the growth of linear matter perturbations, and the CMB acoustic scale—are examined in the companion paper [34]. The present analysis therefore treats the power law as an early-universe scaling limit rather than as a global description of gravity.

Author Contributions

Conceptualization, J.A.S. and J.M.C.; methodology, J.A.S. and J.M.C.; software, R.B., B.R.F. and I.J.; validation, R.B., B.R.F., I.J., J.A.S. and J.M.C.; formal analysis, R.B., B.R.F. and I.J.; investigation, J.A.S. and J.M.C.; resources, J.A.S. and J.M.C.; writing—original draft preparation, J.A.S. and J.M.C.; writing—review and editing, J.A.S. and J.M.C.; visualization, R.B., B.R.F., I.J., J.A.S. and J.M.C.; supervision, J.A.S. and J.M.C.; project administration, J.A.S. and J.M.C. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
WDWWheeler–DeWitt
WKBWentzel–Kramers–Brillouin
FRWFriedmann–Robertson–Walker
QCQuantum cosmology
SDGScale-dependent gravity
EOSEquation of state
aCosmological scale factor
RPhysical radius of the Newtonian sphere
R 0 Comoving reference radius
HHubble parameter
G ( a ) Scale-dependent gravitational coupling
G * ( a ) Effective gravitational coupling appearing in the matter term
G 1 * 2 ( a ) Effective coupling associated with the classical correction term
G 2 * 2 ( a ) Effective coupling associated with the quantum correction term
ρ Mass density
ρ 0 Present-day mass density
γ Barotropic index in the equation of state
kSpatial curvature parameter
Υ cl Effective coefficient of the higher-order classical correction
ξ QG Dimensionless one-loop coefficient in the quantum-corrected Newtonian potential
Ξ Dimensionful cosmological quantum-correction coefficient, Ξ = ξ QG / R 0 2
ζ Dimensionless normalized quantum-correction parameter, ζ = ћ G 0 Ξ / c 3
qFactor-ordering parameter
ψ ( a ) Wheeler–DeWitt wave function
ϕ Scalar-field internal clock
J ( a ) Minisuperspace probability current

References

  1. Penrose, R. Gravitational collapse and space-time singularities. Phys. Rev. Lett. 1965, 14, 57–59. [Google Scholar] [CrossRef] [Scilit]
  2. Hawking, S.W.; Ellis, G.F.R. The Large Scale Structure of Space-Time; Cambridge Monographs on Mathematical Physics; Cambridge University Press: Cambridge, UK, 1973. [Google Scholar]
  3. DeWitt, B.S. Quantum theory of gravity. I. The canonical theory. Phys. Rev. 1967, 160, 1113–1148. [Google Scholar] [CrossRef] [Scilit]
  4. Hartle, J.B.; Hawking, S.W. Wave function of the Universe. Phys. Rev. D 1983, 28, 2960–2975. [Google Scholar] [CrossRef] [Scilit]
  5. Vilenkin, A. Boundary conditions in quantum cosmology. Phys. Rev. D 1986, 33, 3560–3569. [Google Scholar] [CrossRef] [Scilit] [PubMed]
  6. Bojowald, M. Absence of a singularity in loop quantum cosmology. Phys. Rev. Lett. 2001, 86, 5227–5230. [Google Scholar] [CrossRef] [Scilit] [PubMed]
  7. Ashtekar, A.; Pawlowski, T.; Singh, P. Quantum nature of the Big Bang. Phys. Rev. Lett. 2006, 96, 141301. [Google Scholar] [CrossRef] [Scilit] [PubMed]
  8. Khoury, J.; Ovrut, B.A.; Steinhardt, P.J.; Turok, N. Ekpyrotic universe: Colliding branes and the origin of the hot Big Bang. Phys. Rev. D 2001, 64, 123522. [Google Scholar] [CrossRef] [Scilit]
  9. Gielen, S.; Magueijo, J. Quantum analysis of the recent cosmological bounce in the comoving Hubble length. Phys. Rev. D 2023, 107, 023518. [Google Scholar] [CrossRef] [Scilit]
  10. Gouba, L. Quantum Newtonian cosmology revisited. Lett. High Energy Phys. 2022, 5, 321. [Google Scholar] [CrossRef] [Scilit]
  11. Leszczyńska, K. Quantum cosmology and varying physical constants. Universe 2017, 3, 46. [Google Scholar] [CrossRef] [Scilit]
  12. Donoghue, J.F. Leading quantum correction to the Newtonian potential. Phys. Rev. Lett. 1994, 72, 2996–2999. [Google Scholar] [CrossRef] [Scilit] [PubMed]
  13. Bargueño, P.; Bravo Medina, S.; Nowakowski, M.; Batic, D. Newtonian cosmology with a quantum bounce. Eur. Phys. J. C 2016, 76, 543. [Google Scholar] [CrossRef] [Scilit]
  14. Halliwell, J.J. Derivation of the Wheeler–DeWitt equation from a path integral for minisuperspace models. Phys. Rev. D 1988, 38, 2468–2481. [Google Scholar] [CrossRef] [Scilit] [PubMed]
  15. Senjaya, D. Exact solution to the Wheeler–DeWitt equation: Early and current Universe. J. High Energy Astrophys. 2024, 44, 494–499. [Google Scholar] [CrossRef] [Scilit]
  16. Bodmann, B.; Hadjimichef, D.; Hess, P.O.; de Freitas Pacheco, J.; Weber, F.; Razeira, M.; Degrazia, G.A.; Marzola, M.; Vasconcellos, C.A.Z. A Wheeler–DeWitt non-commutative quantum approach to the branch-cut gravity. Universe 2023, 9, 428. [Google Scholar] [CrossRef] [Scilit]
  17. Kiefer, C.; Peter, P. Time in quantum cosmology. Universe 2022, 8, 36. [Google Scholar] [CrossRef] [Scilit]
  18. Hamber, H.W.; Liu, S. On the quantum corrections to the Newtonian potential. Phys. Lett. B 1995, 357, 51–56. [Google Scholar] [CrossRef] [Scilit]
  19. Casadio, R.; Giugno, A.; Giusti, A.; Lenzi, M. Quantum corpuscular corrections to the Newtonian potential. Phys. Rev. D 2017, 96, 044010. [Google Scholar] [CrossRef] [Scilit]
  20. Scardigli, F.; Lambiase, G.; Vagenas, E.C. GUP parameter from quantum corrections to the Newtonian potential. Phys. Lett. B 2017, 767, 242–246. [Google Scholar] [CrossRef] [Scilit]
  21. Mandal, R.; Gangopadhyay, S.; Lahiri, A. Newtonian cosmology from quantum corrected Newtonian potential. Phys. Lett. B 2023, 839, 137807. [Google Scholar] [CrossRef] [Scilit]
  22. Hanımeli, E.T.; Tutusaus, I.; Lamine, B.; Blanchard, A. Low-redshift tests of Newtonian cosmologies with a time-varying gravitational constant. Mon. Not. R. Astron. Soc. 2020, 497, 4407–4415. [Google Scholar] [CrossRef] [Scilit]
  23. Barrow, J.D. Time-varying G. Mon. Not. R. Astron. Soc. 1996, 282, 1397–1406. [Google Scholar] [CrossRef] [Scilit]
  24. Bjerrum-Bohr, N.E.J.; Donoghue, J.F.; Holstein, B.R. Quantum gravitational corrections to the nonrelativistic scattering potential of two masses. Phys. Rev. D 2003, 67, 084033, Erratum in Phys. Rev. D 2005, 71, 069903. [Google Scholar] [CrossRef] [Scilit]
  25. Kirilin, G.G. Quantum corrections to the Schwarzschild metric and reparametrization transformations. Phys. Rev. D 2007, 75, 108501. [Google Scholar] [CrossRef] [Scilit]
  26. Donoghue, J.F. The effective field theory treatment of quantum gravity. AIP Conf. Proc. 2012, 1483, 73–94. [Google Scholar] [CrossRef] [Scilit]
  27. Codello, A.; Jain, R.K. On the covariant formalism of the effective field theory of gravity and leading order corrections. Class. Quantum Grav. 2016, 33, 225006. [Google Scholar] [CrossRef] [Scilit]
  28. Codello, A.; Jain, R.K. On the covariant formalism of the effective field theory of gravity and its cosmological implications. Class. Quantum Grav. 2017, 34, 035015. [Google Scholar] [CrossRef] [Scilit]
  29. Donoghue, J.F.; El-Menoufi, B.K. Nonlocal quantum effects in cosmology: Quantum memory, nonlocal FLRW equations, and singularity avoidance. Phys. Rev. D 2014, 89, 104062. [Google Scholar] [CrossRef] [Scilit]
  30. Reuter, M. Nonperturbative evolution equation for quantum gravity. Phys. Rev. D 1998, 57, 971–985. [Google Scholar] [CrossRef] [Scilit]
  31. Bonanno, A.; Saueressig, F. Asymptotically safe cosmology—A status report. Comptes Rendus Phys. 2017, 18, 254–264. [Google Scholar] [CrossRef] [Scilit]
  32. Faraoni, V. Cosmology in Scalar–Tensor Gravity; Kluwer Academic Publishers: Dordrecht, The Netherlands, 2004. [Google Scholar]
  33. Overduin, J.M.; Wesson, P.S. Kaluza–Klein gravity. Phys. Rep. 1997, 283, 303–378. [Google Scholar] [CrossRef] [Scilit]
  34. Furst, B.R.; Jarra, I.; Bolle, R.; Conroy, J.M.; Secrest, J.A. Scale-Dependent Gravity in Quantum Cosmology II: Phenomenological Consistency Tests from BBN, Structure Growth, and the CMB. Astron. Astrophys. 2026. in preparation. [Google Scholar] [CrossRef] [Scilit]
  35. Atkatz, D. Quantum cosmology for pedestrians. Am. J. Phys. 1994, 62, 619–627. [Google Scholar] [CrossRef] [Scilit]
  36. Bender, C.M.; Orszag, S.A. Advanced Mathematical Methods for Scientists and Engineers; McGraw-Hill: New York, NY, USA, 1978. [Google Scholar]
  37. Fröman, N.; Fröman, P.O. JWKB Approximation: Contributions to the Theory; North-Holland: Amsterdam, The Netherlands, 1965. [Google Scholar]
  38. Monerat, G.A.; Santos, C.G.M.; Alvarenga, F.G.; Gonçalves, S.V.B.; Fracalossi, R.; Corrêa Silva, E.V.; Oliveira-Neto, G. Quantum cosmology with many fluids and the choice of cosmological time. Braz. J. Phys. 2020, 50, 89–104. [Google Scholar] [CrossRef] [Scilit]
  39. Piazza, F.; Vareilles, S. Time as a test-field: The no-boundary universe in motion and a smooth radiation bounce. Class. Quantum Grav. 2026, 43, 055007. [Google Scholar] [CrossRef] [Scilit]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Article Metrics

Citations

Article Access Statistics

Multiple requests from the same IP address are counted as one view.