Approximate Reformulation a Recent Non-Renormalizable QFT’s Methodology and Einstein’s Gravity

We revisit, advancing a useful approximation, a recently formulated QFT treatment that successfully overcomes any troubles with infinities for non-renormalizable QFTs [J. Phys. Comm. 2 115029 (2018)]. Such methodology was able to successfully deal, in non-relativistic fashion, with New-ton’s gravitation potential [Annals of Physics 412, 168013 (2020)]. Our present approximation to the QFT method of [J. Phys. Comm. 2 115029 (2018)] is based on the Einstein’s Lagrangian (EG) elaborated by Gupta [1], save for a different constraint’s selection. This choice allows one to avoid the lack of unitarity for the S matrix that impaired the proceedings of Gupta and Feynman. Moreover, we are able to simplify the handling of such constraint by eliminating the need to involve ghosts for guarantying unitarity. Our approximation consists in setting the graviton field µν a constant tensor and φ a scalar (graviton) field. The ensuing approximate approach is non-renormalizable, an inconvenience that we are able to over-come in [J. Phys. Comm. 2 115029 (2018)].


Introduction
Quantifying Einstein gravity (EG) remains an open problem. We can speak of the Holy Grail for quantum field theory (QFT). Many preceding attempts in this vein failed because 1) they use Rigged Hilber Space (RHS) with undefined metric, 2) non-unitarity troubles, and iii) non-renormalizablity problems.
We will construct here a unitary EG's QFT based on efforts by Gupta [1], but deviate from his path by appealing to a distinct EG-constraint. This technical detail poses a problem analogous to that of Quantum Electrodynamics (QED). To quantize the associated non-renormalizable variational problem, we employ mathematical tools developed by Bollini et al. [2] [3] [4] [5] [6] in the wake of Ultra distributions introduced by J. S. Silva (JSS) [7], also called Ultrahyperfunctions. The above cited mathematical apparatus was specifically devised so as to quantify non-renormalizable field theories, for a detailed discussion see [2] [3] [4] [5] [6]. One ends up facing a theory similar to QED, endowed with unitarity at all finite orders in power expansions in the gravitation constant G of the EG Lagrangian. This was previously attempted, but without success, by Gupta and by Feynman (in his celebrated Acta Physica Polonica paper [8]).
Rather surprisingly for some contemporary physicists, for a mathematician, quantifying a non-renormalizable field theory is equivalent to properly defining a product of two distributions (a product in a ring with zero-divisors in configuration space). This is an old problem in functional theory, successfully tackled in [2] [3] [4] [5] [6].
Remember that, in QFT, evaluating products of distributions with coincident point singularities is connected to the asymptotic behavior of loop integrals of propagators.
In [2] [3] [4] [5] the authors showed the feasibility of defining a general convolution between the ultrahyperfunctions of JSS [7]. This convolution produces another ultrahyperfunction. Thus, one has a product in a ring with zero divisors, a ring that is the space of distributions of exponential type, or ultradistributions of exponential type. We get them applying the anti-Fourier transform to the space of tempered ultra distributions or ultra distributions of exponential type.
The ultrahyperfunctions are just the generalization and extension to the complex plane of the Schwartz tempered distributions and the distributions of exponential type. Thus, the tempered distributions and those of exponential type are a subset of the ultrahyprefunctions.
The present work we do not employ counter-terms to eliminate infinities, since our convolutions remain always finite. One should not wish for counter-terms, since a non-renormalizable theory involves an infinite number of them.
Simultaneously, we keep all extant solutions to the problem of running coupling constants and the renormalization group. Our convolution, once available, transforms configuration space into a ring with zero-divisors. In such ring, we have defined now a product between the ring-elements. Accordingly, any unitary-causal-Lorentz invariant theory quantified in such way becomes predictive. One does no need now to distinguish between renormalizable on non-renormalizable QFT's.
Our convolution uses Laurent's expansions in the parameter employed to de-fine it. All finite constants of the convolutions become determined, eliminating arbitrary selections of finite constants. This is equivalent to deleting all finite renormalizations of the theory. The independent term in the Laurent expansion yields the convolution value, which translates to configuration space the product-operation in a ring with divisors of zero. Our paper is structured as indicated belows: 1) Section 2 deals with preliminary materials. 2) Section 3 treats the QFT Lagrangian for EG and introduces a new approximation that consists in setting the graviton field µν µν φ γ φ = , where µν γ is a constant tensor and φ a scalar (graviton) field.
3) Section 4 quantizes the ensuing theory. 4) Section 5 evaluates the graviton's self-energy up to second order. 5) Section 6 introduces axions into our scenario and considers the axions gravitons interaction.
6) Section 7 calculates the graviton's self-energy in the presence of axions. 7) Section 8 evaluates the axion's self-energy, up to second order. 8) Finally, some conclusions are drawn in Section 9.

