Gradient flows for $\beta$ functions via multi-scale renormalization group equations
Ulrich Ellwanger

TL;DR
This paper develops a framework for describing the coupled renormalization group flows of multiple marginal couplings using gradient flows derived from a potential and metric, providing explicit constructions and comparisons.
Contribution
It introduces a method to construct a metric and potential in coupling space for multi-scale RG flows, extending the gradient flow formulation to multiple renormalization scales.
Findings
Explicit expressions for the metric and potential in coupling space.
Comparison of the constructed metric and potential with existing results.
Examples illustrating the gradient flow structure in RG equations.
Abstract
Renormalization schemes and cutoff schemes allow for the introduction of various distinct renormalization scales for distinct couplings. We consider the coupled renormalization group flow of several marginal couplings which depend on just as many renormalization scales. The usual functions describing the flow with respect to a common global scale are assumed to be given. Within this framework one can always construct a metric and a potential in the space of couplings such that the functions can be expressed as gradients of the potential. Moreover the potential itself can be derived explicitly from a prepotential which, in turn, determines the metric. Some examples of renormalization group flows are considered, and the metric and the potential are compared to expressions obtained elsewhere.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
LPT Orsay 18-91
Gradient flows for functions via multi-scale renormalization group equations
**Ulrich Ellwangera
** a* Laboratoire de Physique Théorique, UMR 8627, CNRS, Université de Paris-Sud, Université Paris-Saclay, 91405 Orsay, France*
Renormalization schemes and cutoff schemes allow for the introduction of various distinct renormalization scales for distinct couplings. We consider the coupled renormalization group flow of several marginal couplings which depend on just as many renormalization scales. The usual functions describing the flow with respect to a common global scale are assumed to be given. Within this framework one can always construct a metric and a potential in the space of couplings such that the functions can be expressed as gradients of the potential. Moreover the potential itself can be derived explicitely from a prepotential which, in turn, determines the metric. Some examples of renormalization group flows are considered, and the metric and the potential are compared to expressions obtained elsewhere.
1 Introduction
Originally multi-scale renormalization group (RG) flows were introduced to deal with physical problems involving distinct energy scales [1]. On the other hand it is plausible to consider multi-scale RG flows motivated by purely formal arguments:
In dimensional regularization marginal couplings (i.e. dimensionless in ) acquire a dimension which requires the introduction of a scale , and in perturbation theory the corresponding renormalized couplings depend on where serves to define initial conditions for the running couplings. In the presence of several marginal couplings , , it is standard to introduce a single scale common to all couplings, since this allows to construct RG equations for Green functions with respect to an overall change of scale. However, a priori it is allowed and possible to introduce as many parameters or , . An overall change of scale can still be defined provided all are related to an overall scale .
In the presence of an ultraviolet (UV) cutoff the renormalization group can also be used to describe the running of bare couplings with keeping the renormalized couplings fixed. A UV cutoff must not necessarily be universal: Consider, for example, a momemtum space cutoff of propagators which decrease rapidly for . A priori it is possible to chose different cutoffs for different fields. Although the number of fields (counting multiplets as single fields) does not necessarily coincide with the number of marginal couplings one obtains again the possibility to introduce parameters now defined as . Distinct momentum space cutoffs can also be introduced in the form of distinct form factors attached to the vertices corresponding to marginal couplings, as it happens automatically in the case of compositeness. Actually the so-called gradient flow in field space (not to be confused with the here considered gradient flow for couplings/ functions), originally introduced for gauge fields on a lattice [2], serves also as a UV cutoff for correlation functions of composite operators and could be generalized to distinct cutoffs for distinct couplings. Finally Pauli-Villars regularization allows for several distinct cutoffs as well.
Subsequently we will use the idea of scales independently from whether these refer to renormalization points or to UV cutoffs .
Computing the radiative corrections to vertices associated to marginal couplings the various couplings and scales will mix at least in higher loop order. Consequently, in general each coupling will depend on each scale leading to a system of functions
[TABLE]
Assuming as many couplings as scales and linearly independent this set of partial derivatives can formally be inverted to give .
On the other hand it remains possible to define a universal overall scale (or a cutoff) with respect to which the properties of a physical system change unless it is scale invariant. Varying the couplings satisfy standard (although scheme dependent) RG equations . We will assume that the scales are proportional to such that
[TABLE]
where the constants may differ from for different scales . But since these drop out (cancel) in the interesting quantities below we will consider .
It is the aim of the present paper to show that the concept of different scales leads naturally to the definition of a gradient flow
[TABLE]
In addition we find that the potential is related to a prepotential via
[TABLE]
In principle such a prepotential can always be constructed if one solves the system of coupled RG equations for , inserts the solutions into the potential , integrates with respect to and re-expresses in terms of . In practice these steps are hardly feasable, whereas within the present approach the prepotential is related to the metric (see the next section) which allows for its construction.
The possibility to express functions in terms of a metric and a potential was observed first by Wallace and Zia [3, 4] for a multi-component theory. The consideration of Weyl consistency conditions for local couplings in a gravitational background in dimensional regularization led Osborn and Jack to explicit expressions for a metric and a potential [5, 7, 6, 8, 9]; the symmetry of the metric matrix is possibly spoiled, however, in higher order in perturbation theory.
A candidate for a metric is the correlation function of two composite operators ( denotes an UV cutoff) where the composite operators , are dual to the couplings , respectively. Such a metric was introduced by Zamolodchikov [10] in order to show the irreversibility of the RG flux in dimensional field theory where the positivity of can be shown.
It turned out to be difficult to demonstrate the irreversibility of the RG flow in [11, 12, 5, 6, 13, 14, 15, 16, 17, 18, 19, 20, 21]. In particular there remains the possibility of limit cycles [22, 23], i.e. recurrent trajectories related to non-vanishing functions. Such field theories are nevertheless conformal but the irreversible flow concerns functions which differ from functions [20].
Couplings can be considered as sources for composite operators , at least if promoted to local quantities . Then a functional can be defined such that derivatives of with respect to generate correlation functions of operators [24]. This allows to relate the Zamolodchikov metric to the second derivative of , . We are not very precise here since, within the present framework of multiple scales, we find a somewhat different expression for the metric in (1.3).
The starting point of our approach is purely algebraic and could find applications for RG flows beyond quantum field theory. We will compare, however, our results for gradient flows in some simple field theory models to those obtained elsewhere.
2 Gradient flow from multiple scales
As stated in the Introduction we consider marginal couplings depending on scales . We assume that the matrix of partial derivatives can be inverted such that exists, and that eq (1.2) holds.
We consider a prepotential (omitting indices of and if these appear as arguments of functions); its total derivative with respect to an overall scale will be identified with the potential :
[TABLE]
with
[TABLE]
assumed to be known. Next we consider the derivative of (2.1) with respect to :
[TABLE]
Due to (1.2) the second term on the right hand side of (2.3) vanishes. The first term on the right hand side of (2.3) can be rewritten as
[TABLE]
hence (2.3) assumes the form of a gradient flow,
[TABLE]
with
[TABLE]
The metric (2.6) is manifestly symmetric and covariant under redefinitions . Note that differs from ; the difference are terms of the form . From (2.6) positivity of the metric depends now on the positivity of and properties of on which we cannot make general statements.
Independently from the positivity of the above arguments allow to formulate a potential flow for a general system of functions. We obtain no constraints on terms in the functions in the form of Weyl consistency conditions as in dimensional regularization [5, 7, 6, 20, 8, 9]. The explicit construction of the above gradient flow from a given set functions with respect to an overall scale requires, however, to consider some subtleties.
Given a set of functions the first task is to find independent solutions of (1.2) for ,
[TABLE]
for nonzero constants which may all be taken as since a constant rescaling of cancels in . If the system is not degenerate there exist independent solutions for which involve arbitrary functions of expressions ; are independent solutions of the set of corresponding homogeneous () equations (2.7).
In cases where the lowest order terms of are of the form (with an integer , no sum over ) it is natural to take such that to lowest order, and to construct the higher order terms subsequently. (If the functions are known to a given order in perturbation theory it can be useful to supplement them with formally higher order terms in to find analytic expressions for satisfying (2.7). Explicit expressions for which require to integrate are actually never required.) In other cases of one has some freedom in the construction of , but such redefinitions in the space of drop out in the final quantities which depend on only.
With and its inverse at hand one can proceed with the construction of a metric . has to satisfy integrability conditions which can be derived as follows. Consider the following derivatives of the prepotential :
[TABLE]
which imply the integrability conditions
[TABLE]
In order to solve (2.9) it can be helpful to expand the derivatives such that (2.9) becomes
[TABLE]
Contracting (2.10) with leads to
[TABLE]
with
[TABLE]
In the last step we have used
[TABLE]
Given and its inverse it is straightforward to compute from the last term in (2.12).
Note that there are more integrability conditions (2.11) than those which follow from (2.5) alone and read
[TABLE]
However not all (symmetric) solutions of (2.14) guarantee that is covariant under redefinitions . On the other hand this is guaranteed by solutions of (2.11); it suffices to contract the last two terms in (2.8) with . Once a metric satisfying (2.11) has been obtained a potential can be found by integration of (2.5), and a prepotential can be found by integration of (2.8).
Again the solutions of the system of partial differential differential equations (2.11) are not unique. In the considered cases we found no obstruction for diagonal metrics , but such ansätze do not always lead to the simplest expressions for the diagonal elements of . These ambiguities are not related to redefinitions in the space of couplings since redefinitions would also affect the functions; these have been taken as fixed inputs, however. In the next Section we consider some examples.
3 Examples
First we consider a system of 3 two-loop functions for gauge couplings where fermion loops generate mixings at the two-loop level as in the Standard Model. We maintain the notation , , of the previous sections where are related to the usual gauge couplings by . The functions are written as
[TABLE]
In the Standard Model we have [25]
[TABLE]
It is fairly easy to find which satisfy (2.7) to the considered order with and to lowest order:
[TABLE]
The quantities and can now be obtained straightforwardly. The integrability conditions (2.11) admit solutions corresponding to an expansion of the metric around the unit matrix:
[TABLE]
With this metric one finds a potential of the form
[TABLE]
By construction can be derived from a prepotential as in (2.1), , with
[TABLE]
It is remarkable that the prepotential does not depend on the mixing terms in the functions.
The metric (3.4) and the potential (3.5) differ from the ones for the same system of functions in [22] where the potential consists in quartic terms in only (to two-loop order). They differ also from the metric obtained by Jack and Osborn from Weyl consistency conditions [6]. In the space of gauge couplings their metric is also diagonal, but of the form with constants to two-loop order. As a consequence consistency conditions among the two-loop terms of the functions (in dimensional regularisation and minimal subtraction) can be derived, see also [26]. We found, however, that an expansion of around cannot satisfy the integrability conditions (2.11). (We recall that the metric is not guaranteed to be symmetric to higher loop order.) Here, on the other hand, we obtain the potential from a simple prepotential.
The other example is more involved already to one-loop order. It concerns a scalar with quartic self interaction and a Yukawa coupling to a Fermion, like the Higgs-top sector of the Standard Model with a quartic Higgs coupling and a top quark Yuhawa coupling . Our notation is
[TABLE]
The general one-loop functions are
[TABLE]
where in the Standard Model
[TABLE]
The general solution of eq. (2.7) (again with ) for is of the form
[TABLE]
where is an arbitrary function of
[TABLE]
(The argument of the root is positive for as in the Standard Model.)
We have studied various ansätze for without observing substantial differences in the final results (since related by redefinitions of ); subsequently we consider the simplest possibility
[TABLE]
Among the solutions of the integrability conditions (2.11) for the metric we discuss the one which allow for expansions of the potential and the prepotential in powers of couplings (without logarithms or dilogarithms). This metric is off-diagonal and, using from (3.8), can be written as
[TABLE]
The corresponding potential is
[TABLE]
It can be derived as in (2.1) from the prepotential
[TABLE]
Note that the matching of the various coefficients in is highly nontrivial, and that the expression for is actually somewhat simpler than the one for . But both expressions for the metric and the potential differ considerably from the ones in [6] and [22].
4 Conclusions
Using the formalism of multi-scale RG equations we have shown how a potential flow for a set of couplings and corresponding functions can be constructed. Since the metric is not necessarily positive the flow is not necessarily irreversible. This cannot be expected, however, since the formalism holds equally for systems with limit cycles.
A particular feature of the present construction is that the potential derives always from a prepotential as in (1.4), related to the metric as in (2.6). Contracting (1.3) with and using (1.4) one obtains
[TABLE]
which may be helpful for the study of global features of the RG flow.
A holographic formulation of the RG flow via Hamilton-Jacobi equations for generic quantum field theories leads always to a gradient flow for functions [27]. Conversely a gradient flow for functions is a pre-requisit for a holographic formulation of the RG flow. The present approach may thus find applications in this direction, but also in contexts beyond quantum field theory.
In order to extend the range of possible applications of the present formalism it will be useful to generalise it towards non-marginal couplings such as mass terms. Then, within mass dependent subtraction schemes, the functions may depend explicitely on the scale(s) which cases require further studies.
Finally the present approach requires as many scales as couplings . If this assumption is relaxed the reversibility of the matrices of partial derivatives and/or the construction of a metric imply constraints on the functions which merit further investigations.
Acknowledgements
The author acknowledges hosiptality of the University of California Santa Cruz where this work was started, and support from the European Union’s Horizon 2020 research and innovation programmes H2020-MSCA-RISE No. 645722 (NonMinimalHiggs).
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] M. B. Einhorn and D. R. T. Jones, Nucl. Phys. B 230 (1984) 261.
- 2[2] M. Luscher, Commun. Math. Phys. 293 (2010) 899 [ar Xiv:0907.5491 [hep-lat]].
- 3[3] D. J. Wallace and R. K. P. Zia, Phys. Lett. A 48 (1974) 325.
- 4[4] D. J. Wallace and R. K. P. Zia, Annals Phys. 92 (1975) 142.
- 5[5] H. Osborn, Phys. Lett. B 222 (1989) 97.
- 6[6] I. Jack and H. Osborn, Nucl. Phys. B 343 (1990) 647.
- 7[7] H. Osborn, Nucl. Phys. B 363 (1991) 486.
- 8[8] I. Jack and H. Osborn, Nucl. Phys. B 883 (2014) 425 [ar Xiv:1312.0428 [hep-th]].
