The Benefits of Affine Quantization

Show more

1. Introduction

Canonical quantization is the leading quantization formulation, while there are other procedures that claim to be a substitute for canonical quantization. Affine quantization does not pretend to take the place of canonical quantization, but instead, it actually expands similar procedures of canonical quantization to solve problems that canonical quantization can not solve. For example, there are many models that are classically well behaved but that are unable to be quantized by canonical quantization. This article is focussed on how classical phase-space procedures can point to an alternative set of basic quantum operators instead of the traditional basic quantum operators, namely, the momentum P and the position Q, which satisfy $\left[Q\mathrm{,}P\right]=i\hslash 1\text{l}$. In a sense, these operators are the foundation of canonical quantization. A new set of basic operators, Q and R, satisfy $\left[Q\mathrm{,}R\right]=i\hslash Q$, and they work their magic that enables us to solve many problems, from simple particle models [1] to quartic-interaction scalar fields in high spacetime dimensions such as $n\ge 4$ [2] [3], to Einstein’s general relativity in 4 spacetime dimensions [1] [4] [5].

While the references above offer fairly full stories, we will—in keeping with the purpose of the present paper which is designed to offer a beginner-level tutorial on affine quantization—present a basic outline of all three of the examples listed above in this paper.

2. Classical Variable Connections

2.1. Traditional Classical Variables

We first focus on a single degree of freedom. The familiar integral that leads to the equations of motion is derived from an action functional (with $p=p\left(t\right)$ and $q=q\left(t\right)$, $0\le t\le T>0$ ) given by

$A={{\displaystyle \int}}_{0}^{T}\left[p\stackrel{\dot{}}{q}-H\left(p\mathrm{,}q\right)\right]\text{d}t\mathrm{.}$ (1)

Standard stationary relations, including $\delta p\left(0\right)=0=\delta p\left(T\right)$ and $\delta q\left(0\right)=0=\delta q\left(T\right)$, such that

$\delta A={{\displaystyle \int}}_{0}^{T}\left\{\left(\stackrel{\dot{}}{q}-\partial H\left(p,q\right)/\partial p\right)\delta p-\left(\stackrel{\dot{}}{p}+\partial H\left(p,q\right)/\partial q\right)\delta q\right\}\text{d}t=0,$ (2)

leads to two, basic, equations of motion,

$\stackrel{\dot{}}{q}=\partial H\left(p,q\right)/\partial p,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\dot{}}{p}=-\partial H\left(p,q\right)/\partial q.$ (3)

These equations of motion apply whatever the range of the basic variables, p and q. As examples of interest, let us assume 1) $-\infty <p,q<\infty $, which is conventional, or 2) $-\infty <p<\infty $ and $0<q<\infty $, which is less conventional, but very important (see below), and these, and other, ranges are generally chosen to be compatible with the equations of motion.

2.2. Traditional Affine Variables

New, and specific, phase-space coordinates may be introduced to Equation (1) by the relation $p\text{d}q=r\text{d}s$, and we choose $r\equiv p\text{\hspace{0.05em}}q$ and $s\equiv \mathrm{ln}\left(q\right)$. Note that the choice of s implies that $0<q<\infty $ and $-\infty <p<\infty $, while $-\infty <r,s<\infty $.

There are many pairs of variables that could be considered—generally to offer help in solving the equations of motion—but our choice of r and s is specifically chosen to offer a simple set of new variables that enjoys the domain $-\infty <r,s<\infty $.

The new variables lead us to

$A={{\displaystyle \int}}_{0}^{T}\left[r\stackrel{\dot{}}{s}-{H}^{\prime}\left(r\mathrm{,}s\right)\right]\text{d}t$ (4)

where ${H}^{\prime}\left(r\mathrm{,}s\right)\equiv H\left(p\mathrm{,}q\right)$. We next introduce stationary relations

$\delta A={{\displaystyle \int}}_{0}^{T}\left\{\left(\stackrel{\dot{}}{s}-\partial {H}^{\prime}\left(r\mathrm{,}s\right)/\partial r\right)\delta r-\left(\stackrel{\dot{}}{r}+\partial {H}^{\prime}\left(r\mathrm{,}s\right)/\partial s\right)\delta s\right\}\text{d}t=\mathrm{0,}$ (5)

where $\delta r\left(0\right)=0=\delta s\left(0\right)$ as well as $\delta r\left(T\right)=0=\delta s\left(T\right)$, which leads to two equations of motion given by

$\stackrel{\dot{}}{s}=\partial {H}^{\prime}\left(r,s\right)/\partial r,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\dot{}}{r}=-\partial {H}^{\prime}\left(r,s\right)/\partial s.$ (6)

3. Quantum Operator Connections

3.1. Affine Quantum Operators

