Skip to content
CosmosExplorer

Higher-Derivative Gravity Extensions

1977 · Kellogg Stelle, Alessandro Codello, Roberto Percacci, Benjamin Knorr, Frank Saueressig
Frontier

The technical engine of the asymptotic-safety program. Adds curvature-squared operators to the gravitational action and asks whether the fixed point persists. Today's actual renormalization-group calculations live here.

Skip 3D content

In one sentence

Stelle showed in 1977 that gravitational theories with curvature-squared terms (R-squared, Ricci-squared, Weyl-squared) added to the Einstein-Hilbert action are perturbatively renormalizable but contain ghosts: negative-norm states that ruin probability conservation. Codello-Percacci 2006 showed that within asymptotic safety's non-perturbative framework, fixed points exist for the higher-derivative couplings too, potentially resolving the ghost problem. Modern work on form factors by Knorr, Ripken, and Saueressig is the current state of the art.

The claim

The simplest gravitational action is the Einstein-Hilbert form, which is linear in spacetime curvature (the Ricci scalar). It works classically and gives general relativity. Quantum-mechanically it is non-renormalizable: corrections diverge faster than you can subtract them. Stelle's 1977 result was that adding curvature-squared operators (constructed from the Ricci scalar R, the Ricci tensor R_munu, and the Weyl tensor C_munurhosigma) produces a theory that is perturbatively renormalizable, the divergences come under control by ordinary power counting. But the resulting theory has ghosts: extra propagating modes with the wrong sign of the kinetic energy, which destroy unitarity and probability conservation.

Codello and Percacci's 2006 result was that asymptotic safety's non-perturbative renormalization-group framework reveals fixed points in higher-derivative gravity too. The interpretation: the ghosts of Stelle's perturbative analysis are an artifact of taking the higher-derivative operators seriously to all energies, while the true non-perturbative theory has those operators flow to fixed-point values where the ghost problem is avoided or absorbed into a consistent ultraviolet completion. The technical claim is non-trivial and has been refined across many follow-up calculations.

Modern higher-derivative work has moved beyond polynomial operators (R-squared, Ricci-squared) to general form factors: functions of derivatives that summarize the full quantum corrections without truncating at a fixed power. Knorr, Ripken, and Saueressig's 2024 paper on form factors in asymptotically safe quantum gravity is the canonical modern reference. This is where most of the current technical calculation in the program actually happens; the variant is the engine of the field rather than a peripheral extension.

The family stance

Gravity needs no new physics beyond itself and the Standard Model to be a complete quantum theory. The Einstein-Hilbert action, treated as the leading approximation to a more complete quantum theory and run to high energies via the renormalization group, approaches a non-trivial fixed point where all couplings remain finite. Combined with the right matter content, the same framework yields a Higgs-mass prediction within experimental accuracy. After four decades, asymptotic safety has produced consistent fixed-point evidence in increasingly realistic truncations and one striking quantitative empirical success.

Predictions

  • Fixed points in the renormalization-group flow exist for higher-derivative gravitational operators (R-squared, Ricci-squared, Weyl-squared couplings), not just for Newton's constant and the cosmological constant
  • Curvature-dependent form factors, the functions parameterizing the full quantum corrections to the gravitational action, approach scaling forms at the fixed point that can be computed within truncation
  • The classical ghost states of perturbative higher-derivative gravity are absent (or rendered harmless) in the non-perturbative asymptotic-safety completion
  • Specific dimensionless ratios involving the higher-derivative couplings at the fixed point should match between different truncation schemes; agreement is consistency evidence, not a proof of the underlying theory

Evidence

  • Codello-Percacci 2006 demonstrated fixed points for the higher-derivative gravity couplings within a Riegert-Reuter-type truncation, establishing that the asymptotic-safety mechanism extends beyond Einstein-Hilbert
  • Subsequent work over the past 18 years has reproduced the fixed-point structure across many truncations with different gauge fixings, regularization schemes, and operator bases
  • Knorr-Ripken-Saueressig 2024 on form factors generalizes the polynomial approach to summed-up curvature-dependent corrections, with internally consistent results at the fixed point
  • The non-perturbative resolution of the perturbative ghost problem is a structural feature of the framework, not a result of ad-hoc adjustments

Counterpoints

  • The truncation convergence problem hits this variant especially hard: higher-derivative truncations are larger than the Einstein-Hilbert case, but the operator space is also bigger, so it is not obvious the convergence picture improves rather than just becoming more complicated
  • The claim that ghosts are resolved by the non-perturbative completion is a hopeful interpretation of fixed-point evidence rather than a proof; a constructive demonstration that the non-perturbative theory is unitary is still missing
  • Higher-derivative gravity theories are notoriously difficult to formulate causally; standard Cauchy-problem analyses produce instabilities that the perturbative framework cannot resolve
  • The form-factor program produces consistent fixed-point structures, but the physical interpretation of those structures (what kind of theory they actually describe at high energies) is less developed than the technical calculations themselves
0votes
Go deeperTechnical detail with proper terminology

Stelle 1977 perturbative analysis: the action S = integral of R + a R^2 + b R_munu R^munu is renormalizable to all orders in perturbation theory, with the ghosts appearing as massive spin-2 modes with negative kinetic-energy sign. The ghost mass is set by the coefficients a and b.

Codello-Percacci 2006 used the f(R) truncation (functions of the Ricci scalar alone) plus higher-curvature operators and found fixed-point structures across multiple operator choices. The result is reproducible across different gauge-fixing prescriptions, suggesting robustness rather than gauge artifact.

Form factor program (Knorr, Ripken, Saueressig and collaborators 2018 onwards): generalizes from polynomial truncations to functions of the d'Alembertian operator acting on curvature terms. The functions are determined by the fixed-point conditions themselves and exhibit scaling behaviour at the fixed point.

Relation to f(R) gravity: f(R) modifications of general relativity, treated classically as dark-energy alternatives, have a different status from asymptotic-safety higher-derivative operators. The former are infrared modifications motivated by cosmological data; the latter are ultraviolet modifications motivated by quantum-gravity requirements. They can in principle interact but are typically studied in different communities.

References

Last reviewed May 18, 2026

Spotted an error? Have a source to add?

Prefer email?

You can also send a prefilled email with the variant URL already filled in.

Related theories