Standard Model Effective Theory at One-Loop in QCD

Céline Degrande, Gauthier Durieux, Fabio Maltoni, Ken Mimasu, Eleni Vryonidou & Cen Zhang, ​arXiv:2008.11743

The implementation is based on the Warsaw basis of dimension-six SMEFT operators, after canonical normalization. Electroweak input parameters are taken to be G_F, M_Z, M_W. The CKM matrix is approximated as a unit matrix, and a U(2)_q x U(2)_u x U(3)_d x (U(1)_l x U(1)_e)³ flavor symmetry is enforced. It forbids all fermion masses and Yukawa couplings except that only of the top quark. The model therefore implements the five-flavor scheme for PDFs.

A new coupling order, NP=2, is assigned to SMEFT interactions. The cutoff scale Lambda takes a default value of 1 TeV^-2 and can be modified along with the Wilson coefficients in the param_card. Operators definitions, normalisations and coefficient names in the UFO model are specified in definitions.pdf​. The notations and normalizations of top-quark operator coefficients comply with the LHC TOP WG standards of ​1802.07237. Note however that the flavor symmetry enforced here is slightly more restrictive than the baseline assumption there (see the dim6top page for more information). This model has been validated at tree level against the dim6top implementation (see ​1906.12310 and the ​comparison details).

Current implementation

UFO model: SMEFTatNLO_v1.0.tar.gz​

The current implementation imposes CP conservation. In the quark sector, it focuses primarily on top-quark interactions. The light-quark current operator, qqHDH, uuHDH, ddHDH, with coefficients cpq3i, cpqMi, cpu, cpd are however included. The triple-gluon operator, with coefficient cG, is currently not available (see the loop-capable GGG implementation). Vertices including more than four scalars or four leptons are not included. Scalar and tensor QQll operators, with coefficients ctlS3, ctlT3, and cblS3, break our flavor symmetry assumption and are not available for one-loop computations. Top-quark flavor-changing interactions, not compatible with the imposed flavor symmetry, are not included (see the loop-capable ​TopFCNC implementation).

Unlike prescribed by the LHC TOP WG, the top quark chromomagnetic-dipole operator coefficient ctG is normalized with a factor of the strong coupling, g_S. This normalization factor temporarily ensures compatibility with the 2.X.X series of MadGraph5_aMC@NLO but may be dropped in the future. As with every other appearance of this coupling in MadGraph5_aMC@NLO, its value is renormalisation-group evolved to the QCD renormalization scale (set in the run_card).

Counterterms required for one-loop computations are currently included up to five points. The unitary gauge (default) is recommended when computing anomalous quark-loop amplitudes like ggZ, gggZ, ggZH and ggff.

MadGraph5_aMC@NLO does not evolve operator coefficients which are therefore kept at fixed scale mueft distinguished from the QCD renormalization scale MUR. We recommend to use fixed renormalization and factorization scales (in the run_card), and to set mueft equal to those (in the param_card).

The 3.0.3-neworders development branch (​tarball) of MG is required for NLO predictions involving four-fermion operators and (in general) H²G² with coefficient cpG not normalized with any power of g_S. It also allows for a better control over coupling orders and, in particular, for the separate computation of linear and quadratic EFT contributions at NLO. It is however only available for fixed order computations (i.e. not for event generation). Sufficiently coarse differential distributions can be obtained by implementing a FixedOrderAnalysis in Fortran (see examples in the corresponding subdirectory). A branch allowing for the separate computation of different orders in event-generation mode (with matching to parton shower) is being validated.

The 2.X.X series of MadGraph5_aMC@NLO should be used for event generation (i.e. beyond fixed-order computations). It can handle bosonic and two-fermion operators at one-loop. The model should in that case be loaded with a restriction card where other coefficients are set to zero.

Version updates

The model version number can be found in the __version__ variable at the end of __init__.py.

• 2018/12/20 - v0.1: First version upload, 4F and c_G operators at LO pending validation; a few minor convention tweaks required to match dim6top exactly. decays.py missing.
• 2019/04/03 - v0.1: Added definitions.pdf document and uploaded a new version with a fix for restrict_default.dat
• 2019/08/12 - v0.1: Uploaded a new version matching dim6top operator conventions, also some bugfixes and gs normalisation for OtG
• 2020/08/24 - v1.0: Official release including notably four-quark operators at NLO.

