Renormalization group functions of \phi^{4} theory in the \mathrm{MS}-scheme to six loops

Renormalization group functions of theory in the -scheme to six loops

M. V. Kompaniets
St. Petersburg State University
7/9 Universitetskaya nab., St. Petersburg 199034, Russia
E-mail: m.kompaniets@spbu.ru
   E. Panzer 
All Souls College, University of Oxford, OX1 4AL Oxford, UK
E-mail: erik.panzer@all-souls.ox.ac.uk
Speaker.
Abstract

Subdivergences constitute a major obstacle to the evaluation of Feynman integrals and an expression in terms of finite quantities can be a considerable advantage for both analytic and numeric calculations. We report on our implementation of the suggestion by F. Brown and D. Kreimer, who proposed to use a modified BPHZ scheme where all counterterms are single-scale integrals. Paired with parametric integration via hyperlogarithms, this method is particularly well suited for the computation of renormalization group functions and easily automated. As an application of this approach we compute the 6-loop beta function and anomalous dimensions of the model.

Renormalization group functions of theory in the -scheme to six loops

 

E. Panzerthanks: Speaker.

All Souls College, University of Oxford, OX1 4AL Oxford, UK

E-mail: erik.panzer@all-souls.ox.ac.uk

\abstract@cs

Loops and Legs in Quantum Field Theory 24–29 April 2016 Leipzig, Germany

1 Introduction

A scalar field with quartic self-interaction is one of the simplest models in quantum field theory. With the discovery of the Higgs boson, it is now part of the standard model of elementary particles. However, it also appears elsewhere and in particular its application as a mean-field approximation to statistical systems is one way to study phase transitions [62, 69, 40]. Critical exponents can be inferred from the renormalization group functions. Therefore, perturbative calculations in theory have a long history and they reached a high loop order.

The 5-loop field anomalous dimension and beta function were announced already in [28] and [24, 37]. It took ten years until a different group reproduced this calculation and revealed some inaccuracies in [24]; corrected results were published in [38]. A complete numeric check of all these analytic results was completed only much later in [1]. Very recently, the first 6-loop result for the field anomalous dimension was published [7].

In this note we present the remaining renormalization group functions of theory at -loop order, for the minimal subtraction (MS) scheme in dimensional regularization. The results for the -symmetric model and the corresponding critical exponents will be published elsewhere. Instead, we focus here on the technical aspects and the novel tools used in our calculation. Note that a completely independent calculation of the -loop beta function with a very different method has recently been finished by Oliver Schnetz [57] and confirmed our result.

We start with the well-known representation of -factors in terms of massless propagators (also known as -integrals). The challenge is then to compute the -expansions of such integrals and we refer to [62, 69, 40] for a comprehensive discussion of traditional techniques. The general philosophy has hitherto been to exploit various relations, in particular the infrared -operation [31, 29, 23, 25], to relate the counterterms to simpler integrals. Recently, the cumbersome -operation was automated in [6]. Augmented with the results [2, 59, 42] for -loop -integrals and integration by parts (IBP) [30, 63], this traditional approach was used for the -loop calculation of the field anomalous dimension [7]. This already required additional tricks for two propagators (see section 5 in [7]), but the situation is much more severe for the -point diagrams contributing to the -loop beta function: the method fails for graphs. Of these, are primitive and have been known for long [19, 55], but the remaining graphs contain subdivergences and require new techniques. Initially we calculated these diagrams via parametric integration [20, 49] and a new subtraction method for subdivergences (different to the one we elaborate on here), which we will discuss elsewhere.

Instead, in this paper we present a simple new approach based on parametric integration using hyperlogarithms [20, 21, 47] which allows us to compute the counterterms of all -loop - and -point graphs analytically, with the sole exception of a single graph which is, however, well-known [54, 56, 19]. We use the Maple implementation HyperInt [49] of this method, which was presented at the preceding conference [48].111Maple is a trademark of Waterloo Maple Inc. Our new ingredient is an efficient and general procedure to generate convergent integrands for integrals which initially have subdivergences. This is achieved with a BPHZ-like renormalization scheme with one-scale counterterms introduced in [22].

