Thermal Resummation and Phase Transitions

The consequences of phase transitions in the early universe are becoming testable in a variety of manners, from colliders physics to gravitational wave astronomy. In particular one phase transition we know of, the Electroweak Phase Transition (EWPT), could potentially be first order in BSM scenarios and testable in the near future. If confirmed this could provide a mechanism for Baryogenesis, which is one of the most important outstanding questions in physics. To reliably make predictions it is necessary to have full control of the finite temperature scalar potentials. However, as we show the standard methods used in BSM physics to improve phase transition calculations, resumming hard thermal loops, introduces significant errors into the scalar potential. In addition, the standard methods make it impossible to match theories to an EFT description reliably. In this paper we define a thermal resummation procedure based on Partial Dressing (PD) for general BSM calculations of phase transitions beyond the high-temperature approximation. Additionally, we introduce the modified Optimized Partial Dressing (OPD) procedure, which is numerically nearly as efficient as old incorrect methods, while yielding identical results to the full PD calculation. This can be easily applied to future BSM studies of phase transitions in the early universe. As an example, we show that in unmixed singlet scalar extensions of the SM, the (O)PD calculations make new phenomenological predictions compared to previous analyses. An important future application is the study of EFTs at finite temperature.


Introduction
Thermal phase transitions are ubiquitous phenomena in nature, but in fundamental physics they are difficult to study, and very few are known. In the SM there are phase transitions associated with QCD and the EW symmetry. The QCD phase transition can be studied directly in heavy ion collisions, with rapid progress over the last decade [1]. However, the EW phase transition (EWPT) is far out of reach of direct testability. Going beyond the Standard Model (BSM), the nature of the EW phase transition could change, and there could be additional phase transitions unrelated to the EWPT but still screened from us by the CMB. Nevertheless, even without direct measurements of the EWPT in the near future these phenomena can be indirectly studied, with profound consequences for our understanding of the early universe. The EWPT and other phase transitions can have correlated signals detectable at current and future colliders, and in the burgeoning field of gravitational wave astronomy. Therefore, it is important to have as much control of the underlying Finite-Temperature Quantum Field Theory (FTQFT) calculations as possible, so that potential signals are reliably understood and predicted. This is the aim of this paper, and we will introduce new methods in FTQFT to capture the effects of BSM physics on phase transitions. While our results will be general, we single out the EWPT for special study given its possible deep connection to another fundamental question in particle physics.
One of the most profound mysteries in particle physics is our mere existence, and that of all baryons in the universe. A dynamical explanation for our universe containing an excess of matter over antimatter requires BSM physics. At some time in the history of the primordial plasma, after reheating but before Big Bang Nucleosynthesis (T ∼ GeV), a mechanism of baryogenesis has to create the observed baryon asymmetry [2,3] This requires the three Sakharov conditions [4] to be satisfied: baryon number (B) violation, CP violation, and a sufficiently sharp departure from thermal equilibrium. Electroweak Baryogenesis [5][6][7][8][9][10][11] is a very appealing possibility, since all involved processes must occur near the weak scale, making it in principle testable. (See [12][13][14][15][16][17] for reviews.) In the SM, high temperature effects stabilize the Higgs field at the origin, restoring electroweak symmetry [18,19]. In this high-temperature unbroken phase, the SM in fact contains a (B + L)-violating process in the form of nonperturbative sphaleron transitions, which can convert a chiral asymmetry into a baryon asymmetry. The EWPT from the unbroken to the broken phase at T ∼ 100 GeV provides, in principle, a departure from thermal equilibrium. In the presence of sufficient CP -violation in the plasma, a baryon excess can be generated EWBG cannot function within the SM alone. There is insufficient CP -violation (see for example [14]), and the EWPT is not first order for m h 70 GeV [20,21]. Additional BSM physics is required to generate a strong phase transition (PT) and supply additional CP -violating interactions in the plasma.
The sectors of a theory which generate the strong phase transition, and generate baryon number via CP -violating interactions in the plasma, do not have to be connected (though they can be). Since one of the most appealing features of EWBG is its testability, it makes sense to consider these two conditions and their signatures separately. The ultimate aim is a model-independent understanding of the collider, low-energy, and cosmological signatures predicted by all the various incarnations of EWBG.
We will focus on the strong electroweak phase transition. If it is first order, there is a critical temperature T c where the Higgs potential has two degenerate minima h = 0 and v c , separated by an energy barrier. As the temperature decreases, the minimum away from the origin becomes the true vacuum, the Higgs field tunnels to the broken phase, and bubbles of true vacuum expand to fill the universe. A necessary condition for avoiding baryon washout is that v c is sufficiently large to suppress sphalerons. Specifically, a BSM theory which realizes EWBG has to satisfy v c T c > 0.6 − 1.6 . (1.2) In most cases we will adopt the lower value of 0.6 as our cutoff [78] to be as inclusive as possible (though it is sometimes instructive to examine the parameter space that survives the more standard v c /T c > 1 criterion.) This is a useful way of checking whether a given BSM scenario is a viable candidate for EWBG, as well as determining the correlated signatures we could measure today. Computing this ratio seems like a straightforward exercise, and a standard recipe has been adopted in the literature for computing the EWPT in BSM models (see e.g. [16] for a review). This involves constructing the one-loop effective Higgs potential at finite temperature by using a well-known generalization of the standard Coleman-Weinberg potential; possibly including a selection of the most important higher-loop effects and/or RG-improvements; and resumming an important set of contributions called hard thermal loops.
We carefully review this calculation in Section 2. Our focus is the resummation of hard thermal loops. The standard procedure, which we call Truncated Full Dressing (TFD), involves a very simple computation of thermal masses Π i ∼ T 2 for particles i in the plasma, to leading order in the hightemperature approximation, and inserting them back into the effective potential [79][80][81].
Various extensions of this simple recipe, to include higher-order corrections in temperature or coupling, have been explored roughly twenty years ago in the context of φ 4 theories [82][83][84][85][86][87]. However, possibly because the consensus on the (most) correct generalization seemed unclear, and the involved calculations seemed onerous to perform for every BSM theory, these improvements have not found wide application in the study of the EWPT in general BSM scenarios.
We revisit these issues in a modern light, with a focus on the study of general BSM effects which can induce a strong EWPT. A simple and easily implementable extension of the TFD calculation is urgently required for two reasons: to correctly determine the phenomenology of EWBG, and to understand Effective Field Theory (EFT) at finite temperature.
Since the high-temperature expansion of Π i is truncated at the leading term, it is only accurate to O(m/T ). This can easily be ∼ 40% at T = T c , and vary with the Higgs field since its VEV determines particle masses. While this does not directly translate to a corresponding error on the full effective potential, an important class of (particularly testable) EWBG theories generates a strong EWPT via a partial cancellation between Π i and tree-level parameters. In this case, accurate determination of the thermal masses, and their h-dependence, is clearly necessary to have confidence in the results of the phase transition computation, and hence the observables correlated with EWBG.
Effective Field Theories (EFTs) are a powerful tool to parameterize general new physics effects at zero temperature as a set of non-renormalizable operators involving SM fields. To understand the signatures of EWBG in a model-independent fashion, one would like to extend such an EFT analysis to finite temperature. Early attempts like [88][89][90] suggested that a |H| 6 operator could induce a strong EWPT in correlation with sizable deviations in the cubic Higgs self-coupling, which could be detected with the next generation of future lepton [91,92] and 100 TeV [93,94] colliders, or even the HL-LHC [95][96][97][98][99]. Unfortunately, EFTs at finite Temperature are very poorly understood. For example, the effects of a particle with a mass of 300 GeV are quite well described in an EFT framework for collider experiments with √ s = 100 GeV, but it seems doubtful that this is the case for temperatures of T = 100 GeV, since thermal fluctuations can excite modes somewhat heavier than T . Without understanding these effects in detail, we cannot know the EFT's radius of convergence in field space or temperature, and hence know whether its predictions regarding the EWPT can be trusted. Since the assumptions of the high-temperature approximation (T m) for Π i in TFD are fundamentally incompatible with the assumptions of an finite-temperature EFT analysis (T m), careful study of these decoupling effects during a phase transition, and EFT matching at finite temperature, requires a more complete treatment of thermal masses.
In this work, we develop a consistent, easily implementable procedure for the numerical computation and resummation of thermal masses in general BSM theories, beyond leading order in temperature and coupling.
We examine two competing approaches which were proposed in the context of φ 4 theories: Full Dressing (FD) [82][83][84] and Partial Dressing (PD) [85]. We verified the claims of [85] that PD avoids the problem of miscounting diagrams beyond one-loop order [86,87], and that it generalizes beyond O(T 2 ). We therefore focus on PD. We review its formal underpinnings in Section 3 and outline how to generalize it to BSM theories, in general without relying on the high-temperature approximation.
Applying the PD procedure beyond the high-temperature approximation requires numerically solving a type of finite-temperature gap equation. We outline the implementation of this calculation in Section 4 in the context of a specific BSM benchmark model. Computing the strength of the EWPT with PD is extremely numerically intensive, necessitating the use of a custom-built c++ code. This allows us to study the importance of resummed finite-temperature effects for the phase transition, but is impractical for future BSM studies. We show it is possible to modify PD by extending the gap equation and implementing certain approximations. This greatly increases numerical reliability, while reducing CPU cost by several orders of magnitude. We call this updated resummation procedure Optimized Partial Dressing (OPD) and show it is equivalent to PD for BSM studies of the EWPT.
OPD is only slightly more CPU-intensive than the standard TFD calculation used in most studies of the EWPT to date, and very easy to implement in Mathematica. We hope that this calculation, which is explained in Section 4 and summarized in the form of an instruction manual in Appendix A, will be useful in the future study of the EWPT for BSM theories. The BSM model we use to develop and evaluate the PD and OPD resummation schemes is the SM with N S added singlets transforming under an unbroken O(N S ) symmetry in our vacuum (or Z 2 if N S = 1) and coupling to the SM via a quartic Higgs portal λ HS |H| 2 S 2 i without Higgs mixing. This benchmark model serves as a useful "worst-case scenario" for the collider phenomenology of EWBG, since it can produce a strong EWPT in a variety of ways which are representative of more complete theories, while generating the minimal set of collider signatures consistent with EWBG. The authors of [100] studied this scenario with N S = 1 using the TFD calculation, making progress towards a "phenomenological no-lose theorem for EWBG" by showing that the future 100 TeV and lepton colliders could probe its EWBG-compatible parameter space completely. We update and generalize this phenomenological analysis for N S ≥ 1 in the PD scheme. As shown in Section 5, the "no-lose theorem" is strengthened, with EWPTs caused by larger numbers of scalars being easier to detect at colliders.
Phenomenologically, the main lessons of the updated PD calculation are that the detailed correlations between a strong EWPT and collider observables can be significantly shifted, especially in more complete theories of EWBG than our SM + N S × S benchmark model. Furthermore, two-step transitions are more prevalent than suggested by earlier TFD calculations. This raises the exciting prospect of discovering the traces of a strong two-step transition with gravitational wave observations [101,102]. Finally, unlike (O)PD, the TFD calculation overestimates the reliability of the finitetemperature EWPT calculation, underlining the importance of tracking error terms when computing the strength of the PT. This paper is structured as follows. The standard TFD calculation of the EWPT is pedagogically reviewed in Section 2. Section 3 lays the formal groundwork of the PD scheme, while the implementation of the full calculation and its extension to the OPD scheme is described in Section 4. The differences in physical predictions between the standard TFD and the new (O)PD calculation are explored in Section 5. We conclude in Section 6, and provide an instruction manual for easy implementation of the OPD calculation for the EWPT in Appendix A.