Support

Please direct any questions to smeftatnlo-dev[at]cern[dot]ch.

Usage notes

Restriction cards

Because of the mixture of LO/NLO compatible operators included in the model, restriction cards must be used to access the SMEFT interactions.

Default loading of the model

 > import model SMEFTatNLO

will load the pure SM without any effective operators.

The LO restriction card should be used when importing the model for LO generation:

 > import model SMEFTatNLO-LO

For NLO QCD generation, the NLO restriction card should be used when importing the model:

 > import model SMEFTatNLO-NLO

This invokes a restricted set of operators for which the required counterterms are implemented.

Coupling orders

We recommend specifying the full QCD, QED and NP orders for process generation.

For example:

 > generate p p > t t~ QCD=2 QED=0 NP=2 [QCD]

generates top-quark pair production at NLO QCD, including the QCD-induced SM and the SMEFT contributions.

Excluding operators

We recommend avoiding setting values of Wilson coefficients to 0 when computing at NLO using MadGraph5_aMC@NLO.

Operators should either be removed explicitly with restriction cards or set to a very small non-zero value, e.g., 1e-5.

Plugin for b-quark Yukawa coupling and operator (ymb and cbp)

A plugin-like modification to the model including the bbh (SM+SMEFT), bbhh and bbhhh interactions has been implemented to account for the Higgs coupling to bottom quarks. It can only be used at LO. A configuration.py file is included in the UFO model with a bottomYukawa flag set to False by default. Setting it to True restores the SM & SMEFT bottom Yukawa parameters (ymb and cbp), the bbh(h)(h) vertices, and corresponding couplings. The bottom mass parameters, MB, is not restored which has a percent effect on the h > b b~ partial width. The corresponding Goldstone boson interactions are not included, such that the extended model can only be used in unitary gauge (default).

MadSpin

​MadSpin can be used to perform tree-level decays (accounting for leading-order spin correlations). Information about the branching fractions of the decayed particles should then be included in the restriction (and/or param) card used. E.g. for the top quark, Z and W bosons:

DECAY  6   1.470800e+00
   1.000000e+00   2    5  24 # 1.4708
DECAY  23   2.416039e+00
   1.517939e-01   2    -1  1
   1.517939e-01   2    -3  3
   1.517939e-01   2    -5  5
   1.176099e-01   2    -2  2
   1.176099e-01   2    -4  4
   6.865783e-02   2    -12  12
   6.865783e-02   2    -14  14
   6.865783e-02   2    -16  16
   3.447502e-02   2    -11  11
   3.447502e-02   2    -13  13
   3.447502e-02   2    -15  15
DECAY  24   2.002950e+00
   3.333333e-01   2    -1  2
   3.333333e-01   2    -3  4
   1.111111e-01   2    -11  12
   1.111111e-01   2    -13  14
   1.111111e-01   2    -15  16

These values can be recomputed for a given param_card by running compute_widths <particle-name> --path=<input-param-card> --output=<updated-param-card> after having loaded the model. To ensure gauge invariance, MadGraph_aMC@NLO would still set the widths of external particles to zero (saying, e.g., "For gauge cancellation, the width of 'Z' has been set to zero") but pass the required information to MadSpin. If the operator coefficients varied affect the widths of the decayed particles, extra care must be taken to properly account for that dependence.

Generation recipes for validated processes

Among many others, the following processes are supported at the one-loop level. Gauge invariance (see help check in MadGraph5_aMC@NLO) and pole cancellation have been checked explicitly for those. Widths should be set to zero to ensure gauge invariance. For complicated processes and in case of doubts, please contact the authors.

QCD

 > p p > j j          QED=0 QCD=2 NP=2 [QCD]

Drell Yan

 > p p > mu+ mu-      QCD=0 QED=2 NP=2 [QCD]
 > p p > mu+ vm       QCD=0 QED=2 NP=2 [QCD]
 > p p > W+  j  $$ t  QCD=1 QED=1 NP=2 [QCD]
 > p p > W-  j  $$ t~ QCD=1 QED=1 NP=2 [QCD]
 > p p > Z   j        QCD=1 QED=1 NP=2 [QCD]