Preliminary Materials
The most general quantification approach is Schwinger-Feynman's variational principle [9]. It is able to deal even with high order supersymmetric theories, as done by [10] [11]. These theories cannot be quantized by appeal to the customary Dirac-brackets approach.
Consider now the action for a set of fields written in the fashion if a space-like surface passing through the point x. 0 σ is that surface (at the remote past), for which all field variations vanish. The Schwinger-Feynman variational principle asserts that "Any Hermitian infinitesimal variation δ  of the action induces a canonical transformation of the vector space in which the quantum system is defined, and the generator of this transformation is this same operator δ  ".
Thus, this equality holds: Accordingly, for a Poincare transformation one has where the field variation is Eq. (ep2.6) will be used below for quantizing EG.

The Lagrangian of Einstein's QFT
The EG Lagrangian is [1] where Minkowski's ( ) The second term in (3.1) establishes the gauge fixing. We reach here a critical stage by proceeding to perform a crucial linear approximation. This will be immediately seen to be an approximation to the graviton field. We write: where 2 κ is the gravitation's constant and v µ φ the graviton field. Our approximation based in [12] reads with φ a scalar field and where , and, up to 2nd order, one has [1] having made use of the constraint (3.4) This constraint is required in order to satisfy gauge invariance [13] For the field φ we have then, as can also be seen to happen in [6],

The Quantization of the Theory
As usual in QFT, see for instance Visconti' celebrated book [9], the quantum energy-momentum tensor T λ ρ is cast as and the time-component of the four-momentum is now the quantum operator Using (3.4) we have Consequently, Appeal to (2.6) leads now to From the last relation in (4.5) one gathers that The solution of this integral equation is We use now the the usual definition The graviton's propagator then turns out to be As a consequence, we can write Thus, we obtain where we have used the fact that the product of two deltas with the same argument vanishes [2], i.e., ( This illustrates the fact that us- Now, we must insist on the fact that the physical state should satisfy the relation (see [1]) The ensuing theory is similar to the QED-one obtained via the quantization approach of Gupta-Bleuler. This implies that the theory is unitary for any finite perturbative order. In this theory just one type of graviton arises, 12 φ , while in Gupta's treatment two sorts of graviton emerge. Of course, this happens for a non-interacting theory, as pointed out by Gupta.

Graviton's Self Energy
So as to compute the graviton's self-energy (SF)c we begin with the interaction Hamiltonian I  . Remark that the Lagrangian has derivative interaction terms.
Anti-transforming the above equation one has ( 2) 2 The exact value of the convolution we are interested in, i.e., the left hand side of (5.5), is given by the independent term above, as everyone knows. Should the reader be unfamiliar with this scenario, we direct him/her to [6]. We now get We face here 1296 diagrams of this type.

Axions Enter the Picture
Axions are hypothetical elementary particles conjectured by the 1977 Peccei-Quinn theory so as to tackle the strong CP problem in quantum chromodynamics. Should they exist and have low enough mass (within a certain range), they may be of some interest as putative components of cold dark matter [14]. We thus consider now a massive scalar field (axions) interacting with the graviton and the pertinent Lagrangian becomes It is possible to recast the Lagrangian now as so that LM  is the Lagrangian for the axion-graviton action

Graviton's Complete Self Energy
Axions necessarily generate a new contribution to a graviton's self energy Accordingly, our desired self-energy total is a combination of ( )

Axion's Self Energy
The self-energy reads