Review: Calculating the Electroweak Phase Transition
We now review the standard computation of the finite-temperature Higgs potential in BSM theories (see e.g. [16]). We call the leading-order thermal mass resummation [79][80][81] TFD, to contrast with the PD procedure which we review and develop further in Sections 3 and 4. This will make plain some important shortcomings of TFD.
As a BSM benchmark, we consider the SM with N S added real SM-singlet scalar fields S i obeying an O(N S ) symmetry (or Z 2 if N S = 1). We are also interested in regions of parameter space where this symmetry is unbroken in the zero-temperature vacuum of our universe today (i.e. S i = 0). This forbids Higgs-Singlet mixing, which significantly simplifies several formal aspects of thermal mass resummation. Unmixed singlet extensions also represent a useful "phenomenological nightmare sce-nario" for EWBG [100] with minimal experimental signatures. We show in Section 5 that this model can nonetheless be completely probed by the next generation of colliders.

Tree-level Potential
The tree-level scalar potential is We focus on the real h component of the SM Higgs doublet H = (G + , (h+iG 0 )/ √ 2) which acquires a VEV during EWSB. Without loss of generality, we also assume that any excursion in S-field-space occurs along the S 0 direction. Therefore, the relevant part of the tree-level potential is . . which determine the form of one-loop contributions as outlined below.) Our aim is to obtain the effective potential V eff (h, S, T ) at one-loop order.

Coleman Weinberg Potential
At zero-temperature, the one-loop effective potential can be written as The Coleman-Weinberg potential is the zero-momentum piece of the zero-temperature effective action, and is a sum of 1PI one-loop diagrams with arbitrary numbers of external h and S 0 fields and particles i = {t, W, Z, h, G ± , G 0 , S 0 , S k , . . .} running in the loop (where k > 0). Note that we are working in Landau gauge to avoid ghost-compensating terms, which requires including the Goldstone contributions separately, in addition to the massive W , Z bosons. (We discuss issues of gauge invariance in Section 2.6.) The dependence of the i th particle tree-level mass m 2 i = m 2 i (h, S) on the VEVs of h and S determines V CW . Summing over all contributions gives [103]: where e.g. m h (h, S 0 ) = −µ 2 + 3λh 2 + λ HS S 2 0 and k E is the euclidian momentum of particle i in the loop. We adopt the dimensional regularization scheme and MS renormalization scheme, with the usual = 2 − D 2 . This makes one-loop matching more onerous than the on-shell renormalization scheme, but allows for the potential to be RG-improved more easily. The result is Hereafter we drop the explicit h, S dependence of the masses for brevity.) µ R is the renormalization scale, and variation of physical observables after matching with different values of µ R is a common way of assessing the uncertainty of our results due to the finite one-loop perturbative expansion. Adding counterterms and removing divergences yields the familiar expression where F = 1(0) for fermions (bosons), c i = 3 2 ( 5 2 ) for scalars/fermions (vectors), and g i is the number of degrees of freedom associated with the particle i.

Finite Temperature
Finite-temperature quantum field theory (FTQFT) enables the computation of observables, like scalar field vacuum expectation values, in the background of a thermal bath. The corresponding Greens functions can be computed by compactifying time along the imaginary direction, for details see e.g. [16]. To get an intuitive idea of finite-temperature effects on the one-loop effective potential, it is useful to consider integrals of the form where k 0 is the time-like component of the loop momentum. This can be evaluated in FTQFT as where ω n = 2nπT and (2n + 1)πT are the Matsubara frequencies for bosons and fermions, respectively. Eq. (2.8) can be written in the instructive form: where η = ±1 for bosons/fermions and n(z) = (e z/T − η) −1 are the standard Fermi-Dirac/Bose-Einstein distribution functions, for a particular choice of contour C. The first term, which is n(z) independent, is simply the usual zero-temperature loop integral, while the second term is the new contribution from thermal loops in the plasma. This makes effects like thermal decoupling very apparent -if the particle mass is much larger than the temperature, its contribution to the second loop integral will vanish as n(z) → 0.
Applying this formalism to the one-loop effective potential at finite temperature generalizes Eq. (2.3): where the second term is the usual Coleman-Weinberg potential, and the third term is the one-loop thermal potential with thermal functions which vanish as T → 0. Note that y 2 can be negative. The thermal functions have very useful closed forms in the high-temperature limit, where a b = π 2 exp(3/2−2γ E ) and a f = 16π 2 exp(3/2−2γ E ). This high-T expansion includes more terms, but they do not significantly increase the radius of convergence. With the log term included, this approximation for both the potential and its derivatives is accurate to better than ∼ 10% even for m ∼ (1 − 3) × T (depending on the function and order of derivative), but breaks down completely beyond that. The low-temperature limit (|y 2 | 1) also has a useful expansion in terms of modified Bessel functions of the second kind: This expansion can be truncated at a few terms, m = 2 or 3, and yield very good accuracy, but convergence for smaller |y 2 | is improved by including more terms. For negative m 2 i , the effective potential (both zero-and finite-temperature) includes imaginary contributions, which were discussed in [90]. These are related to decay widths of modes expanded around unstable regions of field space, and do not affect the computation of the phase transition. Therefore, we always analyze only the real part of the effective potential.

Resummation of the Thermal Mass: Truncated Full Dressing (TFD)
The effective potential defined in Eq. (2.10) can be evaluated at different temperatures to find v c and T c . The high-temperature expansion of J B already reveals how one particular BSM effect could induce a strong EWPT. If a light boson is added to the plasma with m 2 i ∼ h 2 , then the −y 3 term in J B will generate a negative cubic term −h 3 in the effective potential, which can generate an energy barrier between two degenerate vacua. However, the calculation of the effective finite-temperature potential is still incomplete. There is a very well-known problem which must be addressed in order to obtain a trustworthy calculation [79][80][81].
This can be anticipated from the fact that a symmetry, which is broken at zero temperature, is restored at high-temperature. Thermal loop effects overpower a temperature-independent tree-level potential. This signals a breakdown of fixed-order perturbation theory, which arises because in FTQFT a massive scalar theory has not one but two scales: µ and T . Large ratios of T /µ have to be resummed. (c) (d) Figure 1. Various scalar mass contributions in φ 4 theory: (a) one-loop mass correction, which is quadratically divergent at zero temperature, (b) higher-loop daisy contributions which are leading order in T and N at high temperature, (c) the two-loop "lollipop" contribution which is subleading in T and N to the two-loop daisy, (d) the three-loop superdaisy contribution, which is subleading in T but of equal order in N to the three-loop daisy.
To begin discussing thermal mass resummation, let us first consider not our BSM benchmark model but a much simpler φ 4 theory with quartic coupling λ and N scalar fields which obey a global O(N ) symmetry: (In fact, if we were to ignore fermions and gauge bosons, and set λ = λ HS = λ S , our BSM benchmark model would reduce to this case with N = N S + 4.) In FTQFT, the leading order high temperature behavior for diagrams with external scalar lines is directly related to the 0-temperature superficial degree of divergence d. Diagrams which have d > 0 have a T d high temperature behavior. For d ≤ 0, there is a linear T dependence. Appropriate factors of the coupling λ, N and the tree level mass parameter µ can be added from vertex counting and dimensional grounds. Therefore, the one-loop scalar mass correction shown in Fig. 1 (a) scales as ∼ N λT 2 to leading order in temperature, which is the "hard thermal loop". The phase transition occurs around the temperature where this thermal mass cancels the tree-level mass at the origin: At n-loop order, the leading contribution in temperature to the thermal mass is given by daisy diagrams shown in Fig. 1 (b): The ratio of the n to the n + 1 loop daisy contribution scales as which is not parametrically small during the phase transition, causing the perturbative expansion to break down. This can also be understood as an IR divergent contribution (in the high T limit) to the zero mode propagator.
To make the expansion more reliable, it is necessary to resum the the thermal mass by replacing the tree-level m 2 tree (φ) in Eq. (2.10) by m 2 (φ) = m 2 tree (φ) + Π(φ, T ), where in the standard method, Π is taken to be the leading contribution in temperature to the one-loop thermal mass. For scalars this can be obtained by differentiating V th with respect to φ: The ellipses represent subleading contributions in both the high-temperature expansion and coupling order, which are neglected. This substitution automatically includes daisy contributions to all orders in the effective potential. The largest contributions which are not included are the two-loop "lollipop" diagrams shown in Fig. 1 (c), scaling as λ 2 T 2 N , and the three-loop superdaisy shown in Fig. 1 (d), scaling as λ 3 T 4 N 3 /µ 2 . Reliability of the perturbative expansion with the above thermal mass substitution requires These are obtained by requiring the ratio of the one-loop thermal mass to the sunset and the ratio of the two-loop daisy to the three-loop daisy to be small. To illustrate how this resummation procedure is implemented in most BSM calculations, let us again turn to our SM + N S × S benchmark model. The "dressed" effective potential is given by and Π L GB is added only to the longitudinal gauge boson masses squared in the gauge basis, which are then diagonalized. Gauge symmetry suppresses thermal contributions to the transverse mode [83]. Note that fermions do not receive large thermal masses due to chiral symmetry protection. Furthermore, there are no zero modes ω n = (2n + 1)πT , and as a result no IR divergences appear in the fermion propagator.
As we explain in Section 3, substituting m 2 tree + Π directly into the effective potential is called Full Dressing (FD). Since the thermal mass Π is explicitly evaluated only to leading order in the hightemperature expansion, we refer to this resummation procedure as Truncated Full Dressing (TFD). TFD is the standard approach for BSM calculations of the EW phase transition.
If V i th is expanded using the high-Temperature approximation of Eq. (2.13), the field dependent terms in logs cancel cancel between V i CW and V i th . The y 2 term gives an overall contribution proportional to T 2 Π i , which is field-independent when using only the leading-order contribution to Π i in temperature. This just leaves the y 3 term, which can be captured by adding V i ring : Adding V i ring amounts to resumming the IR-divergent contributions to the Matsubara zero mode propagator. It is tantamount to performing the m 2 i → m 2 i + Π i replacement in the full effective potential, under the assumption that only the thermal mass of the zero mode matters, which is equivalent to making a high-Temperature approximation. This is the version of the finite-temperature effective potential used in most BSM calculations. In some cases, Eq. (2.23) is used but with the full finite-temperature V i th instead of the high-T expansion. This is more accurate when m i is comparable to the temperature, but in that case the assumptions that justify using V ring are explicitly violated, and Eq. (2.21) is the more consistent choice. In practice, there is not much numerical difference between these two recipes. As we discuss in Section 2.6, all of these TFD calculations have problems arising from using only the leading-order contribution of Π i in temperature.