A conventional canonical quantization promotes classical variables to quantum operators such as $p\to P$ and $q\to Q$, and $r\to R$ and $s\to S$. These operators satisfy $\left[Q\mathrm{,}P\right]=i\hslash 1\text{l}$ and $\left[S\mathrm{,}R\right]=i\hslash 1\text{l}$ as well. But, since $s=\mathrm{ln}\left(q\right)$ or $q={\text{e}}^{s}$, there should be some sort of connection between Q and S, such as $\left[Q\mathrm{,}S\right]=0$, and $S=\mathrm{ln}\left(Q\right)$ and, therefore, $Q={\text{e}}^{S}$. We can support these equations by diagonalizing these variables. In particular, we have the states $|q\rangle $, $0<q<\infty $, where $Q|q\rangle =q|q\rangle $ and $\langle {q}^{\prime}|q\rangle =\delta \left({q}^{\prime}-q\right)$. Likewise, we have states $|s\rangle $, $-\infty <s<\infty $, so that $S|s\rangle =s|s\rangle $ and $\langle {s}^{\prime}|s\rangle =\delta \left({s}^{\prime}-s\right)$. Finally, we observe that $Q|s\rangle ={\text{e}}^{s}|s\rangle $ and $S|q\rangle =\mathrm{ln}\left(q\right)|q\rangle $. Moreover,

$\left[{S}^{n},R\right]=i\hslash n{S}^{n-1}$