A great advantage of this approach is that it is easily automatized and applicable to all integrals, contrary to the multitude of tricks and tools for special classes of diagrams combined in the traditional calculations. This simplifies the computation, reduces the possibilities for errors in the programs and ensures the reproducibility of our results.222The publication of the Maple and Python programs used for our calculations is under preparation. Also our calculation provides a confirmation of the -loop results [38] and the -loop field anomalous dimension [7] with very different methods.

2 Field theory and renormalization

The renormalized Lagrangian of the scalar model in Euclidean dimensions is

(2.0)

with an arbitrary mass scale . The -factors relate the renormalized field , mass and coupling to the bare field , bare mass and bare coupling via

(2.0)

In dimensional regularization [61] and minimal subtraction, the -factors depend only on and as

(2.0)

and determine the renormalization group functions [60, 32]. We are interested in the beta function

(2.0)

and the anomalous dimensions for the field and mass, defined by

(2.0)

3 Counterterms from massless propagators

The -factors (2) arise as the counterterms for the one-particle irreducible correlation functions of and fields. In terms of the Bogoliubov-Parasiuk -operation [14, 15], which subtracts UV subdivergences from Feynman integrals, the -factors can be expressed as

(3.0)

The operator is the minimal subtraction scheme (), meaning the projection

(3.0)

onto the pole part with respect to the dimensional regulator and it ensures the form (2) of the -factors. Recall that these depend only on and , which allows us to simplify the calculation tremendously [62, 69, 40]:

  • The action of turns a propagator diagram into a sum of diagrams with a squared propagator,

    which may be interpreted as a -point graph with two additional, vanishing external momenta entering at a common vertex. This means that can be expressed in terms of contributions to of a subset of the -point diagrams with modified symmetry factors.

  • We can set all internal masses to zero in the -point diagrams for the computation of , such that is given by -integrals.

  • Also in we may set all internal masses to zero. Furthermore, we may set external momenta to zero until only a propagator (-integral) with two external legs remains. This is called infrared rearrangement (IRR) [65, 26], see figure 1.333One may also introduce new (auxiliary) external momenta and it is possible to apply IRR to 2-point diagrams themselves, see the discussion in [7]. However, we did not use any of these extensions in our calculation.

These standard techniques express all -factors in terms of -integrals without non-physical infrared divergences. In the next section, we will explain how these integrals can be computed by parametric integration, at least to the sixth loop order.

As mentioned in the introduction, we will dispose of and IBP completely.

4 Parametric integration

Of the many recent advances made in the evaluation of Feynman integrals, parametric integration is one of the most powerful methods for -integrals; surpassed only by the position-space approach of graphical functions [56] and the combination [33] of both techniques used in [50, 57].

The starting point is the representation of a Feynman integral associated to a Feynman graph in terms of variables associated to each edge of (these are called Schwinger-, Feynman- or -parameters). Let us write for the number of loops of and

(4.0)

for the superficial degree of convergence of given by power counting. The variables encode the exponents to which the momentum space propagators are raised. Choose an arbitrary edge .444The value of the Feynman integral in (4.0) does not depend on the choice of . It can be interpreted as a projective integral and we can actually replace by with an arbitrary function that is homogeneous of degree one and positive when all . Then the parametric representation for is

(4.0)

in terms of the Symanzik polynomials and [45, 44]. These can be expressed as

(4.0)

in terms of spanning trees and cuts which separate into 2 components; is the momentum flowing through the cut edges [13]. In our case, all masses are zero and only a single external momentum is flowing through the graph (it has just external legs), such that (and ) are linear in all edge variables . For example, the graph

(4.0)

Note that the momentum dependence factors out of the integral by simple power counting:

(4.0)

It was noted in [20] that for many massless propagators, the integrals over in (4.0) can be performed one after the other in terms of multiple polylogarithms if one chooses a good order for these integrations. Graphs which admit such a good order are called linearly reducible and can be computed, order by order in , with the algorithm described in [20, 21, 11] and implemented in [10, 49, 47]. In [46] it was found that all massless propagators with loops are indeed linearly reducible, and the same method was even applied to some -loop -integrals [48, 47].

