Agravity up to infinite energy

The self-interactions of the conformal mode of the graviton are controlled, in dimensionless gravity theories (agravity), by a coupling \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f_0$$\end{document}f0 that is not asymptotically free. We show that, nevertheless, agravity can be a complete theory valid up to infinite energy. When \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f_0$$\end{document}f0 grows to large values, the conformal mode of the graviton decouples from the rest of the theory and does not hit any Landau pole provided that scalars are asymptotically conformally coupled and all other couplings approach fixed points. Then agravity can flow to conformal gravity at infinite energy. We identify scenarios where the Higgs mass does not receive unnaturally large physical corrections. We also show a useful equivalence between agravity and conformal gravity plus two extra conformally coupled scalars, and we give a simpler form for the renormalization group equations of dimensionless couplings as well as of massive parameters in the presence of the most general matter sector.


Introduction
The idea that scalars, like the Higgs, must be accompanied by new physics that protects their lightness from powera e-mail: alberto.salvio@cern.ch divergent quantum corrections led to the following view of mass scales in nature: the weak scale is the supersymmetric scale, and the Planck scale is the string scale. The nonobservation of supersymmetric particles around the weak scale challenged this scenario, leading to the alternative idea that only physical corrections to scalar masses must satisfy naturalness. Namely, extra new particles with mass M extra and coupling g extra to the Higgs, must satisfy A rationale for ignoring power-divergent corrections is the following. The one-loop quantum correction to the masses of scalars, vectors and of the graviton is power divergent, showing the dangers of attributing physical meaning to powerdivergent corrections. A cut-off (such as string theory) that knows that vector and graviton masses are protected by gauge invariance can keep them to zero, while giving a large correction to scalar masses. A less smart cut-off (such as dimensional regularization) can be blind to the difference, and set to zero all power divergences. The simplest cut-off with this property is no cut-off: a theory where all renormalizable couplings flow up to infinite energy without hitting Landau poles. The above arguments motivate the following scenario: if nature is described at fundamental level by a dimensionless Lagrangian, all power-divergent quantum correctionsbeing dimensionful-must be interpreted as vanishing. Taking gravity into account, the most general dimensionless action in 3 + 1 space-time dimensions contains gauge couplings, Yukawa couplings, scalar quartics, non-minimal ξcouplings between scalars and gravity and, in the purely gravitational sector, two dimensionless gravitational couplings, f 0 and f 2 , analogous to gauge couplings: where L matter corresponds to the part of the Lagrangian that depends on the matter fields, with dimensionless parameters only. This theory [1] is renormalizable, as suggested in [2] and formally proven in [3]. The weak scale, the QCD scale and the Planck scale can be dynamically generated [4] from vacuum expectation values or from condensates. Perturbative dimensionless theories automatically give slow-roll inflation [4][5][6][7][8][9] (see also refs. [10,11] for related studies). However, Eq.
(2) means that four derivatives act on the graviton: thereby some graviton components have a negative kinetic term. 1 Classically the theory in (2) is sick [13]: the energy is unbounded from below. A sensible quantum theory might exist, analogously to what happens with fermions: their classical energy is negative, but their quantum theory is sensible. 2 We will not address this problem here.
We will here study whether this theory can flow up to infinite energy. The Quantum Field Theory (QFT) part can have this property. Realistic TeV-scale extensions of the Standard Model (SM) can be asymptotically free [23,24], and it is not known whether the SM itself can be asymptotically safe, in a non-perturbative regime [25]. The gravitational coupling f 2 is asymptotically free. The difficulty resides in the coupling f 0 : a small f 0 grows with energy, until it becomes large.
In this paper we will show that, despite this, the theory can flow up to infinite energy, in an unusual way. In Sect. 2 we present an alternative formulation of agravity that makes it easier to compute its renormalization group equations (RGE): f 0 becomes the quartic of a special scalar, the conformal mode of the agraviton. Then a large f 0 means that the conformal mode of the agraviton gets strongly selfcoupled. The rest of the theory decouples from it, if at the same time all scalars become conformally coupled, namely if all ξ parameters run to −1/6, and all the other couplings reach ultraviolet (UV) fixed points, where all β-functions vanish.
In Sect. 4 we isolate the conformal mode of the graviton and show that its strong dynamics is such that f 0 does not hit a Landau pole. This means that the infinite-energy limit of agravity can be conformal gravity. The unusual phenomenon that allows one to reach infinite energy is that the conformal mode of the graviton fluctuates freely, but the rest of theory is not coupled to it: it becomes a gauge redundancy of a new local symmetry, Weyl symmetry. Since this symmetry is anomalous, conformal gravity cannot be the complete theory: going to lower energy the conformal model of the graviton 1 This can maybe be avoided introducing an infinite series of higher derivative terms [12], but the resulting gravity theories contain infinite free parameters and are not known to be renormalizable. 2 The ample literature of 'ghosts' was critically reviewed in [14]; for later work, see [15][16][17][18][19][20][21][22], where it was proposed that a four-derivative variable q(t) contains two canonical degrees of freedom (d.o.f.), q 1 = q and q 2 =q, with opposite time-reflection parity, such that usual T -even representation (q 1 |x = x|x and p 1 |x = i d dx |x ) must be combined with the T -odd representation (q 2 |y = iy|y and p 2 |y = d dy |y ) obtaining consistent results (positive energy, normalizable wave functions, Euclidean continuation), although the interpretation of the resulting negative norm is unclear. starts coupling to the rest of the theory, which becomes agravity. This issue is discussed in Sect. 3. In Sect. 5 we propose scenarios where the Higgs mass does not receive unnaturally large corrections. Conclusions are given in Sect. 6. Finally, in the appendix we provide a new and simple expression for the one-loop RGE of all dimensionless parameters (Appendix A) as well as of all dimensionful parameters (Appendix B) in the presence of the most general matter sector, which was not studied before.