Multi-boson production

quark-initiated

 > p p > W+ W-    QED=2 QCD=0 NP=2 [QCD]
 > p p > W+ Z     QED=2 QCD=0 NP=2 [QCD]
 > p p > Z  Z     QED=2 QCD=0 NP=2 [QCD]

loop-induced

 > g g > W+ W-    QED=2 QCD=2 NP=2 [QCD]
 > g g > Z  Z     QED=2 QCD=2 NP=2 [QCD]
 > g g > W+ W- Z  QED=3 QCD=2 NP=2 [QCD]
 > g g > Z  Z  Z  QED=3 QCD=2 NP=2 [QCD]

Higgs production

loop-induced

 > g g > H        QED=1 QCD=2 NP=2 [QCD]
 > g g > H H      QED=2 QCD=2 NP=2 [QCD]
 > g g > H H H    QED=3 QCD=2 NP=2 [QCD]
 > g g > H j      QED=1 QCD=3 NP=2 [QCD]

Top quark production

 > e+ e- > t t~        QED=2 QCD=0 NP=2 [QCD]
 > p p > t t~          QED=0 QCD=2 NP=2 [QCD]
 > p p > t t~ h        QED=1 QCD=2 NP=2 [QCD]
 > p p > t t~ Z        QED=1 QCD=2 NP=2 [QCD]
 > p p > t t~ W+       QED=1 QCD=2 NP=2 [QCD]
 > p p > t W-    $$ t~ QED=1 QCD=1 NP=2 [QCD]
 > p p > t W- j  $$ t~ QED=1 QCD=2 NP=2 [QCD]
 > p p > t j     $$ W- QED=2 QCD=0 NP=2 [QCD]
 > p p > t h j   $$ W- QED=3 QCD=0 NP=2 [QCD]
 > p p > t Z j   $$ W- QED=3 QCD=0 NP=2 [QCD]
 > p p > t a j   $$ W- QED=3 QCD=0 NP=2 [QCD]

When generating one of the last four processes (tj,thj,tZj,taj) with the cQq83 operator coefficient, all loops including a gluon have to be allowed. This can be achieved with the following modification of MadGraph5_aMC@NLO:

=== modified file 'madgraph/loop/loop_diagram_generation.py'
--- madgraph/loop/loop_diagram_generation.py	2020-03-11 09:28:14 +0000
+++ madgraph/loop/loop_diagram_generation.py	2020-04-03 21:08:18 +0000
@@ -384,7 +384,7 @@
         # By default the user filter does nothing if filter is not set, 
         # if you want to turn it on and edit it by hand, then set the 
         # variable edit_filter_manually to True
-        edit_filter_manually = False 
+        edit_filter_manually = True 
         if not edit_filter_manually and filter in [None,'None']:
             return
         if isinstance(filter,str) and  filter.lower() == 'true':
@@ -415,6 +415,10 @@
                     raise InvalidCmd("The user-defined filter '%s' did not"%filter+
                                  " returned the following error:\n       > %s"%str(e))
 
+            # requires a gluon to run in all loops
+            if 21 not in diag.get_loop_lines_pdgs():
+                valid_diag = False
+
 #            if any([abs(pdg) not in range(1,7) for pdg in diag.get_loop_lines_pdgs()]):
 #                valid_diag = False
 
@@ -538,7 +542,7 @@
             
             if valid_diag:
                 newloopselection.append(diag)
-        self['loop_diagrams']=newloopselection
+        #self['loop_diagrams']=newloopselection
         # To monitor what are the diagrams filtered, simply comment the line
         # directly above and uncomment the two directly below.
 #        self['loop_diagrams'] = base_objects.DiagramList(

Analytic validation

The following loop computations of amplitudes relevant for several processes have been cross-checked analytically:

• ttbar: tt, gg, ggg, gtt, ggtt
• single top/decay: tbW, 4f
• ttV: ttV, ggV, gggV, gttV
• ttH: ggh, gggh, htt, ghtt