SMEFT-Tools 2022

Europe/Zurich
University of Zürich

University of Zürich

Irchel Campus Winterthurerstrasse 190 8057 Zürich Building Y25 Room H79
Jason Aebischer, Javier Fuentes-Martín, Anders E. Thomsen, Javier Virto, Matteo Fael
Description

This is the 2nd Workshop on Tools for Low-Energy SMEFT PhenomenologySMEFT-Tools 2022.

The conference will be held in Y25-H79 at the Campus Irchel in Zürich (see the announcement on INSPIRE and from the Pauli Center and UZH Alumni).

The aim of this conference is to discuss the status of and future prospects for computing tools designed for phenomenological analyses of the Standard Model EFT (SMEFT) and the Weak EFT (WET). The related SMEFT phenomenology as well as other SMEFT/WET related topics will also be discussed.

Thanks to our generous sponsors:

  • Pauli Center
  • UZH Alumni
  • ICCUB-Universitat de Barcelona through the Maria de Maeztu excellence program,
    (CEX2019-000918-M funded by MCIN/AEI/10.13039/501100011033)

we are able to provide accommodation from the 13.09-16.09. (3 nights) for invited speakers at the Hotel Sternen in Oerlikon.

For non-invited registrants we kindly ask for a conference fee of 100 CHF (to be payed by cash upon arrival) to cover the conference dinner.

