Matchotter: An Automated Tool for Dimensional Reduction at Finite Temperature

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).

• The paper introduces a functional approach for automating dimensional reduction by integrating out heavy Matsubara modes at one-loop order.
• The paper demonstrates high numerical agreement with analytic results across various models, including electroweak SMEFT and pure SU(N) gauge theories.
• The paper provides a robust Mathematica module that streamlines EFT derivation and operator truncation, significantly reducing manual computational effort.

Matchotter: Automated Dimensional Reduction at Finite Temperature

Introduction and Motivation

The analysis of quantum field theories (QFTs) at finite temperature is an essential component of early universe cosmology, particularly for the study of cosmological phase transitions (PTs) and their associated observable signatures, including gravitational wave backgrounds. Standard approaches in thermal quantum field theory (TQFT) formulate dynamics in either the Matsubara (imaginary time) or real-time formalism, leading to the decomposition of fields into towers of Matsubara modes. At temperature $T$, all non-static (non-zero) modes acquire masses proportional to $T$, motivating the matching of the underlying four-dimensional theory onto a three-dimensional effective field theory (EFT) describing only the static sector, primarily bosonic zero modes.

Dimensional reduction via EFT matching is indispensable for precise calculations of thermal observables, especially those relevant to cosmological PTs in extensions of the Standard Model (SM). However, carrying out the required matching computations, particularly at higher loop orders or when including higher-dimensional operators, is exceptionally labor-intensive and prone to errors. Existing automation efforts, such as DRalgo, have made significant progress but remain constrained to renormalizable interactions. The need for broader, systematic and robust automation—capable of addressing EFTs with generic Lagrangians and higher-dimensional operators—has become pressing, particularly given recent evidence that such operators substantially impact PT parameters.

Functional Formulation for Dimensional Reduction

Matchotter is presented as an extension of the Matchete package, implementing a functional approach to dimensional reduction at finite temperature. The methodology generalizes the functional matching techniques from zero-temperature EFTs, operating directly on the thermal path integral and the finite-temperature effective action. This approach decouples heavy Matsubara modes by integrating them out, resulting in a purely spatial EFT for the static sector.

The matching condition is formalized at the level of the effective action, employing the expansion by regions technique. The dimensionally-reduced EFT Lagrangian is extracted from the hard part of the original effective action:

$$\int d^d \vec{x} \, \mathcal{L}_{\mathrm{EFT}}[\hat{\eta}^0] = \Big( \mathbf{R}_\mathrm{hard} \Gamma_T \Big) [\hat{\eta}^0]$$

where $\mathbf{R}_\mathrm{hard}$ expands propagators in the limit where all fields and derivatives are small (relative to $4\pi T$). This formulation obviates the need for diagrammatic calculation of loop corrections within the EFT, greatly streamlining the process and manifestly preserving gauge covariance.

At one-loop, the effective action's supertrace decomposition yields log-type and power-type terms. Tensor reduction and sum-integral techniques, sensitive to the explicit breaking of Lorentz invariance by finite temperature, are systematically applied. Closed analytic expressions for these sum-integrals are provided and are directly implemented within Matchotter.

Matchotter Software Architecture

Matchotter is structured as a Mathematica module fully integrated within Matchete. The workflow operates as follows:

1. Model Definition: Users specify the four-dimensional UV model Lagrangian using Matchete syntax, including fields (scalars, fermions, gauge bosons), groups, and couplings.
2. Automatic Matching: Dimensional reduction is executed at one-loop order via a single command, with model-specific options for operator dimension and loop order.
3. Handling of Static Limit: The process identifies zero modes, separates spatial and temporal structures, and replaces gauge couplings with their spatial counterparts.
4. Basis Reduction: The output Lagrangian is simplified to either an off-shell or on-shell basis using Matchete's adapted routines, now generalized for static EFTs.
5. Supersoft Matching: Temporal gauge fields (acquiring Debye masses during dimensional reduction) are integrated out in a fully automated fashion, yielding the final supersoft EFT valid below the Debye scale.

The package features specialized routines for thermal power counting, allowing systematic truncation in coupling expansions and operator dimension. It also supports arbitrary spacetime dimensions—a capability important for cross-checks and certain applications.

Validation and Performance

Matchotter has undergone comprehensive validation against a suite of models frequently referenced in the literature. Strong numerical agreement is found with previous analytic results for:

• Pure $SU(N)$ Yang-Mills theory [Chapman:1994vk], with only trivial operator mismatches resolved by going on-shell.
• Abelian Higgs model [Bernardo:2025vkz] and its supersoft limit.
• Yukawa toy models including operators up to dimension 8 [Chala:2024xll].
• Electroweak sector of SMEFT [Chala:2025aiz, Chala:2025xlk], with discrepancies traced to ancillary file errors in original publications.
• One-loop renormalization group equations via dimensional reduction in $d \neq 3$ [Chala:2025crd].

Time benchmarks indicate high efficiency: dimension-6 SMEFT reduction completes in $\sim$30 minutes on workstation-class hardware.

Practical Application

Using Matchotter in practice involves only defining the UV model, executing dimensional reduction, and then manipulating the EFT with built-in algebraic tools. As an explicit demonstration, dimensional reduction of a toy model with higher-dimensional scalar-fermion-gauge interactions precisely reproduces analytic results for the induced quartic operator, including its dependence on the thermal scale and coupling structure. Supersoft matching is performed automatically, with thermal power counting ensuring manageable truncation of generated operators.

Implications and Future Directions

The introduction of Matchotter addresses a critical bottleneck in automating dimensional reduction for thermal EFTs, facilitating rigorous phenomenological exploration of phase transitions and their traces in cosmological observables. The theoretical advances in functional techniques for thermal matching provide not just computational efficiency, but also preserve gauge covariance and assure systematic expansion in operator dimension and loop order.

The automation and generality of Matchotter allow immediate practical use for studies of new physics in the early universe, including gravitational wave backgrounds and baryogenesis. Importantly, future developments are anticipated to extend the functional formalism to two-loop and higher-loop orders, contingent upon further refinement of gauge-fixing strategies and sum-integral reduction techniques. Integration with ongoing advances in two-loop automation in Matchete is structurally feasible.

Conclusion

Matchotter represents a robust, validated, and efficient automation of one-loop dimensional reduction in finite-temperature quantum field theories. It enables researchers to derive and manipulate static, spatial EFTs—including higher-dimensional operator effects—directly from UV Lagrangians with minimal manual intervention. The combination of functional theoretical advances and modern software design ensures high accuracy and reliability across a wide range of models, providing a solid foundation for extending precision thermal EFT studies and for eventual high-loop automation. This work substantially reduces computational barriers for the community, directly advancing the theoretical underpinning and practical capabilities required for frontier cosmological and particle physics research.