An Ultralocal Classical and Quantum Gravity Theory

John R. Klauder

Department of Physics and Department of Mathematics, University of Florida, Gainesville, FL, USA.

DOI: 10.4236/jhepgc.2020.64044                

Abstract

An ultralocal form of any classical field theory eliminates all spatial derivatives in its action functional, e.g., in its Hamiltonian functional density. It has been applied to covariant scalar field theories and even to Einstein's general relativity, by Pilati, as an initial term in a perturbation series that aimed to restore all omitted derivatives. Previously, the author has quantized ultralocal scalar fields by affne quantization to show that these non-renormalizanle theories can be correctly quantized by affne quantization; the story of such scalar models is discussed in this paper. The present paper will also show that ultralocal gravity can be successfully quantized by affne quantization. The purpose of this study is that a successful affne quantization of any ultralocal field problem implies that, with properly restored derivatives, the classical theory can, in principle, be guaranteed a successful result using either a canonical quantization or an affne quantization. In particular, Einstein's gravity requires an affne quantization, and it will be successful.

Keywords

Cosmological Constant, Ultralocal Models, Affne Quantization

1. Ultralocal Scalar Field Theories

Before considering gravity, it can be useful 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.

A traditional covariant scalar field has a classical (c) Hamiltonian given by

$H_c={\displaystyle \int }\left\{\frac{1}{2}\left[\pi {\left(x\right)}^2+\left(\stackrel{\to }{\nabla }\phi \right){\left(x\right)}^2+m_0^2\phi {\left(x\right)}^2\right]+g_0\phi {\left(x\right)}^p\right\}{\text{d}}^{s}x\mathrm{,}$ (1)

with p an even positive integer, s, the number of spacial dimensions, is a positive integer, $m_0^2>0$, and $g_0\ge 0$. With $n=s+1$ spacetime dimensions and using canonical quantization, a satisfactory quantization appears for $p<2n/\left(n-2\right)$. If $p\ge 4=n$ a Monte Carlo study [1] and analysis [2] [3] only found “free theory results”, while if perturbation series were used when $p>2n/\left(n-2\right)$, then only, divergent, non-renormalizable behavior appears. The ultralocal (u) scalar field model here has a classical Hamiltonian given by

$H_u={\displaystyle \int }\left\{\frac{1}{2}\left[\pi {\left(x\right)}^2+m_0^2\phi {\left(x\right)}^2\right]+g_0\phi {\left(x\right)}^p\right\}{\text{d}}^{s}x\mathrm{,}$ (2)

and with canonical quantization, a divergent perturbation series for $p>2$ and any $n\ge 2$ leads to undesired results. Let us choose a different path.

The domain of $H_u$ consists of all, continuous momentum functions $\pi \left(x\right)$ and scalar fields $\phi \left(x\right)$ for which $0<H_u<\infty$. Our interest is focused on $p>2$, and thus $p\in \left\{\mathrm{4,6,8,}\cdots \right\}$, and clearly, for all such $p>2$ and all $s\in \left\{\mathrm{1,2,3,}\cdots \right\}$, the domain ${\mathcal{D}}_{p>2}\left(\pi ,\phi \right)\subset {\mathcal{D}}_{p=2}\left(\pi ,\phi \right)$ ; we will raise the issue of domains again at the end of this story. When quantized by using canonical quantization, along with a perturbation series in powers of $g_0$, one encounters multiple infinities.

Since all derivatives have been removed, what happens at any point of x does not affect what happens at any other point $x^{\prime }\ne x$. Just like sums of independent operators in Hamiltonians lead to products of separate and independent wave functions, this implies, for our problem, that the ground state is composed of products at different points, which, thanks to the Central Limit Theorem, leads to the characteristic function of the ground state distribution, i.e., the Fourier transformation of the absolute square of the normalized ground state, being given in the form of

$C\left(f\right)={\displaystyle \int {\text{e}}^{i{\displaystyle \int f\left(x\right)\phi \left(x\right){\text{d}}^{s}x}}{\Pi }_x{\left|{\Psi }_0\left[\phi \left(x\right)\right]\right|}^2\text{d}\phi \left(x\right)}={\text{e}}^{-{\displaystyle \int W\left(f\left(x\right)\right){\text{d}}^s\text{}x}}\mathrm{,}$ (3)

for a suitable function $W\left(f\left(x\right)\right)$, with $W\left(f\left(x\right)\right)=0$ whenever $f\left(x\right)=0$.

1.1. An Affine Ultralocal Scalar Field

