TL;DR
This paper investigates the vacuum stability of the N2HDM, revealing conditions under which the model's vacuum can be stable, metastable, or prone to decay, significantly impacting its phenomenological viability.
Contribution
It provides analytical expressions for vacuum depths and performs parameter scans to identify stable and metastable regions in the N2HDM.
Findings
Certain vacua cannot coexist with deeper minima of different types.
Parameter regions with unstable vacua are identified.
Vacuum stability constraints influence the model's phenomenology.
Abstract
The Higgs sector of the Next-to-Minimal Two-Higgs-Doublet Model (N2HDM) is obtained from the Two-Higgs-Doublet Model (2HDM) containing two complex Higgs doublets, by adding a real singlet field. In this paper, we analyse the vacuum structure of the N2HDM with respect to the possibility of vacuum instabilities. We show that while one type of charge- and CP-preserving vacuum cannot coexist with deeper charge- or CP-breaking minima, there is another type of vacuum whose stability is endangered by the possible occurrence of deeper charge- and CP-breaking minima. Analytical expressions relating the depth of different vacua are deduced. Parameter scans of the model are carried out that illustrate the regions of parameter space here the vacuum is either stable or metastable as well as the regions where tunnelling to deeper vacua gives rise to a too short lifetime of the vacuum. Taking other…
| Extrema | |||||||
|---|---|---|---|---|---|---|---|
| Stability | Stability | Stability | Stability | ||||
| Stability | Stability |
| min | 30 GeV | 150 GeV | 0.8 | 0 GeV2 | 1 GeV |
| max | 1.5 TeV | 1.5 TeV | 20 | GeV2 | 3 TeV |
| ′ | ||||
|---|---|---|---|---|
| exists | ||||
| deep | ||||
| dangerous |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Vacuum Instabilities in the N2HDM
P.M. Ferreira
Instituto Superior de Engenharia de Lisboa, Instituto Politécnico de Lisboa 1959-007 Lisboa, Portugal
Centro de Física Teórica e Computacional, Faculdade de Ciências, Universidade de Lisboa, Campo Grande, Edifício C8 1749-016 Lisboa, Portugal
Margarete Mühlleitner
Institute for Theoretical Physics, Karlsruhe Institute of Technology, 76128 Karlsruhe, Germany
Rui Santos
Instituto Superior de Engenharia de Lisboa, Instituto Politécnico de Lisboa 1959-007 Lisboa, Portugal
Centro de Física Teórica e Computacional, Faculdade de Ciências, Universidade de Lisboa, Campo Grande, Edifício C8 1749-016 Lisboa, Portugal
Georg Weiglein
Deutsches Elektronen-Synchrotron DESY, Notkestraße 85, D-22607 Hamburg, Germany
Jonas Wittbrodt
Deutsches Elektronen-Synchrotron DESY, Notkestraße 85, D-22607 Hamburg, Germany
Abstract
The Higgs sector of the Next-to-Minimal Two-Higgs-Doublet Model (N2HDM) is obtained from the Two-Higgs-Doublet Model (2HDM) containing two complex Higgs doublets, by adding a real singlet field. In this paper, we analyse the vacuum structure of the N2HDM with respect to the possibility of vacuum instabilities. We show that while one type of charge- and CP-preserving vacuum cannot coexist with deeper charge- or CP-breaking minima, there is another type of vacuum whose stability is endangered by the possible occurrence of deeper charge- and CP-breaking minima. Analytical expressions relating the depth of different vacua are deduced. Parameter scans of the model are carried out that illustrate the regions of parameter space where the vacuum is either stable or metastable as well as the regions where tunnelling to deeper vacua gives rise to a too short lifetime of the vacuum. Taking other experimental and theoretical constraints into account, we find that the vacuum stability constraints have an important impact on the phenomenology of the N2HDM.
††preprint: DESY 19-085††preprint: KA-TP-07-2019
1 Introduction
The Higgs mechanism Higgs (1964a, b, 1966); Englert and Brout (1964); Guralnik et al. (1964) has been introduced to generate particle masses without violating gauge symmetries. It is based on a sufficiently stable vacuum with non-zero vacuum expectation value GeV. Within the Standard Model (SM), the stability of the electroweak (EW) vacuum is guaranteed at lowest order as a consequence of the postulated form of the Higgs potential. Through higher-order corrections, the stability of the EW vacuum becomes intimately related also to the other Standard Model (SM) parameters Degrassi et al. (2012); Bednyakov et al. (2015), in particular the top quark mass. When extrapolating the SM to high energy scales it turns out that the EW vacuum is metastable for scales larger than about 1010 GeV, which means that for these scales the vacuum is no longer absolutely stable but has a lifetime that is longer than the age of the universe.
Extensions beyond the SM (BSM) typically introduce new additional scalar degrees of freedom. While the loop contributions of these scalar particles may counteract the impact of the top quark loop, the presence of the additional scalars modifies the structure of the Higgs potential such that additional vacua can occur that are different from the one related to the correct EW symmetry breaking (EWSB). There can be vacua that break the CP symmetry (CP breaking) or the conservation of electric charge (charge breaking), in supersymmetric models even color breaking minima can occur. Moreover, there is the possibility of a second EW minimum but with a wrong vacuum expectation value (VEV) GeV, as for example in the 2-Higgs Doublet Model (2HDM) where this situation was named “panic vacuum” Ivanov (2007, 2008); Barroso et al. (2007); Barroso et al. (2013a, b). In case an additional vacuum is deeper than the EW one then tunnelling can occur into dangerous non-physical vacuum configurations Branchina et al. (2018). If this happens at time scales beyond the lifetime of the universe the EW vacuum is considered as metastable. However, parameter regions giving rise to faster vacuum decays are regarded as unphysical and should be excluded. Hence the requirement of a stable EW vacuum at cosmological time scales has immediate consequences for the allowed parameter space of the models. A thorough analysis of their vacuum structure is therefore crucial to correctly identify the allowed parameter space and consequently make appropriate predictions for observables and signatures for the experimental studies.
The analysis of the 2HDM Ferreira et al. (2004); Barroso et al. (2006a); Ivanov (2007, 2008) has shown that if a “normal” vacuum exists, i.e. a vacuum that is EW breaking but charge and CP conserving, any stationary point that is charge or CP breaking is necessarily a saddle point that lies above the normal minimum. There is also the possibility to have a second normal minimum but with the wrong VEV, i.e. a panic vacuum state. The Inert 2HDM, a 2HDM with an exact symmetry, can have two types — Inert and Inert-like — of minima which can coexist with one another for certain parameter relations. The one-loop study, however, has shown Ferreira and Swiezewska (2016) that the parameter regions where this is the case can change at loop level. The analysis of the possibility of a strong first order phase transition in the context of a CP-conserving and CP-violating 2HDM conducted in Basler et al. (2017, 2018) revealed as a side product that the allowed minima at leading order do not necessarily lead to stable physical configurations at next-to-leading order (NLO) and vice versa. The developed code BSMPT Basler and Mühlleitner (2019) allows for studies of the vacuum structure at NLO (at zero and at finite temperature) of arbitrary user-defined BSM extensions. This is also the case for Vevacious Camargo-Molina et al. (2013, 2014), designed for general BSM models, including one-loop and temperature effects. Recently, members of this collaboration have presented an approach at leading order for an efficient and reliable evaluation of the constraints from vacuum stability and applied it to the minimal supersymmetric extension of the SM (MSSM) Hollik et al. (2019). As shown in Andreassen et al. (2016, 2017) and also discussed in Hollik et al. (2019), for calculations of the vacuum decay lifetime the loop-corrected effective potential in general does not correspond to a consistent perturbative expansion. A first analysis of the vacuum structure of the N2HDM has been carried out by some of the present authors in Muhlleitner et al. (2017). The N2HDM, which is obtained upon extension of the 2HDM with a real singlet field (which may acquire a VEV), was shown to exhibit a different vacuum structure than the 2HDM. Thus e.g. charge or CP breaking minima deeper than the normal minimum can exist.
In this paper we perform a detailed analysis of the vacuum structure of the N2HDM. We classify the different possible types of vacua and derive analytical expressions for the comparison of the values of the potential at minima of different nature. In contrast to Muhlleitner et al. (2017), where a general phenomenological analysis of the N2HDM was performed (and where parts of our results have been presented in a numerical approach), we concentrate here on the vacuum structure itself and its implications on the model. By applying the method of Hollik et al. (2019), we investigate the requirement of a sufficiently stable physical minimum on the allowed parameter range. In particular, we investigate here for the first time the impact of the N2HDM vacuum structure on the phenomenology of the model. Moreover, we discuss the importance of including parameter regions with a metastable vacuum in phenomenological analyses in order to avoid incorrect conclusions on the viability of parameter space regions. Our study thus makes important new contributions to properly constraining the viable parameter space taking into account the theoretical constraints from the requirement of a stable vacuum.
The paper is organised as follows. In Sec. 2 we introduce the model and the different types of possible minima. It contains the detailed analytical analysis of the stability of the different minima. Section 3 is dedicated to the numerical analysis of the vacuum structure of the N2HDM. We describe our parameter scan and the method that we apply in order to identify the regions where the vacuum is stable or metastable. Subsequently we present and discuss our numerical results. We conclude in Section 4. The appendix contains a derivation that is used in our determination of the nature of the stationary points.
2 The model and possible minima
The particle content of the N2HDM is identical to the one of the 2HDM in the fermionic and gauge sectors, but includes an extra real singlet scalar field, . To reduce the large number of parameters of the scalar potential, and to allow for the possibility of interesting phenomenology, such as dark matter, three discrete symmetries are imposed: (a) a symmetry in which one of the doublets is affected by a sign change, , and ; (b) another symmetry which leaves the doublets unchanged but changes the sign of the singlet, , and ; (c) the standard CP symmetry, and — since the singlet is real, the CP transformation does not affect it. After imposing these symmetries only terms quadratic and quartic in the fields are allowed and the most general scalar potential is given by
[TABLE]
where all parameters in the potential are real. We allow for the symmetry (a) to be softly broken by the term. The theory obviously also includes fermions, and the Yukawa Lagrangian will depend on the choices made to extend the discrete symmetries imposed upon the scalar sector to the fermion one. Due to gauge invariance the singlet field couples to neither fermions nor gauge bosons. Therefore, the Yukawa Lagrangian will have four different possible forms, identical to the different types of 2HDM Yukawa Lagrangians. All of the four different possibilities lead to flavour conservation in scalar interactions. One of the possibilities (achieved if all right fermion fields change sign under the first symmetry defined above) is a Type-I model, in which all fermions only couple to the doublet , and the Yukawa Lagrangian for the third generation is given by
[TABLE]
with and denoting the left-handed quark and lepton doublets, and , and the right-handed top, bottom and tau singlets. The remaining three Yukawa types can be defined analogously Muhlleitner et al. (2017).
The N2HDM contains different phases, depending on the type of symmetry breaking that occurs. Vacuum expectation values for the scalar fields will lead to vacua which may, or may not, preserve the symmetries imposed. Let us now review the different types of vacua possible in the N2HDM. For the purpose of studying the interplay between different possible vacua, it is convenient to introduce a bilinear formalism, similar to that which has been developed for the 2HDM Velhinho et al. (1994); Ferreira et al. (2004); Barroso et al. (2006a); Nishi (2006); Maniatis et al. (2006); Ivanov (2007); Barroso et al. (2007); Nishi (2007); Maniatis et al. (2008a); Ivanov (2008); Maniatis et al. (2008b); Nishi (2008); Maniatis and Nachtmann (2009); Ferreira et al. (2010). This formalism has been applied to models with different scalar content, for instance the 3HDM Ivanov and Nishi (2010, 2015) or the complex singlet-doublet model Ferreira (2016). For the N2HDM let us define five real quantities,
[TABLE]
Further, we define the vectors , and the symmetric matrix as
[TABLE]
in terms of which the potential of eq. 2.1 can be rewritten as
[TABLE]
In what follows we shall also make extensive use of the vector
[TABLE]
It can easily be shown that, at a given stationary point in which the fields acquire vacuum expectation values such that , the value of the potential at that stationary point, , is given by
[TABLE]
As explained in Muhlleitner et al. (2017), by using the gauge freedom of the model, it is always possible to bring the most generic possible vacuum (in which, in principle, one would have nine different VEVs to consider, since the scalar doublets and singlet have a total of nine real component fields) to a simple form, to wit
[TABLE]
where all VEVs are, without loss of generality, real. The charge breaking VEV breaks electromagnetic symmetry (giving the photon a mass) and the VEV breaks CP conservation. It is easy to verify that these VEVs cannot coexist simultaneously. In other words, the minimisation of the potential implies that, if then , and vice-versa.
Different non-zero VEVs lead to different types of symmetry breaking, originating from minima which preserve, or not, distinct symmetries. The classification of all possible vacua was first made in Muhlleitner et al. (2017), but here we adopt a different notation better suited for our analysis. There are two possible charge charge breaking vacua; two CP breaking vacua; two normal (electroweak breaking, but charge and CP conserving) vacua; and a single vacuum for which electroweak symmetry is unbroken.111We exclude, from this list, the trivial extremum at the origin, in which no field acquires a VEV. Thus a total of seven possible types of vacua, or phases, exists in the model. The two electroweak breaking but charge and CP conserving vacua of the N2HDM most closely resemble a SM-like vacuum, in that they have a CP-even scalar field which can mimic the SM Higgs boson. However, the N2HDM involves extra scalars, including a charged one and several neutral ones with definite CP quantum numbers, and possibly a dark matter candidate.
The first normal stationary point (denoted I in Muhlleitner et al. (2017)) occurs when the parameters of the potential are such that the minimisation conditions of the potential allow a solution for which both doublets have neutral, real VEVs and the singlet has none. This vacuum therefore preserves the symmetry of the singlet — the singlet has no VEV and does not mix with the remaining neutral scalars. Hence this corresponds to the dark matter phase of the model, with the VEVs
[TABLE]
This results in the following values for the and vectors (defined in eqs. (2.4) and (2.6)):
[TABLE]
with . The entries of are dictated by the minimisation conditions and by the respective eigenvalues of the scalar mass matrices, where is the squared charged scalar mass at this stationary point and the squared mass of the singlet field. These are given by
[TABLE]
Using eq. (2.7) the value of the potential at this stationary point may be written as
[TABLE]
The second normal stationary point (denoted sI in Muhlleitner et al. (2017)) corresponds to a solution of the minimisation conditions where both the doublets and the singlet acquire non-zero VEVs. This additionally breaks the singlet symmetry — thus the singlet will mix with the remaining neutral scalars. Starting from the following VEV configuration
[TABLE]
we define
[TABLE]
where and is the squared charged scalar mass at the stationary point, given by
[TABLE]
As before, the specific entries of are a consequence of the minimisation conditions, and the eigenvalues of the scalar mass matrices at an stationary point. As for the value of the potential, we have
[TABLE]
As mentioned earlier, another charge and CP conserving vacuum may arise in the model — one for which the singlet field acquires a VEV but the doublets do not. This type of vacuum — dubbed S in Muhlleitner et al. (2017) — would lead to massless electroweak gauge bosons and fermions, and as such it is unphysical. This stationary point exists if , and the singlet VEV is found to be
[TABLE]
The value of the potential at this stationary point is equal to
[TABLE]
Both the and phases can accommodate SM-like physics (provided that and , respectively), although each of these phases has a different phenomenology (for dark matter candidates exist, for three CP-even states mix with each other). We will now analyse the stability of both and against the possible existence of deeper minima of different nature. For a large part of the parameter space of the model the minimisation conditions yield a single minimum, and its stability is ensured (at least at tree level). However, for many combinations of the parameters of the potential, multiple minima can coexist. If the tunnelling time from a minimum of type (or ) to a deeper minimum is smaller than the age of the universe then the corresponding set of parameters should be excluded.
2.1 Stability of normal minima against charge breaking
Since charge breaking minima have to be avoided, it is important to know under what circumstances a normal minimum is safe against eventual tunnelling to a deeper charge breaking minimum. In the 2HDM that question was answered Ferreira et al. (2004); Barroso et al. (2006a); Ivanov (2007, 2008) in a conclusive manner: whenever a normal minimum exists, any charge breaking stationary point is necessarily a saddle point lying above the normal minimum. In the N2HDM, as we will now show, the situation is changed. Let us first define both of the possible charge breaking stationary points and introduce some notation concerning them.
- •
In the first charge breaking stationary point (denoted IIb in Muhlleitner et al. (2017)) the singlet field has no VEV, and the doublet VEVs are
[TABLE]
Consider also the vectors and evaluated at a stationary point, given by
[TABLE]
where is one of the squared scalar masses at the stationary point. The entries of are dictated by the minimisation conditions.
- •
In the second charge breaking stationary point (denoted sIIb in Muhlleitner et al. (2017)) the singlet also acquires a VEV, the VEV configuration being given by
[TABLE]
Analogously to what we have done for the previous stationary points, we define the following vectors:
[TABLE]
And again, the entries of are dictated by the minimisation conditions.
The manipulation of the and vectors will allow us to establish analytical formulae relating the value of the potential at two coexisting stationary points. This technique was first used in ref. Ferreira et al. (2004), and it essentially consists in following four basic steps: (1) perform the internal product of evaluated at one of the stationary points with evaluated at the second one; (2) repeat, with evaluated at the second stationary point and at the first one; (3) use the explicit formulas for to relate the previous internal products with the value of the potential at each stationary point; (4) the two internal products will have a common term, through which they can be related to one another, thus obtaining a relation between the potentials. The technique is best understood going through some explicit examples of its application, which we will now provide. Note that all of the following conclusions are derived at the tree-level and may be affected by higher order corrections.
2.1.1 Extrema vs. and
Let us assume that the parameters of the N2HDM are such that the potential has two stationary points222That is, the minimisation equations of the N2HDM potential admit both solutions, for a given choice of parameters., one of type and another of type . These extrema may or may not be minima, at this time we do not need to specify it. Let us then consider the vectors defined above, containing information about the VEVs and the minimisation conditions in each extremum, for in eqs. (2.10), for in eqs. (2.20).
The internal product of the vectors and yields
[TABLE]
which may also be written as
[TABLE]
From eq. (2.7), we know that the quantity is twice the value of the potential at the extremum ,
[TABLE]
and therefore, combining eqs. (2.23) and (2.24),
[TABLE]
We now perform similar operations on the vectors and , yielding
[TABLE]
The quantity is twice the value of the potential at the extremum , hence
[TABLE]
Since the matrix (defined in eq. (2.4)) is symmetric, the left-hand sides of eqs. (2.26) and (2.28) are identical. It is then trivial to obtain the following expression comparing the depth of the potential at both extrema,
[TABLE]
Therefore, if is a minimum one will have , and since the terms in square brackets above are surely positive, one will have . Thus we may conclude that:
If the potential has a minimum of type , any stationary point, if it exists, lies above .
As such, no tunnelling to a deeper minimum can occur.
Similar conclusions are reached when one compares and stationary points. Again, the starting point is to analyse the internal products of the vectors and for each stationary point. Using eqs. (2.22) and (2.10), we obtain
[TABLE]
and therefore, subtracting both equations one easily obtains
[TABLE]
If is a minimum all of the squared scalar masses computed therein must be positive, and thus .
If the potential has a minimum of type , any stationary point, if it exists, lies above .
As such, no tunnelling to a deeper minimum can occur. We can therefore conclude that minima of type are completely stable against the possibility of charge breaking.
2.1.2 Extrema vs. and
The analysis of the previous section can now be extended to the stability of minima — but as we will shortly see, the conclusions are different. Let us begin by comparing and stationary points. As before, and using eqs. (2.14) and (2.22), we have
[TABLE]
where we use the subscript “ ” to emphasise that both the squared charged mass and the sum of the square of the VEVs concern the stationary point. From these equations, it is trivial to obtain
[TABLE]
Therefore, as before, if is a minimum, any stationary point, if it exists, lies above it, and is stable against tunnelling to .
However, when one follows these steps whilst comparing and stationary points, one finds:
[TABLE]
where, recall, is the singlet VEV at vacuum and one of the squared scalar masses at . From this one obtains
[TABLE]
There is now no mandatory relationship between the depths of these stationary points — a priori, both of them can be minima, and none is privileged with respect to the other. As such — and numerical analyses prove this — there are situations in which a minimum coexists with a deeper minimum (or vice-versa). Thus we conclude:
Minima of type are stable against charge breaking for vacua of type , but not necessarily for those of type .
The addition of a real singlet to the 2HDM qualitatively changes the vacuum stability behaviour of the scalar potential. Whereas in the 2HDM a normal minimum is guaranteed to be stable against any possible deeper charge breaking minimum, this is no longer the case in the N2HDM. The addition of the singlet field leads to possible instabilities, where a normal minimum which breaks the symmetry of the singlet might coexist with a charge breaking minimum (deeper or not) which does not break that same symmetry. However, any N2HDM normal minimum which preserves the symmetry of the singlet is perfectly stable against charge breaking.
2.2 Stability of normal minima against CP breaking
Just like in the 2HDM, spontaneous CP breaking is possible in the N2HDM. In fact, CP in the N2HDM can be broken by two different minima, whereas in the 2HDM only one such vacuum can occur. Before discussing the stability of such vacua, however, some general considerations are in order: it only makes sense to study spontaneous CP breaking in models were CP is a well-defined symmetry, i.e. models that are invariant under a given CP symmetry, as is the case with the potential written in eq. 2.1333As in the 2HDM, more elaborate CP symmetries could be considered, but these would only impose extra restrictions on the parameters of the model.. Also, care must be taken when discussing CP breaking, as it is not sufficient to have a complex valued VEV to be able to affirm that CP violation is occurring. In fact, there are situations for which CP may be preserved even if complex VEVs arise, and therefore one ought to look for other signs of CP violation, such as the couplings of scalar mass eigenstates to bosons. In the N2HDM, however, with the field basis we chose, no such problems arise: if the vacuum state contains a complex VEV, CP breaking occurs and produces scalar states of indefinite CP properties. Finally, as was shown in ref. Muhlleitner et al. (2017), in the N2HDM it is not possible to have coexisting CP breaking and charge breaking stationary points — if the minimisation conditions can be solved for one type (CP breaking or charge breaking) of vacua, then the other type (charge breaking or CP breaking) admits no solution. Thus the possibility of tunnelling between CP breaking and charge breaking minima is excluded a priori.
As before, the question under which conditions a given normal minimum is stable against tunnelling to a deeper CP breaking vacuum has been previously answered in the 2HDM Ferreira et al. (2004); Barroso et al. (2006a); Ivanov (2007, 2008), and the conclusion is analogous to the charge breaking case: whenever a normal minimum exists, any CP breaking stationary point is necessarily a saddle point lying above the normal minimum. In the N2HDM the situation of the CP breaking vacua will differ, as it did for the charge breaking case. The vacua where CP can be spontaneously broken are:
- •
The first CP-breaking stationary point (denoted IIa in Muhlleitner et al. (2017)) preserves the symmetry of the singlet but one of the doublets has a complex VEV. We parametrise the VEVs as
[TABLE]
Let us define
[TABLE]
where is the squared mass of the singlet in this vacuum, and we introduce the matrix ,
[TABLE]
The entries of are determined by the stationarity conditions and the form of the mass matrices at this vacuum.
- •
The second CP-breaking stationary point (denoted sIIa in Muhlleitner et al. (2017)) also breaks the symmetry of the singlet and gives a complex VEV to one of the doublets. The VEVs are therefore
[TABLE]
and we define
[TABLE]
The entries of are determined by the stationarity conditions.
2.2.1 Extrema vs. and
Following the strategy employed for comparing normal and charge breaking vacua, we now assume that the potential has two stationary points, one of type and the other of type , each of which may, or may not, be a minimum. With the vector definitions outlined above, we see that the internal product of the vectors and yields
[TABLE]
and thus
[TABLE]
Eq. (2.7) tell us that and therefore
[TABLE]
With similar manipulations on and , we obtain
[TABLE]
Since , and with the definition of in eq. (2.38), it is seen that
[TABLE]
Now, since the pseudoscalar squared mass for an stationary point is given by
[TABLE]
we finally obtain
[TABLE]
Thus, if is a minimum one will have , and therefore inevitably .
Following analogous steps for the and stationary points, one arrives easily at the following formula comparing the depths of the potential at each stationary point,
[TABLE]
Therefore, one reaches the same conclusions for and stationary points, when they coexist with :
If is a minimum, it is deeper than any or stationary points.
2.2.2 Extrema vs. and
The conclusions of the previous subsection do not extend unchanged to coexisting and or stationary points. Starting with , we have
[TABLE]
Also, we derive that
[TABLE]
and after similar calculations as before it may be seen that
[TABLE]
and therefore if is a minimum it is certainly deeper than — the same type of result we obtained when comparing minima and CP ones. On the other hand, if we compare and stationary points, we obtain
[TABLE]
Also, it is easy to obtain
[TABLE]
and hence, after trivial manipulations,
[TABLE]
This expression shows — as for the pair , — that is not necessarily stable against tunnelling to a deeper minimum.
Minima of type are stable against CP-breaking minima of type , but not against those of type .
2.3 Other coexisting neutral minima
Another possibility for vacuum instability is the existence of multiple minima of types , or even . If for instance two and stationary points coexist, we can follow similar steps to those outlined in the previous sections and arrive at the following formula relating the depths of the potential:
[TABLE]
Therefore, we see that since either one of or can be minima, none of them is guaranteed to be deeper than the other. Therefore, though is stable against tunnelling to a deeper charge breaking or CP breaking minimum, it is not guaranteed to be stable against a deeper vacuum. Likewise, an minimum, which is safe against tunnelling to possible charge breaking or CP breaking minima, may be unstable against a deeper minimum. Nonetheless, we can derive another conclusion considering this formula in tandem with the results of previous sections:
If the parameters of the potential are such that and minima coexist in the potential, then the global minimum of the potential preserves charge and CP.
The demonstration is simple: though from eq. (2.55) we cannot be certain whether or is the global minimum, the existence of an minimum places it certainly below any charge/CP breaking stationary points that might exist. Therefore, the conclusion becomes that either or is the global minimum.
The other possibility still in play would be the coexistence of an (or ) minimum with an minimum of the type described in eqs. 2.17 and 2.18, where only the singlet acquires a VEV. This is the simplest possibility of vacuum instability to verify: provided we find a solution of the type, it will be safe against tunnelling to an minimum provided we verify the following three conditions:
- •
Since the vacuum only exists if , we need not worry about tunnelling from to if .
- •
If however , then the vacuum is deeper than if is smaller than , with having a very simple form given by eq. (2.18).
- •
If and then the tunnelling time between both vacua must be computed.
Likewise for an vacuum, the analogous conditions for stability of would hold.
Finally, there is still another possibility for instability of vacua of types (or ): that the minimisation conditions of the N2HDM may yield more than one solution for a given type of vacuum. This means that a solution of the type exists, with GeV2, as well as another, exists, with GeV2. This possibility already arises in the 2HDM Ivanov (2007, 2008); Barroso et al. (2007); Barroso et al. (2013a, b) — therein dubbed “panic vacua” — and it remains in the N2HDM as an avenue for instability of the vacuum (and also of the one, since the minimisation equations of the potential may well yield more than one solution of type ). We do not study this possibility analytically, but it is included in the numerical analysis presented in section 3.
We end this section with a very interesting scenario for the limit , when all symmetries are exact. The and stationary points are related by eq. (2.55). This equation can re-written as
[TABLE]
It we set , and is a minimum it is a global minimum because not only , but also because we proved before that it is stable with respect to other charge breaking or CP breaking minima. However, this conclusion is only valid provided both doublet VEVs are non-zero, that is, the only dark matter candidate has origin in the singlet.
2.4 Vacuum stability
The results of the previous sections show that, unlike what happened for the 2HDM, when normal minima occur in the N2HDM they are not necessarily the global minima of the model. We summarise the results we obtained in table 1, where we illustrate the relation between the various types of possible minima. If a minimum of type exists (i.e. a minimum where the singlet has no VEV and its discrete symmetry is preserved even after spontaneous symmetry breaking) then is certainly deeper than any charge or CP breaking stationary points that the potential might have — the stability of against CP or charge breaking is perfectly guaranteed in the model. In fact, it is even possible to demonstrate (see appendix A) that in this situation any charge breaking stationary points are necessarily saddle points: an minimum implies that at least one, but not all, of the squared masses of a stationary point is negative. Presumably the same applies to stationary points as well, assuming the 2HDM analysis generalizes. Of course, for considerations of stability, the nature (minimum, maximum, saddle point) of extrema that lie above is of no consequence.
The stability found for minima does not hold, however, for minima of type : for these — the discrete symmetry of the singlet is spontaneously broken in addition to EW symmetry — coexistence with minima of certain types is indeed possible. An minimum will certainly be deeper than any stationary points of types or — which break, respectively, charge conservation and CP symmetry, and also break the discrete symmetry of the singlet. But it is possible to have coexisting and or minima — which break, respectively, charge conservation and CP symmetry, but do not break the discrete symmetry of the singlet.
These results underline the curiously unique nature of the vacuum structure in the 2HDM, where the existence of a minimum of a given nature automatically implies that no minima of different types may exist. That property is not shared by models with a different scalar content — even in models with a simpler scalar content, such as the doublet + singlet (real or complex) model, the vacuum structure is much more complex, and no general, 2HDM-like conclusions may be drawn Ferreira (2016). In models with more than two doublets the 2HDM stability also breaks down, at least concerning charge breaking Barroso et al. (2006b). What the analysis above has also shown is that the mere addition of just a real singlet to the 2HDM is enough to qualitatively change the vacuum structure of the model. The N2HDM preserves some of the nice vacuum properties of the 2HDM – wherein the minimum mimics the stability behaviour of the normal minima of the 2HDM — but when minima are considered, the possibility of tunnelling to deeper minima of different types arises.
3 Numerical analysis
In order to illustrate the impact of the N2HDM vacuum structure on the phenomenologically relevant regions of the parameter space we perform a numerical study. We study combinations of parameters that are allowed by all available theoretical and experimental constraints and analyse their vacuum structure. We first outline our method for scanning the parameter space and present the constraints we apply. In order to judge whether deeper minima are indeed excluded it is necessary to calculate the tunnelling time from the EW vacuum. We use the method developed in Hollik et al. (2019) to numerically study the vacuum structure of these parameter points and estimate the lifetime of their EW vacua.
3.1 Parameter Scan
We performed a scan of the N2HDM parameter space using an improved private version of ScannerS Coimbra et al. (2013); Ferreira et al. (2014); Costa et al. (2016); Muhlleitner et al. (2017). We generated parameter points where the EW vacuum is of type since — following the analytical analysis — this is the most interesting case for vacuum stability. All of the resulting parameter points fulfil the applied theoretical constraints and are compatible with the applied current experimental constraints at the level.
The included theoretical constraints are tree-level perturbative unitarity Muhlleitner et al. (2017) as well as boundedness from below Klimenko (1985). A global minimum of the scalar potential only exists at finite field values if eq. 2.1 is bounded from below. This is a prerequisite for any study of vacuum stability. The allowed region is given by
[TABLE]
with
[TABLE]
and
[TABLE]
and depends on the discriminant
[TABLE]
In contrast to earlier works Muhlleitner et al. (2017); Mühlleitner et al. (2017) we do not impose absolute stability of the EW vacuum as a theoretical constraint since we want to study the vacuum structure in detail and take into account that metastable regions of the parameter space are allowed.
The experimental constraints include bounds from flavour physics in the - plane Haller et al. (2018) — the constraint being the strongest in type I. We also require compatibility with the oblique parameters , and Grimus et al. (2008a, b) including the full correlation between these quantities Haller et al. (2018). We check for agreement with the collider Higgs data using HiggsBounds (v5.3.2beta) Bechtle et al. (2010, 2011, 2012); Bechtle et al. (2014a); Bechtle et al. (2015) and HiggsSignals (v2.2.3beta) Bechtle et al. (2012); Stål and Stefaniak (2013); Bechtle et al. (2014b, c). With HiggsBounds we check for compatibility with all searches for additional scalars, and with HiggsSignals we employ a cut on (corresponding approximately to a region). This cut ensures that the N2HDM predictions yield a in the fit to the LHC Higgs data that is at most worse than the one of the SM. The required model predictions for branching ratios and total widths are obtained from N2HDECAY Muhlleitner et al. (2017); Engeln et al. (2019) and the hadron collider production cross sections from SusHi Harlander et al. (2013, 2017).
We use this setup to generate a sample of valid parameter points on which to study the vacuum structure and vacuum stability. One of the CP-even, neutral Higgs masses is fixed to
[TABLE]
The remaining input parameters are independently drawn from uniform distributions with the ranges given in table 2. The three mixing angles in the CP-even scalar sector are scanned through their whole allowed range. In this work we only consider the N2HDM of type I, i.e. where all fermions couple to , just mentioning briefly the results for a type II model as the vacuum structure and vacuum stability behaviour is unaffected by the choice of Yukawa type. Note that we do not specify a mass ordering for — the can be the lightest or heaviest state as well as the one in between.
3.2 Numerical Vacuum Stability
We use the approach presented in Hollik et al. (2019) to numerically study the vacuum structure and vacuum stability of the obtained parameter points. This approach is a highly efficient and numerically reliable method to study vacuum stability at the tree level in BSM models with extended scalar sectors. We will now give a short review of our approach and refer to Hollik et al. (2019) for more details.
Our code uses polynomial homotopy continuation (PHC) (see e.g. Morgan (1987) or Maniatis and Mehta (2012)) to find all stationary points of the scalar potential eq. 2.1. This method reliably finds all solutions of a system of polynomial equations — in our case given by
[TABLE]
for the real component fields of the doublets and singlet. The value of the scalar potential eq. 2.1 at each of these stationary points is then compared to the depth of the EW vacuum. If there is no stationary point deeper than the EW vacuum we consider the EW vacuum at this parameter point as absolutely stable. If stationary points deeper than the EW vacuum exist we calculate the tunnelling time to each of these deeper extrema. The decay width per (space-)volume to tunnel to a deeper point in field space is Coleman (1977); Callan and Coleman (1977)
[TABLE]
We approximate the tunnelling path by a straight path connecting the two minima in field space and use the semi-analytic solution given in Adams (1993) along this path to obtain the bounce action . The prefactor is a subdominant contribution requiring an involved calculation and is therefore estimated on dimensional grounds. We consider the vacuum of the potential for a given parameter point to be short lived and the corresponding deeper minimum dangerous if
[TABLE]
This is a conservative estimate where only vacua with a survival probability through the age of the universe
[TABLE]
are considered short lived.
3.3 Discussion
In this section we present a numerical and phenomenological analysis of the N2HDM vacuum structure and vacuum stability. The analysis is based on the sample of phenomenologically viable parameter points generated according to section 3.1. We aim to investigate whether the possible coexistence of minima discussed analytically in section 2
- •
is found in a substantial region of the N2HDM parameter space that is compatible with current theoretical and experimental constraints,
- •
can be directly related to phenomenological observations at colliders.
Since we assume the EW vacuum to be of type the potentially dangerous minima are , , , and a second different minimum of type (see below for a discussion of minima of type ). Unless otherwise stated, in the following we will distinguish three possibilities for these potentially dangerous vacua:
- •
they coexist with the EW vacuum (shown in green in the following plots),
- •
they are also deeper than the EW vacuum (shown in blue in the following plots),
- •
they are additionally dangerous, i.e. tunnelling from the EW vacuum is fast (as defined in eq. 3.8) (shown in red in the following plots).
Table 3 shows the prevalence of these cases for the different possible secondary minima in our sample. While the precise numbers in table 3 have no physical significance as they depend on the applied method for sampling the parameter space, the displayed results clearly show that the possibilities discussed in section 2 remain relevant even after all other applicable constraints are considered. Especially, dangerous minima of type (the dark matter phase with wrong EW symmetry breaking pattern) occur frequently in our sample. Table 3 also shows that the requirement of absolute stability would correspond to a substantially stronger constraint on the parameter space compared to the requirement that the EW vacuum should be sufficiently long-lived. As a consequence, important parts of the parameter space that are actually viable would be discarded if the requirement of absolute stability was imposed.
The only case missing in table 3 that is allowed by the analytical analysis are secondary minima of type . However, we have not found a single parameter point in our sample where a stationary point of type is a minimum. This could mean that minima of type cannot coexist with an vacuum, that all points where this is possible are ruled out by current constraints, or that these minima are exceedingly rare. Either way, since secondary minima of type do not occur in our sample they are of limited phenomenological interest, and we will not discuss them further here.
Figure 1, left, shows the distribution of charge and CP breaking secondary minima in the plane of the pseudoscalar Higgs mass and charged Higgs mass . The overall distribution of the phenomenologically viable parameter points is primarily driven by the EW precision measurements which force the neutral Higgs bosons to be relatively close in mass to the charged Higgs boson. Note that parameter points without any secondary minima as well as parameter points with secondary minima exist throughout the allowed region. In contrast, secondary minima only exist as long as while minima only exist when .
The origin of this strict separation — making the boundary between regions where only one of these types of minima exists — can be understood analytically. The pseudoscalar and charged masses in an minimum are such that (see eq. 2.46)
[TABLE]
Then, it is easy to show for and extrema, with VEVs given by eqs. (2.19) and eqs. (2.36), that the eigenvalues of the scalar mass matrix are given by
[TABLE]
Thus a minimum will imply and therefore, according to (3.10), . Similarly, a minimum requires which then implies . The same behaviour can be seen in fig. 1, right, showing the plane of and . The minima are again scattered throughout the allowed parameter space while the and minima can only occur in sharply defined regions. Therefore, would be the expected border between the regions where and can exist. However, fig. 1, right, shows that there is an additional region
[TABLE]
where neither nor minima can exist (see appendix A for an explanation).
In fig. 2 we compare the analytical result for the relative depth of and vacua to the numerical results. The relative depth of an and vacuum, as given by eq. 2.55, is shown as a function of at the EW vacuum. The plot only includes parameter points where a secondary minimum exists and shows its depth relative to the depth of the EW vacuum. As expected, in all parameter points where the minimum is classified as either deep (blue points) or dangerous (red points). The parameter points with dangerous only begin to appear if , and their distribution shows some dependence on . For small the vacuum is only unstable if the depth difference is while for large the majority of deep vacua in our sample is dangerous.444This is more clearly visible when reversing the plotting order of fig. 2 and plotting the parameter points with deep but not dangerous vacua on top.
So far we have illustrated how the analytical results of section 2 are reflected in the phenomenologically viable parameter space. We will now discuss the vacuum stability constraints arising from these secondary vacua. In imposing vacuum stability constraints we distinguish the following cases:
- •
parameter points where the EW vacuum is the only vacuum,
- •
absolutely stable parameter points where secondary minima exist but are never deep,
- •
long-lived parameter points where secondary vacua are deep but never dangerous,
- •
short-lived parameter points that have dangerous secondary minima.
Figure 3 clearly demonstrates the phenomenological impact of vacuum stability constraints. It shows the signal strength of in the channel defined as
[TABLE]
as a function of the charged Higgs mass. The short-lived (different shades of red) parameter points are plotted below the grey points, for which no secondary minima exist. This means that any region where only the red parameter points are visible is excluded by vacuum stability. One can see that significant parts of the parameter space corresponding to an enhanced signal strength, , are excluded because they have a dangerous , or minimum below the EW vacuum. If for instance a charged Higgs is found with a mass of 500 GeV, a bound of about in the N2HDM of type I can be derived from fig. 3. If on the other hand the charged Higgs mass could be constrained to be larger than 250 GeV (e.g. by a 500 GeV -collider) enhancements of above 1.1 would be excluded in the N2HDM of type I by the vacuum stability constraint. One can also see from fig. 3 that if the constraint of an absolutely stable EW vacuum were imposed, the blue points in fig. 3, which indicate a long-lived EW vacuum, would be excluded, implying possibly misleading conclusions.
The reason for the behaviour observed in fig. 3, i.e. the impact of vacuum stability on the allowed values, is the coupling to a pair of charged Higgs bosons (defined in the appendix of Muhlleitner et al. (2017)) as shown in fig. 4. This figure displays the impact of vacuum stability on the allowed values of the coupling. Large negative values of this coupling are excluded by dangerous vacua. Negative values, however, lead to an enhancement of through constructive interference with the loop. Note, that we have checked that there are no relevant effects from vacuum stability on the couplings to gauge bosons and to fermions. Therefore, is the observable where the vacuum stability constraint is expected to have the largest impact since, among the currently measured observables, it has the highest sensitivity to the possible effects of a triple scalar coupling. The large impact of the vacuum stability constraint on is specific to the N2HDM of type I. This is due to the fact that in type I all Yukawa couplings are rescaled by the same factor . The cancellation of this factor which occurs in in the approximation ,
[TABLE]
leads to an increased sensitivity to and thus to . In contrast, for Yukawa types where (e.g. type II) the effect of vacuum stability constraints on is no longer visible as the ratio of Yukawa couplings has a much stronger impact on the signal rate than the charged Higgs contribution to .
It is interesting to note that although the allowed range for is very similar in the type I 2HDM Muhlleitner et al. (2017) and in the type I N2HDM, a measurement of above 1 for certain charged Higgs masses could exclude the N2HDM but be compatible with the 2HDM due to the different vacuum stability constraints.
Figure 5 shows vacuum stability constraints in the plane of the mass of the second lightest Higgs boson , with a mass above , and the signal strength of (defined analogously to eq. 3.13). In this case, there are hardly any regions where points can be clearly excluded due to the existence of a secondary dangerous vacuum. There are regions where only points with a non-stable vacuum exist, which can be either dangerous or long-lived, but no direct bounds can be derived from the experimental measurements of . This is due to the fact that in contrast to fig. 3 these regions are always populated by long-lived metastable vacua, so that allowed parameter points exist in these regions. Therefore, fig. 5 clearly shows the phenomenological difference between requiring an absolutely stable EW vacuum (keeping only the grey and green parameter points) and a long-lived EW vacuum (additionally keeping the blue parameter points). As discussed above, enforcing absolute stability could lead to misleading phenomenological conclusions.
4 Conclusions
We have performed a detailed analysis of the vacuum structure of the N2HDM, an extension of the SM by an extra doublet and an extra real singlet. We have shown that it is possible to derive analytical expressions to compare minima of different nature. In the case where the singlet has no VEV the conclusions are the same as for the 2HDM Ferreira et al. (2004), that is, minima of different nature, , and , never coexist. We have also shown analytically that when the singlet acquires a VEV, if a normal minimum exists, it is stable against tunnelling to a corresponding charge breaking or CP-breaking extremum. However, that conclusion no longer holds when comparing minima with and without singlet VEV. In fact, minima of different natures can coexist and potentially tunnel into each other. Moreover, it is known that in the 2HDM minima of type are not unique Ivanov (2007, 2008); Barroso et al. (2007); Barroso et al. (2013a, b) and the existence of a second, normal minimum (panic vacuum) can exist below the one with the correct EW symmetry breaking. In the N2HDM panic vacua of types and can appear for EW vacua of either type. Additionally, minima of type with only a singlet VEV could also appear as panic vacua. However, we have not found a single parameter point in our sample where a stationary point of type S is a minimum.
Based on this analytical analysis we have conducted a numerical study to investigate the impact of the intricate N2HDM vacuum structure on the phenomenology of the model. We have generated a large sample of parameter points with an EW vacuum of type that fulfil all applicable theoretical and experimental constraints (without enforcing that the EW vacuum be a global minimum). This way, we were able to compare minima of different nature and identify regions of parameter space where the EW vacuum is the global minimum, where deeper minima exist but tunnelling is so slow that the EW vacuum is long-lived, and regions that are excluded because the tunnelling time is short compared to the age of the universe.
The first important conclusion of our study was that panic vacua of type , as well as charge breaking , and CP breaking minima deeper than the EW vacuum appear in a significant portion of the (otherwise) phenomenologically viable parameter space. We have also shown the distribution of secondary and minima and established the boundaries of the disjunct parameter regions where these minima can exist.
Studying the impact of vacuum stability on collider observables we have found that a precise measurement of above 1 could exclude the model on the grounds of vacuum stability alone, unless the charged Higgs is very light. This is due to the sensitivity of to the triple Higgs coupling , which is constrained by vacuum stability. If the Yukawa sector is of type I this effect is clearly visible in because of an approximate cancellation between the modifications of the Yukawa couplings. In the study of other collider observables, such as , we showed that there are large regions where minima which are absolutely stable do not occur, but a long-lived EW vacuum exists. This illustrates the importance of including parameter regions with a metastable vacuum in phenomenological analyses, as enforcing absolute stability may lead to incorrect conclusions.
Acknowledgments
PF and RS are supported in part by a CERN grant CERN/FIS-PAR/0002/2017, an FCT grant PTDC/FIS-PAR/31000/2017, by the CFTC-UL strategic project UID/FIS/00618/2019 and by the NSC, Poland, HARMONIA UMO-2015/18/M/ST2/00518. MM acknowledges the contribution of the research training group GRK1694 ‘Elementary particle physics at highest energy and precision’ and support by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under grant 396021762 - TRR 257. JW and GW acknowledge funding by the Deutsche Forschungsgemeinschaft under Germany’s Excellence Strategy – EXC 2121 “Quantum Universe” – 390833306. JW acknowledges funding from the PIER Helmholtz Graduate School.
Appendix A On the nature of stationary points
We have shown that an minimum is stable against tunnelling to deeper or extrema — if they exist, the minimum is certainly deeper and no tunnelling to these extrema may occur. It is also possible to show that, if is a minimum, any stationary points that may exist are not only necessarily above it but cannot be minima themselves. Rather, they are saddle points.
We will demonstrate this nice property for the case — the demonstration for the and cases is similar. First recall that for a extremum the vector is given in eq. 2.22, and since , we will have . Recalling the definition of , we may also write , and as such an alternate form for eq. (2.30) is
[TABLE]
Since (see eq. (2.10)), we find a different expression for (2.31), i.e.
[TABLE]
Now, we have shown that if is a minimum then the right-hand-side of this matrix is positive (see eq. (2.31)). This therefore implies that in that situation the matrix — and by extension the matrix — cannot be positive-definite. Therefore the matrix has at least one negative eigenvalue, but it certainly has positive ones — notice that the diagonal elements , and are certainly positive so that the N2HDM potential is bounded from below, so necessarily has positive eigenvalues.
Let us now look at the squared scalar mass matrix, given by the second derivatives of the potential with respect to the real components of the doublets and singlet, , . We may write it as
[TABLE]
where we introduced the matrix and the vector which are defined, respectively, in eqs. (2.4) and (2.6). Then, since for a stationary point , the mass matrix is reduced to the second term in the equation above. It is then rather easy to reproduce the calculation in section 5.2 of ref. Ferreira et al. (2004) and deduce that one may simplify the expression of and obtain
[TABLE]
where is a matrix depending only on the VEVs. Eq. (A.4) demonstrates that the eigenvalues of at a stationary point will be all positive if and only if the matrix is positive definite. However, we have shown above that when is a minimum, the matrix has at least one negative eigenvalue — and therefore has also at least one negative eigenvalue. However, since also has positive eigenvalues, so will . Therefore, if is a minimum then any stationary point, it if exists, lies above and is a saddle point, q.e.d.
We can now also justify the conditions of eq. (3.12) for the non-existence of neither or minima. The matrix determines the nature of the stationary point, and one can also show that it does the same for the extrema. Checking now eqs. (2.4), we see that the entry of is , and therefore, if one of the diagonal elements of will be negative – thus cannot be positive definite, and consequently no minima can occur (only saddle points). This justifies the second condition of eq. (3.12). As for the first one – – the nature of stationary points will, in analogy with the cases (and the 2HDM, see Ferreira et al. (2004)) be determined by a matrix of the quartic couplings. For the extrema, however, that matrix is not but rather the matrix , eq. (2.38). Observe then that the element of is – and therefore, if no minima can occur since cannot be positive definite.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1Higgs (1964 a) P. W. Higgs, Phys. Lett. 12 , 132 (1964 a).
- 2Higgs (1964 b) P. W. Higgs, Phys. Rev. Lett. 13 , 508 (1964 b), [,160(1964)].
- 3Higgs (1966) P. W. Higgs, Phys. Rev. 145 , 1156 (1966).
- 4Englert and Brout (1964) F. Englert and R. Brout, Phys. Rev. Lett. 13 , 321 (1964), URL http://cds.cern.ch/record/641592 .
- 5Guralnik et al. (1964) G. S. Guralnik, C. R. Hagen, and T. W. B. Kibble, Phys. Rev. Lett. 13 , 585 (1964), [,162(1964)].
- 6Degrassi et al. (2012) G. Degrassi, S. Di Vita, J. Elias-Miro, J. R. Espinosa, G. F. Giudice, G. Isidori, and A. Strumia, JHEP 08 , 098 (2012), eprint 1205.6497.
- 7Bednyakov et al. (2015) A. V. Bednyakov, B. A. Kniehl, A. F. Pikelner, and O. L. Veretin, Phys. Rev. Lett. 115 , 201802 (2015), eprint 1507.08833.
- 8Ivanov (2007) I. P. Ivanov, Phys. Rev. D 75 , 035001 (2007), [Erratum: Phys. Rev.D 76,039902(2007)], eprint hep-ph/0609018.
