On the two-loop penguin contributions
to the Anomalous Dimensions
of four-quark operators
Pol Morell and Javier Virto
Departament de Física Quàntica i Astrofísica, Universitat de Barcelona,
Martí i Franquès 1, E08028 Barcelona, Catalonia
Institut de Ciències del Cosmos (ICCUB), Universitat de Barcelona,
Martí i Franquès 1, E08028 Barcelona, Catalonia
Abstract
We revisit the Next-to-Leading Order (two-loop) contributions to the Anomalous Dimensions of four-quark operators in QCD. We devise a test for anomalous dimensions, that we regard as of general interest, and by means of which we detect a problem in the results available in the literature. Deconstructing the steps leading to the available result, we identify the source of the problem, which is related to the operator known as . We show how to fix the problem and provide the corrected anomalous dimensions. With the insight of our findings, we propose an alternative approach to the one used in the literature which does not suffer from the identified disease, and which confirms our corrected results. We assess the numerical impact of our corrections, which happens to be in the ballpark of in certain entries of the evolution matrix. Our results are important for the correct resummation of Next-to-Leading Logarithms in analyses of physics beyond the Standard Model in processes, such as the decays of Kaons and -mesons.
Contents
- 1 Introduction
- 2 Renormalization of the Effective Theory
- 3 The Problem: a flavor symmetry
- 4 The Diagnosis: a naive treatment of
- 5 The Solution
- 6 A Proposal: Crossed/Singlet symmetrization
- 7 Numerical impact of the correction
- 8 Summary
- A BMU Operator Basis
- B Evanescent Operator Basis
- C Full Anomalous Dimension Matrix to NLO in QCD
1 Introduction
Particle-physics processes at energies significantly lower than the Electroweak (EW) scale –such as weak decays of hadrons– are described by an Effective Field Theory (EFT) where EW-scale Standard Model (SM) particles as well as potential heavy Beyond-the-SM (BSM) fields are integrated out. The EFT description is very convenient in order to resum large logarithms that arise from the large hierarchy between the EW scale and the energy of the process (e.g. for a decay). Such logarithms can spoil the convergence of perturbation theory, particularly in QCD at energies below , where the strong coupling is not small. The resummation of these logarithms is done by solving the Renormalization Group Equations (RGEs), in terms of the Anomalous Dimensions of the effective operators [1, 2]. Over the last three decades, significant efforts have been devoted to the calculation of EFT anomalous dimensions at two, three and even four loops in QCD.
Two-loop anomalous dimensions for four-quark operators of the type were first calculated by Buras, Jamin, Lautenbacher and Weisz (BJLW) in the 1990’s [3, 4]. The calculation focused exclusively on the SM operator basis, and was performed both in the Naive Dimensional Regularization (NDR) and t’Hooft-Veltman (HV) schemes. In order to avoid the usual problems involving traces with in the NDR scheme, BJLW devised a method (hereon the “BJLW method”) that only requires the calculation of penguin diagrams without closed fermion loops, where no ambiguous Dirac traces appear. The full set of anomalous dimensions can then be reconstructed from this reduced subset of diagrams. This calculation was checked and confirmed in several subsequent papers using different operator bases and approaches [6, 7, 8, 5, 9], some of them addressing the issues with by using the well-known CMM scheme [10], where Dirac traces in the NDR scheme never contain a . The results thus obtained can be compared to one another by performing a change of basis properly at next-to-leading order (NLO), accounting for the appropriate scheme dependence, including evanescent terms.
In the seminal paper by Buras, Misiak and Urban (BMU) [11], this set of anomalous dimensions was extended to the full basis Beyond the Standard Model (BSM). This basis includes three additional operators that complete the set involving penguin diagrams 111 Following Ref. [11] we will focus on the case of transitions, as a proxy to all other sectors. :
(1) | |||||
(2) | |||||
(3) |
as well as the three corresponding operators with opposite chirality. The penguin contributions to the anomalous dimensions of these operators were obtained by BMU from the SM subset computed by BJLW, in a procedure analogous to the BJLW method. In this way, BMU provided the complete NLO (two-loop) QCD Anomalous Dimension Matrix (ADM) in the general BSM case. These results, to the best of our knowledge, have never been confirmed independently.
However, as we shall discuss in the following, there is a class of tests that can be carried out in any ADM calculation, based on the fact that anomalous dimensions satisfy a specific form of flavor symmetry. In the case at hand, this flavor symmetry ensures that under a transformation changing quark flavors , the ADM must remain the same,
(4) |
where BMU’ is an operator basis obtained from the operator basis in BMU by performing the field replacements everywhere. This condition is non-trivial, and obtaining from requires a complete knowledge of the renormalization scheme in which is given. The ADM for the SM sector given in BJLW satisfies this condition exactly, but the ADM including BSM operators in BMU, assuming our interpretation of the scheme used therein, explicitly violates Eq. (4).
The purpose of this paper is to raise, clarify, and resolve this issue, and to provide the correct two-loop ADM for the sector. We will also provide some insights that may be useful in checking and manipulating anomalous dimension matrices. We shall see that the particular way in which the BJLW method is extended in Ref. [11] is in fact not valid, but that it can be modified minimally by introducing, in an intermediate step, a symmetrized operator , leading to an ADM that satisfies the flavor symmetry condition in Eq. (4).
This letter is organized as follows. We begin in Section 2 reviewing the necessary formalism regarding the NLO renormalization of the EFT. In Section 3 we present the problem: why the ADM presented in Ref. [11] presents an inconsistency. In Section 4 we diagnose the problem, showing that it is related to the anomalous dimension of the operator and more precisely to the relation in Eq. (33) below. The corrected entries of the ADM are presented in Section 5, where we also show that our ADM satisfies the flavor symmetry condition, thus solving the problem raised. Based on the insight gained, in Section 6 we present a proposal for a correct alternative to the approach in Ref. [11], and show that this alternative expression does indeed provide the correct result for the NLO ADM. In order to gauge the numerical importance of the corrected anomalous dimensions, in Section 7 we perform a simple numerical analysis. Finally, we conclude in Section 8 with a summary of our results.
2 Renormalization of the Effective Theory
The renormalized EFT Lagrangian is given by
(5) |
where the (renormalized) operators include physical () as well as evanescent () operators, the latter needed for renormalization in dimensions. The operators relevant for transitions in the so-called “BMU basis” of Ref. [11] are given in Appendix A. The are renormalized Wilson coefficients, and is the renormalization constant matrix, which takes care of the renormalization of the Wilson coefficients and it is responsible for operator mixing. The renormalization factor takes care of quark wave-function renormalization of the four-quark operators (one factor of for each field).
The renormalized Wilson coefficients depend on the renormalization scale as
(6) |
where (with components ) is the Anomalous Dimension Matrix (ADM), and are the constant coefficients in its expansion in powers of . In terms of the renormalization matrix,
(7) |
with depending on the renormalization scale through its expansion in ,
(8) |
In the scheme, whenever refers to a physical operator or refers to an evanescent one. With this notation at hand, one finds (see e.g.Ref. [5])
(9) | |||||
(10) |
and so on. The renormalization constants can be calculated in the scheme in terms of the (amputated) bare matrix elements of the operators . At any loop order, we write
(11) | |||||
(12) |
where is the scale, and is the renormalization factor of , with (see e.g. Ref. [1]). Here is the number of active quark flavors. Thus the coefficients arise from the poles of the bare -loop diagrams with insertion of operator . The renormalization then leads to
(13) | |||||
(14) |
up to two loops. Here we have expanded as in Eq. (8), and its coefficients read
(15) |
In addition, in the Buras-Weisz scheme for evanescent operators, we have that for =(evanescent,physical), and zero otherwise. Inserting these expressions into Eqs. (9)-(10) one finds
(16) | |||||
(17) |
In Ref. [11], BMU give the full results for and for the full operator basis. However, these results fail a simple consistency test, as we shall explain in the following section.
3 The Problem: a flavor symmetry
We are going to consider the ADM in two different bases. The first one is the BMU basis, as given in Appendix A, while the second one is a modified version (BMU’) defined simply as
(18) |
In dimensional regularization, the ADMs can be calculated by setting to zero the quark masses, given that they depend exclusively on the UV structure of the theory. Thus, the difference between BMU and BMU’ is merely a ‘renaming’ of up and bottom quark fields. Hence, the ADM should have the exact same explicit entries before and after the renaming:
(19) |
This relation can be checked by explicitly performing a change of basis. Note that this change of basis is very non-trivial and involves Fierz-evanescent operators. Up to NLO [12, 5, 10],
(20) | |||||
(21) |
The correct NLO ADM should satisfy the following condition,
(22) |
The details of the transformation involve calculating the tree-level transformation matrix and the evanescent shift in the renormalization scheme, . For the latter we use the -NDR scheme with the Buras-Weisz prescription [3], combined with the basis of evanescent operators given below in Appendix B. This basis of evanescent operators is equivalent 222 Even though BMU do not give explicitly in Ref. [11] the evanescent basis used for operators, the fact that their current-current contributions to the ADM are taken directly (and explicitly) from sectors and —for which they do present the evanescent basis— allows us to infer their scheme. See the discussion in Section 4 for further details. to the one used in Refs. [4, 11], and corresponds both to the use of Greek projections and also to the choice in Ref. [13]. We also adopt this scheme in all our calculations throughout this work.
We focus on the sector of vector operators which is where the problem arises. The tree-level transformation matrix in this sector is given by
(23) |
while the matrix only has two non-zero rows, with non-zero entries on the columns corresponding to the four QCD penguin operators,
(24) |
For the LO ADM one finds indeed that . However, at NLO, implementing the change of basis starting with the original in Ref. [11] leads to a direct violation of Eq. (22), as and are found to differ in the QCD penguin columns () and rows first, second, ninth and tenth:
(25) |
We therefore conclude that there is a problem with the matrix as given in Ref. [11], most likely related to penguin contributions, in the BSM sector.
4 The Diagnosis: a naive treatment of
4.1 The original approach in BJLW and BMU
Anomalous dimensions in dimensional regularization can be calculated setting the quark masses to zero, given that they depend exclusively on the UV structure of the theory. This means that, up to quark-mass effects, one has for example
(26) |
where the first term in the RHS proportional to the number of active flavors accounts for closed penguins, and the second term accounts for the two open penguins with and quarks in the loop. This sort of relations allows one to take a calculation involving insertions of a certain reduced set of operators and extend them to infer the calculations involving a full operator basis.
This methodology was used by BJLW in Ref. [4] to compute the contributions to the ADM for the ten SM operators, and later in Ref. [11] for the full set of forty operators in the general BSM case (the BMU basis, see Appendix A). In both cases the corresponding ADMs were built out of a small set of tables of pole coefficients computed in Refs. [3, 4, 11] for a single quark flavor. Of all the contributions considered in Refs. [4, 11], we shall focus exclusively on the ones coming from penguin diagrams with insertions of VLL operators, as discussed above.
The building blocks for the NLO VLL-penguin ADM are the tables of two-loop pole-coefficients computed in Ref. [4] for and , which involve only open penguin diagrams. Ref. [4] proceeds then by performing a change of basis into a basis where the first two operators ( and ) are modified to be penguin-closed (i.e. with the structure instead of ). Thus, four separate contributions to the anomalous dimensions are obtained: and . Once these basic ingredients are known, Ref. [4] proceeds by taking advantage of flavor-independence of the various Feynman diagrams (e.g. Eq. (26)), and reconstructing the penguin contributions of all VLL penguin operators () simply by combining the only four independent pieces,
(27) | |||||
(28) | |||||
(29) | |||||
(30) |
These relations involve anomalous dimensions, and not just Feynman diagrams as in Eq. (26), and thus the extra terms in the RHS come from an additional assumption for and quarks: that one can get these special cases (which contribute simultaneously via open and closed penguin diagrams) through the separate combination of open and closed penguins,
(31) | |||||
(32) |
where the generic operators are defined at the end of Appendix A.
In their posterior work, BMU derive the anomalous dimensions for the BSM operators in a similar way. While Ref. [11] is not completely explicit on the exact procedure followed and on the evanescent operator basis used for this sector, it does literally state that: (A) the current-current contributions can be directly taken from the ADMs for and operators of the type , and (B) the penguin contributions can be “easily” extracted from Sections 3.2 and 5.3 of Ref. [4]. From statement (A) we infer that the evanescent basis is equivalent to the one used here (see Appendix B), and we confirm their results for current-current contributions. From statement (B) we infer that the penguin contributions are obtained from the following relations,333 We thank Mikolaj Misiak for confirming to us that this was indeed the approach followed in Ref. [11].
(33) | |||||
(34) | |||||
(35) |
where indicates a calculation with only two active quark flavors ( and ). These relations are all again presumably inspired by the (correct) statement in Eq. (26), and result from the application of Eqs. (31) and (32) to . We can confirm that using Eqs. (33)-(35) we reproduce the LO and NLO ADMs given by BMU.
The relation for in Eq. (33) can be combined with Eq. (27) and rewritten as
(36) |
The BMU ADMs also satisfy this relation. Our claim here is that, while Eqs. (31) and (32) are true when used within Eqs.(27)-(30) in the set of operators of the SM sector, the approach fails in Eq. (36) as used in Ref. [11], for alone. The key point to understand our claim lies in the intermediate one-loop contributions participating in the ADM, coming from the insertion of one-loop counterterms in the divergent subdiagrams of two-loop penguins. These terms end up providing a contribution that depends not only on the operator inserted in the two-loop diagram, but also on a closed set of operators around it. In particular, we will see how the contribution from the one-loop counterterms to and cannot be used directly to recover the one they provide for , regardless of flavor symmetry.
4.2 Deconstruction of Eq. (36)
We start from the expression for the two-loop ADM in Eq. (17), focusing only on the penguin contributions,
(37) |
The penguin brackets indicate that only the contributions that involve at least one penguin diagram are considered. Eq. (37) allows for a closer inspection on the source of all the different contributions and their role in Eq. (36):
First term in the RHS of Eq. (37)
The first term in the RHS of Eq. (37) comes from poles in the bare one- and two-loop penguin diagrams. This contribution projects always only onto [11] and depends only on the definition of . It is also clearly independent of the flavor of the quark in the loop. Therefore, it allows for Eq. (36) to be applied without further dependence on the context.
Second term in the RHS of Eq. (37)
We can separate this term into three contributions, depending on the type of diagrams involved,
(38) |
Among the various terms in Eq. (38), those containing involve (at most) only as intermediate operators, for any inserted. Therefore, this term provides universal contributions too, and again allows for a separate use of the naive relation in Eq. (36).
This is not the case, however, for the term containing , in which runs only through the set of operators connected to by one-loop current-current diagrams. This set is a pair of color-singlet and color-crossed operators for and their tilde versions. Meanwhile, for one has , featuring only a color-singlet. The contributions in both sides of Eq. (36) read then, up to an overall factor of 8,
where we have used the fact that the poles in one-loop diagrams are scheme-independent to write all of the corresponding matrices in terms of the two -type operators. We have also taken into account that
(39) |
which is only the one-loop statement that contributes both through closed and open penguin diagrams. It is readily apparent that the LHS and RHS of Eq. (36) differ in the first and last terms. Numerically, written in terms of , the difference (factor of 8 included) amounts to
(41) |
computed in the renormalization scheme defined below Eq. (22). This non-zero result does not pose any problem per se, as it could cancel against the third term of Eq. (37).
Third term in the RHS of Eq. (37)
There is a similar situation for the evanescent contribution in Eq. (37), further simplified by the fact that one-loop penguin insertions of physical operators produce no evanescent structures. Therefore, only the current-current poles will contribute. Given that the set of evanescent operators are defined independently of the physical basis, as long as they respect quark-flavor symmetry (analogous evanescents for each flavor) the contribution from the third term in Eq. (37) to each will be flavor-universal, and thus have in Eq. (36). This is indeed the case of the evanescent basis used by BMU, as argued below Eq. (22).
Nonetheless, for the special case of there is an additional evanescent structure with no analog associated to or , needed in the one-loop current-current diagrams with an insertion of ,
(42) |
The leftmost equality in Eq. (42) is written as in Ref. [11] (cf. Appendix A for the definition of these operators), while the rightmost expression is written in terms of the evanescent operators listed in Appendix B. Due to the emergence of this evanescent structure, the LHS of Eq. (36) gets an additional contribution that is not present in the RHS, given by
(44) |
4.3 Correction to Eq. (36)
5 The Solution
Applying this correction to the ADM of Ref. [11] we get, for the 11th row of ,
(49) | |||||
where indicates the number of quark flavors, and we have set for simplicity. The general expression in terms of is given below in Section 6. We have also indicated in red the four terms that are different from Ref. [11].
With our corrected version of at hand we can now verify that Eq. (22) is, indeed, satisfied. That is,
(50) |
as can be checked explicitly by noting that the right-hand-side agrees exactly with the matrix in Eq. (25). (Here we have made a slight abuse of notation by denoting by the matrix with as the 11th row and all other entries vanishing.) Thus we are confident that the diagnosis in the previous section is correct, and that no other issues, aside from the one related to , affect the results of Ref. [11].
Our results can also be compared to the results for the anomalous dimensions of the operator in Ref. [9] (adjusting for the case of our transition),
(51) |
and in particular to the two-loop mixing of onto the QCD penguin operators
(52) |
In the BMU basis, the operator is given by
(53) |
We perform a change of basis from the BMU basis to the basis of Ref. [9] (taking into account that a different basis for evanescent operators is used in that paper), and we confirm the anomalous dimensions in Eq. (52), only when using the new results in Eq. (49).
6 A Proposal: Crossed/Singlet symmetrization
The rationale behind this discrepancy is the fact that the four VLL penguin contributions to the ADM computed in Ref. [4] (for , and their tildes) are valid only for cases with an analogous set of operators connected by one-loop current-current diagrams, which should involve a pair of color-singlet and color-crossed operators. If we want to extrapolate these results to -type and -type operators, we must then use a properly crafted operator that is connected to an equivalent set. Such property can be found, for instance, in a modified version of that symmetrizes over color structures, . The connected set for this operator is again only itself, but it now includes the proper pair of singlet/crossed structures, with which the counterterm contributions become
(54) | |||||
(55) |
The product of these two expressions now aligns perfectly with the decomposition in terms of operators and ,
(56) | ||||
In the evanescent plane of Eq. (44), has two identical and opposite-sign contributions to , given that insertions of color-crossed operators project onto ; and thus this contribution to the discrepancy between the actual contribution and its construction from single-flavor results vanishes too for (that is, ).
With both the physical and evanescent contributions to the ADM agreeing for on the naive comparison with -type operators, we can now safely apply the respective naive reconstruction of the penguin-borne anomalous dimension,
(57) |
One can then perform a NLO change of basis from this quasi-BMU basis containing to the original BMU basis, to obtain the correct . This change of basis affects only , and leaves the rest of the ADM (and in particular the SM sector) unaltered. The resulting contributions from either operator to the ADM read
(62) | |||||
(67) |
with these vectors being written in terms of the four QCD penguins . Eq. (67) is the corrected version of the penguin contribution to the ADM due to , and agrees with the result given in Section 5 for .
Going back to our original claim below Eq. (36), we can see that, as opposed to Eq. (36), Eqs. (31) and (32) are correct because the penguin operators are built respecting the required structure of color-singlet/crossed pairs. Consequently, one is allowed to directly export the single-flavor penguin anomalous dimensions as in Eqs. (27), (28), (29) and (30), leading to the results given in Ref. [4], which are in full agreement with multiple independent calculations of the anomalous dimensions at performed for the SM sector [5, 6, 7, 8, 9], after the proper change of basis.
7 Numerical impact of the correction
We now study the phenomenological impact of the correction put forward in this work. We do this by comparing the Renormalization Group Evolution resulting from BMU on the one hand, and from our results on the other. We compute the running between two representative scales, from (i.e. the scale of a matching to the SMEFT) to (the characteristic scale of -physics).
Limiting ourselves to contributions of dimension 6, i.e. of order , the mixing relevant to penguin operators involves only single insertions of the first thirteen operators in the BMU basis (c.f. Appendix A). In this situation the equation for the running can be written in terms of the unitary evolution matrix,
(68) |
This matrix can then be computed as the solution to the RGE in Eq. (6), with the appropriate boundary conditions. The general solution reads:
(69) |
where the anomalous dimensions, , and the QCD beta function, , can be expanded perturbatively in . Solving the RGE numerically to NLO both in the ADM and the QCD beta function, one obtains the corresponding matrix,
(70) | ||||
The correction to the NLO ADM affects only the entries mixing into (rows third to sixth in the eleventh column). Focusing on these entries (to a precision of four significant figures, consistent with an correction) and comparing them to the calculation with the original ADM of Ref. [11], one finds
(71) |
The difference in these entries is of the order of . Although small in absolute terms, the impact of such corrections could become sizeable in phenomenological studies where the BSM matching condition is significantly larger than the SM contribution to QCD penguins, . In such cases, the running described by Eq. (70) could lead to similar contributions by both SM and BSM to the coefficients at the low scale, and the corrections in Eq. (71) would then make a measurable difference to suitable observables. It remains to be clarified to which extent current data allows for large values of .
8 Summary
In this paper we have revisited the two-loop anomalous dimensions for four-quark operators in the general BSM case. 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 [11]. However, the BMU result for the NLO anomalous dimension matrix does not satisfy a simple requirement related to renaming of quark fields.
The root of the problem is related to the particular structure of the operator , an issue that, once addressed, can be used to derive the correct version of the anomalous dimensions, which can be found in Appendix C. Our corrected version satisfies the renaming requirement, and thus confirms our diagnosis of the problem. Having understood the issue, the approach followed by BMU can be modified in a way that leads directly to the correct result.
In order to assess the numerical importance of this correction, we have performed a very simple numerical analysis that points to an effect of around . Our results are also very relevant in the present time in which automation is prompting the development of public codes which implement computations in EFTs in full generality [14, 15, 16, 17, 18].
Many of the points put forward in this work can be applied to general -loop anomalous dimensions. On the one hand, as long as the evanescent basis is properly defined, quark-flavor symmetry tests are completely general consistency checks. On the other hand, analyses like the one carried out in Section 4 are always necessary when trying to extend calculations performed in small operator subsets to other sectors of the basis. One must ensure that both sectors have analogous physical and evanescent “surroundings”, as the direct extension fails otherwise. It is possible that the issues discussed in this paper can be framed within recent attempts to simplify the handling of evanescent structures in loop calculations [19, 20, 21, 22, 23].
Acknowledgments
We thank Martin Gorbahn, Mikolaj Misiak, Jacky Kumar, Jason Aebischer and Marko Pesut for useful discussions. We thank Andrzej Buras, Mikolaj Misiak, Jason Aebisher and Marko Pesut for comments on the manuscript. We especially thank Mikolaj Misiak for checking and confirming our final results.
P.M. acknowledges funding from the Spanish MCIN/AEI/10.13039/501100011033: grant PRE2022-103999 funded by MCIN/AEI/10.13039/501100011033 and by ”ESF Investing in your future”, grant CEX2019-000918-M through the “Unit of Excellence María de Maeztu 2020-2023” award to the Institute of Cosmos Sciences.
J.V. acknowledges funding from grant 2021-SGR-249 (Generalitat de Catalunya), and from the Spanish MCIN/AEI/10.13039/501100011033 thorugh the following grants: grant CNS2022-135262 funded by the “European Union NextGenerationEU/PRTR”, grant RYC-2017-21870 funded by “ESF Investing in your future” through the “Ramón y Cajal” program, grant CEX2019-000918-M through the “Unit of Excellence María de Maeztu 2020-2023” award to the Institute of Cosmos Sciences, and grants PID2019-105614GB-C21 and PID2022-136224NB-C21.
Appendix A BMU Operator Basis
The physical operator basis we use and refer to throughout the text is the so-called BMU basis [11] for operators. The first two operators in this basis are the -type
(72) |
where are SU() indices. We use also the alternative Fierz-transformed version of these two operators, also featured in [11],
(73) |
Following up, one has the four QCD penguin operators, summing over all flavors,
(74) | |||||
and the four QED penguins, again featuring a sum over flavors,
(75) | |||||
These ten operators form the Standard Model sector, which is addressed in [3, 4]. The BMU basis then follows with a set of BSM operators, as introduced in [11], which starts with
(76) | ||||
In our discussion, we need only operators up to ; although its Fierz-transformed version is also featured in the composition of the alternative operator before Eq. (57),
(77) |
In addition, to refer to specific structures within operators, as in Eqs. (31) and (32) we use the following general notation:
(78) |
Beyond the discussion given in this work, there are three more -type BSM vector operators,
(79) | ||||
and two additional vector operators involving flavors and ,
(80) | ||||
The rest of operators are scalar. They can be divided in 6 chirality-mixed operators,
(81) | ||||||
and 16 scalar right-handed operators,
(82) | ||||||
Many of the operators in this basis can be separated in blocks not connected by the RGE, as it can be seen in the block diagonal ADM in Appendix C. Apart from these 40 operators, there is an additional RGE-disconnected block of the same size corresponding to the opposite-chirality operators.
This operator basis contains five quark flavors, corresponding to an EFT where the top quark has been integrated out. The bases for EFTs with lower numbers of active flavors (i.e. integrating out the bottom, the charm, etc.) can be readily obtained by eliminating some of the operators in the five-flavor EFT. For instance, a candidate for the four-flavor () basis, corresponding to integrating out the -quark, is obtained by eliminating the four QED penguins () and all scalar operators containing -quarks (). A three-flavor () basis, can then be obtained by eliminating also ,, and all scalar operators with -quarks ().
Appendix B Evanescent Operator Basis
The set of evanescent operators we use to specify the renormalization scheme for the two-loop ADM in the case of operators is analogous to the ones given in Ref. [11] for sectors and , equivalent to the choice in Ref. [13]. We list them here separated for generic flavors , noting that they become redundant for . In such case the tilde evanescents are absent (that is, exist only for ).
An evanescent basis defined in this manner, with analogous structures for each flavor (i.e. ensuring the same -dimensional Fierz identities for all flavors), satisfies the condition discussed above Eq. (42).
Let us also note that any linear rotation of this evanescent basis (), involving no physical operators, leaves the physical anomalous dimensions unaltered. Therefore, any such evanescent basis defines a completely equivalent renormalization scheme.
Again, we limit our exposition to half of the total basis, given that the definition of the chiral-opposite sector is straightforward, . Starting with the VLL sector,
(83) | |||||
As for the VLR sector,
(84) | |||||
For the SRL sector, Fierz-related to VLR,
(85) | |||||
Finally, for the SRR sector,
(86) | |||||
Appendix C Full Anomalous Dimension Matrix to NLO in QCD
We provide here the complete one- and two-loop ADMs, for the BMU basis as presented in the previous appendix. These ADMs include current-current and penguin contributions, the latter accounting already for the correction discussed in this work (in red). As in Appendix A, we will limit ourselves to half of the basis, with the other half being its chiral-opposite, given that the full matrix corresponds to two identical copies of the one we shall provide here.
In these expressions, will be the number of active quark flavors, stand for the number of active up- and down-type quarks, respectively. The references to in these ADMs allow for the determination of the corresponding anomalous dimensions in theories with a different number of active quark flavors. Strictly speaking, the full set of matrices given in this appendix correspond to the five-flavor theory (). Going to lower numbers of active flavors not only changes the value of , but also requires for the elimination of all rows and columns corresponding to redundant operators “integrated out” from the basis, as explained in Appendix A.
C.1 Leading Order
The LO ADM can be written in terms of two main blocks,
(89) |
The first block corresponds to the 18 vector operators , and thus contains all penguin contributions,
(97) |
The other term in Eq. (89) is block-diagonal, and involves the 22 scalar operators ,
(98) |
The first three blocks here are identical matrices corresponding to the operators in Eq. (LABEL:Q_SRL). The following two blocks are again identical and , corresponding to the first four operators in Eq. (LABEL:Q_SRR). The remaining three blocks are identical matrices, and correspond to the last twelve operators in Eq. (LABEL:Q_SRR).
C.2 Next-to-Leading Order
The NLO ADM can also be written in terms of two main blocks,
(139) |
The first block corresponds to the 18 vector operators , and thus contains all penguin contributions,
(147) |
The other term in Eq. (139) is block-diagonal, and involves the 22 scalar operators ,
(148) |
The correspondence to the respective operators is analogous to the one in Eq. (98).
References
- [1] G. Buchalla, A. J. Buras and M. E. Lautenbacher, “Weak decays beyond leading logarithms,” Rev. Mod. Phys. 68 (1996), 1125-1144 [arXiv:hep-ph/9512380 [hep-ph]].
- [2] J. Aebischer, M. Fael, C. Greub and J. Virto, “B physics Beyond the Standard Model at One Loop: Complete Renormalization Group Evolution below the Electroweak Scale,” JHEP 09 (2017), 158 [arXiv:1704.06639 [hep-ph]].
- [3] A. J. Buras and P. H. Weisz, “QCD Nonleading Corrections to Weak Decays in Dimensional Regularization and ’t Hooft-Veltman Schemes,” Nucl. Phys. B 333 (1990), 66-99
- [4] A. J. Buras, M. Jamin, M. E. Lautenbacher and P. H. Weisz, “Two loop anomalous dimension matrix for weak nonleptonic decays I: ,” Nucl. Phys. B 400 (1993), 37-74 [arXiv:hep-ph/9211304 [hep-ph]].
- [5] M. Gorbahn and U. Haisch, “Effective Hamiltonian for non-leptonic decays at NNLO in QCD,” Nucl. Phys. B 713 (2005), 291-332 [arXiv:hep-ph/0411071 [hep-ph]].
- [6] M. Ciuchini, E. Franco, G. Martinelli and L. Reina, “The effective Hamiltonian including next-to-leading order QCD and QED corrections,” Nucl. Phys. B 415 (1994), 403-462 [arXiv:hep-ph/9304257 [hep-ph]].
- [7] M. Ciuchini, E. Franco, L. Reina and L. Silvestrini, “Leading order QCD corrections to and decays in three regularization schemes,” Nucl. Phys. B 421 (1994), 41-64 [arXiv:hep-ph/9311357 [hep-ph]].
- [8] C. Bobeth, P. Gambino, M. Gorbahn and U. Haisch, “Complete NNLO QCD analysis of and higher order electroweak effects,” JHEP 04 (2004), 071 [arXiv:hep-ph/0312090 [hep-ph]].
- [9] T. Huber, E. Lunghi, M. Misiak and D. Wyler, “Electromagnetic logarithms in ,” Nucl. Phys. B 740 (2006), 105-137 [arXiv:hep-ph/0512066 [hep-ph]].
- [10] K. G. Chetyrkin, M. Misiak and M. Munz, “ nonleptonic effective Hamiltonian in a simpler scheme,” Nucl. Phys. B 520 (1998), 279-297 [arXiv:hep-ph/9711280 [hep-ph]].
- [11] A. J. Buras, M. Misiak and J. Urban, “Two loop QCD anomalous dimensions of flavor changing four quark operators within and beyond the standard model,” Nucl. Phys. B 586, 397-426 (2000) [arXiv:hep-ph/0005183 [hep-ph]].
- [12] A. J. Buras, M. Jamin, M. E. Lautenbacher and P. H. Weisz, “Effective Hamiltonians for and nonleptonic decays beyond the leading logarithmic approximation,” Nucl. Phys. B 370 (1992), 69-104.
- [13] W. Dekens and P. Stoffer, “Low-energy effective field theory below the electroweak scale: matching at one loop,” JHEP 10, 197 (2019) [arXiv:1908.05295 [hep-ph]].
- [14] J. Aebischer, M. Fael, J. Fuentes-Martín, A. E. Thomsen, J. Virto, L. Allwicher, S. Das Bakshi, H. Bélusca-Maïto, J. de Blas and M. Chala, et al. “Computing Tools for Effective Field Theories,” [arXiv:2307.08745 [hep-ph]].
- [15] A. Celis, J. Fuentes-Martin, A. Vicente and J. Virto, “DsixTools: The Standard Model Effective Field Theory Toolkit,” Eur. Phys. J. C 77 (2017) no.6, 405 [arXiv:1704.04504 [hep-ph]].
- [16] J. Fuentes-Martin, P. Ruiz-Femenia, A. Vicente and J. Virto, “DsixTools 2.0: The Effective Field Theory Toolkit,” Eur. Phys. J. C 81 (2021) no.2, 167 [arXiv:2010.16341 [hep-ph]].
- [17] J. Aebischer, J. Kumar and D. M. Straub, “Wilson: a Python package for the running and matching of Wilson coefficients above and below the electroweak scale,” Eur. Phys. J. C 78 (2018) no.12, 1026 [arXiv:1804.05033 [hep-ph]].
- [18] D. van Dyk et al. [EOS Authors], “EOS: a software for flavor physics phenomenology,” Eur. Phys. J. C 82 (2022) no.6, 569 [arXiv:2111.15428 [hep-ph]].
- [19] J. Aebischer, A. J. Buras and J. Kumar, “Simple rules for evanescent operators in one-loop basis transformations,” Phys. Rev. D 107 (2023) no.7, 075007 [arXiv:2202.01225 [hep-ph]].
- [20] J. Aebischer and M. Pesut, “One-loop Fierz transformations,” JHEP 10 (2022), 090 [arXiv:2208.10513 [hep-ph]].
- [21] J. Aebischer, M. Pesut and Z. Polonsky, “Dipole operators in Fierz identities,” Phys. Lett. B 842 (2023), 137968 [arXiv:2211.01379 [hep-ph]].
- [22] J. Aebischer, M. Pesut and Z. Polonsky, “Renormalization scheme factorization of one-loop Fierz identities,” JHEP 01 (2024), 060 [arXiv:2306.16449 [hep-ph]].
- [23] J. Aebischer, M. Pesut and Z. Polonsky, “A Simple Dirac Prescription for Two-Loop Anomalous Dimension Matrices,” [arXiv:2401.16904 [hep-ph]].