_{1}

^{*}

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.

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 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 ∈ ℝ and g ≥ 0 , given by

A g = ∫ 0 T { 1 2 [ y ˙ ( t ) 2 − ω 2 y ( t ) 2 ] − g y ( t ) − 4 } d t , (1)

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 [

The classical Hamiltonian for this model is given by

H ( π , ϕ ) = ∫ { 1 2 [ π ( x ) 2 + m 0 2 ϕ ( x ) 2 ] + g 0 ϕ ( x ) 4 } d s x , (2)

where the momentum field π ( x ) and the scalar field ϕ ( x ) have a Poisson bracket { ϕ ( x ) , π ( x ′ ) } = δ s ( x − x ′ ) , and x ∈ ℝ s is a point in an s-dimensional configuration space, s ≥ 1 [

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.

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 { ϕ ( x ) , κ ( x ′ ) } = δ s ( x − x ′ ) ϕ ( x ) , ϕ ( x ) ≠ 0 , which can lead to a representation of the affine Lie algebra. Now the classical Hamiltonian is given by

H ′ ( κ , ϕ ) = ∫ { 1 2 [ κ ( x ) ϕ ( x ) − 2 κ ( x ) + m 0 2 ϕ ( x ) 2 ] + g 0 ϕ ( x ) 4 } d s x . (3)

The quantum commutator is given by [ ϕ ^ ( x ) , κ ^ ( x ′ ) ] = i ℏ δ s ( x − x ′ ) ϕ ^ ( x ) , ϕ ^ ( x ) ≠ 0 , and the affine operators have two irreducible representations: one where ϕ ^ ( 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 [

τ ( ∂ / ∂ λ , λ ) ≡ − i 1 2 ℏ [ ( ∂ / ∂ λ ) λ + λ ( ∂ / ∂ λ ) ] . Here B ( x , λ ) ≡ A ( x , λ ) + c ( λ ) I ,

where [ A ( x , λ ) , A ( x ′ , λ ′ ) † ] = δ s ( x − x ′ ) δ ( λ − λ ′ ) 1 l , A ( x , λ ) 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, by

ϕ ^ ( x ) ϕ ^ ( x ′ ) = ∫ B ( x , λ ) † λ B ( x , λ ) d λ ⋅ ∫ B ( x ′ , λ ′ ) † λ ′ B ( x ′ , λ ′ ) d λ ′ = ∫ ∫ B ( x , λ ) † λ [ B ( x , λ ) , B ( x ′ , λ ′ ) † ] λ ′ B ( x ′ , λ ′ ) d λ d λ ′ + ! ϕ ^ ( x ) ϕ ^ ( x ′ ) ! = δ s ( x − x ′ ) ∫ B ( x , λ ) † λ 2 B ( x , λ ) d λ + ! ϕ ^ ( x ) ϕ ^ ( x ′ ) ! , (4)

where ! ( ⋅ ) ! denotes “normal ordering” for B † and B, and which is now re-scaled (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

ϕ ^ R 2 ( x ) ≡ R δ lim x ′ → x b δ ^ s ( 0 ) − 1 [ δ ^ s ( x − x ′ ) ∫ B ( x , λ ) † λ 2 B ( x , λ ) d λ + ! ϕ ^ ( x ) ϕ ^ ( x ′ ) ! ] ≡ b ∫ B ( x , λ ) † λ 2 B ( x , λ ) d λ ≡ ϕ ^ 2 ( x ) ≡ ϕ ^ ( x ) ϕ ^ ( x ) _ ≡ ϕ ^ ( x ) 2 , (5)

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 ℌ is given by

ℌ = ∫ d s x ∫ { B ( x , λ ) † h ( ∂ / ∂ λ , λ ) B ( x , λ ) } d λ = ∫ d s x ∫ { A ( x , λ ) † h ( ∂ / ∂ λ , λ ) A ( x , λ ) } d λ , (6)

a relation that requires

h ( ∂ / ∂ λ ) c ( λ ) = 0 ; (7)

moreover, to ensure that the ground state | 0 〉 is unique we require that ∫ c ( λ ) 2 d λ = ∞ . Guided by the classical Hamiltonian (3), we choose

h ( ∂ / ∂ λ , λ ) = − 1 2 ℏ 2 [ λ ( ∂ / ∂ λ ) + 1 2 ] λ − 2 [ λ ( ∂ / ∂ λ ) + 1 2 ] + 1 2 m 0 2 λ 2 + g 0 λ 4 = 1 2 [ − ℏ 2 ( ∂ 2 / ∂ λ 2 ) + 3 4 ℏ 2 λ − 2 + m 0 2 λ 2 ] + g 0 λ 4 . (8)

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 [ λ ( ∂ / ∂ λ ) + 1 2 ] F ( λ ) = 0 implies F ( λ ) − 1 ∂ F ( λ ) / ∂ λ = − 1 / ( 2 λ ) , which leads to F ( λ ) ∝ λ − 1 / 2 .

The form of c ( λ ) hints at the form of the Schrödinger ground-state wave function, namely Ψ ( ϕ ) = e − V ( ϕ ) / 2 Π x | ϕ ( x ) | − 1 / 2 , − ∞ < V ( ϕ ) < ∞ , while one form of Schrödinger’s equation is given by

i ℏ ∂ Ψ ( ϕ , t ) / ∂ t = { ∫ [ 1 2 κ ^ ( x ) ϕ ( x ) − 2 κ ^ ( x ) + 1 2 m 0 2 ϕ ( x ) 2 + g 0 ϕ ( x ) 4 ] d s x } Ψ ( ϕ , t ) , (9)

where

κ ^ ( x ) = − i 1 2 ℏ [ ϕ ( x ) ( δ / δ ϕ ( x ) ) + ( δ / δ ϕ ( x ) ) ϕ ( x ) ] , (10)

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 ( b a s ) 1 / 2 | ϕ k | − ( 1 − 2 b a s ) / 2 , where we have added the dimensionless factor b a 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

〈 ( Σ l ϕ ^ l 2 ) p 〉 = ∫ ( Σ l ϕ l 2 ) p Π k e − W ( ϕ k ) ( b a s ) | ϕ k | − ( 1 − 2 b a s ) d ϕ k . (11)

Now introduce hyper-spherical coordinates ϕ k ≡ ρ η k , ρ ≥ 0 , − 1 ≤ η k ≤ 1 , where ρ 2 = Σ k ϕ k 2 and 1 = Σ k η k 2 , which leads to

〈 ( Σ l ϕ ^ l 2 ) p 〉 = ∫ ρ 2 p [ Π k e − W ( ρ η k ) ( b a s ) | η k | − ( 1 − 2 b a s ) ] × 2 δ ( 1 − Σ k η k 2 ) [ Π k d η k ] ρ ( R − 1 ) d ρ , (12)

where the usual measure factor ρ ( N ′ − 1 ) is effectively changed to ρ ( R − 1 ) , with R ≡ 2 b a 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

C ( f ) = lim a → 0 Π k ∫ { e i f k ϕ k / ℏ e − W ( ϕ k ) ( b a s ) | ϕ k | − ( 1 − 2 b a s ) } d ϕ k = lim a → 0 Π k { 1 − ( b a s ) ∫ [ 1 − e i f k ϕ k / ℏ ] e − W ( ϕ k ) | ϕ k | − ( 1 − 2 b a s ) d ϕ k } = exp { − b ∫ d s x ∫ [ 1 − e i f ( x ) λ / ℏ ] e − w ( λ , ℏ ) d λ / | λ | } , (13)

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) [

It is straightforward to study the imaginary-time propagator for these models. As customary, the initial functional integral has the form

K ( ϕ ″ , T ; ϕ ′ ,0 ) = 〈 ϕ ″ | e − ℌ T / ℏ | ϕ ′ 〉 = M ∫ e − 1 ℏ ∫ 0 T ∫ { 1 2 [ ϕ ˙ ( x , t ) 2 + m 0 2 ϕ ( x , t ) 2 ] + g 0 ϕ ( x , t ) 4 } d s x d t D ϕ , (14)

which is formal. To give it proper meaning, we choose the limit of a regularized functional integral, with an ℏ -counterterm, as given by

K ( ϕ ″ , T ; ϕ ′ ,0 ) = 〈 ϕ ″ | e − ℌ T / ℏ | ϕ ′ 〉 = lim a → 0, δ → 0 M a , δ ∫ e − 1 ℏ Σ k , k 0 { 1 2 [ ( ϕ k , k 0 + 1 − ϕ k , k 0 ) 2 δ − 2 + m 0 2 ϕ k , k 0 2 + ℏ 2 ( 1 2 − b a s ) ( 3 2 − b a s ) ϕ k , k 0 − 2 a − 2 s ] + g 0 ϕ k , k 0 4 } a s δ Π k , k 0 d ϕ k , k 0 . (15)

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.

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 [

| π , ϕ 〉 ≡ exp [ ( i / ℏ ) ∫ π ( x ) ϕ ^ ( x ) d s x ] exp [ − ( i / ℏ ) ∫ ln ( c | ϕ ( x ) | ) κ ^ ( x ) d s x ] | β 〉 , (16)

which leads to the enhanced (since ℏ > 0 ) classical Hamiltonian given by

H ( π , ϕ ) = 〈 π , ϕ | ℌ ′ ( κ ^ , ϕ ^ ) | π , ϕ 〉 = 〈 β | ℌ ′ ( κ ^ + π c | ϕ | ϕ ^ , c | ϕ | ϕ ^ ) | β 〉 . (17)

As an example, if ℌ ′ ( κ ^ , ϕ ^ ) = ∫ [ 1 2 κ ^ ( x ) ϕ ^ − 2 ( x ) κ ^ ( x ) _ + 1 2 m 0 2 ϕ ^ 2 ( x ) + g 0 ϕ ^ 4 ( x ) ] d s x , along with 〈 ( ⋅ ) 〉 ≡ 〈 β | ( ⋅ ) | β 〉 and a proper | β 〉 and c so that c 2 ϕ ^ 2 ( x ) = 1 and c 4 ϕ ^ 4 ( x ) = 1 + O ( ℏ ) , then

H ( π , ϕ ) = ∫ { 1 2 [ π ( x ) 2 + m 0 2 ϕ ( x ) 2 ] c 2 ϕ ^ 2 ( x ) + g 0 ϕ ( x ) 4 c 4 ϕ ^ 4 ( x ) + O ( ℏ ; π , ϕ ) } d s x . (18)

The classical models (with “c” denoting covariant) discussed in this section have a classical Hamiltonian given by

H c ( π , ϕ ) = ∫ { 1 2 [ π ( x ) 2 + ( ∇ → ϕ ) ( x ) 2 + m 0 2 ϕ ( x ) 2 ] + g 0 ϕ ( x ) 4 } d s x , (19)

which is just the classical ultralocal Hamiltonian plus a spatial gradient term. Such models are perturbably nonrenormalizable in 5 or more spacetime dimensions [

H ′ c ( κ , ϕ ) = ∫ { 1 2 [ κ ( x ) ϕ ( x ) − 2 κ ( x ) + ( ∇ → ϕ ) ( x ) 2 + m 0 2 ϕ ( x ) 2 ] + g 0 ϕ ( x ) 4 } d s x . (20)

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 [

Ψ c r ( ϕ ) = e − Y ( ϕ ) / 2 Π k [ Σ l J k , l ϕ l 2 ] − ( 1 − 2 b a s ) / 4 , (21)

where J k , l = 1 / ( 2 s + 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., [

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}

H c r = − 1 2 ℏ 2 a − 2 s ∑ ′ k ∂ 2 ∂ ϕ k 2 a s + 1 2 ∑ ′ k , k ∗ ( ϕ k ∗ − ϕ k ) 2 a s − 2 + 1 2 m 0 2 ∑ ′ k ϕ k 2 a s + g 0 ∑ ′ k ϕ k 4 a s + 1 2 ℏ 2 ∑ ′ k F k ( ϕ ) a s − E 0 , (22)

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

F k ( ϕ ) ≡ a − 2 s Π l [ Σ ′ m J l , m ϕ m 2 ] − ( 1 − 2 b a s ) / 4 ∂ 2 Π l [ Σ ′ m J l , m ϕ m 2 ] − ( 1 − 2 b a s ) / 4 ∂ ϕ k 2 = 1 4 ( 1 − 2 b a s ) 2 a − 2 s ( ∑ ′ l J l , k ϕ k [ Σ ′ m J l , m ϕ m 2 ] ) 2 − 1 2 ( 1 − 2 b a s ) a − 2 s ∑ ′ l J l , k [ Σ ′ m J l , m ϕ m 2 ] + ( 1 − 2 b a s ) a − 2 s ∑ ′ l J l , k 2 ϕ k 2 [ Σ ′ m J l , m ϕ m 2 ] 2 . (23)

Although F k ( ϕ ) does not depend only on ϕ k , it nevertheless becomes a local potential in the formal continuum limit.

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

H c r = 1 2 ∑ ′ k κ ^ k [ Σ ′ l J k , l ϕ l 2 ] − ( 1 − 2 b a s ) κ ^ k a s + 1 2 ∑ ′ k , k ∗ ( ϕ k ∗ − ϕ k ) 2 a s − 2 + 1 2 m 0 2 ∑ ′ k ϕ k 2 a s + g 0 ∑ ′ k ϕ k 4 a s − E ′ 0 , (24)

where κ ^ k = − i 1 2 ℏ [ ϕ k ( ∂ / ∂ ϕ k ) + ( ∂ / ∂ ϕ k ) ϕ k ] a − s . 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.

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 [

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 ϕ 2 4 and ϕ 3 4 [

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

A 1 = ∫ { p ( t ) q ˙ ( t ) − λ ( t ) [ p ( t ) 2 + q ( t ) 4 − E ] } d t (25)

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

A 2 = ∫ [ p ( t ) q ˙ ( t ) − λ 1 ( t ) p ( t ) − λ 2 ( t ) q ( t ) ] d t , (26)

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 l . 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 [

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).

Using the ADM phase-space variables [

H ( π , g ) = ∫ { 1 g ( x ) [ π b a ( x ) π a b ( x ) − 1 2 π a a ( x ) π b b ( x ) ] + g ( x ) R ( 3 ) ( x ) } d 3 x , (27)

where π b a ( x ) ≡ π a c ( x ) g b c ( x ) , the Poisson bracket

{ g a b ( x ) , π c d ( x ′ ) } = δ 3 ( x − x ′ ) 1 2 [ δ a c δ b d + δ b c δ a d ] , and R ( 3 ) ( x ) is the scalar curvature in the 3 spatial coordinates. The physics of the metric requires that

g ( x ) ≡ det [ g a b ( 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 [

Instead of promoting g a b ( x ) and π c d ( x ) to quantum operators, we promote the metric tensor g a b ( x ) and the momentric tensor π d c ( x ) [ ≡ π c a ( x ) g d a ( x ) ] , with the variable π d c ( 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 a b ( x ) and π d c ( x ) , have a closed algebra, which we already express in the form of commutators of the local field operators, specifically

[ π ^ b a ( x ) , π ^ d c ( x ′ ) ] = i 1 2 ℏ δ 3 ( x − x ′ ) [ δ d a π ^ b c ( x ) − δ b c π ^ d a ( x ) ] , [ g ^ a b ( x ) , π ^ d c ( x ′ ) ] = i 1 2 ℏ δ 3 ( x − x ′ ) [ δ a c g ^ b d ( x ) + δ b c g ^ a d ( x ) ] , [ g ^ a b ( x ) , g ^ c d ( x ′ ) ] = 0. (28)

In this case, the operators are given by

g ^ a b ( x ) = ∫ + B ( x , γ ) † γ a b B ( x , γ ) d γ , π ^ d c ( x ) = − i 1 2 ℏ ∫ + B ( x , γ ) † [ γ d j ( ∂ / ∂ γ c j ) + ( ∂ / ∂ γ c j ) γ d j ] B ( x , γ ) d γ , (29)

where d γ = Π a ≤ b d γ a b and ∫ + limits the range of integration to { γ a b } > 0 . Just as the case in Sec. II.B., there are two irreducible representations of the metric tensor operator: one where the matrix { g ^ a b ( x ) } > 0 , which we accept, and one where the matrix { g ^ a b ( 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 a b ] 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 Ψ ( { g } ) = W ( { g } ) [ Π x g ( x ) − 1 / 2 ] , where the “small field behavior” is formally obtained by the relation π ^ b a F ( g ) = 0 , which implies that [ g b c ( ∂ / ∂ g a c ) + 1 2 δ b a ] F ( g ) = 0 and this leads to g b c g a c g d F ( g ) / d g + 1 2 δ b a F ( g ) = 0 , which requires that g d F ( g ) / d g + 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 ) —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 ( k a ) = g k ^{4}.

At this juncture the analysis points toward a theory known as “Strong Coupling Quantum Gravity” [^{5} Π k , a ≤ b d g k , a b . However, we choose not to pursue “ultralocal general relativity”, and we return to the model in (27) which is not an ultralocal model.

As were the procedures in Sec. III., we regularize the chosen eigenfunctions by replacing the spacial continuum by a set of N ′ < ∞ points labeled by the usual points k a and introduce a regularized (r) eigenfunction given by

Ψ r ( { g } ) = W r ( { g } ) { Π k ( b a 3 ) 1 / 2 [ Σ l J k , l g l ] − ( 1 − b a 3 ) / 2 } , (30)

where the factors J k , l are the same factors as in Sec. III.A. 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 − b a 3 ) / 2 . Based on Sec. III.B., we are led to the regularized form of the quantum Hamiltonian in the Schrödinger representation given by

ℌ r = ∑ ′ k { π ^ b k a J k ( g k ) π ^ a k b − 1 2 π ^ a k a J k ( g k ) π ^ b k b + g k 1 / 2 R ( 3 ) k + g k 1 / 2 Λ } a 3 , (31)

where J k ( g k ) ≡ [ Σ l J k , l g l ] − ( 1 − b a 3 ) / 2 , and

π ^ b k a = − i 1 2 ℏ { ∂ ∂ g a c k g b c k + g b c k ∂ ∂ g a c k } a − 3 . (32)

The classical action functional for gravity is given [

A = ∫ ∫ { π a b ( x , t ) g ˙ a b ( x , t ) − N a ( x , t ) π a | b b ( x , t ) − N ( x , t ) H ( x , t ) } d 3 x d t , (33)

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, π a | b 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 π a | b 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, π b k a | 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 ℌ k | Ψ 〉 p h y s = 0 for all k and π ^ b k | a a | Ψ 〉 p h y s = 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 , [ ℌ k , ℌ m ] | Ψ 〉 p h y s ≠ 0 due to quantum second-class constraints. Instead, we choose an appropriate projection operator E = E ( N ′ − 1 [ Σ k ℌ k 2 + Σ a , k κ ^ a k | b b 2 ] ≤ δ ( ℏ ) 2 ) , 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 p h y s ; or symbolically stated, H p h y s = E H .

The projection operator E can be constructed by a suitable functional integral [

E ( Σ α C α 2 ≤ δ ( ℏ ) 2 ) = ∫ T e − i ∫ 0 T Σ α C α λ α ( t ) d t D R ( λ ) , (34)

where T implies a time-ordered integral and R ( λ ) is a suitable weak measure (see [

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 [

The proper Hilbert space and related operators that our analysis features for gravity are summarized here. As noted before, the principal affine field operators are

g ^ a b ( x ) = ∫ + B ( x , γ ) † γ a b B ( x , γ ) d γ , π ^ d c ( x ) = − i 1 2 ℏ ∫ + B ( x , γ ) † [ γ d j ( ∂ / ∂ γ c j ) + ( ∂ / ∂ γ c j ) γ d j ] B ( x , γ ) d γ , (35)

where d γ = Π a ≤ b d γ a b and ∫ + limits the range of integration to { γ a b } > 0 .

Our regularized version of the metric operators is given by

g ^ a b k = ∫ + B k ( γ ) † γ a b B k ( γ ) d γ , (36)

and the spatial first derivative of the metric operator is [ g ^ a b k + l − g ^ a b 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 g ^ a b , c 2 ( x ) is given by

[ g ^ a b k + l − g ^ a b k ] R 2 a − 2 = ∫ + { B k + l † ( γ ) γ a b 2 B k + l ( γ ) − B k + l † ( γ ) γ a b 2 B k ( γ ) − B k † ( γ ) γ a b 2 B k + l ( γ ) + B k ( γ ) † γ a b 2 B k ( γ ) } d γ a − 2 . (37)

The Hamiltonian operator and the diffeomorphism operators are given by

∫ ∫ + { B ( x , γ ) † [ ξ ( γ ) b a det ( γ ) − 1 / 2 ξ ( γ ) a b − 1 2 ξ ( γ ) a a det ( γ ) − 1 / 2 ξ ( γ ) b b ] B ( x , γ ) + B ( x , γ ) † [ N ( x , t ) † ( γ ) 1 / 2 R ( 3 ) ( γ ) + N a ( x , t ) ξ ( γ ) a | b b ] B ( x , γ ) } d γ d 3 x , (38)

where ξ ( γ ) b a = − i 1 2 ℏ [ γ b c ( ∂ / ∂ γ a c ) + ( ∂ / ∂ γ a c ) γ b c ] .

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 [

The authors declare no conflicts of interest regarding the publication of this paper.

Klauder, J.R. (2020) Building a Genuine Quantum Gravity. Journal of High Energy Physics, Gravitation and Cosmology, 6, 159-173. https://doi.org/10.4236/jhepgc.2020.61013