arXiv subjects

Javier López Miras

Publications and source records attributed to Javier López Miras.

6 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↗

arXiv2025

New insights into two-loop running in effective field theories

We show that, by viewing a 4D effective-field theory as the infrared (IR) limit of the compactified version in 5D, we can compute two-loop anomalous dimensions without gauge-breaking counter-terms, IR re-arrangement or geometric methods. The ultraviolet (UV) divergences in 4D are read from the IR ones in the matching from 5D to 4D. We use this approach to cross-check recent results in the literature, as well as to compute novel two-loop anomalous dimensions in the SMEFT to dimension eight and certain critical exponents in the charged fixed point of the Abelian Higgs model at large number of flavors.

hep-ph↗

arXiv2025

Automation of a Matching On-Shell Calculator

We introduce $\texttt{mosca}$, a $\texttt{Mathematica}$ package designed to facilitate on-shell calculations in effective field theories (EFTs). This initial release focuses on the reduction of Green's bases to physical bases, as well as transformations between arbitrary operator bases. The core of the package is based on a diagrammatic on-shell matching procedure, grounded in the equivalence of physical observables derived from both redundant and non-redundant Lagrangians. $\texttt{mosca}$ offers a complete set of tools for performing basis transformations, diagram isomorphism detection, numerical substitution of kinematic configurations, and symbolic manipulation of algebraic expressions. Planned future developments include extension to one-loop computations, thus providing support for EFT renormalization directly in a physical basis and automated computation of one-loop finite matching, including contributions from evanescent operators. The package, along with example notebooks and documentation, is available at: https://gitlab.com/matchingonshell/mosca.

hep-ph↗

arXiv2024

Efficient on-shell matching

We propose an efficient method to perform on-shell matching calculations in effective field theories. The standard off-shell approach to matching requires the use of a Green's basis that includes redundant and evanescent operators. The reduction of such a basis to a physical one is often highly non-trivial, difficult to automate and error prone. Our proposal is based on a numerical solution of the corresponding on-shell matching equations, which automatically implements in a trivial way the delicate cancellation between the non-local terms in the full theory and those in the effective one. The use of rational on-shell kinematics ensures an exact analytic solution despite the numerical procedure. In this way we only need a physical basis to perform the matching. Our procedure can be used to reduce any Green's basis to an arbitrary physical one, or to translate between physical bases; to renormalize arbitrary effective Lagrangians, directly in terms of a physical basis; and to perform finite matching, including evanescent contributions, as we discuss with explicit examples.

hep-ph↗

arXiv2024

Higher-order corrections to phase-transition parameters in dimensional reduction

The dynamics of phase transitions (PT) in quantum field theories at finite temperature is most accurately described within the framework of dimensional reduction. In this framework, thermodynamic quantities are computed within the 3-dimensional effective field theory (EFT) that results from integrating out the high-temperature Matsubara modes. However, strong-enough PTs, observable in gravitational wave (GW) detectors, occur often nearby the limit of validity of the EFT, where effective operators can no longer be neglected. Here, we perform a quantitative analysis of the impact of these interactions on the determination of PT parameters. We find that they allow for strong PTs in a wider region of parameter space, and that both the peak frequency and the amplitude of the resulting GW power spectrum can change by more than one order of magnitude when they are included. As a byproduct of this work, we derive equations for computing the bounce solution in the presence of higher-derivative terms, consistently with the EFT power counting.

hep-ph↗