The remaining challenge to the straightforward application of parametric integration in the linearly reducible case is the presence of subdivergences. Note that the -expansion needs to be performed on the integrand in (4.0). Subdivergences imply that the resulting integrals are divergent and not defined. Therefore we must find integrands which are free of subdivergences.

Sector decomposition [9, 12] is the standard approach to solve this problem and by now very well established and powerful [16, 58]. However, it is best suited for numerical calculations; the huge number of sectors that are generated makes it very inefficient for the high loop orders under consideration here, and also it introduces changes of variables which make the analytic integration of each sector much more complicated.

These problems can in principle be avoided with the help of IBP relations, because it is always possible to write a Feynman integral in terms of master integrals without subdivergences [66]. Unfortunately, such IBP reductions are too complicated in our case. Only at this conference, their solution at -loops was achieved [52] and highlighted by the impressive computation [3] of the -loop QCD -function (25 years after the -result). An extension of IBP to the next loop order seems out of reach with current technologies and some new ideas like [67] are being investigated.

Luckily, it is possible to avoid IBP altogether by the method explained below. Note that this is feasible only because there are only very few graphs in theory (just graphs need to be computed for at six loops). In contrast, scalar theory (in six dimensions) has many more diagrams and was therefore evaluated at mere loops only very recently [35, 51].

5 Subdivergences and one-scale renormalization scheme

The -operation subtracts all UV-subdivergences of a given Feynman integral and a final overall subtraction renders the integral itself finite [36]. The famous forest formula [68]

(5.0)

expresses the renormalized integral explicitly as a sum over all forests (sets of proper subdivergences which are nested or disjoint).555Remarkably, this is essentially just a formula for the antipode in the Hopf algebra of Feynman graphs [41]. The operator determines the renormalization scheme and is given by (3) for . While (5.0) guarantees that all poles in cancel in the sum of the regularized integrals, we do not obtain subdivergence-free integrands this way. The reason is that prior to the integration of the -parameters in (4.0), there are no poles in and so we clearly cannot commute the subtraction with the integration . Put differently, by definition of the -scheme, its counterterms depend on the regularization.

This is not the case for schemes like the original BPHZ where the counterterms are defined by expansion, in the masses and momenta, around a fixed set of values (the renormalization point). It is well-known that in this case one may perform the subtractions under the integral sign; these subtracted integrands give convergent integrals even in dimensions ().

Such schemes are therefore ideal for parametric integration and were studied in this context in detail in [22]. In particular, the authors suggested a scheme where all counterterms are one-scale—in other words, -integrals. For logarithmically divergent graphs they set

(5.0)

Figure 1: A graph and its infrared-safe rearrangements. The rearrangement on the right is not infrared-safe.

where is any infrared-safe rearrangement of with only two external legs. We already mentioned this method in section 3 as the crucial simplification in the computation of : There is always at least one way to nullify external momenta to obtain a -integral without introducing infrared divergences, see figure 1. Crucially, the subtractions (5.0) for may be performed under the integral sign. We can thus safely expand the subtracted integrand in and integrate each term individually as described in section 4 to obtain the renormalized Feynman integral in this scheme. It depends on and vanishes at by construction. With (4.0), we find

and solve for the unrenormalized Feynman integral in dimensional regularization:

(5.0)

Note how this formula expresses any given -integral (at ) in terms of

  • an integral without subdivergences (directly integrable in -parameters) and

  • products of lower-loop -integrals which can be computed recursively with the same method.

An example for the -operation in this scheme is

(5.0)

where the terms in the last line come from the forests and . Note that because differ only by a constant. So we can apply to the left hand side and compute this integral parametrically to the desired order in , and then use (5.0) to express the unrenormalized in terms of this quantity and the products of one- and two-loop integrals on the right hand side of (5.0). In section 6.2 we discuss a simpler example.

For the overall quadratically divergent 2-point integrals contributing to , the overall subtraction (5.0) becomes . We just take one additional derivative with respect to and compute in this case, replacing all in (5.0) by and similarly for . Note that we can always factor off quadratic subdivergences, see section 6.1. Hence our above discussion of the simple subtractions for logarithmic subdivergences (together with at most one additional overall derivative) is sufficient for our calculation. In principle though, the method can also be applied more generally [22].