Affine classical variables are given by $\kappa \left(x\right)\equiv \pi \left(x\right)\phi \left(x\right)$ and $\phi \left(x\right)$, with the restriction that $\phi \left(x\right)\ne 0$, and the Poisson bracket is given by $\left\{\phi \left(x\right)\mathrm{,}\kappa \left(x^{\prime }\right)\right\}={\delta }^s\left(x-x^{\prime }\right)\phi \left(x\right)$. The classical ultralocal Hamiltonian expressed in affine variables is given by

$H_u={\displaystyle \int }\left\{\frac{1}{2}\left[\kappa {\left(x\right)}^2\phi {\left(x\right)}^{-2}+m_0^2\phi {\left(x\right)}^2\right]+g_0\phi {\left(x\right)}^p\right\}{\text{d}}^{s}x\mathrm{.}$ (4)

The basic quantum operators are $\hat{\phi }\left(x\right)\ne 0$ and $\hat{\kappa }\left(x\right)$, and their commutator is given by $\left[\hat{\phi }\left(x\right)\mathrm{,}\hat{\kappa }\left(x^{\prime }\right)\right]=i\hslash {\delta }^s\left(x-x^{\prime }\right)\hat{\phi }\left(x\right)$. The quantum affine Hamiltonian is given by

$H_u={\displaystyle \int }\left\{\frac{1}{2}\left[\hat{\kappa }\left(x\right)\hat{\phi }{\left(x\right)}^{-2}\hat{\kappa }\left(x\right)+m_0^2\hat{\phi }{\left(x\right)}^2\right]+g_0\hat{\phi }{\left(x\right)}^p\right\}{\text{d}}^{s}x\mathrm{,}$ (5)

and the Schrödinger representation is given by $\hat{\phi }\left(x\right)=\phi \left(x\right)$ and

$\hat{\kappa }\left(x\right)=-\frac{1}{2}i\hslash \left[\phi \left(x\right)\left(\delta /\delta \phi \left(x\right)\right)+\left(\delta /\delta \phi \left(x\right)\right)\phi \left(x\right)\right]\mathrm{.}$ (6)

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

1.2. A Regularized Affine Ultralocal Scalar Field

Our regularization is of the underlying space in which $x\to ka$, where $k\in {\left\{\cdots \mathrm{,}-\mathrm{1,0,1,2,3,}\cdots \right\}}^s$ and $a>0$ denotes the tiny distance between lattice rungs. The regularized classical ultralocal Hamiltonian is given by

$H_u={{\displaystyle \sum }}_k\left\{\frac{1}{2}\left[{\pi }_k^2+m_0^2{\phi }_k^2\right]+g_0{\phi }_k^p\right\}{a}^s\mathrm{.}$ (7)

The classical affine regularization involves ${\kappa }_k={\pi }_k{\phi }_k$ and ${\phi }_k$, with ${\phi }_k\ne 0$, with a Poisson bracket $\left\{{\phi }_k\mathrm{,}{\kappa }_m\right\}={\delta }_{k\mathrm{,}m}{\phi }_k$, and the classical affine regularized ultralocal Hamiltonian is given by

$H_u={{\displaystyle \sum }}_k\left\{\frac{1}{2}\left[{\kappa }_k^2{\phi }_k^{-2}+m_0^2{\phi }_k^2\right]+g_0{\phi }_k^p\right\}{a}^s\mathrm{.}$ (8)

The regularized basic quantum Schrödinger operators are given by ${\hat{\phi }}_k={\phi }_k$ and