Types of Electroweak Phase Transitions
It is well-known that in the SM for m h 70 GeV, the EWPT is not first-order [20,21]. To make the PT first order, new physics effects have to be added to the SM to generate an energy barrier between two degenerate vacua at T = T c . These BSM scenarios can be broadly classified into a few classes (see also [94,104]) based on the origin of the barrier between the two degenerate vacua. These are phase transitions driven by thermal effects, tree-level renormalizable effects, loop effects at zerotemperature and non-renormalizable operators. Note that our simple BSM benchmark model realizes the first three of these mechanisms. Rigorous study of the fourth mechanism will require the updated thermal resummation procedure we present in this paper.

PT driven by BSM Thermal Effects
It is possible that BSM bosonic degrees of freedom are present in the plasma. If they have the right mass and coupling to the SM Higgs, they can generate an energy barrier to make the PT strongly first order. Schematically, this can be understood as follows. If the boson(s) have tree-level mass m 2 i = µ 2 S + λ HS h 2 , the effective potential of Eq. (2.23) contains a term of the form If this term is dominated by the h-dependent piece at T = T c , the resulting ∼ −λ HS h 3 T negative cubic term can generate an energy barrier between two degenerate minima and catalyze a strong first order PT.
In order for this cubic term to be manifest, it is required that µ 2 S + Π S λ HS v 2 c . In the SM the W and Z bosons generate a cubic term, but their contribution is too small to make the SM EWPT first order. This can be enhanced in BSM scenarios by a partial cancellation between the new boson's thermal mass and a negative bare mass at T = T c .
The mass of these light BSM bosonic DOF cannot significantly exceed T c ∼ O(100 GeV) to ensure their thermal contributions are unsuppressed. This makes such EWBG scenarios prime candidates for discovery at the LHC, and possibly future colliders. It is therefore of paramount importance to robustly correlate the predicted collider signatures with the regions of parameter space which allow for a strong phase transition.
This mechanism relies on a partial cancellation between a zero-temperature mass and a thermal mass. However, in the standard calculation, the thermal mass is computed only to leading order in the high-T expansion. This is troubling, since (a) even within the high-T expansion, subleading terms in the expansion can change the thermal mass by O(40%) or more [105], and (b) the thermal mass should decrease for nonzero Higgs expectation values, since the bosons become heavier as h → v c and partially decouple from the plasma. This can affect the electroweak phase transition, and the corresponding predictions for collider observables from a strong EWPT. Addressing this issue will be one of the major goals of our work.

PT driven by tree-level renormalizable effects
It is possible to add new scalars to the SM Higgs potential, see e.g. [22,32,35,106]. In that case, the tree-level structure of the vacuum can be modified. For example, it is possible for the universe to first transition to a nonzero VEV of an additional singlet, only to transition to another vacuum with a nonzero Higgs VEV at a lower temperature. It is also possible for the Higgs to mix with new DOF (i.e. both the Higgs and the new DOF acquire VEVs in our vacuum). In that case, the tree-level potential can have a barrier between the origin and the EWSB minimum, resulting in a strong one-step phase transition at finite temperature.
These tree-driven one-or two-step PTs can easily be very strongly first order, but can also cause runaway bubbles, which are incompatible with sufficient BAU generation [107]. On the other hand, the strong nature of these PTs might make them discoverable by future gravitational wave observations [102]. It is therefore important to understand which regions of parameter space are associated with these types of phase transitions.
An intriguing version of the two-step EWBG scenario is possible when a triplet scalar is added to the SM [45][46][47]. In that case, the baryon asymmetry can be created in the first transition to the triplet-VEV-phase, and preserved in the second transition to the doublet-VEV phase which the universe inhabits at zero temperature.

PT driven by loop effects at zero temperature
New degrees of freedom with sizable couplings to the Higgs can generate non-analytical contributions to V CW at zero temperature which "lift" the local h = v minimum to a higher potential relative to the origin, compared to the SM. With this shallower potential well, SM Z and W boson thermal contributions can be strong enough to generate a cubic potential term at finite temperature, resulting in a strong PT. This was recently discussed in the context of future collider signatures by [100], and we will generalize their phenomenological results in this paper.

PT driven by non-renormalizable operators
The previous two phase transition classes are primarily associated with the zero-temperature effects of BSM degrees of freedom on the Higgs potential. If these states are sufficiently heavy, it might be reasonable to parametrize some of their effect in an EFT framework by adding a set or nonrenormalizable operators to the SM Higgs potential. This was used to correlate Higgs self-coupling deviations with a strong EWPT [88][89][90].
While EFT analyses are useful for analyzing broad classes of new physics effects, their construction and validity at finite temperature is not well-understood. 1 At zero-temperature experiments, like mono-energetic collisions with energy E, the effects of perturbatively coupled particle with mass m can be well described by an EFT if m/E > 1. This is not the case in a plasma, where the heavy state can be directly excited even if m/T is larger than unity, generating sizable thermal loop contributions. Furthermore, EFTs are problematic when studying phase transitions, since the spectrum which is integrated out changes between the two vacua. Finally, the agreement between a full theory including heavy states and an EFT description cannot presently be studied reliably. This is because in the TFD thermal mass resummation procedure, the effects of new particles in the full theory on light scalar thermal masses never decouples since Π ∼ T 2 is independent of contributing particle masses. The non-decoupling of high mass DOFs in the full theory calculation is clearly unphysical, preventing us from understanding the EFT's radius of convergence in field space and temperature. This provides another strong motivation for treating thermal masses more carefully.

Problems with the standard one-loop TFD calculation of the phase transition
There are a few ways in which the standard calculation with TFD thermal mass resummation, as outlined above, is incomplete and can be extended.
1. Resumming Goldstones: At zero temperature, SM Goldstone contributions must be resummed to eliminate the unphysical divergence in the derivatives of V CW when their masses at tree-level are zero [109,110]. The numerical effects of the Goldstone contributions, once resummed, are small, so we can deal with this by not including Goldstones in the loop calculations of certain couplings. In the MS scheme this is not a (numerical) problem as long as the tree-level Higgs VEV is somewhat shifted from the loop-level Higgs VEV.

Gauge dependence:
Since the potential is derived from the gauge-dependent 1PI effective action, v c is not a gauge-independent quantity. In the standard Landau-gauge-fixed calculation, we compute v c /T c as a proxy for the sphaleron energy in the broken phase (which is gauge independent), and the requirement that v c /T c > 0.6 is understood to be an approximate minimal necessary condition for EWBG to be plausible.
A fully gauge-independent calculation of T c and the sphaleron energy would make the calculation more reliable. This problem was considered by the authors of [78] in the high-temperature approximation. The gauge dependent potential without any thermal mass resummation is where ξ is the gauge parameter. Consider the gauge dependence of the third term V i th : a , and we have dropped fermion contributions which do not contain any gauge dependence. In the high-temperature expansion and for small ξ, the ξ-dependent contribution of DOF i charged under the gauge symmetry is Note that the O(T 2 ) term, and hence the dominant contribution to the thermal mass, is gaugeindependent. This means that T c only has a small gauge dependence, confirmed by [78] for small values of ξ. Furthermore, for singlet extensions the new contributions to the potential which drive the strong phase transition are by definition gauge-independent. Therefore we do not deal with the issue of gauge dependence here and proceed with the standard Landau gaugefixed calculation. Certainly, further work is needed to construct a fully gauge-independent general calculation of the strength of the electroweak phase transition, and to understand how sensitive the results of a gauge-fixed calculation are to the choice of gauge parameter.
3. RG-improvement: the convergence of the one-loop effective potential can be improved by using running couplings with 2-loop RGEs. This is independent of other improvements to the calculation and is most important when the theory contains sizable mass hierarchies. We will not discuss it further here.

