Abstract:
The top-down matching of specific scenarios for new physics onto the Standard Model Effective Field Theory (SMEFT) is well-understood and easy to automise.
The inverse approach, however, the bottom-up matching of the SMEFT to UV models and in particular a systematic exploration of these discoverable UV models is more difficult.
I will present a diagrammatic technique for the automated construction of a complete (under certain, well specified assumptions) set of possible UV models that produce specific groups of SMEFT operators.  
We focus on generating models which only contribute to 4F operators at one-loop order and not at tree-level, because these models can contain relatively light particles that could be discovered at the LHC in direct searches and lead to an interesting interplay between indirect SMEFT and direct collider searches.
To avoid stable charged relics these models will contain either so-called exits, particles that couple linearly to a pair of SM particles, or electrically neutral possible DM candidates.
Examples for minimal models for 4F operators, their matching to the SMEFT and their role in the interplay between direct and indirect searches at the LHC will be discussed.