$\begin{array}{c}{\hat{\kappa }}_k=-i\frac{1}{2}\hslash \left[{\phi }_k\left(\partial /\partial {\phi }_k\right)+\left(\partial /\partial {\phi }_k\right){\phi }_k\right]a^{-s}\\ =-i\hslash \left[{\phi }_k\mathrm{<mo\; stretchy="false">\; (\; </mo>}\left(\partial /\partial {\phi }_k\right)+1/2\right]a^{-s}\mathrm{.}\end{array}$ (9)

An important result is that ${\hat{\kappa }}_k{\phi }_k^{-1/2}=0$. The Schrödinger equation becomes

$i\hslash \partial \psi \left(\phi \mathrm{,}t\right)/\partial t={{\displaystyle \sum }}_k\left\{\frac{1}{2}\left[{\hat{\kappa }}_k{\phi }_k^{-2}{\hat{\kappa }}_k+m_0^2{\phi }_k^2\right]+g_0{\phi }_k^p\right\}{a}^s\psi \left(\phi \mathrm{,}t\right)\mathrm{.}$ (10)

The normalized ground state of such an equation is given by

${\psi }_0\left(\phi \right)={\Pi }_k{\text{e}}^{-V\left({\phi }_k\right)/2}{\left(b{a}^s\right)}^{1/2}{\phi }_k^{-\left(1-2b{a}^s\right)/2}\mathrm{,}$ (11)

for some real function $V\left({\phi }_k\right)$. Finally, we ask what is the characteristic function for such an equation, and the answer is given by

$\begin{array}{c}C\left(f\right)=\underset{a\to 0}{lim}{\Pi }_k{\displaystyle \int }{\text{e}}^{i{f}_k{\phi }_k}{\text{e}}^{-V\left({\phi }_k\right)}\left(b{a}^s\right){\left|{\phi }_k\right|}^{-\left(1-2b{a}^s\right)}\text{d}{\phi }_k\\ =\underset{a\to 0}{lim}{\Pi }_k\left[1-\left(b{a}^s\right){\displaystyle \int }\left[1-{\text{e}}^{i{f}_k{\phi }_k}\right]{\text{e}}^{-V\left({\phi }_k\right)}{\left|{\phi }_k\right|}^{-\left(1-2b{a}^s\right)}\text{d}{\phi }_k\right]\\ =exp\left\{-b{\displaystyle \int }{\text{d}}^{s}x{\displaystyle \int }\left[1-{\text{e}}^{if\left(x\right)\lambda }\right]{\text{e}}^{-v\left(\lambda \right)}\text{d}\lambda /\left|\lambda \right|\right\}\mathrm{.}\end{array}$ (12)

Here ${\phi }_k\to \lambda$, and $V\to v$ to account for changes that may have arisen in V as $a\to 0$. The resultant expression in (12) is a (generalized) Poisson distribution, which, besides a Gaussian distribution, is the only other form allowed by the Central Limit Theorem.

As a crude estimate of the large behavior of $\phi$ for different p values we can examine $\left(-{\text{d}}^2/\text{d}{x}^2+x^p\right){\text{e}}^{-{\left|x\right|}^{\gamma }/\gamma }\simeq \left(-x^{2\gamma -2}+x^p+\cdots \right){\text{e}}^{-{\left|x\right|}^{\gamma }/\gamma }$. To cancel the largest terms we roughly need to have $\gamma =1+p/2$. If $g_0\to 0$, then $p\to 2=\gamma$, and thus $v\left(\lambda \right)\to c{\lambda }^2$, with $c>0$. This last fact means that sending $g_0\to 0$ does not lead us to a simple, free Gaussian because the given result reflects the continuity of a smaller domain of the interacting model as compared to the strictly larger domain of the truly free theory.

The Main Lesson from Ultralocal Scalar Fields

The previous subsection found that an ultralocal scalar field model led to acceptable results when $p\ge 2$ and $n\ge 2$. For certain covariant scalar field models, we have already observed that acceptable results arise by canonical quantization when $p<2n/\left(n-2\right)$. In view of acceptable results for ultralocal scalar fields when $p\ge 2$ and $n\ge 2$, we predict that an affine quantization for covariant scalar fields leads to acceptable results when $p\ge 2n/\left(n-2\right)$. Monte Carlo studies, such as those carried out in [1], could confirm whether this prediction is true or not.

2. Ultralocal General Relativity

An effort to quantize Einstein’s theory of gravity has been examined in several articles published by the author; see [4] [5] [6] [7], with [8], perhaps, being the strongest effort of them all. In light of those articles, we will present a modest selection of the necessary features for an affine quantization of Einstein’s gravity.

The phase space variables in the ADM version of classical general relativity [9] are the metric field $g_{ab}\left(x\right)$ and the momentum field ${\pi }^{cd}\left(x\right)$, where $a,b,c,d,\cdots =1,2,3$, and which a canonical quantization promotes to basic quantum operators. The positivity requirement that $g_{ab}\left(x\right)\text{d}{x}^a\text{d}{x}^b>0$ implies that the momentum operator cannot be self adjoint. An affine quantization chooses the classical metric $g_{ab}\left(x\right)$, which has a positive requirement as before, while the momentum field is replaced by the momentric field ${\pi }_b^a\left(x\right)$ $\left[\equiv {\pi }^{ac}\left(x\right)g_{bc}\left(x\right)\right]$. These basic affine variables are promoted to quantum operators, both of which can be self adjoint, while the metric operator is also positive as desired.

The ADM classical Hamiltonian, with $g\left(x\right)\equiv \det \left[g_{ab}\left(x\right)\right]>0$, is given by

$H_c={\displaystyle \int }\left\{g{\left(x\right)}^{-\mathrm{1\; <mo>\; /\; </mo>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}R\left(x\right)\right\}{\text{d}}^{3}x$ (13)

where $R\left(x\right)$ is the 3-dimensional scalar curvature.

The term $R\left(x\right)$ contains all of the spatial derivative terms and the ultralocal version of the classical Hamiltonian is chosen as

$H_u={\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}\Lambda \left(x\right)\right\}{\text{d}}^{3}x\mathrm{.}$ (14)

This expression now has a position-dependent “cosmological constant” in place of the scalar curvature. The term $\Lambda \left(x\right)$ (imitating $R\left(x\right)$ ) should be a continuous function that obeys $-\infty <\Lambda \left(x\right)<\infty$. When this Hamitonian is quantizaed the only variables that are promoted to quantum operators are the metric field, $g_{ab}\left(x\right)$, and the momentric field, ${\pi }_d^c\left(x\right)$ ; the classical function $\Lambda \left(x\right)$ is fixed and not made into an operator.¹

2.1. An Affine Quantization of Ultralocal Gravity

The quantum operators are ${\hat{g}}_{ab}\left(x\right)$ and ${\hat{\pi }}_d^c\left(x\right)$, and their Schrödinger representations are given by ${\hat{g}}_{ab}\left(x\right)=g_{ab}\left(x\right)$ and

${\hat{\pi }}_b^a\left(x\right)=-i\frac{1}{2}\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{.}$ (15)

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

$\begin{array}{c}i\hslash \partial \psi \left(\left\{g\right\}\mathrm{,}t\right)/\partial t={\displaystyle \int }\{{\hat{\pi }}_b^a\left(x\right)g{\left(x\right)}^{-1/2}{\hat{\pi }}_a^b\left(x\right)-\frac{1}{2}{\hat{\pi }}_a^a\left(x\right)g{\left(x\right)}^{-1/2}{\hat{\pi }}_b^b\left(x\right)\\ \begin{array}{c}\\ \end{array}+g{\left(x\right)}^{\mathrm{1\; <mo>\; /\; </mo>2}}\Lambda \left(x\right)\}{\text{d}}^{3}x\psi \left(\left\{g\right\}\mathrm{,}t\right)\mathrm{,}\end{array}$ (16)

where the symbol $\left\{g\right\}$ denotes the full metric matrix. In addition, we find that ${\hat{\pi }}_b^a\left(x\right)g{\left(x\right)}^{-1/2}=0$, which is proved in [8], just above Equation (40). Solutions of (16) are again governed by the Central Limit Theorem.

As was the scalar case in the previous section, the formal expression for (16) needs to be regularized.

2.2. A Regularized Affine Ultralocal Quantum Gravity

Much like the regularization of the scalar fields, we introduce a discrete version of the underlying space such as $x\to ka$, where $k\in {\left\{\cdots \mathrm{,}-\mathrm{1,0,1,2,3,}\cdots \right\}}^3$ and $a>0$ is the spacing between rungs in which, for the Schrödinger representation, $g_{ab}\left(x\right)\to g_{abk}$ and ${\hat{\pi }}_d^c\left(x\right)\to {\hat{\pi }}_{dk}^c$ that becomes

$\begin{array}{c}{\hat{\pi }}_{dk}^c=-i\frac{1}{2}\hslash \left[g_{dek}\left(\partial /\partial g_{cek}\right)+\left(\partial /\partial g_{cek}\right)g_{dek}\right]a^{-s}\\ =-i\hslash \left[g_{dek}\left(\partial /\partial g_{cek}\right)+1/2\right]a^{-s}\mathrm{.}\end{array}$ (17)

Take note that ${\hat{\pi }}_{bk}^a{g}_k^{-1/2}=0$, where $g_k=det\left(g_{abk}\right)$.

The regularized Schrödinger equation is then given by

$\begin{array}{l}i\hslash \partial \psi \left(\left\{g\right\}\mathrm{,}t\right)/\partial t\\ ={{\displaystyle \sum }}_k\left\{{\hat{\pi }}_{bk}^a{g}_k^{-1/2}{\hat{\pi }}_{ak}^b-\frac{1}{2}{\hat{\pi }}_{ak}^a{g}_k^{-1/2}{\hat{\pi }}_{bk}^b+g_k^{1/2}{\Lambda }_k\right\}{a}^s\psi \left(\left\{g\right\}\mathrm{,}t\right)\mathrm{,}\end{array}$ (18)

A normalized, stationary solution to this equation is given by

${\psi }_Y\left(\left\{g\right\}\right)={\Pi }_{k}Y\left(g_k\mathrm{,}{\Lambda }_k\right){\left(b{a}^3\right)}^{1/2}{g}_k^{-\left(1-b{a}^3\right)/2}\mathrm{.}$ (19)

The characteristic function for such an expression is given by

$\begin{array}{c}{C}_Y\left(f\right)=\underset{a\to 0}{lim}{\Pi }_k{\displaystyle \int }{\text{e}}^{i{f}_k{g}_k}{\left|Y\left(g_k\mathrm{,}{\Lambda }_k\right)\right|}^2\left(b{a}^3\right)g_k^{-\left(1-b{a}^3\right)}\text{d}{g}_k\\ =\underset{a\to 0}{lim}{\Pi }_k\left\{1-\left(b{a}^3\right){\displaystyle \int }\left[1-{\text{e}}^{i{f}_k{g}_k}\right]{\left|Y\left(g_k\mathrm{,}{\Lambda }_k\right)\right|}^2{g}_k^{-\left(1-b{a}^3\right)}\text{d}{g}_k\right\}\\ =exp\left\{-b{\displaystyle \int }{\text{d}}^{3}x{\displaystyle \int }\left[1-{\text{e}}^{if\left(x\right)\mu }\right]{\left|y\left(\mu \mathrm{,}\Lambda \left(x\right)\right)\right|}^2\text{d}\mu /\mu \right\}\mathrm{,}\end{array}$ (20)

where the scalar $g_k\to \mu >0$ and $Y\to y$ to accommodate any change in Y 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 affine quantization as claimed. Although this analysis was only for an ultralocal model, it nevertheless points to the existence of proper solutions for Einstein’s general relativity.

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 scalar fields can also 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.

The analysis of certain gravity models with significant symmetry may provide examples that can be completely solved using the tools of affine quantization. For readers interested in the why and the how of affine quantization, perhaps [5] could be a good place to start.

NOTES

¹Pilati discussed a similar model [10] [11] in an effort to use such a model as the first term in a perturbation series to restore the proper gravity using canonical quantization.

Conflicts of Interest

The author declares no con icts of interest regarding the publication of this paper.

References

[1]	Freedman, B., Smolensky, P. and Weingarten, D. (1982) Monte Carlo Evaluation of the Continuum Limit of φ44 and φ43 . Physics Letters B, 113, 481-486. https://doi.org/10.1016/0370-2693(82)90790-0
[2]	Aizenman, M. (1981) Proof of the Triviality of φ4d Field Theory and Some Mean-Field Features of Ising Models for d > 4. Physical Review Letters, 47, 886. https://doi.org/10.1103/PhysRevLett.47.886
[3]	Frohlich, J. (1982) On the Triviality of λφ4d Theories and the Approach to the Critical Point in d ≥ 4 Dimensions. Nuclear Physics B, 200, 281-296. https://doi.org/10.1016/0550-3213(82)90088-8
[4]	Klauder, J.R. (2020) Quantum Gravity Made Esay. Journal of High Energy Physics, Gravitation and Cosmology, 6, 90-102. https://doi.org/10.4236/jhepgc.2020.61009
[5]	Klauder, J.R. (2020) The Bene_ts of A_ne Quantization. Journal of High Energy Physics, Gravitation and Cosmology, 6, 175-185. https://doi.org/10.4236/jhepgc.2020.62014
[6]	Klauder, J.R. (2020) Building a Genuine Quantum Gravity. Journal of High Energy Physics, Gravitation and Cosmology, 6, 159-173. https://doi.org/10.4236/jhepgc.2020.61013
[7]	Klauder, J.R. (2020) Quantum Gravity, Constant Negative Curvatures, and Black Holes. Journal of High Energy Physics, Gravitation and Cosmology, 6, 313-320. https://doi.org/10.4236/jhepgc.2020.63024
[8]	Klauder, J.R. (2020) Using A_ne Quantization to Analyze Non-Renormalizable Scalar Fields and the Quantization of Einstein's Gravity. arXiv:2006.09156
[9]	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.
[10]	Pilati, M. (1982) Strong Coupling Quantum Gravity. I. Solution in a Particular Gauge. Physical Review D, 26, 2645. https://doi.org/10.1103/PhysRevD.26.2645
[11]	Pilati, M. (1983) Strong Coupling Quantum Gravity. II. Solution without Gauge Fixing. Physical Review D, 28, 729. https://doi.org/10.1103/PhysRevD.28.729