Perturbativity constraints in BSM models

Phenomenological studies performed for non-supersymmetric extensions of the Standard Model usually use tree-level parameters as input to define the scalar sector of the model. This implicitly assumes that a full on-shell calculation of the scalar sector is possible – and meaningful. However, this doesn’t have to be the case as we show explicitly at the example of the Georgi-Machacek model. This model comes with an appealing custodial symmetry to explain the smallness of the ρ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\rho $$\end{document} parameter. However, the model cannot be renormalised on-shell without breaking the custodial symmetry. Moreover, we find that it can often happen that the radiative corrections are so large that any consideration based on a perturbative expansion appears to be meaningless: counter-terms to quartic couplings can become much larger than 4π\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$4\pi $$\end{document} and/or two-loop mass corrections can become larger than the one-loop ones. Therefore, conditions are necessary to single out parameter regions which cannot be treated perturbatively. We propose and discuss different sets of such perturbativity conditions and show their impact on the parameter space of the Georgi-Machacek model. Moreover, the proposed conditions are general enough that they can be applied to other models as well. We also point out that the vacuum stability constraints in the Georgi-Machacek model, which have so far only been applied at the tree level, receive crucial radiative corrections. We show that large regions of the parameter space which feature a stable electroweak vacuum at the loop level would have been – wrongly – ruled out by the tree-level conditions.


Introduction
Already five years have past since the discovery of a new scalar at the LHC [1,2]. In the meantime, the properties of this particle have been measured with an astonishing precision. All coupling measurements agree very well with the expectations for the standard model (SM) Higgs boson. Thus, this particle is at least a SM-like Higgs. Maybe, it is the Higgs, i.e. the only fundamental scalar which exists in nature and which is involved in the breaking of the electroweak (ew) gauge symmetry. However, it is much too early to draw this conclusion and there is still plenty of space where new Higgslike particles as predicted by models beyond the SM (BSM) might show up. The motivation to introduce new scalars in BSM models can be quite different and either stem from a top-down approach like a new proposed symmetry, or from a bottom-up approach where new scalars are needed to get some specific feature in the model. One can count supersymmetric models, models with a grand unified theory or models with an extended gauge sector to the first category, models like those with only additional scalar doublets or triplets to the second one. The interesting feature of these models is that they can offer very interesting, phenomenological effects like changes in the couplings of the SM-like Higgs to fermions or vector bosons, charged or even doubly-charged scalars, or signatures of additional light or heavy neutral scalars. Models with additional Higgs triplets are constrained by the ρparameter which relates M W , M Z and the weak mixing angle. This parameter is measured to be very close to one. While additional doublets only contribute loop corrections to this parameter, vacuum expectation values (VEVs) of triplets, v T , usually enter already at the tree-level. This imposes an upper limit on v T of just a few GeV [3,4]. However, this constraint can be circumvented if several triplets are arranged in such a way that they obey a new (custodial) symmetry: in this case, the tree-level contributions to δρ cancel and the triplet VEVs can be much larger. This was the original idea proposed in Refs. [5,6]. The model known today as the 'Georgi-Machacek' (GM) model comes with one complex and one real triplet. The impact of loop corrections to the ρ-parameter in the presence of triplets were considered in literature and potentially large effects were found [7].
Many other aspects of the GM model were studied in detail in the last years like the properties of the couplings of scalars [8][9][10][11][12][13][14][15][16][17][18] or vector bosons [19], or the potential signatures at colliders [20][21][22][23][24][25][26][27][28]. Not only the phenomenological consequences of the new states were explored, but also the theoretical properties of the extended Higgs sector were studied. This was used to impose constraints on the parameters of the model. For instance, limits for the quartic couplings were derived from the unitarity of the tree-level 2 → 2 scattering [29,30]. Also the stability of the ew vacuum was checked, and dangerous regions in which the potential is unbounded-from-below (UFB) were singled out [31,32]. However, all of these constraints have up to now only been studied at lowest order in perturbation theory and it has not been checked whether the conclusions still hold once loop corrections are included. Moreover, it was so far not clear if higher-order corrections could even be implemented in a sensible way or if some regions in parameter space cannot be treated perturbatively. If this were the case, Born-level results would not be good approximations of the 'full' result, but might be completely meaningless. This is actually an issue which has so far hardly been discussed in any non-supersymmetric BSM model, which might sound surprising as it was already shown in Ref. [33] for the SM that a naive limit like λ < 4π is too weak and that perturbation theory can break down at much smaller coupling values. Among the reasons why this breakdown of perturbation theory has not been checked exhaustively for many BSM models are the missing but necessary higher order results: the only rigorous way to claim a breakdown of perturbation theory is to calculate observables at different loop levels and compare the residual scale dependence which, if a perturbative treatment is possible, must shrink from every order to the next. This would make it necessary to calculate decays or scattering processes at least up to the two-loop level, which would cause a tremendous amount of work. However, some results can be obtained in an easier way which should give more sophisticated hints as to when perturbation theory is in trouble than the simple rules of thumb which say that a quartic coupling must be smaller than some factor times π . A first idea in that direction was shown in Ref. [34] where the one-and two-loop corrections to the scalar masses in the MS scheme were compared. If the two-loop corrections become larger than the one-loop corrections, this already points already towards a problem. Indeed, it has been shown in Ref. [34] at the example of the GM model that the two-loop corrections can be several times as large as the one-loop corrections.
We are going to investigate this potential breakdown of perturbation theory in the GM model in more detail in this work. We propose different conditions which could be used to check for dangerous regions in parameters space. These are not only the size of the one-and two-loop corrections in the MS scheme, but also the values of the counter-terms (CTs) when performing an on-shell (OS) normalisation of the scalar sector at the one-loop level. Since these CTs will enter at all higher loop levels, they cannot be too large without disturbing the convergence of the loop series. The methodology which we develop to apply perturbativity constraints is not restricted to the GM model, but can be applied similarly to other BSM models.
A second main aim of this work is the promotion of the vacuum stability constraints to the loop level: as we will see, the loop corrections in the GM model are always sizeable. Even if perturbation theory might still be under control, tree-level results can be very misleading. For instance, it was shown in Ref. [35] that UFB directions in two Higgs doublet Models (THDM) usually disappear once loop corrections are included. We will find similar results for the GM model. We will show that many parameter regions which seem to pass all tree-level constraints are often in conflict with the constraints from perturbativity. On the other side, parameter regions which are unstable at tree-level become stable once the loop corrections are included. We will present some indications where these effects are most likely to happen in the parameter space of the GM model. This work is organised as follows: in Sect. 2, we explain the basic ingredients of the GM model with and without the custodial symmetry, as well as the two different normalisation schemes, MS and OS, which we use in this paper. In Sect. 3, the existing tree-level constraints on the model are summarised, and our new constraints are explained. In Sect. 4, the impact of our new constraints is discussed. We start with specific examples to discuss the impact of the perturbativity constraints as well as the loop-improved vacuum stability checks before we explore the consequences in the full parameter space. We conclude in Sect. 5. The appendix contains a long collection of additional material: all tree-level couplings of all scalars, the expressions for the one-loop corrections to self-energies and tadpoles as well as the necessary CTs to renormalise the scalar sector of the GM model onshell.

The Georgi-Machacek model
In the GM model, the SM is extended by one real scalar SU (2) L -triplet η with hypercharge Y = 0 and one complex scalar triplet χ with Y = −1 (using the notation Q em = T 3L + Y ). Those can be written as with (η 0 ) * = η 0 .

Unbroken custodial symmetry
After imposing a global SU (2) L × SU (2) R symmetry on the model, the most compact way to write the Lagrangian in a form which explicitly conserves this custodial symmetry is to re-express the Higgs doublet as a bi-doublet under SU (2) L × SU (2) R and the two scalar triplets as a bi-triplet: (2. 2) The scalar potential can then be written as Tr † + μ 2 3 2 Tr † + λ 1 Tr † 2 + λ 2 Tr † Tr † where τ a and t a are the SU (2) generators for the doublet and triplet representations respectively, and U is for instance given in Ref. [30]. After EWSB, the neutral, complex fields φ 0 and χ 0 split in CP eigenstates, with X = {φ, χ}. The vacuum expectation values (VEVs) of the triplets read (2.4) while the doublet VEV is φ 0 = v φ / √ 2 as usual. The gauge boson masses then read at tree level If the custodial symmetry is preserved, the triplet VEVs are identical, v η = v χ , and there are no tree-level contributions to electroweak precision observables as a consequence. The electroweak VEV v can then be written as GeV, (2.6) so that the massive gauge bosons end up with the known SM tree-level masses, and it is common to define the angle The minimisation conditions for the scalar potential read (2.9) which we solve for μ 2 2 and μ 2 3 to eliminate these parameters from the scalar potential. Note that we have assumed all parameters to be real, resulting in CP conservation in the scalar sector.
The mass eigenstates of the scalar fields can be divided into singlets, triplets and fiveplets under the custodial symmetry. At tree level, the masses within each triplet and fiveplet are degenerate, and, using the above equations, are given by (2.10) (2.11) The mass matrix of the CP-even scalars reads in the basis After the diagonalisation, one mass eigenstate corresponds to the fiveplet mass, Eq. (2.10), whereas the other two mix to form the mass eigenstates h and H . They are given in the gauge basis by [30] where

