Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.21972 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |