Generic One-Loop Matching Conditions for Rare Meson Decays

TL;DR

This paper derives general one-loop matching conditions for rare meson decays involving flavor-changing neutral currents, providing a versatile framework applicable to various models and ensuring gauge invariance and finiteness.

Contribution

It offers explicit, model-independent formulas for Wilson coefficients in rare meson decays, along with practical Mathematica code for implementation.

Findings

Results are finite and gauge independent.

Provides explicit formulas for Wilson coefficients.

Includes usable Mathematica code.

Abstract

Leptonic and semileptonic meson decays that proceed via flavour-changing neutral currents provide excellent probes of physics of the standard model and beyond. We present explicit results for the Wilson coefficients of the weak effective Lagrangian for these decays in any perturbative model in which these processes proceed via one-loop contributions. We explicitly show that our results are finite and gauge independent, and provide Mathematica code that implements our results in an easily usable form.