4.
Higher-loop corrections: it is possible to evaluate higher-loop contributions to the zero-and finite-temperature effective potential, such as the 2-loop lollipop that is not included via thermal mass resummation. Alternatively, estimates of these contributions can be used to determine whether the one-loop expansion is reliable. In our BSM calculations we will carefully do the latter, using high-T approximations for the relevant diagrams.

Consistent Thermal Mass Resummation:
In the standard Truncated Full Dressing calculation outlined above, the effective finite-temperature Higgs potential is computed by inserting the truncated thermal masses Π i ∼ T 2 into the one-loop potential as shown in Eq. (2.21). This is also called "resumming hard thermal loops", since it amounts to resumming only the contribution to the Matsubara zero mode propagator. This is indeed correct, if those contributions dominate the sum of diagrams, which is the case in the extreme limit of the high-temperature approximation.
Early calculations that used this approximation [79][80][81]111] were interested mainly in the restoration of electroweak symmetry at high temperature. Determining T c with reasonable accuracy only requires considering the origin of the Higgs potential where the top and gauge boson masses are entirely dominated by thermal effects. In this case, the truncated high-T expansion for Π i is justified, though there are significant deviations which arise from subleading terms in the high-temperature expansion even at the origin.
However, when studying the strong first-order phase transition and computing v c , we have to deal with finite excursions in field space which by definition are comparable to the temperature.
For h ∼ T , masses which depend on the Higgs VEV due to a Higgs coupling strong enough to influence the PT cease to be small at tree-level compared to thermal effects, and should start decoupling smoothly from the plasma. The resulting h-dependence of Π i (h, T ) is therefore important. This is especially the case when the strong phase transition is driven by light bosons in the plasma, and therefore reliant on the partial cancellation between a zero-temperature mass and a thermal mass correction. Obtaining correct collider predictions of a strong EWPT requires going beyond the TFD scheme.
As mentioned previously, the high-T thermal mass resummation is also incompatible with any EFT framework of computing the electroweak phase transition, since in this approximation the contribution of heavy degrees of freedom to thermal masses does not decouple. This confounds efforts to find a consistent EFT description of theories at finite temperature. Since EFTs are such a powerful tool for understanding generic new physics effects at zero temperature, rigorously generalizing their use to finite temperature is highly motivated.
We will concentrate on ameliorating the problems associated with TFD thermal mass resummation. Some of the necessary components exist in the literature. It is understood that a full finitetemperature determination of the thermal mass can give significantly different answers from the high-T expansion for the thermal mass [105]. This was partially explored, to subleading order in the high-T -expansion, for φ 4 theories [82][83][84][85][86][87], but never in a full BSM calculation, without high-temperature approximations.
We will perform a consistent (to superdaisy order) finite-temperature thermal mass computation by numerically solving the associated gap equation and resumming its contributions in such a way as to avoid miscounting important higher-loop contributions. Since we are interested in the effect of adding new BSM scalars to the SM in order to generate a strong EWPT, we will be performing this procedure in the scalar sector only. We now explain this in the next section.
3 Formal aspects of finite-temperature mass resummation As outlined above, in a large class of BSM models a strong EWPT is generated due to new weakscale bosonic states with large couplings to the Higgs. A near-cancellation between the new boson's zero-temperature mass and thermal mass can generate a cubic term in the Higgs potential, which generates the required energy barrier between two degenerate minima h = 0, v c at T = T c . To more accurately study the phase transition (and correlated experimental predictions) in this class of theories, we would like to be able to compute the thermal masses Π i of scalars i beyond the hard thermal loop approximation used in TFD. In other words, rather than resumming only the lowestorder thermal mass in the high-temperature expansion, Π i ∼ T 2 , we aim to compute and resum the full field-and temperature-dependent thermal mass δm i (h, T ), with individual contributions to δm i accurately vanishing as degrees of freedom decouple from the plasma. We also aim to formulate this computation in such a way that it can be easily adapted for other BSM calculations, and the study of Effective Field Theories at finite Temperature.
A straightforward generalization of the TFD calculation might be formulated as follows. The finite-temperature scalar thermal masses can be obtained by solving a one-loop gap equation of the form where ∂ i represents the derivative with respect to the scalar i. The hard thermal loop result δm 2 i ∼ T 2 is the solution at leading order in large T /m. To obtain the finite-temperature thermal mass, we can simply keep additional orders of the high-T expansion, or indeed use the full finite-temperature thermal potential of Eqns. (2.11, 2.12) in the above gap equation. In the latter case, the equation must be solved numerically. Once a solution for δm 2 i (h, T ) is obtained, we can obtain the improved one-loop potential by substituting m 2 i → m 2 i + δm 2 i in V CW + V th as in Eq. (2.21). Solving this gap equation, and substituting the resulting mass correction into the effective potential itself, is called Full Dressing [82][83][84]. This procedure is physically intuitive, but it is not consistent. Two-loop daisy diagrams, which can be important at T = T c , are miscounted [86,87].
An alternative construction involves substituting m 2 i → m 2 i + δm 2 i in the first derivative of the effective potential. This tadpole resummation, called Partial Dressing, was outlined for φ 4 theories in [85]. The authors claim that PD correctly counts daisy and superdaisy diagrams to higher order than FD.
There appears to be some confusion in the literature as to whether FD or PD is correct [82][83][84][85][86][87], but we have repeated the calculations of [85], and confirm their conclusions. Partial Dressing (a) consistently resums the most dominant contributions in the high-temperature limit, where resummation is important for the convergence of the perturbative finite-temperature potential, (b) works to higher order in the high-temperature expansion, including the important log term, to correctly model decoupling of modes from the plasma, and (c) is easily adaptable to general BSM calculations. We review the important features of PD below and then outline how to generalize this procedure to numerically solve for the thermal mass at finite temperature.

Tadpole resummation in φ 4 theories
To explore the correct resummation procedure we first study a φ 4 theory with N real scalars obeying an O(N ) symmetry. This can then be generalized to the BSM theories of interest for EWBG. The tree-level potential is Without loss of generality, assume that all excursions in field space are along the φ 0 direction.
Resummation of the thermal mass is required when high-temperature effects cause the fixed-order perturbation expansion to break down. We are therefore justified in using the high-T expansion to study the details of the thermal mass resummation procedure and ensure diagrams are not miscounted. Conversely, when T ∼ m, there is no mismatch of scales to produce large ratios that have to be resummed. In this limit, the thermal mass will be less important, but should decouple accurately, and the resummed calculation should approach the fixed-order calculation. We now review how the PD procedure outlined in [85] achieves both of these objectives.

Partial Dressing Results for N = 1
We start by summarizing the main result of [85], which studied the N = 1 φ 4 theory in the hightemperature expansion. The first derivative of the one-loop effective potential V 1 = V CW + V th , see Eqns (2.6), (2.11) and (2.13), without any thermal mass resummation, is where L = ln µ 2 R T 2 − 3.9076 and the log-term arises from a cancellation between the zero-and finitetemperature potential. The tree-level scalar mass is m 2 = −µ 2 + λ 2 φ 2 . Differentiating this once again will yield the one-loop thermal mass shown in Fig. 2, as well as an electron-self-energy-type diagram for φ = 0 that descends from loop corrections to the quartic coupling. During the phase transition, α ≡ N λT 2 /m 2 ≈ 1, requiring daisies to be resummed. This is evident in Fig. 2 where we have inserted a factor ζ = 1 for reasons which will be made clear below. The PD procedure involves resumming these mass corrections by substituting m 2 → M 2 in the first derivative of the potential Eq. (3.3) rather than the potential itself. The potential is then obtained by integrating with respect to φ: By expanding the above in large T , one can show that V pd 1 correctly includes all daisy and super-daisy contributions shown (in the form of mass contributions) in Fig. 2, to both leading, sub-leading and log-order in temperature.
This partial dressing procedure does make one counting mistake, which is that all the sunset diagrams in Fig. 2, starting at 2-loop order and nonzero for φ = 0, are included with an overall multiplicative pre-factor of 3/2. This can be fixed by changing ζ in the gap equation (3.4) from 1 to 2/3, resulting in the one-loop effective potential Finally, non-daisy type diagrams, most importantly the two-loop lollipop in Fig. 2 and its daisydressed descendants, are by definition not included in this one-loop resummed potential. However, in the high-temperature limit they can be easily included by adding the explicit expression for the lollipoop loop tadpole (one external φ line, hence the name), with the same m 2 → M 2 (ζ = 2/3) substitution: can also be used, in which case 2-loop sunsets are not corrected.) This effective potential includes all daisy, superdaisy, sunset and lollipop contributions correctly, and is therefore correct to three-loop superdaisy order.

