The Magnificent Realm of Affine Quantization: valid results for particles, fields, and gravity

Preprint

Review

The Magnificent Realm of Affine Quantization: valid results for particles, fields, and gravity

Altmetrics

Downloads

114

Views

Comments

A peer-reviewed article of this preprint also exists.

This version is not peer-reviewed

Submitted:

28 April 2023

Posted:

28 April 2023

You are already at the latest version

Alerts

Abstract

Affine quantization is a relatively new procedure, and it can solve many new problems. This essay reviews this new, and novel, procedure for particle problems, as well as those of fields and gravity. New quantization tools, which are extremely close to, and even constructed from, the tools of canonical quantization, are able to fully solve selected problems that using the standard canonical quantization would fail. In particular, improvements can even be found with an affine quantization of fields, as well as gravity.

Keywords:

Subject: Physical Sciences - Theoretical Physics

1. A Preface

The scope of quantum physics has expanded remarkably, as will be clear in this presentation. Many problems have new and novel results.

The basic rules of quantization were largely set around mid-(1920), and have changed very little thereafter. There are many problems that using those rules can lead to acceptable results, but there are many more problems that those rules are inadequate. As an example, the traditional harmonic oscillator, which is set on the whole real line, can be fully solved with the original rules. However, if the harmonic oscillator is set only on the positive real line, it can not be solved with the old quantization rules despite the fact that it can be solved classically. Many problems that can be solved classically cannot be solved with old rules known as canonical quantization (CQ). Those procedures fail on nonrenormalizable examples which include certain relativistic scalar fields and Einstein’s gravity.

A new quantization procedure, called affine quantization (AQ), has now been added to the old rules. This procedure is now about 30 years old. AQ is not well known and it deserves to be as strongly known as CQ. While CQ chooses the momentum, e.g., p, and the coordinate, e.g., q, to promote to quantum operators, AQ chooses what we call the dilation, namely

d = p q

We start slowly with simple models to appreciate what AQ is able to accomplish. Already, using Monte Carlo methods, several nonrenormalizable relativistic scalar models have confirmed what AQ can do for them. Einstein’s gravity is more complicated, but the rules of AQ offer considerably positive results.

A brief example of the affine procedures, and a brief integration interval,

H = \int_{- 1}^{1} {[π (x)}^{2} + {| φ (x) |}^{p}] d x < \infty

, with

p = 1, 2, 3, . . .

, then H can be finite if the integrand reaches infinity, e.g.,

π {(x)}^{2} = A / {| x |}^{1 / 4}

. This is proper mathematics, but the fields of nature should never reach infinity. Our solution introduces a new field,

κ (x) = π (x) φ (x)

. Now,

H = \int H (x) d x = \int [κ {(x)}^{2} / φ {(x)}^{2} + | φ (x) |^{p}] d x < \infty

. To represent

π (x)

, then

0 < | φ (x) | < \infty

0 \leq | k (x) | < \infty

, and

H (x) < \infty

. While

φ (x) \neq 0

\hat{π} {(x)}^{†} \neq \hat{π} (x)

, then

\hat{κ} (x) = [\hat{π} {(x)}^{†} \hat{φ} (x) + \hat{φ} (x) \hat{π} (x)] / 2

, and after scaling, then

H = \int [\hat{π} {(x)}^{2} + 2 ℏ^{2} / \hat{φ} {(x)}^{2} + | \hat{φ} (x) |^{p}] d x < \infty

. Note that

| \hat{φ} {(x) |}^{p} < \infty

for all x, and all p,

0 < p < \infty

, due to

0 < | \hat{φ} (x) | < \infty

as well as

0 \leq | \hat{π} (x) | < \infty

2. An Introduction to the Variables

Quantum operators are promoted from classical variables that can play an important role and need to be presented here because it is poorly covered. Our story involves three sets of classical variables that will, later, find their importance when they are promoted to basic quantum variables.

2.1. A Survey of Principal Topics

The common examination of quantum topics starts with a classical review, and we shall do the same. Our focus features three different classical versions. These three have some similar features as well as their differences, but they all play a role in the quantum story.

The three versions of quantum theory, which develop from the three classical versions, have important and distinct roles to play. After studying the procedures, we will apply them to specific problems. It follows that the various procedures fit specific sets of problems, and fail when the wrong procedures are applied to any wrong set of problems. In particular, problems that are nonrenormalizable quantum problems, and which have been unsolved for decades, can, in fact, be properly solved by using the correct quantum procedures instead of the wrong procedures. While they may have been favored, they also may have been the incorrect procedure for decades! In later chapters, we will solve nonrenormalizable covariant scalar fields as well as Einstein’s gravity.

2.2. A Familiar Example of Classical Variables

The everyday behavior of most objects consists of its position, abbreviated by q, and its momentum, namely, its mass multiplied by its velocity, like

p = m v

. These objects also change place and/or motion, which is represented by

q (t)

and

p (t)

, with t serving as time. In an ideal universe, there would be no friction to slow motion down, while instead energy is typically considered to be a constant. The important Hamilton expression,

H (p, q)

, and the equations of motion are given by

\begin{matrix} \dot{q} (t) = \partial H (p, q) / \partial p (t), \dot{p} (t) = - \partial H (p, q) / \partial q (t) . \end{matrix}

(1)

A common example is the harmonic oscillator, for which, like all systems, the energy is contained in the Hamiltonian,

\begin{matrix} H (p, q) = [p {(t)}^{2} / m + ω^{2} m q {(t)}^{2}] / 2 . \end{matrix}

(2)

This leads to the equations of motion given by

\dot{q} (t) = p (t) / m

, while

\dot{p} (t) = - ω^{2} m q (t)

. These equations lead to

\ddot{q} (t) = - ω^{2} q (t)

and

\ddot{p} (t) = - ω^{2} p (t)

, with solutions given by

\begin{matrix} q (t) = A cos (ω t) + B sin (ω t) \end{matrix}

(3)

\begin{matrix} p (t) = B m ω cos (ω t) - A m ω sin (ω t) \end{matrix}

(4)

2.3. Selected Canonical Topics

The action functional is an important expression that also leads to the same equations that we dealt with in the section above, e.g.,

\begin{matrix} A = \int_{0}^{T} [p (t) \dot{q} (t) - H (p (t), q (t))] d t, \end{matrix}

(5)

and which leads to tiny variations in the variables,

δ q (t)

and

δ p (t)

, and now

δ q (T) = δ q (0) = 0

as well as

δ p (T) = δ p (0) = 0

. The variations lead to

\begin{matrix} δ A = 0 = \int_{0}^{T} {[\dot{q} (t) - δ H (p (t), q (t)) / δ p (t)] δ p (t) \\ + [- \dot{p} (t) - δ H (p (t), q (t)) / δ q (t)] δ q (t)} d t \end{matrix}

(6)

which leads to the correct equations of motion being recovered when arbitrary variations are implied.

3. Phase Space, Poisson Brackets, and Constant Curvature Spaces

Phase space consists of a collection of general, continuous, functions

p (t)

and

q (t)

. These functions can be turned into different functions, such as

\bar{f} (t) = \bar{F} (f (t))

; a simple example is

\bar{f} (t) = f {(t)}^{3}

. The family of functions is chosen to observe the integral

\begin{matrix} \int \bar{F} (\bar{p} (t), \bar{q} (t)) d \bar{p} (t) d \bar{q} (t) = \int F (p (t), q (t)) d p (t) d q (t) . \end{matrix}

(7)

The Poisson brackets for these variables is given by

\begin{matrix} {g (p, q), f (p, q)} = \frac{\partial g (p, q)}{\partial q} \frac{\partial f (p, q)}{\partial p} - \frac{\partial g (p, q)}{\partial p} \frac{\partial f (p, q)}{\partial q} . \end{matrix}

(8)

Poisson brackets play a reducing lever putting multiple expressions into fixed sets. For example,

{q, p} = 1

and

{q^{3} / 3, p / q^{2}} = 1

, and also as

{q, p q} = q

The pair of functions,

p (t) & q (t)

, also has a geometric role to play. Let us assume we choose to create a flat, two-dimensional surface, by using the following expression,

\begin{matrix} d σ^{2} = ω^{- 1} d p {(t)}^{2} + ω d q {(t)}^{2}, \end{matrix}

(9)

where

ω

is a positive constant that does not depend on

p (t)

q (t)

in any way. A common name for this case is `Cartesian variables’. It is noteworthy that this two-dimensional surface is completely identical if you move to any other location. That property may be called a `constant zero curvature’.

Moreover, such a mathematical plane is infinitely big, meaning that

- \infty < p & q < \infty

Observe that this property of

p & q

is complete, which means every point in

I R^{2}

is included. There is no case where

q = 17

, for example, is excluded from the rest of

- \infty < q < \infty

3.1. A Brief Review of Spin Quantization

The operators in this story are

S_{i}

with

i = 1, 2, 3

, and which – here

i = \sqrt{- 1}

, as well – satisfy

[S_{i}, S_{j}] = i ℏ ϵ_{i j k} S_{k}

. These operators obey

Σ_{l = 1}^{3} S_{l}^{2} = ℏ^{2} s (s + 1) 1 1_{2 s + 1}

, where

2 s + 1 = 2, 3, 4, . . .

is the dimension of the spin matrices. The normalized eigenvectors of

S_{3}

are

S_{3} | s, m 〉 = m ℏ | s, m 〉

, where

m \in {- s, . . ., s - 1, s}

3.1.1. Spin coherent states

The spin coherent states are defined by

\begin{matrix} | θ, φ 〉 \equiv e^{- i φ S_{3} / ℏ} e^{- i θ S_{2} / ℏ} | s, s 〉, \end{matrix}

(10)

where

- π < φ \leq π

, and

- π / 2 \leq θ \leq π / 2

. It follows that

\begin{matrix} d σ {(θ, φ)}^{2} \equiv {2 ℏ [| | d | θ, φ 〉 | |}^{2} - {| 〈 θ, φ | d | θ, φ 〉 |}^{2}] \\ = (s ℏ) [d θ^{2} + cos {(θ)}^{2} d φ^{2}] . \end{matrix}

(11)

We can also introduce

q = {(s ℏ)}^{1 / 2} φ

and

p = {(s ℏ)}^{1 / 2} sin (θ)

, with

| p, q 〉 = | p (θ, φ), q (θ, φ) 〉

, which leads to

\begin{matrix} d σ {(p, q)}^{2} \equiv {2 ℏ [| | d | p, q 〉 | |}^{2} - {| 〈 p, q | d | p, q 〉 |}^{2}] \\ = {(1 - p^{2} / s ℏ)}^{- 1} d p^{2} + (1 - p^{2} / s ℏ) d q^{2} . \end{matrix}

(12)

Equation (11) makes it clear that we are dealing with a spherical surface with a radius of

{(s ℏ)}^{1 / 2}

; this space is also known as a `constant positive curvature’ surface, and it has been created!

These classical variables can not lead to a physically correct canonical quantization. Instead, they offer a distinct quantization procedure that applies to different problems.

However, Eq. (12) makes it clear that if

s \to \infty

, in which case both p and q span the real line, we are led to `Cartesian coordinates’, a basic property of canonical quantization.

3.1.2. A brief review of affine quantization

Consider a classical system for which

- \infty < p < \infty

, but

0 < q < \infty

, that does not lead to a self-adjoint quantum operator P, i.e.

P^{†} \neq P

. Perhaps we can do better if we change classical variables. For example,

0 < q < \infty

– or it may arise instead that

- \infty < q < 0

. To capture these possibilities for q – and thus also for

Q (= Q^{†})

– we are led to

d = p q \Rightarrow D = (P^{†} Q + Q P) / 2 (= D^{†})

, which leads to

[Q, D] = i ℏ Q

