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

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. Program summaryProgram title: Dimensional Reduction algorithm (DRalgo) 1.0CPC Library link to program files:https://doi.org/10.17632/k66j9vmh9r.1Developer's repository link:https://github.com/DR-algo/DRalgoLicensing provisions: GNU General Public License 3Programming language:MathematicaExternal routines/libraries:GroupMath [1]Nature of problem: Construction of high-temperature effective field theories for beyond the Standard Model physics.Solution method: Matching of n-point correlation functions using tensor-notation of couplings [2–6]Additional comments including restrictions and unusual features:Mathematica version 12 or above.