about @xmath0 sec after the big bang , the universe underwent a phase transition in which the electroweak gauge symmetry was reduced from @xmath1 to @xmath2 . in the standard model ( sm ) and
many of its extensions , the electroweak phase transition ( ewpt ) is understood in terms of the dynamics of a fundamental scalar field , the higgs @xmath3 : the vacuum @xmath4 preferred at high temperatures becomes unstable at a certain `` critical temperature '' @xmath5 and the higgs develops a vacuum expectation value ( vev )  @xcite . the nature of this transition is a subject of considerable interest .
for example , is the ewpt a violent , out - of - equilibrium event accompanied by massive entropy production ( first - order transition ) or a gentle , quasi - adiabatic process ( second - order transition ) ?
answering this question would have far - ranging implications : for example , electroweak baryogenesis , which theoretically is arguably the most attractive of the mechanisms proposed to explain the observed matter - antimatter asymmetry , can only occur if the ewpt is strongly first - order  @xcite .
it is very difficult to obtain direct information on the ewpt from astrophysical observations , due to the long and complex history of the universe since the transition .
( note , however , that gravitational waves produced in a first - order transition might be observable at lisa  @xcite . ) luckily , the dynamics of the phase transition can be deduced theoretically , once the fundamental lagrangian governing the physics at the electroweak scale is known . for example , it is well known that if there is no physics beyond the sm relevant at that scale , the transition is never first - order for the higgs boson mass obeying the current experimental lower bound , 114.4 gev .
of course , the gauge hierarchy problem and other arguments strongly suggest that physics beyond the standard model ( bsm ) should appear at the electroweak scale , and the nature of the ewpt depends on the ( as yet unknown ) details of that physics .
observing all of the weak - scale bsm particles and measuring their masses and interactions ( in particular with the higgs ) would provide sufficient information to determine the order of the transition . in practice , however , this will be a very difficult task for the upcoming large hadron collider ( lhc ) , and even for a more distant next - generation @xmath6 collider such as the proposed international linear collider ( ilc ) , especially in models where some of the new states are gauge singlets
. it would therefore be useful to identify simpler observables that are correlated with the order of the transition . in this paper , we propose that the value of the higgs boson cubic self - coupling is one such observable .
specifically , we argue that models leading to a first - order phase transition predict a large ( typically order - one ) deviation of the higgs cubic coupling from its sm value .
we show that this is the case in three toy models , which capture three basic mechanisms for obtaining a first - order ewpt : loop - induced corrections to the higgs effective potential , nonrenormalizable operators in the potential , and mixing between the weak - doublet higgs and singlet scalars at the weak scale .
the only exceptions to this statement that were observed in our analysis are due to accidental cancellations between large corrections to the higgs cubic of different origins .
thus , while non - observation of a large deviation of the higgs cubic from the sm prediction would not completely rule out a first - order ewpt , it would make it very unlikely .
the correlation between a strong first - order ewpt and a large deviation of the higgs self - coupling from the sm value was already noted , in the specific contexts of low - cutoff models  @xcite and the two - higgs doublet model  @xcite .
here , we will argue that this corellation is in fact much more general , and applies ( with a small caveat requiring no accidental cancellations ) in a very broad class of models .
in this paper , we will not restrict ourselves to a specific extension of the sm .
we will instead study a series of toy models , which capture the important features of realistic bsm theories exhibiting strong first - order ewpt .
the toy models analyzed in this section satisfy two basic conditions .
first , the only scalar field which changes its value during the ewpt is the neutral component @xmath3 of the sm higgs doublet with gauge - singlet scalars is allowed . ]
@xmath7 . with this assumption ,
the finite - temperature effective potential @xmath8 completely specifies the dynamics of the ewpt .
second , at tree level , the higgs sector is weakly coupled and can be adequately described by a renormalizable lagrangian , i.e.  no irrelevant terms are important .
many theoretically motivated models satisfy these conditions , including the minimal supersymmetric standard model ( mssm )  @xcite for a broad range of parameters corresponding to the so - called higgs decoupling region , little higgs models  @xcite such as the littlest higgs with t - parity , and others .
interesting models which violate either one of these conditions and exhibit first - order ewpt also exist ; we will study such examples in sections  [ sec:3 ] and  [ sec:4 ] .    with the above conditions , the tree - level higgs potential has the form v^t(h ) = - h^2 + h^4 , while the masses of the sm and bsm particles are given by m_i^2(h ) = m_0i^2 + a_i h^2 .
at the one - loop level , the higgs effective potential , including finite - temperature corrections , can be determined completely once the values of @xmath9 and @xmath10 for every particle in the theory are known . in practice , particles with @xmath11 ( weak coupling to the higgs ) can be neglected . in the sm
, these parameters are given by i & = & ( t , w , z , h , g),m_0 ^ 2&=&(0,0,0,-^2,-^2),a & = & ( , , , 3 , ) . the zero - temperature ( coleman - weinberg ) correction to the potential  , in the @xmath12 regularization scheme , has the form v^l_0(h ) = _ i m_i^4 ( + c_i ) where @xmath13 is the renormalization scale and @xmath14 and @xmath15 are the multiplicity and fermion number of the field @xmath16 . in the sm , in the basis of eq .  ,
@xmath17 and @xmath18 .
the constants @xmath19 are regularization scheme - dependent and are physically irrelevant , since their only effect is an additive renormalization of the parameters @xmath20 and @xmath21 and the cosmological constant .
rescaling @xmath13 has the same effect ; we fix @xmath22 gev and interpret @xmath20 and @xmath21 as the values of the couplings at that scale . the parameters are subject to the constraint ( v^t(h = v)+v^l_0(h = v ) ) = 0 where @xmath23 gev .
in addition , the higgs mass , m_h^2 = ( v^t(h = v)+v^l_0(h = v ) ) , must satisfy the experimental lower bound , m_h>114.4  gev .
the potential defined in this way suffers from an infrared singularity that appears at the minimum of the tree - level potential , @xmath24 , and is due to the massless ( goldstone ) bosons @xmath25 at that point  @xcite .
while the potential itself remains finite ( @xmath26 ) , the cubic coupling defined in   diverges at that point .
resummation of the infrared logarithms is required to correctly evaluate @xmath27 in the neighborhood of that point .
this resummation is conveniently achieved by switching from the zero - momentum renormalization scheme to the on - shell scheme  @xcite .
technically , this is equivalent to adding an extra term to @xmath28 , and interpreting the second derivative at the minimum of the corrected potential as the physical ( on - shell ) higgs mass .
the additional term eliminates the infrared divergence .
we will employ the on - shell scheme throughout this paper .
the one - loop finite - temperature potential has the form  @xcite v_t(h , t ) & = & _ f_i=0 dk k^2 & & - _ f_i=1 dk k^2 , where @xmath29 .
if the model contains bosons with masses small compared to @xmath30 , multi - loop infrared - divergent contributions need to be included to correctly analyze the dynamics of @xmath3 .
these contributions can be resummed and written in the form of the `` ring potential ''  @xcite : v_r(h , t ) = _ i tr , where the sum runs over all ( light ) bosonic degrees of freedom , and @xmath31 is the zero - momentum polarization tensor . in the sm , _
h(0 ) = _ g(0 ) & = & t^2 ( g^2 + g^2+_t^2+),_gb(0 ) & = & t^2 diag(g^2,g^2,g^2,g^2 ) , and m_gb^2(h)= (    cccc g^2 & 0 & 0 & 0 + 0 & g^2 & 0 & 0 + 0 & 0 & g^2 & -g g^2 + 0 & 0 & -g g^2 & g^2 +    ) .
these expressions are valid at @xmath32 ; for smaller @xmath30 , the ring terms are unimportant and can be dropped .
the full potential , the potential @xmath33 develops an imaginary part , due to the quantum instability of a classical state with spatially uniform value of @xmath3  @xcite .
this effect does not affect the dynamics of a first - order transition , as long as the rate of this instability is small compared to the electroweak scale .
this condition is always satisfied in our analysis . ]
is @xmath34 .
a useful `` decoupling '' feature of this potential is that at any @xmath30 , the contributions from particles with @xmath35 are exponentially suppressed .
thus , in bsm theories , only weak - scale states need to be included to analyze the ewpt .    at high temperature ,
@xmath36 for all states , the potential has the simple form ( h ; t ) ( _ f_i=0 g_i a_i + _ f_i=1 g_i a_i ) .
if the quantity in brackets is positive , @xmath37 is a stable minimum , and the electroweak symmetry is restored .
this is the case , for example , in the sm and the mssm , where @xmath38 for all states .
we will restrict our analysis to such models , since otherwise the ewpt does not occur .
a first - order transition occurs if @xmath39 develops a second , symmetry - breaking local minimum , @xmath40 , while the high - temperature minimum @xmath37 is still classically stable .
then , once the symmetry - breaking vacuum becomes energetically preferred , bubbles of the symmetry - breaking vacuum will start rapidly nucleating , growing , and coalescing , eventually encompassing the entire universe and completing the phase transition
. the critical temperature @xmath5 at which the phase transition occurs can be found from the condition is strongly suppressed compared to its natural value , @xmath41 .
phase transition does not occur until @xmath42 .
given the large hierarchy @xmath43 , we will not include this possibility in our analysis . ]
( = 0 ; t_c)=(v_t(t_c ) ; t_c ) .
the `` strength '' of the first - order transition ( more precisely , the degree of deviation from quasiadiabatic evolution ) can be characterized by the dimensionless parameter = .
for example , it is well known that successful electroweak baryogenesis requires @xmath44 .
due to the complicated form of the potential , the problem of finding @xmath5 and @xmath45 in a given model is in general not tractable analytically .
we have developed a numerical code which is used to evaluate these quantities in all examples studied in this paper .    in the sm ,
the ewpt is always second - order once the bound   is satisfied .
below , we analyze the situation in a few simple extensions of the sm .
consider a toy model in which a single real scalar state is added to the sm , with the potential v = m_0 ^ 2 s^2 + ^2 |h|^2 s^2 .
this is the most general renormalizable potential which respects a symmetry @xmath46 .
( without this symmetry , tree - level mixing between @xmath3 and @xmath47 would generally occur .
such models will be discussed below . )
note that while we use the susy - inspired notation @xmath48 for the coefficient in eq .
, this coefficient can in general be negative , as long as @xmath47 does not become tachyonic until @xmath49 and the lifetime of the vacuum at @xmath50 is larger than the present age of the universe .
( the runaway direction can be stabilized by the addition of a small @xmath51 term , which does not affect our analysis . )
the scalar contribution to the one - loop effective potential is given by eqs .
,  ,  , where @xmath52 , @xmath53 and @xmath54 .
in addition , the ring terms due to the @xmath3 and @xmath25 fields have to be modified by adding the scalar contribution to the polarization tensors , @xmath55 .
( we neglect additional contributions to polarization tensors due to @xmath47 self - coupling or coupling to other bsm singlets . ) in order to identify the points with a first - order ewpt , we scanned the parameters of the model : in the scan in order to demonstrate that they exhibit the same correlation between the higgs cubic coupling and the @xmath56 parameter as the positive-@xmath48 models .
we imposed the constraint that @xmath47 should not be tachyonic in the range @xmath57 gev , but did not analyze the lifetime of the conventional ewsb vacuum for these models , so some of the negative-@xmath48 points may be phenomenogically unacceptable .
a detailed analysis of this issue is beyond the scope of this paper , and its outcome would not affect the main point of our argument in any way . ]
@xmath58 gev , @xmath59 .
we also scanned the parameters @xmath60 and @xmath21 , making sure that the constraints   and   are satisfied ; the scanned region corresponds to @xmath61 gev .
( we did not find any points with higher @xmath62 and a strong first - order ewpt . ) for every point exhibiting a first - order ewpt , we compute the one - loop value of the physical higgs boson cubic self - coupling , _ 3 |_h = v .
the results are presented in fig .
[ fig : scalar ] . in the left panel ,
we plot the parameters @xmath56 and @xmath27 ( normalized to the sm one - loop value ) for the points in our scan ; in the right panel , we plot @xmath62 and @xmath27 .
it is clear from the plots that the higgs self - coupling is significantly larger than the sm value for _ all _ points with a first - order ewpt in this model .
if @xmath62 is known from experiment ( as it surely will be , by the time the experiments become sensitive to the higgs self - coupling ) , the correlation between @xmath27 and @xmath56 becomes tighter , as illustrated in fig .
[ fig : fixedmh ] .    experimental measurement of @xmath27 requires collecting a significant sample of events with two higgs bosons in the final state . at the lhc
, this coupling can be determined with 20 - 30 % precision for the higgs mass between 160 and 180 gev , for integrated luminosity of 3000 fb@xmath63 , which can be achieved if the luminosity upgrade to @xmath64 @xmath65s@xmath63 is realized  @xcite .
if an energy upgrade to a 200 tev vhlc is realized , the coupling can be measured with @xmath66% precision for 150 gev @xmath67 gev  @xcite . for lower higgs masses ,
the vlhc could make a similarly precise measurement of @xmath27 using rare decays  @xcite .
also , the 500-gev ilc is expected to measure @xmath27 with @xmath68 accuracy for @xmath69 gev and a luminosity of @xmath70 ab@xmath63  @xcite .
our analysis shows that if a strong first - order ewpt occurs due to an extra scalar contribution at one loop , and the higgs is sufficiently light , these experiments will discover a deviation of @xmath27 from the sm prediction .
higher center - of - mass energy would be required if @xmath62 is larger ; note , however , that strong first - order ewpt in this setup requires @xmath71 gev , so a modest increase in @xmath72 would be sufficient to cover all of the interesting parameter space .    ,
defined in eq .
, vs. higgs cubic self - coupling .
( right panel ) higgs cubic self - coupling vs. higgs mass for points exhibiting a strong first - order ewpt , @xmath73 . in both plots ,
the higgs self - coupling is normalized to the one - loop sm expectation for the same @xmath62.,title="fig:",width=264 ] , defined in eq .  , vs. higgs cubic self - coupling .
( right panel ) higgs cubic self - coupling vs. higgs mass for points exhibiting a strong first - order ewpt , @xmath73 . in both plots ,
the higgs self - coupling is normalized to the one - loop sm expectation for the same @xmath62.,title="fig:",width=264 ]    , but with the higgs mass fixed at 160 gev.,width=264 ]    in order to better understand this result , consider our model with @xmath74 . in this case , the one - loop higgs potential at zero temperature has the form v_0 h^4 + h^4 , where @xmath75 can be expressed in terms of the coupling constants of the model , and the contributions from higgs loops have been neglected .
if @xmath76 ( which occurs for sufficiently large @xmath48 in our model ) , this potential has a stable symmetry - breaking minimum at @xmath77 , and a shallow local maximum at @xmath4 .
this is of course just a realization of the purely radiative ewsb via dimensional transmutation ( dt ) _ a la _ coleman and weinberg  @xcite .
if now a small _ positive _ higgs mass term @xmath78 is added , the potential around @xmath79 is dominated by this mass term , and the maximum at the origin is turned into a minimum . at the same time , if @xmath20 is sufficiently small , the symmetry - breaking minimum is preserved , resulting in a potential with a `` bump '' between the two minima .
a bumpy zero - temperature potential essentially guarantees that the ewpt will be of the first order , and most of the points with strong first - order ewpt in our scan ( the blue points in fig .  [ fig : scalar ] ) have this feature .
the higgs self - coupling for the pure dt potential , eq .
, is 66% larger than the ( tree - level ) sm value for the same @xmath80 and @xmath62 : _
3^dt = = _ 3^sm , tree , which is roughly at the center of the range for the models with strongly first - order ewpt in our scan . even without the bump ( red points in fig .
[ fig : scalar ] ) , the models with @xmath81 have zero-@xmath30 potentials whose characteristic feature is a flatter maximum at @xmath4 compared to the sm .
this shape is close to the dt potential , again resulting in large deviations of @xmath27 from the sm prediction .
the connection with the pure dt case points to a potential concern about our model : in the dt case , the physical higgs mass is given by @xmath82 , so that large values of @xmath75 are required to satisfy the experimental lower bound on @xmath62 . correspondingly , in our scans , fairly large values of @xmath48 ( between 3 and 10 ) are required to obtain phenomenologically consistent points with a strong first - order ewpt . for @xmath83
, one might worry about the validity of perturbation theory that was used in our analysis . even for more moderate @xmath84
, two - loop corrections might be numerically significant .
this is the case , for example , in the mssm , where the stops effectively contribute with @xmath85 ( see section  [ multi ] ) . on the other hand ,
the main outcome of our analysis is not the precise values of @xmath27 for each point in the scan , but the fact that the deviation from the sm in this quantity is large for models with strong first - order ewpt
. it seems very unlikely that the higher - loop corrections would conspire to cancel the large one - loop correction to @xmath27 and bring it back precisely to the sm value , so our main qualitative conclusion should continue to hold even at strong coupling .    it should be noted that it is possible to have a large deviation of @xmath27 from the sm prediction _ without _ a strongly first - order transition .
we found such points in our scan .
these points have values of @xmath86 above , but not too far from , the higgs vev @xmath80 , and large values of @xmath87 .
the zero - temperature effective potential receives a correction of order @xmath88 , giving a substantial correction to @xmath27 ; the correction to the finite - temperature potential decouples exponentially , as @xmath89 , and is not sufficient to yield a first - order transition .
thus , while an observation of a large correction to @xmath27 would keep the door open to the possibility of a strongly first - order phase transition scenario , it would not prove it .    in our analysis , however , the minimum of the one - loop potential @xmath80 is typically sufficiently far away from the tree - level minimum due to large one - loop renormalization by top and scalar loops , and the @xmath25 contribution to @xmath27 is numerically small , of order a few percent .
we discard the points in our scan where the one - loop @xmath25 contribution to @xmath27 is 10% or larger , since the validity of perturbation theory is questionable for these points .
no such points appeared in the scan of this section , but this constraint will play a ( minor ) role in the analysis of section  [ sfpair ] below .
consider the sm with a single additional weyl fermion @xmath90 , with a majorana mass term ( m_0 + +  ) , where dots denote higher - order nonrenormalizable terms .
the mass has the form   with @xmath91 , and the formalism presented above applies , with @xmath92 . adding a single fermion
also modifies the ring contributions : @xmath93 , where @xmath87 is the same coefficient appearing in eq .  , and @xmath94 for a weyl ( dirac ) fermion .
we neglect additional ring contributions that would arise if @xmath90 coupled to other bsm states . in this model
, we performed the scan with @xmath95 gev , @xmath58 gev , and @xmath96 . for @xmath97 ,
@xmath27 is always suppressed with respect to the sm value , while for @xmath98 , @xmath27 is enhanced .
( in the @xmath99 effective potential , an @xmath98 fermion behaves like an @xmath97 boson , and vice versa . ) but in neither case do we find a strong ( @xmath73 ) first - order ewpt .
since the only inputs from the model into the ewpt analysis are the coefficients in the mass formula  , the same analysis applies in a model with a single dirac bsm fermion ( with @xmath100 if the fermion is chiral , and possibly @xmath101 if it is vector - like ) .
the only change is the new multiplicity factor , @xmath102 .
this does not affect the conclusions .
, defined in eq .  , vs. higgs cubic self - coupling .
( right panel ) higgs cubic self - coupling vs. higgs mass for points exhibiting a strong first - order ewpt , @xmath73 . in both plots ,
the higgs self - coupling is normalized to the one - loop sm expectation for the same @xmath62.,title="fig:",width=264 ] , defined in eq .  , vs. higgs cubic self - coupling .
( right panel ) higgs cubic self - coupling vs. higgs mass for points exhibiting a strong first - order ewpt , @xmath73 . in both plots ,
the higgs self - coupling is normalized to the one - loop sm expectation for the same @xmath62.,title="fig:",width=264 ]    any realistic extension of the sm has multiple bosonic and fermionic states , whose contributions to the higgs effective potential must be added . in this subsection , we will explore how the interplay between bosonic and fermionic contributions affects the connection between the higgs cubic coupling and the strength of a first - order ewpt . to address this ,
consider a toy model with a single fermion ( for concreteness , we assume it to be a vector - like dirac fermion ) , and four identical scalars .
the number of scalars is chosen so that the number of bosonic and fermionic degrees of freedom is the same , as would be the case in supersymmetric models .
we searched for points with strong first - order ewpt in the following parameter space : @xmath103 , @xmath104 gev , @xmath105 gev , @xmath106 gev .
( we did not find any points with a strong first - order ewpt for higher @xmath62 . )
the results are shown in fig .
[ fig : sf ] . in most of the parameter space ,
the correlation between @xmath56 and @xmath27 , observed above in the purely scalar model , persists , and models with strong first - order ewpt predict observable enhancements of @xmath27 with respect to the sm value .
there is also a smaller region where an observable suppression of @xmath27 is predicted ; this is due to the dominance of the fermion loops , which contribute to @xmath27 with a negative sign , for @xmath107 .
there is also , however , an exceptional parameter region , in which @xmath27 is close to the sm value .
this region has the following origin . in the one - loop zero - temperature potential , fermion and scalar contributions
cancel if @xmath108 and @xmath109 , since @xmath47 and @xmath110 form an exact supermultiplet , and @xmath27 has its sm value .
the scalar and fermion contributions to the finite - temperature part of the potential , however , do not cancel in this limit .
in particular , if @xmath111 is large , a large cubic term can be generated at high temperature , which can lead to a first - order transition .
fermion loops do not contribute to this term .
this explanation highlights the exceptional nature of the region with sm - like @xmath27 : the relations @xmath108 and @xmath109 can not be enforced by a symmetry other than susy .
given that the @xmath47 and @xmath112 fields have significant couplings to the higgs sector , and that susy must be broken in that sector , these relations are not radiatively stable .
for example , renormalization group flow will naturally induce a mass splitting between @xmath47 and @xmath110 of order m^2 =    higgs - higgsino mass splitting ( typically of order 100 gev or above ) and @xmath113 tev is the messenger scale where logarithmic divergences are cut off .
given the large value of @xmath48 in the region where the first - order transition is possible , we expect @xmath114 to be naturally large , of order a few hundred gev . imposing that the mass splitting be at least 100 gev eliminates the region with first - order ewpt and no deviation in @xmath27 .
we find that the minimal deviation in the cases @xmath115 gev , is 7% , 10% , 17% and 20% , respectively .
we conclude that in the absence of accidental degeneracies in the mass spectrum , the @xmath116 corellation works well in this model .
so far , we have observed the correlation between @xmath27 and @xmath56 in simple toy models .
will it persist in realistic bsm theories with more complicated spectra and interactions ?
while it is clearly impossible to analyze all possible cases , it seems very likely that the answer is positive .
several arguments point in this direction .
first , note that in a model with @xmath117 real ( or @xmath118 complex ) scalar fields with identical masses and couplings , the zero - temperture potential ( and therefore @xmath27 ) is the same as that for an `` effective '' single real scalar with m_0,eff^2 = m_0 ^ 2 , _
eff^2 = ^2 , g_eff=1 .
the same scaling applies for the scalar contribution to the finite - temperature potential ( including rings ) , except one has to also rescale @xmath119 .
if the scalar contribution dominates , this implies that the critical temperature in the @xmath117-scalar model is reduced by @xmath120 compared to the effective single - scalar model , and @xmath121 is unchanged .
we checked numerically that this scaling is accurate to within 20% even after the sm contributions are added .
thanks to this scaling , the approximate correlation between @xmath56 and @xmath27 is preserved for @xmath122 , and the models with @xmath122 and strong first - order ewpt predict _ larger _ minimal enhancement in @xmath27 compared to the @xmath123 case .
the same approximate scaling laws apply to models with @xmath117 identical species of fermions as well .
since the gauge charges of the added states have no effect on the higgs potential in the one - loop approximation , we conclude that the results of our toy - model analyses in fact apply to _ any _ model where a single multiplet ( or a single supermultiplet ) dominates the bsm contribution to the higgs potential .
the mssm with light stops , and models with multiple gauge - singlet scalars as in ref .
@xcite , are in this category .
even if multiple bsm states with different masses and couplings contribute to the higgs potential , the qualitative picture should remain the same .
in fact , we checked that a toy model with two scalars , whose masses and higgs couplings are varied independently , produces results very similar to the single - scalar case .
this is reasonable , since the similarity between the properties of the models with strong first - order ewpt and the dt model , noticed in section  [ singles ] , should persist independently of the precise origin of the large radative corrections to the higgs potential .
based on this evidence , we believe that significant deviation of the higgs cubic self - coupling from the sm value is a generic prediction of weakly - coupled models of ewsb with strong first - order ewpt , provided that no accidental cancellations occur .
a measurement of this coupling can serve as a diagnostic tool to glean information about the nature of the ewpt
. this would be particularly valuable in models with extra gauge singlets , whose masses and couplings to the higgs are difficult to measure directly , especially if the decay @xmath124 is kinematically forbidden .
the effect of new physics at the scale @xmath125 on the higgs potential can be parametrized by adding nonrenormalizable operators , suppressed by powers of @xmath13 , to the potential .
grojean , servant and wells ( gsw ) pointed out that in the presence of such terms , strong first - order ewpt may occur  @xcite .
following gsw , consider a model with a tree - level higgs potential of the form v^t(h ) = ^2 h^h + ( h^h)^2 + ( h^h)^3 .
it is reasonable to use this effective theory to describe the ewpt if the electroweak symmetry - breaking vev is small compared to @xmath13 .
the strong first - order ewpt occurs for positive @xmath20 and negative @xmath21 . with these choices
, it can be shown that the theory is applicable only if @xmath126 . in general
, this requires fine - tuning : for example , if the dimension-6 operator arises due to exchanges of a heavy weak - singlet scalar , one can show that @xmath127 will also be generated when the scalar is integrated out .
this should be cancelled by a bare term in the lagrangian .
however , given the relatively low values of @xmath13 interesting for our analysis ( 500  gev1  tev range ) , the required fine - tuning is numerically quite modest .     operator .
models with a `` bumpy '' zero - temperature higgs potential are shown in blue , and those without the bump in red .
( left panel ) the strength of the first - order ewpt @xmath56 , defined in eq .  , vs. higgs cubic self - coupling .
( right panel ) higgs cubic self - coupling vs. higgs mass for points exhibiting a strong first - order ewpt , @xmath73 . in both plots ,
the higgs self - coupling is normalized to the one - loop sm expectation for the same @xmath62.,title="fig:",width=264 ]   operator .
models with a `` bumpy '' zero - temperature higgs potential are shown in blue , and those without the bump in red .
( left panel ) the strength of the first - order ewpt @xmath56 , defined in eq .  , vs. higgs cubic self - coupling .
( right panel ) higgs cubic self - coupling vs. higgs mass for points exhibiting a strong first - order ewpt , @xmath73 . in both plots ,
the higgs self - coupling is normalized to the one - loop sm expectation for the same @xmath62.,title="fig:",width=264 ]    we analyzed the dynamics of the ewpt in the gsw model , following the general framework discussed in section  [ sec:2 ] .
we performed a scan of the following parameters : @xmath128 gev , @xmath129 gev .
( we did not find any points with strong first - order ewpt for higher @xmath13 and @xmath62 . ) our results for the order of the transition are roughly consistent , @xmath130 and @xmath131 , listed in section  [ sec:2 ] , which were not included in ref .
@xcite . on the other hand
, we do not include the corrections to the one - loop potential and ring terms induced by the dimension-6 operator , and do not account for the possibility of delayed nucleation .
both effects were included in ref .
these differences do not affect the argument of this paper . ] with refs .
we also computed the higgs cubic self - coupling ( at the one - loop order ) for each point in the scan .
the results are shown in fig .
[ fig : h6 ] . in the region
where there is a strong first - order ewpt , this model also predicts a large , order - one enhancement of @xmath27 from its sm value , which will be easily observable at the ilc .
this is easy to understand analytically : at tree level , we have = 1 + .
since strong first - order ewpt can only occur for @xmath13 in the 500 gev1 tev range , the correction term is large for these points .
( the one - loop corrections to eq .
are at most about 10% in our scan . ) in addition , as fig .
[ fig : h6 ] indicates , there is a clear and strong correlation between this coupling and the strength of the ewpt .
in all examples studied above , the sm - like higgs field @xmath3 was the only field that acquired an expectation value during the ewpt .
if other scalar fields are present , they may change their value in the same transition , so that the order parameter for the ewpt is effectively a linear combination of @xmath3 and other fields . of particular interest
are models with extra gauge - singlet scalars , such as the nmssm , certain little higgs models , and others . at low temperatures , both singlet and higgs vevs
are generically non - zero . at high temperatures ,
the higgs vev is driven to zero , and although the singlet vev typically remains non - zero , the ewpt involves changes in both vevs . since the zero - temperature singlet potential is not restricted to even - degree polynomials by gauge invariance , it may contain cubic terms , which can naturally produce large `` bumps '' and lead to strong first - order ewpt . we will consider a simple model of this kind in this section .
our main goal here is to illustrate that the connection between the strong first - order ewpt and observable deviations of the higgs self - coupling from the sm value persists in this model .
many studies of models of this type have appeared in the literature , mostly in the context of the nmssm and the nmssm  @xcite .
we will follow the conventions of a recent analysis by profumo , ramsey - musolf , and shaughnessy ( prs )  @xcite , which applies more generally .
( see also ref .  @xcite . )
consider a model with a single real scalar @xmath47 added to the sm .
the most general renormalizable scalar potential has the form v^t(h , s ) = -^2 h^h + ( h^h)^2 + h^h s+ h^h s^2+s^2 + s^3+s^4 , where @xmath132 .
we assume that the model has a stable vacuum at @xmath133 .
( the conditions for this are listed in ref .
@xcite . ) the physical higgs fields are obtained by expanding around this minimum , @xmath134 and @xmath135 , and diagonalizing the mass matrix by a rotation h_1&= &  s+  h , h_2&= &  s -  h. the mixing angle is defined such that @xmath136 . with this convention ,
@xmath137 is more doublet - like and @xmath138 is more singlet - like . for positive ( negative ) @xmath139 , the eigenmass @xmath140 is greater than ( less than ) @xmath141 .
we focus on the state @xmath137 , which for simplicity we will refer to simply as `` the higgs '' , and study the deviation of its cubic self - coupling from the sm prediction for a higgs of the same mass . at tree level , & = & ( 12 v^3 + 3 a_1 ^ 2 + 6 a_2(x+v)+ & & 4 b_3 ^ 3 + 12 b_4x^3 ) . unlike the models studied in section  [ sec:2 ] ,
no large couplings are required to achieve first - order ewpt in this setup .
we restrict our analysis to the points where all couplings are weak , and ignore the loop corrections to the relation  .    , defined in eq .  , vs. higgs cubic self - coupling .
( right panel ) higgs cubic self - coupling vs. higgs mass for points exhibiting a strong first - order ewpt , @xmath73 . in both plots ,
the higgs self - coupling is normalized to the tree - level sm expectation for the same @xmath62.,title="fig:",width=264 ] , defined in eq .  , vs. higgs cubic self - coupling .
( right panel ) higgs cubic self - coupling vs. higgs mass for points exhibiting a strong first - order ewpt , @xmath73 . in both plots ,
the higgs self - coupling is normalized to the tree - level sm expectation for the same @xmath62.,title="fig:",width=264 ]    it is straighforward to compute the finite - temperature one - loop potential in this model , and analyze the dynamics of the ewpt numerically .
we used the high - temperature approximation for @xmath142 , expanding it up to linear order in @xmath30 .
this approximation greatly speeds up the numerical analysis .
we performed a partial scan of the parameter space of the model , setting @xmath143 and scanning @xmath144 gev , @xmath145 gev , @xmath146 , @xmath147 gev , and @xmath148 .
this parameter region includes a large set of points with strong first - order ewpt , and lies roughly within the range consistent with precision electroweak constraints gev mass range is allowed if new physics produces a positive contribution to the t parameter .
this is the case , for example , in the lht model  @xcite . ]
determined in  @xcite .
the results of this scan are illustrated in fig .
[ fig : svevblob ] .
the models with strong first - order ewpt predict a suppression of the higgs cubic self - coupling relative to the sm value , by a factor of 2 or more .
the sign of the effect , however , is not unique in this model : for example , we found points with @xmath149 which predict a strong first - order ewpt and an enhanced higgs self - coupling .
the important point is that large , order - one deviations in @xmath27 from the sm are typical .
this is not surprising , since both these deviations and the possibility of strong first - order ewpt are due to same new tree - level interactions .
the corellation between the size of this effect and the strength of the ewpt is less clear than in the examples of sections  [ sec:2 ] and  [ sec:3 ] .
this is simply due to a large number of parameters that affect @xmath27 , but have only a marginal effect on @xmath56 .
if those parameters are fixed , and , for example , only the higgs - singlet mixing parameter @xmath150 is varied , a clear corellation between @xmath27 and @xmath56 emerges , as seen in fig .
[ fig : sveva1 ] .
( in this figure we fixed @xmath151 gev , @xmath152 , @xmath153 gev , @xmath148 , @xmath143 , and scanned @xmath154 gev . )     vs. higgs cubic self - coupling , in the model of eq .  .
only the mixing parameter , @xmath150 , is varied .
the higgs self - coupling is normalized to the one - loop sm expectation for the same @xmath62.,width=264 ]    unlike the models of sections  [ sec:2 ] and  [ sec:3 ] , where the non - standard higgs cubic coupling might provide the first experimental hint of the existence of extra singlet scalars at the weak scale , the model studied here will provide a variety of deviations in the higgs production cross section and branching ratios from the sm due to the singlet admixture  @xcite .
many such deviations will probably be observed before the higgs self - coupling measurement is available , especially if @xmath27 is suppressed .
nevertheless , it is interesting that the general pattern of large deviations in @xmath27 in all models exhibiting a strong first - order ewpt persists in this class of models .
we fixed @xmath151 gev , @xmath152 , @xmath153 gev , @xmath148 , @xmath143 , and scanned @xmath155 gev .
the results are presented in fig .
[ fig : sveva1 ] .
this scenario demonstrates a direct proportionality between @xmath150 and @xmath56 , but an inverse proportionality between @xmath150 and @xmath27 .
the origin of this supression is as follows .
the terms in the potential involving only the doublet components of the @xmath137 produce a positive contribution to @xmath27 , as in the sm .
( this contribution reduces to the sm value in the no - mixing limit . ) the term involving doublet - singlet mixing , as well as the @xmath156 term , produce a negative contribution for @xmath157 , since their coefficients @xmath158 and @xmath159 are negative .
note that the sign of @xmath158 and @xmath159 is effectively determined by the requirement of strong first - order ewpt : it is these terms that introduce the desired `` bump '' in the potential .
in this paper , we investigated the link between the dynamics of the ewpt and the deviation of the cubic higgs boson self - coupling in extensions of the sm .
we studied this link in a series of toy models .
our toy models implement three mechanisms by which the weak - scale new physics could turn the second - order adiabatic transition predicted in the pure sm into a first - order transition . in the first set of models , the dynamics
is determined by large quantum corrections to the higgs potential , both zero- and finite - temperature , from loops of new particles ( possibly , but not necessarily , gauge singlets ) with strong coupling to the higgs . in the second model , the first - order transition is due to the presence of a nonrenormalizable operator in the higgs potential . in the third model ,
the crucial new feature is the tree - level mixing between the higgs and an extra scalar singlet . in all cases
, we found that models that exhibit a strong first - order ewpt predict large deviations of the higgs cubic coupling from the standard model value .
order - one deviations are typical .
the models of the first and second classes typically predict an enhancement in the higgs cubic coupling , while in the models of the third class both signs are equally likely .
the only cases where the cubic coupling does _ not _ deviate significantly from the sm prediction are due to accidental cancellations among unrelated contributions to this coupling .
thus , we conclude that a measurement of the higgs cubic coupling consistent with the sm prediction would strongly disfavor ( although not completely rule out ) a first - order electroweak phase transition
. a discovery of a substantial deviation of this coupling from the sm would keep the possibility of a first - order transition open , but would not conclusively prove it , as discussed at the end of section  [ singles ] .
while a measurement of the higgs cubic coupling is very difficult at the lhc , a 20%-level measurement appears to be within the reach of the proposed luminosity or energy upgrades of the lhc , as well as the ilc . based on the analyis
, we conclude that such a measurement could serve as a sensitive probe of the dynamics of the electroweak phase tranition .
if no deviation from the sm is observed , it would be very unlikely that the transition is first - order .
note that at least some of the sources of the first - order transition are very difficult to exclude by any other means : for example , a gauge - singlet scalar that does not mix with the higgs at tree level but has a strong quadratic coupling , as in the model of section  [ singles ] , is essentially impossible to detect directly as long as the decay @xmath124 is kinematically forbidden .
therefore , even with a large body of knowledge about the bsm particles and their couplings from the lhc and ilc experiments , the question of the order of the phase transition would be very difficult to settle definitively . a measurement of the higgs cubic coupling would be crucial in addressing this issue .
it is exciting that the next generation of collider experiments will likely contribute to our understanding of cosmology .
one example is the possibility that the dark matter particle will be discovered , and its propserties measured , at the lhc and the ilc .
this connection has attracted much attention in the literature , and has been analyzed both in specific models of new physics  @xcite , and in a model - independent framework  @xcite .
understanding the dynamics of the electroweak phase transition is another open question in the early universe cosmology where the lhc and ilc experiments will have an important role to play . in this paper
, we studied one simple experimentally observable quantity that is tightly correlated with the order of the transition .
it is also possible that a combination of mass and coupling measurements could be used to completely reconstruct the higgs potential , providing a much more detailed picture of the transition
. it would be interesting to understand what quantities would need to be measured , and how precise the measurements would need to be .
we are grateful to sohang gandhi , christophe grojean and geraldine servant for useful discussions .
we are also very grateful to david rainwater for a communication regarding the prospects for a measurement of @xmath27 at the lhc .
this research is supported by the nsf grant phy-0355005 .
d.  a.  kirzhnits , jetp lett .
* 15 * , 529 ( 1972 ) [ pisma zh .
eksp .  teor .
fiz .   * 15 * , 745 ( 1972 ) ] ; d.  a.  kirzhnits and a.  d.  linde , phys .
b * 42 * ( 1972 ) 471 .
m.  e.  shaposhnikov , nucl .
b * 287 * , 757 ( 1987 ) ; nucl .
b * 299 * , 797 ( 1988 ) . for reviews of more recent developments ,
see a.  riotto and m.  trodden , ann .
sci .   * 49 * , 35 ( 1999 ) [ arxiv : hep - ph/9901362 ] ; m.  dine and a.  kusenko , rev .
phys .   * 76 * , 1 ( 2004 ) [ arxiv : hep - ph/0303065 ] . c.  grojean and g.  servant , phys .
d * 75 * , 043507 ( 2007 ) [ arxiv : hep - ph/0607107 ] ; c.  caprini , r.  durrer and g.  servant , arxiv:0711.2593 [ astro - ph ] . c.  grojean , g.  servant and j.  d.  wells , phys .
d * 71 * , 036001 ( 2005 ) [ arxiv : hep - ph/0407019 ] .
s.  kanemura , y.  okada and e.  senaha , phys .
b * 606 * , 361 ( 2005 ) [ arxiv : hep - ph/0411354 ] ; `` electroweak baryogenesis and the triple higgs boson coupling , '' _ in the proceedings of 2005 international linear collider workshop ( lcws 2005 ) , stanford , california , 18 - 22 mar 2005 , pp 0704 _ [ arxiv : hep - ph/0507259 ] ; s.  w.  ham and s.  k.  oh , [ arxiv : hep - ph/0502116 ] . for reviews , see h.  e.  haber and g.  l.  kane , phys .
* 117 * , 75 ( 1985 ) ; s.  p.  martin , arxiv : hep - ph/9709356 . for reviews , see m.  schmaltz and d.  tucker - smith , ann .
nucl .  part .
sci .   * 55 * , 229 ( 2005 ) [ arxiv : hep - ph/0502182 ] ; m.  perelstein , prog .  part .
phys .   * 58 * , 247 ( 2007 ) [ arxiv : hep - ph/0512128 ] .
g.  w.  anderson and l.  j.  hall , phys .
d * 45 * , 2685 ( 1992 ) .
l.  dolan and r.  jackiw , phys .
d * 9 * , 3320 ( 1974 ) ; s.  weinberg , phys .  rev .
d * 9 * , 3357 ( 1974 ) . m.  e.  carrington , phys .
d * 45 * , 2933 ( 1992 ) .
e.  j.  weinberg and a.  q.  wu , phys .
d * 36 * , 2474 ( 1987 ) .
u.  baur , t.  plehn and d.  l.  rainwater , phys .
lett .   *
89 * , 151801 ( 2002 ) [ arxiv : hep - ph/0206024 ] .
u.  baur , t.  plehn and d.  l.  rainwater , phys .
d * 67 * , 033003 ( 2003 ) [ arxiv : hep - ph/0211224 ] .
u.  baur , t.  plehn and d.  l.  rainwater , phys .
d * 69 * , 053004 ( 2004 ) [ arxiv : hep - ph/0310056 ] .
a.  djouadi , j.  lykken , k.  monig , y.  okada , m.  j.  oreglia and s.  yamashita , arxiv:0709.1893 [ hep - ph ] . s.  r.  coleman and e.  weinberg , phys .
d * 7 * , 1888 ( 1973 ) .
w.  d.  goldberger , b.  grinstein and w.  skiba , arxiv:0708.1463 [ hep - ph ] .
j.  r.  espinosa and m.  quiros , phys .
d * 76 * , 076004 ( 2007 ) [ arxiv : hep - ph/0701145 ] .
s.  j.  huber and t.  konstandin , arxiv:0709.2091 [ hep - ph ] .
c.  delaunay , c.  grojean and j.  d.  wells , arxiv:0711.2511 [ hep - ph ] .
g.  f.  giudice , c.  grojean , a.  pomarol and r.  rattazzi , jhep * 0706 * , 045 ( 2007 ) [ arxiv : hep - ph/0703164 ] .
see , for example : m.  pietroni , nucl .
b * 402 * , 27 ( 1993 ) [ arxiv : hep - ph/9207227 ] ; s.  j.  huber and m.  g.  schmidt , nucl .
b * 606 * , 183 ( 2001 ) [ arxiv : hep - ph/0003122 ] ; a.  menon , d.  e.  morrissey and c.  e.  m.  wagner , phys .
d * 70 * , 035005 ( 2004 ) [ arxiv : hep - ph/0404184 ] ; c.  balazs , m.  s.  carena , a.  freitas and c.  e.  m.  wagner , jhep * 0706 * , 066 ( 2007 ) [ arxiv:0705.0431 [ hep - ph ] ] .
s.  profumo , m.  j.  ramsey - musolf and g.  shaughnessy , jhep * 0708 * , 010 ( 2007 ) [ arxiv:0705.2425 [ hep - ph ] ] .
a.  ahriche , phys .
d * 75 * , 083522 ( 2007 ) [ arxiv : hep - ph/0701192 ] . j.  hubisz , p.  meade , a.  noble and m.  perelstein , jhep * 0601 * , 135 ( 2006 ) [ arxiv : hep - ph/0506042 ] .
see , for example , e.  a.  baltz , m.  battaglia , m.  e.  peskin and t.  wizansky , phys .
d * 74 * , 103521 ( 2006 ) [ arxiv : hep - ph/0602187 ] .
a.  birkedal , k.  matchev and m.  perelstein , phys .
d * 70 * , 077701 ( 2004 ) [ arxiv : hep - ph/0403004 ] ; c.  bartels and j.  list , arxiv:0709.2629 [ hep - ex ] .