Building a Genuine Quantum Gravity

An affine quantization approach leads to a genuine quantum theory of general relativity by extracting insights from a short list of increasingly more complex, soluble, perturbably nonrenormalizable models.


Guidance to the Quantization of Nonrenormalizable Models
The rules of canonical quantization for the all-important Hamiltonian operator allow for added -counterterms based on 'experimental determination'. Sometimes this means that different physical systems may need different counterterms, which is readily illustrated by the elementary example that the simple harmonic oscillator has a positive zero-point energy while as one of the modes of a free scalar field it has no zero-point energy. Normal ordering proves to be a satisfactory renormalization for a number of field theories, but for perturbably nonrenormalizable models it fails significantly. Are there other -counterterms that lead to acceptable results for nonrenormalizable models? We address this question and seek to find alternative -additions that lead to acceptable results. In so doing, we study this question with the help of affine field quantization, a procedure that is largely reviewed in the following section, and we learn that this program offers a suitable counterterm for perturbably nonrenormalizable ultralocal models, which may well be suitably modified for more complicated models such as perturbably nonrenormalizable covariant scalar models in 5 and more spacetime dimensions, and also perturbably nonrenormalizable general relativity in 4 spacetime dimensions.
As an initial comment, we recall that if a classical model is perturbably nonrenormalizable when conventionally quantized, then in both the classical and the quantum realms, the interacting theories are not continuously connected to their conventional free theories when the interaction is reduced to zero. As a simple 'perturbably nonrenormalizable toy model', consider the action functional (and its associated domains!) for y ∈ R and g ≥ 0, given by which illustrates the point clearly when initially g > 0 and then g → 0. The result is not the free theory classically or quantum mechanically, but instead provides an example of what we call a 'pseudofree model' (e.g., see [1]).

Canonical Quantization
The classical Hamiltonian for this model is given by where the momentum field π(x) and the scalar field φ(x) have a Poisson bracket {φ(x), π(x ′ )} = δ s (x − x ′ ), and x ∈ R s is a point in an s-dimensional configuration space, s ≥ 1, [2]. Conventional canonical quantization leads to a free field solution in which m 0 → m and g 0 → 0. Briefly reviewed, the conventional approach begins with (i) a regularization in which a finite subspace of R s is replaced with a finite, discrete spatial lattice of points ka, where k = {k 1 , k 2 , . . . , k s }, k j ∈ Z = {0, ±1, ±2, · · ·}, j = 1, · · · , s, composed of N ′ < ∞ points, with a > 0 as the lattice spacing, (ii) a quantization of the regularized system, followed by (iii) an elimination of the regularization as a → 0. As dictated by the Central Limit Theorem, the result is a Gaussian ground state, i.e., a free quantum system, in which g 0 = 0. The classical limit of the quantum theory is also free and thus contradicts the original, nonlinear classical theory.
We aim to do better. The story of the first example, as presented below, is offered in more detail than the other examples because the other examples have rather similar stories.

