We critically examine the magnitude of theoretical uncertainties in perturbative calculations of fist-order phase transitions, using the Standard Model effective field theory as our guide. In the usual daisy-resummed approach, we find large uncertainties due to renormalisation scale dependence, which amount to two to three orders-of-magnitude uncertainty in the peak gravitational wave amplitude, relevant to experiments such as LISA. Alternatively, utilising dimensional reduction in a more sophisticated perturbative approach drastically reduces this scale dependence, pushing it to higher orders. Further, this approach resolves other thorny problems with daisy resummation: it is gauge invariant which is explicitly demonstrated for the Standard Model, and avoids an uncontrolled derivative expansion in the bubble nucleation rate.

Abstract: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 × 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.

Making use of a dimensionally-reduced effective theory at high temperature, we perform a nonperturbative study of the electroweak phase transition in the Two Higgs Doublet model. We focus on two phenomenologically allowed points in the parameter space, carrying out dynamical lattice simulations to determine the equilibrium properties of the transition. We discuss the shortcomings of conventional perturbative approaches based on the resummed effective potential -regarding the insufficient handling of infrared resummation but also the need to account for corrections beyond 1-loop order in the presence of large scalar couplings -and demonstrate that greater accuracy can be achieved with perturbative methods within the effective theory. We find that in the presence of very large scalar couplings, strong phase transitions cannot be reliably studied with any of the methods. arXiv:1904.01329v2 [hep-ph] 24 Jun 2019 7 Conclusions 27 A Renormalization in the MS scheme 29 -1 -redefinition of µ 2 12 and λ5 and renders the model CP conserving. 3 The Type-X and Type-Y 2HDMs are also referred to as the lepton-specific and flipped 2HDMs, respectively [19].

We present the first end-to-end nonperturbative analysis of the gravitational wave power spectrum from a thermal first-order electroweak phase transition (EWPT), using the framework of dimensionally reduced effective field theory and pre-existing nonperturbative simulation results. We are able to show that a first-order EWPT in any beyond the Standard Model (BSM) scenario that can be described by a Standard Model-like effective theory at long distances will produce gravitational wave signatures too weak to be observed at existing and planned detectors. This implies that colliders are likely to provide the best chance of exploring the phase structure of such theories, while transitions strong enough to be detected at gravitational wave experiments require either previously neglected higher-dimension operators or light BSM fields to be included in the dimensionally reduced effective theory and therefore necessitate dedicated nonperturbative studies. As a concrete application, we analyze the real singlet-extended Standard Model and identify regions of parameter space with single-step first-order transitions, comparing our findings to those obtained using a fully perturbative method. We discuss the prospects for exploring the electroweak phase diagram in this model at collider and gravitational wave experiments in light of our nonperturbative results.