. This expression happens to be like the Lie algebra of the “affine group” [Wik-1], and, incidentally, that name has been adopted by “affine quantization”. Again, it is useful to choose dimensions such that

q & Q

are dimensionless while

d & D

have the dimensions of ℏ.

3.1.3. Affine coherent states

The affine coherent states involve the quantum operators D and Q, where now

Q > 0

. We use the classical variables p and

ln (q)

, with

q > 0

. Specifically, we choose

\begin{matrix} | p; q 〉 \equiv e^{i p Q / ℏ} e^{- i ln (q) D / ℏ} | β 〉, \end{matrix}

(13)

where the fiducial vector

| β 〉

fulfills the condition

[(Q - 1 1) + i D / β ℏ] | β 〉 = 0

, which implies that

〈 β | Q | β 〉 = 1

and

〈 β | D | β 〉 = 0

.1 This expression leads to

\begin{matrix} H^{'} (p q, q) = 〈 p; q | H^{'} (D, Q) | p; q 〉 = 〈 β | H^{'} (D + p q Q, q Q) | β 〉 \\ = H^{'} (p q, q) + O^{'} (ℏ; p q, q), \end{matrix}

(14)

and, as

ℏ \to 0

, and

O^{'} (ℏ; p q, q) = 0

H^{'} (d, q) = H^{'} (d, q)

, a relation very similar to

H (p, q) = H (p, q)

when using CQ.

It follows that the Fubini-Study metric, for

q > 0

, becomes

\begin{matrix} d σ {(p; q)}^{2} \equiv {2 ℏ [| | d | p; q 〉 | |}^{2} - {| 〈 p; q | d | p; q 〉 |}^{2}] \\ = {(β ℏ)}^{- 1} q^{2} d p^{2} + (β ℏ) q^{- 2} d q^{2} . \end{matrix}

(15)

This expression leads to a surface that has a `constant negative curvature’ [Sch-1] of magnitude

- 2 / β ℏ

, which, like the other curvatures, has been `created’.2 The set of classical variables can not lead to a physically correct canonical quantization. Instead, they offer a distinct quantization procedure that applies to different problems. Any use of classical variables that do not form a `constant negative curvature’ subject to an affine quantization is very likely not a physically correct quantization.

The inner product of two affine coherent state vectors is given by

\begin{matrix} 〈 p^{'}; q^{'} | p; q 〉 = {[[{(q^{'} / q)}^{1 / 2} + {(q / q^{'})}^{1 / 2}] / 2 + i {(q^{'} q)}^{1 / 2} (p^{'} - p) / 2 β ℏ]}^{- 2 β}, \end{matrix}

(16)

while

\int \int | p; q 〉 〈 p; q | (1 - 1 / 2 β) d p d q / 2 π ℏ = 1 1

, provided that

β > 1 / 2

. While the variable change for all

p, q \to c p, q / c

leaves a Cartesian metric still Cartesian, while it can be seen that there is no change whatsoever in (15), illustrating the significance of the affine Fubini-Study metric.

The rule that

0 < q < \infty

is limited and we can easily consider

0 < q + k < \infty

, where

k > 0

. This changes the coherent states from

ln (q)

ln (q + k)

, which then changes the Fubini-Study metric to

{(β ℏ)}^{- 1} {(q + k)}^{2} d p^{2} + (β ℏ) {(q + k)}^{- 2} d q^{2}

. If we choose to let

k \to \infty

, and at the same time let

β ℏ \to (β ℏ + ω k^{2})

, we are led to

ω^{- 1} d p^{2} + ω d q^{2}

, now with

q \in I R

, which, once again, applies to canonical quantization. Briefly stated, we can arrange that AQ → CQ!

3.2. Summarizing Constant Curvatures and Coherent States

These three stories complete our family of `constant curvature’ spaces, specifically, constant positive, zero, and negative curvatures. Additionally, the various coherent states can be used to build “bridges” in each case that enable one to pass from the classical realm to the quantum realm or pass in the other direction. Two relative articles, for different systems, can be found in [Kla-1], [Kla-2].

4. Learning to Quantize Selected Problems

We begin with two different quantization procedures, and two simple, but distinct, problems one of which is successful and the other one is a failure in trying to use both of the quantization procedures on each example.

This exercise serves as a prelude to a valid and straightforward clarification of the fact that affine quantization and canonical quantization solve completely different sets of problems. This fact will help us when we turn to the quantization of field theories and of gravity in later chapters.

4.1. Choosing a Canonical Quantization

The classical variables,

p & q

, that are elements of a constant zero curvature, better known as Cartesian variables, such as those featured by Dirac [Dir-1], are promoted to self-adjoint quantum operators

P (= P^{†})

and

Q (= Q^{†})

, ranged so that

- \infty < P & Q < \infty

, and scaled so that

[Q, P] = i ℏ 1 1

4.1.1. First canonical example

Our example is just the familiar harmonic oscillator, for which

- \infty < p & q < \infty

and a Poisson bracket

{q, p} = 1

, also a classical Hamiltonian, with the common factors

m = ω = 1

, given by

H (p, q) = (p^{2} + q^{2}) / 2

. The quantum Hamiltonian is

H (P, Q) = (P^{2} + Q^{2}) / 2

, and Schrödinger’s representation is given by

P = - i ℏ (\partial / \partial x)

and

Q = x

, for

- \infty < x < \infty

. Finally, for our example, Schrödinger’s equation is given by

\begin{matrix} i ℏ (\partial ψ (x, t) / \partial t) = (- ℏ^{2} \partial^{2} / \partial x^{2} + x^{2}) / 2 ψ (x, t) . \end{matrix}

(17)

Solutions to Eq. (3.1) for our example are well known. In particular, for the harmonic oscillator, the eigenvalues are given by

E_{n} = ℏ (n + 1 / 2)

for

n = 0, 1, 2,, . . .

, and the eigenfunctions (with

ℏ = 1

) are given by

ψ_{n} (x) = N_{n} H_{n} (x) e^{- x^{2} / 2}

with

n = 0, 1, 2, . . .

. Here,

N_{n}

serves to enforce normalization, and the remainder is

\begin{matrix} H_{n} (x) e^{- x^{2} / 2} = e^{x^{2} / 2} {(- d / d x)}^{n} e^{- x^{2}} . \end{matrix}

(18)

This model is one of the most well understood of all examples.

4.1.2. Second canonical example

For our next example we keep the same classical Hamiltonian, and we retain

- \infty < p < \infty

, but now we restrict

0 < q < \infty

. This new model is called the `half-harmonic oscillator’. It follows that the operator

P^{†} \neq P

, which leads to a different behavior to that when P is self adjoint, i.e.,

P^{†} = P

. In particular, this can lead to infinitely many different self-adjoint Hamiltonians each of which passes to the same classical Hamiltonian that would be

(p^{2} + q^{2}) / 2

in this case. Just two of the different quantum Hamiltonians could be

H_{0} (P, Q) = (P P^{†} + Q^{2}) / 2

, while the other is

H_{1} (P, Q) = (P^{†} P + Q^{2}) / 2

. Clearly, both of these quantum Hamiltonians lead to the same classical Hamiltonian, namely

(p^{2} + q^{2}) / 2

, when

ℏ \to 0

This judgement renders the canonical quantization of the half-harmonic oscillator to be an invalid quantization.

We interrupt our present story to bring the reader an important message.

——————————————————————————

A SIMPLE TRUTH

Consider A×B=C, as well as A=B/C

If $B = C = 0$ , what is A?

If $B = C = \infty$ , what is A?

To ensure getting A one must require $0 < | B | & | C | < \infty$ .

This is good mathematics, but physics has an opinion as well.

Consider $m v = p$ . If the velocity $v = 0$ , then the momentum $p = 0$ , which makes good sense. However, if the mass $m = 0$ and the velocity $v = 9$ , then the momentum, $p = 0$ , makes bad physics. However, if any of them are infinite, that is certainly bad math as well as bad physics.

We will especially use this topic for the dilation variable $d = p q$ , where q is the coordinate of a position and p denotes its time derivative (times its mass too). The position $q (t)$ is continuous, while $p (t)$ is traditionally continuous, but it can change sign, like bouncing a ball off a wall.

We may point to an ABC-item to remind the reader of its relevance.

——————————————————————————

This important notification is finished.

4.1.3. First affine example

The traditional classical affine variables are

d \equiv p q

and

q > 0 (A B C)

, and they have a Poisson bracket given by

{q, d} = q

. In addition, we can choose a different dilation variable,

d = p (q + b)

, for which

- b < q < \infty

, generally, with

b > 0

. For very large b we can approximate a full-line harmonic oscillator and even see what happens if we choose

b \to \infty

to mimic the full-line story.

The classical affine variables now are

- \infty < d \equiv p (q + b) < \infty

and

0 < (q + b) < \infty

, while the classical harmonic oscillator Hamiltonian is given by

H^{'} (d, q) = [d^{2} / {(q + b)}^{2} + q^{2}] / 2

, an expression that obeys

H (p, q) = (p^{2} + q^{2}) / 2

albeit that

- b < q < \infty

Now we consider basic quantum operators, namely

D = [P^{†} (Q + b) + (Q + b) P)] / 2

and

Q + b

, which lead to

[Q + b, D] = i ℏ (Q + b)

, along with

Q + b > 0

The quantum `partial-harmonic oscillator’ is now given by

\begin{matrix} H^{'} (D, Q) = [D {(Q + b)}^{- 2} D + Q^{2}] / 2 = [P^{2} + (3 / 4) ℏ^{2} / {(Q + b)}^{2} + Q^{2}] / 2, \end{matrix}

while, in a proper limit, an affine quantization becomes a canonical quantization when the partial real line (

- b < q & Q < \infty

) is stretched to its full length,

(- \infty < q & Q < \infty)

Evidently, an affine quantization fails to quantize a full harmonic oscillator.

4.1.4. Second affine example

The common canonical operator expression,

[Q, P] = i ℏ 1 1

, directly implies

[Q, (P^{†} Q + Q P) / 2] = i ℏ Q

, which are the basic affine operators.

To confirm this affine expression, let us multiply

i ℏ 1 1 = [Q, P]

by Q, which gives

i ℏ Q = (Q^{2} P - Q P Q + Q P Q - P Q^{2}) / 2

, i.e.,

i ℏ Q = [Q, (Q P + P Q) / 2]

, which is the basic affine expression,

[Q, D] = i ℏ Q

, where

D \equiv (P Q + Q P) / 2 \equiv (P^{†} Q + Q P) / 2

. This derivation assumes that

Q > 0

Q < 0

. Canonical quantization implies affine quantization, but adds a limitation, for classical as well as quantum, on the coordinates.

Regarding our problem, now with

b = 0

, and so the classical affine variables are

d \equiv p q

and

q > 0

, which lead to the half-harmonic oscillator

H^{'} (d, q) = (d^{2} / q^{2} + q^{2}) / 2

. The basic affine quantum operators are D and Q, where

D (= D^{†})

and

Q > 0 (= Q^{†} > 0)

. These quantum variables lead to

[Q, D] = i ℏ Q

. The half-harmonic oscillator quantum Hamiltonian is given by

H^{'} (D, Q) = (D Q^{- 2} D + Q^{2}) / 2

, and Schrödinger’s representation is given by

Q \to x > 0

and

\begin{matrix} D = - i ℏ [x (\partial / \partial x) + (\partial / \partial x) x)] / 2 = - i ℏ [x (\partial / \partial x) + 1 / 2] . \end{matrix}

(19)

Finally, Schrödinger’s equation is given by

\begin{matrix} i ℏ (\partial ψ (x, t) / \partial t) = \\ = [- ℏ^{2} (x (\partial / \partial x) + 1 / 2) x^{- 2} (x (\partial / \partial x) + 1 / 2) + x^{2}] / 2 ψ (x, t) \\ = [- ℏ^{2} (\partial^{2} / \partial x^{2}) + (3 / 4) ℏ^{2} / x^{2} + x^{2}] / 2 ψ (x, t) . \end{matrix}

(20)

We note that kinetic factors, such as P and D, can annihilate separate features. Adopting Schrödinger’s representation, it follows thar

P 1 = 0

while

D x^{- 1 / 2} = 0

. We will exploit this simple fact in later chapters.

Solutions of (20) have been provided by L. Gouba [Gou-1]. Her solutions for the half-harmonic oscillator contain eigenvalues that are equally spaced as are the eigenvalues of the full-harmonic oscillator, although the spacing itself differs in the two cases. The relevant differential equation in (20) is known as a `spiked harmonic oscillator’, and its solutions are based on confluent hypergeometric functions. It is noteworthy that every eigenfunction,

ψ_{n} (x) \propto x^{3 / 2} (p o l y n o m i a l_{n}) e^{- x^{2} / 2 ℏ}

, which applies for all

n = 0, 1, 2, . . .

. The leading factor of the eigenfunctions, i.e.,

x^{3 / 2}

, provides a continuous result after the first derivative, but the second derivative could lead to an

x^{- 1 / 2}

behavior, except that

[- d^{2} / d x^{2} + (3 / 4) / x^{2}] x^{3 / 2} = 0

. This zero ensures that after two derivatives, the wave function is still finite, continuous, and belongs in a Hilbert space.5

It is interesting to consider an increase in the coordinate space by choosing

x + b > 0

. This leads to a related Schrödinger’s equation, given by

\begin{matrix} [- ℏ^{2} (\partial^{2} / \partial x^{2}) + (3 / 4) ℏ^{2} / {(x + b)}^{2} + x^{2}] / 2 ψ (x, t) = E_{b} ψ (x), \end{matrix}

(21)

which has been shown to also have equally spaced eigenvalues that become narrower as b becomes larger. Moreover, if

b \to \infty

, then the ℏ-term disappears and the full-harmonic oscillator, with its canonical quantization features, is fully recovered [Han-1]. In this fashion, we observe that AQ can pass to CQ, but the reverse is, apparently, impossible.

Finally, we can assert that an affine quantization of the half-harmonic oscillator can be considered to be a correctly solved problem.

4.1.5. A canonical version of the half-harmonic oscillator

We start again with the classical Hamiltonian for the half-harmonic oscillator which is still

H = (p^{2} + q^{2}) / 2

and

q > 0

, but this time we will use different coordinates. To let our new coordinate variables span the whole real line, which makes them `Ashtekar-like’ [Ash-1], we choose

q = s^{2}

, where

- \infty < s < \infty

. Thus, s is the new coordinate. For the new momentum, r , we choose

p = r / 2 s

. We choose it because the Poisson bracket

{s, r} = {\sqrt{q}, 2 p \sqrt{q}} = 1

.6 The classical Hamiltonian now becomes

H = (p^{2} + q^{2}) / 2 = (r^{2} / 4 s^{2} + s^{4}) / 2

4.1.6. A CQ attempt to solve the half-harmonic oscillator

For quantization, the new variables use canonical quantum operators,

r \to R

and

s \to S

, with

[S, R] = i ℏ 1 1

. Following the CQ rules, this leads to

H_{C Q} = [R S^{- 2} R / 4 + S^{4}] / 2 \leq \infty

. This quantum operator, using canonical operators where

[S, R] = i ℏ 1 1

, is quite different from the affine expression

H_{A Q} = [D Q^{- 2} D + Q^{2}] / 2 < \infty

, rearranged into canonical operators with

[Q, P] = i ℏ 1 1

, that leads to

H_{A Q} = [P^{2} + (3 / 4) ℏ^{2} / Q^{2} + Q^{2}] / 2 < \infty

It is self-evident that these two canonical quantum Hamiltonian operators,

H_{A Q}

and

H_{C Q}

, have different eigenfunctions and eigenvalues. Does it matter that

H_{A Q} < \infty

while

H_{C Q} \leq \infty

, due to

S = 0

while

R \neq 0

? It is clear that answers to these questions are “No”. Trying to quantize the half-harmonic oscillator, using CQ variables, has led to physically incorrect results.

Now we examine a very different model using both CQ and AQ.

5. Using CQ and AQ to Examine `The Particle in a Box’

5.1. An Example that Needs More Analysis

This model has often been used in teaching and it is introduced early in the process as an easy example to solve. The classical Hamiltonian for this model is simply

H = p^{2}

, allowing, for simplicity, that

2 m = 1

. Now the coordinate space is

- b < q < b

, where

0 < b < \infty

(which also may be chosen as

0 < q < 2 b \equiv L < \infty

). To accommodate the CQ operators, we assume that outside the box there are infinte potentials that force any wave functions to be zero in the entire outside region where

| x | \geq b

. Inside the box we have the quantum equation

\begin{matrix} - ℏ^{2} (d^{2} ϕ_{n} (x) / d x^{2}) = E_{n} ϕ_{n} (x) . \end{matrix}

(22)

Evidently, cos and sin are relevant. In particular,

ϕ (- b) = ϕ (b) = 0

is necessary to continuously join the squashed wave functions,

ϕ (| x | \geq b) = 0

. This leads to eigenfunctions which are

cos (n π x / 2 b)

for

n = 1, 3, 5, . . .

and

sin (n π x / 2 b)

for

n = 2, 4, 6 . . .

. That leads to the eigenvalues

n^{2} π^{2} / 4 b^{2}

, now for

n = 1, 2, 3.4, . .

5.1.1. Failure of the canonical quantization of the particle in a box

While the statements in the last section seem to be correct, there is a problem. Let us focus on the ground state,

cos (π x / 2 b)

. We need to consider two derivatives of this function, so let us start with

{cos}^{'} (x) = - (π / 2 b) sin (π x / 2 b)

which leads to

{cos}^{'} (\pm b) = - \pm π / 2 b

, i.e., the first derivative is not a continuous function with the squashed portion. This forces the second derivative to contain two factors proportional to

δ (| x | = b)

, the Dirac delta function

δ (x)

, which vanishes everywhere but

x = 0

where

δ (0) = \infty

, such that

\int_{- a}^{a (> 0)} δ (x) d x = 1

. It now follows that

\int δ {(x)}^{2} d x = \infty

, which then excludes such a function, which is supposed to be finite, e.g.,

{\int | ϕ (x) |}^{2} d x < \infty

, to join any Hilbert space.

It was remarked in Wikipedia’s discussion of the particle in a box [Wik-2] that the first derivative was not continuous as it should have been, but effectively, ignoring it afterwards.

In summary, we conclude that by using CQ, the standard treatment and results for the particle in a box are incorrect.

The reduced coordinate space now requires a newly named dilation variable,

d^{'} = p (b + q) (b - q) = p (b^{2} - q^{2})

, along with accepting only

- b < q < b

. Using affine variables, the classical Hamiltonian now becomes

H^{'} = d^{' 2} / {(b^{2} - q^{2})}^{2}

. Following the affine quantization rules, means that the

D^{'} = [P^{†} (b^{2} - Q^{2}) + (b^{2} - Q^{2}) P] / 2

, and the quantum Hamiltonian is

\begin{matrix} H^{'} = D^{'} {(b^{2} - Q^{2})}^{- 2} D^{'} = P^{2} + ℏ^{2} [2 Q^{2} + b^{2}] / {[b^{2} - Q^{2}]}^{2} . \end{matrix}

(23)

The new ℏ-expression is unravelled later in the Appendix to Section 5.

When comparing the different ℏ-terms, we find, with using

Q \to x

, that if

x ≃ \pm b

, then

[2 x^{2} + b^{2}] / {(b^{2} - x^{2})}^{2} ≃ 3 b^{2} / {(b \mp x)}^{2} 4 b^{2}

, which mimics the

(3 / 4)

-factor for the half-harmonic oscillator. This implies that the x term in eigenfunctions, extremely close to either

\pm b

, should be like

ψ (x) ≃ {(b^{2} - x^{2})}^{3 / 2} (r e m a i n d e r)

For a moment, we take an about face

A very different use of (23) is to accept the outside space,

| x | > b

, and reject

| x | < b

, which then becomes an `anti-box’.

Note that this system has a similarity to a toy `black hole’. It could happen that particles would pile up close to an `end of space’, while having been attracted there by a simple, “gravity-like”, pull of a potential, such as

V (x) = W^{2} x^{4}

. If you choose AQ, then the barracked, ℏ-like term, in (23), would prevent the particles from falling `out of space’ [Kla-3], while the shores exhibit light from the fires of trapped trash.

5.1.2. Removing a single point

Assuming that we still have chosen the outside,

| x | > b

, coordinates, it is noteworthy that if we focus on the region where

b \to 0

, while insisting that

| x | > 0

. In this case, the ℏ-term becomes

2 ℏ^{2} / x^{2}

. However, the previous eigenfunction behavior of

{(x^{2} - b^{2})}^{3 / 2}

, now with

x^{2} > b^{2}

, implies that any eigenstates (again, having potentials, like

V (x) = {| x |}^{r}

, for

r \geq 2

, that reach infinity) must start like

ψ_{n} (x) ≃ x^{3} (r e m a i n d e r_{n})

. This offers effective continuity for the eigenfunction and its first two derivatives, even though

x \neq 0

can permit a more different behavior on either side of

x = 0

. This, then, is the `cost’ to remove a single point in the usual coordinate space, e.g., in this case, removing just the single point at

q = 0

This result has been made possible using AQ and not using CQ, which requires including all x, i.e.,

- \infty < x < \infty

A Vector Version: The point we now wish to remove is

\vec{q} = 0

; stated, we want to retain all the variables that obey

{\vec{q}}^{2} > 0

and all those of

{\vec{p}}^{2} \geq 0

. In addition, we introduce

{\vec{P}}^{2} = Σ_{j = 1}^{s} P_{j}^{2}

and

{\vec{Q}}^{2} = Σ_{j = 1}^{s} Q_{j}^{2} > 0

Using these variables, we are led to

d^{*} = | \vec{p} | ({\vec{q}}^{2} - b^{2})

, which leads to

{\vec{p}}^{2} = d^{* 2} / {({\vec{q}}^{2} - b^{2})}^{2}

. Quantizing, we have

D^{*} = [| \vec{P} | ({\vec{Q}}^{2} - b^{2}) + ({\vec{Q}}^{2} - b^{2}) | \vec{P} |] / 2 (= D^{* †})

. Adopting the kinetic factor,

D^{*} {({\vec{Q}}^{2} - b^{2})}^{- 2} D^{*}

, that equation also unfolds, in a fashion similar to that shown in the Appendix to Section 5, below, and leads to the quantum Hamiltonian

\begin{matrix} H = \frac{1}{2} [{\vec{P}}^{2} + ℏ^{2} (2 {\vec{Q}}^{2} + b^{2}) / {({\vec{Q}}^{2} - b^{2})}^{2}] + V ({\vec{Q}}^{2}) . \end{matrix}

(24)

Just by sending

b^{2} \to 0

, we achieve the situation where only the single point, i.e.,

{\vec{q}}^{2} = 0 \to {\vec{Q}}^{2} = 0

is removed from our s-dimensional space. The quantum Hamiltonian in this case is

\begin{matrix} H_{s} = \frac{1}{2} [{\vec{P}}^{2} + 2 ℏ^{2} / {\vec{Q}}^{2}] + V ({\vec{Q}}^{2}) . \end{matrix}

(25)

To offer a justification that this relation holds for all

\vec{Q}

including just the case where

s = 1

, i.e., just

Q^{2}

. To do so, let us introduce the wave function

ψ (x) = U (x) W_{B} (B x_{j}),

by introducing a partial expectation of the Hamiltonian given by

\begin{matrix} \int W_{B} {(B x_{j})}^{*} [{\vec{P}}^{2} - 2 V (x^{2})] W_{B} (B x_{j}) d^{s - 1} x \\ = \int W_{B} {(B x_{j})}^{*} 2 ℏ^{2} [2 / (x^{2} + Σ_{j = 2}^{s} x_{j}^{2})] W_{B} (B x_{j}) d^{s - 1} x \end{matrix}

(26)

in which we have integrated all

x_{j}

except

x = x_{1}

. Now, for all, but

x_{1}

, we let

x_{j} \to x_{j} / B

, which changes the previous equation to become

\begin{matrix} \int W_{C} {(x_{j})}^{*} [{\vec{P}}^{2} - 2 V (x^{2} + B^{- 2} Σ_{j} x_{j}^{2})] W_{C} (x_{j}) d^{s - 1} x \\ = \int W_{C} {(x_{j})}^{*} 2 ℏ^{2} [2 / (x^{2} + B^{- 2} Σ_{j} x_{j}^{2})] W_{C} (x_{j}) d^{s - 1} x . \end{matrix}

(27)

The purpose of this exercise is to show that the original quantum Hamiltonian (25) for s many dimensions holds the equation for a final quantum Hamiltonian (27) as

B \to \infty

for a single dimension.

Briefly stated, an

(s - 1)

-dimensional reduction may be arranged that can force all of those coordinates to become zero. This leaves behind just one of the coordinates, which is part of a proper equation, and is already waiting to fulfill its duty.7

5.2. Lessons from Canonical and Affine Quantization Procedures

An important lesson from the foregoing set of examples is that canonical quantization requires special classical variables, i.e.,

- \infty < p & q < \infty

, that create a flat surface, to be promoted to valid quantum operators that satisfy

- \infty < P & Q < \infty

. However, an affine quantization requires different classical variables, e.g.,

- \infty < d_{b} = p (b + q) < \infty

and

- b < q < \infty

, chosen so that

0 < b < \infty

, to be promoted to valid affine quantum operators, which satisfy

- \infty < D < \infty

and

- b < Q < \infty

, provided that the classical variables arise from a constant negative curvature.

The essential information from this exercise is that affine quantization variables are created from canonical quantization variables and they permit – classical and quantum alike – in having a limited behavior where

- b < q & Q < \infty

, b is finite, and

- \infty < d & D < \infty

Appendix to Section 5

Any tired reader may skip to the last paragraph [F-K-3].

Our analysis of general dilation variables is given as follows. The quantum kinetic term (now, with

ℏ = 1

) in affine variables is

D F^{- 2} D

. This expression, is helped by

F = F (Q), G = G (Q) \equiv 1 / F (Q), F (Q) P - P F (Q) = i F^{'} (Q)

. and

G (Q) P - P G (Q) = i G^{'} (Q)

leads to

4 D G^{2} D = (P F + F P) G G (P F + F P) = P P + F P G G P F + F P G P + P G P F = P P + (P F + i F^{'}) G G (F P - i F^{'}) + (P F + i F^{'}) G P + P G (F P - i F^{'}) = 4 P P + 2 i (F^{'} G P - P G F^{'}) + F^{'} G G F^{'} = 4 P P - 2 {(F^{'} G)}^{'} + {(F^{'})}^{2} G^{2} .

Restoring ℏ, we have

D G^{2} D = P^{2} + (1 / 4) ℏ^{2} [{(F^{'})}^{2} G^{2}

- 2 {(F^{'} G)}^{'}]

Keeping ℏ, and here, using

D = [P^{†} F (Q) + F (Q) P] / 2

, then

D F^{- 2} D = P^{2} + (1 / 4) ℏ^{2} [{(ln {(F)}^{'})}^{2} - 2 {(ln (F))}^{''}]

, where, symbolically,

F^{'} (Q) = d F (Q) / d Q

. For

F (Q) = (Q^{2} - b^{2})

, we now find the ℏ-term to be

ℏ^{2} (2 Q^{2} + b^{2}) / {(b^{2} - Q^{2})}^{2}

6. Ultralocal Field Models

6.1. Introduction

In some ways, our first example of a field theory is the hardest to deal with its quantization. An ultralocal form of any classical field theory eliminates all spatial (but not temporal) derivatives in its action functional, and specifically, in its classical Hamiltonian such as

H = \int {\frac{1}{2} [π {(x)}^{2} + m^{2} φ {(x)}^{2}] + g φ {(x)}^{p}} d^{s} x

, where

p = 4, 6, 8, . . .

and

s = 1, 2, 3, . . .

If we can handle this model, we should be able to handle more relevant relativistic field models that restore spatial derivatives.

6.2. What is the Meaning of Ultralocal

The phrase `ultralocal’ implies there are no spatial derivatives of the fields only a separate time derivative. Previously, one of the authors has quantized ultralocal scalar fields by affine quantization to show that these non-renormalizable theories can be correctly quantized by affine quantizations; the story of such scalar models is introduced in this chapter. The present chapter will also show that ultralocal gravity can be successfully quantized by affine quantization.

The purpose of this study is to show that a successful affine quantization of any ultralocal field problem would imply that, with properly restored spacial derivatives, the classical theory can, in principle, be guaranteed a successful quantization result using either a canonical quantization in some cases or an affine quantization in different cases.

In particular, Einstein’s gravity requires an affine quantization, and it will be successful, as we will find out in a following chapter.

6.3. Classical and Quantum Scalar Field Theories

The purpose of this section is to review a modest summary of the results of canonical quantization when it has been used to study a variety of covariant scalar field models.

We interrupt our present story to up grade `A Simple Truth’ to prepare the reader for its use with fields,

——————————————————————————

ANOTHER SIMPLE TRUTH

Consider $A (x) \times B (x) = C (x)$ as well as $A (x) = C (x) / B (x)$

If $B (x) = C (x) = 0$ what is $A (x)$ ?

If $B (x) = C (x) = \infty$ what is $A (x)$ ?

To ensure getting $A (x)$ one must require $0 < | B (x) | & | C (x) | < \infty$ .

This is good mathematics, but physics has an opinion as well.

Consider $k (x) = π (x) φ (x)$ , where $φ (x)$ is a chosen physical field, $π (x)$ is its momentum field, and their product is $κ (x)$ , which we will call the dilation field. Since $π (x)$ serves as the time derivative of $φ (x)$ , it can vanish along with $κ (x)$ . However, requiring that both plus and minus sides of $φ (x) \neq 0$ are acceptable, since the derivative term ensures it will still seem to come from a continuous function. Moreover, if $φ (x) = 0$ it could be confused with any other field, e.g., $α (x) = 0$ .8

It is good math for finite integrations if there are examples where the fields may reach infinity, e.g., $\int_{- 1}^{1} φ^{- 2 / 3} d φ < \infty$ . However, such cases are very likely to be bad physics because no item of nature reaches infinity. Accepting $κ (x) (= π (x) φ (x))$ and $φ (x) \neq 0$ , instead of $π (x)$ and $φ (x)$ , as the basic variables, will have profound consequences.

For example, the classical Hamiltonian expressed as

\begin{matrix} H = \int {\frac{1}{2} [κ {(x)}^{2} / φ {(x)}^{2} + m^{2} φ {(x)}^{2}] + g φ {(x)}^{p}} d^{s} x, \end{matrix}

(28)

in which $0 \leq | κ (x) | < \infty$ and $0 < | φ (x) | < \infty$ , to well represent $π (x)$ , fulfills the remarkable property that $H (x) < \infty$ , where $H = \int H (x) d^{s} x$ ,as nature requires!This fact shows that $κ (x)$ and $φ (x) \neq 0$ should be the new variables!

We now point to our new ABC-items to remind the reader of their relevance.

——————————————————————————

This important notification is finished.

6.4. Canonical Ultralocal Scalar Fields

These models have a classical (labelled by c) Hamiltonian given by

\begin{matrix} H_{c} = \int {\frac{1}{2} [π {(x)}^{2} + m^{2} φ {(x)}^{2}] + g φ {(x)}^{p}} d^{s} x, \end{matrix}

(29)

with

p = 4, 6, 8, . . .

and

s = 1, 2, 3, . . .

. With

n = s + 1

spacetime dimensions, and first using canonical quantization, we examine these models. In preparation for a possible path integration, the domain of

H_{c}

consists of all, momentum functions

π (x)

and scalar fields

φ (x)

, for which

0 \leq H_{c} < \infty

Since all derivatives have now been removed even stronger issues can be expected by path integrations being swamped by integrable-infinities of the field, or by vast numbers of almost integrable-infinities. However, effectively, that strong behavior fails to contribute to the path integration results, e.g., for

p \geq 4

, while the middle range contributions have the most influence on the final result.

To confirm that view, Monte Carlo computations have shown an effectively free-like behavior for analogous CQ models [F-K-1].

6.5. An Affine Ultralocal Scalar Field

Affine classical variables are given by

κ (x) \equiv π (x) φ (x)

and

φ (x)

, with the restriction that

φ (x) \neq 0

(ABC), and the Poisson bracket is given by

{φ (x), κ (x^{'})} = δ {(x - x^{'})}^{s} φ (x)

. The ultralocal classical Hamiltonian, expressed in affine variables, is given by

\begin{matrix} H_{u} = \int {\frac{1}{2} [κ {(x)}^{2} / φ {(x)}^{2} + m^{2} φ {(x)}^{2}] + g φ {(x)}^{p}} d^{s} x . \end{matrix}

(30)

The term

κ {(x)}^{2} / φ {(x)}^{2}

requires that

0 < | φ (x) | < \infty

to be fair to

κ (x)

, while

κ (x)

is limited only by

| κ (x) | < \infty

to be fair to

φ (x)

(ABC). Observe that

0 < | φ (x) | < \infty

now implies that

{0 < | φ (x) |}^{p} < \infty

for all

0 < p < \infty

and for all

s = 1, 2, 3, . . .

The basic quantum operators are

\hat{φ} (x) \neq 0

and

\hat{κ} (x)

, and their commutator is given by

[\hat{φ} (x), \hat{κ} (x^{'})] = i ℏ δ^{s} (x - x^{'}) \hat{φ} (x)

. The quantum, ultralocal, affine Hamiltonian, is now given by

\begin{matrix} H = \int {\frac{1}{2} [\hat{κ} (x) \hat{φ} {(x)}^{- 2} \hat{κ} (x) + m^{2} \hat{φ} {(x)}^{2}] + g \hat{φ} {(x)}^{p}} d^{s} x, \end{matrix}

(31)

with

\hat{κ} (x) = - \frac{1}{2} i ℏ [φ (x) (δ / δ φ (x)) + (δ / δ φ (x))

φ (x)]

Clearly this is a formal equation for the Hamiltonian operator, etc. Such expressions deserve a regularization and rescaling of these equations.

The kinetic term in (31) is

K (\hat{π}, \hat{φ}) = \hat{κ} (x) \hat{φ} {(x)}^{- 2} \hat{κ} (x) = \hat{π} {(x)}^{2} + 2 ℏ^{2} W / \hat{φ} {(x)}^{2},

where

W = δ {(0)}^{2 s} = \infty

, and

δ

(x) is a special function of Dirac. Now, a kinetic scaling can take simply by first let

Z = {(a^{2} W)}^{1 / 4}

and then

K {(\hat{π}, \hat{φ})}_{n e w} = Z^{- 2} K (Z \hat{π}, Z \hat{φ}) = \hat{π} {(x)}^{2} + 2 ℏ^{2} / a^{2} \hat{φ} {(x)}^{2}

, and since

0 < a < \infty

, any factor is allowed.

It is noteworthy that Monte Carlo computations have shown a reasonable, active behavior, for analogous AQ models [F-K-1], [F-K-6].

7. An Ultralocal Gravity Model

An affine formulation would use the classical metric

g_{a b} (x)

, which, as before, has a positivity requirement, while the momentum field will be replaced by the dilation field,

π_{b}^{a} (x)

[\equiv π^{a c} (x) g_{b c} (x)]

, summed by c. These basic affine variables are promoted to quantum operators, both of which can be self-adjoint, while the metric operator is also positive as required.

The principle of using ultralocal rules, as before, is that spacial derivatives must be eliminated. To satisfy that rule, we drop the factor

^{(3)} R (x)

, the Ricci scalar field composed of the metric field and its spacial derivatives, and replace it with a new function,

Λ (x)

, which will be called a `Cosmological Function’ to imitate the standard constant factor,

Λ

, known as the `Cosmological Constant’. This new function is independent of the dilation and metric functions, and is simply used as a continuous function that obeys

0 < Λ (x) < \infty

, or otherwise.

With this substitution, the ultralocal classical Hamiltonian is now given by

\begin{matrix} H_{u} = \int {g {(x)}^{- 1 / 2} [π_{b}^{a} (x) π_{a}^{b} (x) - \frac{1}{2} π_{a}^{a} (x) π_{b}^{b} (x)] + g {(x)}^{1 / 2} Λ (x)} d^{3} x . \end{matrix}

(32)

Since there are no spatial derivatives, we are given another example that every spatial point x labels a pair of distinct variables, namely

π_{b}^{a} (x)

and

g_{c d} (x)

. Once again, we find a quantum wave function, using the Schrödinger representation for the metric field

g_{a b} (x)

, that is a product of independent spacial values of the form

Ψ ({g}) = Π_{x} W (x)

, where

{g}

denotes

g_{a b} (\cdot)

for all x.

When this Hamitonian is quantized, the only variables that are promoted to quantum operators are the metric field,

g_{a b} (x)

, and the dilation (or, sometime known as `momentric’ to include momentum and metric) field,

π_{b}^{a} (x) = π^{a c} (x) g_{b c} (x)

, and the field

Λ (x)

is fixed and not made into any operator.

7.1. An Affine Quantization of Ultralocal Gravity

The quantum operators are

{\hat{g}}_{a b} (x)

and

{\hat{π}}_{d}^{c} (x)

, and their Schrödinger representations are given by

{\hat{g}}_{a b} (x) = g_{a b} (x)

and

{\hat{π}}_{b}^{a} (x) = - i \frac{1}{2} ℏ [g_{b c} (x)

(δ / δ g_{a c} (x)) + (δ / δ g_{a c} (x)) g_{b c} (x)]

The Schrödinger equation for the ultralocal Hamiltonian is then given by

\begin{matrix} i ℏ \partial ψ ({g}, t) / \partial t = \int {{\hat{π}}_{b}^{a} (x) g {(x)}^{- 1 / 2} {\hat{π}}_{a}^{b} (x) - \frac{1}{2} {\hat{π}}_{a}^{a} (x) g {(x)}^{- 1 / 2} {\hat{π}}_{b}^{b} (x) \\ + g {(x)}^{1 / 2} Λ (x)} d^{3} x ψ ({g}, t), \end{matrix}

(33)

where, as noted, the symbol

{g}

denotes the full metric matrix. Solutions of (33) are governed by the Central Limit Theorem.

7.2. A Regularized Affine Ultralocal Quantum Gravity

Much like the regularization of the ultralocal scalar fields, we introduce a discrete version of the underlying space such as

x \to k a

, where

k \in {. . ., - 1, 0, 1, 2, 3, . . .}^{3}

and

a > 0

is the spacing between rungs in which, for the Schrödinger representation,

g_{a b} (x) \to g_{a b k}

and

{\hat{π}}_{d}^{c} (x)

\to {\hat{π}}_{d k}^{c}

. It can be helpful by assuming that the metric has been diagonalized so that

g_{a b k} \to {g_{11 k}, g_{22 k}, g_{33 k}}

, as it becomes

\begin{matrix} {\hat{π}}_{d k}^{c} = - i \frac{1}{2} ℏ [g_{d e k} (\partial / \partial g_{c e k}) + (\partial / \partial g_{c e k}) g_{d e k}] a^{- s} \\ = - i ℏ [g_{d e k} (\partial / \partial g_{c e k}) + δ_{d}^{c} / 2] a^{- s} . \end{matrix}

(34)

Take note that

{\hat{π}}_{b k}^{a} g_{k}^{- 1 / 2} = 0

, where

g_{k} = det (g_{a b k})

. We will exploit such an expression one more time.

The regularized Schrödinger equation is now given by

\begin{matrix} i ℏ \partial ψ (g, t) / \partial t \\ = \sum_{k} {{\hat{π}}_{b k}^{a} g_{k}^{- 1 / 2} {\hat{π}}_{a k}^{b} - \frac{1}{2} {\hat{π}}_{a k}^{a} g_{k}^{- 1 / 2} {\hat{π}}_{b k}^{b} + g_{k}^{1 / 2} Λ_{k}} a^{s} ψ (g, t) . \end{matrix}

(35)

Observe that

g_{k} = det (g_{a b k})

is now the only representative of the metric

g_{a b_{k}}

A normalized, stationary solution to this equation may be given, by some

Y (g_{k})

, which obeys

Π_{k} \int {| Y (g_{k}) |}^{2} (b a^{3}) / g_{k}^{(1 - b a^{3})} d g_{k} = 1

, which offers a unit normalization for

\begin{matrix} Ψ_{Y} (g) = Π_{k} Y (g_{k}) {(b a^{3})}^{1 / 2} g_{k}^{- (1 - b a^{3}) / 2} . \end{matrix}

(36)

The Characteristic Function for such expressions is given by

\begin{matrix} C_{Y} (f) = {lim}_{a \to 0} Π_{k} \int e^{i f_{k} g_{k}} {| Y (g_{k}) |}^{2} (b a^{3}) g_{k}^{- (1 - b a^{3})} d g_{k} \\ = {lim}_{a \to 0} Π_{k} {1 - (b a^{3}) \int [1 - e^{i f_{k} g_{k}}]} {| Y (g_{k}) |}^{2} � � � g_{k}^{- (1 - b a^{3})} d g_{k} \\ = exp {- b \int d^{3} x \int [1 - e^{i f (x) g (x)}] | Y (g (x)) |^{2} d g (x) / g (x)}, \end{matrix}

(37)

where the scalar

g_{k} \to g (x) > 0

and Y accommodates any change due to

a \to 0

. The final result is a (generalized) Poisson distribution, which obeys the Central Limit Theorem.

The formulation of Characteristic Functions for gravity establishes the suitability of an affine quantization as claimed. Although this analysis was only for an ultralocal model, it nevertheless points to the existence of proper quantum solutions for Einstein’s general relativity.

7.3. The Main Lesson from Ultralocal Gravity

Just like the success of quantizing ultralocal scalar models, we have also showed that ultralocal gravity can be quantized using affine quantization. The purpose of solving ultralocal scalar models was to ensure that non-renormalizable covariant fields can be solved using affine quantization. Likewise, the purpose of quantizing an ultralocal version of Einstein’s gravity shows that we should, in principle, and using affine quantization, be able to quantize the genuine version of Einstein’s gravity using affine quantization; see arXiv:2203.15141.

The analysis of certain gravity models with significant symmetry may provide examples that can be completely solved using the tools of affine quantization.

8. How to Quantize Relativistic Fields

If the reader thinks that canonical quantization is the best way to quantize relativistic field theories, the reader should read this chapter carefully.

8.1. Reexamining the Classical Territory

We now turn from ultralocal models to those that are relativistic. These are models that really can represent nature, and they are clearly the most important examples. The principal example of a covariant scalar field theory is the usual one that we focus on, namely

\begin{matrix} H = \int H (x) d^{s} x = \int {\frac{1}{2} [π {(x)}^{2} + {(\vec{\nabla} φ (x))}^{2} + m^{2} φ {(x)}^{2}] + g φ {(x)}^{p}} d^{s} x . \end{matrix}

(38)

This example is meant to deal with fields that obey the rule that

| π (x) | + | φ (x) | < \infty

to ensure that

H (x) < \infty

. That is a very reasonable restriction, however a path integration can violate that rule. We have in mind integrable-infinities, such as

π {(x)}^{2} = 1 / {| x |}^{2 s / 3}

, where s is the number of spatial coordinates, i.e.,

{| x |}^{2} = x_{1}^{2} + x_{2}^{2} + \dots + x_{s}^{2}

, which from a classical viewpoint seem unlikely, but from a path integration point of view it seems very likely. Such integrable-infinities encountered here in the classical analysis lead to nonrenormalizable behavior in which the domain of the variables for a free model, i.e.,

g = 0

, becomes reduced then, when

g > 0

, and

p \geq 2 n / (n - 2)

, with

n = s + 1

. Since the domain of the classical variables becomes reduced, it remains that way when the coupling constant is reduced to zero using

g \to 0

. With such behavior for the classical analysis, there is every reason to expect considerable difficulties in using canonical quantization.

To make that statement clear, it is a fact that Monte Carlo calculations for the scalar fields

φ_{3}^{12}

and

φ_{4}^{4}

apparently led to free results, using CQ, as if the coupling constant

g = 0

when that was not the case, but offered reasonable results using AQ [Fan-1], [F-K-4]. Clearly, integrable-infinities are notwelcome!

This section will draw on Section 5 to a large extent, although it has been somewhat changed by the introduction of the gradient term. That may lead to some repeats of certain topics.

8.1.1. A simple way to avoid integrable-infinities

Let us, again, introduce a new field,

κ (x) \equiv π (x) φ (x)

, as a featured variable rather than

π (x)

, to accompany

φ (x) \neq 0

(ABC). We really don’t `change any variable’, but just give the usual ones `a new role’.

Some care is needed in choosing

κ (x)

and

φ (x)

as the new pair of variables, and physics can be a good guide.

Let us recall the simple analog, namely

p = m v

. If the velocity

v = 0

, then physics agrees that the momentum

p = 0

. However, if the mass

m = 0

and

v = 6

, then having

p = 0

, along with any term being infinity, is very bad physics. Instead, physics requires that

0 \leq | v | & | p | < \infty

and

0 < m < \infty

makes good physics. This story can apply to other variables, and as has often been noted, we point to such items as (ABC).

In our case, we assume

φ (x)

is a physical field,

π (x)

is its time derivative, and

κ (x) \equiv π (x) φ (x)

, their product, which will be called the `dilation field’, serves as a kind of momentum. Now, using a similar argument as above, we accept the assertion that

0 \leq | κ (x) | & | π (x) | < \infty

and

0 < | φ (x) | < \infty

, which makes good physics.

The reader may still worry about requiring

φ (x) \neq 0

. Surely, integrations like

\int φ {(x)}^{r} d^{s} x

r > 0

, are not affected. However, there is a good reason to accept it. Such an equation lends itself to

φ (x) = 0 = ζ (x)

if two different fields might find this fact. If you worry about dimensions, or different charges (denoted here by

^{*}

), you can use

φ (y) \neq 0

and

ζ (z) \neq 0

ζ^{*} (z) \neq 0

, which then leads to

φ (x) / φ (y) = 0 = ζ (x) / ζ (z)

φ (x) / φ (y) = 0 = ζ {(x)}^{*} / ζ {(z)}^{*}

which equates two fully dimensionless terms. Adopting

φ (x) \neq 0

still leads to continuity thanks to the presence of the gradient term,

{(\vec{\nabla} φ (x))}^{2}

, which enforces a necessarily continuous field behavior.

8.1.2. The absence of infinities by using affine field variables

Now, let us use

κ (x)

and

φ (x) \neq 0

as the new variables to be used in the classical Hamiltonian (38), which then becomes

\begin{matrix} H = \int {\frac{1}{2} [κ {(x)}^{2} / φ {(x)}^{2} + {(\vec{\nabla} φ (x))}^{2} + m^{2} φ {(x)}^{2}] + g φ {(x)}^{p}} d^{s} x . \end{matrix}

(39)

Now, things are different. To represent

π (x)

, then

κ (x)

and

φ (x)

, must serve their role. Hence we require that

0 < | φ (x) | < \infty

, which implies that

{0 < | φ (x) |}^{p} < \infty

for all

0 < p < \infty

and all s. In addition, we require that

| κ (x) | < \infty

for a similar reason. The gradient term, which arises in the spacial derivative

(\vec{\nabla} κ (x)) = (\vec{\nabla} π (x)) φ (x) + π (x) (\vec{\nabla} φ (x))

, creates another kind of (ABC) issue that leads to

| (\vec{\nabla} φ (x)) | < \infty

. The Hamiltonian density,

H (x)

, is now finite everywhere! It follows that the Hamiltonian,

H = \int H (x) d^{s} x

, will be finite if it is confined to any finite spacial region, or if the field values taper off sufficiently, as is customary.

Although we have pointed out some difficulties that might arise in a canonical quantization, we follow a careful road to see how far we can get.

The usual continuum limit of the canonical quantum Hamiltonian leads to

\begin{matrix} H = \int {\frac{1}{2} [\hat{π} {(x)}^{2} + {(\vec{\nabla} \hat{φ} (x))}^{2} + m^{2} {\hat{φ}}^{2} {(x)}^{2}] + g \hat{φ} {(x)}^{p}} d^{s} x, \end{matrix}

(40)

but now there is some confusion.

The confusion arises in comparing

[Q_{k}, P_{l}] = i ℏ δ_{k l} 1 1

with

[\hat{φ} (x), \hat{π} (y)] = i ℏ δ (x - y) 1 1

. As with the ultralocal case, it seems that we have a big difference in scale when

p \geq 2 n / (n - 2)

and the domain reduction appears when the interaction term is active compered with if it is not active. The same issue applied to the ultralocal case, which the p-value happened even earlier due to the absence of the gradient term, which, then is

p > 2

. From a path integration viewpoint, fields like

| φ (x) | > > 1

are less likely to help their contribution. That can also apply to

| φ (x) | < < 1

about the fields. Indeed, having both

π (x)

and

φ (x)

fields in `the middle’ tends to make them more prominent features in a path integration.

8.2. Affine Quantization of Relativistic Field Models

8.2.1. Affine classical variables for selected field theories

We first reexamine the features of a classical Hamiltonian once again, now with the affine variables

κ (x)

and

φ (x) \neq 0

, which becomes

\begin{matrix} H = \int {\frac{1}{2} [κ {(x)}^{2} / φ {(x)}^{2} + {(\vec{\nabla} φ (x))}^{2} + m^{2} φ {(x)}^{2}] + g φ {(x)}^{p}} d^{s} x . \end{matrix}

(41)

In this case, we need

0 < | φ (x) | < \infty

, and

| \vec{\nabla} φ (x) | & | κ (x) | < \infty

(ABC). This requirement leads to the Hamiltonian density,

H (x)

, which will entirely be

0 \leq H (x) < \infty

, for all x, signally that integrable-infinities may be excluded. That is true, and it must be obeyed, also in a path integration. This rule, regarding quantization, already distinguishes AQ from CQ.

If new variables can calm down the classical Hamiltonian, is it possible that they might also calm down the quantum Hamiltonian? Let’s see how we can do just that!

8.2.2. An affine quantization of relativistic fields

We first focus on the several field factors, which obey

π {(x)}^{2} = κ {(x)}^{2} / φ {(x)}^{2}

. Using Schrödinger’s representation, the quantization of these fields leads to

π {(x)}^{2} \Rightarrow \hat{κ} (x) {(φ (x))}^{- 2} \hat{κ} (x)

, where

\hat{κ} (x) = [\hat{π} {(x)}^{†} φ (x) + φ (x) \hat{π} (x)] / 2

. In a similar case, in an earlier chapter, we found that

p^{2} = d^{2} / q^{2} \to D Q^{- 2} D = P^{2} + 2 ℏ^{2} / Q^{2}

, with

D = (P^{†} Q + Q P) / 2

. Now, we follow the same path, more or less.

Still using Schrödinger’s representation, then

\begin{matrix} π {(x)}^{2} = κ {(x)}^{2} / φ {(x)}^{2} \Rightarrow \hat{κ} (x) (φ {(x)}^{- 2}) \hat{κ} (x) \\ = \hat{π} {(x)}^{2} + 2 ℏ^{2} δ {(0)}^{2 s} / φ {(x)}^{2}, \end{matrix}

(42)

which involves the Dirac delta function much like

[\hat{φ} (x), \hat{π} (x)] = i ℏ δ {(0)}^{s} 1 1

does as well.

Now is the time to introduce some scaling. Such a feature can adopt

π_{κ} \to a^{- s / 2} P_{κ}

and

φ_{κ} \to a^{- s / 2} Q_{κ}

, with

{\hat{κ}}_{κ} = ({\hat{π}}_{κ}^{†} {\hat{φ}}_{κ} + {\hat{φ}}_{κ} {\hat{π}}_{k}) / 2 = a^{- s} [P_{κ}^{†} Q_{κ} + Q_{κ} P_{κ}] / 2

. Now we re-examine the kinetic factor for which

{\hat{κ}}_{κ} ({\hat{φ}}_{κ}^{- 2}) {\hat{κ}}_{κ} = a^{- s} P_{κ}^{2} + 2 a^{- 2 s} ℏ^{2} / a^{- s} Q_{κ}^{2}

. This regularization now leads to a regularized quantum Hamiltonian

\begin{matrix} H = Σ_{κ} a^{- s} {\frac{1}{2} [P_{κ}^{2} + 2 ℏ^{2} / Q_{κ}^{2} + m^{2} Q_{κ}^{2}] + g Q_{κ}^{p}} a^{s}, \end{matrix}

(43)

provided that

g a^{- s (p - 2) / 2} \to g a^{- s}

by properly changing g.

8.2.3. Schrödinger’s representation and equation

We are now in position to suggest the important affine quantization of standard classical models such as

\begin{matrix} H = \int {\frac{1}{2} [κ {(x)}^{2} / φ {(x)}^{2} + {(\vec{\nabla} φ (x))}^{2} + m^{2} φ {(x)}^{2}] + g φ {(x)}^{p}} d^{s} x, \end{matrix}

(44)

followed by the usual rules leading to

\begin{matrix} \int {\frac{1}{2} [\hat{κ} (x) (φ {(x)}^{- 2}) \hat{κ} (x) \\ + {(\vec{\nabla} φ (x))}^{2} + m^{2} φ {(x)}^{2}] + g φ {(x)}^{p}} d^{s} x Ψ (φ) = E Ψ (φ) . \end{matrix}

(45)

As like other Characteristic Functions, such as were used for the ultralocal models, we note that any normalized wave function, such as

Π_{x} W (φ (x)) / φ {(x)}^{1 / 2}

in the Hilbert space, a Fourier transformation leads to

\begin{matrix} C_{W} (f) = exp {- b \int d^{s} x \int [1 - e^{i f (x) φ (x)}] | W (φ (x)) |^{2} d φ (x) / | φ (x) |} . \end{matrix}

(46)

9. How to Quantize Einstein’s Gravity

If the reader thinks that canonical quantization is the best way to quantize Einstein’s gravity, the reader should read this chapter carefully.

9.1. Gravity and AQ, Using Basic Operators

In order to quantize gravity it is important to render a valid quantization of the Arnowitt, Deser, and Misner classical Hamiltonian [ADM]. We first choose our new classical variables which include what we also call the dilation field

π_{b}^{a} (x) \equiv π^{a c} (x) g_{b c} (x)

(summed on c) along with the metric field

g_{a b} (x)

. We don’t need to impose any restriction on the metric field because physics already requires that

d s {(x)}^{2} = g_{a b} (x) d x^{a} d x^{b} > 0

provided that

Σ_{a = 1}^{3} {(d x^{a})}^{2} > 0

. The metric can also be diagonalized by non-physical, orthogonal matrices, and then it includes only

g_{11} (x), g_{22} (x), & g_{33} (x)

, each of which must be strictly positive as required by physics.9

Next we present the ADM classical Hamiltonian in our chosen affine variables, which, introducing

g (x) \equiv

det

[g_{a b} (x)] > 0

, leads to

\begin{matrix} H (π, g) = \int {g {(x)}^{- 1 / 2} [π_{b}^{a} (x) π_{a}^{b} (x) - \frac{1}{2} π_{a}^{a} (x) π_{b}^{b} (x)] \\ + g {(x)}^{1 / 2}^{(3)} R (x)} d^{3} x, \end{matrix}

(47)

where

^{(3)} R (x)

is the Ricci scalar for three spatial coordinates and which contains all of the derivatives of the metric field. Already this version of the classical Hamiltonian contains reasons that restrict

g (x)

0 < g (x) < \infty

0 \leq | π_{b}^{a} (x) | < \infty

, and

{0 \leq |}^{(3)} R (x) | < \infty

, which, like the previous field theory examples, and lead to no integral-infinities for the gravity story.

Finally, we introduce the dilation gravity operator

{\hat{π}}_{b}^{a} (x) = [{\hat{π}}^{a c} {(x)}^{†} {\hat{g}}_{b c} (x) + {\hat{g}}_{b c} (x) {\hat{π}}^{a c} (x)] / 2

along with

{\hat{g}}_{a b} (x) > 0

, and adopting Schrödinger`s representation and equation, we are led to

\begin{matrix} H^{'} (\hat{π}, g) = \int {[{\hat{π}}_{b}^{a} (x) g {(x)}^{- 1 / 2} {\hat{π}}_{a}^{b} (x) - \frac{1}{2} {\hat{π}}_{a}^{a} (x) g {(x)}^{- 1 / 2} {\hat{π}}_{b}^{b} (x)] \\ + g {(x)}^{1 / 2}^{(3)} R (x)} d^{3} x . \end{matrix}

(48)

And now, as before, we close with Schrödinger’s equation

\begin{matrix} i ℏ \partial Ψ (g, t) / \partial t = H^{'} (\hat{π}, g) Ψ (g, t), \end{matrix}

(49)

which offers the necessary ingredients for the foundation of a valid quantization of the classical Hamiltonian, which is an important part of the full story.

As before, it may be necessary to introduce some version of regularization for these equations, but these same equations point the way to proceed. In that effort, note that although

{\hat{π}}^{a c} {(x)}^{†} \neq {\hat{π}}^{a c} (x)

it can be helpful to know that

{\hat{π}}^{a c} {(x)}^{†} g_{b c} (x) = {\hat{π}}^{a c} (x) g_{b c} (x)

A full quantization of gravity must deal with first and likely second order constraints, which are designed to reduce the overall Hilbert space to secure a final quantization. This project is not the proper place to finalize a quantization of gravity, but several of the author’s articles have been designed to go further toward the final steps [Kla-4] - [Kla-9].

9.1.1. Additional aspects of quantum gravity

This section is relevant to follow sections which lead toward a path integration. These topics involve constraints required in the ADM approach. The present story, told just above, follows in the pattern of establishing a Schrödinger equation using his representation, has been the rule in discussing prior examples, e.g., the half-harmonic oscillator, quantum field theories over multiple powers of the interaction term, ultralocal examples of fields and gravity, and covariant field theories.

Now, in the forthcoming section, we offer a careful treatment of constraints and their analysis, which is prominent in gravity and needs its own analysis.

9.2. Gravity and AQ, Using Path Integration

We first recall the Arnowitt, Deser, and Misner version of the classical Hamiltonian, seen in [ADM], as originally expressed in the standard classical variables, namely the momentum,

π^{a b} (x)

, the metric,

g_{c d} (x)

, the metric determent,

g (x) = det [g_{a b} (x)]

, and

^{(3)} R (x)

, which is the Ricci scalar for 3 spatial variables. Now the ADM classical Hamiltonian is essentially given by

\begin{matrix} {H (π, g) = \int {g (x)}^{- 1 / 2} [π^{a c} (x) g_{b c} (x) π^{b d} (x) g_{a d} (x) \\ - \frac{1}{2} π^{a c} (x) g_{a c} (x) π^{b d} (x) g_{b d} (x)] \\ + g {(x)}^{1 / 2}^{(3)} R (x)} d^{3} x, \end{matrix}

(50)

9.2.1. Introducing the favored classical variables

The ingredients in providing a path integration of gravity include proper coherent states, the Fubini-Study metric which turns out to be affine in nature, and affine-like Wiener measures are used for the quantizing of the classical Hamiltonian. While that effort is only part of the story, it is an important portion to ensure that the quantum Hamiltonian is a bonafide self-adjoint operator.

According to the ADM classical Hamiltonian, it can also be expressed in affine-like variables, as we did in the previous chapter, namely by introducing, in some papers of this author, the `momentric’ (a name that is the combination of momentum and metric) and, instead, this item is now called the `dilation variable’ becoming

π_{b}^{a} (x) (\equiv π^{a c} (x) g_{b c} (x))

, along with the metric

g_{a b} (x)

. The essential physical requirement is that

g_{a b} (x) > 0

, which means that

d s {(x)}^{2} = g_{a b} (x) d x^{a} d x^{b} > 0

, provided that

Σ_{a} {(d x^{a})}^{2} > 0

Now the classical Hamiltonian, expressed in affine classical variables, is again given by

\begin{matrix} H \equiv \int H (x) d^{3} {x = \int {g (x)}^{- 1 / 2} [π_{b}^{a} (x) π_{a}^{b} (x) - \frac{1}{2} π_{a}^{a} (x) π_{b}^{b} (x)] \\ + g {(x)}^{1 / 2}^{(3)} R (x)} d^{3} x . \end{matrix}

(51)

9.2.2. The gravity coherent states

Based on the principal operators,

{\hat{π}}_{b}^{a} (x) = [{\hat{π}}^{a c} {(x)}^{†} {\hat{g}}_{b c} (x) + {\hat{g}}_{b c} (x) {\hat{π}}^{a c} (x)] / 2 (= {\hat{π}}_{b}^{a} {(x)}^{†})

and

{\hat{g}}_{a b} (x) = {\hat{g}}_{a b} {(x)}^{†} > 0

these operators offer a closed set of commutation relations given by

\begin{matrix} [{\hat{π}}_{b}^{a} (x), {\hat{π}}_{d}^{c} (y)] = i \frac{1}{2} ℏ δ^{3} (x, y) [δ_{d}^{a} {\hat{π}}_{b}^{c} (x) - δ_{b}^{c} {\hat{π}}_{d}^{a} (x)], \\ [{\hat{g}}_{a b} (x), {\hat{π}}_{d}^{c} (y)] = i \frac{1}{2} ℏ δ^{3} (x, y) [δ_{a}^{c} {\hat{g}}_{b d} (x) + δ_{b}^{c} {\hat{g}}_{a d} (x)], \\ [{\hat{g}}_{a b} (x), {\hat{g}}_{c d} (y)] = 0 . \end{matrix}

(52)

We now choose the basic affine operators to build our coherent states for gravity, specifically

\begin{matrix} | π; η 〉 = e^{(i / ℏ) \int π^{a b} (x) {\hat{g}}_{a b} (x) d^{3} x} e^{- (i / ℏ) \int η_{b}^{a} (x) {\hat{π}}_{a}^{b} (x) d^{3} x} | β 〉 [= | π; g 〉] . \end{matrix}

(53)

Note: the last item in this equation is the new name of these vectors hereafter.

A new fiducial vector, also named

| β 〉

but now different, has been chosen now in connection with the relation

{[e^{η (x)}]}_{a b} \equiv g_{a b} (x) > 0

, while

- \infty < {η (x)} < \infty

, and which enters the coherent states as shown, using

| β 〉

as the new fiducial vector that is affine-like, and obeys

[({\hat{g}}_{a b} (x) - δ_{a b} 1 1) + i {\hat{π}}_{d}^{c} (x) / β (x) ℏ] | β 〉 = 0

. It follows that

〈 β | {\hat{g}}_{c d} (x) | β 〉 = δ_{c d}

and

〈 β | {\hat{π}}_{d}^{c} (x) | β 〉 = 0

, which leads to the form given by

\begin{matrix} 〈 π; g | {\hat{g}}_{a b} (x) | π; g 〉 = {[e^{η (x) / 2}]}_{a}^{c} 〈 β | {\hat{g}}_{c d} (x) | β 〉 {[e^{η (x) / 2}]}_{b}^{d} \\ = {[e^{η (x)}]}_{a b} = g_{a b} (x) > 0 . \end{matrix}

(54)

In addition, we introduce the inner product of two graviy coherent states, which is given by

\begin{matrix} 〈 π^{''}; g^{''} | π^{'}; g^{'} 〉 = exp {- 2 \int β (x) d^{3} x \\ \times ln \{det {\frac{[{g^{''}}^{a b} (x) + {g^{'}}^{a b} (x)] + i / (2 β (x) ℏ) [{π^{''}}^{a b} (x) - {π^{'}}^{a b} (x)]}{det {[{g^{''}}^{a b} (x)]}^{1 / 2} det {[{g^{'}}^{a b} (x)]}^{1 / 2}}\}}} . \end{matrix}

(55)

Finally, for some C, we find the Fubini-Study gravity metric to be

\begin{matrix} d σ_{g}^{2} = {C ℏ [| | d | π; g 〉 | |}^{2} - {| 〈 π; g | d | π; g 〉 |}^{2}] \\ = \int {[β (x) ℏ)}^{- 1} {(g_{a b} (x) d π^{a b} (x))}^{2} + (β (x) ℏ) {(g^{a b} (x) d g_{a b} (x))}^{2}] d^{3} x, \end{matrix}

(56)

which is seen to imitate an affine metric, leading to a constant negative curvature, as well, and that will provide a genuine Wiener-like measure for a path integration. In no way could we transform this metric into a proper Cartesian form, as was done for the half-harmonic oscillator. That is because there is no physically proper Cartesian metric for the variables

π^{a b} (x)

and

g_{c d} (x)

9.2.3. A special measure for the Lagrange multipliers

To ensure a proper treatment of the operator constraints, we choose a special measure of the Lagrange multipliers,

R (N_{a}, N)

, guided by the following procedures.

The first step is to unite the several classical constraints by using

\begin{matrix} \int \int e^{i (y^{a} H_{a} (x) + y H (x))} W (u, y^{a}, y, g^{a b} (x)) Π_{a} d y^{a} d y \\ = e^{- i u [H_{a} (x) g^{a b} (x) H_{b} (x) + H {(x)}^{2}]} \\ \equiv e^{- i u H_{v} {(x)}^{2}} \end{matrix}

(57)

with a suitable measure W.

An elementary Fourier transformation10 given by

M \int_{- δ^{2}}^{δ^{2}} e^{i ϵ τ u y} d y / 2 = sin (u ϵ τ δ^{2}) / u

, using a suitable M, which then ensures that the inverse Fourier transformation, where

ϵ

represents a tiny spatial interval and

τ

represents a tiny time interval, as part of a fully regularized integration in space and time, and u is another part of the Lagrange multipliers,

N_{a} (n ϵ)

and

N (n ϵ)

, which leads to

\begin{matrix} lim_{ζ \to 0^{+}} lim_{L \to \infty} \int_{- L}^{L} e^{- i u ϵ τ H_{v}^{2} (x)} sin (u ϵ τ (δ^{2} + ζ)) / u π d u \\ = I E (ϵ τ H_{v} {(x)}^{2} \leq ϵ τ δ^{2}) \\ = I E (H_{v} {(x)}^{2} \leq δ^{2}) . \end{matrix}

(58)

This expression covers all self-adjoint operators, and leads to a self-adjoint

H_{v} = \int H_{v} (x) d^{3} x

Bringing together our present tools, lets us first offer a path integral for the gravity overlap of two coherent states, as given by

\begin{matrix} 〈 π^{''}; g^{''} | π^{'}; g^{'} 〉 = {lim}_{ν \to \infty} N_{ν} \int exp [- (i / ℏ) \int_{0}^{T} \int [(g_{a b} {\dot{π}}^{a b}) d^{3} x d t] \\ \times exp {- (1 / 2 ν ℏ) \int_{0}^{T} \int [{(β (x) ℏ)}^{- 1} {(g_{a b} {\dot{π}}^{a b})}^{2} + (β (x) ℏ) {(g^{a b} {\dot{g}}_{a b})}^{2}] d^{3} x d t} \\ \times Π_{x, t} Π_{a, b} d π^{a b} (x, t) d g_{a b} (x, t) \\ = exp {- 2 \int β (x) d^{3} x \\ \times ln \{det {\frac{[{g^{''}}^{a b} (x) + {g^{'}}^{a b} (x)] + i / (2 β (x) ℏ) [{π^{''}}^{a b} (x) - {π^{'}}^{a b} (x)]}{det {[{g^{''}}^{a b} (x)]}^{1 / 2} det {[{g^{'}}^{a b} (x)]}^{1 / 2}}\}}}, \end{matrix}

(59)

where the second equation indicates what such a path integration has been designed to acheive for its goal.

9.3. The Affine Gravity Path Integration

By adding all the necessary tools, and implicitly having examined a regularized integration version in order to effectively deal with suitable constraint projection terms, we have choosen

I E \equiv I E (H_{v}^{2} \leq δ {(ℏ)}^{2})

for simplicity here, all of which leads us to

\begin{matrix} 〈 π^{''}; g^{''} : T | I E | π^{'}; g^{'} : 0 〉 = 〈 π^{''}; g^{''} | I E e^{- (i / ℏ) I E T} I E | π^{'}; g^{'} 〉 \\ = {lim}_{ν \to \infty} {N^{'}}_{ν} \int exp {- (i / ℏ) \int_{0}^{T} \int [g_{a b} {\dot{π}}^{a b} + N^{a} H_{a} + N H] d^{3} x d t} \\ \times exp {- (1 / 2 ν ℏ) \int_{0}^{T} \int [{(β (x) ℏ)}^{- 1} {(g_{a b} {\dot{π}}^{a b})}^{2} + (β (x) ℏ) {(g^{a b} {\dot{g}}_{a b})}^{2}] d^{3} x d t} \\ \times [Π_{x, t} Π_{a, b} d π^{a b} (x, t) d g_{a b} (x, t) D R (N^{a}, N) . \end{matrix}

(60)

The role of the measure

R (N^{a}, N)

is defined so that the operators,

H_{a}

H

, only support a sample of non-zero eigenvalues, e.g.,

I E (H_{v}^{2} \leq δ {(ℏ)}^{2})

, where, e.g.,

δ {(ℏ)}^{2} \sim c ℏ^{2}

, or some other tiny value that vanishes if

ℏ \to 0

. If

H_{v}^{2} \leq δ {(ℏ)}^{2}

consists only of a continuous spectrum; see [Kla-4].

We let the reader choose their own regularization of the last equation to ensure that the

ϵ

terms are proper, and that the

ϵ^{2}

terms – and higher

ϵ^{K}, K > 2

, terms as well – lead to a proper continuum limit. In so doing, the overlap of two gravity coherent states, as above in (8.13), could be particularly useful.

Several papers by the author offer additional information regarding topics, and additional procedures to use, has been discussed in [Kla-4] - [Kla-9].

10. Summary, and Outlook

10.1. Each Field Problem Needs AQ or CQ, Otherwise, There Can Be Incorrect Results

Could it be the time now to pass from CQ to AQ to solve difficult problems? Perhaps new procedures can help. The passing of years can often lead to the introduction of improved procedures. For example, very early, people on horses took around the mail, then trains, then cars, switching to the internet, etc. Likewise, first there was CQ, now AQ, which is added to become CQ & AQ = EQ, known as `Enhanced Quantization’ [Kla-10]. It has introduced a huge jump that greatly extends quantization procedures, along with a note-worthy proof that, essentially, AQ –> CQ.

In an artistic sense, CQ represents the beautiful surface of a brick made of pure gold, while AQ represents the wonderful interior of the same gold brick. Hence, moving around within an inside path, AQ points can reach a point on the CQ surface!

While the half-harmonic oscillator using AQ was shown to be valid, the validity of AQ for field theories or for gravity are not as yet proved to be true, and there are opportunities for others to test their out coming. While every attempt to maintain correctness has been the rule, something may still have been overlooked. The goal of improvement of every step is open to consideration and further recommendation.

Notes

1	The semicolon in $\| p; q 〉$ distinguishes the affine ket from the canonical ket $\| p, q 〉$ . If $- \infty < q < 0$ , change $ln (q)$ to $ln (\| q \|)$ , but keep $q \to Q < 0$ so that $\| q \| Q = q \| Q \|$ .
2	As noted, while constant zero and positive curvatures can be seen in our three spatial dimensions, a visualization of a complete constant negative curvature is not possible. A glance of one would be a single point on a saddle, namely, the highest point from the rider’s feet direction, and the lowest point from the horse’s head direction.
3	In particular, in [Dir-1], the mid-page of 114, Dirac wrote “However, if the system does have a classical analogue, its connexion with classical mechanics is specially close and one can usually assume that the Hamiltonian is the same function of the canonical coordinates and momenta in the quantum theory as in the classical theory † Footnote †: This assumption is found in practice to be successful only when applied with the dynamical coordinates and momenta referring to a Cartesian system of axes and not to more general curvilinear coordinates."
4	Here is one example of infinitely many quantum Hamiltonians for the half-harmonic oscillator, when $P^{†} \neq P$ , would be $[(P^{† n + 4} / P^{n + 2} + P^{n + 4} / P^{† n + 2}) / 2 + Q^{2}] / 2$ , for all $n = 0, 1, 2, . . .$ .
5	There are examples in which $a / x^{2}$ , with $a > 0$ , such potentials are studied, but some are negative, i.e. $- a / x^{2}$ , with $a > 0$ , which has a completely different behavior.
6	It may be noticed that while $q > 0$ , and now $q = s^{2}$ , this would imply that $s \neq 0$ . However, we will skip over this “unimportant point” until later.
7	Additional $x_{j}$ factors may be made active by simply removing their B factor from the beginning.
8	If you think dimensions can distinguish two such fields, we can eliminate dimensional features by first introducing $φ (y) \neq 0$ and $α (z) \neq 0$ . Now dimensionless factors lead to $φ (x) / φ (y) = 0 = α (x) / α (z)$ . Thus omitting points, or streams of them, where $φ (x) = 0$ , do not violate any physics. In fact, it may seem logical to say that $φ (x) = 0$ never even belonged in physics. It fact, since numbers were used to count physical things, in very early times, zero $= 0$ , was banned for 1,500 years; see [Zero].
9	The reader should compare the three diagonalized positive metric variables with $q > 0$ , which then requires an affine quantization for the half-harmonic oscillator, and also then appreciate the need for such a quantization that lead to positive results.
10	In mathematics, the following function being Fourier transformed is known as (a version of) rect(u) = 1 for $\| u \| \leq 1$ , and 0 for $\| u \| > 1$ .

References

[ADM], R. Arnowitt, S. Deser, and C. Misner, in Gravitation: An Introduction to Current Research, Ed. L. Witten, Wiley & Sons, New York, 1962, p. 227; arXiv:gr-qc/0405109.
[Ash-1], A. Ashtekar, “New Variables for Classical and Quantum Gravity”, Phys. Rev. Lett. 57, 2244 (1986); “New Hamiltonian Formulation of General Relativity” Wikipedia: `Ashtekar variables’. Phys. Rev. D 1987, 36, 1587. [Google Scholar]
[Dir-1], P.A.M. Dirac, The Principles of Quantum Mechanics, (Claredon Press, Oxford, 1958), p. 114, in a footnote.
[Fan-1], R. Fantoni, “Monte Carlo evaluation of the continuum limit of φ312", J. Stat. Mech. 2021, arXiv:2011.09862v3, 083102. [Google Scholar]
[F-K-1], R. Fantoni and J. R. Klauder, “Monte Carlo evaluation of the continuum limit of the two-point function of two Euclidean Higgs real scalar fields subject to affine quantization”, Phys. Rev. 2021, arXiv:2107.08601104, 054514. [Google Scholar]
[F-K-2], R. Fantoni and J. R. Klauder, “Monte Carlo evaluation of the continuum limit of the two-point function of the Euclidean free real scalar field subject to affine quantization”, J. Stat. Phys. 2021, arXiv:2103.06746184, 28. [Google Scholar]
[F-K-3], R. Fantoni and J. R. Klauder, “Kinetic Factors in Affine Quantization and Their Role in Field Theory Monte Carlo”, Int. J. of Mod. Phys. 2022, arXiv:2012.09991v3137, 2250094. [Google Scholar]
[F-K-4], R. Fantoni and J. R. Klauder, “Eliminating Nonrenormalizability Helps Prove Scaled Affine Quantization of φ44 is Nontrivial”, Int. J. Mod. Phys. 2022, arXiv:2109.13447v237, 2250029. [Google Scholar]
[F-K-5], R. Fantoni and J. R. Klauder, “Affine Scaled Quantization of φ44 in the Low Temperature Limit”, Eur. Phys. 2022, arXiv:2203.0598882, 843. [Google Scholar]
[F-K-6], R. Fantoni and J. R. Klauder, “Scaled Affine Quantization of Ultralocal φ24 a comparative Path Integral Monte Carlo study with Scaled Canonical Quantization”, Phys. Rev. 2022, arXiv:2109.13447v4106, 114508. [Google Scholar]
[Gou-1], L. Gouba, “Affine Quantization on the Half Line”. Journal of High Energy Physics, Gravitation and Cosmology 2021, arXiv:2005.086967, 352. [Google Scholar]
[Han-1], C. Handy, “Affine Quantization of the Harmonic Oscillator on the Semi-bounded Domain (-b,∞) for b:0→∞”; arXiv:2111:10700.
[Kla-1] J., R. Klauder, “An Ultralocal Classical and Quantum Gravity Theory”. Journal of High Energy Physics, Gravitation and Cosmology 2020, 6, 656. [Google Scholar] [CrossRef]
[Kla-2] J. R. Klauder, “The Unification of Classical and Quantum Gravity”. Journal of High Energy Physics, Gravitation and Cosmology 2021, 7, 88. [CrossRef]
[Kla-3] J. R. Kkauder, “The Benefits of Affine Quantization”. Journal of High Energy Physics, Gravity and Cosmologuy 2020, arXiv:1912.080476, 175. [CrossRef]
[Kla-4] J., R. Klauder, “Quantization of Constrained Systems”. Lect. Notes Phys. 2001, 572, 143–182.
[Kla-5] J. R. Klauder, “Quantum Gravity, Constant Negative Curvatures, and Black Holes”. Journal of High Energy9 Physics, Gravitation and Cosmology 2020, 6, 313. [CrossRef]
[Kla-6] J. R. Klauder, “Universal Procedure for Enforcing Quantum Constraints”. Nuclear Physics B 1999, 547, 397. [CrossRef]
[Kla-7] J., R. Klauder, “Essential aspects of Wiener-measure Regularization for Quantum Mechanical Path Integrals”. Nonlinear Analysis 2005, 63, e1253. [Google Scholar]
[Kla-8] J. R. Klauder, “Using Affine Quantization to Analyze Non-Renormalizable Scalar Fields and the Quantization of Einstein’s Gravity”. Journal of High Energy Physics, Gravitation and Cosmology 2020, 6, 802. [CrossRef]
[Kla-9] J., R. Klauder, “Universal Procedure for Enforcing Quantum Constraints”. Nuclear Physics B 1999, 547, 397. [Google Scholar]
[Kla-10] J., R. Klauder, Enhanced Quantization. Particles, Fields and Gravity, (Copyright 2015 by World Scientific Publishing Co. Ltd.).
[Sch-1] Scholarpedia: “negative curvature 2d”.
[Wik-1] Wikipedia: “Fubini-Study metric”.
Wikipedia.
[Zero] Watch: “Why the number 0 was banned for 1,500 years”, youtube.com.

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.

© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).

Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.

MDPI Initiatives

Important Links

Choose an area of interest and we will send you notifications of new preprints at your preferred frequency.

Disclaimer

The Magnificent Realm of Affine Quantization: valid results for particles, fields, and gravity

Abstract

1. A Preface

2. An Introduction to the Variables

2.1. A Survey of Principal Topics

2.2. A Familiar Example of Classical Variables

2.3. Selected Canonical Topics

3. Phase Space, Poisson Brackets, and Constant Curvature Spaces

3.1. A Brief Review of Spin Quantization

3.1.1. Spin coherent states

3.1.2. A brief review of affine quantization

3.1.3. Affine coherent states

3.2. Summarizing Constant Curvatures and Coherent States

4. Learning to Quantize Selected Problems

4.1. Choosing a Canonical Quantization

4.1.1. First canonical example

4.1.2. Second canonical example

4.1.3. First affine example

4.1.4. Second affine example

4.1.5. A canonical version of the half-harmonic oscillator

4.1.6. A CQ attempt to solve the half-harmonic oscillator

5. Using CQ and AQ to Examine `The Particle in a Box’

5.1. An Example that Needs More Analysis

5.1.1. Failure of the canonical quantization of the particle in a box

5.1.2. Removing a single point

5.2. Lessons from Canonical and Affine Quantization Procedures

6. Ultralocal Field Models

6.1. Introduction

6.2. What is the Meaning of Ultralocal

6.3. Classical and Quantum Scalar Field Theories

6.4. Canonical Ultralocal Scalar Fields

6.5. An Affine Ultralocal Scalar Field

7. An Ultralocal Gravity Model

7.1. An Affine Quantization of Ultralocal Gravity

7.2. A Regularized Affine Ultralocal Quantum Gravity

7.3. The Main Lesson from Ultralocal Gravity

8. How to Quantize Relativistic Fields

8.1. Reexamining the Classical Territory

8.1.1. A simple way to avoid integrable-infinities

8.1.2. The absence of infinities by using affine field variables

8.2. Affine Quantization of Relativistic Field Models

8.2.1. Affine classical variables for selected field theories

8.2.2. An affine quantization of relativistic fields

8.2.3. Schrödinger’s representation and equation

9. How to Quantize Einstein’s Gravity

9.1. Gravity and AQ, Using Basic Operators

9.1.1. Additional aspects of quantum gravity

9.2. Gravity and AQ, Using Path Integration

9.2.1. Introducing the favored classical variables

9.2.2. The gravity coherent states

9.2.3. A special measure for the Lagrange multipliers

9.3. The Affine Gravity Path Integration

10. Summary, and Outlook

10.1. Each Field Problem Needs AQ or CQ, Otherwise, There Can Be Incorrect Results

Notes

References

MDPI Initiatives

Important Links

Subscribe