Pith. Sign in

REVIEW

Two-Loop QCD Anomalous Dimensions of Flavour-Changing Four-Quark Operators Within and Beyond the Standard Model

High Energy Physics - Phenomenology · Submitted 18 May 2000 · 23 references

Pith's verdict: The SLL two-loop ADMs are the real deliverable and they hold up; the penguin block needed a 2024 fix, and the section 6 cross-check is less independent than it reads.

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 · 6 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-ph/0005183 (version 2)
Pith IDIA7Z3WEU, Pith's permanent record of this paper and its review
CitationAndrzej J. Buras, Joerg Urban, Mikolaj Misiak. "Two-Loop QCD Anomalous Dimensions of Flavour-Changing Four-Quark Operators Within and Beyond the Standard Model." arXiv:hep-ph/0005183 (2000). https://pith.science/paper/IA7Z3WEU
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
The paper

The paper claims

The paper computes the full two-loop QCD anomalous dimension matrix for every flavour-changing four-quark operator of dimension six, in one fixed scheme, and uses it to explain a published disagreement.

The reading

Weak decays of strange and bottom mesons are governed by four-quark operators whose coefficients are run down from the electroweak scale by QCD. To reach the precision now demanded by K and B mixing phenomenology, that running has to be done at two loops, which means knowing the two-loop anomalous dimension matrix (the matrix that tells how each operator mixes into the others under renormalization). This paper supplies that matrix in the NDR-$overline{MS}$ scheme for all dimension-six flavour-changing four-quark operators, not just the handful that appear in the Standard Model, so that supersymmetric and other extensions can be analysed at the same accuracy. The genuinely new entries are the two-loop results for the scalar/pseudoscalar sector (the operators built from $P_L$ rather than $gamma_mu P_L$) and the penguin-induced mixing of operators that exist only beyond the Standard Model. The paper also diagnoses why an earlier published two-loop result differed: the two calculations were implicitly using different definitions of the same operators in $D neq 4$ dimensions, a difference that is invisible in four dimensions but shifts the two-loop answer. A 2024 note appended to the manuscript records that four entries of the penguin matrix were wrong in the original version and were corrected after an external check.

What carries the argument

The load-bearing device is the systematic treatment of evanescent operators. Because the Dirac algebra in $D neq 4$ dimensions does not preserve the four-dimensional Fierz identities, every Fierz rearrangement used to identify or reduce operators must be accompanied by an explicit evanescent operator that carries the difference, and that operator must be included as a counterterm. The paper writes these down for the $Delta F = 2$ case (appendix A) and the $Delta F = 1$ case (appendices B and C), and then uses the standard relation $hat{gamma}^{(1)} = 4hat{a}_{12} - 2hat{b}hat{c}$ to convert one- and two-loop counterterms into the anomalous dimension matrix, where $hat{c}$ is read off from the finite parts of one-loop matrix elements of the evanescent operators. The second device is the transformation law for the matrix under a change of scheme induced by adding evanescent operators to the physical ones, $hat{gamma}^{(1)} to hat{R}{hat{gamma}^{(1)} + [Deltahat{r}, hat{gamma}^{(0)}] + 2beta_0 Deltahat{r}}hat{R}^{-1}$, with $Deltahat{r} = -hat{W}hat{c}$. Setting $Deltahat{r} = 0$ is exactly the step that reproduces the earlier, discrepant result, which is how the paper localizes the source of the disagreement.

Extended reading notes

Core claim

The central claim is that the two-loop anomalous dimensions of the scalar/pseudoscalar ($SLL$) four-quark operators, given in eq. (2.20) for $Delta F = 2$ and eq. (3.9) for $Delta F = 1$, are correctly calculated here for the first time in the NDR-$overline{MS}$ scheme, together with the penguin mixing matrix of eqs. (4.8)-(4.9) for operators that appear only in extensions of the Standard Model. Everything else in the matrix is either reproduced from, or straightforwardly extracted from, earlier Standard Model calculations. The paper then shows that these new $Delta F = 2$ results can be re-derived from the $Delta F = 1$ results by passing to a plus/minus basis and setting the flavours equal, provided additional evanescent operators (operators that vanish in four dimensions by Fierz identities) are introduced along the way. That re-derivation is the consistency check, and it is also the tool used to explain the disagreement with the earlier literature: the earlier NDR-$overline{MS}$ numbers correspond to a different operator basis, one in which the Fierz rearrangement has been applied inside $D$ dimensions where it is not valid. The paper states that the earlier Regularization-Independent (LRI) results are reproduced exactly by transforming its own numbers with the conversion matrices listed at the end of section 5.

