Pith. Sign in

REVIEW

Beta functions and anomalous dimensions up to three loops

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Konstantin Chetyrkin, Mikolaj Misiak, Manfred Muenz

High Energy Physics - Phenomenology · Submitted 8 Nov 1997 · 24 references

Pith's verdict: A solid, still-useful tool paper: the three-loop tadpole formulae in eqn (36) are the deliverable and they hold up, with the only real gap being the absence of an independent in-text check of the general case.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 8 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-ph/9711266 (version 1)
Pith IDSFXL6YVH, Pith's permanent record of this paper and its review
CitationKonstantin Chetyrkin, Manfred Muenz, Mikolaj Misiak. "Beta functions and anomalous dimensions up to three loops." arXiv:hep-ph/9711266 (1997). https://pith.science/paper/SFXL6YVH
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The paper derives an algorithm that reduces the ultraviolet divergences of any local quantum field theory with canonical kinetic terms to sums of completely massive tadpole integrals, and supplies explicit formulas for every scalar integral

The reading

Beta functions and anomalous dimensions are the quantities that tell you how a quantum field theory's couplings and operators change with the energy scale at which you probe them, and getting them right at three loops is what modern precision phenomenology demands. The obstacle is that the standard trick for isolating ultraviolet divergences — expand in external momenta and masses before integrating — creates fake infrared divergences that have to be regulated away, and doing so by hand is the hard part of every such calculation. The paper's proposal is to put one and the same artificial mass $m$ into every propagator denominator in every diagram, which by construction blocks any infrared singularity, and then to show that the leftover integrals are all massive tadpoles with no external momenta at all. The technical payload is a closed set of formulas, culminating in eqn (36), that gives the pole parts of all the nontrivial three-loop scalar integrals in terms of a large-momentum expansion of their two-loop subintegrals. If the construction holds, three-loop renormalization constants in any theory with standard kinetic terms become a mechanical computer-algebra exercise rather than a bespoke ordeal.

What carries the argument

The load-bearing device is the propagator decomposition of eqn (1) and eqn (2): each propagator is split into terms whose denominators involve only the loop momentum and the common mass $m$, ordered so that successive terms lower the overall degree of divergence by one unit. Because each term separately obeys the criteria used in Weinberg's theorem, the degree-of-divergence bookkeeping survives term by term, and the final remainder can be discarded once the theory's operator dimension is bounded. The second device is the evaluation of the surviving three-loop tadpoles: a two-loop subintegral is isolated, its behaviour at large external momentum $q^2$ is expanded as a sum of powers $(m^2/q^2)^r$ and $(m^2/q^2)^{r+epsilon}$ with coefficients $a$ and $b$ (appendix C), and the $q^2$ integration then converts that expansion into the pole part. Where the subintegral is itself divergent, its pole is split off and handled with lower-loop integrals, and where negative indices produce tensor numerators, symmetric traceless tensors are traded for scalar integrals in $4+2n-2epsilon$ dimensions via the relation of appendix D.

Extended reading notes

Core claim

The central claim is that the ultraviolet counterterms of a general local field theory, through three loops, can be computed from a single-parameter family of massive tadpole integrals, and that those integrals are all explicitly known. The route is an exact rewriting of each propagator, $1/[(q+p)^2-M^2]$, as a sum of simple terms depending only on the loop momentum and $m$, plus a remainder whose contribution to the degree of divergence is arbitrarily negative and which can therefore be dropped without touching the pole part of the Green's function after subdivergences are subtracted. Because every denominator carries the same $m$, no spurious infrared divergence can appear, and after expanding in the physical masses and external momenta only vacuum integrals with a common mass survive. The paper then evaluates them: the one-loop integral exactly, the two-loop integrals by an integration-by-parts recursion plus the constant $I^{(2)}_{111}$ involving $S_2 = -4/(9sqrt 3) int_0^{pi/3} dx ln(2 sin(x/2)) approx 0.2604341$, and the three-loop integrals by expanding a two-loop subdiagram at large external momentum. Among integrals with six positive indices only $I^{(3)}_{111111}$ is ultraviolet divergent, and it evaluates to $2zeta(3)/epsilon$ plus finite terms. The general result, eqn (36), covers the cases with vanishing and with negative indices and reduces the whole three-loop problem to the expansion coefficients $A$ and $B$ listed in appendix C.

Load-bearing premise

The master formula (36) is free of spurious $1/epsilon$ poles only if the large-momentum expansion coefficients satisfy $a^{mathrm{ren}}(k_1,k_2,r)+b(k_1,k_2,r)=O(1)$ for every index triple, a cancellation the paper says 'requires a short calculation' but does not display.

Editorial extensions

