Perturbative effective field theory expansions for cosmological phase transitions

Guided by previous non-perturbative lattice simulations of a two-step electroweak phase transition, we reformulate the perturbative analysis of equilibrium thermodynamics for generic cosmological phase transitions in terms of effective field theory (EFT) expansions. Based on thermal scale hierarchies, we argue that the scale of many interesting phase transitions is in-between the soft and ultrasoft energy scales, which have been the focus of studies utilising high-temperature dimensional reduction. The corresponding EFT expansions provide a handle to control the perturbative expansion, and allow us to avoid spurious infrared divergences, imaginary parts, gauge dependence and renormalisation scale dependence that have plagued previous studies. As a direct application, we present a novel approach to two-step electroweak phase transitions, by constructing separate effective descriptions for two consecutive transitions. Our approach provides simple expressions for effective potentials separately in different phases, a numerically inexpensive method to determine thermodynamics, and significantly improves agreement with the non-perturbative lattice simulations.Comment: 58 pages, 14 figure

Singlet-assisted electroweak phase transition at two loops

We investigate the electroweak phase transition in the real-singlet extension of the Standard Model at two-loop level, building upon existing one-loop studies. We calculate the effective potential in the high-temperature approximation and detail the required resummations at two-loop order. In typical strongtransition scenarios, we find deviations of order 20%-50% from one-loop results in transition strength and critical temperature for both one- and two-step phase transitions. For extremely strong transitions, the discrepancy with one-loop predictions is even larger, presumably due to sizable scalar couplings in the tree-level potential. Along the way, we obtain a dimensionally reduced effective theory applicable for nonperturbative lattice studies of the model.Peer reviewe

Combining thermal resummation and gauge invariance for electroweak phase transition

For computing thermodynamics of the electroweak phase transition, we discuss a minimal approach that reconciles both gauge invariance and thermal resummation. Such a minimal setup consists of a two-loop dimensional reduction to three-dimensional effective theory, a one-loop computation of the effective potential and its expansion around the leading-order minima within the effective theory. This approach is tractable and provides formulae for resummation that are arguably no more complicated than those that appear in standard techniques ubiquitous in the literature. In particular, we implement renormalisation group improvement related to the hard thermal scale. Despite its generic nature, we present this approach for the complex singlet extension of the Standard Model which has interesting prospects for high energy collider phenomenology and dark matter predictions. The presented expressions can be used in future studies of phase transition thermodynamics and gravitational wave production in this model.Peer reviewe

Robust approach to thermal resummation : Standard Model meets a singlet

Perturbation theory alone fails to describe thermodynamics of the electroweak phase transition. We review a technique combining perturbative and non-perturbative methods to overcome this challenge. Accordingly, the principal theme is a tutorial of high-temperature dimensional reduction. We present an explicit derivation with a real singlet scalar and compute the thermal effective potential at two-loop order. In particular, we detail the dimensional reduction for a real-singlet extended Standard Model. The resulting effective theory will impact future non-perturbative studies based on lattice simulations as well as purely perturbative investigations.Peer reviewe

Perturbative effective field theory expansions for cosmological phase transitions

Guided by previous non-perturbative lattice simulations of a two-step electroweak phase transition, we reformulate the perturbative analysis of equilibrium thermodynamics for generic cosmological phase transitions in terms of effective field theory (EFT) expansions. Based on thermal scale hierarchies, we argue that the scale of many interesting phase transitions is in-between the soft and ultrasoft energy scales, which have been the focus of studies utilising high-temperature dimensional reduction. The corresponding EFT expansions provide a handle to control the perturbative expansion, and allow us to avoid spurious infrared divergences, imaginary parts, gauge dependence and renormalisation scale dependence that have plagued previous studies. As a direct application, we present a novel approach to two-step electroweak phase transitions, by constructing separate effective descriptions for two consecutive transitions. Our approach provides simple expressions for effective potentials separately in different phases, a numerically inexpensive method to determine thermodynamics, and significantly improves agreement with the non-perturbative lattice simulations

Dimensional reduction of the Standard Model coupled to a new singlet scalar field

We derive an effective dimensionally reduced theory for the Standard Model augmented by a real singlet scalar. We treat the singlet as a superheavy field and integrate it out, leaving an effective theory involving only the Higgs and SU(2)(L) x U(1)(y) gauge fields, identical to the one studied previously for the Standard Model. This opens up the possibility of efficiently computing the order and strength of the electroweak phase transition, numerically and nonperturbatively, in this extension of the Standard Model. Understanding the phase diagram is crucial for models of electroweak baryogenesis and for studying the production of gravitational waves at thermal phase transitions.Peer reviewe

Computing the gauge-invariant bubble nucleation rate in finite temperature effective field theory

A gauge-invariant framework for computing bubble nucleation rates at finite temperature in the presence of radiative barriers was presented and advocated for model-building and phenomenological studies in an accompanying article [1]. Here, we detail this computation using the Abelian Higgs Model as an illustrative example. Subsequently, we recast this approach in the dimensionally-reduced high-temperature effective field theory for nucleation. This allows for including several higher order thermal resummations and furthermore delineate clearly the approach's limits of validity. This approach provides for robust perturbative treatments of bubble nucleation during possible first-order cosmic phase transitions, with implications for electroweak baryogenesis and production of a stochastic gravitational wave background. Furthermore, it yields a sound comparison between results of perturbative and non-perturbative computations.Peer reviewe

Three-dimensional effective theories for the two Higgs doublet model at high temperature

Due to the infrared problem of high-temperature field theory, a robust study of the electroweak phase transition (EWPT) requires use of non-perturbative methods. We apply the method of high-temperature dimensional reduction to the two Higgs doublet model (2HDM) to obtain three-dimensional effective theories that can be used for non-perturbative simulations. A detailed derivation of the mapping between the full four-dimensional and the effective three-dimensional theories is presented. The results will be used in future lattice studies of the 2HDM. In the limit of large mass mixing between the doublets, existing lattice results can be recycled. The results of such a study are presented in a companion paper.Peer reviewe