$\underset{n=1}{\overset{\infty}{\sum}}}\left(1/n!\right)\left[{S}^{n},R\right]=i\hslash {\displaystyle \underset{n=1}{\overset{\infty}{\sum}}}\left(n/n!\right){S}^{n-1$

$\left[{\text{e}}^{S}-1,R\right]=i\hslash {\text{e}}^{S}$

$\left[{\text{e}}^{S},R\right]=i\hslash {\text{e}}^{S}$

$\left[Q,R\right]=i\hslash Q$ (7)

When $0<Q<\infty $, its partner P can not be self adjoint. However, for the same Q a substitute partner is R which can be self adjoint along with Q.1

This result helps point the way toward solubility. The quantum operators P and Q, where $0<Q<\infty $, guarantees that P cannot be made self adjoint! That situation implies that canonical quantization using P and Q would not succeed. However, we can instead choose R and Q because they can both be self adjoint! While $p\to P$ and $q\to Q$ are the foundation of canonical quantization, $r\to R$ and $q\to Q$ are the foundation of affine quantization.2

3.2. Coherent States

Coherent states provide a connection between the classical and the quantum realms. Simple coherent states rely on two classical variables and two quantum operators, the last of which are self-adjoint operators. For systems for which $-\infty <p,q<\infty $ and Q and P are self adjoint the canonical coherent states are given by

$|p,q\rangle ={\text{e}}^{-iqP/\hslash}{\text{e}}^{ipQ/\hslash}|0\rangle ,$ (8)

where $\left(\omega Q+iP\right)|0\rangle =0$.

If, instead, $0<q<\infty $, then these coherent states fail and one may appeal to the affine coherent states. The affine coherent states are given (where it is convenient to choose q and Q as dimensionless, and their usual dimension is absorbed by p or R)

$|p\mathrm{;}q\rangle ={\text{e}}^{ipQ/\hslash}\text{\hspace{0.05em}}{\text{e}}^{-i\mathrm{ln}\left(q\right)R/\hslash}|\beta \rangle \mathrm{,}$ (9)

with $\left[\left(Q-1\right)+iR/\beta \right]|\beta \rangle =0$. Here we introduce a semicolon in the coherent-state label to signify that affine items are under discussion, and not canonical items.

3.3. Quantum/Classical Transition

3.3.1. The Canonical Story

The quantum action functional leading to Schrödinger’s equation is given, for normalized Hilbert space vectors $|\psi \left(t\right)\rangle $, by

$A={{\displaystyle \int}}_{0}^{T}\langle \psi \left(t\right)|\left[i\hslash \partial /\partial t-\mathcal{H}\left(P\mathrm{,}Q\right)\right]|\psi \left(t\right)\rangle \text{d}t\mathrm{.}$ (10)

A general stationary variation leads to Schrödinger’s equation,

$i\hslash \partial |\psi \left(t\right)\rangle /\partial t=\mathcal{H}\left(P\mathrm{,}Q\right)|\psi \left(t\right)\rangle $ (11)

and its adjoint. However, macroscopic observers can only vary a limited set of vectors, such as the coherent states. This leads to a reduced (r) action functional given by

$\begin{array}{c}{A}_{r}={{\displaystyle \int}}_{0}^{T}\langle p\left(t\right)\mathrm{,}q\left(t\right)|\left[i\hslash \partial /\partial t-\mathcal{H}\left(P\mathrm{,}Q\right)\right]|p\left(t\right)\mathrm{,}q\left(t\right)\rangle \text{d}t\\ ={{\displaystyle \int}}_{0}^{T}\left[p\left(t\right)\stackrel{\dot{}}{q}\left(t\right)-H\left(p\left(t\right)\mathrm{,}q\left(t\right)\right)\right]\text{d}t\mathrm{,}\end{array}$ (12)

and the final result appears to be a classical action functional, and, indeed, one that has an “advantage” because $\hslash >0$ just as it is in the real world!

To complete this story we examine the quantum Hamiltonian, $\mathcal{H}\left(P\mathrm{,}Q\right)$, and the “enhanced” (because $\hslash >0$ ) classical Hamiltonian, $H\left(p\mathrm{,}q\right)$, and we learn that

$\begin{array}{c}H\left(p,q\right)=\langle p,q|\mathcal{H}\left(P,Q\right)|p,q\rangle \\ =\langle 0|\mathcal{H}\left(P+p,Q+q\right)|0\rangle \\ =\mathcal{H}\left(p,q\right)+\mathcal{O}\left(\hslash ;p,q\right).\end{array}$ (13)

It follows that in the true classical limit, where $\hslash \to 0$ and $H\left(p\mathrm{,}q\right)\to {H}_{c}\left(p\mathrm{,}q\right)$ (c for classical), the quantum operators assume the positions of the classical variables in the Hamiltonian.

Moreover, the favored phase-space coordinates that lead to a physically correct quantization, as Dirac observed [6], are Cartesian coordinates. This proposal is confirmed [1] by

$\text{d}\sigma {\left(p\mathrm{,}q\right)}^{2}\equiv 2\hslash \left[{\Vert d|p\mathrm{,}q\rangle \Vert}^{2}-{\left|\langle p,q|d|p,q\rangle \right|}^{2}\right]={\omega}^{-1}\text{d}{p}^{2}+\omega \text{d}{q}^{2}\mathrm{.}$ (14)

These phase-space variables are the favored ones to promote to quantum operators to have a physically correct quantization. For a comparison purpose, which is coming up, we note that the two-dimensional flat space in (14) is a constant zero curvature space.

The foregoing material was devoted to situations where $-\infty <p,q<\infty $. We now turn our attention to situations where $0<q<\infty $ while $-\infty <p<\infty $ ; this analysis will be more streamlined.

3.3.2. The Affine Story

The quantum action functional for affine variables begins much as the canonical variable story, again for normalized Hilbert states $|\psi \left(t\right)\rangle $. In the new situation (with a prime to recognize R in place of P) we have

$A={{\displaystyle \int}}_{0}^{T}\langle \psi \left(t\right)|\left[i\hslash \partial /\partial t-{\mathcal{H}}^{\prime}\left(R\mathrm{,}Q\right)\right]|\psi \left(t\right)\rangle \text{d}t\mathrm{,}$ (15)

which, with stationary variations, leads directly to Schrödinger’s equation and its adjoint. Restricting the variations to affine coherent states leads to

$\begin{array}{c}{A}_{r}={{\displaystyle \int}}_{0}^{T}\langle p\left(t\right)\mathrm{;}q\left(t\right)|\left[i\hslash \partial /\partial t-{\mathcal{H}}^{\prime}\left(R\mathrm{,}Q\right)\right]|p\left(t\right)\mathrm{;}q\left(t\right)\rangle \text{d}t\\ ={{\displaystyle \int}}_{0}^{T}\left[-q\left(t\right)\stackrel{\dot{}}{p}\left(t\right)-H\left(p\left(t\right)\mathrm{,}q\left(t\right)\right)\right]\text{d}t\mathrm{.}\end{array}$ (16)

Recalling that in this case both q and Q are dimensionless, it follows that

$\begin{array}{c}H\left(p\mathrm{,}q\right)=\langle p\mathrm{;}q|{\mathcal{H}}^{\prime}\left(R\mathrm{,}Q\right)|p\mathrm{;}q\rangle \\ =\langle \beta |{\mathcal{H}}^{\prime}\left(R+pqQ\mathrm{,}qQ\right)|\beta \rangle \\ ={\mathcal{H}}^{\prime}\left(pq\mathrm{,}q\right)+\mathcal{O}\left(\hslash \mathrm{;}p\mathrm{,}q\right)\\ =\mathcal{H}\left(p\mathrm{,}q\right)+\mathcal{O}\left(\hslash \mathrm{;}p\mathrm{,}q\right)\mathrm{.}\end{array}$ (17)

Once again we see that $\mathcal{H}\left(p\mathrm{,}q\right)={H}_{c}\left(p\mathrm{,}q\right)$ in the classical limit when $\hslash \to 0$.

Are the favored phase-space variables Cartesian coordinates in the affine case? The answer is no. In particular, we find [1] that

$\text{d}\sigma {\left(p\mathrm{,}q\right)}^{2}\equiv 2\hslash \left[{\Vert d|p;q\rangle \Vert}^{2}-{\left|\langle p;q|d|p;q\rangle \right|}^{2}\right]={\beta}^{-1}{q}^{2}\text{d}{p}^{2}+\beta \text{\hspace{0.05em}}{q}^{-2}\text{d}{q}^{2}\mathrm{.}$ (18)

This two-dimensional space is not flat, but it is a constant negative curvature space, with a negative curvature that is $-2/\beta $. In the sense of having a constant curvature value this space is in the same category as the flat space. These phase-space variables are the favored ones to promote to quantum operators in order to have a physically correct quantization.3

3.3.3. The Classical/Quantum Story

Observe that the classical story, as derived from the proper quantum operators and the appropriate coherent states in (12) and (16), lead to a very similar classical story. So similar are their stories that if one of the quantizing procedures fails then there is a very good chance that the other quantization procedure could succeed.

This similarity enables us to claim that affine quantization should be considered as a parallel road that starts in phase space and results in an acceptable quantum theory for selected problems, which is exactly what canonical quantization has to offer for a different set of selected problems.

The union of canonical quantization and affine quantization is called `enhanced quantization’, and this program can be found in [5].

Hereafter, we examine three classical systems that canonical quantization fails to solve but affine quantization is able to solve. These examples include a single degree-of-freedom model, and two field theories: one about quartic scalar fields in 4, and more, spacetime dimensions, and the other is Einstein’s theory of gravity in general relativity in 4 spacetime dimensions.4

4. The “Harmonic Oscillator’’

The standard harmonic oscillator entails $-\infty <p,q<\infty $ with a classical Hamiltonian $H\left(p\mathrm{,}q\right)=\left({p}^{2}+{q}^{2}\right)/2$. Its canonical quantization is well known and need not be repeated here. However, our example (which gives rise to the quotation marks in this section’s title) has the same Hamiltonian, $H\left(p\mathrm{,}q\right)=\left({p}^{2}+{q}^{2}\right)/2$, with $-\infty <p<\infty $, but now $0<q<\infty $. For such a system we choose the classical Hamiltonian given by

$H\left(p,q\right)=\left({p}^{2}+{q}^{2}\right)/2=\left(pq{q}^{-2}pq+{q}^{2}\right)/2=\left(r{q}^{-2}r+{q}^{2}\right)/2={H}^{\prime}\left(r,q\right).$ (19)

According to (17), we choose the quantum Hamiltonian to be

${\mathcal{H}}^{\prime}\left(R\mathrm{,}Q\right)=\left(R{Q}^{-2}\text{\hspace{0.05em}}R+{Q}^{2}\right)/2\mathrm{,}$ (20)

and according to (7) we have $\left[Q\mathrm{,}R\right]=i\hslash Q$. Adopting a Schrödinger representation for $Q=x$, with $0<x<\infty $, it follows that $R=-i\frac{1}{2}\hslash \left[x\left(\partial /\partial x\right)+\left(\partial /\partial x\right)x\right]$ The appropriate Schrödinger equation is then given by

$\begin{array}{l}i\hslash \partial \psi \left(x\mathrm{,}t\right)/\partial t\\ =\frac{1}{2}\left\{-\frac{1}{4}{\hslash}^{2}\left[x\left(\partial /\partial x\right)+\left(\partial /\partial x\right)x\right]{x}^{-2}\left[x\left(\partial /\partial x\right)+\left(\partial /\partial x\right)x\right]+{x}^{2}\right\}\psi \left(x\mathrm{,}t\right)\\ =\frac{1}{2}\left[-{\hslash}^{2}{\partial}^{2}/\partial {x}^{2}+\frac{3}{4}{\hslash}^{2}\text{\hspace{0.05em}}{x}^{-2}+{x}^{2}\right]\psi \left(x\mathrm{,}t\right)\mathrm{.}\end{array}$ (21)

This latter problem has also been examined using canonical quantization, an analysis which fails. That story can be found in [1], Sec. 1.5.

5. Scalar Quartic Interaction Field Theories in High Spacetime Dimensions

Quartic interactions for scalar field theories may have satisfactory canonical quantizations provided the spacetime dimension $n\le 3$. For $n=4$ canonical quantization leads to a free quantum theory, despite the coupling constant ${g}_{o}>0$ [9], and for $n\ge 5$, the analysis becomes nonrenormalizable.

The classical version of such models is able to avoid high energy regions provided by the interaction term. For a finite overall energy the classical behavior of these models is well behaved. However, quantization can not avoid the domain issues that exist. Specifically, assume that the domain for a free scalar field $\varphi \left(x\right)$ is ${\mathcal{D}}_{{g}_{o}=0}$, but when the interaction is introduced, i.e., ${g}_{o}>0$, then the domain of the scalar field is immediately reduced, i.e., ${\mathcal{D}}_{{g}_{o}>0}\subset {\mathcal{D}}_{{g}_{o}=0}$. The new, smaller domain survives even when ${g}_{o}\to 0$. This behavior is not significant for classical solutions, but such domain behavior complicates the quantization of such models. Since canonical quantization cannot quantize them, let us try affine quantization.

It is newsworthy that these models can be solved via affine quantization, but that solution is not dependent on “positivity restrictions” for fields such as $0<\varphi \left(x\right)<\infty $. Instead, affine quantization leads to positive results simply by combining a momentum field $\pi \left(x\right)$ and a scalar field $\varphi \left(x\right)\ne 0$, i.e., $\kappa \left(x\right)=\pi \left(x\right)\varphi \left(x\right)$, and using $\kappa \left(x\right)$ instead of $\pi \left(x\right)$. The secret of affine quantization lies in being ready to accept a new ground state dictated by the reduction of domains.5

Quantization of Selected Scalar Field Theories

In this section we examine a scalar field with a quartic interaction and we employ an affine quantization. The model has a standard classical Hamiltonian,

$H\left(\pi \mathrm{,}\varphi \right)={\displaystyle \int}\left\{\frac{1}{2}\left[\pi {\left(x\right)}^{2}+{\left(\stackrel{\to}{\nabla}\varphi \left(x\right)\right)}^{2}+{m}_{o}^{2}\text{\hspace{0.05em}}\varphi {\left(x\right)}^{2}\right]+{g}_{o}\text{\hspace{0.05em}}\varphi {\left(x\right)}^{4}\right\}{\text{d}}^{s}x\mathrm{;}$ (22)

here s denotes the number of spatial coordinates. Next, we introduce the affine field $\kappa \left(x\right)\equiv \pi \left(x\right)\varphi \left(x\right)$, and modify the classical Hamiltonian to become

${H}^{\prime}\left(\kappa \mathrm{,}\varphi \right)={\displaystyle \int}\left\{\frac{1}{2}\left[\kappa \left(x\right)\varphi {\left(x\right)}^{-2}\kappa \left(x\right)+{\left(\stackrel{\to}{\nabla}\varphi \left(x\right)\right)}^{2}+{m}_{o}^{2}\varphi {\left(x\right)}^{2}\right]+{g}_{o}\text{\hspace{0.05em}}\varphi {\left(x\right)}^{4}\right\}{\text{d}}^{s}x\mathrm{.}$ (23)

For quantization it follows that $\varphi \left(x\right)\to \stackrel{^}{\varphi}\left(x\right)\ne 0$ plus $\kappa \left(x\right)\to \stackrel{^}{\kappa}\left(x\right)$, and we accept that $\left[\stackrel{^}{\varphi}\left(x\right)\mathrm{,}\stackrel{^}{\kappa}\left(y\right)\right]=i\hslash \delta \left(x-y\right)\stackrel{^}{\varphi}\left(x\right)$. Additionally, we assume we have a Schrödinger representation in which $\stackrel{^}{\varphi}\left(x\right)=\varphi \left(x\right)$ and

$\stackrel{^}{\kappa}\left(x\right)=-\frac{1}{2}i\hslash \left[\varphi \left(x\right)\left(\delta /\delta \varphi \left(x\right)\right)+\left(\delta /\delta \varphi \left(x\right)\right)\varphi \left(x\right)\right]\mathrm{.}$ (24)

It follows that Schrödinger’s equation is given by

$\begin{array}{l}i\hslash \partial \Psi \left(\varphi \mathrm{,}t\right)/\partial t\\ ={\displaystyle \int}\left\{\frac{1}{2}\left[\stackrel{^}{\kappa}\left(x\right)\varphi {\left(x\right)}^{-2}\stackrel{^}{\kappa}\left(x\right)+{\left(\stackrel{\to}{\nabla}\varphi \left(x\right)\right)}^{2}+{m}_{o}^{2}\varphi {\left(x\right)}^{2}\right]+{g}_{o}\varphi {\left(x\right)}^{4}\right\}{\text{d}}^{s}x\text{\hspace{0.05em}}\Psi \left(\varphi \mathrm{,}t\right)\mathrm{.}\end{array}$ (25)

It is noteworthy that $\stackrel{^}{\kappa}\left(x\right)\varphi {\left(x\right)}^{-1/2}=0$, as well as $\stackrel{^}{\kappa}\left(x\right){\Pi}_{y}\varphi {\left(y\right)}^{-1/2}=0$.

Solutions of this Schrödinger equation may be made simpler if its continuum formulation is first replaced by a suitable lattice regularization to facilitate finding solutions, and then, possibly, followed by an appropriate continuum limit; see [4].

There are some limited Monte Carlo studies of affine quantization of these scalar models; additional studies are welcome.

6. Quantum Gravity

The basic variables for classical gravity are the symmetric-index metric ${g}_{ab}\left(x\right)$, $a,b,\cdots =1,2,3$, and the matrix $\left\{{g}_{ab}\left(x\right)\right\}>0$ which implies that $g\left(x\right)\equiv \mathrm{det}\left[{g}_{ab}\left(x\right)\right]>0$ as well. In addition, the symmetric-index momentum is given by ${\pi}^{cd}\left(x\right)$, which are arbitrary real variables.

An important combination is ${\pi}_{b}^{a}\left(x\right)\equiv {\pi}^{ac}\left(x\right){g}_{bc}\left(x\right)$, with a summation over c. We name this combination term “momentric” because it involves the momentum and the metric.

To obtain the affine field we should combine the momentum and metric fields, which points us to the momentric field even though there is a difference in the number of independent metric terms (six) and momentric terms (nine). The Poisson brackets for these fields leads to

$\begin{array}{l}\left\{{\pi}_{b}^{a}\left(x\right)\mathrm{,}{\pi}_{d}^{c}\left({x}^{\prime}\right)\right\}=\frac{1}{2}{\delta}^{3}\left(x-{x}^{\prime}\right)\left[{\delta}_{d}^{a}{\pi}_{b}^{c}\left(x\right)-{\delta}_{b}^{c}{\pi}_{d}^{a}\left(x\right)\right]\mathrm{,}\\ \left\{{g}_{ab}\left(x\right)\mathrm{,}{\pi}_{d}^{c}\left({x}^{\prime}\right)\right\}=\frac{1}{2}{\delta}^{3}\left(x-{x}^{\prime}\right)\left[{\delta}_{a}^{c}{g}_{bd}\left(x\right)+{\delta}_{b}^{c}{g}_{ad}\left(x\right)\right]\mathrm{,}\\ \left\{{g}_{ab}\left(x\right)\mathrm{,}{g}_{cd}\left({x}^{\prime}\right)\right\}=0.\end{array}$ (26)

Unlike the canonical Poisson brackets, these Poisson brackets suggest that they are equally valid if ${g}_{ab}\left(x\right)\to -{g}_{ab}\left(x\right)$, and thus there could be separate realizations of each choice.6

Passing to operator commutations, we are led by (17) and suitable coherent states [1], to promote the Poisson brackets to the operators

$\begin{array}{l}\left[{\stackrel{^}{\pi}}_{b}^{a}\left(x\right),{\stackrel{^}{\pi}}_{d}^{c}\left({x}^{\prime}\right)\right]=i\frac{1}{2}\hslash {\delta}^{3}\left(x-{x}^{\prime}\right)\left[{\delta}_{d}^{a}{\stackrel{^}{\pi}}_{b}^{c}\left(x\right)-{\delta}_{b}^{c}{\stackrel{^}{\pi}}_{d}^{a}\left(x\right)\right],\\ \left[{\stackrel{^}{g}}_{ab}\left(x\right),{\stackrel{^}{\pi}}_{d}^{c}\left({x}^{\prime}\right)\right]=i\frac{1}{2}\hslash {\delta}^{3}\left(x-{x}^{\prime}\right)\left[{\delta}_{a}^{c}{\stackrel{^}{g}}_{bd}\left(x\right)+{\delta}_{b}^{c}{\stackrel{^}{g}}_{ad}\left(x\right)\right],\\ \left[{\stackrel{^}{g}}_{ab}\left(x\right),{\stackrel{^}{g}}_{cd}\left({x}^{\prime}\right)\right]=0.\end{array}$ (27)

There are two irreducible representations of the metric tensor operator consistent with these commutations: one where the matrix $\left\{{\stackrel{^}{g}}_{ab}\left(x\right)\right\}>0$, which we accept, and one where the matrix $\left\{{\stackrel{^}{g}}_{ab}\left(x\right)\right\}<0$, which we reject.

The classical Hamiltonian for our models is given [11] by

$H\left(\pi \mathrm{,}g\right)={\displaystyle \int}\left\{g{\left(x\right)}^{-1/2}\left[{\pi}_{b}^{a}\left(x\right){\pi}_{a}^{b}\left(x\right)-\frac{1}{2}{\pi}_{a}^{a}\left(x\right){\pi}_{b}^{b}\left(x\right)\right]+g{\left(x\right)}^{1/2}{}^{\left(3\right)}R\left(x\right)\right\}{\text{d}}^{3}x\mathrm{,}$ (28)

where ${}^{\left(3\right)}R\left(x\right)$ is the 3-dimensional Ricci scalar. For the quantum operators we adopt a Schrödinger representation for the basic operators: specifically ${\stackrel{^}{g}}_{ab}\left(x\right)={g}_{ab}\left(x\right)$ and

${\stackrel{^}{\pi}}_{b}^{a}\left(x\right)=-\frac{1}{2}i\hslash \left[{g}_{bc}\left(x\right)\left(\delta /\delta {g}_{ac}\left(x\right)\right)+\left(\delta /\delta {g}_{ac}\left(x\right)\right){g}_{bc}\left(x\right)\right]\mathrm{.}$ (29)

It follows that the Schrödinger equation is given by

$\begin{array}{l}i\hslash \partial \Psi \left(\left\{g\right\}\mathrm{,}t\right)/\partial t\\ ={\displaystyle \int}\left\{\left[{\stackrel{^}{\pi}}_{b}^{a}\left(x\right)g{\left(x\right)}^{-1/2}{\stackrel{^}{\pi}}_{a}^{b}\left(x\right)-\frac{1}{2}{\stackrel{^}{\pi}}_{a}^{a}\left(x\right)\text{\hspace{0.05em}}g{\left(x\right)}^{-1/2}{\stackrel{^}{\pi}}_{b}^{b}\left(x\right)\right]+g{\left(x\right)}^{1/2}{}^{\left(3\right)}R\left(x\right)\right\}{\text{d}}^{3}x\text{\hspace{0.05em}}\Psi \left(\left\{g\right\}\mathrm{,}t\right)\mathrm{,}\end{array}$ (30)

where $\left\{g\right\}$ represents the ${g}_{ab}\left(x\right)$ matrix.

It is noteworthy [4] that

${\stackrel{^}{\pi}}_{b}^{a}\left(x\right)g{\left(x\right)}^{-1/2}=0,\text{\hspace{0.17em}}\text{\hspace{0.17em}}{\stackrel{^}{\pi}}_{b}^{a}\left(x\right){\Pi}_{y}g{\left(y\right)}^{-1/2}=0.$ (31)

Indeed, these two equations imply that the factor $g{\left(x\right)}^{-1/2}$ can be moved to the left in the Hamiltonian in (30). Using that fact we can change the Hamiltonian operator, essentially by multiplying the Hamiltonian by $g{\left(x\right)}^{1/2}$, and using that expression to make the result a simpler approach to fulfill the Hamiltonian constraints [11] to seek Hilbert space states $\Omega \left(\left\{g\right\}\right)$ such that

$\left\{\left[{\stackrel{^}{\pi}}_{b}^{a}\left(x\right){\stackrel{^}{\pi}}_{a}^{b}\left(x\right)-\frac{1}{2}{\stackrel{^}{\pi}}_{a}^{a}\left(x\right){\stackrel{^}{\pi}}_{b}^{b}\left(x\right)\right]+g\left(x\right){}^{\left(3\right)}R\left(x\right)\right\}\Omega \left(\left\{g\right\}\right)=0.$ (32)

The analysis this far deals with the most difficult hurdle in the quantization of gravity. Further studies in this story are available in [1] as well as [4].

7. Overview and Completeness

Let us begin by returning to a single degree of freedom, like p and q, in the connection of canonical and affine procedures. The common action functional for canonical procedures is given by

$A={{\displaystyle \int}}_{0}^{T}\left\{p\stackrel{\dot{}}{q}-H\left(p\mathrm{,}q\right)\right\}\text{d}t\mathrm{.}$ (33)

As we presented earlier, stationary variations lead to the classical equations of motion. Selection of special phase-space variables, namely the “Cartesian coordinates” [1], say p and q, should be promoted to quantum operators, namely P and Q, which obey $\left[Q\mathrm{,}P\right]=i\hslash 1\text{l}$. Reduced to these few sentences, we have captured the essence of canonical quantization. We now turn to affine quantization.

We modify the classical action functional as follows by featuring a new variable $r\equiv p\text{\hspace{0.05em}}q$ in place of p. This change leads to

$A={{\displaystyle \int}}_{0}^{T}\left\{r\stackrel{\dot{}}{q}/q-{H}^{\prime}\left(r\mathrm{,}q\right)\right\}\text{d}t\mathrm{.}$ (34)

Stationary variations again lead to the relevant equations of motion, observe that the term $\stackrel{\dot{}}{q}/q$ can deal with $0<q<\infty $, $-\infty <q<0$, or $-\infty <q\ne 0<\infty $, where the factor $1/q$ leads to the requirement that $q\ne 0$. As shown in Sec. 3.3.2, the new coordinates are r and q, and the usual Poisson bracket becomes $\left\{q,r\right\}=q$. These variables are then promoted to operators R and Q, with $\left[Q\mathrm{,}R\right]=i\hslash Q$, along which, we claim, they describe the basic operators of affine quantization.

As the reader sees a new commutator in the last sentence, they may be worried that there could be an avalanche of “new, basic” commutators. To test that notion, let us consider the commutation $\left[{Q}^{m}\mathrm{,}R\right]=i\hslash \text{\hspace{0.05em}}m{Q}^{m}$. Ignoring the case of $m=0$, we can feature $\left[{Q}^{m}\mathrm{,}R/m\right]=i\hslash {Q}^{m}$. This relation recovers the original one when we set ${Q}^{m}\to {Q}^{\prime}$ and $R/m\to {R}^{\prime}$, which signals that no “new, basic” commutators arise from this exercise. Moreover, $\left[Q\mathrm{,}R\right]=i\hslash Q$ leads to a constant negative curvature, the amount being dependent on the choice of the set of coherent states. As previously noted, canonical quantization leads to a two-dimensional surface which has a constant zero curvature for canonical quantization, a two-dimensional surface which has a constant positive curvature for a spherical surface, the radius of which is fixed by the dimension of the finite Hilbert space, and a two-dimensional surface which has a constant negative curvature for affine quantization, the value of which is fixed by the fiducial vector for the coherent states. This set of constant, curved two-dimensional surfaces completes the set of such items, meaning that this particular feature is complete.

This presentation, for a single degree of freedom, essentially scales to apply to standard field theories and Einstein’s gravity by dropping classical momentum fields in favor of classical affine fields.

Affine quantization deserves to be accepted into the “select group of successful quantization procedures” so that we can quantize more classical systems!

NOTES

^{1}Equation (7) also applies if
$-\infty <Q<0$ or, as a reducible case,
$-\infty <Q\ne 0<\infty $. However, we will generally focus on the case where
$0<Q<\infty $.

^{2}In the author’s previous work the classical term
$r=p\text{\hspace{0.05em}}q$ was called
$d=p\text{\hspace{0.05em}}q$ and the quantum operator
$R=\left(PQ+QP\right)/2$ was called
$D=\left(PQ+QP\right)/2$ (d and D were for “dilation”). For purposes of this article, we adopt the symbols
$r=p\text{\hspace{0.05em}}q$ and
$R=\left(PQ+QP\right)/2$, when
$0<Q<\infty $. Hereafter, we will continue to focus mainly on
$0<Q<\infty $.

^{3}Unlike a flat plane, or a constant positive curvature surface (which holds the metric of three-dimensional spin coherent states), a space of constant negative curvature can not be visualized in a 3-dimensional flat space [7]. At every point in this space the negative curvature appears like a saddle having an “up curve” in the direction of the rider’s chest and a “down curve” in the direction of the rider’s legs.

^{4}Path integrals are commonly used to quantize classical theories as well. A mathematically sound procedure, which uses different sets of coherent states so as to feature specific quantizations, either a canonical quantization, an affine quantization, or a spin quantization, is discussed in [8], Chap. 8.

^{5}An affine quantization for an ultralocal (meaning: no gradients) scalar model in [4] illustrates how the ground state for this model is not the usual free ground state. Such behavior is referred to as “pseudofree”.

^{6}An earlier analysis of these issues appears in [10].

References

[1] Klauder, J.R. (2019) Quantum Gravity Made Esay. arXiv:1903.11211

[2] Aizenman, M. (1981) Proof of the Triviality of Field Theory and Some Mean-Field Features of Ising Models for . Physical Review Letters, 47, E-886.

https://doi.org/10.1103/PhysRevLett.47.886

[3] Fröhlich, J. (1982) On the Triviality of Theories and the Approach to the Critical Point in Dimensions. Nuclear Physics B, 200, 281-296.

https://doi.org/10.1016/0550-3213(82)90088-8

[4] Klauder, J.R. (2018) Building a Genuine Quantum Gravity. arXiv:1811.09582

[5] Klauder, J.R. (2012) Enhanced Quantization: A Primer. Journal of Physics A: Mathematical and Theoretical, 45, 8 p. arXiv:1204.2870.

https://doi.org/10.1088/1751-8113/45/28/285304

Klauder, J.R. (2015) Enhanced Quantization: Particles, Fields & Gravity. World Scientfic, Singapore.

https://doi.org/10.1142/9452

[6] Dirac, P.A.M. (1958) The Principles of Quantum Mechanics. Physics Today, 11, 32.

https://doi.org/10.1063/1.3062610

[7] Negative Curvature.

https://en.m.wikipedia.org/wiki/Poincaré_metrics

[8] Klauder, J.R. (2011) A Modern Approach to Functional Integration. Birkhäuser, Springer, New York.

https://doi.org/10.1007/978-0-8176-4791-9

[9] Freedman, B., Smolensky, P. and Weingarten, D. (1982) Monte Carlo Evaluation of the Continuum Limit of and . Physics Letters B, 113, 481-486.

https://doi.org/10.1016/0370-2693(82)90790-0

[10] Watson, G. and Klauder, J.R. (2002) Metric and Curvature in Gravitational Phase Space. Classical and Quantum Gravity, 19, 3617.

https://doi.org/10.1088/0264-9381/19/14/304

[11] Arnowitt, R., Deser, S. and Misner, C. (1962) The Dynamics of General Relativity. In: Witten, L., Ed., Gravitation: An Introduction to Current Research, Wiley & Sons, New York, 227. arXiv:gr-qc/0405109