Comparing resummation schemes
We have verified that the above results generalize to O(N ) φ 4 theories, with N > 1. As mentioned above, at temperatures near the phase transition the parameter α ≡ N λT 2 /m 2 is ≈ 1, necessitating resummation. To compare different resummation approaches, let us first define which parameters are required to be small for the improved perturbative expansion to converge. Zero-temperature perturbation theory requires N λ 1 (3.9) (where the above equation, and other inequalities of its type, typically contain loop-and symmetryfactors which we usually suppress). Satisfying Eq. (3.9) means that during the phase transition, in regions of field space where α ≈ 1, the high-temperature expansion (whether in T /m or T /M ) is usually valid. In order for the series of high-temperature contributions to converge, the parameter β must also be small: An easy way to see this is to examine Fig. 2. Let us call the mass contribution of the one-loop ∼ T 2 diagram δm 1 , and the total contributions of the daisy, super-daisy, lollipop and suset family of diagrams δm 2 D , δm 2 SD , δm 2 LL , δm 2 SS respectively. After resummation in α, we obtain 2 Making use of α ≈ 1, these contributions arrange themselves in order of size: Clearly β is the relevant expansion parameter which has to be small for the series to converge. Furthermore, in terms of β, both the lollipop and sunset diagrams are of the same order as the superdaisy family, but with additional suppression factors of 1/N . 3 (In our regime of interest, φ 0 is usually not much larger than T , so the sunsets are subdominant or at most comparable to the lollipop and superdaisy.) We can now carefully compare different resummation approaches. The partial dressing procedure, with the lollipop correction and the additional sunset contribution, is accurate to O(β 2 ). Since tree-and loop-contributions are of similar size near the phase transition we compare all sub-leading contributions to the unimproved one-loop thermal mass δm 2 1 . Relative to δm 2 1 , the size of neglected zero-temperature contributions and non-daisy contributions at three-loop order are respectively. The alternative Full Dressing procedure [82][83][84] involves solving the same gap equation as for partial dressing, but substituting m 2 → M 2 in the potential V 1 instead of its first derivative. This essentially dresses up both the propagator and the cubic coupling in the potential. 4 The authors of [85] demonstrate that FD miscounts daisies and super-daisies (starting at the 2-loop level), does not include sunset contributions, and includes lollipop contributions but with a wrong prefactor and without the log-dependence of Eq. (3.7), which arises from neglecting internal loop momenta (as expected in a resummation procedure which does not explicitly calculate multiloop diagrams). We have confirmed their results. Therefore, ignoring the incorrect accounting of the lollipop which vanishes at the origin, the error terms of a PD calculation are The standard BSM calculation is even worse, since TFD only uses the leading-order thermal mass, leading to possible error terms The advantages of partial dressing, compared to the truncated (or un-truncated) full dressing procedure, are clear, especially for phase transitions driven by BSM thermal effects, where the m/T error in Eq. (3.16) can be significant.

A general resummation procedure for BSM theories
We now discuss how to adapt partial dressing for efficient calculation of the phase transition in general BSM theories. We will limit ourselves to phase transitions along the Higgs direction, briefly discussing other cases in the next subsection.
Since partial dressing avoids miscounting of the most important thermal contributions at all orders in the high-T expansion, including the log-term, it can be explicitly applied to the finite-temperature regime. In regions where α ≈ 1, the high-temperature expansion is valid, and resummation will be properly implemented. This smoothly interpolates to the regime where masses are comparable to temperature, eliminating the separation of scales and making the fixed-order calculation reliable again, with finite-temperature effects decoupling correctly as the mass is increased. Therefore, for a given set of mass corrections δm 2 i for gauge bosons and scalars i, we define our effective potential along the h-direction by substituting the mass corrections into the first derivative of the loop potential: 17) Note that V th is not (necessarily) expanded in high-or low-temperature.
Next, how do we obtain the mass corrections δm 2 i ? We will concentrate on cases, like our SM + N S × S benchmark model, in which the dominant effect of new physics on the phase transition comes from an expanded scalar sector. Therefore, we will retain use of the O(T 2 ) gauge boson thermal masses of Eq. (2.22), and set For the scalar mass corrections we numerically solve a set of coupled gap equations at each different value of h and T : where φ j = h, G 0 , S 0 . Since we only consider excursions along the h direction, there are no mixed mass terms, and mass corrections for all singlets and Goldstones respectively are equal. 5 Note that while we only numerically solve for the mass corrections of the scalars, these mass corrections will include contributions due to gauge bosons and fermions, which decouple correctly away from the high-temperature limit. We will address some subtleties related to finding consistent numerical solutions to these gap equations, and the effect of derivatives of δm 2 φ j , in the next section.
In defining the effective potential Eq. (3.17), we are essentially using only the one-loop potential as in Eq. (3.5). This represents a great simplification, since calculation of the two-loop lollipop in full generality and at finite temperature [80] may be very onerous in a general BSM theory. Furthermore, implementing the factor-of-2/3 "fix" to correctly count sunset contributions may be nontrivial at finite-temperature. Fortunately, we can show that omitting both of these contributions is justified for our cases of interest.
First, the lollipop is suppressed relative to the dominant one-loop resummed potential by factors of N (where N is related to N S but also the number of Goldstones in the SM) and β < 1. Even so, it represents our dominant neglected contribution. To explicitly check that it is small, it is sufficient to evaluate the dominant lollipop contributions to the h and S 0 thermal masses in the high-temperature limit. Adapting the loop integral in the high-T limit from [81], this gives These diagrams are evaluated with improved propagators. In order for the calculation to be reliable, the ratios of lollipop to resummed one-loop mass corrections must satisfy for k = h, S when the high-T approximation is valid at the origin. (As explained in Section 2.3, in all operations involving the effective potential or its derivatives, we always only use the real part.) Second, the sunset contribution is suppressed relative to the dominant one-loop-resummed potential by factors of h/T , N 2 and β < 1. More importantly, we expect the most important improvement of our partial dressing computation, compared to the standard truncated full dressing computation, to be the correct inclusion of finite-temperature effects, and the associated decoupling of heavy modes from the plasma away from the origin in field space. This decoupling will dominantly be due to the increased mass of the singlets as h evolves away from the origin, rather than from the two-loop sunset contributions. Since the former is correctly captured by using finite-temperature gap equations and effective potential, the effect of sunsets should be small compared to the lollipop.
Third, we should also ensure that the equivalent of β 3 in our theory is sufficiently small at T = T c . This is very straightforward using Eq. (3.11), where δm 1 is the unimproved Higgs or Singlet one-loop thermal mass (using m 2 in propagators), and δm 2 D is well approximated by the difference between the improved (using M 2 ) and un-improved thermal mass. Explicitly, we define two parameters: for k = h, S. β 3 h and β 3 S then give the size of the error terms from the most important neglected three-loop diagrams and should be less than ∼ 0.1.
Finally, two-loop zero-temperature corrections are small if N λ 4π, which simply restricts the weakly coupled parameter space we can explore. Our PD computation of the phase transition strength v c /T c is then robust when all r h,S LL and β 3 h,S are small.

Future Directions
There are several conceptually straightforward ways to extend the procedure outlined in Section 3.2: 1. Even though it cannot be done by simple construction and manipulation of the one-loop effective potential, it would be straightforward to construct the gap equations for the gauge bosons [83] and solve them together with the gap equations for the scalars.
2. With a general finite-temperature expression for the 2-loop lollipop shown in Fig. 2 4. We have applied partial dressing without explicitly checking that fermion and gauge boson effects are correctly accounted for at 2-and higher-loop order. We leave this investigation to future work, but since the dominant BSM effects on the Higgs potential in our models of interest come from the scalar sector, we expect our procedure to be valid.
Note that we explicitly check in our calculation whether the above-mentioned extensions (2) and (3) are numerically significant. There is also a more involved question, which is how to extend partial dressing for field excursions along several field directions at once, when those field directions cannot be related by a symmetry. The partial dressing procedure unambiguously defines the potential along any one field direction, as long as all other fields are at the origin. In an example with two fields, let us denote as V pd i eff (φ 1 , φ 2 ) the effective resummed one-loop potential obtained by integrating ∂V eff /∂φ i . It is straightforward to show that V pd 1 eff (φ 1 , φ 2 ) = V pd 2 eff (φ 1 , φ 2 ), with the difference being of super-daisy order O(β 2 ). This may not be numerically significant in a given case, but it would be of interest to extend the partial dressing procedure to consistently define Since the above can be evaluated unambigiously diagrammatically, and since the partial dressing procedure was validated in [85] by comparing this to the substitution of M 2 into the first derivative of the potential, there presumably exists a way of generalizing this substitution procedure to obtain a general potential as a function of multiple fields. This is of particular relevance to BSM models where the Higgs mixes with BSM scalars [22,32,35], which constitute an important class of models that can give a strong electroweak phase transition.

Computing the the Strength of the Phase Transition
We now apply the procedure outlined in Section 3.2 the the SM + N S × S BSM benchmark model with unbroken O(N S ) symmetry in the T = 0 ground state.

Zero-Temperature Calculation
The tree-level scalar potential is given by Eqns. (2.2) and (2.3). All field excursions in the region of parameter space we study (no Higgs-Singlet mixing in the ground state) can be considered without loss of generality to be in either the h or S 0 direction. For each choice of N S , there are three Lagrangian BSM parameters, µ S , λ HS and λ S . We match these to three physical input parameters which are computed at one-loop level in the MS scheme (in addition to matching the SM Higgs potential parameters λ, µ to m h and v): (a) The mass of the singlet in our vacuum The singlet-Higgs cubic coupling The renormalization scale µ R is set to m S (v). In all calculations, we vary this scale choice up and down by a factor of 2 in order to estimate the uncertainty due to higher-order zero-temperature corrections. For a given set of input parameters, we compute whether the singlet is stable at the origin when h = 0, and if not, the location of the local minimum (h, S 0 ) = (0, w). When the singlet is unstable at the origin, we impose the vacuum stability condition to ensure the EWSB vacuum is the preferred one for our universe. The collider phenomenology of the N S = 1 case, with TFD resummation and in the on-shell renormalization scheme, was studied previously in [100]. The following three collider observables are of interest to probe this scenario: 6 6 We assume 3 ab −1 of luminosity at 100 TeV throughout.
• A measurement of the triple-Higgs coupling with 5% precision at 1σ, which is more pessimistic than recent estimates of the achievable precision [94].
• A search in the VBF jets + MET channel for direct singlet pair production via h * → SS.
• A measurement of the Zh production cross section deviation from the SM with a 1σ precision of 0.3% at a TLEP-like lepton collider.
Together, it was found that these measurements provide coverage of the entire parameter space where a strong phase transition is possible.
We analyze the same model as the authors of [100], generalized to N S ≥ 1, while comparing standard truncated full dressing to our new partial dressing procedure. We therefore compute the same observables: (a) The Higgs cubic coupling To obtain the fractional deviation, we compare this to the value of λ loop hhh computed without the S contribution, rematched to the SM parameters with the same choice of renormalization scale as the calculation with the singlet.
(b) Singlet pair production cross section at 100 TeV colliders: obtained in MadGraph 5 [112] by using λ loop hSS as the singlet-Higgs tree-level coupling, scaled up by a factor of N S .
(c) The fractional Zh cross section shift at lepton colliders can be computed using the results in [113,114]: with the replacement λ HS v → λ loop hSS . The loop function F (τ ), with τ φ = m 2 h /4m 2 S , is given by Note that we estimate changes in cross-sections from the changes in potential couplings. This ignores finite-momentum contributions of new particles in loops to the cross section, but for m S m h , this is a good approximation.
Note that for these zero-temperature calculations, we do not resum mass corrections in the partial dressing scheme. The procedures of Section 3.2 can easily be applied to the zero-temperature potential as well, but we have extensively checked that they only have insignificant effects on the matched parameters and corresponding observables. This is expected, since mass resummation at finite temperature is required due to IR-divergent effects which are absent at zero temperature. 7

