Recognition: 2 theorem links
· Lean TheoremScaling Solutions of Matter Form Factors in Asymptotically Safe Quantum Gravity
Pith reviewed 2026-05-13 05:17 UTC · model grok-4.3
The pith
The scale-dependent form factor for a scalar kinetic term reaches a non-trivial ultraviolet fixed point in gravity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The Wilsonian proper-time flow equation yields a closed integro-differential equation for the scale-dependent form factor f_Λ(−□). A pseudospectral discretization finds a non-trivial fixed-point solution f_∗(−□) that departs from canonical −□ behavior. Linearization of the flow about this solution gives a discrete spectrum of perturbations together with associated critical exponents, and the form factor approaches a local expression as the ultraviolet cutoff is taken to infinity.
What carries the argument
The scale-dependent form factor f_Λ(−□) for the scalar kinetic term, which obeys the fixed-point equation obtained from the proper-time renormalization group flow.
If this is right
- The fixed point supports a non-trivial scaling structure in the non-local sector of the matter-gravity system.
- A discrete spectrum of critical exponents controls the relevant directions around the fixed point.
- The bare action in the scalar two-point sector is local once the cutoff is removed.
Where Pith is reading between the lines
- Similar form factors could be studied for other matter fields to test consistency across the full matter sector.
- The method may be combined with curvature-squared terms to explore larger truncations of the theory space.
- Observables derived from this fixed point could differ quantitatively from those obtained in strictly local approximations.
Load-bearing premise
Truncating the effective action to Einstein gravity plus one scale-dependent form factor for the scalar kinetic term, and using the Wilsonian proper-time flow, accurately represents the relevant dynamics.
What would settle it
A calculation with a different regulator or an enlarged truncation that finds only the trivial solution for the form factor or a continuous spectrum of exponents would falsify the reported non-trivial fixed point.
Figures
read the original abstract
We investigate the renormalization group flow of a gravity--matter system in which a scalar field is minimally coupled to Einstein gravity and its kinetic term is given by a scale-dependent form factor $f_\Lambda(-\Box)$. Employing the Wilsonian proper-time flow equation, we derive a closed integro-differential equation that encodes the dependence of the form factor on the UV cutoff $\Lambda$. We solve the resulting fixed-point problem with a pseudospectral discretization and find a non-trivial fixed point for which $f_\ast(-\Box)$ departs from the canonical $-\Box$ behavior. Linearizing the flow about this solution yields a discrete spectrum of perturbations and a corresponding set of critical exponents, indicating a non-trivial scaling structure in this non-local sector compatible with asymptotic safety. We also observe that the form factor becomes local once the UV cutoff is removed, suggesting that the bare action associated with this fixed point is local in the scalar two-point sector.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to derive a closed integro-differential equation for the scale-dependent form factor f_Λ(-□) of a scalar field minimally coupled to Einstein gravity using the Wilsonian proper-time flow equation. It solves the fixed-point problem numerically with pseudospectral discretization, identifies a non-trivial fixed point where the form factor deviates from the canonical -□ behavior, computes a discrete spectrum of critical exponents, and observes that the form factor becomes local as the cutoff is removed, suggesting compatibility with asymptotic safety.
Significance. If the numerical results are confirmed to be robust against truncation and regulator choices, this would represent a significant step in understanding non-local extensions in asymptotically safe quantum gravity. It provides evidence for a scaling solution in the matter form factor sector and highlights the restoration of locality in the UV, which could have implications for the structure of the bare action in ASQG. The work adds to the literature on functional RG methods in gravity-matter systems by addressing a non-local truncation.
major comments (3)
- The pseudospectral discretization of the integro-differential fixed-point equation is central to the claim, but the manuscript lacks details on convergence with respect to the spectral basis size, error estimates, or stability of the solution. Without these, the existence of the non-trivial fixed point and the associated critical exponents cannot be considered fully established.
- The approximation freezes the graviton propagator in its Einstein form and truncates to a single form factor for the scalar kinetic term, omitting backreaction and higher-order operators. This is load-bearing for the central claim of a non-trivial scaling structure, as gravitational backreaction could alter the fixed point; the paper should provide justification or a test for this truncation's validity.
- The choice of the Wilsonian proper-time regulator is not varied, and its dependence is not quantified. Since the fixed point is obtained numerically, demonstrating regulator independence is necessary to support that the result is not an artifact of the cutoff scheme.
Simulated Author's Rebuttal
We thank the referee for the constructive and detailed report. We address each major comment point by point below, providing clarifications and committing to revisions that strengthen the numerical evidence and discussion of approximations without misrepresenting the scope of the present work.
read point-by-point responses
-
Referee: The pseudospectral discretization of the integro-differential fixed-point equation is central to the claim, but the manuscript lacks details on convergence with respect to the spectral basis size, error estimates, or stability of the solution. Without these, the existence of the non-trivial fixed point and the associated critical exponents cannot be considered fully established.
Authors: We agree that explicit convergence diagnostics are required to substantiate the numerical results. In the revised manuscript we will add a new subsection detailing: convergence of the fixed-point form factor and the lowest critical exponents with increasing spectral basis size (N = 15 to N = 50), residual norms of the discretized integro-differential equation, and stability under variations of the initial guess and solver tolerances. These additions will be supported by supplementary figures. revision: yes
-
Referee: The approximation freezes the graviton propagator in its Einstein form and truncates to a single form factor for the scalar kinetic term, omitting backreaction and higher-order operators. This is load-bearing for the central claim of a non-trivial scaling structure, as gravitational backreaction could alter the fixed point; the paper should provide justification or a test for this truncation's validity.
Authors: The truncation is a deliberate first-step approximation that isolates the scalar form-factor dynamics while retaining the Einstein-Hilbert graviton propagator. In the revision we will expand the discussion of this choice, citing analogous truncations in the literature where backreaction effects modify quantitative values but preserve the qualitative existence of non-trivial fixed points. We will also state explicitly that a dynamical-graviton test lies beyond the present scope and is planned for future work. revision: partial
-
Referee: The choice of the Wilsonian proper-time regulator is not varied, and its dependence is not quantified. Since the fixed point is obtained numerically, demonstrating regulator independence is necessary to support that the result is not an artifact of the cutoff scheme.
Authors: We acknowledge that a systematic regulator-variation study has not been performed. The Wilsonian proper-time regulator was chosen because it yields a closed equation for the form factor. In the revision we will add a dedicated paragraph discussing the expected universality of the qualitative features (non-trivial fixed point and UV locality restoration) on general grounds, while clearly stating that full regulator independence remains to be demonstrated in future work. revision: partial
Circularity Check
Numerical solution of the derived integro-differential equation exhibits no circularity
full rationale
The paper starts from the Wilsonian proper-time flow equation applied to a truncated gravity-matter action containing a single scale-dependent scalar form factor f_Λ(−□). It derives a closed integro-differential equation for the flow of this form factor and solves the resulting fixed-point problem by pseudospectral discretization, obtaining a non-trivial solution f_∗(−□) that deviates from the canonical −□. Linearization around this solution produces a discrete spectrum of critical exponents. None of these steps reduce to a self-definition, a fitted input renamed as a prediction, or a load-bearing self-citation chain; the fixed point is an output of the numerical solver applied to the explicitly stated truncation and regulator, not an input smuggled in by construction. The truncation and regulator choices are stated assumptions whose consequences are external to the derivation itself.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The Wilsonian proper-time flow equation provides a reliable approximation to the renormalization-group flow of the gravity-matter system.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We solve the resulting fixed-point problem with a pseudospectral discretization and find a non-trivial fixed point for which f_∗(−□) departs from the canonical −□ behavior... F∗(x)∼x^α with α≃1.16
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the form factor becomes local once the UV cutoff is removed
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
S. Weinberg, Ultraviolet divergences in quantum theories of gravitation, General Relativity: An Einstein centenary survey, Eds. Hawking, S.W., Israel, W; Cambridge Uni- versity Press (1979) 790–831
work page 1979
- [2]
-
[3]
Wetterich, Exact evolution equation for the effective potential, Phys
C. Wetterich, Exact evolution equation for the effective potential, Phys. Lett. B 301 (1993) 90–94.arXiv:1710. 05815,doi:10.1016/0370-2693(93)90726-X
- [4]
-
[5]
Ellwanger, FLow equations for N point functions and bound states, Z
U. Ellwanger, FLow equations for N point functions and bound states, Z. Phys. C 62 (1994) 503–510.arXiv: hep-ph/9308260,doi:10.1007/BF01555911
-
[6]
Reuter, Nonperturbative evolution equation for quan- tum gravity, Phys
M. Reuter, Nonperturbative evolution equation for quan- tum gravity, Phys. Rev. D 57 (1998) 971–985.arXiv: hep-th/9605030,doi:10.1103/PhysRevD.57.971
-
[7]
N. Dupuis, L. Canet, A. Eichhorn, W. Metzner, J. M. Pawlowski, M. Tissier, N. Wschebor, The nonperturba- tive functional renormalization group and its applications, Phys. Rept. 910 (2021) 1–114.arXiv:2006.04853, doi:10.1016/j.physrep.2021.01.001
-
[8]
Percacci, An Introduction to Covariant Quantum Grav- ity and Asymptotic Safety, V ol
R. Percacci, An Introduction to Covariant Quantum Grav- ity and Asymptotic Safety, V ol. 3 of 100 Years of General Relativity, World Scientific, 2017.doi:10.1142/10369
- [9]
-
[10]
A. Bonanno, A. Eichhorn, H. Gies, J. M. Pawlowski, R. Percacci, M. Reuter, F. Saueressig, G. P. Vacca, Crit- ical reflections on asymptotically safe gravity, Front. in Phys. 8 (2020) 269.arXiv:2004.06810,doi:10. 3389/fphy.2020.00269
-
[11]
J. M. Pawlowski, M. Reichert, Quantum Gravity: A Fluctuating Point of View, Front. in Phys. 8 (2021) 551848.arXiv:2007.10353,doi:10.3389/fphy. 2020.551848
- [12]
-
[13]
Asymptotic safety of gravity with matter,
A. Eichhorn, M. Schiffer, Asymptotic safety of gravity with matter (12 2022).arXiv:2212.07456
-
[14]
Saueressig, The Functional Renormalization Group in Quantum Gravity, 2023.arXiv:2302.14152,doi:10
F. Saueressig, The Functional Renormalization Group in Quantum Gravity, 2023.arXiv:2302.14152,doi:10. 1007/978-981-19-3079-9_16-1
-
[15]
E. D’Angelo, R. Ferrero, M. B. Fröb, De Sitter quan- tum gravity within the covariant Lorentzian approach to asymptotic safety, Class. Quant. Grav. 42 (12) (2025) 125008.arXiv:2502.05135,doi:10.1088/ 1361-6382/ade193
-
[16]
M. Reuter, H. Weyer, Running Newton constant, im- proved gravitational actions, and galaxy rotation curves, Phys. Rev. D 70 (2004) 124028.arXiv:hep-th/ 0410117,doi:10.1103/PhysRevD.70.124028
-
[18]
A. Eichhorn, A. Held, Top mass from asymptotic safety, Phys. Lett. B 777 (2018) 217–221.arXiv:1707.01107, doi:10.1016/j.physletb.2017.12.040
-
[19]
Á. Pastor-Gutiérrez, J. M. Pawlowski, M. Reichert, The Asymptotically Safe Standard Model: From quantum gravity to dynamical chiral symmetry breaking, SciPost Phys. 15 (3) (2023) 105.arXiv:2207.09817,doi: 10.21468/SciPostPhys.15.3.105
-
[20]
Quark and lepton mixing in the asymp- totically safe Standard Model,
A. Eichhorn, Z. Gyftopoulos, A. Held, Quark and lep- ton mixing in the asymptotically safe Standard Model (7 2025).arXiv:2507.18304
-
[21]
Eichhorn, Quantum-gravity-induced matter self- interactions in the asymptotic-safety scenario, Phys
A. Eichhorn, Quantum-gravity-induced matter self- interactions in the asymptotic-safety scenario, Phys. Rev. D 86 (2012) 105021.arXiv:1204.0965,doi:10. 1103/PhysRevD.86.105021
- [22]
-
[23]
P. Donà, A. Eichhorn, P. Labus, R. Percacci, Asymp- totic safety in an interacting system of gravity and scalar matter, Phys. Rev. D 93 (4) (2016) 044049, [Erratum: Phys.Rev.D 93, 129904 (2016)].arXiv:1512.01589, doi:10.1103/PhysRevD.93.129904
-
[24]
N. Christiansen, D. F. Litim, J. M. Pawlowski, M. Re- ichert, Asymptotic safety of gravity with matter, Phys. Rev. D 97 (10) (2018) 106012.arXiv:1710.04669, doi:10.1103/PhysRevD.97.106012
- [25]
-
[26]
N. Alkofer, F. Saueressig, Asymptotically safef(R)- gravity coupled to matter I: the polynomial case, An- nals Phys. 396 (2018) 173–201.arXiv:1802.00498, doi:10.1016/j.aop.2018.07.017
-
[27]
J. M. Pawlowski, M. Reichert, C. Wetterich, M. Yamada, Higgs scalar potential in asymptotically safe quantum gravity, Phys. Rev. D 99 (8) (2019) 086010.arXiv: 1811.11706,doi:10.1103/PhysRevD.99.086010
-
[28]
G. P. de Brito, A. Eichhorn, R. R. L. d. Santos, The weak- gravity bound and the need for spin in asymptotically safe matter-gravity models, JHEP 11 (2021) 110.arXiv: 2107.03839,doi:10.1007/JHEP11(2021)110. 7
-
[29]
C. Laporte, A. D. Pereira, F. Saueressig, J. Wang, Scalar-tensor theories within Asymptotic Safety, JHEP 12 (2021) 001.arXiv:2110.09566,doi:10.1007/ JHEP12(2021)001
-
[30]
Knorr, Safe essential scalar-tensor theories (4 2022)
B. Knorr, Safe essential scalar-tensor theories (4 2022). arXiv:2204.08564
- [31]
-
[32]
G. P. de Brito, B. Knorr, M. Schiffer, On the weak- gravity bound for a shift-symmetric scalar field, Phys. Rev. D 108 (2) (2023) 026004.arXiv:2302.10989, doi:10.1103/PhysRevD.108.026004
- [33]
- [34]
-
[35]
L. Buoninfante, A. S. Koshelev, G. Lambi- ase, A. Mazumdar, Classical properties of non-local, ghost- and singularity-free gravity, JCAP 09 (2018) 034.arXiv:1802.00399, doi:10.1088/1475-7516/2018/09/034
- [36]
-
[37]
B. Knorr, C. Ripken, F. Saueressig, Form Factors in Quantum Gravity: Contrasting non-local, ghost-free gravity and Asymptotic Safety, Nuovo Cim. C 45 (2) (2022) 28.arXiv:2111.12365,doi:10.1393/ncc/ i2022-22028-5
-
[38]
T. Draper, B. Knorr, C. Ripken, F. Saueressig, Finite Quantum Gravity Amplitudes: No Strings Attached, Phys. Rev. Lett. 125 (18) (2020) 181301.arXiv:2007. 00733,doi:10.1103/PhysRevLett.125.181301
-
[39]
T. Draper, B. Knorr, C. Ripken, F. Saueressig, Graviton- Mediated Scattering Amplitudes from the Quantum Effec- tive Action, JHEP 11 (2020) 136.arXiv:2007.04396, doi:10.1007/JHEP11(2020)136
- [40]
-
[41]
B. Knorr, Asymptotically (un)safe scattering amplitudes from scratch: a deep dive into the IR jungle (2 2026). arXiv:2602.21285
-
[43]
B. Knorr, M. Schiffer, Non-Perturbative Propagators in Quantum Gravity, Universe 7 (7) (2021) 216.arXiv: 2105.04566,doi:10.3390/universe7070216
-
[44]
A. Bonanno, T. Denz, J. M. Pawlowski, M. Re- ichert, Reconstructing the graviton, SciPost Phys. 12 (1) (2022) 001.arXiv:2102.02217,doi:10.21468/ SciPostPhys.12.1.001
- [45]
-
[46]
Braun, et al., Renormalised spectral flows, SciPost Phys
J. Braun, et al., Renormalised spectral flows, SciPost Phys. Core 6 (2023) 061.arXiv:2206.10232,doi: 10.21468/SciPostPhysCore.6.3.061
-
[47]
J. M. Pawlowski, M. Reichert, Quantum Gravity from Dy- namical Metric Fluctuations, 2024.arXiv:2309.10785, doi:10.1007/978-981-19-3079-9_17-1
- [48]
- [49]
-
[50]
A. Bonanno, M. Reuter, Proper time flow equation for gravity, JHEP 02 (2005) 035.arXiv:hep-th/0410191, doi:10.1088/1126-6708/2005/02/035
-
[51]
On Exact Proper Time Wilso- nian RG Flows,
A. Bonanno, S. Lippoldt, R. Percacci, G. P. Vacca, On Exact Proper Time Wilsonian RG Flows, Eur. Phys. J. C 80 (3) (2020) 249.arXiv:1912.08135,doi:10.1140/ epjc/s10052-020-7798-9
-
[52]
Gauge and parametrization dependence of quantum Einstein gravity within the proper time flow,
A. Bonanno, G. Oglialoro, D. Zappalà, Gauge and parametrization dependence of quantum Einstein grav- ity within the proper time flow, Phys. Rev. D 112 (2) (2025) 026002.arXiv:2504.07877,doi:10.1103/ sht5-sf25
-
[53]
E. M. Glaviano, A. Bonanno, Proper-time flow equation and non-local truncations in quantum gravity, in: 17th Marcel Grossmann Meeting: On Recent Developments in Theoretical and Experimental General Relativity, Grav- itation, and Relativistic Field Theories, 2024.arXiv: 2410.23696. 8
-
[54]
E. Manrique, M. Reuter, Bare Action and Regular- ized Functional Integral of Asymptotically Safe Quan- tum Gravity, Phys. Rev. D 79 (2009) 025008.arXiv: 0811.3888,doi:10.1103/PhysRevD.79.025008
-
[55]
E. Manrique, M. Reuter, Bare versus Effective Fixed Point Action in Asymptotic Safety: The Reconstruction Prob- lem, PoS CLAQG08 (2011) 001.arXiv:0905.4220, doi:10.22323/1.079.0001
- [56]
-
[57]
M. Fraaije, A. Platania, F. Saueressig, On the recon- struction problem in quantum gravity, Phys. Lett. B 834 (2022) 137399.arXiv:2206.10626,doi:10.1016/j. physletb.2022.137399
work page doi:10.1016/j 2022
-
[58]
S. P. de Alwis, Exact RG Flow Equations and Quantum Gravity, JHEP 03 (2018) 118.arXiv:1707.09298,doi: 10.1007/JHEP03(2018)118
-
[59]
A. Codello, O. Zanusso, On the non-local heat kernel expansion, J. Math. Phys. 54 (2013) 013513.arXiv: 1203.2034,doi:10.1063/1.4776234
-
[60]
J. Boyd, T. Marilyn, P. Eliot, Chebyshev and Fourier Spec- tral Methods, Springer Berlin, Heidelberg, 2000
work page 2000
-
[61]
N. Christiansen, B. Knorr, J. Meibohm, J. M. Pawlowski, M. Reichert, Local Quantum Gravity, Phys. Rev. D 92 (12) (2015) 121501.arXiv:1506.07016,doi:10. 1103/PhysRevD.92.121501. 9
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.