Broken custodial symmetry
Without the custodial symmetry, the most general gaugeinvariant and CP-conserving form of the Higgs potential is given by [36] (2.16) Note that the above equation differs from Ref. [36] in χ ↔ χ † because of the differing definitions of χ . Here, φ c = iτ φ * . For easier comparison with the limit of conserved custodial symmetry, we re-write the potential as At the tree-level where custodial symmetry is conserved, we have as well as 20) The parameters of Eqs. (2.16) and (2.17) are related via The tadpole equations in the case of broken custodial symmetry read After solving these equations for μ 2 2 , μ 2 χ and μ 2 η , the CPeven scalar mass matrix is at tree level given by (2.29) and the mass of the physical pseudo-scalar state is The mass matrix for the singly-charged scalars reads, in Landau gauge, 32) and the mass of the doubly-charged scalar is given by

Renormalisation of the scalar sector of the Georgi-Machacek model
So far, the scalar sector of the GM model has only been studied at tree level in the literature. The only exception is Ref. [34] which has pointed out that an on-shell renormalisation of the model is not possible without breaking the custodial symmetry. Moreover, it was found that the loop corrections to the scalar mass matrices can become huge.
Here we are going to apply two different renormalisation schemes to this model. We start with the discussion of a MS scheme, before we turn to an on-shell scheme.

MS renormalisation
The easiest option to renormalise the scalar sector of the GM model is to use the MS scheme which is applicable to any model. Another advantage of this scheme, beside its general applicability, is that it makes large loops corrections immediately visible without hiding them in counter-terms. 1 The renormalisation procedure is as follows: 1. We match the measured SM parameters (α s , α ew , m f , G F ) to the running MS parameters at the scale Q = M Z . The matching procedure is explained in Ref. [37].
2. We run the SM parameters using three-loop SM renormalisation group equations (RGEs) to the scale of new physics, which we set to either m 5 or m H . At this scale, the model-specific input parameters (λ 1 ,…λ 5 , M 1 , M 2 , s H ) are taken as input. In addition, we solve the tadpole equations to obtain the numerical values of the quadratic mass terms. 3. All tree-level masses are calculated and the shifts to the SM gauge and Yukawa couplings are included. This is done by imposing that the eigenvalues of the one-loop corrected mass matrix of the fermions agree with the running MS masses. In the gauge sector, the electroweak coupling is shifted as The changes in the weak mixing angle are calculated from the Z and W self-energies, see Ref. [37] for more details of the matching procedure at the example of the MSSM. 4. In order to ensure that we are operating at the bottom of the potential at each order of perturbation theory, we demand that the loop-corrected tadpole equations fulfil Here, T i are the tree-level tadpoles, and δ (n) t i are the shifts at the n-loop level. These conditions introduce the only three finite CTs which we need: Note that the breaking of the custodial symmetry at the loop level already becomes visible at this stage due to δ (n) t η = δ (n) t χ and therefore μ η = μ χ . We will make use of the functionality of the tools SARAH/SPheno which are able to calculate δ (n) t i up to two-loop. 5. We calculate the one-loop corrections to the scalar mass matrices. At the one-loop level, the full dependence on the external momenta is included, while at two-loop, the approximation p 2 = 0 is used. The pole masses are the eigenvalues of the loop-corrected mass matrix calculated as (2.40) Here,M φ is the tree-level mass matrix including the shifts Eqs. (2.37)-(2.39). The two-loop self-energies are available for all real scalars in SARAH/SPheno. For charged scalars, the scalar masses are available at the one-loop level, The calculation of the one-loop self-energies in both cases is done iteratively for each eigenvalue i until the on-shell condition is fulfilled. We present the explicit expressions for the one-loop corrections to the tadpoles and self-energies in "Appendix B". The two-loop corrections are too long to be presented in this work. However, they are available in the Mathematica format and can be sent on demand or generated automatically with SARAH.
In the MS scheme, all masses receive finite corrections at the loop level. Thus, mass parameters used as input are only Lagrangian (MS) parameters which are different from the values of the pole masses. This has the drawback that one can't use physical parameters as input. On the other side, as we already mentioned, it makes the presence of large loop corrections immediately visible. Moreover, if one wants to draw the connection to a more fundamental theory which predicts the Lagrangian parameter at a higher scale, one must start with the running MS parameters at the given scale and include the higher order corrections to all masses.