Agravity
Allowing for generic scalars φ a with generic dimensionless coupling ξ ab to gravity, − 1 2 ξ ab φ a φ b R, the one-loop RGE for f 0 is [4,[26][27][28] whereμ is the renormalization scale in the modified minimal subtraction scheme (see also [29,30] for a previous attempt to determine this RGE). This shows that, in all theories, f 0 is asymptotically free only for f 2 0 < 0. However, negative f 2 0 corresponds to a run-away potential [4,6,7], and this instability cannot be made harmless (or even beneficial for explaining dark energy) by invoking a small enough negative f 2 0 , since tests of gravity exclude extra graviton components below 0.05 eV (see [31,32] for attempts to have f 2 0 < 0). The fact that f 2 0 < 0 is phenomenologically problematic was already noted in [4], where it was pointed out that it leads to a tachyonic instability. Barring stabilization through background effects in cosmology, one needs f 2 0 > 0. But the one-loop RGE show that a small f 2 0 > 0 grows until it becomes non-perturbative. 3 These RGE show peculiar features. Only scalars (not vectors nor fermions) generate f 0 at one-loop, and only if their ξ -couplings have a non-conformal value, ξ ab = − δ ab /6. The ξ -couplings often appear in the RGE in the combination ξ ab + δ ab /6, but not always. The coupling f 0 appears at the denominator in the RGE for the ξ -couplings [4].
The above features can be understood noticing that a new symmetry appears in the limit f 0 → ∞ and ξ ab → − δ ab /6: and the second part, is not invariant. 4 To see this we will now perform a Weyl transformation, This will also lead to an equivalent formulation of the theory. 4 We omitted the topological Gauss-Bonnet term.

Equivalent formulations of agravity
The extra scalar field σ (x), defined in (6), will be called the 'conformal mode of the agraviton'; for the moment it is introduced as an extra gauge redundancy. We will comment on the corresponding gauge symmetry later on. All terms in Eq. (4) are invariant under Weyl transformations. Since vectors and fermions appear only in Eq. (4), σ does not couple to them. Only the terms that break Weyl symmetry give rise to interactions of σ . The transformation (6) leads to Therefore, the Weyl-breaking part of the Lagrangian becomes which is one simple way to rewrite L¨Ẅ eyl , which will be used later on. Another simple and useful form of L¨Ẅ eyl can be obtained from (8) as follows. We define L = e σ and complete the square rewriting Eq. (8) as Next we write the square as A 2 /6 f 2 0 = − 1 6 f 2 0 2 L 2 R + 1 3 R L A by introducing an auxiliary field R with quadratic action, such that integrating it out gives back the original action. The resulting expression only contains the combination L R , that is, invariant under L → t L , R → R /t, which forms a SO(1,1) scale symmetry. Indeed, one can verify that SO(1,1) is broken by adding Lagrangian terms with dimensionful coefficients, such as the Einstein-Hilbert term or the cosmological constant, as done later in Eq. (40). Now, we can rewrite L R in vectorial notation as L R = 1 4 ( 2 + − 2 − ) = 1 4 2 by going from the "lightcone basis" L ,R to the ± basis as L = t ( + − − )/2 and R = ( + + − )/2t and defining the SO(1,1) vector = ( + , − ). Then the Weyl-breaking part of the action can be written in the final form The non-trivial result is that the Weyl-breaking part of the action has been rewritten as an extra Weyl-invariant action involving the extra scalar SO(1,1) doublet , which describes the conformal mode of the agraviton. We have not (yet) imposed any constraint on the metric g μν after the transformation in Eq. (6); therefore we have a Weyl-type gauge invariance acting as where χ(x) is an arbitrary real function of x. The transformation σ → σ + χ is equivalent to including L = e σ and R among the scalars φ. Therefore, agravity is equivalent to conformal gravity plus two extra conformally coupled scalars, + and − . 5 In the new formulation of agravity with the field , the gravitational couplings f 0 and ξ ab have become scalar quartic couplings.
The formulations presented in this section certainly are equivalent at the classical level. At quantum level, the equivalence needs to take into account the anomalous transformation law of the path-integral measure, which amounts to adding an effective σ -dependent term in the action. This amounts to σ starting to couple to terms that break scale invariance proportionally to their quantum β-functions. These extra couplings only affect RGE at higher loop orders, as we will discuss in Sect. 3.
It is now clear why the one-loop RGE for f 0 , Eq. (3), does not receive contributions from fermions and vectors: f 2 0 is the quartic coupling of a neutral scalar with no Yukawa interactions. A positive f 2 0 corresponds to a positive quartic. Furthermore the symmetry SO(1,1) can be complexified into SO(2) by redefining − → i − without affecting the RGE at perturbative level: only non-perturbative large field fluctuations are sensitive to the difference. By defining an extended set of quartic couplings, λ ABCD , where the capital indices run such that the quartics that involve the two extra scalars are 5 Similar remarks have been made in the context of Einstein gravity (rather than in agravity) in [33][34][35], where it was found that Einstein gravity is equivalent to conformal gravity plus a single conformally coupled scalar. Similar statements have been made in a different theory without the R 2 /6 f 2 0 term in [36,37].
included, the generic RGE for the scalar quartics only, known in a generic QFT up to two loops, are 6 is the scalar wave-function renormalization, the sums run over the 4! permutations of ABC D and · · · is the contribution of the other couplings. From Eq. (12) one can re-derive the one-loop RGE for f 0 and ξ ab , computed as gravitational couplings in [4]. The two results agree. Furthermore, the same RGE acquire a simpler form if rewritten in terms of the λ ABC D coefficients. The RGE are explicitly written in Eq. (50) in Appendix A, and neither f 0 nor any other coupling appear anymore at the denominator in the RGE.

The graviton propagator
A gravitational computation is now only needed to compute the part of the RGE involving f 2 . So far the field σ , or , has been introduced as an extra gauge redundancy. One can fix it by setting σ = 0, going back to the original formulation where the full RGE were computed in [4]. In the rest of this section (which contains technical details used only for a double check of the main results) we show how one can choose an alternative convenient condition: that the fluctuation h μν around the flat space of g μν after the transformation in Eq. (6) has vanishing trace, that is, We have introduced a prime in h μν to distinguish it from the fluctuation h μν around the flat space of the metric before transformation (6). The new variables h μν and σ are given in terms of the old ones (the trace h ≡ η μν h μν and the traceless The path-integral measure Dg μν ≡ Dh Dh TL μν splits as Dg μν = Dh μν Dσ = Dh μν D . We neglect here the Weyl anomaly because, as explained above, it does not affect the one-loop RGE.
In order to compute quantum effects, we consider the following convenient gauge fixing for the diffeomorphisms where we use the flat metric η μν to raise and lower the indices. This choice avoids kinetic mixing between σ and h μν and leads to a simple propagator of h μν where To determine the Lagrangian of the Fadeev-Popov ghosts we have to perform the variation of ∂ μ h μν with respect to diffeomorphisms, whose effect on h μν at the linear level in ξ μ is The effect of diffeomorphisms on h μν and σ can be computed by first splitting Eq. (18) in its traceless and trace parts, and next by using Eq. (14) to express h TL μν and h in terms of h μν and σ . The result is Notice that the transformation law of h μν is independent of σ : having used the gauge in Eq. (15) the Fadeev-Popov procedure does not generate any new coupling of σ to the Fadeev-Popov ghosts. 7 In conclusion, we have shown how to implement the gauge where the graviton is traceless.

Conformal gravity
We return to our physical issue: the coupling f 0 is not asymptotically free. In Sect. 4 we will argue that f 0 grows with energy, becoming non-perturbative at f 0 ∼ 4π and continuing to grow up to f 0 → ∞ in the limit of infinite energy, such that the R 2 /6 f 2 0 term disappears from the action. In this section we show that this limit is well defined. It is precisely defined as agravity with parameters chosen such that all Weyl-breaking terms L¨Ẅ eyl in Eq. (5) vanish: The R 2 /6 f 2 0 term provides the kinetic term for σ , the conformal mode of the agraviton. Thereby σ fluctuates wildly in the limit f 0 → ∞. Indeed, the agraviton propagator of [4] has a contribution proportional to f 2 0 , which diverges as f 0 → ∞. Faddeev and Popov have shown how to deal with these situations: add an extra gauge fixing for the extra gauge redundancy appearing in conformal gravity, local Weyl transformations.
In general, conformal gravity is not a consistent quantum theory, because its Weyl gauge symmetry is anomalous. In a simpler language, the dimensionless couplings run with energy as described by their RGE. 8 The theory is no longer scale invariant, and the conformal mode of the graviton couples to all non-vanishing β-functions. The Weyl-breaking terms of the agravity Lagrangian are generated back by quantum corrections. The consistent quantum theory is agravity. For this reason our work differs from articles where conformal gravity is proposed as a complete theory of gravity [39,40].
Nevertheless, conformal gravity can be the consistent infinite-energy limit of agravity provided that all β-functions vanish at infinite energy: the theory must be asymptotically free or asymptotically safe, in other words all couplings other than f 0 have to reach a UV fixed point where all β-functions vanish, as we will see.
In this section we clarify these issues by computing the one-loop RGE of conformal gravity coupled to a generic matter sector, as in Eq. (4). The RGE can be obtained without performing any extra computation by using the perturbative equality obtained in the previous section: agravity is equivalent to conformal gravity plus two extra scalars, . In the other direction, this means that conformal gravity has the same RGE as agravity minus two scalars. Thereby the Footnote 7 continued equivalent to the modified diffeomorphism transformation law of the traceless graviton, Eq. (22). RGE for f 2 in conformal gravity is obtained by substituting This reproduces the result obtained in [41][42][43][44] with a dedicated computation in the gauge of Eq. (13), where only the traceless part of the graviton propagates; see Eq. (16). Then the one-loop RGE for all other parameters can be obtained from the agravity RGE, listed in the appendix, by dropping those for f 0 and ξ ab , as well as the terms involving f 0 and ξ ab + δ ab /6 from the remaining RGE. The result is for f 0 → ∞ and ξ ab → − 1 6 δ ab , where Y k 2 , C k 2S and C 2F are defined in Eq. (51). We do not know of any previous determinations of the RGE in (25) and (26). We do not show the RGE of the gauge couplings because they are not modified by the gravitational couplings (see the first paper in [41][42][43][44] and [4,45,46]).
Anomalous generation of 1/ f 2 0 However, the fact that f 2 and other gauge, Yukawa and quartic couplings start having non-vanishing β-functions means that the conformal-gravity computation becomes inconsistent when going to higher orders. The conformal mode of the agraviton, σ , is a decoupled degree of freedom in the classical Lagrangian of conformal gravity. At quantum loop level, σ starts coupling to all terms that break scale invariance proportionally to their β-functions, so that σ can no longer be gauged away.
Once σ couples to other particles, they can propagate in loops within Feynman diagrams containing, as external states, σ only. This describes how the R 2 term is generated at a loop level sufficiently high for the diagram to contain running couplings. The result can be written in terms of βfunctions through the aid of consistency conditions obtained by formally promoting the couplings to fields, including the gravitational coupling. A scalar quartic λ starts contributing at λ 5 order [47,48]; a gauge interaction starts contributing at g 6 order [49,50]; the effect of scalar quartics, Yukawa and gauge couplings was computed in [51] in parity-invariant theories. The final result can be written as an RGE for 1/ f 2 0 : × 6λ abcd λ cdmn λ mnpq λ aprs λ bqrs +12λ abcd λ cdmn λ mr pq λ bspq λ anrs −λ acdm λ bcdm λ anrs λ bnpq λ rspq + · · · (27) in the limit f 0 → ∞ and ξ ab → −δ ab /6. We have written explicitly the leading gauge contribution assuming, for simplicity, a gauge group G with a single gauge coupling g, N V vectors and N f Weyl fermions in the same representation R of G: b 1 and b 2 are the usual one-loop and two-loop β-function coefficients for g, precisely defined as dg/d lnμ = −b 1 g 3 /(4π) 2 − b 2 g 5 /(4π) 4 + · · · and given by [52] 9 We also have The gauge contribution to 1/ f 2 0 can be either positive or negative, depending on the field content. For example, in the SM one has N V = 3, b 1 = 19/6 and b 2 = − 35/6 for SU(2) L and N V = 8, b 1 = 7 and b 2 = 26 for SU(3) c . The quartic of the Higgs doubled H , defined by the potential λ H |H | 4 , contributes to the RGE for 1/ f 2 0 as 416λ 5 H /5(4π) 12 , which is sub-dominant with respect to the gauge contributions. Integrating the gauge contribution alone from infinite energy down to a scale where g 1, one finds 1/ f 2 0 −b 2 N V g 4 /72(4π) 6 . The · · · in Eq. (27) denote extra terms due to Yukawa couplings (partially computed in [51]) and to gravitational terms (never computed and presumably first arising at order f 6 2 ). The full unknown expression might perhaps take the form of a β-function of some combination of couplings, given that the Weyl symmetry is not broken when all β-functions vanish. Barring this exception, which seems not to be relevant 9 The group quantities C 2G , C 2F and T F are defined as usual in terms of the generators t A in the representation R as follows: For example, for the vector representation of SU(N ) we have (nature is neither described by a free theory nor by a conformal theory), Eq. (27) means that conformal gravity is not a complete theory: at some loop level, quantum corrections start generating back the extra couplings f 0 and ξ ab present in agravity. One important aspect of Eq. (27) is that its right-hand side vanishes when all couplings sit at a fixed point, where all β-functions vanish. This tells us that the f 0 → ∞ limit is consistent when the other couplings on the right-hand-side approach a fixed point.
It is important to note that the right-hand-side of Eq. (32) vanishes when all couplings sit at a fixed point, where all β-functions vanish. This tells us that the f 0 → ∞ limit is consistent when at the same time ζ ab → 0 and the other couplings approach a fixed point. In this precise limit the conformal mode decouples from the rest of the degrees of freedom.

The conformal mode of the agraviton
So far we have shown that a large self-coupling f 0 of the conformal mode of the agraviton does not affect the rest of physics, provided that the non-minimal couplings ξ of scalars go to the conformal value and the remaining couplings approach a fixed point. We next address the big issue: what happens to the conformal mode of the agraviton when f 0 is big?
The one-loop agravity RGE for f 0 , Eq. (3), is valid for f 0 1 and shows that a small f 0 grows with energy. In general, when a dimensionless coupling behaves in this way, three qualitatively different things can happen depending on the non-perturbative behavior of the β-function, 1.
If β( f 0 ) grows at large f 0 faster than f 0 , then is finite and f 0 hits a Landau pole at finite energy. The theory is inconsistent. 10 2. If β( f 0 ) vanishes for some f 0 = f * 0 , then f 0 grows to f * 0 , entering into asymptotic safety. 3. If β( f 0 ) remains positive but grows less than or as f 0 , then f 0 grows to f 0 = ∞ at infinite energy. 11 In order to study what happens at large f 0 , we can ignore all other couplings and focus on the conformal mode of the agraviton. We can choose a conformally flat background g μν (x) = e 2σ (x) η μν , as the background does not affect the UV properties of the theory. Recalling Eq. (8), the action for the conformal mode only is The field σ has mass dimension 0, and its action in Eq. (34) respects the following symmetries: shifts σ (x) → σ (x) + δσ ; Poincaré invariance; scale invariance; invariance under special conformal transformations: at first order in the infinitesimal constant vector c μ . Conformal invariance here appears as a residual of the reparametrization invariance of the gravitational theory: it is present because conformal transformations are those reparametrizations that leave the metric invariant, up to an overall scale factor. Being a residual of reparametrization invariance, this symmetry is non-anomalous, up to the usual scale anomaly. No other action is compatible with these symmetries. Taking 10 For example, lattice simulations indicate that one scalar quartic or the gauge coupling in QED behave in this way [53][54][55]. 11 For example, this behavior is realized if the β-function has the form Then at low energy f 0 runs logarithmically towards f 0 → 0, and at large energy 1/ f 0 runs logarithmically towards 1/ f 0 → 0. Indeed, the full solution for f 2 0 > 0 is f 2 0 = t + √ 1 + t 2 where t = b ln(μ/ 0 )/(4π) 2 and 0 is the transition scale at which f 0 ∼ 1. into account that d 4 x = (1 + 8c · x)d 4 x , the single terms in the action of Eq. (34) vary under a conformal transformation as such that the combination in Eq. (34) is invariant. 12 We verified, at tree level, that the scattering amplitudes vanish, in agreement with the Coleman-Mandula theorem.
For small f 0 one can compute the theory perturbatively around the four-derivative kinetic term ( σ ) 2 . As discussed in Sect. 2, this can be equivalently formulated as an SO(2)invariant scalar with a quartic coupling. This shows that UV-divergent quantum corrections preserve the form of the action, such that the quantum action is given by Indeed, in the scalar theory with the field and the simple quartic coupling all divergences can be reabsorbed by renormalizing f 2 0 (which in that formulation represents the quartic coupling) and the field, . Going back to the formulation in terms of σ , both renormalizations (of f 0 and of ) can be expressed in terms of a common rescaling of the action, which is what appears in Eq. (37).
The common UV-divergent factor Z ( f 0 ) renormalizes equally all terms in the action, such that it can be seen as an RGE running of f 0 , which we give here up to two loops: The one-loop term reproduces the corresponding term in the full gravitational computation, Eq. (3), while the twoloop term was never obtained before. The Weyl anomaly, mentioned in Sect. 2, affects this RGE only at higher loop level. The reason is that the β-functions are already one-loop effects, so that one needs at least two vertices and one extra loop to get a contribution from the anomaly. This remark not only applies to pure anomalous effects, but also to mixed f 0 -anomaly contributions; in the latter case, indeed, a couple of internal σ -lines should be converted to the particles 12 Alternatively, since conformal invariance can be seen as an inversion x μ → y μ = x μ /x 2 followed by a translation and by another inversion, one can more simply check that the action is invariant under the inversion: d 4 x → d 4 y/y 8 , σ (x) → σ (y) + ln y 2 and The transformation rule of σ under the coordinate transformation x μ → y μ = x μ /x 2 can be obtained by recalling its general definition in (6) and that we are assuming here a conformally flat metric, i.e. g μν (x) = e 2σ (x) η μν .
which σ couples to through the anomaly and again at least two vertices proportional to β-functions and one extra loop are needed. When f 0 grows the path integral receives contributions from fluctuations of σ with larger and larger amplitude, probing the terms in the action of Eq. (34) with higher powers in σ . For large f 0 the action becomes dominated by the (∂σ ) 4 term that has the highest power of σ , while the kinetic term becomes negligible. This can happen because all terms in the action have the same number of derivatives. For example, a field configuration σ (r ) = σ 0 e −r 2 /a 2 contributes as S ∼ (σ 0 + σ 2 0 ) 2 / f 2 0 , independently of the scale a, such that for f 0 1 the path integral is dominated by the second term.
In the limit f 0 → ∞ the action S simplifies to Although for large f 0 the theory is non-perturbative in f 0 , one can still develop an analytical argument to show the absence of a Landau pole of f 0 , as we now discuss. The action in Eq. (39) acquires new symmetries: S ∞ is Z 2 -invariant (Z 4invariant if complexified); furthermore, being the term of S with the highest power of σ , it is invariant under the homogeneous part of the transformation in Eq. (35), while the other two terms, (∂σ ) 2 σ and ( σ ) 2 or any combination of them, are not. Symmetries imply that the quantum action ∞ , which includes the classical and UV-divergent quantum corrections, is fully described by ∞ = Z ∞ S ∞ , where Z ∞ is a constant, related to the Z ( f 0 ) in the full theory as Z ∞ = lim f 0 →∞ Z ( f 0 ). This constant must equal unity, Z ∞ = 1 because the theory is classical at large field values, for which S ∞ 1, and because its form at all field values is fixed by symmetries. The theory with action S ∞ , despite being interacting, behaves as a free theory, in the sense that the quantum action does not receive divergent corrections.
This shows that, in the full theory, f 0 can flow to large values without hitting Landau poles: Having distilled the non-perturbative dynamics of the conformal mode of the agraviton in a simple action, Eq. (34), it seems now feasible to fully clarify its dynamics. We have shown that it hits no Landau poles, excluding case 1. of the initial list. The theory at f 0 1 should be computable by developing a perturbation theory in 1/ f 0 . We have not been able of excluding case 2: a vanishing β( f 0 ) at f 0 ∼ 4π . Nonperturbative numerical techniques seem needed to determine the behavior of the theory at the intermediate energy at which f 0 ∼ 4π , although this currently needs adding a regulator that breaks the symmetries of the theory (such as a lattice or a momentum averager [56][57][58]), obscuring possible general properties (such as the sign of β( f 0 )) that could follow from the positivity of the symmetric action in Eq. (34).
The letter 'a' in the name 'conformal mode of the agraviton' reminds us that our field σ contains two degrees of freedom because its action contains four derivatives, while the usual 'conformal mode of the graviton' obtained from the Einstein action only contains one degree of freedom. More precisely, the Einstein term alone, − 1 2M 2 Pl R, wherē M Pl is the reduced Planck mass, gives a negative kinetic term 3M 2 Pl L L for L = e σ ; see Eq. (7). Summing the Einstein term with R 2 /6 f 2 0 , the four-derivative conformal mode of the agraviton σ splits into a physical mode with positive kinetic term and mass M 0 = f 0MPl / √ 2 for f 0 1, and the usual massless Einstein term, which is reparametrization dependent. 13 To see this, it is convenient to use the form of the action where σ is rewritten in terms of two fields with two derivatives, L and R (see Sect. 2). Adding to the previous discussion the Planck mass the Lagrangian becomes We expand in fluctuations around the minimum, R = 0 and L = 1, where we arbitrarily choose unity in order to keep the metric as η μν , while other values would correspond to a different unit of mass. Then the quadratic part of the action can be diagonalized by defining where α is the Einstein ghost and β is the massive scalar component of the graviton. The result is

Scenarios compatible with naturalness of the Higgs mass
In the following we discuss implications of case 3. Qualitatively different scenarios can arise, depending on the ordering between the key scales: • 0 , the energy scale at which the self-coupling of the conformal mode equals f 0 ∼ 4π , with f 0 4π at E 0 and f 0 4π at E 0 . • 2 , the energy scale at which the graviton self-coupling equals f 2 ∼ 4π , with f 2 4π at E 2 . • The Planck scale. As this is the largest known mass scale, in the context of dimensionless theories it can be 13 Many authors refuse to view the theory with higher derivative as legitimate because of the consequent ghosts; see e.g. [59] for attempts to discard the ( σ ) 2 term. Accepting the presence of higher derivatives allows one to describe the Weyl anomaly as ordinary RGE running of f 0,2 , rather than by modifying Einstein gravity by adding a complicated 'quantum anomalous action' [60][61][62] which encodes the anomalous behavior of generic undefined theories of gravity.
interpreted as the largest dynamically generated vacuum expectation value or condensate.
The scales 0,2 can be physically realized in nature (like the scale QCD at which SU(3) c becomes strong) if they are larger than the Planck scale. Otherwise they are not realized (like the scale at which SU(2) L would have become strong, if symmetry breaking had not occurred at a higher energy) and we use 2 M Pl to denote f 2 1 at M Pl where M Pl is the Planck mass.
In this section we adopt Higgs mass naturalness as a criterion to limit the possible speculations. For example, the simplest possibility in which the Planck scale is identified with 2 or 0 leads to unnaturally large physical corrections to the Higgs mass from gravity. Naturalness demands f 2 1 at the Planck scale, while f 0 can be either very small or very large, giving rise to two natural possibilities shown in

f 0 1 at the Planck scale
The first possibility is the one considered in [4], which showed that the Planck mass can be dynamically generated, within a dimensionless theory, from a dynamically induced vacuum expectation value of a fundamental scalar S = (s + is )/ √ 2. The part of the dimensionless Lagrangian involving S and the SM Higgs doublet H is Provided that λ S runs in such a way that it vanishes at the same scale at which its β-function vanishes, s gets a vacuum expectation value with cosmological constant tuned to zero, andM 2 Pl = ξ S s 2 is positive provided that the parameter ξ S , renormalized at the Planck scale, is positive. An unpleasant feature of the model is that the mixed quartic λ H S must be very small, in order to avoid inducing an unnaturally large contribution to the Higgs mass (M 2 h = λ H S s 2 , which appears in the potential as −M 2 h |H | 2 /2). References [4,6,7] showed that λ H S can be naturally small, despite being generated at loop level through gravity loops as whereλ S ≡ f 2 0 (ξ S + 1/6) andλ H ≡ f 2 0 (ξ H + 1/6) are the couplings that appear in the perturbatively equivalent formulation of agravity of Eq. (10), where f 0 and ξ H,S become quartic couplings with an extra scalar . The Higgs mass is natural if f 0,2 10 −8 . The above scenario needs to be reconsidered: (a) Is naturalness still satisfied, or f 0 becoming strongly coupled at the energy scale 0 generates aλ H,S of the same order? (b) Can one get ξ S > 0 at the Planck scale starting from ξ S = −1/6 at infinite energy?
A peculiar RG running behavior at a very large scale, such as 0 10 10 16 GeV, does not imply perturbative contributions to scalar masses of the same order, as long as no new physics nor vacuum expectation values nor condensates develop at that scale [25]. Non-perturbative ultra-Planckian contributions to the cosmological constant and the Planck mass from a f 0 ∼ 4π are forbidden by the global shift symmetry σ → σ + δσ . Planckian corrections to the cosmological constant remain unnaturally large as usual.
The answer to (a) seems to be positive: as shown in Sect. 2 perturbative corrections in f 0 behave like quartic scalar couplings, and thereby renormalize theλ H,S couplings (mixed quartics between the scalars and the conformal mode of the graviton) only multiplicatively, like in the one-loop RGE, Eq. (50d). The same happens at f 0 1: non-vanishingλ H,S are only generated by f 2 (see Eq. (31)) and by the multi-loop anomalous effects discussed in Sect. 3. Non-perturbative corrections in f 0 ∼ 4π presumably too renormalizeλ H,S only multiplicatively, as the scalars H, S are not involved in the strong self-coupling of the conformal mode of the graviton.
Concerning issue (b), the answer can be positive in a theory where ξ S is very close to −1/6 around and above the energy scale 0 , and a positive ξ S is only generated through anomalous running (see e.g. Eq. (32)) at a much lower energy where f 0 1 by some matter coupling becoming nonperturbative.
Given that non-perturbative physics seems anyhow necessary, we propose here a simpler mechanism for the generation of the Planck mass that relies on a new strong coupling g P , rather than on a perturbative coupling λ S . Without introducing any extra scalar S (and thereby bypassing the issue of a small λ H S ), the Planck scale can be induced by a new gauge group G (under which the Higgs is neutral) with a gauge coupling g P that runs to non-perturbative values around the Planck scale, such that condensates f are generated. This is shown as blue curve in Fig. 1. This scenario can be very predictive, as one coupling g P dominates the dynamics. The sign of M 2 Pl is predicted; however, it is not determined by dispersion relations and seems to depend on the detailed strong dynamics of the model (gauge group, extra matter representations) [63][64][65][66][67][68].
One has the desired M 2 Pl > 0 provided that the theory admits an effective-theory approximation where the effect of the strong dynamics is dominantly encoded in a mixing of the graviton with a composite spin-2 resonance, analogously to how a photon/ρ mixing approximates QCD effects. Then the relevant effective Lagrangian for the graviton h μν and the spin-2 resonance is The first term is the positive quadratic kinetic energy for the spin-2 resonance generated by strong dynamics; we wrote it as a 'curvature' R ρ multiplied by some positive M 2 > 0. The second term is a mass term, which presumably approximatively has Fierz-Pauli form, a ≈ 1. 14 Next, we integrate out ρ μν obtaining an effective action for the graviton h μν . At leading order in derivatives one simply has ρ μν = h μν , irrespectively of the precise form of the mass term. Thereby the resulting effective action is the Einstein action, with M 2 Pl = M 2 . Furthermore, the strong dynamics generates at the same time a cosmological constant. In a theory with no matter charged under G it is negative and of order M 4 Pl : where D μ is the anomalous dilatation current and β g P < 0. This large contribution to the cosmological constant can be avoided if the theory also includes a Weyl fermion λ in the adjoint of the gauge group G, such that the most general dimensionless action, is accidentally supersymmetric in its strongly coupled sector. With this particle content F A2 αβ = 0 vanishes, being the Dterm of an accidental unbroken global supersymmetry, while the fermion condensate can be computed [70][71][72].
The Higgs has no renormalizable interaction with the strong sector at the Planck scale: it is only generated through gravitational loops, between the Planck mass and the masses M 0,2 of the extra components of the agraviton. The one-loop RGE for the Higgs mass in this regime was computed in [4], and the contribution proportional toM 2 Pl is M 2 Pl + · · · for M 0,2 <μ < M Pl (47) where · · · are contributions that are not dangerous from the point of view of naturalness. In Appendix B we write the one-loop RGE for the most general massive parameters.
5.2 f 0 1 at the Planck scale A simpler alternative that avoids having a very large RGE scale at which f 0 crosses 4π is that f 0 is still large at the Planck scale and never gets small. The conformal mode of the agraviton only has small anomalous couplings, until its dynamics suddenly changes when some vacuum expectation value or condensate is first generated. We assume that the largest such effect is the Planck mass, which can be generated in the ways discussed in the previous section. Then the tree-level Lagrangian of Eq. (41) describes how σ splits into two-derivative modes. The SO(1,1) symmetry that prevented quantum corrections to the strongly interacting theory with f 0 1 gets broken by M Pl .
The physical difference with respect to the previous case is that only the Einstein conformal mode of the graviton appears in the effective theory below the Planck scale down to the scale M 2 . The RGE are those of gauge-fixed conformal gravity (see Eqs. (24), (25) and (26)). Proceeding as in Appendix B, the RGE of the Higgs mass is which is naturally small for f 2 10 −8 .

Conclusions
In dimensionless gravity theories (agravity), the conformal mode of the agraviton consists of two fields: the usual conformal mode of the graviton and an extra scalar, jointly described by a four-derivative action for a single field σ , defined by g μν (x) = e 2σ (x) η μν . The self-interactions of the conformal mode of the agraviton are controlled by a coupling f 0 that is not asymptotically free. In Sect. 2 we recomputed its RGE, and we extended it at the two-loop level, by developing a formulation where f 2 0 becomes an extra scalar quartic coupling. In the presence of scalars, their dimensionless ξ -couplings to gravity become scalar quartics, and the whole agravity can be rewritten as conformal gravity plus two extra scalars with an SO(1,1) symmetry. This perturbative equivalence allowed us to recompute the one-loop RGE equations of a generic agravity theory, confirming previous results [4], writing them in an equivalent simpler form where no couplings appear at the denominator in the β-functions, extending them at two loops.
In particular, rewriting f 2 0 as a quartic scalar clarifies why a small f 0 grows with energy in any agravity theory. A Landau pole would imply that agravity is only an effective theory and that the Higgs mass receives unnaturally large corrections.
In Sects. 2, 3 and 4 we have shown that, nevertheless, agravity can be a complete theory. Agravity can be extrapolated up to infinite energy, although in an unusual way: the dimensionless coupling f 0 grows with energy, becomes strongly coupled above some critical RGE scale 0 , and can smoothly grow to f 0 → ∞ at infinite energy. Although we have excluded that f 0 has a Landau pole, i.e. that it blows up at finite energy, there is another possibility which we have not studied in the present work: f 0 can approach asymptotically a finite non-perturbative fixed point. Analyzing this possibility requires having control on intermediate regimes where f 0 ∼ 4π , which is beyond our current ability.
Provided that all scalars are asymptotically conformally coupled (all ξ -couplings must run approaching −1/6) and all matter couplings approach a fixed point (possibly a free one, like in QCD) in the UV, the simultaneous f 0 → ∞ limit turned out to be consistent. In this case and in the limit of infinite energy the conformal mode of the agraviton fluctuates freely and decouples from the rest of the theory. In the UV limit the theory can then be computed by viewing σ as a gauge redundancy, which can be fixed with the Faddeev-Popov procedure. One then obtains conformal gravity at infinite energy. In Sect. 3 we provided the one-loop RGE at the zero order in the expansion in 1/ f 2 0 and ξ + 1/6, including the most general matter sector.
However, the conformal symmetry is anomalous and its violation is dictated by renormalization group equations that describe how the dimensionless parameters that break conformal symmetry, f 0 and ξ +1/6, are generated at a few-loop order. As a result, at energies much above 0 the conformal mode of the agraviton σ is strongly self-coupled ( f 0 1) and fluctuates wildly, being negligibly coupled to other particles. In Sect. 4 we isolated its peculiar action and showed that, despite the strong coupling, it can be controlled through its symmetries. The action is sufficiently simple for its full quantum behavior to be simulated on a Euclidean lattice.
The anomalous multi-loop RGE which generate 1/ f 2 0 and ξ + 1/6, are not (yet) fully known, but it is already possible to discuss the physical implications of this theory. We assume that the largest mass scale dynamically generated through vacuum expectation values or condensates is the Planck scale. Two situations discussed in Sect. 5 can lead to a scenario where the Higgs mass does not receive unnaturally large corrections. If f 0 1 at the Planck scale one obtains agravity at sub-Planckian energies: we wrote the most general RGE for massive parameters, and we argued that a new gauge group with a fermion in the adjoint can become strongly coupled around the Planck scale and successfully generateM Pl , without generating a Planckian cosmological constant (this mechanism was never explored before in the context of agravity). Alternatively, f 0 1 at the Planck scale seems to be a viable possibility: in this case the scalar component of the agraviton is above the Planck scale.

A One-loop RGE in agravity
When f 0 and all couplings are small, the one-loop βfunctions β p ≡ dp/d lnμ of all parameters p of the generic agravity theory of Eqs. (4) and (5), can be conveniently written in terms of the combination of parameters that appear in Eq. (10), ζ ab = ξ ab + δ ab /6 and λ abcd = λ abcd + 3 f 2 0 (ζ ab ζ cd + ζ ac ζ bd + ζ ad ζ bc ), λ ab = f 2 0 ζ ab ,λ = f 2 0 . (49) The RGE are The sum over "perms" runs over the 4! permutations of abcd and Y k 2 , C k 2S and C 2F are defined by where θ A and t A are the generators of the gauge group for scalars and fermions, respectively (the gauge couplings are contained in θ A and t A ).

B One-loop RGE for massive parameters in agravity
For the sake of completeness we also write the RGE for the most generic massive parameters that can be added while keeping the theory renormalizable: the reduced Planck mass M Pl = M Pl /8π , the cosmological constant , scalar squared masses m 2 ab , scalar cubics A abc , fermion masses M i j defined as The RGE for the massive terms can be obtained from the generic dimensionless RGE by considering one neutral scalar s as a dummy non-dynamical variable, such that