Classical Renormalization Group Equations for General Relativity

Abstract: In a companion paper arXiv:2510.27676, we introduced a non-perturbative classical renormalisation group (RG) flow equation as a novel method for treating strongly interacting problems in general relativity, with a prominent application to the two-body problem. While we demonstrated that it reproduces perturbation theory, via the Post-Minkowskian (PM) expansion, and its computational efficiency in reproducing the 1PN Post-Newtonian action, its derivation was heuristic. In this work, we place this flow equation on a firm formal foundation. In particular, we demonstrate that a Legendre transform maps the classical analogue of the Polchinski equation precisely to our classical RG equation. This establishes a duality between equivalent, exact RG equations for the gravitational effective action. The result, combined with the successful applications in arXiv:2510.27676, solidifies the classical RG framework as a powerful and rigorous new approach to the general relativistic two-body problem and gravitational wave physics.

• The paper establishes a non-perturbative classical RG flow equation for GR that exactly reproduces Post-Minkowskian and Post-Newtonian expansions up to 3PM order.
• It demonstrates formal equivalence to the classical Polchinski equation via a Legendre transform, ensuring RG invariance and computational efficiency.
• The framework has significant implications for gravitational wave physics and binary dynamics modeling, offering reduced complexity and improved predictive power.

Classical RG Flow Equations for General Relativity: Formal Foundations and Implications

Overview

The paper "Classical Renormalization Group Equations for General Relativity" (2605.22037) develops a rigorous formal framework for classical renormalization group (RG) flow equations in general relativity (GR), specifically targeting the non-perturbative aspects of the gravitational two-body problem. Building on prior work (Gutiérrez et al., 31 Oct 2025), which introduced a computationally efficient RG flow equation for the effective classical gravitational action, the present manuscript establishes its exact correspondence to the classical Polchinski equation via a Legendre transform. This duality situates the classical RG framework as a robust method for interpolating between weak and strong coupling regimes in GR, with direct implications for gravitational wave phenomenology and the modeling of compact binary dynamics.

Derivation and Formalism

The central result is the derivation of a non-perturbative, classical RG flow equation for the effective action $S_k[g]$ parametrized by an infrared (IR) scale $k$:

$$\partial_k S_k[g] = -\frac{\kappa}{2} S_k^{(1)}[g] \cdot \partial_k G_k[g] \cdot S_k^{(1)}[g]$$

where $G_k[g]=(S_g^{(2)}[g]+R_k)^{-1}$ is the IR-regulated propagator and $R_k$ is a scale-dependent cutoff. The effective action $S_{\mathrm{eff}}$ is recovered as $k\rightarrow 0$. This equation emerges from the heuristic RG improvement of the leading Post-Minkowskian (PM) order and is shown to be perturbatively exact, reproducing standard PM and Post-Newtonian (PN) expansions up to at least third order—a non-trivial result confirmed by explicit calculation.

A rigorous foundation for this flow equation is constructed by mapping it onto the classical Polchinski equation through a Legendre transformation, following the methodology established by Morris and Wetterich for quantum field theory. The Wilsonian Polchinski equation is exact in the classical limit ($\hbar\rightarrow 0$), and the Legendre transform produces a dual RG equation for the “average” effective action, demonstrating their formal equivalence. This establishes the RG flow equation as an exact, non-perturbative tool for integrating out gravitational degrees of freedom, leading to RG-invariant predictions for physical observables.

Strong Numerical Results and Claims

• Perturbative Exactness: The flow equation correctly reproduces the PM expansion and 1PN action, with explicit calculations up to 3PM order, including all relevant loop structures. The equivalence between the RG flow approach and traditional perturbative methods is established algebraically, not merely numerically.
• Formal Equivalence: The exactness of the classical RG flow equation, previously heuristic, is proved via its duality with the classical Polchinski equation—a strong claim that addresses longstanding concerns regarding the RG improvement’s precision in non-perturbative contexts.
• Computational Efficiency: The method generates PN results with reduced computational complexity, avoiding explicit evaluation of higher-order gravitational vertices (e.g., the three-graviton vertex), which typically burden analytic and numerical PN calculations.

Implications and Applications

Practical Impacts

The firm establishment of the RG flow formalism enables several practical advances:

• Gravitational Wave Physics: Accurate modeling of the two-body problem becomes feasible across both weak (PN) and strong (PM) field regimes, essential for generating templates for gravitational wave detectors such as LIGO, Virgo, and LISA.
• Efficient Calculation of Gauge-Invariant Quantities: The framework promises systematic, efficient computation of physical quantities such as binary orbital energies and scattering angles, facilitating comparison with highly accurate numerical relativity and Effective One Body (EOB) approaches.
• Potential for Broad Applicability: The RG formalism’s generality suggests its utility beyond GR, for other strongly interacting classical systems where integrating fluctuations is non-trivial.

Theoretical Advances

• RG Invariance: The effective action computed via RG flow is invariant under the scale parameter, guaranteeing that physical results do not depend on the arbitrary separation between “resolved” and “integrated” degrees of freedom—a notable requirement in coarse-graining approaches to classical field theory.
• Legendre Duality: The demonstration that average effective actions—analogous to their quantum counterparts—can be constructed by resumming pure gravity contributions provides a pathway for systematic approximation schemes (e.g., derivative expansions) with theoretical guarantees of finite radius of convergence [Balog et al., Phys. Rev. Lett. 123, 240604].
• Resummation and Covariance: The framework allows for constructing fully covariant ansätze for the effective action, incorporating running metrics and generalized matter actions, aligned with contemporary approaches in effective field theory for gravity [Porto, Phys. Rept. 633 (2016)].

Future Directions

The authors outline future research on systematically solving the flow equation using Post-Newtonian Derivative Expansion (PNDE) schemes and constructing covariant ansätze with nontrivial running metrics. The convergence and practical utility of the classical RG formalism are expected to match, or surpass, existing PN/EOB and numerical relativity methods for binary dynamics, while significantly reducing computational cost.

Further, analytical arguments reinforce the prospective superiority of the effective average action over the Wilsonian approach (as in quantum RG), particularly regarding universality and scheme independence. The possibility of applying the classical RG equation to other nonlinear classical field theories remains open, potentially impacting areas such as cosmological structure formation and classical turbulence.

Conclusion

This paper provides a rigorous formal underpinning for a classical RG flow equation applicable to strongly coupled problems in general relativity. By establishing exact correspondence with the classical Polchinski equation via Legendre duality, it guarantees non-perturbative and perturbative correctness, enabling efficient computation of gravitational effective actions relevant to binary dynamics and gravitational wave physics. The framework’s flexibility, computational tractability, and theoretical robustness position it as a foundational tool for future developments in classical field theory, particularly where strong interactions and nontrivial resummation are required.