On-shell renormalisation
In an OS scheme, the tree-level masses and rotation angles are taken to be equivalent to the loop-corrected ones. Therefore, an OS scheme has the advantage that physical parameters can directly be used as input. This scheme is often the preferred option if a sufficient number of free parameters exists to absorb all finite corrections. However, one needs to be careful as this is not always possible. The best known exception are supersymmetric models: the SUSY relations among the terms in the potential reduce the number of free parameters and make a full OS calculation of the Higgs sector even in the simplest models impossible. Also the custodial symmetry of the GM model reduces the number of free parameters and there are not sufficient CTs to renormalise the scalar sector on-shell. Therefore, we need to give up this symmetry at the loop level and introduce CTs for all potential parameters With this extended set of CTs, it is now possible to renormalise the scalar sector completely on-shell. We are doing this at the one-loop level using a similar ansatz as in Ref. [38] for the THDM. The CTs are fixed by the following renormalisation conditions: Here, δT i and δ M are the counter-term contributions to the tadpoles and mass matrices. δt i are the one-loop corrections to the tadpoles, and are the one-loop self-energies. For simplicity we assume that are calculated with vanishing external momentum, i.e. p 2 = 0. This approximation is justified because we are only interested in the overall size of the CTs and their impact on the vacuum stability constraints. The explicit expressions for the CTs stemming from these conditions are given in "Appendix C".
In order to obtain the finite values for the CTs, we perform the following steps: 1-3. These steps to get the parameters at the renormalisation scale are identical to the MS calculation. 4. The one-loop tadpoles and self-energies are calculated. 5. Equations. (C.1)-(C.14) are used to obtain the finite values for the CTs.
As explained, the custodial symmetry gets broken by the one-loop shifts in the parameters λ i . This effect is triggered by the hypercharge and one might expect that it is rather mild. This was for instance also found in Ref. [36] where the effects of custodial symmetry breaking through RGE evolution have been studied. However, if we compare the dominant contributions to the CTs of δλ 3b and δλ 3c , see Eqs. (C. 3

Tree-level unitarity constraints
The first, and already at tree level rather severe, constraint on the parameter space of the GM model is perturbative unitarity of the 2 → 2 scalar field scattering amplitudes. This means that the 0th partial wave amplitude a 0 must satisfy either |a 0 | ≤ 1 or |Re[a 0 ]| ≤ 1 2 . The scattering matrix element M is given by where J is the angular momentum and P J (cos θ) are the Legendre polynomials. At the tree level, the 2 → 2 amplitudes are real, which is why one usually uses the more severe constraint |Re[a 0 ]| ≤ 1 2 , which leads to |M| < 8π . For analysing whether perturbative unitarity is given or not, it is common to work in the high energy limit, i.e. the dominant tree-level diagrams contributing to |M| involve only quartic interactions. All other diagrams with propagators are suppressed by the collision energy squared and can be neglected. Moreover, effects of electroweak symmetry breaking (EWSB) are usually ignored, i.e. Goldstone bosons are considered as physical fields.
The condition |M| < 8π must be satisfied by all of the eigenvaluesx i of the scattering matrix M. M must be derived by including each possible combination of two scalar fields in the initial and final states. The explicit expressions for the eigenvaluesx for conserved custodial symmetry are for instance given in Refs. [29,30]. They can be translated into the following tree-level unitarity conditions: Without the custodial symmetry, the eigenvalues of the scattering matrix have not been calculated before, but are given here for the first time. Still most eigenvalues of the more complicated scattering matrix have simple, analytical expressions: Three other eigenvalues are the solutions x 1,2,3 of the polynomial (3.14) These expressions were extracted from SARAH as described in appendix D. From these eigenvalues, we can derive the following treelevel unitarity conditions in the case of broken custodial symmetry |2λ 3b + λ 4b | < π, (3.15) |2λ 3c + λ 4c | < π, (3.16) |2λ 3a + 2(λ 4a + λ 4b ) + 3λ 3b | Even though we will always assume that the custodial symmetry is conserved at tree-level, we will make use of these 'generalised' unitarity constraints in combination with new perturbativity constraints as explained in Sect. 3.3.

Tree-level considerations
Another theoretical constraint which has already been studied in the context of the GM model is the vacuum stability constraint at tree-level. In general, there are two possible situations which can cause an instability of the vacuum with correct EWSB: either directions in the scalar potential exist in which the potential is unbounded from below, or other local minima exist in the scalar potential which are deeper than the ew one.
Unbounded from below UFB directions exist if quartic couplings fulfil specific conditions. The simplest condition is λ 1 < 0 since in this case the potential approaches − ∞ for v φ → ∞. The full list of tree-level conditions to avoid unboundedness from below in the case of conserved custodial symmetry was derived in Ref. [30]. It reads: Equation (3.29) must be satisfied for all values of ζ ∈ 1 3 , 1 . If the custodial symmetry is broken, more conditions need to be checked. These conditions were derived in Ref. [36] assuming two simultaneously non-vanishing field directions. We have re-derived these conditions using our parametrisation, shown below. Not derived in Ref. [36] were UFB conditions on the "custodial" direction with η 0 = χ 0 = 0 and φ 0 = 0 which we also present here. The set of UFB conditions reads  [36] in that we do not have a factor 2 in front of the square-root. The last two conditions are shown here for the first time.
Other minima Even if the potential is bounded from below in all possible field directions, additional minima are usually present. In these minima, the sum of all neutral VEVs v 2 η + 4(v 2 χ + v 2 φ ) usually doesn't agree with the measured value of 246 GeV, i.e. those minima are not viable. Moreover, also minima can occur at which charge is broken spontaneously by the VEV of a charged scalar. If any of those minima is the global minimum of the scalar tree-level potential, then the ew minimum is unstable. If tunnelling is assumed to be instantaneous on cosmological scales -as it is usually done -this vacuum configuration is forbidden. All possible minima of the scalar potential at tree-level can be found by solving the minimisation conditions of the potential, i.e. in the most general case a set of seven coupled, cubic equations must be solved. Another method of finding all minima by using a re-parametrisation of the scalar potential is discussed in Ref. [30].

Loop effects
Up to now, the vacuum stability in the GM model has only been checked at tree level. However, using UFB conditions at tree level can be very misleading since these conditions involve very large field excursions -which demand a proper treatment of radiative corrections. Usually, the best method to deal with very large field excursions is to use the RGEimproved potential. In the limit of very large VEVs, the potential can be approximated very well by the tree-level potential where the running quartic couplings are inserted. Thus, to single out UFB directions, it is necessary to check that the conditions hold in the limit It has already been pointed out in the context of the THDM [35] that UFB directions usually disappear in the RGEimproved potential in the presence of large quartic couplings. This can be understood from the general form of the RGEs: bosonic contributions increase the size of the quartic couplings with increasing energy while fermionic contributions decrease them. We can confirm that a similar observation holds in the GM model. If we forget for a moment the breaking of the custodial symmetry via hypercharge effects, the one-loop RGEs for the quartic couplings are given by [36]: We show the running of the two coupling combinations λ 3 + λ 4 and 4λ 2 − |λ 5 | + 4 Fig. 1. The input values at m t were chosen to be λ 1 = 0.05, λ 2 = 0.5, λ 3 = −1.5, λ 4 = 1, λ 5 = 5, i.e. both combinations of couplings are negative at m t . This would give the impression of two UFB directions. However, we already see at scales which are below one TeV that both combinations of couplings turn positive. Thus, the UFB directions disappear once the loop effects are included. Since the running of the quartic couplings is usually very fast and since the scale at which the couplings (or combinations of them) change their sign is not far above the input scale, we can assume that the dominant radiative effects are also covered by the effective potential without an RGE resummation. See also Ref. [35] for a similar discussion in the context of the THDM.
We will use in our numerical studies the one-loop effective potential V (1) E P to check the vacuum stability. The different ingredients are Here, V CT is the counter-term potential, and the sum V Tree + V (1) CT is given by Eq. (2.17) and replacing (3.52) Note, the derived CTs depend on the ew VEVs, i.e. they result in a cancellation between V CT and V CW only at the ew minimum, but not at other positions of the potential. Thus, the conditions Eqs. (2.44)-(2.48) don't imply that the full one-loop potential is in general identical to the tree-level potential. The Coleman-Weinberg potential V (1) CW is given by with r i = 1 for real bosons or Majorana fermions, otherwise 2; C i = 3 for quarks, otherwise 1; 3 2 } for scalars and { 3 4 , 5 6 } for vector bosons. As for the other calculations, we choose Q = m 5 or Q = m H depending on the choice of the input as described in Sect. 4.2.
It is important to stress that, for the check for spontaneous charge breaking via VEVs of the charged scalars at the loop level, the calculation of the physical masses must be adjusted. The reason is that the additional VEVs, which can be potentially present, also mix particles with different electric charge. If we assume no spontaneous CP violation, this results in a 7×7 mass matrix for CP-even ( ) and a 6×6 mass matrix for CP odd scalars ( ). Analogously, both fermions and vector bosons of the same colour mix. Thus, in this case the more explicit expression for the CW potential is Because of the length of the mass matrices in the case of charge breaking VEVs, we don't give them explicitly in this paper. Instead, we provide on request the SARAH model files for the charge breaking GM model to generate them.

Perturbativity constraints
As we have seen, the GM model provides in principle a sufficient number of CTs to renormalise all masses on-shell if the custodial symmetry is given up at the loop level. However, this does not yet ensure that such an on-shell calculation would also be trustworthy as one always needs to assume that the perturbative expansion is working. If this is not the case, then the calculation of the CTs and also all other loop calculations are not meaningful. Naively, one might expect that problems with perturbativity occur once quartic couplings O(4 π) are involved, or that at least the tree-level unitarity constraints are strong enough to filter out points which violate perturbation theory. However, it was shown for the SM that problems can occur much earlier [33] and that a better limit for the quartic coupling in the SM is 2 π . In the specific case of the GM model, it was pointed out in Ref. [34] that problems with perturbation theory can show up for even smaller coupling values. It was observed that, in sizeable regions of the parameter space of the GM model, the twoloop corrections to masses can become larger than the oneloop contributions. This was demonstrated at the example of the SM-like Higgs mass for which the one-and two-loop corrections in the MS scheme were compared. Of course, for a robust statement about whether perturbation theory is still working or has already broken down, it would be necessary to compare physical processes and their scale dependence at different loop levels. However, this is hardly possible in the GM model -or any other BSM model. Therefore, we want to use information which is easier accessible to get some indication whether loop calculations for a given parameter point are trustworthy or not. For this, we are going to check the effects of four different conditions which might point towards the breakdown of perturbation theory. These conditions are: 1. A parameter point is considered to violate perturbation theory if the two-loop corrections to at least one scalar mass are larger than the one-loop corrections, i.e.
This is very close to the ansatz of Ref. [34]. However, we do not only consider the SM-like mass, but test all three neutral CP-even states, i.e. φ = h 1,2,3 . In addition, we impose a lower threshold on |(m 2 φ ) Tree − (m 2 φ ) 1L | of 20 2 GeV 2 for this test. The reason for this exception is that the one-loop corrections might be very small due to an accidental cancellation which is not any more present at two-loop level -which would therefore otherwise lead to a constraint according to Eq. (3.55) without actually violating perturbation theory. 2. A parameter point is considered to violate perturbation theory if the CT to at least one parameter is larger than the tree-level value of this parameter times some constant, i.e. δx x > v. (3.56) For the most conservative choice, v = 1, this forbids points with |δx| > |x|. We apply this constraint to all quartic couplings.

A parameter point is considered to violate perturbation
theory if the CT of at least one quartic coupling becomes larger than some fixed value, i.e.
|δx| > c · π. (3.57) We are going to test c within 1 and 4. Since δx enters the two-loop corrections, a CT as large as 4π is for sure problematic. However, problems might occur even for smaller values as one has seen in the SM.
This condition is similar to the third condition but doesn't involve any (arbitrary) upper limit on the quartic couplings. In addition, it indicates the robustness of the unitarity constraints under radiative corrections. Of course, to be sure if the unitarity constraints are really violated or not, one would need to calculate in addition the virtual and real corrections to all possible 2 → 2 scattering processes.
All four conditions are not rigorous in the sense that they can provide a definite answer if perturbation theory is still working or not. It is also in some sense a matter of taste which condition is considered as the most reasonable or reliable one. However, as we will see, one can get some very clear hints if problems with perturbation theory are present or not. In particular, if several conditions fail at the same time, one should be tempted to take results obtained from a calculation at Born-or even one-loop-level with care.

Numerical setup
For our numerical study we used the Mathematica package SARAH [40][41][42][43][44] with the implementation of the GM Model discussed in Ref. [45]. In a first step, we used the model files to generate a spectrum generator based on SPheno [46,47]. SPheno calculates by default the mass spectrum at the full one-loop level and includes all important two-loop corrections to the neutral scalar masses [34,48,49]. Special care is needed at the two-loop level to avoid the so-called Goldstone boson catastrophe [50]. In addition, SPheno calculates all decay modes of the particles at tree-and one-loop-level [51], including the modes discussed recently in Ref. [18]. This information is also used to write the files necessary to test a parameter point with HiggsBounds [52][53][54]. SPheno performs in addition a calculation of flavour and precision observables like δρ or g − 2 [55]. For this project, we have extended the list of precision observables by the oblique parameters S, T and U [56]. The main reason for this was mainly that δρ, respectively the T parameter can't be used to constrain the GM model: even if the tree-level contribution vanishes for v χ = v η , the one-loop correction is formally next-to-leading order. Thus, a finetuned CT can be added to cancel this contribution in principle. Therefore, we use the S parameter as main constraint as proposed in Ref. [32]. We also compared our numerical values of a full one-loop calculation of the S parameter with those obtained with gmcalc and usually found agreement within 5-10%. We have modified one instance of SPheno to include the CTs to keep the scalar sector on-shell as explained in Sect. 2.3.2.
A second version was kept unmodified and used to get the size of the one-and two-loop corrections to the masses in the MS scheme, see Sect. 2.3.1 for more details.
We further used Vevacious [57] to test the stability of the one-loop effective potential. The necessary model files have been generated with SARAH. Here, we use two two different implementations: the standard one with only the three standard VEVs for the neutral scalars, and one with the possibility that all seven scalars can obtain a VEV. Since the check of the vacuum stability with seven VEVs is quite time consuming, we only test points which have passed all other constraints. 2 As input for Vevacious, we used the spectrum files written by SPheno. Vevacious automatically adjusts the counter-term potential based on CTs which are present in the SPheno spectrum file. 3 We made use of gmcalc [58] to double-check the tree-level constraints like tree-level unitarity, unboundedness from below and the presence of other minima as well as the calculation of the S parameter as already mentioned. In order to circumvent the command line input, we have modified gmcalc to read in a file with all necessary parameters (λ i , M i , μ 2 i ) as well as the running electroweak VEV as calculated by SPheno. In addition, we added a function to write the results for the tree-level unitarity check, the check for other minima as well as unbounded-from-below directions into an external file in a SLHA-like format. The different codes are combined in numerical scans using the tool SSP [59].

Input parametrisation
At the tree-level, i.e. with conserved custodial symmetry, and after applying the tadpole conditions, there are seven free Lagrangian parameters In addition, the relative size of the SU (2)-doublet and -triplet VEVs, controlled by s H , is a free parameter. In principle, these parameters could directly be used as input. However, the overall majority of randomly chosen points would then be ruled out by the requirement to have a CP-even scalar mass with ∼ 125 GeV. Therefore, it is convenient to use m h directly as input. We have explored two different sets of input parameters: 1. Input I: here, we use the SM-like Higgs mass m h as input, together with the mixing angle α between the CPeven neutral SU (2)-doublet and -triplet components. In addition, the heavy Higgs mass m H is used as input to set the overall mass scale of the new scalars. Using those input parameters, λ 1 , M 1 and M 2 are calculated according to where t α = tan α. The full list of input parameters for this choice is The advantage of this input is that Higgs constraints can easily be kept under control by choosing small or moderate values of s H and α at the same time. The disadvantage is that the independent handling of s H and α implies a tuning of the other dependent tree-level parameters. As a result, loop corrections can have a significant impact, as we will see below.
2. Input II: here, we use m h and m 5 instead of λ 1 and M 1 as input. Moreover, M 2 is set relative to M 1 via a dimensionless parameter r 12 . The used relations are Thus, the full list of free parameters for this input is The advantage of this input is that one has direct control over the SM-like Higgs mass as well as the BSM scale m 5 . On the other side, the mixing between the SM-like Higgs and the other states is not an input, i.e. it can in principle become very large. This will then cause conflicts with Higgs coupling measurements.
Other proposed input sets, which we don't explore further in the following, are: We are going to start now to investigate the loop constraints on the GM model using the two input sets defined above. We start with a discussion of the perturbativity constraints before we turn to the vacuum stability constraints. First, we concentrate on specific parameter regions to study the different effects. In a second step, we consider the global picture by performing random scans over large parameter ranges.

Dependence on s H
We start with discussing the role of s H since it was shown in Ref. [34] that large s H usually implies large radiative corrections. For this reason we consider the parameter point The tree-level masses of the three CP-even scalars are shown in Fig. 2. As can be seen, a large separation between m 5 and m H can be present for both small and large s H . In general, the very heavy states for small values of s H do also increase the size of the loop effects as we will see.
Consequently, we find that perturbativity constraints are not only important for large s H , but that they can also be significant for small s H . This is shown in Fig. 3 where we show the size of the different loop effects. In the first row of Fig. 3, we show the ratio of the different CTs normalised to the tree-level coupling. Here, we have defined (4.10) We see that for m H = 300 GeV, the couplings λ 3 , λ 4 and λ 5 fail the constraint δλ/λ < 1 for values of s H up to 0.2. And again for s H > 0.4, λ 3 is in conflict with this constraint.
For m H = 800 GeV, there is always a contribution which violates this bound over the entire range of s H . This choice to define perturbativity seems to be quite strong. It might also give a 'false-positive' result since large δλ/λ can easily occur if the tree-level quartic is very small. This means that there is some tuning of parameters at tree level which gets spoilt by the loop corrections. In this case, it can happen that the perturbative series behaves well and that higher order terms remain small corrections to the one-loop terms. Therefore, a more robust limit is to check the absolute size of the CTs: if those are very large, e.g. > 4π , then higher order corrections are expected to become more and more important. Therefore, in the second row of Fig. 3   Since the maximal value of |δλ| which we still consider as viable is arbitrary, we also test another condition to get an upper limit of |δλ| which is the behaviour of the scalar 2 → 2 scattering. For that, we calculate the eigenvalues of the scattering matrix with the renormalised couplings instead of the tree-level values. This not only gives hints for the perturbative behaviour of the parameter point but also indicates the robustness of the tree-level unitarity constraints under radiative corrections. We show in the third row of Fig. 3 the absolute values of the eigenvalues y 1 . . . y 6 defined as , (4.13) 14) where x 1,2,3 are the solutions of the polynomial of Eq. (3.14).
All y i should be smaller than 8π . We find that this in general results in stronger constraints than those from the condition |δλ| < 2π . For m H = 300 GeV, these 'loop corrected' unitarity constraints are comparable to those from δλ/λ < 1, while for m H = 800 GeV, they are a bit weaker: not the entire parameter range is in conflict with this condition in contrast to |δλ/λ < 1| which is violated everywhere. We now turn to the constraints using the MS calculation. The size of the one-and two-loop corrections to the CP-even masses is shown in the fourth row in Fig. 3. We see that these corrections could cause shifts of hundreds of GeV in the masses, i.e. for small and large s H , they can be as large as the tree-level values. Moreover, we find that the two-loop corrections can be larger than the one-loop corrections. This reflects again a breakdown of perturbation theory.
In Fig. 4, we summarise the limits on s H using the different perturbativity limits. We see that for m H = 300 GeV the overall limits from δλ x /λ x and |δλ x | are quite similar. We further observe that the limits from the one-and two-loop MS corrections are slightly weaker for small s H but stronger for large s H . All in all, we find that for m H = 300 GeV, a sizeable range of s H is still allowed by all constraints. This is different to m H = 800 GeV where |δλ x /λ x | is violated in the entire range, while for the other three sets of constraints still a window in s H exists where these constraints are fulfilled. It is interesting to note that the constraint from h 3 and λ 3 give quite similar results. Thus, there is an obvious correlation between the size of the one-loop CTs in the OS scheme and the hierarchy between the one-and two-loop corrections in the MS scheme.
Before we move to the impact of the other parameters on the perturbative behaviour of the model, we comment on the dependence on the different input choices. It has already been shown in Ref. [34] that the loop corrections are usually small for s H if m h and m 5 are used as input, but not α. We also find this for our input choice II, cf. Eq. (4.8). As shown in Fig. 5 on the right column, one can go up to s H = 0.7 for m 5 = 300 GeV without running into obvious problems with perturbation theory. However, there is a strong correlation between s H and α and for large s H the mixing between the SM-like Higgs and the triplets becomes so large that this causes conflicts with Higgs observables as indicated by the vertical dashed line. We find a similar behaviour for input choice I if we impose a correlation between α and s H 'by hand': if we demand α = 75s H • rad , then we can also go up to very large values for s H together with m H = 300 GeV without running into trouble with perturbativity. However, again the region of s H > 0.3 is ruled out by the Higgs constraints. Hence, the overall picture between both input modes is comparable. We also learn from this comparison that large loop corrections occur if the chosen mixing angle α is far away from a natural value which is correlated with s H . As a consequence, we use for the further examples with Input I values of s H between 0.2 and 0.3 and take α between 10 • and 20 • .