Finite-Temperature Calculation
We are interested in finding regions of parameter space where the phase transition is strongly one-step (v c /T c > 0.6) or two-step.
For each set of input parameters we match the potential, compute zero-temperature observables, and then compute the finite-temperature potential at different temperatures until we find T = T c where the local minimum at the origin and a local minimum at v = v c are degenerate. The finite-temperature potential is given by Eq. (3.17), where the mass corrections (or thermal masses) δm 2 i are computed differently depending on the resummation scheme. If the singlet is unstable at the origin at T = 0, we also compute the minimum temperature T S where thermal effects stabilize the singlet. If T S > T c , the transition is two-step and we do not analyze it further. In order for our calculation to be reliable, r h,S LL and β h,S as defined in Eqns. (3.21) and (3.22), have to be small.
We compare the three different schemes: Truncated Full Dressing (TFD), Partial Dressing (PD) and Optimized Partial Dressing (OPD). Some of the numerical calculations are performed in Mathematica, and some in a custom-built c++ framework. For numerical evaluation, c++ is operation-byoperation ∼ 1000 × faster than Mathematica, but the latter is much more versatile and often preferred for exploring different BSM scenarios. Whenever evaluating the full thermal potential V th or its derivatives without approximations, we use pre-computed lookup tables.
The TFD calculation, which is the standard method for BSM calculations used in [100] and many other analyses, is simple enough that v c /T c can be found for a given parameter point using about ∼ O(1 minute) of CPU time in Mathematica. On the other hand, the complete implementation of PD is so numerically intensive that only the c++ code can be realistically used, and evaluation times for a single parameter point range from 10 seconds to many minutes, indicating that PD is of order 10 4 times more numerically intensive than TFD. Fortunately, a series of carefully chosen approximations allows partial dressing to be implemented in Mathematica, with only O(10%) higher CPU cost than TFD, but identical results as PD. This is the OPD scheme, and we hope its ease of implementation and evaluation will be useful for future BSM analyses. We now briefly summarize and contrast the salient features of each resummation implementation.

Truncated Full Dressing (TFD)
This is just the standard thermal mass resummation, using δm 2 i = Π i ∝ T 2 , see Eq. (2.22). This thermal mass is substituted into the first derivative of the potential, since there are no differences between full and partial dressing when substituting only the T 2 piece of the thermal mass. The thermal potential derivative V th is evaluated numerically without any approximations.
The dominant errors in the perturbative expansion arise from neglecting the two-loop lollipop, and miscounting the two-loop daisy. We define the corresponding error term to perform the perfunctory check that the calculation is reliable. However, is important to note that ∆ TFD will greatly underestimate the error of the TFD calculation, since it does not include the O(m/T ) errors in the truncated thermal mass. 8 It is precisely this error that will be explored by comparing the TFD calculation to (O)PD calculation.

Partial Dressing (PD)
This implements the scheme outlined in Section 3. i } can be found. This occurs for values of h where some scalars become tachyonic, which is for example the case across the energy barrier. In that case, we use the closest approximate solution, or discard the solution and interpolate across these pathological values of h. Both methods give very similar results, and in plots we use the former. The approximate solution usually still satisfies the gap equation at the ∼ 1 -10 % level, which on the face of it appears sufficient for a one-loop exact quantity.
Far more troubling is that for all other non-zero h-values, there exists not one but many numerical solutions to the algebraic gap equation. Apart from the computational intensity of PD, this is one of the confusing aspects which prompted us to develop OPD. 9 Physically, one would expect the solution of the gap equation to correspond to the limit of an iteration, whereby propagators in diagrams contributing to the effective potential are recursively dressed with additional one-loop bubbles until their second derivative with respect to the field is consistent with the mass used in the propagators. Therefore, one way we attempt to "find" our way towards the physically relevant gap equation solution is by iteration, where the n + 1 step is given by (4.10) for fixed h, T . The iteration starts at δm 2 φ j = 0 and continues until the result converges. However, this series does not always converge, instead oscillating between two or more values. This is always the case when there is no exact solution to the gap equation, but can also occur when there are one or more solutions. We numerically circumvent this issue by requiring the solution δm 2 i (h, T ) to be a set of smooth functions. Therefore, once solutions δm 2 i (h, T ) are obtained for a grid of h-values and fixed T , we use smoothing to eliminate numerical artifacts (or the jumps due to imperfect or multiple solutions), and interpolate across regions without solutions to obtain a smooth set of functions describing the thermal masses.

Optimized Partial Dressing (OPD)
As we will discuss in Section 4.3, the results obtained via PD seem physically reasonable. However, it has two major disadvantages. First, its computational complexity and intensity would likely hamper adoption for other BSM calculations. Second, some of the numerical tricks used to obtain reasonable solutions to the gap equation are slightly unsatisfying. We are therefore motivated to develop the more streamlined OPD resummation scheme that is numerically efficient and does not suffer from either the absence of gap equation solutions for some ranges of h values, nor the preponderance of solutions for all other nonzero h values. Encouragingly, the physical results of this OPD procedure are practically identical to PD.
The first important observation, which is very well-known, is that the high-temperature approximation for the thermal potential, Eq. (2.13), has the expected error terms of order (m/T ) n+1 if truncated at order (m/T ) n (for n ≤ 2), but is accurate for masses as large as m ∼ (1 − 3) × T if the log terms are included. This applies both to V th and its derivatives.
Given that the low-temperature approximation Eq. (2.14) can easily be expanded to high enough order to be accurate for m ∼ T , this implies that a piece-wise approximation for the thermal functions J B,F can be used in Eq. (3.17) to evaluate the effective potential, as well as its derivatives: for y 2 > 1.22 for y 2 > 1.29 This gives percent-level or better accuracy for J B and its first two derivatives and J F and its first derivative, for all positive y 2 . For negative y 2 (corresponding to tachyonic masses) the accuracy is ∼ 10% for m 2 = −10T 2 , but such negative m 2 are rarely encountered after thermal mass corrections are added. Evaluation of this piece-wise approximate form of J B,F is very fast in Mathematica. This definition of the thermal effective potential V th also allows the algebraic gap equation Eq. (3.19) to be defined entirely analytically (as opposed to numerically), even if the ultimate solutions have to be found numerically. This represents a huge simplification and allows Mathematica to find solutions much easier than for the full V th defined via lookup-tables. In its full piece-wise defined form, the thermal functions of Eq. (4.11) still allow for the study of e.g. decoupling effects as particles become heavy, which will be important in the future study of EFTs at finite temperature.
However, for the study of strong phase transitions induced by BSM thermal effects, we can make another important simplification. Thermal mass resummation is only needed to obtain accurate results when m T . Therefore, we are justified in constructing the gap equation Eq. (3.19) using only the high-temperature approximation for the thermal potential (and the usual V CW ). The resulting solutions for the mass corrections {δm 2 i (h, T )} are practically identical to the solutions obtained with the full finite-temperature potential, except for some modest deviations in regions where m T . Even so, the resulting effective potential obtained by integrating Eq. (3.17) is practically identical in those regions as well, since thermal effects of the corresponding degrees of freedom are no longer important. Using only J high−T B,F in the gap equation makes finding solutions so fast that the associated computational cost becomes a subdominant part of the total CPU time required for finding v c /T c , making this OPD method only O(10%) slower than the standard TFD method (even when the TFD method uses the same piece-wise defined thermal functions in the effective potential).