6 Remarks on the calculation

As was mentioned in the introduction, we wrote computer programs to fully automate the entire calculation. The main program is written in Python using the GraphState/Graphine library, which provide a very convenient way to manipulate Feynman graphs [4, 6]. It generates the graphs, computes their symmetry factors and combines them into the counterterms (3) to calculate the anomalous dimensions and the beta function via (2) and (2). In order to evaluate the corresponding integrals , the Python program computes the forest formula (5.0) and chooses one-scale structures for each graph, implementing the scheme (5.0).

The resulting expressions of as linear combinations of products of integrals are passed on to a Maple script. It computes the parametric representation according to section 6.2, performs the -expansion and calls HyperInt [49] to perform the integration of . This is the most time-consuming step. Finally, the Python program reconstructs the value of the unsubtracted -integral according to (5.0).

A detailed discussion and publication of these programs is under preparation.

6.1 Factorization

Due to the trivial momentum dependence (4.0) of -integrals, every -point subgraph can be integrated out separately if one replaces it with a propagator of index . For example,

Therefore, we only need to compute -integrals for -connected graphs (graphs which do not have any -integral as a subgraph). In particular this means that all quadratic propagator subdivergences factor out and we only have to deal with logarithmic subdivergences, where the simple subtractions (5.0) suffice.

Note that this factorization procedure introduces -dependent propagator exponents . With traditional methods it was very difficult to compute such integrals. For parametric integration, the effect of such exponents is just that the -expansion of the integrand in (4.0) also includes logarithms of individual Schwinger parameters, in addition to and . This causes no problem for the integration algorithms. For example, comprehensive results for arbitrary in the case of -loop -integrals were computed this way in [46].

6.2 Parametric representation for products

The forest formula (5.0) for contains products of Feynman integrals. Note that the graph polynomials as defined in (4.0) vanish for products (disjoint unions) of graphs. Instead, for the parametric integral representation for a product one has to set [22]

(6.0)

In order to ensure the cancellation of all subdivergences in the parametric integral representation for , it is crucial that one tracks correctly the individual edges of the sub- and quotient graphs in (5.0). This is illustrated in the following example of a single logarithmic UV-subdivergence from (4.0), where we explicitly show the edge labels:

(6.0)

The graph polynomials (4.0) for the graph were given in (4.0) and the prescription (6.0) for the product of the subgraph at and the quotient yields

(6.0)

The parametric representation (4.0) for in this case is

(6.0)

which is finite at and may be integrated order by order in . Many more examples are discussed in [22].

6.3 Simplification at leading order

For the leading order in , we evaluate the parametric integrand in (4.0) at . If a graph is logarithmically divergent, that is , this means that drops out completely and only the polynomial plays a role for the integration. It determines the pole in coming from the -prefactor; higher orders in are not needed for the determination of the -factors. This simplifies the parametric integration considerably. Since is linear in all , the first integration is elementary and the result can be interpreted as the -integral (with the external momenta entering at the vertices that were incident to ) [46, 20].666These relations between different -integrals and vacuum integrals are also known as cut-and-glue [2].

All -point -loop graphs contributing to are therefore effectively expressed in terms of -loop -integrals. In the traditional approach, this simplification is achieved with the -operation [31, 29, 23, 25].

6.4 Linear reducibility

Not all -loop -integrals are linearly reducible, but as explained we are essentially only computing -loop -integrals. It turns out that indeed all integrals needed for the -loop calculation of the -factors are linearly reducible, with just a single exception. This is the primitive graph

(6.0)

in the notation of [55]. It has been known numerically since [17] and in [19] it was identified in terms of Riemann zeta values and the double zeta value

(6.0)

It is conjectured that cannot be expressed as a rational linear combination of products of Riemann zeta values. An analytic calculation confirming the result (6.0) was first provided in [54] and recently with the beautifully elegant method of graphical functions [56]. While is not linearly reducible in the strict sense and thus not computable with HyperInt, this is in fact only a limitation of this implementation which could be lifted: It is known how can be integrated parametrically by splitting the integrand as described in [20].

7 Results and checks

The beta function of -theory in the scheme in dimensions to order is

(7.0)

