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
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
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
- 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.
The abstract, sentence by sentence
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
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| 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 was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:hep-ph/0005183 by the authors.
References
How later papers used it
109 later papers cite it
4 later papers by other authors are listed below: 4 used its method or tool. 1 more paper by the same authors is listed: 1 used its method or tool.
Uses its method or tool 5 of 32 papers with this label · 1 by the same authors
-
Used the rules for the scheme of this paper, as collected in an appendix of another work.
Toolkit for staggered $\Delta S=2$ matrix elements (2014) · 1.00 · paraphrased: the licence does not allow quoting
-
Extended the continuum basis to d=4-2ϵ dimensions using the same definition of evanescent operators as in this paper.
Kaon BSM B-parameters using improved staggered fermions from $N_f=2+1$ unquenched QCD (2015) · 0.96 · paraphrased: the licence does not allow quoting
-
Used perturbation theory to convert the operators into the NDR schemes with the treatment of evanescent operators as in this paper.
Continuum Limit of $B_K$ from 2+1 Flavor Domain Wall QCD (2010) · 1.00 · paraphrased: the licence does not allow quoting
-
Used this paper's one-loop and two-loop RGEs for the Wilson coefficients in question.
SMEFT interpretation of $\Delta$F = 2 transitions (2022) · 1.00 · paraphrased: the licence does not allow quoting
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
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
-
For $γ^1$ in $MS$ we used Ref. [ref] and for RI-MOM we used Ref. [ref] (that paper does not give the $11$ element; for this we used the value in Ref. [ref] ).
Kaon mixing beyond the standard model with physical masses · NLO scaling · 0.98
-
The corresponding LO and NLO ADMs in QCD are given by the $=2$ result in Eq. (2.21) of Ref. [ref] [equation]
General non-leptonic $\Delta F=1$ WET at the NLO in QCD · Anomalous dimensions · 0.93
-
In performing the NLO QCD evolutions we have used the $P_a^ij()$ from [ref] , see [ref], which are based on the two-loop anomalous dimensions of operators calculated in [ref] .
SMEFT ATLAS of $\Delta F=2$ Transitions · The Issue of Evanescent Operators · 0.83
Compares with it 10 papers
-
Our one-loop results for the physical sector agree with the results in the literature [ref] , after accounting for the different normalization of the operators and the different conventions in the covariant derivative.
Electric dipole moment constraints on CP-violating heavy-quark Yukawas at next-to-leading order · One-loop anomalous dimensions · 1.00
-
The result agrees with (2.15) and (2.22) of Reference [ref] (recall again that we are using $D=4+2ϵ$ and the authors of [ref] are using $D=4-2ϵ$). * The total logarithmic term is [equation] which agrees with the known anomalous dimension.
Continuum Limit of $B_K$ from 2+1 Flavor Domain Wall QCD · The Conversion Factor · 1.00
-
On the other hand, the corresponding evanescent operators in the BMU basis [ref] are defined with the explicit choice $a_ev = b_ev = c_ev = 1$, which coincides with the so-called Greek projection method [ref] .
General non-leptonic $\Delta F=1$ WET at the NLO in QCD · Basis change JMS$→$BMU · 0.81
Cites it as background 18 papers
-
These anomalous dimensions were presented in complete form for the first time in the highly relevant paper by Buras, Misiak and Urban (BMU) in the year 2000 [ref] .
On the two-loop penguin contributions to the Anomalous Dimensions of four-quark operators · Summary · 0.83
-
The BMU basis [ref] contains several sub-sectors of operators, depending on their quark-flavour content and Lorentz structures.
General non-leptonic $\Delta F=1$ WET at the NLO in QCD · BMU basis for $= 5$ · 0.84
-
* The one-loop ADMs relevant for the RG in WET [ref] and SMEFT [ref] are also known. * The two-loop QCD ADMs relevant for RG evolutions for both $ΔF=1$ and $ΔF=2$ transitions in WET are also known [ref] .
NLO QCD Renormalization Group Evolution for Non-Leptonic $\Delta F=2$ Transitions in the SMEFT · Introduction · 0.90
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.