One-loop effective lagrangians after matching

TL;DR

This paper examines the limitations of the covariant derivative expansion in computing one-loop effective Lagrangians, emphasizing the importance of explicit matching for contributions involving both heavy and light fields, and introduces a new code for this purpose.

Contribution

It highlights the necessity of explicit matching in one-loop calculations when heavy fields couple linearly, and presents a new computational tool for effective theory matching.

Findings

Functional approach alone can miss certain one-loop contributions.

Explicit matching is essential for accurate one-loop effective Lagrangian calculations.

New code facilitates matching in models with arbitrary heavy fields.

Abstract

We discuss the limitations of the covariant derivative expansion prescription advocated to compute the one-loop Standard Model (SM) effective lagrangian when the heavy fields couple linearly to the SM. In particular, one-loop contributions resulting from the exchange of both heavy and light fields must be explicitly taken into account through matching because the proposed functional approach alone does not account for them. We review a simple case with a heavy scalar singlet of charge $-1$ to illustrate the argument. As two other examples where this matching is needed and this functional method gives a vanishing result, up to renormalization of the heavy sector parameters, we re-evaluate the one-loop corrections to the T--parameter due to a heavy scalar triplet with vanishing hypercharge coupling to the Brout-Englert-Higgs boson and to a heavy vector-like quark singlet of charged $2/3$ mixing with the top quark, respectively. In all cases we make use of a new code for matching fundamental and effective theories in models with arbitrary heavy field additions.