Dependence on heavy scalar masses
We have already seen in the last subsection during the discussion about the dependence of the loop corrections on s H that the loop corrections usually become more important the heavier the new scalars are. The reason is that large scalar masses imply large values for the trilinear couplings M 1 and M 2 which enter the scalar loop corrections. One finds for instance that the one-loop corrections to the neutral CP-even Higgs with mass m 5 scales as We show the impact in Fig. 6a where we give the size of the loop corrections using a fully numerical calculation as a function of m H . The other parameters are set to In all four different formulations of perturbativity constraints shown in Fig. 6a, we find that large m H is generically more constrained than lower masses, i.e. the values of the CTs as well as the size of the loop-corrected MS masses increase with increasing m H , up to a few specific values where cancel-lations among the different loop contributions are present. In the lower panel of Fig. 6a we present the size of the one-and two-loop corrections to the neutral CP-even MS masses. We observe that, for values of m H above 1.1 TeV (1.3 TeV), the two-loop corrections to h 2 (h 3 ) are larger than the one-loop corrections. Thus, in this example, the strongest perturbativity constraints in the MS scheme are actually not due to the loop corrections to the SM-like state but due to the new scalars. For the SM-like state we see a short range between 600 and 800 GeV where the two-loop corrections are larger than the one-loop corrections. However, this is obviously because the one-loop corrections are suppressed by an accidental cancellation. Therefore, we extend the MS perturbativity limit by a threshold for the minimal size of the one-loop corrections, cf. Sect. 3.3: only if the one-loop corrections to the squared masses are larger than (20 GeV) 2 and if the twoloop corrections are larger than the one-loop corrections, we consider this as breakdown of perturbation theory. For the one-loop CTs in the OS scheme, shown in the upper two panels of Fig. 6a, we find again that the strongest limits on perturbativity stem from the constraint |δλ x /λ x | < 1. Looking at the unitarity constraints, shown in the third panel, we end up with a similar upper bound on m H ≤ 800 GeV for this particular parameter point, more than ∼ 200 GeV lower than the limit from the MS mass corrections. The constraint |δλ x | < π, in turn, leads to a limit on m H of 1.2 TeV, which is in-between the one obtained from the loop corrections to m h 2 and m h 3 . Using a weaker upper limit of 2π or 4π wouldn't lead to any constraint in the tested parameter range. Qualitatively, however, we observe a clear correspondence of the perturbativity constraints formulated in the MS scheme and the ones from the OS CTs. In Fig. 6b, we show the ranges of allowed m H for this scenario, analogously to Fig. 4.

