Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: with the discovery of the higgs boson at the lhc , an important step towards a complete identification of the structure of the mechanism of mass generation in the electroweak theory has been taken . however , it is clear that one needs suitable extensions of the current version of the standard model ( sm ) in order to solve some important theoretical and phenomenological issues which do not find an answer within the same model . these include , for instance , the absence of a mechanism which could account for the masses of the three generations of neutrinos , or the origin of its chiral nature as well as of the gauge charge assignments of the flavor sector . at theoretical level , the latter are constrained only by the gauge symmetry together with the mechanism of cancelation of the gauge and of the gravitational anomalies , which provide significant restrictions on the possible interactions . + analogously , the issue concerning the instability of the scalar potential of the sm under the perturbative renormalization group ( rg ) evolution up to the planck scale , which is another critical aspect of the same model , noticed long ago , has been exploited in the past @xcite to constrain the higgs mass , and it has been instrumental for later higgs searches , but it has also been viewed as one of its unappealing features . in this case , the basic motivation hinged on the belief that any approach which tries to connect the sm directly with the planck scale is probably untenable , as epitomised by the gauge - hierarchy problem . + with the recent lhc activity and the significant exclusion limits on the parameter space of possible supersymmetric models which have emerged from it , recurrent attempts to connect the sm with larger physical scales , particularly the planck scale , have resurfaced . in particular , the assumption of a _ big desert _ scenario , without any intermediate new physics , have forced many to reconsider the issue of its vacuum stability . in this framework , finer inspections of the perturbative rg evolution of the sm scalar potential have become quite popular @xcite . it has been pointed out that although the sm scalar potential develops a new deeper minimum , the lifetime of the unstable electroweak vacuum is found to be much larger than the age of the universe . this feature , called metastability , taken at face value , suggests that the extrapolation of the sm up to the planck scale does not necessarily require the introduction of new physics . these issues have been and are widely debated also in cosmology @xcite , for a potential both at zero and at finite temperature . the role of these analyses has been to clarify , in view of the measured value of the higgs mass , if the sm stands solidly in a quantum field theory and cosmological context and , specifically , whether additional contributions to the running would resolve the issue related to its behavior . the study of the shape of the higgs effective potential @xmath2 , for large values of the higgs field , larger than the higgs vev @xmath3 @xmath4 , is critically important for coming to reasonable conclusions concerning the stability of the sm . if another minimum is found at @xmath5 , then the requirement of stability imposes that @xmath6 . in the opposite situation , the potential could be either completely unstable or metastable . + as mentioned above , if @xmath7 , a metastable condition could be accepted as far as the tunnelling time @xmath8 for the transition from the false to the true vacuum of the higgs field is larger than the age of our universe @xmath9 . in the opposite case , with @xmath10 , one encounters a complete instability , which must be excluded . the rg analyses points to a metastable behavior which runs quite close to the region of instability in the parameter space @xcite . + one of the unappealing issues of the sm potential lays in its critical dependence on the top quark @xmath11 and higgs @xmath12 masses . in fact , the effect of the fermions , and of the yukawa of the top quark in particular , on the rg evolution , is to drive the higgs quartic couplings @xmath13 towards negative values , upsetting the vacuum stability already at @xmath14 gev , but allowing for a long - lived vacuum . for this reason , in the pure sm scenario , precise measurements of the value of the top mass and the resolution of the ambiguities in the use of different renormalization schemes for its evaluation are important in order to lift the controversy @xcite @xcite . + this leaves open the possibility that new physics , around the electroweak scale and above , but below the planck scale @xmath15 , will drastically change this scenario , reducing such sensitivity or eliminating it all together @xcite . in these analyses , the magnitude and the sign of the different contributions to the beta function @xmath16 of the higgs quartic coupling is crucial for a correct prediction . + obviously , even simple modifications of the gauge structure of the sm , with the inclusion of one extra @xmath17 symmetry in the neutral currents sector allow to envision completely different scenarios where the issue of stability or of metastability finds alternative solutions . also in this case , though , the large yukawas of other heavy fermions play a similar role as the top quark , hinting that a complete solution of this issue involves the entire heavy flavor sector @xcite . + the goal of our analysis , in this work , is to illustrate how the requirement of stability under the rg evolution of the parameters of the model is linked to the flavor sector of the same theory , as soon as we enlarge the scalar potential even in a minimal way . we will investigate this point rather thoroughly , by addressing the case of an extra @xmath0 symmetry , where @xmath18 and @xmath19 are the baryon and lepton numbers respectively , extending our previous one - loop analysis @xcite to two - loop level , and detailing many features which we have not discussed before . the model invokes a single extra higgs scalar ( the heavier higgs ) in the breaking of the extra abelian symmetry , beside the ordinary higgs doublet of the sm . several previous phenomenological analyses have addressed some of the salient features of this model , which is a front - runner in the hunting for a possible extra @xmath20 at the lhc @xcite . b - l is an anomaly - free and conserved symmetry of the sm , which plays an important role in grand unified theory ( gut s ) . + the current study is also characterized by the obvious inclusion in the rg running of the one - loop matching conditions at the electroweak scale , formerly considered by us only at tree - level . as we are going to show , these are essential in order to determine correctly the regions of stability of the potential . our equations also keep into account the effects due to the kinetic mixing of @xmath0 with the hypercharge . we have assumed for simplicity that the coupling @xmath21 which parameterizes the mixing is vanishing at the electroweak scale , and gets only generated radiatively in the upward running . for this reason , our analysis is here focused on a _ pure _ b - l extra gauge structure at the electroweak scale . however , using our results , one can easily address different scenarios , under the assumption of a diagonal b - l and hypercharge ( @xmath22 ) symmetries at the gut scale , with a kinetic mixing induced by a reverse evolution from the gut scale towards the electroweak one . + moreover , our work invokes a suitable mechanism of mass generation of the light neutrinos of the sm . as in a previous work @xcite , we consider a scenario based on a type - i seesaw realized with three heavy right - handed ( rh ) neutrinos which can be easily generalized to other mechanisms , such as to a type - ii , -iii , or to an inverse seesaw . + concerning the specific charge assignments of the rh neutrinos , we rely on the general conditions of anomaly cancellation . the solutions of the corresponding equations depend significantly on the number of heavy rh neutrinos ( @xmath23 ) selected in the model , which in our case is one per generation , and we have opted for a symmetric charge assignment of the @xmath24 under @xmath0 . obviously , other solutions can be considered as well . + in any case , the pattern that emerges from this analysis is quite insensitive to the gauge charges , while remaining quite sensitive to all the other parameters which characterize the potential and the fermion sector . as we are going to point out , these can be traded for the mass of the extra @xmath20 , @xmath25 , and its gauge coupling @xmath26 , the mixing angle @xmath27 of the two higgses , the mass of the heavy higgs @xmath28 and the masses of the rh neutrinos . the gauge symmetric extension that we consider has the same content of the sm augmented by a single extra @xmath29 factor , i.e. @xmath30 , with @xmath29 later identified with @xmath0 . the higgs sector includes one extra complex scalar @xmath31 , beside the higgs , @xmath32 , which will be discussed thoroughly in the next sections . + in this section we briefly review the conditions imposed by the cancellation of the anomalies , which constrain significantly the @xmath29 charge assignments of the model . as already discussed in previous analysis @xcite , these conditions can be combined with extra requirements on the mass generation in the fermion sector , i.e. on the type of operators chosen in order to provide masses for the neutrinos . in general , these extra requirements may involve operators of mass dimension larger than four . in this context , the choice , for instance , of a type - i seesaw for the neutrino masses with three sm singlet right - handed neutrinos is , for sure , quite economical and carries the advantage of preserving the renormalizability of the model . + we assign generic charges @xmath33 for the left - handed ( lh ) quark and lepton doublets @xmath34 , and the charges @xmath35 for the right - handed ( rh ) @xmath36 , @xmath37 and @xmath38 quarks and leptons . the charges of the rh neutrinos @xmath39 are denoted as @xmath40 . notice that we will omit the indices from the definition of the charges since the conditions for anomaly cancellation will be universal , the same for each fermion generation . finally , the charges of the two scalars @xmath32 and @xmath31 are denoted as @xmath41 and @xmath42 respectively . + we have the following cancellation conditions for the non - abelian @xmath43 and @xmath44 anomalies u(1) su(2 ) su(2 ) : & & 3 z_q + z_l=0 , + u(1) su(3 ) su(3 ) : & & 2 z_q - z_u - z_d=0 , [ y33 ] which fix @xmath45 and @xmath46 in terms of @xmath47 and @xmath48 . two other conditions are u(1) u(1)_y u(1)_y : & & z_q -8 z_u -2 z_d + 3 z_l - 6 z_e=0 , + u(1) u(1) u(1)_y : & & z_q^2 - 2 z_u^2 + z_d^2 - z_l^2 + z_e^2=0 , [ zyy ] for the mixed @xmath17 anomalies . from the first of the two requirements in eq . ( [ zyy ] ) one can immediately extract the relation @xmath49 , while the second condition of the same equation is automatically satisfied using the solutions found from eq . ( [ y33 ] ) . we have summarized in tab.[table1 ] the spectrum of the theory that we will be using in our phenomenological study . + the constraints on the charges @xmath40 of the sm singlet fermions are obtained from the conditions of cancellation of the @xmath29 cubic anomalies , together with those from the gravitational anomaly . the latter involve the @xmath29 current and two gravitons @xmath50 ( i.e. two insertions of the stress - energy tensor of the sm ) . in the general case with @xmath51 singlet fermions one has , respectively u(1) u(1) u(1) : & & _ k=1^n z_k^3 = 3= 3 ( z_u - 4 z_q)^3 , for the cubic anomaly and u(1) g g : & & _ k=1^n z_k = 3= 3 ( z_u - 4 z_q ) , [ zgg ] for the gravitational anomaly , where we have used the constraints extracted from eqs . ( [ y33 ] ) and ( [ zyy ] ) . finally , combining together the two conditions in eq . ( [ zgg ] ) , one obtains the cubic relation ( _ k=1^n z_k)^3 = 9 _ k=1^n z_k^3 . [ cubic ] for instance , the constraints in eq . ( [ zgg ] ) imply , for @xmath52 and @xmath53 , the condition @xmath54 , which brings either to the trivial solution or to a solution which is @xmath22-sequential . in this latter case the @xmath29 charge assignment is proportional to that of @xmath55 . in the @xmath56 case one obtains , instead , @xmath57 . + an interesting solution which is non - sequential in @xmath22 is found for @xmath58 . in this case each of the @xmath39 is assigned to a separate generation . for example , the choice @xmath59 allows to find the simple solution @xmath60 . the cancellation instead becomes inter - generational by choosing , for instance , the less restrictive condition @xmath61 . in this case ( [ zgg ] ) gives @xmath62 , with @xmath63 , as one can easily verify . + the cancellation of the gravitational anomalies , can be imposed , in general , at inter - generational level . in the present analysis we will opt , however , for a completely symmetric ( family independent ) assignment of the rh neutrinos charges @xmath64 , which allow to reduce the corresponding parameter space . with this choice , the @xmath65 constraint from the gravitational anomaly reduces to a single equation for just one charge . on the other hand , the cancellation of the analogue gravitational anomalies in the sm , obtained from the @xmath66 sector , is a natural consequence of the hypercharge assignments of the same model , and does not generate any additional constraint . .charge assignment of fermions and scalars in the @xmath29 sm extension . [ table1 ] [ cols="^,^,^,^,^",options="header " , ]     ) , = , whose expressions , determined by the minimization conditions , are v^2 = , v^2 = . [ vevs ] after spontaneous symmetry breaking , the mixing between the two scalar fields can be removed by an orthogonal transformation which rotates @xmath32 and @xmath31 into the two mass eigenstates @xmath67 and @xmath68 (    c h_1 + h_2    ) = (    cc & - + &    ) (    c h +    ) with @xmath69 . the masses of the scalar eigenstates are m_h_1,2 ^ 2 = _ 1 v^2 + _ 2 v^2 , and one can easily derive the relations [ lambdas ] _ 1 & = & ( 1 + 2 ) + ( 1 - 2 ) , + _ 2 & = & ( 1 - 2 ) + ( 1 + 2 ) , + _ 3 & = & 2 ( ) , which can be used to set the initial conditions on the scalar couplings through the physical masses @xmath70 , the two vevs @xmath71 and the mixing angle @xmath27 . from eq .  ( [ lambdas ] ) one can immediately derive the relation 2 = , [ theta ] which allows to express the mixing of the two scalars in terms of the three independent couplings of the potential and the two vevs @xmath71 . notice that while the couplings @xmath72 in eq . ( [ lambdas ] ) can be taken as the independent parameters of the potential after imposing the vacuum conditions eq .  ( [ vevs ] ) , eq .  ( [ theta ] ) is a trivial identity , derived from the former . after spontaneous symmetry breaking , one obtains for the @xmath73 mass the usual sm expression , @xmath74 , while the masses of the neutral gauge bosons are obtained from the lagrangian ( g_2 w^3_- g b_- |g b_)^2 + ( g z_b_)^2 , where we have assumed a nonzero kinetic mixing of the two @xmath75 gauge fields , as expressed in eq . ( [ covder ] ) . we have also defined the new coupling @xmath76 , which involves the kinetic mixing @xmath21 and the @xmath29 gauge coupling @xmath26 . @xmath41 and @xmath42 are the @xmath29 charges of the two scalar fields . in the case of a b - l symmetry , since @xmath77 , then the new coupling @xmath78 coincides with the coupling of the kinetic mixing , @xmath79 . + the diagonalization of the mass matrix extracted from the previous expression gives the relations between mass and interaction eigenstates (    c b^ + w_3^ + b^    ) = (    ccc _ w & - _ w  & _ w  + _ w & _ w  & - _ w  + 0 &  &     ) (    c a^ + z^ + z^    ) where @xmath80 is the usual weinberg angle of the sm , and @xmath81 is a new mixing angle , with @xmath82 defined as [ thetaprime ] 2  = . the relation above can be re - expressed in terms of the masses of the two gauge bosons . the masses of the @xmath83 and @xmath20 gauge bosons are given by [ zzpmasses ] m_z , z = ^ . a bound on the mixing angle @xmath81 has been obtained from the lep experiment @xcite which constrains @xmath81 to small values , namely @xmath84 . in this case the expressions for the gauge boson masses simplify considerably to [ zzpmassessmallth ] m_z , m_z , and [ thetaprimemasses ]  |g can be used in order to quickly grasp the dependence of the mixing angle @xmath81 in terms of @xmath85 . + notice that the kinetic mixing between the two @xmath17 gauge fields can be taken to vanish , without loss of generality , at any particular scale , but it can be reintroduced by the rg evolution @xcite . as already mentioned above , in the present analysis we have chosen a vanishing @xmath86 at the electroweak scale , which is one of the boundary conditions of our rg study . also notice that , for @xmath87 , the tree - level mixing between the @xmath20 and the sm gauge bosons is absent only for @xmath88 , which occurs when the @xmath29 charges are those of @xmath89 . we conclude this section with few comments about the physical parameters of the model , which we will be using in our numerical study in the sections below . the original 5 parameters of the potential @xmath90 , after imposing the vacuum conditions eq . ( [ vevs ] ) , can be replaced with the two physical masses of the higgses , the two vevs @xmath71 , and the scalar mixing angle @xmath27 . after eliminating @xmath3 and @xmath91 ( respectively identified with the sm vev and higgs mass , @xmath92 gev , @xmath93 gev ) using the current lhc data , we are left with @xmath94 , the mass of the extra higgs , @xmath27 and @xmath95 as extra parameters . we can re - express @xmath95 in terms of the physical mass of the @xmath20 using eq . ( [ zzpmassessmallth ] ) , which involves as relevant unknown parameter the gauge coupling @xmath26 and the kinetic mixing @xmath21 . henceforth , the potential can be conveniently investigated in terms of the physical masses @xmath25 and @xmath94 , and of the mixing angle @xmath27 . for a given mass of the extra @xmath20 , one can use the two couplings @xmath96 as additional parameters , whose values are taken as boundary conditions at the electroweak scale . a typical study of the stability of the potential would then involve @xmath97 , together with @xmath96 . the inclusion of the rh neutrinos renders this study more complex , since the evolution will couple the previous parameters to the mass of the rh neutrino @xmath98 . as we are going to see , the requirement of stability of the potential through the running of its rg equations , will in general select specific regions of the @xmath99 plane , for assigned values of the couplings , @xmath25 and @xmath27 . + as we will discuss in the sections below , the variables @xmath100 , @xmath27 and @xmath94 will have to satisfy some bounds from lep ( eqs . ( [ stu1 ] ) and ( [ stubound ] ) respectively ) while @xmath96 will be constrained by the requirements of perturbativity along the entire rg flow ( eq .  ( [ pertconds ] ) ) . + one final comment concerns the mass of the heavy rh neutrino , which is also directly related to the vev @xmath95 as for @xmath25 , as shown in eqs . ( [ yuk],[typeiseesawmasses1 ] ) . therefore , an independent variation of @xmath98 respect to @xmath25 , causes @xmath101 , the yukawa of the rh neutrino , to vary . for a given mass of the extra @xmath20 , with fixed couplings @xmath96 at the electroweak scale , the variation of @xmath98 is entirely accounted for by a variation of @xmath101 . we are now in the position to start a renormalization group analysis using a basis of diagonal kinetic terms and with eq . ( [ nondiagcovderivative ] ) as the minimal form of the covariant derivative . consequently , the contribution coming from the abelian sector to the couplings include @xmath103 , @xmath26 and @xmath21 as given by eq . ( [ orthogonal ] ) , the latter accounting for the mixing . we will simplify the structure of the sm yukawa sector by retaining only the contribution coming from the top quark ( @xmath104 ) , thereby omitting the yukawas of the 3 light neutrinos . on the other hand , we have taken the yukawas of the heavy neutrinos to be universal ( generation independent ) @xmath105 . + we present , in this section , the one - loop @xmath102-functions for the dimensionless parameters for a generic charge assignment . the corresponding two - loop corrections can be found in appendix [ betafuncs ] . + we start from the rotated gauge coupling sector which , as already said , contain no trace of @xmath106 , if the @xmath102-functions undergo the same rotation given in eq . ( [ explicitrot ] ) . at one - loop order , the evolution of the gauge couplings is defined by the @xmath102 functions [ abelianbeta ] ^(1)_g & = & , ^(1)_g_2 = -,^(1)_g_3 = -7 g_3 ^ 3 , + ^(1)_g & = & g^2 ( + ) + + g^3 ( -44 z_q z_u+134 z_q^2 + 18 z_u^2 ) , coupled with the @xmath102-function accounting for the mixing between the two @xmath17 factors [ mixbeta ] ^(1 ) _ & = & ( -44 g^2 z_q z_u+134 g^2 z_q^2 + 18 g^2 z_u^2)+^2 ( + ) + & + & + g^2 g z_q+ g^2 g z_u . it is clear from eq . ( [ mixbeta ] ) that even imposing a zero starting value for @xmath21 , an abelian mixing can be radiatively generated by the evolution . + the yukawa sector is described by the evolution of just two real terms ^(1)_y_t & = & y_t ( -g z_q-4 g z_u----8 g_3 ^ 2 - 3 g^2 z_q^2 - 3 g^2 z_u^2)+ + ^(1)_y_n & = & y_n ( 48 g^2 z_q z_u-96 g^2 z_q^2 - 6 g^2 z_u^2)+10 y_n^3 , and together with the evolution of the scalar quartic parameters [ betal1 ] ^(1)__1 & = & _ 1 ( 12 g z_q-12 g z_u-3 ^2 - 3 g^2 - 9 g_2 ^ 2 + 24 g^2 z_q z_u-12 g^2 z_q^2 - 12 g^2 z_u^2 + 12 y_t^2 ) + & & -3 g^2 g z_q+3 g^2 g z_u+ g^2 ^2 - 36 g^3 z_q z_u^2 + 36 g^3 z_q^2 z_u-12 g^3 z_q^3 + 12 g^3 z_u^3 + & & -18 g^2 ^2 z_q z_u+9 g^2 ^2 z_q^2 + 9 g^2 ^2 z_u^2 - 3 g ^3 z_q-3 g_2 ^ 2 g z_q+3 g ^3 z_u+3 g_2 ^ 2 g z_u + & & + + g_2 ^ 2 ^2 + -6 g^2 g^2 z_q z_u+3 g^2 g^2 z_q^2 + 3 g^2 g^2 z_u^2 + g_2 ^ 2 g^2 - 6 g_2 ^ 2 g^2 z_q z_u + & & + 3 g_2 ^ 2 g^2 z_q^2 + 3 g_2 ^ 2 g^2 z_u^2 + -24 g^4 z_q z_u^3 + 36 g^4 z_q^2 z_u^2 - 24 g^4 z_q^3 z_u+6 g^4 z_q^4 + & & + 6 g^4 z_u^4 + 24 _ 1 ^ 2+_3 ^ 2 - 6 y_t^4 , [ betal2 ] ^(1)__2 & & = -1536 g^4 z_q z_u^3 + 9216 g^4 z_q^2 z_u^2 - 24576 g^4 z_q^3 z_u+24576 g^4 z_q^4 + 96 g^4 z_u^4 + & & + _ 2 ( 384 g^2 z_q z_u-768 g^2 z_q^2 - 48 g^2 z_u^2 + 24 y_n^2)+20 _ 2 ^ 2 + 2 _ 3 ^ 2 - 48 y_n^4 , ^(1)__3 & & = _ 3 ( 6 g z_q-6 g z_u---+204 g^2 z_q z_u-390 g^2 z_q^2 - 30 g^2 z_u^2 . + 12 _ 1 + 8 _ 2 + 12 y_n^2 + 6 y_t^2)-432 g^3 z_q z_u^2 + 1152 g^3 z_q^2 z_u-768 g^3 z_q^3 + 48 g^3 z_u^3 + & & -96 g^2 ^2 z_q z_u+192 g^2 ^2 z_q^2 + 12 g^2 ^2 z_u^2 - 480 g^4 z_q z_u^3 + 1584 g^4 z_q^2 z_u^2 + & & -1920 g^4 z_q^3 z_u+768 g^4 z_q^4 + 48 g^4 z_u^4 + 4 _ 3 ^ 2 , provide a closed system of differential equations to evolve the scalar potential towards any final scale . before coming to a discussion of the main phenomenological implications of our analysis , we pause for a moment , discussing a point which is essential in order to secure the consistency of the evolution , which concerns the determination of the initial ( matching ) conditions . + we recall that the rge s employed in this work have been computed in the @xmath107 renormalization framework at two - loop order . these equations must be supplemented with suitable one - loop boundary conditions defined in the same scheme . these consist of @xmath107 renormalized couplings and masses evaluated at a given energy scale which correspond to the starting scale of the rg running . + in general , the initial conditions can be unknown free parameters introduced by the specific model which is under investigation , and are directly associated to some measured observables . in order to determine the latter , the @xmath107 parameters at the starting scale must be related to these physical observables . this task can be accomplished in two different ways : 1 ) one can adopt the @xmath107 renormalization from the very beginning and obtain the needed @xmath107 parameters directly from a set of measured observables or 2 ) use a scheme , as the on - shell ( @xmath108 ) one largely used in the electroweak theory , in which the renormalized parameters are expressed in terms of the physical quantities , the pole masses and the fermi constant , and then translate the on - shell parameters to the corresponding @xmath107 expressions through appropriate matching conditions . in this work we adopt the second strategy which is quite common in the literature on the perturbative corrections in the sm . + the matching conditions are easily extracted from the obvious relation [ match ] _ 0 = _ + _ = _ ( ) + _ , where @xmath109 , @xmath110 and @xmath111 denote , respectively , the bare , the on - shell and the @xmath107 expressions of a generic parameter @xmath112 . from eq . ( [ match ] ) one can extract a @xmath107 parameter in terms of its on - shell version obtaining , at one - loop order , [ ostoms ] _ = _ + _ - _ = _ + _ |_finite where the last expression is simply a consequence of the definition of the @xmath107 renormalization scheme , in which the counterterms only subtract the uv singular parts . it is clear from eq . ( [ ostoms ] ) that the matching conditions between the os and the @xmath107 schemes are defined from the finite part of the os counterterm . notice that , at tree level , the @xmath107 parameters coincide with their os version . + in our analysis we have adopted a mixed renormalization procedure in which the known sm parameters are renormalized in the on - shell scheme , while the @xmath107 is used for the additional couplings and masses introduced by the extended gauge and neutrino sectors and for the vacuum expectation value @xmath95 of the extra scalar . on the other hand , for the sake of simplicity , all the remaining parameters in the scalar sector , containing both the higgs - like quartic coupling and the two new quartic interactions , are renormalized in the on - shell scheme . such a mixed scheme is not unusual in qfts as it is already employed , for instance , in the sm , and in particular for the computation of the strong corrections to electroweak observables . + as shown in @xcite , one of the interesting features of this hybrid renormalization scheme , besides its simplicity , is that the appelquist - carrazzone decoupling theorem is explicit manifest . indeed , the sm limit of measurable quantities is straightforwardly obtained for @xmath113 , with @xmath95 defined in the @xmath107 scheme . this has been the main motivation for our renormalization setup . the sm - like parameters which enter into this rg study are the quartic coupling @xmath114 of the @xmath43 doublet @xmath32 , the yukawa of the top quark @xmath115 and the gauge coupling constants @xmath103 , @xmath116 and @xmath117 . these are computed in terms of the pole masses of the higgs @xmath91 , of the top @xmath118 , of the weak gauge bosons @xmath119 and @xmath120 , and of the fermi constant @xmath121 . all these quantities are then translated in the @xmath107 scheme using eq . ( [ ostoms ] ) . notice that for the @xmath44 strong coupling constant @xmath117 there is no need to introduce matching conditions because it is directly extracted in the @xmath107 renormalization framework as @xmath122 . + on the other hand , the other unknown dimensionless parameters introduced by the @xmath29 extension , with the only exception of the those of the scalar potential , are directly employed in the @xmath107 scheme from the very beginning ( or , equivalently , are matched to their counterparts at tree level ) . these are the abelian gauge coupling constants , @xmath26 and @xmath86 , and the yukawa of the right - handed neutrinos @xmath101 . instead , the quartic couplings @xmath123 and @xmath124 are matched at one - loop from the on - shell physical mass of the heavy scalar @xmath94 and from the the mixing angle @xmath27 . + one of the most important sm parameters needed in the determination of the initial conditions of our rg study is the fermi constant @xmath121 . using its definition in the effective fermi theory = ( 1 + r_0 ) = ( 1 + r_0 ) , we obtain the counterterm of the vev @xmath3 in the on - shell scheme @xmath125 . we recall that @xmath121 is extracted from the muon lifetime , computed in the fermi theory augmented by qed corrections . as a consequence , the computation of the @xmath126 electroweak corrections to the @xmath127 decay requires the subtraction of the pure qed contributions . at one - loop order @xmath126 can be decomposed as r_0 = v - + b + e , where @xmath128 and @xmath18 denote vertex and box corrections , @xmath129 is the @xmath130 boson self - energy evaluated at zero momentum and @xmath131 corresponds to the wave - functions contributions . all of them are computed at zero external momenta and are affected by sm - like corrections as well as new - physics effects . notice also that we have chosen a renormalization prescription in which the tadpoles are included in the perturbative expansion . this property has the advantage to provide a gauge - independent definition of the mass counterterms and of @xmath126 . nevertheless , the dimensionless parameters appearing in the lagrangian , which are the interesting ones for our analysis , are not affected by this choice and the results are independent of the tadpole corrections . in fig.[fig.pertgf ] we show some of the one - loop perturbative contributions to the @xmath127 decay which are needed in the computation of the matching condition of @xmath121 . the corrections proportional to the neutrino mixing angle @xmath132 , as the ones depicted in fig.[fig.pertgf2 ] , have been neglected due to the smallness of the ratio between the dirac and the majorana masses . +   +    the counterterms of the top yukawa and of the @xmath43 gauge couplings , needed in the matching procedure , are obtained exploiting the relations m_t = y_t , m_w^2 = g_2 ^ 2 , which preserve their sm - like form , and read as y_t = y_t ( - ) , g_2 = g_2 ( - ) . the determination of counterterms of the abelian gauge coupling @xmath103 deserves a special attention because its defining relation gets modified in the @xmath29 extension with respect to the sm case as one can see from eq . ( [ zzpmasses ] ) . nevertheless , the departure from the sm expression , parametrized by the mixing angle @xmath81 , is very small and eq . ( [ zzpmassessmallth ] ) can be safely employed leading to g _ = g _ ( - ) . in the previous equation @xmath133 is obtained from @xmath126 as explained above , while the top , the @xmath130 and the @xmath83 boson mass counterterms in the on - shell renormalization scheme are computed from the corresponding self - energies m_t = re _ t(p /= m_t ) , m_w^2 = re _ ww(p^2 = m_w^2 ) , m_z^2 = re _ zz(p^2 = m_z^2 ) . the remaining two abelian coupling constants , @xmath26 and @xmath86 , could be related , in principle , to the pole mass of the @xmath20 and to the os expression of the mixing angle @xmath81 through eq . ( [ thetaprime ] ) and ( [ zzpmasses ] ) . nevertheless , being these two free parameters of the @xmath29 extension , the use of the matching conditions in this case is not mandatory and we can work directly with their @xmath107 expression . therefore , in all of the following analyses , @xmath26 and @xmath86 should always be understood as computed within the @xmath107 . + the major differences in the matching relations , with respect to the sm case , are found in the scalar sector due to the presence of new quartic interactions . using the defining equations in eq . ( [ lambdas ] ) we obtain _ 1 & = & ( 1 + 2 _ ) ( - 2 - 2 _ _ ) + & + & ( 1- 2 _ ) ( - 2 + 2 _ _ ) , + _ 2 & = & ( 1- 2 _ ) ( + 2 _ _ ) + & + & ( 1 + 2 _ ) ( - 2 _ _ ) , + _ 3 & = & _ 3 ( - + 2 _ 2 _ ) , where m_h_i^2 = re _ h_i(p^2 = m_h_i^2 ) , _ = . notice that , in the last of the previous equations , the mixed scalar self - energy @xmath134 has been evaluated at @xmath135 . this choice enforces the absence of mixing between the two tree - level mass eigenstates @xmath136 also at one - loop level and at a particular scale , given by @xmath91 . the allowed parameter space of the model can be strongly restricted if we require the vacuum stability and the perturbativity up to a given scale @xmath137 . this may be chosen to coincide with the gut , planck or any other scale where new physics scenarios are expected to appear . obviously , these conditions are often not sufficient to select a bounded region of the same space , and new assumptions must be added , for instance in the form of suitable benchmark points where to sharpen the physics predictions . + significant bounds are derived mainly from previous lep - ii analysis @xcite , which limit the gauge mixing angle @xmath84 , and force us to consider only the sector for which the condition m_z/g 7 , [ stu1 ] holds @xcite . besides , the addition of a new heavy scalar in the spectrum modifies the coupling of the light higgs to the sm particles by a factor of @xmath138 . therefore the electroweak precision measurements , through the @xmath139 parameters @xcite , may be used to constrain the scalar mixing angle together with the heavy higgs mass leading to the bound [ stubound ] 0.44 , m_h_2 500 for @xmath140 gev . is shown for comparison . [ fig.ynyt ] ]    as we have discussed in the previous sections , the requirement of cancellation of the gauge and of the gravitational anomalies has allowed us to reduce the @xmath29 charges to just two parameters @xmath47 and @xmath48 . together with the constraint from the lep - ii results , reported in eq . ( [ stu1 ] ) , we also require the perturbativity of the evolution of the coupling of the new abelian sector which gives the conditions [ pertconds ] g(q ) < , ( q ) < q q , up to the given final evolution scale @xmath141 . here , the free parameters are the values @xmath142 and @xmath143 of the couplings at the electroweak scale , identified with the top quark mass . in addition , to process any allowed point in parameter space and investigate the perturbativity of the couplings and the stability of the scalar potential under the two - loop rg evolution we need to implement the appropriate matching conditions as illustrated in section [ matcondsection ] . we show in fig . [ fig.pertcoupgeneric ] the region of parameter space in which the perturbativity is maintained up to @xmath144 gev ( blue region ) , @xmath145 gev ( green region ) , @xmath146 gev ( yellow region ) and @xmath147 gev ( red region ) , as a function of the free charges @xmath47 and @xmath48 , or @xmath148 and @xmath149 . the shadowed areas in pink and green are the excluded regions according to eq . ( [ stu1 ] ) . they correspond to two different choices of @xmath25 equal to @xmath150 and @xmath151 tev respectively . the plots shows that the validity of perturbation theory up to @xmath15 requires the charge values @xmath152 and @xmath153 , and that this bound becomes more stringent as @xmath26 grows . the thick point in each of the three plots corresponds to the charge assignment of a @xmath0 abelian symmetry . we have set to zero the parameter of the kinetic mixing ( @xmath21 ) and varied only @xmath26 , the coupling of the extra @xmath20 , set to 0.1 and 0.2 in panel ( a ) and ( b ) respectively . clearly , in both cases , the @xmath0 charge assignment guarantees a perturbative evolution up to the planck scale . in panel ( c ) we have plotted the same regions of perturbativity and the corresponding exclusion areas of ( a ) using the @xmath154 parameterization for a generic extra @xmath29 symmetry .    as we have already discussed in the previous sections , the cancellation of gauge and gravitational anomalies naturally requires the introduction of sm singlet fermions which can dynamically acquire a majorana mass through their yukawa coupling to the extra scalar @xmath31 controlled by @xmath101 in a type - i seesaw . in this scenario the mass of the heavy neutrinos can be of the same order of magnitude of the vev of the extra higgs , which can be easily chosen in the tev range , with a yukawa coupling @xmath155 . values of @xmath156 require a detailed rg analysis in order to identify the perturbativity and stability regions in the parameter space of these models . as shown below , the yukawa coupling @xmath101 , and , equivalently , the mass of the heavy neutrinos , has a fundamental role in this study . [ fig.ynyt ] we show the evolution of @xmath101 for different initial values at the electroweak scale . differently from the yukawa of the top quark , @xmath101 grows at a higher rate as we increase the starting value of @xmath101 . the analysis shows that for @xmath157 and @xmath158 tev , a value of @xmath159 at the electroweak scale spoils the perturbativity of the model at @xmath160 . the decreasing behavior of @xmath115 is due to the negative contributions of the qcd corrections to the corresponding @xmath102 function which are obviously absent in the evolution of the yukawas of the rh neutrinos . the study of the perturbativity of the abelian sector , investigated by the evolution of the coupling of the extra @xmath20 and the size of the kinetic mixing @xmath21 , provides significant information on the possible scenarios available in the b - l case . this analysis is presented in fig . [ fig.pertcoup ] where we show five plots related to the evolution of the abelian couplings . in particular , we try to identify the regions in the parameter space of this model where the evolution is perturbative along the rg running up to a given final scale @xmath141 . we show in panel ( a ) the maximum value of such evolution scale ( @xmath141 ) allowed for a given initial value of the coupling @xmath26 , with @xmath161 ( pure b - l case ) and @xmath162 tev , @xmath163 gev . for instance , for @xmath164 at the electroweak scale , the rg evolution remain perturbative only up to the gut scale ( @xmath146 gev ) , but it violates the limits from lep given in eq . ( [ stu1 ] ) . for smaller values of the same coupling , such as @xmath165 , the model is weakly coupled for any value of the final scale @xmath141 up to @xmath15 and satisfies eq . ( [ stu1 ] ) . we have varied the mass of the heavy neutrinos @xmath98 continuously from 500 up to 1500 gev , thereby identifying a colored area bounded by the two black and red curves . the continuous boundary curves refer to the choices of @xmath166 gev and 1.5 tev respectively . the two horizontal black lines in the same plot identify the values of @xmath141 corresponding to the gut ( @xmath146 gev ) and planck scales ( @xmath147 gev ) . + the analysis is repeated in the case of @xmath167 tev ( panel ( b ) ) , where now the experimentally allowed initial values of @xmath26 are for @xmath168 , with the shadowed region being therefore excluded by lep data . notice that in this case the two boundary curves describing the variation with the heavy neutrino mass appear to be superimposed and undistinguishable . as it can be inferred from eq . ( [ abelianbeta ] ) , the yukawa of the heavy neutrino affects the evolution of the abelian coupling only at two - loop level , thus explaining such mild dependence on it . moreover , for a heavier @xmath20 the effect of the rh neutrino mass is more suppressed , since for a given @xmath98 , a larger @xmath25 ( thus a bigger @xmath95 ) corresponds to a smaller @xmath101 . this explains the different bandwidths in the two panels for the same span of @xmath98 . + notice that in both panels the bounds from the requirement of perturbativity are implicitly taken into account in the identification of the maximum stability scale , while the lep bounds are shown an shadowed regions . incidentally , both for @xmath158 and 5 tev and for the chosen initial parameters , we find that the gauge coupling has to satisfy the condition @xmath165 at the electroweak scale in order to maintain perturbativity up to planck scale and to fulfill the lep bound eq . ( [ stu1 ] ) . in panel ( a ) the lep and the perturbativity bounds tend to coincide , while in ( b ) the latter is far more significant , with the shadowed region excluding values of the gauge coupling @xmath169 . + in panels ( c ) , ( d ) and ( e ) we have investigated the evolution of the @xmath26 and of the @xmath21 couplings , the latter describing the impact of the kinetic mixing , which are responsible for the behaviors discussed above . in panels ( c ) and ( d ) , we plot the running of @xmath26 as a function of the evolution scale @xmath141 , for a varying heavy neutrino mass . the shadowed areas are the regions excluded by the bound eq . ( [ stu1 ] ) . notice that the growth of @xmath26 is very similar in both panels , and in the case of a heavier extra @xmath20 it is quite insensitive to the change of the heavy neutrino mass , for the same reasons illustrated for the previous plots . the growth of this coupling is quite moderate for initial conditions @xmath170 but its rg trajectory undergoes a rapid steepening for larger initial values . + a similar analysis ( panel ( e ) ) is presented for the coupling which parameterizes the kinetic mixing of @xmath55 and @xmath0 . the evolution of the kinetic mixing @xmath21 is strongly correlated with the size of the initial condition on @xmath26 . the rg trajectories , in this case , steepen very fast as @xmath26 grows . we have chosen four values of @xmath26 at the electroweak scale equally spaced in the interval ( 0.1 - 0.4 ) . we start with a vanishing kinetic mixing at the electroweak scale and let the coupling be radiatively generated by the evolution . by selecting initial values of @xmath171 the evolution of the mixing satisfies the perturbativity bound up to the planck scale . for larger initial values , such as @xmath172 , both couplings @xmath96 will violate the perturbativity below the planck scale . in this plot , the shadowed regions are bounded by the two trajectories generated by masses of the heavy rh neutrinos @xmath166 gev ( black curve ) and 1.5 tev ( red curve ) which appear to be separated only for @xmath173 and @xmath174 gev .      . two - loop evolution with the one - loop matching ( continuous line ) ; two - loop evolution without matching ( dotted line ) ; one - loop evolution without matching ( dashed line ) . ] the information about the vacuum stability is enclosed in the structure of the potential for large fields value , that is , in the quartic scalar interaction terms , stated in the three positivity conditions of eq . ( [ stabilitycond ] ) . in the sm , where only one term of this kind is present ( @xmath13 ) , the stability condition coincides with the positivity of this coupling . as we are going to show in this section , the stability bound is significantly affected also by the order of the evolution , which is crucial in order to reach definitive conclusions regarding the dynamics of the @xmath0 model . the result of this analysis is shown in fig . [ fig.coupev2 ] . in this study we want to emphasize the role of the two - loop corrections on the rg running and of the one - loop matchings on the initial conditions . for the sake of simplicity we choose fixed values for the mass of the heavy higgs and of the right - handed neutrinos both of 500 gev , and @xmath175 . the mass of the @xmath20 is reported in each plot . + we show in panel ( a ) the rg running of @xmath114 at one- and two - loop levels . notice that at one - loop level , for the chosen initial conditions , the maximum stability scale @xmath141 in the rg trajectory of this coupling is below the gut scale , at @xmath176 gev . two loop effects are clearly essential in order to verify its positivity up to the planck scale . + a similar investigation is carried out for the quartic coupling of the heavy higgs field @xmath123 . in panel ( b ) it is shown that both the one - loop and the two - loop evolutions indicate that this coupling evolves rather slowly and stays positive up to the planck scale for the chosen @xmath94 and @xmath98 . we have selected two different initial conditions at the electroweak scale corresponding to two different values of the mass of the @xmath20 , @xmath158 tev ( black curve ) , @xmath177 tev ( red curve ) . in this case the two - loop effects are quite small , independently of the chosen initial conditions . + in panel ( c ) we extend our analysis to the mixed @xmath178 quartic coupling , which enters into the stability condition by the quantity @xmath179 , the latter plotted in panel ( d ) . notice that , in this case , the flip in sign of @xmath124 , as shown in ( c ) , is not problematic for the stability bound if the two - loop rg equations are employed , since @xmath180 stays anyhow positive over the entire range of the evolution , as also shown in ( d ) . also in this case , it is clear that two - loop effects are essential in order to revert the trend of the evolution , which otherwise causes @xmath180 to turn negative below the gut scale , thereby generating a vacuum instability . in ( d ) we show the trajectories of @xmath180 for two values of @xmath25 reported in the same figure . in both cases an instability is generated at @xmath176 gev by the one - loop running , which is completely eliminated by the two loop effects . notice that two loop effects , in general , tend to change the concavity of the @xmath180 evolution . this interesting behavior can be understood from a cursory look at all the panel ( a ) , ( b ) and ( c ) , due to the different slopes of the corresponding curves over the entire evolution region . we conclude that the inclusion of two - loop effects in the rg evolution is mandatory for a consistent analysis of the stability of the scalar potential and for the identification of the available parameter space of the model .    in order to show the impact of the matching conditions we study the behavior of @xmath114 in fig . ( [ c3 ] ) where the matched and the unmatched evolutions are shown . we have indicated with a continuous line the two - loop rg running of the same coupling with one - loop matching and with a dotted line the unmatched case . the dashed line refers to the one - loop result , with the tree - level matching . it is clear that , as for the two - loop @xmath102 functions , the one - loop matching relations on the initial condition improve the stability of the potential and are necessary for the consistency of the perturbative approach . moreover , we have explicitly verified that these contributions become more sizeable as soon as we switch on the scalar mixing parameters @xmath27 of the two higgses . having shown the importance of the two - loop corrections in the analysis of the stability of @xmath0 , we are now going to investigate this issue more closely by focusing our attention on its parametric dependence on the scalar mixing angle @xmath27 , on the mass of the heavy higgs and of the rh neutrinos . + the bounds from the electroweak precision measurements reported in eq . ( [ stubound ] ) can then be used to reduce the space of parameters in the @xmath182 plane . in fig . [ mtheta ] we plot in different colors the regions of stability and perturbativity for different final evolution scales @xmath141 . the @xmath182 region shown in all the panels is the one allowed by the bounds in eq . ( [ stubound ] ) , with the areas marked in blue , green , yellow and red identifying stable evolutions with final scales @xmath141 equal to @xmath144 , @xmath145 , @xmath146 and @xmath147 gev respectively . we have selected @xmath162 tev and a mass of the rh neutrinos @xmath98= 500 gev . the choices of the values of the couplings , @xmath157 in panel ( a ) and @xmath183 in panel ( b ) show the sensitivity of these regions on such small changes of @xmath26 . notice that in panel ( b ) the requirement of having a stable evolution up to the planck scale requires that @xmath184 tev . in general , as clear from the plots , such a requirement reduces significantly the bound given in eq . ( [ stubound ] ) , suggesting that the smallness of the scalar mixing can be inferred by the condition of rg stability . in particular , @xmath27 has to be smaller that @xmath185 in order to have a stable evolution of the scalar potential at least up to the gut scale . a study of the dependence of the stability region on the mass of the rh neutrino is presented in fig . [ shadows ] , where ( panel ( a ) ) the curves in black and red refer to values of the mass of the extra @xmath20 of 2.5 and 5 tev respectively , each with a more stable ( @xmath186 0.1 ) and a less stable ( @xmath186 0.3 ) coupling assignment . notice that both branches are characterized by a drastic change of the @xmath141 value of maximum stability , around @xmath187 2.2 and 4.3 tev respectively . as the mass of the heavy neutrino grows , the effects of its yukawa coupling @xmath101 dominate on the evolution of @xmath123 driving it towards negative values and , therefore , destabilizing the vacuum of the scalar potential . this behavior is caused by the large and negative @xmath188 contribution to the @xmath102 function of @xmath123 , as one can see already at one - loop level from eq . ( [ betal2 ] ) @xcite . clearly , the role of this coupling is similar to that of @xmath115 , the yukawa of the top , which is responsible for driving the sm vacuum towards an instability . once more we want to stress that the destabilizing role of a large @xmath101 is twofold : it can spoil both the stability of the scalar potential and the perturbativity , as shown in fig . [ fig.ynyt ] . moreover , it is clear from the same figure that @xmath101 grows significantly for large final evolution scales , thus increasing its destabilizing effect on vacuum . + more insight into this behavior of the potential can be deduced also from panel ( b ) and ( c ) of the same figure . here we show a plot of the @xmath123 coupling versus the evolution scale @xmath141 . the region of parameter space explored in panel ( b ) corresponds to the case @xmath25=2.5 tev and @xmath189 , with the mass of the rh neutrinos between 2.1 and 2.4 tev . as shown an instability emerges for @xmath98 around 2.2 tev turning @xmath123 negative and destabilizing the potential . a similar analysis is illustrated in panel ( c ) where @xmath190 has been chosen . it is clear , from this analysis , that a stable evolution up to a significantly large scale , such as the gut scale or larger , is favored by values of @xmath191 2 tev and is worsened by an increase in the size of the coupling @xmath26 .      in fig . [ c4c ] we show the stability regions up to @xmath144 gev ( blue region ) , @xmath145 gev ( green region ) , @xmath146 gev ( yellow region ) and @xmath147 gev ( red region ) in the @xmath99 plane . in panel ( a ) we compare their shapes in the case of a two - loop versus a one - loop implementation of the running for a vanishing scalar mixing @xmath27 . the two - loop rg result is pictured in the larger panel , while the smaller subpanel on the bottom right reproduces the same plot but uniformly rescaled and at one - loop level . as we have already observed , the two plots show clearly that the inclusion of the two - loop corrections is essential in order to improve the stability of the potential up to the planck scale . notice that in the small subpanel , the red and the yellow regions , which in the larger plot characterize a stable potential up to the planck and gut scale respectively , are replaced by a green area , corresponding to a stability which can reach only @xmath192 gev . + in panel ( b ) we have varied the scalar mixing angle to the value of @xmath193 . also in this case the effects of a nonzero @xmath27 to the shape of the stability regions are quite significant . in general , the upper bound on @xmath94 in the @xmath194 plane is far stronger compared to panel ( a ) , showing that , for a rh neutrino of 2 tev , no values of the heavy higgs mass can accomodate the requirement of stability above @xmath144 gev . notice also that the upper bound on the heavy higgs mass @xmath94 is barely influenced by the heavy neutrino mass but it is strongly controlled by its vacuum expectation value @xmath95 and the scalar mixing angle @xmath27 , see fig . [ mtheta ] . +    in panels ( c ) and ( d ) the region of planck scale stability is investigated in terms of its dependence on the initial conditions at the electroweak scale of the gauge coupling @xmath26 ( panel ( c ) ) and of @xmath27 ( panel ( d ) ) . we find that the region of stability grows larger as the gauge coupling and the scalar mixing decrease . the identification of possible approaches which could set significant exclusion limits on the parameter space of new physics models at the lhc is , for sure , of direct theoretical and experimental significance . among these , the requirement of stability of the scalar potential up to a very large scale , such as the gut scale or even the planck scale , has a clear physical appealing , although metastable vacuum states , as in the case of the sm , could also be acceptable . the case of simple abelian extensions of the gauge structure , which require a minimally enlarged higgs sector , with just one extra scalar , define a minimal framework in which to explore the requirements of stability . + our results clearly indicate that the sensitivity of the evolution on the large yukawa coupling of the top quark , present in the sm , is probably part of a more general scenario which includes other similar couplings sharing a similar behaviour . this picture emerges as soon as we allow a more complete description of the light neutrino masses . with these motivations , we have investigated in some detail the case of a b - l extension of the sm , accompanied by a type - i seesaw for the generation of the neutrino masses , realized by rh neutrinos . in such @xmath29 extensions , the gauge charges of the rh neutrinos are naturally constrained by the condition of cancellation of the gauge and gravitational anomalies . in our analysis we have specifically chosen a family universal charge assignment for these neutrinos , one per generation . the choice of a type - i seesaw , obviously , is model dependent , but the approach can be extended to other mechanisms as well . the phenomenological advantage of a mechanism of this type , besides its simplicity , is to involve a vev of the extra higgs which can be easily accommodated in the tev range , at the reach , in principle , of lhc searches . in this regard the model has been largely investigated starting from early lep searches @xcite , to the most recent analyses of its lhc visibility . such minimal yet rich extension of the sm has found a lot of attention along the years , covering the entire spectrum of the model , in search of specific experimental signatures at the lhc . from the extra scalar sector @xcite to its gauge @xcite and neutrino sector @xcite , the tev b - l scenario has shown to provide a promising window of experimental visibility , if realized in nature , for the present and forthcoming experiments at the lhc . moreover the aforementioned analysis have been carried out in the minimal @xmath0 extension in which the mixing between the @xmath83 and the @xmath20 gauge bosons has been neglected . a more complete analysis of the kinetic mixing of this model , although quite constrained by electroweak precision data @xcite , and the possibility of exploring different charge assignments for the new abelian gauge symmetry are left to future studies . + the rg analysis has been performed employing two - loop @xmath102 functions and one - loop matching relations on the initial conditions at the electroweak scale . we have shown that such higher - order corrections affect considerably the running of the couplings and , probably , should always be kept into account in any significant phenomenological analysis . they are essential for a consistent identification of the allowed regions in the parameter space of a given model , under the requirements of perturbativity and of vacuum stability . + following this reasoning , one finds that a charge assignment of b - l type , as shown in figs . [ fig.pertcoupgeneric ] and [ fig.pertcoup ] , can be characterized by a perturbative behaviour up to the planck scale . + we have seen that the requirements of perturbativity and stability of the scalar potential constrain the masses of the heavy higgs and of the rh neutrinos quite significantly . the boundaries of the allowed region , for a given mass of the @xmath20 , depend on the values of the scalar mixing angle @xmath27 and of the abelian coupling @xmath26 . we have also verified that the transition from a region of stability to an unstable one can be quite abrupt , and may depend quite significantly on the mass of the rh neutrino , as illustrated in fig . [ shadows ] . this feature can be ascribed to the evolution of the scalar coupling @xmath123 , and , in particular , to the yukawa ( @xmath101 ) of the rh neutrinos which affects their masses . as already mentioned above , the roles of @xmath101 and of @xmath115 , from this perspective , appear to be quite similar . finally , we have also investigated the impact of the kinetic mixing on the evolution of the @xmath195 symmetries . + there are other aspects , not touched in this analysis , and that we leave to future studies , which concern the inclusion of this model into a specific unified theory . it is well know that multiple @xmath17 factors are often encountered in the breaking of a gut scenario , or in the construction of effective theories from string models @xcite so that it is natural to ask what a vacuum stability analysis can add in predictivity using the corresponding rge s . from our point of view its use in this context can be dual . without any prior knowledge of a particular breaking pattern , the study of the instabilities of the scalar potential gives an indication of the validity of the @xmath196 gauge symmetry as a residual one , valid at low energy , before calling for a uv completion ( either of gut type or else ) . more significant theoretical constraints on the parameter space can instead be drawn when the model is embedded in a particular gut scenario . in this case the stability of the vacuum between the threshold scales of the intermediate breakings is a necessary condition for its consistency . from this perspective , our study clarifies that a heavy neutrino mass may challenge specific gut models . indeed , we have shown that the running of the corresponding yukawa couplings could spoil the perturbativity and the stability of the vacuum if a new threshold is not sufficiently near the tev scale . + another important point concerns the role of a tev b - l scenario respect to the constraints that could be imposed by requiring a successful leptogenesis . analysis in this direction have been presented in @xcite . we have verified that also in the model that we have considered , the value of the baryon abundance @xmath197 , which depends on product of the cp - asymmetry of the heavy neutrinos decays ( @xmath198 ) and on the efficiency factor @xmath199 , can account for the current estimated value of @xmath200 . @xmath201 is temperature dependent and is calculated at the sphaleron freeze - out temperature @xmath199 . it is responsible for the amount of washout of the baryon asymmetry , which can be dangerously low when the condition @xmath202 is realized @xcite . always in a context of a very strong near - degeneracy of the heavy neutrinos , a pattern which can be completely encompassed by our choice of a scalar @xmath101 , we have found regions , in the parameter space that we have analysed , which are compatible with leptogenesis . for instance , for a mass of the extra @xmath20 of 2.5 tev and a coupling @xmath157 , we have verified that the requirement of a maximal value of the cp - asymmetry parameter @xmath198 starts to allow leptogenesis ( @xmath203 ) if @xmath204 gev . meanwhile , less stringent values of @xmath198 , @xmath205 , are feasible if @xmath206 gev and @xmath207 tev respectively . we have found , as expected , that an increment of the strength of the @xmath20 coupling @xmath26 strongly disfavours the leptogenesis scenario , since it intensifies the washout of the asymmetry , for a 2.5 tev gauge boson . +    * acknowledgements *    we thank alon faraggi and pasquale di bari for discussions . l.d.r . thanks kostas skenderis for hospitality at the university of southampton , and nora brambilla and antonio vairo for their hospitality during a recent visit at the technical university of munich . l.d.r . is grateful to f. lyonnet for pointing out a typo in the @xmath102 functions and for accurate cross - checks . the work of c.c . is supported by a _ the leverhulme trust visiting professorship _ at the university of southampton in the stag research centre and mathematical sciences department , whose members he thanks for the kind hospitality . we give in this appendix the complete set of the two - loop @xmath102-functions , for the charge assignment @xmath208 and @xmath209 , required for the stability analysis . ^(2)_g_2 = g_2 ^ 3 ( 4 g + + + 12 g_3 ^ 2 + 4 g^2-)+ ^(2)_g_3 = g_3 ^ 3 ( + + + + -2 y_t^2 ) - 26 g_3 ^ 5 ^(2)_g = g^3 ( + + + + -)+ & ^(2)_&= ^2 ( + 12 g_2 ^ 2 g++- ) + & & + ^3 ( + + + - ) + & & + ( + - g^2 y_t^2 + 9 g_2 ^ 2 g^2 + g_3 ^ 2 g^2 + 12 g_2 ^ 2 g^2 . + & & . + g_3 ^ 2 g^2 + -12 g^2 y_n^2-^2 y_t^2 ) + & & + + + + + & & - g^2 g y_t^2 + 12 g^2 g_2 ^ 2 g+ g^2 g_3 ^ 2 g    & ^(2)_g & = g^3 ( + + 12 g_2 ^ 2 + -12 y_n^2- ) + & & + g^2 ( - y_t^2++12 g_2 ^ 2 + g_3 ^ 2 ) + & & + g ( g^2 ^2- ^2 y_t^2++ g_2 ^ 2 ^2 + g_3 ^ 2 ^2 ) + & & + +      & ^(2)_y_t & = y_t^3 ( + + + + 36 g_3 ^ 2 + 3 g^2 - 12 _ 1 ) + & & + y_t ( g^2 g + g^2 ^2++^2 ^2 + . + & & . + g_2 ^ 2 g - g_3 ^ 2 g + - g_2 ^ 2 ^2 + g_3 ^ 2 ^2 + . + & & .+ - g_2 ^ 2 g^2 + g_3 ^ 2 g^2 + g_2 ^ 2 g^2- g_3 ^ 2 g^2- . + & & .-108 g_3 ^ 4 + 9 g_2 ^ 2 g_3 ^ 2 + + 6 _ 1 ^ 2+)-12 y_t^5 & ^(2)_y_n & = y_n ( --^2 ^2 - 127 g^4 + 4 _ 2 ^ 2 + _ 3 ^ 2 ) + & & + ( 206 g^2 - 32 _ 2 ) y_n^3 - 44 y_n^5      & ^(2)__1 & = - g^4 g - g^4 ^2 - 13 g^2 g^2 ^2 - 10 g^2 g y_t^2- g^2 g ^3 + & & - g_2 ^ 2 g^2 g + _ 1 ^ 2 ( 36 ^2 + 36 g^2 + 108 g_2 ^ 2 - 144 y_t^2 ) + & & - g^2 ^2 y_t^2- g^2 ^4- g_2 ^ 2 g^2 ^2+_1 ( g^2 g + g^2 ^2 . + 34 g^2 ^2 + y_t^2++ ^2 y_t^2++ g_2 ^ 2 ^2 . + & & .++ g^2 y_t^2 + g_2 ^ 2 g^2 + g_2 ^ 2 y_t^2 + 80 g_3 ^ 2 y_t^2- . + & & .+^2 y_t^2 - 10 _ 3 ^ 2 - 3 y_t^4)+20 g^2 _ 3 ^2 - 4 g^2 ^2 y_t^2 - 13 g^2 ^4 + & & -13 g_2 ^ 2 g^2 ^2- y_t^4 - 10 g ^3 y_t^2 + 6 g_2 ^ 2 g y_t^2- + & & - g_2 ^ 2 g ^3- ^2 y_t^4- ^4 y_t^2 + g_2 ^ 2 ^2 y_t^2 - - g_2 ^ 4 ^2 + & & - g_2 ^ 2 ^4 - - g^4 y_t^2- g_2 ^ 2 g^4- g^2 y_t^4 + g_2 ^ 2 g^2 y_t^2 + & & - g_2 ^ 4 g^2 - 32 g_3 ^ 2 y_t^4- g_2 ^ 4 y_t^2++32 g^2 _ 3 ^ 2-^2 y_t^4 + & & -312 _ 1 ^ 3 - 4 _ 3 ^ 3 - 12 _ 3 ^ 2 y_n^2 + 30 y_t^6 & ^(2)__2 & = --^4 ^2 + 40 g^2 _ 3 ^2 + + & & _ 2 ( + ^2 ^2 + 2112 g^4 + 120 g^2 y_n^2 - 20 _ 3 ^ 2 + 48 y_n^4 ) + & & + 4 _ 3 ^ 2 ^2 + 4 g^2 _ 3 ^ 2 + 12 g_2 ^ 2 _ 3 ^ 2 - 7168 g^6 + 768 g^4 y_n^2 + _ 2 ^ 2 ( 448 g^2 - 240 y_n^2 ) + & & + 192 g^2 y_n^4 - 240 _ 2 ^ 3 - 8 _ 3 ^ 3 + 768 y_n^6 - 12 _ 3 ^ 2 y_t^2 & ^(2)__3 & = - g^2 g^3 + _ 3 ^ 2 ( ^2+g^2 + 3 g_2 ^ 2 + 16 g^2 - 72 _ 1 - 48 _ 2 - 24 y_n^2 - 12 y_t^2 ) + & & - g^2 g^2 ^2+_3 ( g^2 g + g^2 ^2++^2 ^2 . + & & .+ y_t^2++24 _ 1 ^2 + ^2 y_t^2++ g_2 ^ 2 ^2 + . + & & .+24 g^2 _ 1 + g^2 y_t^2 + g_2 ^ 2 g^2 + 72 g_2 ^ 2 _ 1 + g_2 ^ 2 y_t^2 + 40 g_3 ^ 2 y_t^2- . + & & .+672 g^4 + 256 g^2 _ 2 + 60 g^2 y_n^2+^2 y_t^2 - 60 _ 1 ^ 2 - 40 _ 2 ^ 2 - 96 _ 2 y_n^2 . + & & .-72 y_n^4 - 72 _ 1 y_t^2-)-656 g^4 ^2 - 160 g^3 y_t^2-^3 ^3 + & & + 120 g^2 _ 1 ^2 + 80 g^2 _ 2 ^2 + 48 g^2 ^2 y_n^2 - 76 g^2 ^2 y_t^2-^2 ^4 + & & -45 g_2 ^ 2 g^2 ^2 - 64 g^4 y_t^2 - 11 _ 3 ^ 3 to investigate the nature of the neutrino mass eigenstates we introduce a six dimensional vector in flavor space @xmath210 so that eq . ( [ typeiseesaweffective ] ) becomes [ typeiseesaweffective2 ] - l_y^= ^t m + h.c . , with a @xmath211 mass matrix @xmath212 of the form [ typeiseesawmassmatrix ] m = (          ) . for the sake of simplicity , all the flavor indices have been omitted . the mass matrix obtained in eq . ( [ typeiseesawmassmatrix ] ) can be formally set in a block - diagonal form with the help of a unitary matrix @xmath213 , implicitly defined as [ diagonalization ] (          ) , where @xmath214 and @xmath215 are ( generally non diagonal ) @xmath216 blocks . when expressed in terms of the rotated states @xmath217 the following matrix structure arises - l_y^&= & m__l^ij _ l^i _ l^j + m__h^ij ^i_h ^j_h + h.c . , notice that the dirac mass matrix @xmath218 has entries at most of the order of the electroweak scale , meanwhile the majorana mass @xmath219 for the sterile neutrinos is usually allowed to rise up to the gut scale or even up to planck scale . + such hierarchy is necessary for the implementation of the seesaw mechanism and translates into a hierarchy between @xmath214 and @xmath215 . the same separation in scales justifies the use of a particular ansatz @xcite for the unitary matrix @xmath213 employed to block - diagonalize the mass matrix in eq . ( [ typeiseesawmassmatrix ] ) [ uexp ] u = (          ) , where @xmath220 is a non - diagonal @xmath221 matrix with small elements . inserting the matrix expansion given in eq . ( [ uexp ] ) into eq . ( [ diagonalization ] ) one obtains in the following constraints [ constraints ] 0 & & m_d - m _ mv^ - v^t v^ * m_d - v^t m_d^t v^ - m_d v v^ , + m__l & & -v^ * m_d - m_d^t v^ + v^ * m_m v^ , + m__h & & m_m + v^t m_d^t + m_d v - v^t v^ * m_m - m_m v^ v . the first equality in eq . ( [ constraints ] ) , evaluated at leading order in @xmath220 , is used to fix @xmath222 . from the remaining conditions we are now able to recover the usual type - i seesaw relations for the light and the heavy mass matrices given in eq . ( [ typeiseesawmasses1 ] ) . + in order to completely resolve the neutrino spectrum , the mass matrices @xmath223 and @xmath98 must be separately diagonalized , leading to [ diag2 ] l^t m__l l^-1 & = & ( m__l1 , m__l2 , m__l3 ) , + h^t m__h h^-1 & = & ( m__h1 , m__h2 , m__h3 ) , for the light and the heavy neutrino mass eigenstates . this further step is of fundamental importance to investigate the ( non - unitary ) nature of neutrino mixing in a type - i seesaw scenario , given its role in defining the corresponding pontecorvo - maki - nakagawa - sakata ( pmns ) matrix @xcite as @xmath224 , where @xmath225 diagonalizes the mass matrix for the charged leptons and @xmath226 . + such fine - grained analysis , however , is an unnecessary complication in our study and , for the sake of simplicity , we consider diagonal yukawa couplings . d.  buttazzo , g.  degrassi , p.  p. giardino , g.  f. giudice , f.  sala , _ et . _ , _ investigating the near - criticality of the higgs boson _ , _ jhep _ * 1312 * ( 2013 ) 089 , [ http://xxx.lanl.gov/abs/1307.3536[arxiv:1307.3536 ] ] . v.  branchina , e.  messina , and m.  sher , _ lifetime of the electroweak vacuum and sensitivity to planck scale physics _ , _ phys . _ * d91 * ( 2015 ) 013003 , [ http://xxx.lanl.gov/abs/1408.5302[arxiv:1408.5302 ] ] . m.  herranen , t.  markkanen , s.  nurmi , and a.  rajantie , _ spacetime curvature and the higgs stability during inflation _ , _ phys . * 113 * ( 2014 ) , no .  21 211102 , [ http://xxx.lanl.gov/abs/1407.3141 [ arxiv:1407.3141 ] ] . j.  r. espinosa , g.  f. giudice , e.  morgante , a.  riotto , l.  senatore , a.  strumia , and n.  tetradis , _ the cosmological higgstory of the vacuum instability _ , http://xxx.lanl.gov/abs/1505.04825 [ arxiv:1505.04825 ] . a.  hook , j.  kearney , b.  shakya and k.  m.  zurek , _ probable or improbable universe ? correlating electroweak vacuum instability with the scale of inflation _ , _ jhep _ * 1501 * ( 2015 ) 061 , [ http://xxx.lanl.gov/abs/1404.5953[arxiv:1404.5953 ] ] . s.  alekhin , a.  djouadi , and s.  moch , _ the top quark and higgs boson masses and the stability of the electroweak vacuum _ , _ phys . * b716 * ( 2012 ) 214219 , [ http://xxx.lanl.gov/abs/1207.0980 [ arxiv:1207.0980 ] ] . l.  basso , s.  moretti , and g.  m. pruna , _ phenomenology of the minimal b - l extension of the standard model : the higgs sector _ , _ _ * d83 * ( 2011 ) 055014 , [ http://xxx.lanl.gov/abs/1011.2612 [ arxiv:1011.2612 ] ] . l.  basso , s.  moretti , and g.  m. pruna , _ a renormalisation group equation study of the scalar sector of the minimal b - l extension of the standard model _ , _ phys.rev . _ * d82 * ( 2010 ) 055018 , [ http://xxx.lanl.gov/abs/1004.3039[arxiv:1004.3039 ] ] . a.  datta , a.  elsayed , s.  khalil , and a.  moursy , _ higgs vacuum stability in the b - l extended standard model _ , _ phys.rev . _ * d88 * ( 2013 ) , no .  5 053011 , [ http://xxx.lanl.gov/abs/1308.0816[arxiv:1308.0816 ] ] . j.  chakrabortty , p.  konar , and t.  mondal , _ constraining a class of b - l extended models from vacuum stability and perturbativity _ , _ phys . rev . _ * d89 * ( 2014 ) , no .  5 056014 , [ http://xxx.lanl.gov/abs/1308.1291[arxiv:1308.1291 ] ] . l.  a. anchordoqui , v.  barger , h.  goldberg , x.  huang , d.  marfatia , l.  h.  m. da  silva , and t.  j. weiler , _ majorana dark matter through the higgs portal under the vacuum stability lamppost _ , _ phys . * d92 * ( 2015 ) , no .  6 063504 , [ http://xxx.lanl.gov/abs/1506.0470 [ arxiv:1506.0470 ] ] . s.  oda , n.  okada , and d .- s . takahashi , _ classically conformal u(1 ) extended standard model and higgs vacuum stability _ , * d92 * ( 2015 ) , no .  1 015026 , [ http://xxx.lanl.gov/abs/1504.0629 [ arxiv:1504.0629 ] ] . n.  haba and y.  yamaguchi , _ vacuum stability in the @xmath228 extended model with vanishing scalar potential at the planck scale _ , _ ptep _ * 2015 * ( 2015 ) , no .  9 093b05 , [ http://xxx.lanl.gov/abs/1504.05669 [ arxiv:1504.05669 ] ] . c.  corian , l.  delle  rose , and c.  marzo , _ vacuum stability in u(1)-prime extensions of the standard model with tev scale right handed neutrinos _ , _ phys . * b738 * ( 2014 ) 1319 , [ http://xxx.lanl.gov/abs/1407.8539[arxiv:1407.8539 ] ] . l.  basso , a.  belyaev , s.  moretti , and c.  h. shepherd - themistocleous , _ phenomenology of the minimal b - l extension of the standard model : z and neutrinos _ , _ phys . * d80 * ( 2009 ) 055030 , [ http://xxx.lanl.gov/abs/0812.4313[arxiv:0812.4313 ] ] . l.  basso , a.  belyaev , s.  moretti , g.  m. pruna , and c.  h. shepherd - themistocleous , _ @xmath20 discovery potential at the lhc in the minimal b - l extension of the standard model _ , _ eur . phys . j. _ * c71 * ( 2011 ) 1613 , [ http://xxx.lanl.gov/abs/1002.3586 [ arxiv:1002.3586 ] ] . l.  basso , k.  mimasu , and s.  moretti , _ non - exotic @xmath20 signals in @xmath230 , @xmath231 and @xmath232 final states at the lhc _ , _ jhep _ * 11 * ( 2012 ) 060 , [ http://xxx.lanl.gov/abs/1208.0019 [ arxiv:1208.0019 ] ] . e.  accomando , a.  belyaev , j.  fiaschi , k.  mimasu , s.  moretti , and c.  shepherd - themistocleous , _ forward - backward asymmetry as a discovery tool for z bosons at the lhc _ , http://xxx.lanl.gov/abs/1503.02672[arxiv:1503.02672 ] . e.  accomando , a.  belyaev , j.  fiaschi , k.  mimasu , s.  moretti , and c.  shepherd - themistocleous , _ @xmath233 as a discovery tool for @xmath20 bosons at the lhc _ , http://xxx.lanl.gov/abs/1504.03168 [ arxiv:1504.03168 ] . f.  del aguila , m.  masip , and m.  perez - victoria , _ physical parameters and renormalization of @xmath235 models _ , _ nucl.phys . _ * b456 * ( 1995 ) 531549 , [ http://xxx.lanl.gov/abs/hep-ph/9507455 [ hep - ph/9507455 ] ] . g.  cacciapaglia , c.  csaki , g.  marandella , and a.  strumia , _ the minimal set of electroweak precision parameters _ , _ phys.rev . _ * d74 * ( 2006 ) 033011 , [ http://xxx.lanl.gov/abs/hep-ph/0604111 [ hep - ph/0604111 ] ] . f.  lyonnet , i.  schienbein , f.  staub , and a.  wingerter , _ pyr@te : renormalization group equations for general gauge theories _ , _ comput . * 185 * ( 2014 ) 11301152 , [ http://xxx.lanl.gov/abs/1309.7030[arxiv:1309.7030 ] ] . a.  ibarra , e.  molinaro , and s.  petcov , _ tev scale see - saw mechanisms of neutrino mass generation , the majorana nature of the heavy singlet neutrinos and @xmath236-decay _ , _ jhep _ * 1009 * ( 2010 ) 108 , [ http://xxx.lanl.gov/abs/1007.2378[arxiv:1007.2378 ] ] . e.  salvioni , a.  strumia , g.  villadoro and f.  zwirner , _ non - universal minimal @xmath20 models : present bounds and early lhc reach _ , _ jhep _ * 1003 * ( 2010 ) 010 , [ http://arxiv.org/abs/arxiv:0911.1450[arxiv:0911.1450 ] ]
Abstract:

Answer: we present a renormalization group study of the scalar potential in a minimal @xmath0 extension of the standard model involving one extra heavier higgs and three heavy right - handed neutrinos with family universal b - l charge assignments . we implement a type - i seesaw for the masses of the light neutrinos of the standard model . in particular , compared to a previous study , we perform a two - loop extension of the evolution , showing that two - loop effects are essential for the study of the stability of the scalar potential up to the planck scale . the analysis includes the contribution of the kinetic mixing between the two abelian gauge groups , which is radiatively generated by the evolution , and the one - loop matching conditions at the electroweak scale . by requiring the stability of the potential up to the planck mass , significant constraints on the masses of the heavy neutrinos , on the gauge couplings and the mixing in the higgs sector are identified . * constraints on abelian extensions of the standard model + *     + _ @xmath1dipartimento di matematica e fisica `` ennio de giorgi '' , + universit del salento and infn - lecce , + via arnesano , 73100 lecce , italy _ +