For the anomalous dimension of the mass to order we find

(7.0)

Let us summarize various checks of our result. First note that we computed the renormalization group functions for the -symmetric model with their full -dependence (shown above for ). Our result agrees with the known -loop results [28, 24, 37, 38] and the 6-loop field anomalous dimension [7]. It also confirms the leading and subleading terms in the large expansion of the -loop beta function obtained almost 20 years ago by John Gracey in [34].

Additional checks were provided by Dmitrii Batkovich, who calculated out of the six-loop -counterterms using the traditional approach, which combines IBP for four-loop massless propagators (known from [2, 59, 42]) and IRR with to compute the diagrams [5]. The most complicated diagrams (that could not be checked this way) were additionally computed numerically with sector decomposition [9], using a custom-made program by the first author, to at least 3 significant digits.

Also note that in our first calculation, we resolved subdivergences in a different way than presented in section 5, namely by constructing primitive (i.e. subdivergence-free) linear combinations of graphs like in [46, 47]. This technique will be explained in detail elsewhere. The results obtained by both methods agree.

Probably the strongest check comes from the completely independent computation of the -loop renormalization group functions of theory () by Oliver Schnetz [57]. His computation is very different both conceptually and technically; being carried out in position space with graphical functions [56] and exploiting the powerful theory of generalized single-valued hyperlogarithms [53].

8 Outlook

While the primitive -loop graphs had been computed already thirty years ago [17], subdivergences have hitherto been the obstacle for calculations in theory. In this article, we showed how recently developed techniques (parametric integration and the one-scale BPHZ scheme) can overcome the limitations of traditional methods. This approach can principle also be used at loops, but the calculation using graphical functions promises to be much more efficient and is already underway [57]. The contributions from -loop graphs without subdivergences (these are expected to give the most complicated transcendental numbers) have been completed already [50].

An obvious question is to which extent the techniques presented here are will be of use in other theories, like in six dimensions (only known to four loops [35]) and gauge theories like QCD (known to five loops [3]). One problem is the much higher number of graphs at a given loop order. A further complication might arise from the integrals themselves, because cubic graphs have more edges per loop order than graphs of . This means that the integrations will be more demanding.

We also hope that graph-theoretic methods of desingularization, for example the BPHZ-derived approach we described here, might be useful in more general situations when the method [66] via IBP is not an option.

Acknowledgments

Both authors wish to express their admiration and sincere thanks towards Kostja Chetyrkin. Apart from his numerous impressive achievements, he is a very helpful and open researcher who shares his knowledge, expertise and experience. He kindly invited the second author to KIT in 2014 where he introduced him to the first author and encouraged us to undertake the -loop calculation.

We are deeply indebted to Oliver Schnetz for providing us with the result of his own, independent computation in February of this year. At that time, the method presented here was not yet implemented and hence we had computed the majority of diagrams only via the traditional IBP/IRR/-method (back then, we used parametric integration only for the most complicated diagrams). We were thus anxious to find a second method to evaluate the diagrams to exclude the possibility of errors. The comparison with Oliver’s result convinced us of the correctness, since the only discrepancy was localized in the coefficient of and could be tracked down to a copy error when we transferred the results for the primitive graphs from [55] into our program.777 Since then we implemented the new method described in this article and recomputed all integrals this way, finding perfect agreement. This highly automated program computes all integrals from scratch, with the sole exception of (6.0).

Very valuable checks of plenty of -loop integrals via the IBP/IRR/-method where provided by Dmitrii Batkovich [5].

Also we thank John Gracey for providing us with his results [34] on the large expansion. This check was performed during this conference, and we like to thank the organizers of Loops & Legs 2016 for the chance to present our result and bringing together so many exceptional scientists in this forum. The participants made it a very stimulating event, fostering scientific exchange.

David Broadhurst provided us with a copy of [18], in which he computes the -renormalized -loop propagator of -symmetric theory with ingenuity and extreme economy. It provided additional strong checks of our result, since it amounts to an evaluation of the finite parts of -loop propagator diagrams, which in turn give a subset of the counterterms at loops.

Most figures in this article were created with JaxoDraw [8] and Axodraw [64].

References

Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
334879
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description