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

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.

Automated summary

DRalgo is an algorithmic implementation for constructing an efficient, dimensionally reduced, high-temperature field theory. The corresponding Mathematica package automatically matches to next-to-leading order, including two-loop thermal corrections and one-loop thermal corrections for couplings. DRalgo also allows integrating out heavy scalars and provides leading-order beta functions for general gauge-charges and fermion-families. It computes the finite-temperature effective potential within the effective theory. The article explains the theory while introducing the software on a pedagogical level.