DRalgo: a package for effective field theory approach for thermal phase transitions
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 reserved pith:EDBR2QJRrecord.jsonopen to challenge →
read the original 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.
This paper has not been read by Pith yet.
Forward citations
Cited by 12 Pith papers
-
Matching higher-dimensional operators at finite temperature for general models
The authors automate matching of generic 3D dimension-five and -six operators for arbitrary models, implemented in an extension of DRalgo with public code and examples for scalar-Yukawa, hot QCD, and the full Standard Model.
-
Finite-temperature operator basis on $\mathbb{R}^3 \times S^1$ for SMEFT
The paper delivers the first complete non-redundant dimension-six operator basis for SMEFT at finite temperature using the Hilbert series on R^3 x S^1.
-
LeWRON: Agentic Analysis of Electroweak Phase Transitions
LeWRON is a new agentic framework that automates construction, auditing, and exploration of finite-temperature effective potentials and gravitational-wave predictions for electroweak phase transitions starting from an...
-
SIRENA -- Sum-Integral REductioN Algorithm
SIRENA automates IBP reduction of sum-integrals in finite-temperature QFT, reproduces known results to 3 loops, supplies new 3-loop fermionic reductions, and derives an analytic factorization formula for arbitrary 2-l...
-
Polyakov Loops Tame Phase Transitions
Polyakov loop contributions to the thermal effective potential soften electroweak phase transitions, disfavoring first-order transitions and suppressing gravitational-wave signals.
-
Theoretical consistency and phenomenology of supercooled cosmological phase transitions
Applies high-T dimensional reduction for the first time to a classically scale-invariant model, computes NLO nucleation rate via determinants, and predicts LISA-detectable GW from supercooled PT in SU(2)cSM.
-
Matchotter: An Automated Tool for Dimensional Reduction at Finite Temperature
Matchotter automates one-loop finite-temperature dimensional reduction and supersoft matching for generic Lagrangians using functional techniques.
-
Reviving WIMP dark matter with temperature-dependent couplings
Temperature-dependent DM couplings mediated by a scalar field's VEV that drops after a first-order phase transition allow sufficient early-universe annihilations for the observed relic density while evading current di...
-
A critical look at low-scale cosmological phase transitions in the PTA era
Precision study of dark sector phase transitions finds PTA-favored parameters near EFT breakdown with disfavored GW signals after higher-order corrections.
-
HydroGrav: Precise hydrodynamics and gravitational waves for cosmological phase transitions
HydroGrav code computes self-similar fluid profiles and GW spectra using exact EOS from effective potentials for EWPT models, identifying parameter regions in a Z2 SM extension where simplified EOS differ in amplitude...
-
Higher-dimensional operators and Polyakov loop in hot Scalar QED from the heat kernel
Computes dimension-six operators in finite-temperature massive scalar QED via heat kernel methods and evaluates their combined effect with the Polyakov loop on first-order phase transition thermodynamics.
-
Thermodynamical uncertainties for primordial black holes from cosmological phase transitions
A state-of-the-art thermodynamic analysis of supercooled phase transitions yields a universal lower bound β/H_* ≃ 5 and shows that viable PBH dark-matter parameter space in classically conformal gauge-Higgs theories i...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.