Load-bearing premise

The scalar/pseudoscalar results are only as good as the specific choice of Fierz-vanishing evanescent operators used to define the scheme, and the explanation of the earlier disagreement additionally rests on the other authors' account of which operator basis their code actually used, which an outside reader cannot check from the published text alone.

Editorial extensions

If this is right

  • Analyses of $K^0$-$bar{K}^0$ and $B^0$-$bar{B}^0$ mixing in supersymmetric and other beyond-Standard-Model frameworks can now be run at two-loop QCD accuracy for the full set of dimension-six four-quark operators, rather than only for the Standard Model ones.
  • The one-loop conversion matrices collected in section 5 let lattice groups translate non-perturbatively renormalized matrix elements obtained in an RI/MOM-type scheme into the $overline{MS}$ scheme for every operator in the basis, including the scalar/pseudoscalar ones.
  • The apparent discrepancy between the two published two-loop calculations is resolved without either side having made an arithmetic error: it is a basis-and-scheme mismatch traceable to the treatment of Fierz-vanishing evanescent operators.
  • The observation that the Fierz relations between the VLL, VLR and SLR sectors survive at two loops for current-current diagrams follows from the vanishing of the corresponding conversion matrix, which the paper traces to the vanishing of one-loop matrix elements of specific evanescent operators.

Reading between the lines

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

  • The 2024 correction to four entries of the penguin matrix, flagged in the manuscript itself, suggests that the penguin sector is the numerically fragile part of any such calculation; an independent third-party recomputation of eq. (4.9) would be worth more than a recomputation of the current-current entries.
  • Because the Fierz symmetries of eq. (3.10) hold for current-current diagrams but are explicitly broken by penguins, the breaking looks structural rather than accidental, tied to whether the relevant conversion matrix vanishes; that would make it a useful diagnostic for future higher-order calculations.
  • If the corrected penguin entries feed into squark-mass-insertion bounds from $K$-$bar{K}$ mixing, the shifts are likely small but systematically directional, and would be worth propagating through existing beyond-Standard-Model fits rather than treated as a negligible bookkeeping change.
  • The same evanescent-operator bookkeeping will be needed for any future three-loop extension, since the Fierz problem does not disappear at higher order and the conversion matrices given here would become the input to that calculation.
Original abstract

We calculate the two-loop QCD anomalous dimension matrix (ADM) gamma^(1)_NDR in the NDR-MSbar scheme for all the flavour-changing four-quark dimension-six operators that are relevant in both the Standard Model and its extensions. Both current-current and penguin diagrams are included. Some of our NDR-MSbar results for Delta F=1 operators overlap with the previous calculations, but several others have never been published before. In the case of Delta F=2 operators, our results are compatible with the ones obtained by Ciuchini et al. in the Regularization-Independent renormalization scheme, but differ from their NDR-MSbar results. In order to explain the difference, we calculate the ADM of Delta F=2 operators again, extracting it from the ADM of Delta F=1 operators.

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, 4,332 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.13 · states limitation 0.38 · human participants 0.01 · controlled comparison 0.08 · randomized assignment 0.01 · states quantitative result 0.07 · compares with prior results 0.98 · mentions code or data availability 0.02.

The abstract, sentence by sentence

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