Affine Quantization
An affine quantization starts by first introducing the classical affine field κ(x) ≡ π(x)φ(x), φ(x) = 0, and the affine field replaces the momentum field. The Poisson bracket is which can lead to a representation of the affine Lie algebra. Now the classical Hamiltonian is given by The quantum commutator is given by ,φ(x) = 0, and the affine operators have two irreducible representations: one wherê φ(x) > 0 and one whereφ(x) < 0. Thus, for the affine fieldφ(x), we will use these two irreducible representations, a possibility offered by the rules of Enhanced Quantization pertaining to reducible operator representations [3].
The commutator resembles a current commutation relation, and, as such, we find the field operators have a different kind of representation suitable for operator product expansions. Let λ ∈ R, thenφ(x) = B(x, λ) † λB(x, λ) dλ, annihilates the 'no-particle' state |0 , i.e., A(x, λ)|0 = 0 for all arguments, and c(λ) is the real 'model function' (defined below). Local products are formally given, for example, bŷ where !(·)! denotes 'normal ordering' for B † and B, and which is now rescaled (sometimes denoted by R for 'renormalized') by first letting δ denote a 'smoothed out δ-function' (e.g., a tall and narrow Gaussian function) and introducing the command 'Rδ' meaning 'restore δ-functions'. It follows that where b is a positive factor with dimensions (length) −s , and, for simplicity, we will sometimes implicitly choose b = 1. Note well the meaning of the several different expressions! The quantum Hamiltonian H is given by a relation that requires moreover, to ensure that the ground state |0 is unique we require that c(λ) 2 dλ = ∞. Guided by the classical Hamiltonian (3), we choose The two lines of equation (8) are elementary examples of two different approaches to express the Hamiltonian: the top line 'hides' the quantum correction, while the bottom line 'shows' the quantum correction. In later sections we will encounter similar cases where the Hamiltonian of more complex systems may also be presented in different fashions. The model function c(λ) that solves (7) has a 'large λ behavior' and a 'small λ behavior' which leads to a functional behavior given by c(λ) = e −U (λ)/2 |λ| −1/2 for some function U(λ) for which −∞ < U(λ) < ∞. The 'small λ behavior' ignores the classical potential terms, and we can find the 'small λ behavior' simply by observing that [λ(∂/∂λ) The form of c(λ) hints at the form of the Schrödinger ground-state wave function, namely which leads to a solution of the indicated form above. However, these expressions are formal and Ψ(φ) is not square integrable as it stands. To rectify that we reintroduce the finite spatial lattice with N ′ < ∞ points used above to regularize (r) the ground state as Ψ r (φ) = Π k e −W (φ k )/2 (ba s ) 1/2 |φ k | −(1−2ba s )/2 , where we have added the dimensionless factor ba s needed to render Ψ r (φ) 2 effectively normalized in the regularized form. At this point it is worth mentioning that this form of the ground state allows numerous expectation values to be finite. To see this property, consider the expectation of numerous moments of the ground-state distribution given, with p a positive integer, by where the usual measure factor ρ (N ′ −1) is effectively changed to ρ (R−1) , with R ≡ 2ba s N ′ < ∞ for a bounded spatial volume. This effective change of the power, i.e., ρ (N ′ −1) → ρ (R−1) , in multi-field integrals eliminates general divergences that would normally arise as N ′ → ∞, and that elimination, which will arise again in later sections, occurs for a special form of the 'small field behavior' of suitable eigenfunctions. 1 The characteristic function for these models takes the form where φ k → λ, and w may involve parameter renormalization as well. The result is the only other outcome of the Central Limit Theorem, namely, a (generalized) Poisson distribution. It is noteworthy to observe that the factor 3 4 in (8) is a special fraction that leads to the well-defined limit in (13) as a → 0 and that fraction was a direct result of adopting an affine quantization and not a canonical quantization. Moreover, the limit of such models as g 0 → 0 is not the free model (Gaussian) but becomes a pseudofree model (in this case, Poisson) [1].
It is straightforward to study the imaginary-time propagator for these models. As customary, the initial functional integral has the form which is formal. To give it proper meaning, we choose the limit of a regularized functional integral, with an -counterterm, as given by Several features of these models are interconnected and choosing one of them may lead to knowledge of another one. For example, the ground state of a quantum system determines the Hamiltonian operator (up to a constant) which implicitly determines all there is to know about a given system. Based on that remark, we now focus on the regularized form of the ground state, or another suitable state, for the models to come and use that information to suggest regularized states for more complicated models.

Classical/Quantum Connection
Enhanced quantization favors different rules than those of canonical quantization when seeking to pass from a quantum level to a classical level. In the present case, we initially introduce an appropriate set of affine coherent states [3], and, with cφ(x) = 0 and dimensionless, we choose the states (16) which leads to the enhanced (since > 0) classical Hamiltonian given by along with (·) ≡ β|(·)|β and a proper |β and c so that c 2 φ 2 (x) = 1 and 3 Covariant Scalar Models in High Spacetime Dimensions

Standard Approach to the Quantum Formulation
The classical models (with "c" denoting covariant) discussed in this section have a classical Hamiltonian given by which is just the classical ultralocal Hamiltonian plus a spatial gradient term. Such models are perturbably nonrenormalizable in 5 or more spacetime dimensions [4,5], and we primarily focus on such models. Canonical quantization of these models leads to a free (Gaussian) result [6,7], and we propose to use affine field variables for these models. The covariant Hamiltonian in affine variables is much like the ultralocal Hamiltonian in affine variables. Specifically, we have The principal difference between the covariant models and the ultralocal models is that the former involve spatial continuity while the latter does not. However, rather like the ultralocal ground state, the covariant ground state has a 'large field behavior' and a 'small field behavior' that respect the continuity. Although a formal affine quantization again leads to a similar counterterm as the ultralocal model, for the covariant scalar model we choose a different regularization, one that is not acceptable in the ultralocal case. Specifically, we propose that the spatially regularized covariant scalar ground state is given by [8] where J k,l = 1/(2s + 1) for l = k and l is one of the 2s nearest-neighbor spatial [sic] points closest to the field at point k; otherwise J k,l = 0. The choice of the sum of a limited number of nearest-neighbor factors provides an escape from the ground-state distribution becoming a Poisson distribution even in the continuum limit; it also offers a perturbation procedure about the chosen ground state in which every term is finite (see, e.g., [9,10]). Based on using the special counterterm for such models, the lattice regularized Hamiltonian operator for interacting models is chosen, with primed summation symbols meaning strictly a spatial sum, to be 2 where k * is one positive step forward from the site k for each of the s nearest lattice sites, in which the site labels may be spatially periodic. In this expression, the counterterm is proportional to 2 , and specifically is chosen so that Although F k (φ) does not depend only on φ k , it nevertheless becomes a local potential in the formal continuum limit.

Non-standard Approach to the Quantum Formulation
The foregoing analysis involves one form of regulation which converges to the correct formulation as the regulation is removed, i.e., as a → 0. However, there are other approaches that have different regularization procedures but still lead to the correct formulation as a → 0. One alternative procedure is highly worth discussing since it offers a simple and more natural overall procedure. In particular, rather than (22), we can choose the regularized, Schrödinger representation, Hamiltonian operator given by This alternative expression incorporates suitable -additions as the regularization is removed. Observe that the expression in (24) is a natural transition from the classical Hamiltonian to the quantum Hamiltonian. Such a property will serve us well when we seek the quantization of the Hamiltonian for general relativity.

Smaller Spacetime Dimensions
We emphasize that we may build a regularized functional integral to determine the imaginary-time propagator for the covariant scalar models much like (12) for the ultralocal model. This possibility leads us to important studies. It is known that Monte Carlo (MC) calculations of the canonical quantization of the perturbably renormalizable, quartic, covariant scalar field in 4 spacetime dimensions effectively point to a free quantum theory [11]. The proposed quantization procedures of this section, including (22), have also been extended to 4 spacetime dimensions, and a preliminary MC study with the novel counterterm points toward a positive renormalized coupling constant, potentially becoming a non-trivial result [12]. Although this initial study had to stop too early, there is presently a new study that hopefully will resolve this issue.
Moreover, one can extend the models of this section to spacetime dimension n = 3 and n = 2. Conventional quantization also provides acceptable quantum solutions for such models as φ 4 2 and φ 4 3 [13], but not for higher n ≥ 4. However, the extended models of this section can offer alternative solutions to those generated by canonical procedures, and one can also consider 'mixed models' of the kind g φ 4 3 + g ′ φ 8 3 as well defined theories when g ≥ 0 and g ′ ≥ 0 are varied arbitrarily [10].

Without Constraints: Why No Constraints
In this subsection we consider general relativity with fixed terms that are usually treated as constraints, and which will be properly dealt with below. The reader may well ask why we ignore the constraints. The reason is that there are choices to be made: Dirac favors quantizing first and applying the constraints second, while others choose to enforce constraints before quantizing.
Consider the toy example where the classical action functional is given by and the question proposed is: "What values of E lead to valid quantum stories?" Here λ(t) denotes a Lagrange multiplier to enforce the classical constraint p(t) 2 + q(t) 4 = E. Quantizing first offers the values {E n }, n = 1, 2, · · ·, for which there is a non-zero vector |n , where (P 2 +Q 4 )|n = E n |n . Hence, we have a correct answer when we quantize first, but there is no such solution if the constraint is satisfied before quantization. Moreover, the simple example given by with the Poisson bracket {q(t), p(t)} = 1, has two Lagrange multipliers that lead to the second-class constraints, p(t) = 0 and q(t) = 0. Moreover, the zero classical constraints can not lead to zero quantum constraints, i.e., P = 0 and Q = 0, since [Q, P ] = i 1 1. The best that can be achieved, for example, is a projection operator 3 E(P 2 + Q 2 ≤ δ( ) 2 ) where ≤ δ( ) 2 < 3 which encompasses just one state, E = |0 0|, and points toward a single Hilbert space vector, a result offered by the projection operator method of dealing with all constraints [14], which we will exploit below. These examples explain why we choose to quantize first and then enforce the quantum constraints carefully to account for possible second-class constraints (which quantum gravity is known to possess).

The Gravitational Hamiltonian
Using the ADM phase-space variables [15], the classical Hamiltonian is given, for a, b = 1, 2, 3, and assumed summation of index pairs, by is the scalar curvature in the 3 spatial coordinates. The physics of the metric requires that g(x) ≡ det[g ab (x)] > 0 for all x. When quantized, this positive metric requirement implies that the momentum variables can not be made locally self adjoint, and this makes canonical quantization especially difficult. Happily, affine quantization can come to the rescue [16]! Instead of promoting g ab (x) and π cd (x) to quantum operators, we promote the metric tensor g ab (x) and the momentric tensor π c d (x) [≡ π ca (x)g da (x)], with the variable π c d (x) awarded the special name as the 'momentric field', a name derived from its momentum and metric fields. Observe, then, that the classical Hamiltonian in (27) is already expressed in affine variables! Fortunately, it turns out that the two variable sets, g ab (x) and π c d (x), have a closed algebra, which we already express in the form of commutators of the local field operators, specifically In this case the operators are given bŷ where dγ = Π a≤b dγ ab and + limits the range of integration to {γ ab } > 0. Just as the case in Sec. 2.2, there are two irreducible representations of the metric tensor operator: one where the matrix {ĝ ab (x)} > 0, which we accept, and one where the matrix {ĝ ab (x)} < 0, which we reject. When smeared with suitable test functions, the result is that both the metric and the momentric tensors can be self-adjoint operators, and the metric operators will satisfy the required positivity requirements! Note that we now reserve g for det[g ab ] and introduce {g} for the 3 × 3 general elements of the metric tensor. The Schrödinger representation of the proper Hilbert space vectors is then given by Ψ({g}). We accept the fact that the Schrödinger representation of eigenfunctions of the Hamiltonian operator have a 'large field behavior' and a 'small field behavior', as suggested by the previous discussion, and the Hamiltonian operator eigenfunctions are formally given by where the 'small field behavior' is formally obtained by the relationπ a b F (g) = 0, which implies that [g bc (∂/∂g ac )+ 1 2 δ a b ]F (g) = 0 and this leads to g bc g ac g dF (g)/dg+ 1 2 δ a b F (g) = 0, which requires that g dF (g)/dg + 1 2 F (g) = 0; hence F (g) ∝ g −1/2 . The reader will note that the factor g(x) −1/2 differs from the traditional factor g(x) 1/2 which is used in expressions like g(x) 1/2 d 3 x to serve as a scalar. A scalar is also formally given by δ 3 (x) d 3 x as well. In fact, the term g(x) −1/2 normally appears with two factors of δ 3 (0)-e.g., two terms from (10)-which becomes [δ 3 (0) δ 3 (0)]g(x) −1/2 d 3 x, and this is also a formal scalar. In regularized form, δ 3 (0) is represented by a −3 , d 3 x by a 3 , and g(x) by g(ka) = g k . 4

Hamiltonian-free quantization
At this juncture the analysis points toward a theory known as 'Strong Coupling Quantum Gravity' [17,18] in which the scalar curvature (3) R(x) in Eq. (27) is dropped and replaced by the cosmological constant Λ resulting in a new Hamiltonian having no spatial derivatives, which thus becomes an ultralocal model; this particular model is justified as a possible starting point for a perturbation analysis that reintroduces the scalar curvature. For such a problem the 'small field behavior' is formally given by Π x g(x) −1/2 and regularized by the expression Π k (ba 3 ) 1/2 g −(1−ba 3 )/2 k , rather like the earlier expressions for ultralocal models. The measure Π x Π a≤b dg ab (x) is regularized and becomes 5 Π k, a≤b dg k, ab . However, we choose not to pursue 'ultralocal general relativity', and we return to the model in (27) which is not an ultralocal model.

Restoring the Hamiltonian
As were the procedures in Sec. 3, we regularize the chosen eigenfunctions by replacing the spacial continuum by a set of N ′ < ∞ points labeled by the usual points ka and introduce a regularized (r) eigenfunction given by where the factors J k,l are the same factors as in Sec. 3.1. Because the affine variable complex in (20) is not positive definite, the quantum eigenvalues will, most likely, range over the whole real line. Thus, W r ({g}) will, again most likely, be positive and negative for all eigenfunctions, and we focus attention on an appropriate eigenfunction that is nonzero in the vicinity of very small values of g. Just as in the covariant scalar case, we choose the 'large field behavior' of the regularized quantum Hamiltonian operator from the classical Hamiltonian, and we choose the 'small field behavior' of the regularized quantum Hamiltonian, specifically, as the factor Π k [Σ l J k,l g l ] −(1−ba 3 )/2 . Based on Sec. 3.2, we are led to the regularized form of the quantum Hamiltonian in the Schrödinger representation given by where J k (g k ) ≡ [Σ l J k,l g l ] −(1−ba 3 )/2 , and

Enforcing the Constraints
The classical action functional for gravity is given [15] by where the Lagrange multipliers, the lapse, N(x, t), and the three shifts, N a (x, t), enforce the classical Hamiltonian constraints, H(x, t) = 0, and the classical diffeomorphism constraints, π b a |b (x, t) = 0, for all x & t. Since the classical constraints are first class, the Lagrange multipliers can assume any values in the equations of motion, such as N(x, t) = 1, etc. However, in the quantum theory, H(x, t) and π b a |b (x, t) become operators, while N(x, t) and N a (x, t) remain classical functions.
Let us focus on the regularized classical Hamiltonian constraints, H k = 0, for all k, and the three regularized classical diffeomorphism constraints, π a b k | a = 0, for all b and k, where | denotes a regularized covariant scalar derivative. The four regularized quantum constraints should follow the classical story as closely as possible, and so, following Dirac, we initially propose that vectors in the physical Hilbert space obey H k |Ψ phys = 0 for all k andπ a b k | a |Ψ phys = 0 for all b and k, for a 'wide class' of non-zero Hilbert space vectors. However, that goal is not possible since, for certain k and m, [H k , H m ]|Ψ phys = 0 due to quantum second-class constraints. Instead, we choose an appropriate , which is adjusted so that the constraints have the smallest, non-vanishing values. If Ψ|Φ denotes the inner product in the original, kinematical Hilbert space H, then Ψ| E |Φ denotes the inner product in the reduced, physical Hilbert space H phys ; or symbolically stated, H phys = E H.
The projection operator E can be constructed by a suitable functional integral [19,14]. In the general case, choosing a set of arbitrary, self-adjoint, constraint operators, C α , where α ∈ {1, 2, ..., A}, we construct a functional integral given by where T implies a time-ordered integral and R(λ) is a suitable weak measure (see [19]) which is dependent only on: (i) the time T , (ii) the upper limit δ( ) 2 ≥ 0, and (iii) the number of constraints A ≤ ∞. The measure R(λ) is completely independent of the choice of the constraint operators {C α } N α=1 ! 5 Summary

Other Quantum Gravity Studies
The classical theory of gravity, proposed by Einstein, is a remarkable and generally accepted theory. On the other hand, its quantum version has been proven to be not only difficult but actually impossible using the tools of canonical quantization, which have shown it to be perturbably nonrenormalizable, a traditional 'death threat' to any theory. Various modifications of the fundamental dynamical equations have led to systems that lead to certain results, but invariably these results do not represent a valid quantization of general relativity. Our efforts aim to provide a valid quantization of general relativity, and for that purpose we use methods that encompass canonical quantization.
Notably, the traditional rules of quantization, namely canonical quantization, have a weak spot that has recently been overcome in the form of enhanced quantization [3], an improvement which can resolve various issues when canonical quantization fails. The classical version of the ultralocal scalar models examined in Sec. 2, is well behaved classically, but becomes perturbably nonrenormalizable when studied by canonical quantization; yet it is an important example because the unusual -counterterm that leads to an acceptable quantum theory has been found among the vast set of possibilities [2,5]. More recently, it has been discovered that the correct counterterm automatically pops up in the realm of affine quantization, a branch of enhanced quantization. This happy coincidence has been featured in this article by discussing a set of more complex models each of which is perturbably nonrenormalizable when analyzed by canonical quantization procedures. Instead, when these models are analyzed by affine quantization procedures a particular form of an -counterterm automatically appears. While this feature is clearly correct for the ultralocal models, it is not yet clear whether this desirable feature extends to covariant scalar models in spacetime dimensions 5 and greater, nor for the gravitational models in spacetime dimension 4. To check the worthiness of these cases, especially the case of gravity, will most likely require Monte Carlo studies of certain properties for these models.
Our regularized version of the metric operators is given bŷ and the spatial first derivative of the metric operator is [ĝ ab k+l −ĝ ab k ] a −1 , where l represents a single step away from k in a given spatial direction.
Multiple derivatives follow a similar pattern. However, powers of metric derivatives are somewhat more unusual, and specifically the regularized version ofĝ 2 ab,c (x) is given by The Hamiltonian operator and the diffeomorphism operators are given by where ξ(γ) a b = −i 1 2 [γ bc (∂/∂γ ac ) + (∂/∂γ ac )γ bc ].

Future Analysis
It is straightforward to generate regularized versions of variables and suitable equations, and one may create a propagator as the limit of a functional integral, much like the ultralocal or (implicitly) the covariant scalar field story, except now there would be an additional functional integral to enforce the constraints using the projection operator method. Indeed, such a functional integration already appears in [3], Sec. 10.2.2. Regularized versions of that particular functional integral, or alternative functional integrals such as might appear in [14], are, very likely, to serve as suitable candidates for Monte Carlo studies. Of course, these continuum integrals will need to be regularized. In this effort, the expressions (22) and (23), which seem relevant for covariant scalar fields, may lend credence to (31) and (32) in any similar study of general relativity. To establish the similarity of these two classes of perturbably nonrenormalizable studies, and to have faith in the preliminary Monte Carlo evidence and the relevance of that possibility to play a similar role in gravity is the central message of this article. Hopefully, this potential connection may be examined by others and, possibly, they may justify the essence of this analysis.