Dependence on large quartic couplings
So far, we have not considered the role of the quartic couplings on the perturbativity limits. Unlike in the THDM, the quartic couplings in the GM model are usually not taken very large, i.e. O (10). This is due to the tree-level unitarity limits in this model which already severely constrain combinations of couplings to be much smaller than 4π , see Eq. (3.2). For instance, if we assume only λ 3 and λ 4 to be non-negligible at tree-level, then large λ 3 is only allowed if it cancels against a large λ 4 , confining both parameters to a narrow strip around λ 3 = − 11λ 4 7 ± 2π 7 which is cut off at roughly λ 4 2. On λ 5 , however, there are comparably weak tree-level unitarity constraints, i.e. |λ 5 | 1 is easily possible without  For positive values of λ 5 , there is a fast increase in the size of the loop corrections. In particular the two-loop corrections to the SM-like Higgs grow very quickly and are as large as the tree-level mass for λ 5 2. For the second-lightest Higgs, the two-loop corrections are larger than the one-loop corrections for λ 5 2.25. This roughly corresponds to the value at which δλ 3 π , depicting again the correlation between the twoloop corrections in the MS scheme and OS CTs. For positive values of λ 5 , similar constraints are also found when using the condition |δλ x /λ x | < 1 or the 'loop improved' unitarity constraints. For negative values of λ 5 , in turn, these two sets of conditions are much more restrictive: they would forbid values of λ 5 below −2, while the other two sets of conditions are fulfilled until λ 5 − 4.
We now turn to the other quartic couplings. Even though those are constrained to smaller values than λ 5 due to the treelevel unitarity bounds, the one-loop corrections to those quartics can turn out to be so large that we end up with stronger perturbativity constraints on λ 1···4 than on λ 5 . An indication is already seen in Fig. 7 where it is actually the counter-terms to λ 3 which become problematic much earlier than those to λ 5 . In Fig. 8a, we show the loop effects as a function of λ 2 . The other input values are set to We find almost continuously increasing CTs and loop corrected masses for increasing λ 2 . The two sets of constraints which have been the most restrictive ones on the other examples (|δλ x /λ x | < 1 and the unitarity constraints) are already violated for λ 2 0.2. In this case, this is quite similar to the upper limit which is obtained from the two-loop corrections to h 3 . On the other hand, when using the absolute size of the CTs or the two-loop corrections of the first two scalar masses as constraints, the limits are much weaker and range between λ 2 1 · · · 1.5, comparable with the tree-level unitarity constraints. The constraints from the different perturbativity requirements are summarised in Fig. 8b.