If this is right

  • Any three-loop renormalization constant in a theory with canonical kinetic terms can be obtained by expanding propagators, reducing tensor integrals to scalars, and evaluating massive tadpoles, with no diagram-by-diagram infrared subtraction required.
  • The explicit three-loop scalar-integral formulas make the calculation programmable: the paper reports a Mathematica implementation performing the tensor reduction up to three loops for an arbitrary number of free Lorentz indices.
  • Because the artificial mass can be kept arbitrary throughout, the $m^2$-dependent pieces need not be computed at all; they are absorbed into a small number of local counterterms, such as the gluon-mass-like term of eqn (3) with coefficient $Z_x = -g^2/(16pi^2 epsilon)(N+2f)$ at one loop.
  • The paper supplies general relations, eqns (40) and (45), between renormalization constants and the beta function or anomalous-dimension matrix that remain valid when the finite parts of the constants are kept, which matters for effective theories where evanescent operators appear.
  • The authors note the method should extend to four loops, where the analogous task becomes expanding a three-loop propagator-type integral at large momentum, for which computer-algebra tools already exist.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The real economy of the scheme is that it converts a problem in diagram topology into a problem in series expansion: once the coefficients $A$ and $B$ of appendix C are tabulated, adding a new theory costs only the propagator expansion, not new integral technology.
  • The exclusion of theories with non-canonical kinetic terms, named in the text for the heavy quark effective theory, marks the natural boundary of the method; any extension would need a decomposition adapted to the different denominator structure rather than a new integral formula.
  • Because the artificial mass is unphysical, its independence of the final pole terms is a free consistency check, and the paper itself suggests keeping the cutoff $Lambda$ arbitrary to test the appendix C expressions against misprints.
  • The same tadpole machinery plausibly transfers to any setting where three-loop operator mixing must be tracked, so the practical bottleneck shifts from integration to the combinatorics of enumerating diagrams and their symmetry factors.
Original abstract

We derive an algorithm for automatic calculation of perturbative $\beta$-functions and anomalous dimensions in any local quantum field theory with canonical kinetic terms. The infrared rearrangement is performed by introducing a common mass parameter in all the propagator denominators. We provide a set of explicit formulae for all the necessary scalar integrals up to three loops.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 2,885 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.25 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.10 · compares with prior results 0.05 · mentions code or data availability 0.04.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

We derive an algorithm for automatic calculation of perturbative $\beta$-functions and anomalous dimensions in any local quantum field theory with canonical kinetic terms. The infrared rearrangement is performed by introducing a common mass parameter in all the propagator denominators. We provide a set of explicit formulae for all the necessary scalar integrals up to three loops.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 We derive an algorithm for automatic calculation of perturbative $\beta$-functions and anomalous dimensions in any local quantum field theory with canonical kinetic terms. contribution 0.98 0.96 0.60 asserted 1.00
s1 The infrared rearrangement is performed by introducing a common mass parameter in all the propagator denominators. method 1.00 0.69 0.05 asserted 1.00
s2 We provide a set of explicit formulae for all the necessary scalar integrals up to three loops. contribution 0.89 0.94 0.21 asserted 1.00

What kind of paper the classifier reports this is: method or tool 0.99 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. Graphical representation of the integrals given i
Figure 2. Graphical representation of the integral
Figure 3. Graphical representation of the integral
Figure 4. Graphical representation of the three-loop integ

Figures reproduced from arXiv:hep-ph/9711266 by the authors.

References
How later papers used it

76 later papers cite it

Evidence: substantial. 73 of the citing papers share no author with it, and 52 of those carry a confident label from Pith's citation classifier.

Pith read 17 of the 126 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 8 of 52 papers with this label
How the literature uses it

73 arXiv papers cite this in 119 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 44 sentences without a confident label

Uses its method or tool 50 papers
  • Using two independent private implementations of the algorithmic procedure to extract UV poles as detailed in [ref] and the classification of relevant current-current Feynman diagrams in [ref] , all one-loop and two-loop divergences are computed for the general operator in <ref>.

    Universal Two-Loop Current--Current Renormalization of Four-Fermion Operators · Methodology · 1.00

  • Our calculation employs the 1PI (off-shell) formalism and the method of [ref] for computing UV divergences, which involves an infrared-regulator mass and the appearance of a set of gauge-non-invariant counterterms.

    Charming new physics in rare B-decays and mixing? · High-scale scenario and RGE · 1.00

  • We apply tensor and integration by parts reduction techniques [ref] and the program [ref] is utilised to reduce all remaining three-loop scalar vacuum integrals to a set of masters [ref] .

    Asymptotic Safety Guaranteed at Four Loop · Computational Strategy · 1.00

Uses its data or values 1 paper
  • For the standard model counterterms, one finds in general $ξ$-gauge ($N_c =3$) [ref] [equation] and for the physical-physical operators, ordered as $(S_51,S_15,V_51,V_15,T_51,T_15,O_3)$ [equation] For the physical to evanescent mixing with evanescent ordering as $E_i = (E_S_51, E_S_15, E_V_51, E_V_15)$ [equation] where the evanescent operators are defined as [equation]

    Renormalization scheme factorization of one-loop Fierz identities · Renormalization · 0.88

Cites it as background 2 papers

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.