arXiv subjects

Adrián Moreno-Sánchez

Publications and source records attributed to Adrián Moreno-Sánchez.

5 recordsLinked to original sources

arXiv2026

Matchotter: An Automated Tool for Dimensional Reduction at Finite Temperature

At finite temperature, the decoupling of heavy Matsubara modes allows a four-dimensional quantum field theory to be matched onto a purely spatial, three-dimensional effective field theory (EFT). This dimensional reduction is a crucial prerequisite for the precise computation of thermal observables, most prominently those related to cosmological phase transitions. In this work, we present Matchotter -- a dedicated finite-temperature module natively integrated into the Matchete package -- which automates this matching process up to one-loop order for generic Lagrangians. By adapting modern functional matching techniques to the finite-temperature formalism, Matchotter efficiently extracts the low-energy EFT directly from the thermal path integral. Furthermore, the module fully automates supersoft matching, where the temporal gauge bosons, which acquire a Debye mass during the dimensional reduction process, are integrated out. We outline the underlying architecture of the program and demonstrate its capabilities across a range of models, including the Standard Model Effective Field Theory (SMEFT).

hep-ph↗

arXiv2026

SIRENA -- Sum-Integral REductioN Algorithm

We present SIRENA, a Python and C++ implementation of the Laporta algorithm for the automatic reduction of multi-loop sum-integrals via integration-by-parts identities. The method builds on established techniques for zero-temperature Feynman integrals and extends them to finite-temperature quantum field theory by consistently accounting for the Matsubara sum structure. We validate the framework by reproducing several known results from the literature up to 3-loop order, and we further provide, for the first time, reductions for selected 3-loop fermionic sum-integrals. In addition to the package, we derive an analytic factorization formula for arbitrary 2-loop fermionic sum-integrals, extending on a previous result for the bosonic case.

hep-ph↗

arXiv2026

Symmetry Restoration in the SMEFT: Finite Counterterms for a Non-Anticommuting $γ_5$

We present a systematic functional approach to calculating symmetry-restoring counterterms in Effective Field Theories (EFTs) regulated using the Breitenlohner--Maison--'t Hooft--Veltman (BMHV) scheme. Building on a recently developed method that employs auxiliary spurion fields, our approach automates the extraction of these counterterms directly from the one-loop effective action, offering a streamlined and efficient procedure. We demonstrate its efficacy by applying it to the Standard Model Effective Field Theory (SMEFT) at dimension six, providing the first complete determination of its symmetry-restoring counterterms in the BMHV scheme. Our work establishes a robust foundation for consistent one-loop matching and two-loop running computations in EFTs with chiral gauge symmetries.

hep-ph↗

arXiv2025

A Guide to Functional Methods Beyond One-Loop Order

Functional methods can be applied to the quantum effective action to efficiently determine counterterms and matching conditions for effective field theories. We extend the toolbox to two-loop order and beyond and show how to evaluate the expansion of the path integral in a manifestly gauge-covariant manner. We also generalize the method to theories with mixed spin statistics and prove the validity of the hard-region matching formula to all loop orders. The methods are exemplified with a two-loop matching calculation of the Euler-Heisenberg Lagrangian resulting from decoupling the electron in QED.

hep-ph↗

arXiv2025

Leptonic Flavor from Modular $A_4$: UV Mediators and SMEFT Realizations

The absence of direct evidence for new physics at current collider energies motivates the study of indirect effects within the framework of the Standard Model Effective Field Theory (SMEFT). In this work, we investigate the role of the $A_4$ discrete flavor symmetry in constraining the UV dynamics, giving rise to dimension-6 SMEFT operators involving leptons. We consider renormalizable interactions between SM fields and heavy mediators, classified according to their $A_4$ transformation properties in the modular framework, where Yukawa structures are encoded in modular forms. Restricting our analysis to UV interactions with at most a single modular form insertion, we study the resulting classification of $A_4$ UV mediator irreps and explore their implications across a range of observables, including both lepton-flavor-conserving and lepton-flavor-violating processes. A detailed phenomenological analysis is carried out, incorporating both tree-level and one-loop matching contributions for scalar and fermionic mediators, as well as leading-log RGE effects in case of vectors.

hep-ph↗