Matchotter: an automated tool for matching effective theories at finite temperature
- 1Universidad de Granada
Abstract
A bstract : 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 [1] — 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).
Related
- Exact effective central charges for a family of 3d superconformal field theories
- From particles to continuum theories in effective models of self-propelled rods
- General relativity and its modifications as effective field theories of GL(4) breaking
- Gravitational Faraday rotation, gravitational spin Hall effect, and spin-refined causality analysis from Magnusian matrix in effective field theories of gravity
- All-Order Helicity Selection Rules in Effective Field Theories
BibTeX
@article{fuentesmartin2026matchotter,
title = {{Matchotter: an automated tool for matching effective theories at finite temperature}},
author = {J. Fuentes-Martín and J. López Miras and A. Moreno-Sánchez},
journal = {Journal of High Energy Physics},
year = {2026},
month = oct,
doi = {10.1007/jhep10(2026)126},
url = {https://link.springer.com/10.1007/JHEP10(2026)126},
note = {CC BY 4.0},
}
RIS
TY - JOUR
TI - Matchotter: an automated tool for matching effective theories at finite temperature
AU - J. Fuentes-Martín
AU - J. López Miras
AU - A. Moreno-Sánchez
PY - 2026
DA - 2026/10/12
JO - Journal of High Energy Physics
DO - 10.1007/jhep10(2026)126
UR - https://link.springer.com/10.1007/JHEP10(2026)126
AB - A bstract : 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 [1] — 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).
SN - 1029-8479
ER -