Speaker
Description
Effective field theories have been gathering increasing attention in recent years. Within this field, the matching process is a key question for connecting this formalism with precise UV theories beyond the Standard Model. It is precisely here where functional methods have emerged as very effective tools, especially for automating computations.
So far, this method has been applied up to one loop. I present a systematic procedure for going beyond, considering both fermionic and bosonic degrees of freedom. I will demonstrate how the inclusion of gauge bosons requires a new approach to the problem that was not necessary in the one-loop case. It will rely on the introduction of the Wilson line to obtain a covariant expansion.
Additionally, this method will be exemplifyed with the matching of QED to the Euler-Heisenberg Lagrangian
