Asymptotic safety (sometimes also referred to as nonperturbative renormalizability) is a concept in
quantum field theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
which aims at finding a consistent and predictive quantum theory of the
gravitational field
In physics, a gravitational field is a model used to explain the influences that a massive body extends into the space around itself, producing a force on another massive body. Thus, a gravitational field is used to explain gravitational phenome ...
quantum gravity
Quantum gravity (QG) is a field of theoretical physics that seeks to describe gravity according to the principles of quantum mechanics; it deals with environments in which neither gravitational nor quantum effects can be ignored, such as in the vi ...
, the idea of a nontrivial fixed point providing a possible
UV completion
In theoretical physics, ultraviolet completion, or UV completion, of a quantum field theory is the passing from a lower energy quantum field theory to a more general quantum field theory above a threshold value known as the cutoff. In particu ...
can be applied also to other field theories, in particular to perturbatively nonrenormalizable ones. In this respect, it is similar to
quantum triviality
In a quantum field theory, charge screening can restrict the value of the observable "renormalized" charge of a classical theory. If
the only resulting value of the renormalized charge is zero, the theory is said to be "trivial" or noninteracting. ...
.
The essence of asymptotic safety is the observation that nontrivial renormalization group fixed points can be used to generalize the procedure of perturbative renormalization. In an asymptotically safe theory the couplings do not need to be small or tend to zero in the high energy limit but rather tend to finite values: they approach a nontrivial
UV fixed point
In a quantum field theory, one may calculate an effective or running coupling constant that defines the coupling of the theory measured at a given momentum scale. One example of such a coupling constant is the electric charge.
In approximate calc ...
. The running of the coupling constants, i.e. their scale dependence described by the renormalization group (RG), is thus special in its UV limit in the sense that all their dimensionless combinations remain finite. This suffices to avoid unphysical divergences, e.g. in
scattering amplitudes
In quantum physics, the scattering amplitude is the probability amplitude of the outgoing spherical wave relative to the incoming plane wave in a stationary-state scattering process.bare action and the values of the bare coupling constants, which become predictions of the asymptotic safety program rather than inputs.
As for gravity, the standard procedure of perturbative renormalization fails since Newton's constant, the relevant expansion parameter, has negative
mass dimension
Mass is an intrinsic property of a body. It was traditionally believed to be related to the quantity of matter in a physical body, until the discovery of the atom and particle physics. It was found that different atoms and different elementar ...
rendering general relativity perturbatively nonrenormalizable. This has driven the search for nonperturbative frameworks describing quantum gravity, including asymptotic safety which in contrast to other approaches is characterized by its use of quantum field theory methods, without depending on perturbative techniques, however. At the present time, there is accumulating evidence for a fixed point suitable for asymptotic safety, while a rigorous proof of its existence is still lacking.
Motivation
Gravity, at the classical level, is described by Einstein's field equations of general relativity,
. These equations combine the spacetime geometry encoded in the metric with the matter content comprised in the energy–momentum tensor . The quantum nature of matter has been tested experimentally, for instance quantum electrodynamics is by now one of the most accurately confirmed theories in physics. For this reason quantization of gravity seems plausible, too. Unfortunately the quantization cannot be performed in the standard way (perturbative renormalization): Already a simple power-counting consideration signals the perturbative nonrenormalizability since the
mass dimension
Mass is an intrinsic property of a body. It was traditionally believed to be related to the quantity of matter in a physical body, until the discovery of the atom and particle physics. It was found that different atoms and different elementar ...
of Newton's constant is . The problem occurs as follows. According to the traditional point of view renormalization is implemented via the introduction of counterterms that should cancel divergent expressions appearing in loop integrals. Applying this method to gravity, however, the counterterms required to eliminate all divergences proliferate to an infinite number. As this inevitably leads to an infinite number of free parameters to be measured in experiments, the program is unlikely to have predictive power beyond its use as a low energy effective theory.
It turns out that the first divergences in the quantization of general relativity which cannot be absorbed in counterterms consistently (i.e. without the necessity of introducing new parameters) appear already at one-loop level in the presence of matter fields.
At two-loop level the problematic divergences arise even in pure gravity.
In order to overcome this conceptual difficulty the development of nonperturbative techniques was required, providing various candidate theories of quantum gravity.
For a long time the prevailing view has been that the very concept of quantum field theory even though remarkably successful in the case of the other fundamental interactions is doomed to failure for gravity. By way of contrast, the idea of asymptotic safety retains quantum fields as the theoretical arena and instead abandons only the traditional program of perturbative renormalization.
History of asymptotic safety
After having realized the perturbative nonrenormalizability of gravity, physicists tried to employ alternative techniques to cure the divergence problem, for instance resummation or extended theories with suitable matter fields and symmetries, all of which come with their own drawbacks. In 1976, Steven Weinberg proposed a generalized version of the condition of renormalizability, based on a nontrivial fixed point of the underlying renormalization group (RG) flow for gravity.
This was called asymptotic safety.
The idea of a UV completion by means of a nontrivial fixed point of the renormalization groups had been proposed earlier by Kenneth G. Wilson and Giorgio Parisi in
scalar field theory
In theoretical physics, scalar field theory can refer to a relativistically invariant classical or quantum theory of scalar fields. A scalar field is invariant under any Lorentz transformation.
The only fundamental scalar quantum field that has b ...
(see also
Quantum triviality
In a quantum field theory, charge screening can restrict the value of the observable "renormalized" charge of a classical theory. If
the only resulting value of the renormalized charge is zero, the theory is said to be "trivial" or noninteracting. ...
).
The applicability to perturbatively nonrenormalizable theories was first demonstrated explicitly for the Non-linear sigma model and for a variant of the Gross–Neveu model.
As for gravity, the first studies concerning this new concept were performed in spacetime dimensions in the late seventies. In exactly two dimensions there is a theory of pure gravity that is renormalizable according to the old point of view. (In order to render the Einstein–Hilbert action dimensionless, Newton's constant must have
mass dimension
Mass is an intrinsic property of a body. It was traditionally believed to be related to the quantity of matter in a physical body, until the discovery of the atom and particle physics. It was found that different atoms and different elementar ...
zero.) For small but finite perturbation theory is still applicable, and one can expand the beta-function (-function) describing the renormalization group running of Newton's constant as a power series in . Indeed, in this spirit it was possible to prove that it displays a nontrivial fixed point.
However, it was not clear how to do a continuation from to dimensions as the calculations relied on the smallness of the expansion parameter . The computational methods for a nonperturbative treatment were not at hand by this time. For this reason the idea of asymptotic safety in quantum gravity was put aside for some years. Only in the early 90s, aspects of dimensional gravity have been revised in various works, but still not continuing the dimension to four.
As for calculations beyond perturbation theory, the situation improved with the advent of new functional renormalization group methods, in particular the so-called ''effective average action'' (a scale dependent version of the effective action). Introduced in 1993 by Christof Wetterich and Tim R Morris for scalar theories, and by Martin Reuter and Christof Wetterich for general gauge theories (on flat Euclidean space), it is similar to a Wilsonian action ( coarse grained free energy) and although it is argued to differ at a deeper level, it is in fact related by a Legendre transform. The cutoff scale dependence of this functional is governed by a functional flow equation which, in contrast to earlier attempts, can easily be applied in the presence of local gauge symmetries also.
In 1996, Martin Reuter constructed a similar effective average action and the associated flow equation for the gravitational field.
It complies with the requirement of background independence, one of the fundamental tenets of quantum gravity. This work can be considered an essential breakthrough in asymptotic safety related studies on quantum gravity as it provides the possibility of nonperturbative computations for arbitrary spacetime dimensions. It was shown that at least for the Einstein–Hilbert truncation, the simplest ansatz for the effective average action, a nontrivial fixed point is indeed present.
These results mark the starting point for many calculations that followed. Since it was not clear in the pioneer work by Martin Reuter to what extent the findings depended on the truncation ansatz considered, the next obvious step consisted in enlarging the truncation. This process was initiated by Roberto Percacci and collaborators, starting with the inclusion of matter fields.
Up to the present many different works by a continuously growing community – including, e.g., - and
Weyl tensor
In differential geometry, the Weyl curvature tensor, named after Hermann Weyl, is a measure of the curvature of spacetime or, more generally, a pseudo-Riemannian manifold. Like the Riemann curvature tensor, the Weyl tensor expresses the tidal forc ...
squared truncations – have confirmed independently that the asymptotic safety scenario is actually possible: The existence of a nontrivial fixed point was shown within each truncation studied so far.For reviews on asymptotic safety and QEG with comprehensive lists of references see
Further reading
Further or Furthur may refer to:
* ''Furthur'' (bus), the Merry Pranksters' psychedelic bus
*Further (band), a 1990s American indie rock band
*Furthur (band), a band formed in 2009 by Bob Weir and Phil Lesh
* ''Further'' (The Chemical Brothers alb ...
. Although still lacking a final proof, there is mounting evidence that the asymptotic safety program can ultimately lead to a consistent and predictive quantum theory of gravity within the general framework of
quantum field theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
.
Asymptotic safety: The main idea
Theory space
The asymptotic safety program adopts a modern Wilsonian viewpoint on quantum field theory. Here the basic input data to be fixed at the beginning are, firstly, the kinds of quantum fields carrying the theory's
degrees of freedom
Degrees of freedom (often abbreviated df or DOF) refers to the number of independent variables or parameters of a thermodynamic system. In various scientific fields, the word "freedom" is used to describe the limits to which physical movement or ...
and, secondly, the underlying symmetries. For any theory considered, these data determine the stage the renormalization group dynamics takes place on, the so-called theory space. It consists of all possible action functionals depending on the fields selected and respecting the prescribed symmetry principles. Each point in this theory space thus represents one possible action. Often one may think of the space as spanned by all suitable field monomials. In this sense any action in theory space is a linear combination of field monomials, where the corresponding coefficients are the coupling constants, . (Here all couplings are assumed to be dimensionless. Couplings can always be made dimensionless by multiplication with a suitable power of the RG scale.)
Renormalization group flow
The renormalization group (RG) describes the change of a physical system due to smoothing or averaging out microscopic details when going to a lower resolution. This brings into play a notion of scale dependence for the action functionals of interest. Infinitesimal RG transformations map actions to nearby ones, thus giving rise to a vector field on theory space. The scale dependence of an action is encoded in a "running" of the coupling constants parametrizing this action, , with the RG scale . This gives rise to a trajectory in theory space (RG trajectory), describing the evolution of an action functional with respect to the scale. Which of all possible trajectories is realized in Nature has to be determined by measurements.
Taking the UV limit
The construction of a quantum field theory amounts to finding an RG trajectory which is infinitely extended in the sense that the action functional described by is well-behaved for all values of the momentum scale parameter , including the
infrared limit
Infrared (IR), sometimes called infrared light, is electromagnetic radiation (EMR) with wavelengths longer than those of visible light. It is therefore invisible to the human eye. IR is generally understood to encompass wavelengths from arou ...
and the ultraviolet (UV) limit . Asymptotic safety is a way of dealing with the latter limit. Its fundamental requirement is the existence of a fixed point of the RG flow. By definition this is a point in the theory space where the running of all couplings stops, or, in other words, a zero of all beta-functions: for all . In addition that fixed point must have at least one UV-attractive direction. This ensures that there are one or more RG trajectories which run into the fixed point for increasing scale. The set of all points in the theory space that are "pulled" into the UV fixed point by going to larger scales is referred to as ''UV critical surface''. Thus the UV critical surface consists of all those trajectories which are safe from UV divergences in the sense that all couplings approach finite fixed point values as . The key hypothesis underlying asymptotic safety is that only trajectories running entirely within the UV critical surface of an appropriate fixed point can be infinitely extended and thus define a fundamental quantum field theory. It is obvious that such trajectories are well-behaved in the UV limit as the existence of a fixed point allows them to "stay at a point" for an infinitely long RG "time".
With regard to the fixed point, UV-attractive directions are called relevant, UV-repulsive ones irrelevant, since the corresponding scaling fields increase and decrease, respectively, when the scale is lowered. Therefore, the dimensionality of the UV critical surface equals the number of relevant couplings. An asymptotically safe theory is thus the more predictive the smaller is the dimensionality of the corresponding UV critical surface.
For instance, if the UV critical surface has the finite dimension it is sufficient to perform only measurements in order to uniquely identify Nature's RG trajectory. Once the relevant couplings are measured, the requirement of asymptotic safety fixes all other couplings since the latter have to be adjusted in such a way that the RG trajectory lies within the UV critical surface. In this spirit the theory is highly predictive as infinitely many parameters are fixed by a finite number of measurements.
In contrast to other approaches, a bare action which should be promoted to a quantum theory is not needed as an input here. It is the theory space and the RG flow equations that determine possible UV fixed points. Since such a fixed point, in turn, corresponds to a bare action, one can consider the bare action a prediction in the asymptotic safety program. This may be thought of as a systematic search strategy among theories that are already "quantum" which identifies the "islands" of physically acceptable theories in the "sea" of unacceptable ones plagued by short distance singularities.
Gaussian and non-Gaussian fixed points
A fixed point is called ''Gaussian'' if it corresponds to a free theory. Its critical exponents agree with the canonical mass dimensions of the corresponding operators which usually amounts to the trivial fixed point values for all essential couplings . Thus standard perturbation theory is applicable only in the vicinity of a Gaussian fixed point. In this regard asymptotic safety at the Gaussian fixed point is equivalent to perturbative renormalizability plus asymptotic freedom. Due to the arguments presented in the introductory sections, however, this possibility is ruled out for gravity.
In contrast, a nontrivial fixed point, that is, a fixed point whose critical exponents differ from the canonical ones, is referred to as ''non-Gaussian''. Usually this requires for at least one essential . It is such a non-Gaussian fixed point that provides a possible scenario for quantum gravity. As yet, studies on this subject thus mainly focused on establishing its existence.
Quantum Einstein Gravity (QEG)
Quantum Einstein Gravity (QEG) is the generic name for any quantum field theory of gravity that (regardless of its bare action) takes the spacetime metric as the dynamical field variable and whose symmetry is given by
diffeomorphism invariance
In theoretical physics, general covariance, also known as diffeomorphism covariance or general invariance, consists of the invariance of the ''form'' of physical laws under arbitrary differentiable coordinate transformations. The essential idea is ...
. This fixes the theory space and an RG flow of the effective average action defined over it, but it does not single out a priori any specific action functional. However, the flow equation determines a vector field on that theory space which can be investigated. If it displays a non-Gaussian fixed point by means of which the UV limit can be taken in the "asymptotically safe" way, this point acquires the status of the bare action.
Implementation via the effective average action
Exact functional renormalization group equation
The primary tool for investigating the gravitational RG flow with respect to the energy scale at the nonperturbative level is the effective average action for gravity. It is the scale dependent version of the effective action where in the underlying functional integral field modes with covariant
momenta
Momenta is an autonomous driving company headquartered in Beijing, China that aims to build the 'Brains' for autonomous vehicles.
In December 2021, Momenta and BYD established a 100 million yuan ($15.7 million) joint venture to deploy autonomous ...
below are suppressed while only the remaining are integrated out. For a given theory space, let and denote the set of dynamical and background fields, respectively. Then satisfies the following Wetterich–Morris-type functional RG equation (FRGE):
:
Here is the second functional derivative of with respect to the quantum fields at fixed . The mode suppression operator