Alternative formulation of the gap equations
The absence of solutions to the algebraic gap equation Eq. (3.19) encountered in PD indicate an overconstrained system, meaning there might be missing variables we should also solve for. Furthermore, the numerical tricks utilized in the PD implementation to obtain δm 2 i (h, T ) solutions for a given T were justified by appealing to the required continuity of the solution (interpolation, smoothing) and the physical interpretation of the gap equation (selecting the correct solution by guiding the numerical root-finding procedure with iteration).
All of these considerations point towards a slightly modified form of the gap equation which appears more consistent with the partial dressing procedure. Recall that the gap equation for both the full and partial dressing procedures, Eq. (3.4), was originally defined by substituting m 2 → M 2 in V of the φ 4 theory: This yields the gap equation used in the PD procedure Eq. (3.19), which is an algebraic equation that is solved for {δm 2 i }, a priori separately for each (h, T ). Alternatively, one could define the gap equation by taking the effective potential of partial dressing V pd 1 = V 1 | m 2 →M 2 and differentiating it once more with respect to the field: In the context of our BSM benchmark model, the corresponding gap equations are At each point in (h, T ) space, these gap equations are algebraic relations of {δm 2 i } as well as the derivatives at that point { ∂δm 2 i ∂φ j }. The gap equations are now partial differential equations: The ad-ditional variables (the derivatives of δm 2 i ) guarantee that solutions exist at every point 10 , while the continuity condition of the PDEs restricts the number of numerical solutions, selecting the unique physical solution. This eliminates both numerical problems of the original PD procedure. In practice, constructing Eq. (4.14) is very challenging in the full finite-temperature formulation of V th , since it involves second derivatives of the thermal functions which are very computationally costly to evaluate. However, in the high-temperature approximation 11 Eq. (4.14) becomes a very simple analytical set of equations that Mathematica can easily solve numerically for {δm 2 i } after eliminating the derivatives { Using gap equation Eq. (4.13) instead of Eq. (4.12) amounts to treating resummation identically in the effective potential and the gap equation derived from that potential. While this seems reasonable, the important question is whether this particular algebraic procedure of constructing a gap equation by manipulating the one-loop potential expressions, and inserting the resulting mass solution back into the potential, is equivalent (up to some order) to the diagrammatic procedure of computing various higher-order contributions to the effective potential. As we reviewed in Section 3, the authors of [85] showed that using the original gap equation Eq. (4.12), this equivalence was accurate up to differences of O(β 3 ), the neglected two-loop lollipop, and the miscounted two-loop sunset, see Fig. 2. We have checked that using the new gap equation Eq. (4.13) is equivalent to the same order, the only difference being the precise nature of how the two-loop sunset is miscounted. This means that the 2/3 correction factor in Eq. (3.8) is modified at subleading (i.e. 3-loop sunset) order.
In Section 3.2 we argued that the sunset error is subdominant to the O(β 3 ) and lollipop errors, which we check explicitly are small. We therefore expect the numerical difference between δm 2 i (h, T ) solutions obtained in the OPD and PD scheme to be even smaller, and as we show below, this is indeed the case. That being said, since the gap equation in the OPD scheme is explicitly written in the hightemperature approximation, inserting the 2/3 correction factor would be very straightforward.
Finally, one might also worry that the piece-wise defined thermal potential, or the high-temperature approximate gap equation, would be of insufficient accuracy in regions where large cancellations are 10 Symmetry under φi → −φi implies that ∂δm 2 i ∂φ j = 0 when φj = 0. Since we only consider excursions along the h-direction, only the derivatives with respect to h are ever nonzero. At the origin both kinds of gap equations are the same, but at that point the algebraic gap equation always has a unique solution anyway. 11 One could also use the piece-wise definition of the thermal functions Eq. (4.11), but obtaining a solution takes O (10) times longer. This can still be useful for studying decoupling effects and matching to EFTs. 12 In some regions there are multiple near-degenerate solutions, but the ambiguity is not physically significant. i solutions as a function of h. This gives nearly the same V (h, T c ) as OPD. Note that the approximate equality of the three (O)PD mass corrections at the origin is a numerical coincidence for this parameter point. Furthermore, the differences in v c , T c between TFD and (O)PD are modest here, but for other choices they can be much more pronounced. This is very important when T c ∼ T S and the predicted nature of the transition can change from one-step to two-step, as we discuss in Section 5. important, or where masses are very tachyonic and the piecewise approximation is not very accurate. However, thermal resummation prevents masses squared inserted in the thermal potential from being too negative, and in regions where the transition between the high-and low-temperature approximation occurs, the exact solution to the gap equation becomes less numerically relevant since the calculation reduces to a fixed-order one.

Comparing Resummation Schemes
Here we illustrate the differences between the three resummation schemes for an example point in the parameter space of the SM + N S × S model. The differences, in particular of the evaluated thermal mass corrections at T = T c , will inform our discussion of the different physical predictions generated by the new (O)PD vs the standard TFD scheme in the next section. It will also demonstrate that PD and OPD are nearly equivalent.
We focus on regions of parameter space where both TFD and (O)PD produce a sizable first-order one-step phase transition. This allows us to show the resulting Higgs potentials at T = T c side-by-side, but by necessity restricts our attention to regions of parameter space where all calculation schemes give similar physical predictions. Even so, the differences are very clear in detail and allow us to understand the regions of parameter space where the physical differences are more significant. Fig. 3 shows the effective Higgs potential and mass corrections for the parameter point (N S , m S , λ loop hSS /v, λ loop S ) = (3, 300 GeV, 1.52, 0.5). Immediately we see that PD and OPD give nearly identical functional forms of the mass corrections δm 2 h,G,S (h, T c ) once OPD solutions are interpolated. As a result, the effective potential and obtained values of v c and T c are also nearly identical. We have checked that this holds true across the parameter space. Therefore, the numerically extremely efficient OPD method can be used in place of the numerically costly PD calculation. 13 The mass corrections obtained with (O)PD behave in a physically reasonable manner, being maximal near the origin and generally decreasing as h increases and the various degrees of freedom acquire more mass, reducing their participation in the thermal plasma. The physical Higgs and Goldstone mass corrections behave differently away from the origin. Compared to the constant TFD prediction, the (O)PD thermal masses are smaller by O(40%) or more. This is typical across the whole parameter space, and explains the most important physical difference between the two schemes. The reduced thermal masses in TFD result in higher temperatures T S where the singlet is stabilized at the origin (if it is unstable at zero temperature). As we show in Section 5, this results in larger regions of parameter space where a two-step transition occurs.

Physical Consequences
From a formal point of view, development of the (O)PD thermal resummation scheme is most important in the careful study of thermal decoupling effects, especially when spectra change with field excursions. This is necessary for rigorously understanding Effective Field Theories at finite temperature. We are currently pursuing this line of investigation, and will present the results in a future publication. Additionally, compared to TFD calculations, the new (O)PD formalism makes quantitatively different predictions about the regions of parameter space where a one-or two-step phase transition of sufficient strength for EWBG can occur. This in turn affects the predictions of the EWPT (or other phase transitions in the early universe) for cosmological observations and collider experiments which need to be known reliably for planning such experiments. In more realistic extensions of the SM scalar sector, where the individual masses and couplings are not free parameters as in the SM + N S × S benchmark model, this could also affect whether a strong phase transition is possible at all.  . The renormalization scale is set to µ R = m S (solid lines). Dashed (dotted) lines correspond to mu R = 2m S (m S /2) to demonstrate the effect of scale variation. To the left of the curves, the PT is one-step and weakly first order or second order. To the right of the curves, T S > T c and the transition is two-step for λ hSS (v) loop < λ max hSS . This upper bound is is set by the condition that EWSB vacuum is preferred and depends on N S , m S , λ loop S , µ R but not the choice of thermal resummation scheme.
We first explain the qualitative features of Fig. 4 which are common to both calculations. For very small Higgs portal coupling λ HS ≈ λ loop hSS /v, the singlet sector has no effect on the EWPT, making it weakly first order or second order as in the SM. The singlet mass, which is m 2 S = µ 2 S + λ HS v 2 at tree-level, is given entirely by the parameter µ 2 S . As λ HS is increased, µ 2 S decreases and eventually becomes negative to keep m S fixed. At some point this allows a partial cancellation between µ 2 S and δm 2 S along the lines of Eq. (2.25) to occur, resulting in a one-step first order phase transition starting around λ loop hSS /v ≈ 0.55 in Fig. 4 (a). This cancellation is only partial, as shown by the plot of total finite-temperature singlet mass at the origin (i). Note from (c) and (d) that T S , the minimum temperature at which thermal effects stabilize the singlet at the origin, is lower than T c , as required for the singlet to be stable when the Higgs undergoes its one-step phase transition. Increasing the Higgs portal coupling drastically increases v c and hence the strength of the phase transition, see (a) and (b), since it enhances the negative "cubic term" of Eq. (2.25) (from the tree-level Higgs dependence of the singlet mass) while also increasing the singlet thermal mass and therefore enhancing the cancellation of µ 2 S and δm 2 S , see (i). For δm 2 h,S ∼ λ HS T 2 , both T c and T S can be schematically understood as the solution to the equations µ 2 = λ HS T 2 and −µ 2 S = λ HS T 2 (neglecting numerical prefactors). This explains why T c decreases with increasing Higgs portal coupling, but is insufficient to understand why T S increases, since both µ 2 S and δm 2 S depend linearly on λ HS at leading order in temperature for fixed physical singlet mass m S . Solving for T S with the full high-temperature expansion of the thermal potential reproduces the behavior shown in (d). As the Higgs portal coupling is further increased, T S becomes larger than T c , which occurs around λ loop hSS /v ≈ 0.6 in Fig. 4. This means the phase transition is now two-step: as the universe cools it falls first into the (h, S) = (0, w) vacuum before transitioning to the (v, 0) vacuum. Increasing λ HS decreases the potential difference eff (0, w), which delays the second transition, and by lowering T c enhances v c /T c . Two-step phase transitions can therefore be very strong, since they can rely on supercooling the universe. Finally, as λ HS is increased further still the (h, S) = (0, w) vacuum becomes preferred to our vacuum at zero temperature, and the model is not compatible with our universe.
With this understanding, we can now interpret the differences between the standard TFD and the new (O)PD calculation in detail: • (O)PD and TFD predict different parameter regions where the one-step phase transition is strongly first order. This arises due to three effects: in (O)PD, v c is larger, T c is smaller, and T S is larger than in TFD. The first and second effect make the PT stronger at a given parameter point, but the second and third effect lead to a lower Higgs portal coupling at which the switch from one-step to two-step PT occurs.
The third effect can be traced back to the smaller thermal mass corrections obtained in (O)PD, while the first two effects are also connected to the h-dependence of the mass correction (see Fig. 3).
As a result, the region of parameter space in which (O)PD predicts a strong first order onestep PT with v c /T c > 0.6 is much smaller than in TFD, and shifted to smaller Higgs portal couplings. By the same token, the region of parameter space where the PT is two-step (to the right of the curves in Fig. 4) is larger in (O)PD.
• The finite temperature singlet mass at the origin and at v c , shown in Fig. 4 (i) and (j), shows that the high-temperature approximation is fairly reliable in its untruncated form (since m/T 1), but the truncated high-T approximation assumed in the TFD thermal mass calculation makes errors of m/T ∼ 30 -70% depending on h, which is consistent with Fig. 3 (right).
• The Higgs portal dependent curves of (b) v c and (k) potential barrier height of the (O)PD calculation are very similar to TFD curves that are shifted to lower couplings. The same holds for v c /T c , which is controlled by the rapidly-varying v c . Therefore, we expect the ratio T n /T c of the nucleation temperature, when the bubbles of true vacuum actually form, to the critical temperature to be similar in the two calculation.
• The absolute value of the critical temperature T c for a given strength of phase transition v c /T c is ∼ 10% lower than predicted by the TFD calculation. If a one-step transition could be strong enough to be detected by gravitational wave observations, this would effect the frequency spectrum of the stochastic gravitational wave signal.
• In the example of Fig. 4, the overall error term (l) ∆ T F D,P D is dominated by the singlet lollipop ratio (f) r S LL . The error term is much larger in the new (O)PD calculation than the standard TFD. Since the latter underestimates the error, we expect ∆ PD to give a much better representation of the calculation's reliability, which is breaking down near the switch from one-step to two-step phase transitions (larger λ loop hSS /v). For other slices of parameter space, the β-errors can dominate, in which case the (O)PD calculation can be much more reliable, since the first neglected contributions are O(β 3 ).
It is now straightforward to interpret Fig. 5, which shows the regions of the λ loop hSS −λ loop S coupling plane that give a strong one-or two-step first order EWPT in the TFD and (O)PD calculations for N S = 3 and m S = 250 GeV. In the left plot, a strong one-step transition is defined with the maximally permissive criterion v c /T c > 0.6. In the right plot, the criterion is slightly tightened, to the usual v c /T c > 1.0. In the more correct (O)PD calculation, the region allowing for a strong one-step transition (between blue lines) is smaller than in TFD (red lines), while the region with a strong two-step transition (between the blue/red lines and the green line) is larger in (O)PD. This is especially pronounced when v c /T c is required to be larger than 1, in which case there is almost no overlap between the two region with a strong one-step phase transition.
For the specific SM + N S × S benchmark model, the collider phenomenology depends almost exclusively on the Higgs portal coupling and the singlet mass. Fig. 6 shows the parameter regions where, for some choices of the Singlet quartic λ S , the one-or two-step EWPT can be strong enough for EWBG. This generalizes the results of [100] to N S ≥ 1 and makes clear that future colliders will be able to probe the entire parameter space of this representative class of models for arbitrary number of singlets.
In this particular benchmark model, the singlet quartic and the Higgs portal coupling are free parameters, and the lack of mixing with the Higgs makes the physical effects of the singlet quartic very hard to observe at colliders. Therefore, the old TFD and more correct (O)PD calculations give  To the left of these lines, the PT is weakly first order or second order. Between the red (blue) lines and the green line, the PT is two-step in TFD (PD) calculation. To the right of the green line, the EWSB vacuum is not preferred at zero temperature (this does not depend on the thermal mass resummation scheme). Varying µ R between 0.5 and 2 m S gives the variation indicated by the red/blue/green shading. To the right of the red (blue) dashed lines, ∆ TFD (∆ PD ) > 0.1 for µ R = m S . To the left of the black dotted line, the singlet is stable at the origin at zero temperature for µ R = 1.
very similar predictions for the collider phenomenology of EWBG. However, as discussed above, the situation would be very different in more complete theories, especially if a full calculation of the baryon asymmetry reveals that v c /T c has to be larger than 0.6. Furthermore, even in the SM + N S × S benchmark model, there is an important difference: the minimum singlet mass required for a strong one-step PT is higher in (O)PD than in TFD. This means that for light singlet masses, the only possibility for EWBG is via a two-step transition. As discussed in [107], these transitions can form runaway bubbles of true vacuum, which do not permit successful baryon number generation, and further study could reveal very strong additional constraints on the parameter space actually compatible with complete EWBG. Furthermore, the stochastic gravitational wave background generated by a strong two-step transition, but not a moderately strong one-step transition, could be detected by gravitational wave observatories [102]. The (O)PD calculation reveals this exciting possibility to be more likely for light singlet masses than previously assumed.  . Phenomenological parameter space of the SM + N S × S benchmark model of EWBG, for N S = 1, 3, 6, computed in the TFD or PD thermal resummation scheme. The physical singlet mass in our EWSB vacuum is on the horizontal axis, the higgs-singlet cubic coupling is on the vertical axis. This determines most collider observables. The Higgs cubic coupling deviation Eq. (4.5) is bigger than 10% in the blue shaded region, to which a 100 TeV collider with 30 ab −1 has more than 2σ sensitivity [94]. For the same luminosity, a direct VBF + MET search for invisible singlet pair production can exclude the green shaded region [100]. In the purple shaded region, a TLEP-like lepton collider can probe the Zh cross section deviation, see Eq. (4.6), at the 2σ level. Below the blue line, the singlet is stable at the origin. Above the orange or red solid lines, a one-step or two-step phase transition strong enough for EWBG can occur (µ R = m S ). In this projected-down parameter space, the effect of scale variation is minor.

Conclusions
In this paper we developed the Partial Dressing and Optimized Partial Dressing schemes for computation and resummation of thermal masses beyond the high-temperature approximation in general BSM scenarios. This allows for the strength of Phase Transitions to be determined to much greater accuracy than the standard Truncated Full Dressing scheme, which only resums hard thermal loops by inserting Π i ∼ T 2 into the effective potential.
Our phenomenological analysis of the EWPT in the SM + N S × S benchmark model generalizes the results of [100], and shows that EWBG in singlet extensions without Higgs mixing is guaranteed to be discovered at future 100 TeV and lepton colliders. Given that more general models with Higgs mixing generate additional signatures which are expected to be detectable at a future 100 TeV collider [106], the outlook for a general phenomenological no-lose theorem is optimistic, though more work is needed to make this conclusion completely robust.
The (O)PD calculation shows two-step phase transitions are more prevalent than previously assumed from TFD calculations. This is encouraging, as strong two-step transitions can generate observable gravity wave signals [102]. They are also more constrained, since runaway bubbles are incompatible with baryon number generation [107]. Further analysis is needed to determine whether this translates to additional constraints on the SM + N S × S benchmark model.
The OPD scheme represents a simple extension on the standard TFD calculation, takes only slightly more CPU time to solve for the strength of the phase transition, and is easy to implement in Mathematica. We supply a condensed instruction manual in Appendix A. We hope that the OPD calculation will be useful in the future study of other BSM scenarios. This is particularly motivated, since for more complete theories with additional correlations amongst the low-energy parameters than in our benchmark model, the OPD calculation makes significantly different predictions for the EWBG-viable parameter space, and hence the associated collider and cosmological observables. In some cases, scenarios which were thought to be viable may now be excluded.
Developing the (O)PD thermal resummation scheme is a necessary ingredient for the careful study of EFTs at higher temperature, which in turn would represent a great leap in our modelindependent understanding of EWBG. We are currently conducting such an analysis, and will present the results in a future publication.

A Instruction Manual for Optimized Partial Dressing Calculation of Phase Transition
Here we summarize the detailed procedure for obtaining the effective finite-temperature potential V pd eff (h, T ) as a function of h for a given temperature T in the Optimized Partial Dressing (OPD) scheme. This will be familiar to anyone studying the EWPT in BSM theories, and implementing the OPD calculation in Mathematica is very similar to the familiar TFD calculation, and only ∼ O(10%) more CPU intensive. We explain this procedure in the context of the SM + N S × S benchmark model, but it generalizes easily to other theories with one-step phase transitions. At every point, only use the real parts of various potential contributions or their derivatives. Note that we do not perform this resummation for zero temperature matching and other calculations, since the effect is small.
For a given temperature, we first have to find the thermal mass corrections δm 2 i (h, T ). For gauge bosons, use the standard δm 2 i = Π i ∼ T 2 , see e.g. Eq. (2.22) for the SM contributions. For scalars we have to solve a set of coupled gap equations: Note that this makes the RHS a set of fully analytical expressions that can be easily manipulated in Mathematica.
In our specific benchmark model, there are three gap equations: for j = h, G 0 , S 0 . Since we are interested in excursions along the h-axis, all Goldstone thermal masses are the same but different from the physical Higgs mass, and all scalar thermal masses are the same. 14 Note that the sum i also runs over all particles, including fermions and gauge bosons.
We numerically solve this set of gap equations by essentially treating it as a set of partial differential equations. Specifically, set up a coarse grid 15  and substituting this form of δm 2 h,G 0 ,S (as well as the h-independent gauge boson thermal masses) into the RHS yields three gap equations that depend on six parameters: the value of the scalar thermal masses δm 2 h(a) , δm 2 G 0 (a) , δm 2 S(a) and their first derivatives ∂δm 2 h(a) /∂h, ∂δm 2 G 0 (a) /∂h, ∂δm 2 S(a) /∂h. At the origin, the derivatives are zero, and solving for just the three thermal masses yields a numerically unique set of solutions. Then we work our way away from the origin. The solution at h = h a can be obtained by first eliminating either the derivatives or the actual thermal masses from 14 If we solved for excursions along the S0 direction, we would have to treat S0 and S k>0 differently but could treat all Higgs degrees of freedom the same. 15 To avoid singularities the origin can be defined to be a very small positive displacement instead of identically zero. given the known solution at h = h a−1 . We found in practice that eliminating the δm 2 j(a) and solving for the three derivatives ∂δm 2 j(a) /∂h was more reliable. If the solution fails the resolution of the grid may have to be increased, but we found a coarse grid with 10 GeV spacing to be sufficient. 16 Once a grid of solutions is obtained, the continuous functions δm 2 j (h, T ) are defined by linear interpolation. The thermal potential is then defined by