Registration
Registration -- SMEFT-Tools 2022
Participants
  • Achillefs Lazopoulos
  • Ajdin Palavric
  • Anders Eller Thomsen
  • Avelino Vicente
  • Darius Faroughy
  • Fael Matteo
  • Felix Wilsch
  • Fiona Kirk
  • Gino Isidori
  • Hermès Bélusca-Maïto
  • Ignacy Nałęcz
  • Ilaria Brivio
  • Janusz Rosiek
  • Jason Aebischer
  • Javier Fuentes-Martín
  • Javier Virto
  • Joe Davighi
  • Jorge de Blas
  • Jose Santiago
  • Juan Carlos Criado
  • Julie Pagès
  • Ken Mimasu
  • Luca Vecchi
  • Lukas Allwicher
  • Marco Ardu
  • Marko Pesut
  • Matthias König
  • Michael Trott
  • MIkael Chala
  • Mikolaj Misiak
  • Méril Reboud
  • Nudzeim Selimovic
  • Paul Kühler
  • Peter Stangl
  • Peter Stoffer
  • Renato Fonseca
  • Supratim Das Bakshi
    • 08:30
      Registration
    • Session
      • 1
        Introductory talk
        Speaker: Jose Santiago
      • 2
        Positivity bounds in the SMEFT

        I will discuss the constraints that unitarity and locality impose on the Wilson coefficients of effective field theories, and particularly on the SMEFT, clarifying recent results on their range of applicability. I will discuss the relevance of different tools for arriving at the previous results, as well as ongoing work to enhance the power of these tools to tackle phenomenological problems.

        Speaker: Mikael Chala
    • 10:30
      Coffee
    • Session
      • 3
        Automatic generation of EFT operators

        Effective field theories (EFTs) are a powerful tool for the exploration of potential new physics in a model-independent way. At a time when there is a lack of clarity on how to extend the Standard Model, the Standard Model effective field theory (SMEFT) and related EFTs have been receiving an increasing amount of attention. For example, the number of SMEFT operators, up to high mass dimensions, has been counted with several techniques in the last few years. Building an explicit basis of operators is more complicated, but here too there has been notable progress. In this talk, I will go through my recent work on using the software packages GroupMath and Sym2Int to automatically build explicit bases of operators for EFTs, given their fields and symmetries.

        Speaker: Renato Fonseca (University of Granada)
      • 4
        CoDEx: Matching BSMs to SMEFT

        I will present the Mathematica package - CoDEx that integrates out heavy fields of spin-0, 1/2, 1 and computes SMEFT effective operators up to mass dimension-6 and associated Wilson coefficients upto 1-loop-level in terms of the model parameters. The computation of Wilson coefficients is based on the evaluation of effective action formulae. I will discuss model implementation in CoDEx, technical details and future directions.

        Speaker: Supratim Das Bakshi (Granada University)
    • 12:30
      Lunch
    • Session
      • 5
        MATCHETE - Automated One-Loop Matching with Function Methods

        In this talk I will present an overview of the Mathematica software suite "MATCHETE". Starting from a Lagrangian provided by the user, MATCHETE determines the effective low-energy Lagrangian with matching conditions up to one-loop order using functional methods. I will discuss the matching procedure and highlight some of the technical challenges arising from operator reduction and evanescent operators.

        Speaker: Matthias König
      • 6
        Matching dictionaries at one loop

        The complete matching between the SMEFT and any of its UV completions is known at tree level, and it has been collected in the form of a dictionary connecting BSM fields and their couplings to the corresponding low-energy effective interactions. The recent developments in matching codes will allow to extend this dictionary to one loop in the near future. The large amount of data generated in this setting makes it necessary to build automatic tools for its storage and practical use. In this talk, I will present a general abstract format and a concrete python implementation for this purpose. The applicability of these tools goes beyond this context, including, for instance, the matching between the SMEFT and the WET, and between EFTs with extra fields beyond the SM ones.

        Speaker: Juan Carlos Criado
    • 15:30
      Coffee
    • Session
      • 7
        Towards a global SMEFT likelihood

        I will report on recent developments concerning the Python package smelli, which implements a global likelihood function in the space of dimension-six Wilson coefficients in the Standard Model Effective Field Theory and the Weak Effective Theory above and below the electroweak scale, respectively. This likelihood can serve as a basis either for model-independent fits or for testing dynamical models.

        Speaker: Peter Stangl (University of Bern)
      • 8
        SMEFT operators in MadGraph

        I will review the status and prospects for the implementation of SMEFT operators in UFO models for MadGraph5_aMC@NLO.

        Speaker: Ken Mimasu
      • 9
        HighPT: a tool for Drell-Yan tails beyond the Standard Model

        The high-pT tails in Drell-Yan processes can provide useful complementary information to low-energy and electroweak observables when investigating the flavour structure beyond the Standard Model. The Mathematica package HighPT allows to compute Drell-Yan cross sections for dilepton and monolepton final states at the LHC. The observables can be computed at tree-level in the SMEFT, including the relevant operators up to dimension-eight, with a consistent expansion up to $\mathcal{O}(\Lambda^{-4})$. Furthermore, hypothetical TeV-scale bosonic mediators can be included at tree level in the computation of the cross-sections, thus allowing to account for their propagation effects.
        Using the Run-2 searches by ATLAS and CMS, the LHC likelihood for all possible leptonic final states can be constructed within the package, which therefore provides a simple framework for high-pT Drell-Yan analyses.
        We illustrate the main functionalities of HighPT by deriving constraints on semileptonic dimension-six operators in the SMEFT, discussing also the impact of dimension-eight terms, and on the couplings of TeV-scale leptoquarks.
        Finally, we revisit the leptoquark explanations of the charged-current $B$ anomalies, showing the complementarity of high-pT constraints and low-energy observables.

        Speaker: Lukas Allwicher
    • Session
      • 10
        More on the geoSMEFT

        Some recent developments in the SMEFT using the geoSMEFT formulation of this theory

        Speaker: Michael Trott
      • 11
        RGEs in generic EFTs

        We shall present the motivation, as well as the current status of our calculation of Renormalization Group Equations (RGEs) in generic Effective Field Theories (EFTs) up to operators of dimension six.

        Speakers: Mikolaj Misiak, Nalecz Ignacy
    • 10:30
      Coffee
    • Session
      • 12
        Gamma5 in Dimensional Regularization: The BMHV scheme at two loop

        We investigate the application of the BMHV scheme for treating Gamma5 in Dimensional Regularization. Looking at a toy example of a chiral QED, we observe that the BRST symmetry is broken in the presence of a non-anticommuting Gamma5. The symmetry breaking can be repaired by finite symmetry restoring counter terms which can be systematically calculated from insertions of evanescent operators. The renormalization procedure at two loop is exemplarily presented.

        Speaker: Paul Kühler
      • 13
        RG Equation for Chiral Theories in DimReg & BMHV scheme: Application to Chiral-QED at 2 loops

        I discuss how renormalization group equations can be consistently established for chiral theories in the BMHV dimensional renormalization scheme, where the BRST symmetry has been restored with finite counterterms, by using notions from Algebraic Renormalization.

        Speaker: Hermès Bélusca-Maïto
    • 12:30
      Lunch
    • Session
      • 14
        Matchmakereft and its future developments
        Speaker: Achillefs Lazopoulos (ETH Zurich)
      • 15
        Consistent calculations at dim8 order

        I will discuss how to perform consistent calculations at SMEFT including dim6, dim6^2 and dim8 corrections. Further I will present the automatic tools facilitating such calculations and directly expressing the results in terms of user-defined set of input quantities (usually observables taken from the experiment). I will illustrate the results with few chosen examples.

        Speaker: Janusz Rosiek
    • 15:30
      Coffee
    • Session
      • 16
        Finite counterterms in chiral gauge theories

        We discuss the finite one-loop counterterm required to restore the Ward Identities broken by the regularization scheme in chiral gauge theories. As a concrete application, we work out the finite counterterm in the Standard Model, within dimensional regularization and the Breitenlohner-Maison-'t Hooft-Veltman prescription for the $\gamma_5$ matrix.

        Speaker: Luca Vecchi
      • 17
        Lepton Flavour Violation in the SMEFT

        I will discuss an Effective Field Theory parametrisation of Lepton Flavour Violation (LFV). I will present a bottom-up analysis of LFV observables in WET and SMEFT, and I will discuss the challenges that the SMEFT calculations present.

        Speaker: Marco Ardu
    • Conference Dinner eCHo RESTAURANT

      eCHo RESTAURANT

      NEUMÜHLEQUAI 42, CH-8001 ZH www.echorestaurant.ch
    • Session
      • 18
        Monte Carlo SMEFT predictions for the LHC

        SMEFT predictions for LHC processes are typically extracted via Monte Carlo event generation. The first part of the talk will give an overview of the state of the art of these simulations in terms tools and methodologies. The second part will focus in more detail on the SMEFTsim UFO models, discussing their main features and presenting the most recent updates (v3).

        Speaker: Ilaria Brivio
      • 19
        DsixTools
        Speaker: Avelino Vicente (IFIC (CSIC - U. Valencia))
    • 10:30
      Coffee
    • Session
      • 20
        HEPfit: a code for the combination of indirect and direct constraints on high energy physics models

        𝙷𝙴𝙿𝚏𝚒𝚝 is a flexible open-source tool which, given the Standard Model or any of its extensions, allows to i) fit the model parameters to a given set of experimental observables; ii) obtain predictions for observables. 𝙷𝙴𝙿𝚏𝚒𝚝 can be used either in Monte Carlo mode, to perform a Bayesian Markov Chain Monte Carlo analysis of a given model, or as a library, to obtain predictions of observables for a given point in the parameter space of the model, allowing 𝙷𝙴𝙿𝚏𝚒𝚝 to be used in any statistical framework. In the present version, around a thousand observables have been implemented in the Standard Model and in several new physics scenarios. In this talk, I will describe the general structure of the code as well as some of the models and observables implemented, with especial focus on the capabilities for studies within the framework of the dimension-6 SMEFT.

        Speaker: Jorge de Blas (Universidad de Granada)
      • 21
        EOS

        I present EOS, an open-source software dedicated to a variety of tasks in the processing of flavor physics observables. EOS is written in C++ and offers both a C++ and a Python interface. It is developed for three main tasks, the production of theoretical predictions for flavor physics observables; the inference of theoretical parameters from an extensible database of likelihoods; and the production of Monte Carlo samples of flavor processes for sensitivity studies.

        Speaker: Meril Reboud
    • Farewell