We calculate the two-loop QCD anomalous dimension matrix (ADM) gamma^(1)_NDR in the NDR-MSbar scheme for all the flavour-changing four-quark dimension-six operators that are relevant in both the Standard Model and its extensions. Both current-current and penguin diagrams are included. Some of our NDR-MSbar results for Delta F=1 operators overlap with the previous calculations, but several others have never been published before. In the case of Delta F=2 operators, our results are compatible with the ones obtained by Ciuchini et al. in the Regularization-Independent renormalization scheme, but differ from their NDR-MSbar results. In order to explain the difference, we calculate the ADM of Delta F=2 operators again, extracting it from the ADM of Delta F=1 operators.

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 calculate the two-loop QCD anomalous dimension matrix (ADM) gamma^(1)_NDR in the NDR-MSbar scheme for all the flavour-changing four-quark dimension-six operators that are relevant in both the Standard Model and its extensions. contribution 1.00 0.97 0.40 asserted 1.00
s1 Both current-current and penguin diagrams are included. method 0.85 0.79 0.03 asserted 1.00
s2 Some of our NDR-MSbar results for Delta F=1 operators overlap with the previous calculations, but several others have never been published before. gap 0.50 0.89 0.10 asserted 0.99
s3 In the case of Delta F=2 operators, our results are compatible with the ones obtained by Ciuchini et al. in the Regularization-Independent renormalization scheme, but differ from their NDR-MSbar results. result 0.97 0.84 0.15 asserted 0.92
s4 In order to explain the difference, we calculate the ADM of Delta F=2 operators again, extracting it from the ADM of Delta F=1 operators. method 0.88 0.97 0.09 asserted 0.99

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 0.87.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
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. One-loop diagrams consistently at the tree level, at one loop and (later) at two loops does not alter the final results for the renormalization constants. All the one- and two-loop diagrams considered in the present article are calculated using two different methods. In both of them, a covariant gauge-fixing term Lgf = − 1 2λ (∂ µG a µ )(∂ νG a ν ) (2.17) is used, and the physical masses are set to zero. In the first method, the external quarks are assumed to have momentum ±p. In the second method, the external momenta are set to zero, but a common mass parameter is introduced in…

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

References
How later papers used it

109 later papers cite it

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

Pith read 21 of the 296 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 5 of 32 papers with this label · 1 by the same authors

By the same authors

  • Treated evanescent operators appearing in the one-loop matching in the same manner as done in this paper.

    SMEFT ATLAS of $\Delta F=2$ Transitions (2020) (same authors) · 0.85 · paraphrased: the licence does not allow quoting

How the literature uses it

109 arXiv papers cite this in 299 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 · 196 sentences without a confident label

Contests it 1 paper
  • However, in the Bern basis, the one-loop corrections to the current-current diagrams generate Dirac structures that cannot be reduced to physical and evanescent operators with the operators given in Ref. [ref] .

    Towards a Global Analysis of the $b\to c\bar{u} q$ Puzzle · Evanescent operators · contest 0.73

Builds on it 4 papers
  • The purpose of this section is twofold: First, we present the transformation of the results of Ref. [ref] to the $(Q_1^SLL,Q_1^SLL)$ basis and the scheme corresponding to the evanescent operators of Eq. ([ref]), for which lattice groups quote their results.

    The supersymmetric Higgs sector and B-Bbar mixing for large tan beta · Renormalization group and bag parameters · 0.82

  • In our paper [ref] we have therefore generalized our analysis of two-loop anomalous dimensions to the full set of $ΔF=1$ four-quark operators.

    Climbing NLO and NNLO Summits of Weak Decays: 1988-2023 · $ΔF=1$ Non-leptonic Penguin Operators · 0.83

  • In the CBSM scenario, with our choice of operator basis and renormalization, including in particular anticommuting $γ_5$, the vectors $y⃗$, $z⃗$ and $C⃗_Ap$ read [equation] extending the SM case [ref] .

    Charming New $B$-Physics · Renormalization-group evolution · 1.00

Uses its method or tool 34 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

  • The back-rotation [ref] is taken into account automatically at $$ when using wilson. * In the next step the complete LO [ref] and NLO QCD [ref] running of the LEFT Wilson coefficients down to lower scales $$ is taken into account following sec:LEFT-master. * Finally, at the low scale $$ the LEFT Wilson coefficients are combined with the hadronic matrix elements given in tab:DF2-me-input to calculate $[M_12^ij ]_BSM$.

    SMEFT ATLAS of $\Delta F=2$ Transitions · Derivation of the SMEFT Master Formula · 0.95

  • The Wilson coefficients are evolved to the low scale $μ_low$ by solving their renormalization group equations [ref] .

    A Supersymmetric Flavor Clockwork · Constraints from Meson Mixing · 0.98

Uses its data or values 9 papers
Compares with it 10 papers
Cites it as background 18 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.