Matchotter: An Automated Tool for Dimensional Reduction at Finite Temperature

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Fuentes-Martín, Javier, Miras, Javier López, Moreno-Sánchez, Adrián
Natura: Preprint
Pubblicazione: 2026
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866914503317258240
author Fuentes-Martín, Javier
Miras, Javier López
Moreno-Sánchez, Adrián
author_facet Fuentes-Martín, Javier
Miras, Javier López
Moreno-Sánchez, Adrián
contents 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).
format Preprint
id arxiv_https___arxiv_org_abs_2604_21972
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Matchotter: An Automated Tool for Dimensional Reduction at Finite Temperature
Fuentes-Martín, Javier
Miras, Javier López
Moreno-Sánchez, Adrián
High Energy Physics - Phenomenology
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).
title Matchotter: An Automated Tool for Dimensional Reduction at Finite Temperature
topic High Energy Physics - Phenomenology
url https://arxiv.org/abs/2604.21972