Impact on parameter regions
We have seen in the last subsections that the loop corrections in the GM model can become huge, indicating a breakdown of perturbation theory. Of course, it is difficult to define an absolute condition when this breakdown takes places. We have investigated four sets of conditions which ended up in different constraints on the parameters. Which conditions are applied depend on how conservative one wants to be. However, the important observation is that at some point all conditions point towards severe conflicts with the perturbative expansion: if the CT to a quartic coupling is O(100) and if the two-loop corrections are larger than the one-loop corrections by an order of magnitude, it is clear that one has entered the strongly coupled regime of the model. We demonstrate at one example the impact of the different perturbativity constraints on the parameter space which seems to be valid at tree-level. We show in Fig. 9 an overlay of the allowed parameter space at tree-level and the different loop constraints in the (m H , s H ) plane for four different values of λ 2 . The other parameters have been set to The green shaded areas in Fig. 9 show the parameter space which is allowed at the tree level. The areas shaded in red The first observation is that in neither of the four subfigures, any of the parameter space features generalised scattering amplitudes with y i < 4π . As in the previous examples, we will however always use the less restrictive bound of 8π , as defined in Eq. (3.58). In the left upper panel of Fig. 9, we present the case λ 2 = 0.5. We observe that in this case, the loop corrections behave comparatively well -most of the parameter space which is allowed at tree level is still viable if the higher-order constraints are taken into account. The only exception is the ratio of CTs over the tree-level coupling which would exclude most of the valid parameter space if we were to apply the most restrictive bound of Max(|δλ x /λ x |) < 1. We further observe that the other, less conservative OS bounds agree well with the MS conditions.
For increasing values of λ 2 , the perturbativity constraints invade more and more the valid tree-level regions. Finally, for λ 2 = 1.25, nearly the entire parameter space which is allowed at tree-level seems to demand a non-perturbative handling.
In all four examples in Fig. 9 we see that the strongest constraints always come from the ratios Max(|δλ x /λ x |) < v, especially if v = 1 is considered as the maximally-allowed ratio. However, also using v = 2 or 4 as bounds, these limits are always stronger than the ones from the absolute values of |δλ x | < cπ , even if we apply c = 1 or 2 as condition. The exclusion regions when demanding that the tree-level unitarity constraints calculated with renormalised couplings should be fulfilled are comparable with those from the relative size of the CTs when imposing < 8π for the maximal eigenvalue of the scattering matrix. If eigenvalues up to 16π are accepted, the condition becomes more comparable to the ones on the absolute value of the CTs with c = 1.  Similarly, also the hierarchy between the one-and two-loop corrections to the scalar masses leads to quite severe constraints. It is in particular interesting to see that for different parameter points the corrections to different masses are more important. Because of this complementarity, the superposition of the constraints from all three masses cover a signif-icant part of the parameter space. The constraints from the absolute size of the quartic couplings result, for this example, in the weakest limits.
Quite generically, however, we observe again clear correlations between the size of the CTs and the hierarchy between the one-and two-loop corrections in the MS scheme. Finally, we want to show some constraints on a particular benchmark, the so-called 'H5plane', which has been promoted for the Georgi-Machacek model recently, see Refs. [61,62]. This plane is characterised by only two free parameters m 5  (4.21) Obviously, the input parametrisation for this plane is different from the standard input choices I and II defined above. We have modified our code accordingly. It has already been shown in Ref. [34] that there are, what appears to be, serious problems with perturbativity for large values of m 5 . This was shown using the MS scheme, with the result that in large regions of the parameter space the 2loop mass correction to the SM-like Higgs must are larger than the 1-loop correction. In Fig. 10, we now show the constraints arising from all other perturbativity conditions. As can be seen from there, the perturbativity constraints cut deeply into the parameter space of the H5plane. In particular, demanding in the OS scheme that |δλ x /λ x | < 1 (thick Fig. 10 Constraints on the parameter space in the m 5 -s H plane using the other parameters according to eq. (4.21). Points above the black (blue) thick line are excluded due to theoretical tree-level bounds (direct LHC searches [60]) according to Ref. [61]. The grey shaded area with the red contour lines shows the OS perturbativity constraints based on the relative size of the counter-terms. The red contours correspond to Max(|δλ x /λ x |) = 1, 2, 4, 16 and 64. The yellow shaded area corresponds to the unitarity constraints using renormalised parameters. The black dashed contours correspond to the associated scattering eigenvalues of 4 π , 8 π , 16 π and 64 π . As the green contour we show the MS constraints from the size of the two-loop corrections vs. the oneloop corrections. Regions tainted green do not pass the constraint, i.e. Max(|(m 2 Finally, the purple shaded area corresponds to the perturbativity constraints on the absolute size of the CTs. The purple dot-dashed contours correspond to Max(|δλ x |) = 2 π and 4 π red contour line) only leaves valid parameter space below m 5 500 GeV. Only considering the perturbative unitarity cuts using renormalised couplings and demanding 8 π to be the upper limit (thick black dashed contour line), instead leaves points up to about 1.2 TeV. The loosest constraints come from the absolute size of the CTs. Only the parameter space below m 5 2.1 TeV (2.5 TeV) violates this condition if the cut |δλ x | < 2 π (4 π) is applied. In addition to the MS constraints already discussed in Ref. [34] for the lightest neutral scalar, we include the same condition for the two heavier neutral scalars. In fact, it turns out that the 2-loop corrections to the second mass eigenstate (corresponding to m 5 ) are the most dangerous. The parameter space in conflict with Max(|(m 2 Also shown in the figure are the constraints extracted from Ref. [61]: only points below the black solid line are allowed from theoretical tree-level constraints. Note that for large s H , this line is in agreement with the loop-level unitarity bound -considerable deviations however appear below s H 0.4. The parameter space above the blue line is excluded from the LHC direct searches for doubly-charged scalars [60]. In total, depending on how conservative a perturbativity cut is applied, the left-over parameter space of the H5plane is either small or even just a tiny strip.

Vacuum stability
So far, we have discussed one-loop perturbativity constraints on the parameter space of the GM model, a new kind of constraint which, to the best of our knowledge, has not been discussed in literature in the context of the GM model -or any other BSM model -before. However, also the impact of loopcorrections on well-known constraints which already exist at tree level is expected to be significant. Here we turn to the discussion of the vacuum stability constraints and show how the impact of the loop corrections can alter the conclusions drawn on that basis. A discussion of these effects for the THDM was done in Ref. [35], and we can find here quite similar features for the GM model.

Stabilising UFB directions
We start with unbounded-from-below directions which exist for the tree-level potential for many different field combinations. We have already discussed in Sect. 3.2.1 that these directions are very often expected to disappear once loop effects are included. While we have focused in Sect. 3.2.1 on the RGE-improved potential containing only quartic couplings -which is a valid approach in the limit of very large scales -we use here the one-loop effective potential. There are mainly two reasons for that: (i) the running of the quartic couplings is usually very fast, i.e. the scale at which the couplings or combinations of them change their sign is not for away from the input scale. Thus this scale is often not much higher than the scale of the dimensionful parameters in the potential. (ii) Even if the UFB conditions are satisfied at higher scales, this doesn't mean that those points are necessarily stable: it can and will happen that the potential in the UFB directions is deformed to a local minimum which is deeper than the electroweak one. In order to check this, one needs to find all minima of the effective potential and compare their depths. We do this explicitly at one example in Fig. 11 where we compare the vacuum stability at tree level and at the one-loop level as a function of tree-level input value λ 3 as well as m H . We used as further input At tree level, the most constraining condition λ 3 /3 + λ 4 < 0 for the presence of a UFB direction, cf. Eq. (3.43), therefore becomes Fig. 11 Comparison of the vacuum stability at tree-level and one-loop level. The shaded areas represent the stability of the potential at treelevel: unbounded from below direction exist (red), other minima deeper than the ew vacuum exist (orange), the ew vacuum is stable (green). The green hatching indicates a stable ew vacuum at one-loop whereas no hatching corresponds to a metastable vacuum at one-loop. Black lines show the value of constant λ 3 /3 + λ 4 at tree level, and the blue ones of This rules out a large fraction of parameter space in the shown plane. Moreover, also for λ 3 > 0.3, other and deeper minima than the ew one are present at tree-level. As a consequence, the tree-level potential is only stable in a small region with λ 3 1 and m H < 900 GeV. At the one-loop level, there are finite corrections to the quartic couplings. Therefore, the most constraining conditions to not have a UFB direction in the combined tree-level and CT potential become with λ N x = λ N + δλ N x . The contours for constant values of Eq. (4.23) are also shown in Fig. 11: negative values appear only for a rather small region with mainly λ 3 < 0 and m H < 1 TeV. Thus, the UFB directions in the other parts of the plane disappeared already just because of the CTs inde-pendently of the other one-loop corrections. 4 As expected, not the entire region where the loop potential doesn't have a UFB direction also provides a stable ew vacuum. There is still a non-negligible region where the ew minimum is not the global minimum of the scalar potential. Nevertheless, the region with the ew minimum as the global minimum is significantly larger than at tree-level. A similar mechanism also works for other UFB directions. In Fig. 12 we show the λ 5 − m H plane and consider the condition which is violated in the depicted (λ 5 , m H ) plane at tree-level roughly for λ 5 < −1 (up to some corrections stemming from the changes in λ 1 in this plane). We show for comparison again the contours of the equivalent conditions for UFB directions in the tree-level plus CT potential, i.e. min{4λ 2a − |λ 5a | + 4 2λ 1 (2λ 4b + λ 3b ), cf. Eqs. (3.39), (3.40) and (3.44). The difference between these lines is not as pronounced as in Fig. 4.23 -however, the regions with a stable minimum at the one-loop level are still significantly larger than at tree-level. This means that also in this example the loop corrections from the Coleman-Weinberg potential are very important to stabilise the UFB directions. In the entire plane the more stringent condition of Eq. (4.25) is 4λ 2a − |λ 5a | + 4 √ 2λ 1 (2λ 4b + λ 3b ), which corresponds to the direction H 0 = χ − = φ − = χ −− = φ 0 = 0, H + = x χ 0 . In this direction, the terms proportional to χ 0 4 in the CW potential which don't come together with a logarithm are In the next step, for achieving an insight into the question where the UFB directions go at one-loop, we add these terms to the tree-level + counter-term potential according to Eq. (3.51) and re-derive the UFB condition of Eq. (4.24) for the modified potential. The corresponding dashed blue contour lines are shown in Fig. 12. We see that the corresponding values are positive over the entire parameter range  -which means that the tree-level UFB direction becomes bounded from below at the one-loop level.

Stabilising meta-stable regions
If no UFB direction exists, the ew vacuum could still be unstable due to the existence of other minima deeper than the one with correct EWSB. This case was to some extent already mentioned in the last subsection. Here we are going to investigate it in more depth. In Fig. 13, we show the difference V between the ew minimum and the panic vacuum, The panic vacuum is defined as the minimum which is deeper than and closest in field space to the ew vacuum, i.e. the one to which the ew vacuum configuration would tunnel to eventually. V is a positive-semidefinite quantity: if the desired (i.e. ew) vacuum configuration corresponds to the global minimum of the potential, then such a panic vacuum does not exist (or is exactly as deep as the ew minimum) and we define V = 0. Positive values of V are, in turn, reached if there is a non-ew panic vacuum. The contour lines drawn in the figure correspond to lines of con- On the left-hand plane of Fig. 13, we present the result at the tree-level, and on the right-hand side with the full one-loop corrections included. The other parameters were set to We see that at tree-level, only in one corner of the depicted parameter region, the ew minimum is also the global minimum of the potential. The depth 5 of this minimum is about −10 7 GeV 4 . For λ 3 < 0.8 and/or m H > 600 GeV, minima occur which are deeper than the ew one by several orders of magnitude. Note that the sum of all VEVs v 2 φ + 4(v 2 η + v 2 χ ) for these other minima is in the TeV range, i.e. clearly larger than the ew scale. Nevertheless, those minima are not 'too far' away in field space, meaning that the tunnelling from the ew to the panic vacuum is very fast. We are going to quantify this statement below. Turning to the vacuum structure of the one-loop potential, shown on the right in Fig. 13, we observe that the ew vacuum corresponds to the global minimum of the potential for a much larger region of the depicted parameter space. Up to m H 1200 GeV, values of λ 3 exist for which the ew potential is stable. Obviously, the one-loop corrections can be large and positive: they manage to overcompensate the potential difference at tree-level of 10 orders of magnitude. This large value is not surprising because one could estimate the corrections to be O( m 4 H 16π 2 ). Only for small values of λ 3 , the other minima remain deeper than the ew one.
We conclude this discussion with a brief analysis of the tunnelling rate. We have calculated the tunnelling from the desired to the panic vacuum using the code CosmoTransitions [63] in combination with Vevacious. The result is shown in Fig. 14, where we have zoomed into the region 600 GeV < m H < 900 GeV of the right-hand side of Fig. 13. We find that there is only a narrow band where the life-time of the ew minimum is comparable to the age of universe when calculating the tunnelling rate at zero temperature. These points could in principle be considered as 'long-lived', i.e. viable. However, once the thermal corrections are included as explained in Ref.
[64], they also usually become short-lived. Therefore, from now on, we are going to consider all points which feature a deeper panic vacuum as not viable. This is similar to the THDM where it was also found that the tunnelling to deeper minima is always very fast on cosmological time scales [35,65].

De-stabilising stable regions
So far, we have discussed the situation that the stability of the potential is increased once loop corrections are included. We found this situation to appear far more often than the opposite effect. However, it can also happen in some cases that the stability of the ew potential is decreased via the loop corrections. The reason is that the loop corrections are often positive. Thus, if they are larger than the depth of the ew minimum at tree-level, they can push it to positive values. Consequently, the minimum with all VEVs set to zero is deeper at the loop-level. In other words, it can happen that the ew symmetry is restored by the loop corrections. We show an example of this situation in Fig. 15. Here, the stability at tree level and the one-loop level is shown in the (m H , s H ) plane for For m H = 350 GeV, still more than half of the s H range which is allowed at tree level is forbidden after the inclusion of loop corrections. Only for m H ≥ 450 GeV, all the points which are stable at tree level are also stable at the one-loop level. In general, we find that the restoration of the ew symmetry at the loop-level appears mainly in parameter regions with small m H and not too small s H . On the other side, we find that the entire area which is 'below' the green band, i.e. where the tree-level ew vacuum is unstable, is stabilised at the loop level. Hence, the overall picture that loop corrections increase the parameter space in which the vacuum is stable, still holds.

The global picture
We have discussed so far the perturbativity constraints as well as the loop-improved vacuum stability constraints at selected examples. As the final step, we want to obtain an impression of the 'global picture', i.e. the impact of these constraints in a wide fraction of the full parameter space of the GM model. For this purpose, we performed random scans for both input choices according to Eqs. (4.4) and (4.8), in the following parameter ranges: 1. Input I: The values of the λ's were chosen to ensure that a large fraction of them are in agreement with tree-level unitarity conditions, i.e. to make the scan more efficient. The scans were carried out until for each input choice, 250,000 points were collected which (i) have a tachyon-free particle spectrum, (ii) which pass the tree-level unitarity constraints and (iii) which are in agreement with the S parameter. Afterwards, these points were confronted with different cuts. First, the experimental constraints on the Higgs couplings were applied using HiggsBounds. In the second step, the consequences of the tree-level constraints (UFB, other minima) were compared to the loop-improved vacuum stability constraints and to the perturbativity constraints in addition. In the case of the perturbativity cuts, we made two choices: 1. weak condition ("Weak P."): the condition that corrections to the scalar masses calculated in the MS scheme must be smaller at two-loop than at one-loop is applied. In addition, an upper limit for the absolute value of the CTs for the quartic couplings of 2π has been set. 2. strong condition ("Strong P."): the condition that the generalised tree-level unitarity conditions must be fulfilled for the renormalised quartic couplings is applied.
A summary of the number of points surviving the different cuts is given in Table 1. Passing the HiggsBounds constraints (column 'HB') is taken as a prerequisite for the Table 1 Summary of the results of a random scan using Input I and II. A sample with 250,000 points each has been generated which pass the tree-level unitarity constraints. The numbers give the points surviving the different cuts. As weak perturbativity cut we applied the MS condition based on the hierarchy of the one-and two-loop corrections to the masses of the CP-even neutral scalars. The strong cut uses the generalised unitarity constraints with renormalised couplings. Under 'Agreement', we list the number of points which pass both the treeand loop-level constraints. We show in brackets how many of the points passing the tree-level constraints also pass the loop constraints and vice versa subsequent columns. The numbers in the columns "Tree-Level" as well as in "Loop-Level" show a cutflow in itself, i.e. points which pass "Tree-Level Stability" also pass the HB as well as Tree-Level UFB constraints, and points which pass "Loop-Level Weak/Strong P." also pass the HB and Loop-Level Stability constraints. Points which pass the loop-level constraints do not necessarily also pass the tree-level constraints and vice versa, in accordance with the previous observations that tree-level constraints are often changed significantly at the loop level. In the last column "Agreement", we compare the numbers from the tree-and loop-level constraints: first, we show the number of points which pass both tree and loop constraints. In brackets, we show which percentage of points which pass tree-level constraints also pass the one-loop constraints and vice versa. For instance, 54% of those points which pass the tree-level cuts are still viable after imposing the loop-level "Stability" and "Weak P." conditions. In turn, out of all points which pass the latter, only 35% would have also been considered viable at tree-level. A cross-check of the viability of the results is that the fraction of points which have passed the "Strong P." cut and are also in agreement with the tree-level conditions is always larger than the analogue with the "Weak P." cuts. This means that the stronger constraints are more stringent in filtering out points at which the loop corrections have a large impact. The overall result is that the theoretical constraints at tree level have a misidentification rate of about 50%. That means that roughly half of the points which seem to be viable when applying tree-level conditions are in conflict with the loop conditions. On the other side, also a large fraction of points which look fine at the loop level would have been discarded if only tree-level conditions had been used. If the strong perturbativity cut is applied, only one third (Input I) respectively one fourth (Input II) of the points which appear to be valid at tree level also pass the loop constraints. Since these are quite large effects, it is important to understand them in some more detail. In the following subsections, we are therefore going discuss the effects and try to pin down where the differences between tree-and loop-level are most pronounced.

Perturbativity
The main difference between the two input modes I and II is the treatment of α: while it is an input parameter for Input I, it is dynamically calculated for Input II from the other parameters by diagonalisation the scalar mass matrix. One finds approximately the following dependence of α on the other parameters Therefore, usually a correlation between s H and α is visible and α is naturally large for large s H . On the other side, for Input I one can, in principle, choose α arbitrarily small independently of s H . The only constraint is that this could lead to tachyons in the scalar sector. To get a picture from the possible values of α for the two input modes, we present in the first row of Fig. 16 the minimal value of α which we found in our random scans in the (m H , s H ) respectively (m 5 , s H ) planes. As expected, for Input II, the minimal values of α tend to be larger for large s H than for Input I. Of course, since both inputs are related by just a re-parametrisation, they should be equivalent at the end. However, in order to keep α small for large s H , some tuning in the other parameters is required which is not easily achieved in a random scan. Thus, from this point of view, Input I looks much more promising to find points which pass the constraints on the Higgs couplings. This is also confirmed in the second row of Fig. 16 where we show the minimal value of α in the same planes after the Higgs constraints have been applied. There are parameter regions like s H > 0.3, m H > 1200 GeV which are hardly accessible via Input II when choosing the input randomly, but which are populated for Input I. However, we had already observed in Sect. 4.3.1 that the perturbativity constrains are in particular strong for cases in which some tension between the values of s H and α is present. This is also nicely confirmed in our random scan. If we apply in addition to the Higgs coupling constraints the perturbativity constraints, as done in the last row in Fig. 16, we can observe that the two input modes show quite similar results even in the random scans.  We can confirm this picture also from another point of view. In Fig. 17, we show the fraction of points which pass the weak or strong perturbativity constraint in the (m H,5 , s H ) planes for Input I respectively Input II. One finds that these cuts are particularly strong for Input I in the case of (i) large s H and m H or (ii) very small s H . In these parameter regions, up to 100% of the points require a non-perturbative treatment. Is is remarkable that the 'strong' cut as we called it since it affects on average more points, can be even less restrictive than the 'weak' cut in some regions of parameter space. This is especially the case for Input I and small m H in combination with large s H . However, one should note that the number of points per bin in these regions is also smaller than in other regions. For Input II, we find in contrast only a soft dependence on s H as long as it is below 0.5 (strong cut) or 0.3 (weak cut). On the other side, a strong tendency is visible that the perturbativity cuts are more important for increasing m 5 .
In general, it is worth noticing that even in those parameter regions where the perturbativity cuts are the least constraining, they still affect at least 15% of the shuffled points.

Vacuum stability constraints
We now turn to the vacuum stability constraints and discuss the main differences between the tree-level and loopimproved constraints. A comparison between the tree-level and one-loop constraints in the (m H , s H ) and (m 5 , s H ) plane for Input I and II, respectively, is shown in Fig. 18. In this figure, we consider all points which are either stable at the tree-or one-loop-level and show the fraction of points which are also stable at loop-or tree-level, respectively. Thus, these plots present R = # |stable at loop|stable at tree # |stable at loop or R = # |stable at tree|stable at loop # |stable at tree (4.28) For Input I, we find that at most 60% of the points per bin which are stable at the one-loop level would also have passed the tree-level constraints. In other words, the misidentification rate that stable points are considered as unstable from tree-level considerations ('false negative') is at least as large Fig. 18 First row: fraction of those points which are stable at one-loop and also pass the tree-level constraints. Second row: fraction of those points which are stable at tree-level and pass also the loop constraints. The left columns shows the results for Input I, the right column for Input II as 40%. For Input II, the 'false negative' misidentification rate can go down to 20%. However, this is only the case for a small band of very small m 5 of 200-300 GeV. Otherwise, this misidentificatio rate is often 70% and more. For Input I, parameter regions exist where nearly all points with a stable vacuum at the loop-level would be ruled out by the tree-level constraints. This is in particular the case for very small s H or for somewhat large s H (∼ 0.4) together with m H above 500 GeV. For Input II, there is also one spot where the misidentification rate is close to 100% at s H ∼ 0.35, m 5 ∼ 800-1000 GeV. In contrast, the large majority of points which pass the tree-level constraints is also stable at the loop-level. The main exception is for Input I in the limit of large s H and small m H where the loop corrections restore the ew symmetry as explained in Sect. 4.4.3. In these regions, the misidentification rate that points are assumed to be stable based on tree-level consideration is up to 30%. In all other parameter regions, it is significantly smaller and at most a few percent. Since the effect of symmetry restoration comes with large s H together with rather small values of α, it is much less pronounced for Input II. Consequently, the 'false positive' misidentification rate is, with the exception of one bin, always below 10% in the (m 5 , s H ) plane. Since for the vacuum stability constraints, and in particular for the check against UFB directions, the quartic couplings are crucial, we show in Fig. 19 the 'false negative' misidentification rate also in the (λ 2 , λ 4 ) and (λ 3 , λ 5 ) planes for Input I and II. The overall situation for both input modes is quite comparable. One finds in particular for negative λ 2 and/or λ 4 that a large majority is mis-categorised. Only for λ 2 → 1, λ 4 → 1, more than 50% of the points which are stable at the loop-level are also considered 'stable' from tree-level checks. The reason is that, although the loop corrections are in principle more important for larger quartic couplings, large λ 2 and λ 4 make it less likely that a given parameter point fails one of the tree-level checks for UFB directions.
In the lower row of Fig. 19, which gives the results for the (λ 3 , λ 5 ) plane, the picture changes. Here we find that most of the points for which the tree-level checks also return 'stable' Fig. 19 Fraction of those points out of the parameter scan which are stable at one-loop and also pass the tree-level constraints. The results are shown in the (λ 2 , λ 4 ) (upper row) and the (λ 3 , λ 5 ) plane (lower row). The left column uses the points with the input choice I, the right column uses Input II if the point is deemed stable at one-loop reside around small absolute values of λ 3 and λ 5 . In this case, the misidentification goes down below 60% for Input I and even below 30% for Input II. On the other side, if either |λ 3 | or |λ 5 | are large, less than 20% of the points are categorised correctly. The reason is that for large couplings, the loop corrections are even more important. In contrast to λ 2 or λ 4 , the quartic coupling λ 5 enters the UFB checks as |λ 5 |, i.e. UFB directions are as likely for large positive λ 5 as they are for large negative values. In the case of λ 3 , points with large negative tree-level values for that coupling are likely to have a UFB direction at tree-level which becomes bounded from below after including the loop corrections, analogous to λ 2 and λ 4 ; recall also the example of Fig. 11. At large positive λ 3 , in turn, a point which is considered unstable at tree level because of a deeper non-ew minimum of the scalar potential can become stable at one-loop after the inclusion of the large loop corrections as we have seen at the example of Fig. 13.
Finally, we want to remark again what is particularly noticeable in Fig. 13: one clearly sees that, if a point passes the loop-level constraints, there is in general a higher chance that it also passes all tree-level tests if Input II is used rather than Input I. This is a result of the smaller amount of parameter tuning which is needed in average (i.e. for a randomly chosen parameter point) if α is calculated rather than used as an input.

Maximal s H
We want to close the discussion of our random scans by checking the maximal allowed value of s H which is possible in the different parameter regions when applying the various tree-and loop-level constraints defined above. Here, we concentrate on Input II because of the larger number of valid points when using both tree-and loop-level checks. I.e., we consider a comparison between results of the lowest order and higher orders of perturbation theory as more robust for ). In the second row, the difference is shown if tree-level vacuum stability constraints are combined with the weak perturbativity cuts (left), or the one-loop vacuum stability is checked but the perturbativity constraints are not applied (right). The purple regions are not accessible if the tree-level cuts are applied. In the black bins, no point was found in our random scan after applying the one-loop perturbativity constraints on points with a stable tree-level vacuum this input choice. In the first row of Fig. 20, we show the maximal value of s H which we find after applying the weak perturbativity constraints and checking the stability of the one-loop effective potential. We see that very large values are only possible for r 12 < 0 (i.e. opposite signs for M 1 and M 2 ) and small m 5 below 500 GeV. For increasing r 12 or m 5 , the maximal possible value of s H quickly goes down to 0.3 and less. We can now compare these values with s max H which we would find in the same plane if we apply the tree-level vacuum conditions and if we don't check for perturbativity. The results are depicted as well in the first row of Fig. 20, on the right-hand side. First of all, a band with large r 12 , shown in purple, wouldn't have been accessible at all under these conditions. Close to this region, i.e. still for r 12 1, the relative changes in s max H can be 150% and more. Of course, in total numbers this means for this parameter region rather moderate shifts of 0.01-0.10 in the maximal possible value of s H . In the other parameter regions, the relative differences in s max H are not too pronounced; they lie between − 25 and +100%. Nevertheless, these are effects which are not negligible even if one has averaged over thousands of points, i.e. the general behaviour of the model is affected. Of course, for a single point which should be for instance used for collider studies, it is even more important to apply robust checks to test whether the point is allowed or not.
In the second row of Fig. 20, we show the difference in s max H when using the tree-level checks and either the weak perturbativity constraints (lower left plane) or the loop-corrected vacuum stability checks (lower right plane). If one would use the tree-level vacuum stability conditions and apply the weak perturbativity conditions in addition, the sample of points considered as 'valid' will shrink. Therefore, also s max H becomes smaller. The differences can be up to -50% for large m 5 . On the other side, if only the loop-improved vacuum stability checks were used without perturbativity checks (righthand plot), the sample of 'valid' points would increase significantly, resulting in larger positive shifts of s max H up to 500% for large r 12 . Moreover, a rather large region in the parameter space would seem accessible in this case: the region at large r 12 and large m 5 which is purple in the lower right plane but white in the upper right figure appears to be allowed if the perturbativity constraints are disregarded.
This shows that the two proposals to improve the theoretical checks for parameter points in the GM model are complementary, and we stress that a check of the stability at the loop level is only meaningful if the perturbative series is trustworthy.

Summary and conclusions
We have investigated in this work the perturbative behaviour of the Georgi-Machacek model, focussing on the scalar sector. An on-shell renormalisation of the scalar masses and mixing angles is formally possible once the custodial symmetry is given up at the loop level. However, it has been shown that in large regions of parameter space, very large loop corrections can appear, pointing towards the breakdown of perturbation theory. Therefore, these regions are most likely strongly coupled although naive limits for the quartic couplings would not indicate this. For a definite answer to the question whether the perturbative expansion works or not, it would be necessary to check for the decrease in the scale dependence of different physical processes -which is so far hardly possible in most BSM models since one would need to calculate the two-loop results for several decay or scattering processes.
We have therefore proposed a set of easily-accessible checks which should help to get an impression of how well the perturbative expansion works. These checks either include conditions on the size of the counter-terms to the quartic couplings which should be fulfilled in an on-shell scheme, or use the hierarchy between the one-and twoloop corrections to the scalar masses in the MS scheme. The methodology developed in this work therefore solely relies on calculations which are, as of late, possible in an automated way for many BSM models via the Mathematica package SARAH. The perturbativity conditions proposed here are thus a lot more sophisticated than the simple tree-level checks and at the same time already easily calculable with the help of modern particle physics computer tools.
We have shown at the example of the Georgi-Machacek model that those comparably easily-accessible conditions are, in many parameter regions, sufficient to be certain that perturbation theory is not applicable: we have found examples in which the counter-terms to quartic couplings are larger than 100 or in which the two-loop mass corrections are several orders of magnitude larger than the one-loop corrections. There are, however, also regions where the results are not that clear. For instance if the two-loop corrections are comparable to the one-loop corrections or if counter-terms are of order one. Here, it is still a matter of taste or conservatism if one assumes that Born-level or one-loop results for masses or processes are still reliable. Although in these cases, we cannot provide a definite yes/no answer to the question of perturbativity, we think that this work has pointed out the potential problems with perturbativity arising in particular in non-supersymmetric models in the presence of sizeable quartic couplings. We further hope that the presented ansätze are a step forward towards more reliable checks of this issue in the future.
In the specific case of the Georgi-Machacek model, we could identify several parameter regions where the loop corrections tend to be large. In particular, we found that a check for perturbativity is inevitable if (i) the new scalar masses are large, i.e. 1 TeV or more, (ii) if there is a mismatch between the actual values of s H and the scalar mixing angle α either due to the choice of the input parameters or due to accidental cancellations, or (iii) if quartic couplings become large (although still well below the limits from the tree-level unitarity conditions).
The second main outcome of this work is that we have revised the checks for vacuum stability, which have so far only been done at tree-level, by including loop corrections. We have shown that those tree-level checks are usually not reliable in the Georgi-Machacek model. In particular, in many cases, a vacuum configuration which appears to feature an unstable electroweak vacuum at the tree level turns out to be stable once the one-loop corrections are included. This is the case as (i) a change in hierarchy between different minima of the scalar potential can easily occur at the one-loop level, and (ii) because field directions which appear to be unbounded from below at the tree level turn out to be bounded after the inclusion of the loop corrections. The opposite case that the vacuum is destabilised at the loop level is much less likely. Depending on the parameter regions, we found misidentification rates of the tree-level checks compared to the more reliable loop-level checks of up to 100%. In the entire parameter region which we have checked, the misidentification rate was always above 15%. Therefore, we conclude that, for a reliable prediction if a point has a stable or unstable electroweak vacuum, tree-level conditions are not sufficient. On the other side, one needs to be sure that perturbation theory is working if loop corrected checks for the vacuum stability shall be applied. This shows the strong connection between the two topics discussed in this work.

A Vertices
The Feynman rules for the GM model are partially given in Refs. [20,30,66]. These works focused on the couplings which are important for collider phenomenology like cubic scalar couplings, or the couplings of the scalars to vector bosons or fermions. However, other couplings which are important for loop corrections like the quartic scalar couplings or the interactions with ghosts have not yet been given explicitly in literature. Therefore, we provide in the following all couplings of the scalars in the GM model in the limit of conserved custodial symmetry and also of no CP violation, i.e. all parameters are taken to be real. The expressions for the general case are available via SARAH.
We define the following rotation matrices which diagonalise the mass matrices given in Eqs. (2.29)-(2.31) in the limit of the conserved custodial symmetry. In the following, the vertices are categorised according to inclusion of scalar (S), fermionic (F) or vector (V) particles. The conventions are as follows: Chiral vertices are parametrised as where P L ,R are the usual polarisation projectors. The momentum flow in scalar-scalar-vector (SSV) vertices is where p μ are the momenta of the external fields. (A.14) with the Weinberg angle W = acos

B One-loop corrections
Here we give the expressions for the one-loop tadpoles and self-energies. For that, we refer to the vertices listed in the last subsection. Since the corrections are applied to the mass matrices but not the mass eigenstates, external gauge eigenstates must be used. Therefore, the rotation matrices of these states must be replaced by the identity matrix. We label the corresponding fields asx.
In addition, we introduce the following abbreviations: The results are expressed via Passarino Veltman integrals [67]. The basic integrals are

CP-odd Higgs
2m e a B 0 m 2 e a , m 2 This method can also be used for any other model implemented in SARAH. Only if coloured scalars are present in the model, one needs to take care of the colour factor in addition.