AG-2026.04-1351·hep-ph
Matchotter: An Automated Tool for Dimensional Reduction at Finite Temperature
Authors
- Javier Fuentes-Martín
- Javier López Miras
- Adrián Moreno-Sánchez
Abstract
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).
Submitted
23 April 20264 days ago
Version
v1
License
CC-BY-4.0
DOI
10.48550/arXiv.2604.21972
Chat with this PDF
Ask questions, probe assumptions, request a plain-English summary. Answers cite sections from the preprint itself.
Community
Questions and answers about this paper from other readers. No formal peer review — just a place to think out loud.