DRalgo: a package for effective field theory approach for thermal phase transitions

TL;DR

DRalgo is a Mathematica package that automates the construction of effective high-temperature field theories, including thermal corrections and matching procedures, to facilitate studies of thermal phase transitions in various models.

Contribution

It introduces a new software tool that automates the effective theory matching and thermal corrections calculation for generic models, enhancing research efficiency.

Findings

Automates next-to-leading order matching for effective theories.

Includes two-loop thermal corrections to scalar and Debye masses.

Provides leading-order beta functions for gauge charges and fermion families.

Abstract

DRalgo is an algorithmic implementation that constructs an effective, dimensionally reduced, high-temperature field theory for generic models. The corresponding Mathematica package automatically performs the matching to next-to-leading order. This includes two-loop thermal corrections to scalar and Debye masses as well as one-loop thermal corrections to couplings. DRalgo also allows for integrating out additional heavy scalars. Along the way, the package provides leading-order beta functions for general gauge-charges and fermion-families; both in the fundamental and in the effective theory. Finally, the package computes the finite-temperature effective potential within the effective theory. The article explains the theory of the underlying algorithm while introducing the software on a pedagogical level.