1 Introduction

The spectacular discovery of a boson with a mass around \(125 \, \mathrm{GeV}\) by the ATLAS and CMS experiments [1, 2] at CERN constitutes a milestone in the quest for understanding the physics of electroweak symmetry breaking. Any model describing electroweak physics needs to provide a state that can be identified with the observed signal. While within the present experimental uncertainties the properties of the observed state are compatible with the predictions of the Standard Model (SM) [3, 4], many other interpretations are possible as well, in particular as a Higgs boson of an extended Higgs sector.

One of the prime candidates for physics beyond the SM is supersymmetry (SUSY), which doubles the particle degrees of freedom by predicting two scalar partners for all SM fermions, as well as fermionic partners to all bosons. The most widely studied SUSY framework is the Minimal Supersymmetric Standard Model (MSSM) [5, 6], which keeps the number of new fields and couplings to a minimum. In contrast to the single Higgs doublet of the (minimal) SM, the Higgs sector of the MSSM contains two Higgs doublets, which in the \({\mathcal {CP}}\) conserving case leads to a physical spectrum consisting of two \({\mathcal {CP}}\)-even, one \({\mathcal {CP}}\)-odd and two charged Higgs bosons. The light \({\mathcal {CP}}\)-even MSSM Higgs boson can be interpreted as the signal discovered at about \(125~\mathrm{GeV}\); see e.g. [7, 8].

Going beyond the MSSM, this model has a well-motivated extension in the Next-to-Minimal Supersymmetric Standard Model (NMSSM); see e.g. [9, 10] for reviews. The NMSSM provides in particular a solution for naturally associating an adequate scale to the \(\mu \) parameter appearing in the MSSM superpotential [11, 12]. In the NMSSM, the introduction of a new singlet superfield, which only couples to the Higgs and sfermion sectors, gives rise to an effective \(\mu \)-term, generated in a similar way as the Yukawa mass terms of fermions through its vacuum expectation value. In the case where \({\mathcal {CP}}\) is conserved, which we assume throughout the paper, the states in the NMSSM Higgs sector can be classified as three \({\mathcal {CP}}\)-even Higgs bosons, \(h_i\) (\(i = 1,2,3\)), two \({\mathcal {CP}}\)-odd Higgs bosons, \(A_j\) (\(j = 1,2\)), and the charged Higgs-boson pair \(H^\pm \). In addition, the SUSY partner of the singlet Higgs (called the singlino) extends the neutralino sector to a total of five neutralinos. In the NMSSM the lightest but also the second lightest \({\mathcal {CP}}\)-even neutral Higgs boson can be interpreted as the signal observed at about \(125~\mathrm{GeV}\); see, e.g., [13, 14].

The measured mass value of the observed signal has already reached the level of a precision observable, with an experimental accuracy of better than \(300~\mathrm{MeV}\) [15], and by itself provides an important test for the predictions of models of electroweak symmetry breaking. In the MSSM the masses of the \({\mathcal {CP}}\)-even Higgs bosons can be predicted at lowest order in terms of two SUSY parameters characterising the MSSM Higgs sector, e.g. \(\tan \beta \), the ratio of the vacuum expectation values of the two doublets, and the mass of the \({\mathcal {CP}}\)-odd Higgs boson, \(M_A\), or the charged Higgs boson, \(M_{H^\pm }\). These relations, which in particular give rise to an upper bound on the mass of the light \({\mathcal {CP}}\)-even Higgs boson given by the Z-boson mass, receive large corrections from higher-order contributions. In the NMSSM the corresponding predictions are modified both at the tree level and the loop level. In order to fully exploit the precision of the experimental mass value for constraining the available parameter space of the considered models, the theoretical predictions should have an accuracy that ideally is at the same level of accuracy or even better than the one of the experimental value. The theoretical uncertainty, on the other hand, is composed of two sources, the parametric and the intrinsic uncertainty. The theoretical uncertainties induced by the parametric errors of the input parameters are dominated by the experimental error of the top-quark mass (where the latter needs to include the systematic uncertainty from relating the measured mass parameter to a theoretically well-defined quantity; see e.g. [16,17,18]). However, the largest theoretical uncertainty at present arises from unknown higher-order corrections, as will be discussed below.

In the MSSMFootnote 1 beyond the one-loop level, the dominant two-loop corrections of \({\mathcal {O}}(\alpha _t\alpha _s)\) [19,20,21,22,23,24] and \({\mathcal {O}}(\alpha _t^2)\) [25, 26] as well as the corresponding corrections of \({\mathcal {O}}(\alpha _b\alpha _s)\) [27, 28] and \({\mathcal {O}}(\alpha _t\alpha _b)\) [27] are known since more than a decade. (Here we use \(\alpha _f = Y_f^2/(4\pi )\), with \(Y_f\) denoting the fermion Yukawa coupling.) These corrections, together with a resummation of leading and subleading logarithms from the top/scalar top sector [29] (see also [30, 31] for more details on this type of approach), a resummation of leading contributions from the bottom/scalar bottom sector [27, 28, 32,33,34,35] (see also [36, 37]) and momentum-dependent two-loop contributions [38, 39] (see also [40]) are included in the public code FeynHiggs [21, 29, 41,42,43,44,45]. A (nearly) full two-loop EP calculation, including even the leading three-loop corrections, has also been published [46, 47], which is, however, not publicly available as a computer code. Furthermore, another leading three-loop calculation of \({\mathcal {O}}(\alpha _t\alpha _s^2)\), depending on the various SUSY mass hierarchies, has been performed [48, 49], resulting in the code H3m (which adds the three-loop corrections to the FeynHiggs result up to the two-loop level). The theoretical uncertainty on the lightest \({\mathcal {CP}}\)-even Higgs-boson mass within the MSSM from unknown higher-order contributions is still at the level of about \(3~\mathrm{GeV}\) for scalar top masses at the \(\mathrm{TeV}\)-scale, where the actual uncertainty depends on the considered parameter region [29, 43, 50, 51].

Within the NMSSM beyond the well-known full one-loop results [52,53,54,55] several codes exist that calculate the Higgs masses in the pure \(\overline{\mathrm {DR}}\) scheme with different contributions at the two-loop level. Amongst these codes SPheno [56, 57] incorporates the most complete results at the two-loop level, including SUSY-QCD contributions from the fermion/sfermions of \({\mathcal {O}}(\alpha _t\alpha _s, \alpha _b\alpha _s)\), as well as pure fermion/sfermion contributions of \({\mathcal {O}}(\alpha _t^2, \alpha _b^2, \alpha _t\alpha _b, \alpha _\tau ^2, \alpha _\tau \alpha _b)\), and contributions from the Higgs/higgsino sector in the gauge-less limit of \({\mathcal {O}}(\alpha _\lambda ^2, \alpha _\kappa ^2, \alpha _\lambda \alpha _\kappa )\) [58] as well as mixed contributions from the latter two sectors of \({\mathcal {O}}(\alpha _\lambda \alpha _t, \alpha _\lambda \alpha _b)\). The included Higgs/higgsino contributions are genuine to the NMSSM, they are proportional to the NMSSM parameters \(\lambda ^2 = 4\pi \cdot \alpha _\lambda \) and \(\kappa ^2 = 4\pi \cdot \alpha _\kappa \). The tools FlexibleSUSY [59], NMSSMTools [60, 61] and SOFTSUSY [62,63,64] include NMSSM corrections of \({\mathcal {O}}(\alpha _t\alpha _s)\) and \({\mathcal {O}}(\alpha _b\alpha _s)\) supplemented by certain MSSM corrections. NMSSMCalc [54, 55, 65, 66] provides the option to perform the NMSSM Higgs-mass calculation up to \({\mathcal {O}}(\alpha _t\alpha _s)\) with the \(\overline{\mathrm {DR}}\) renormalisation scheme applied to the top/stop sector, while in the electroweak sector at one-loop order on-shell conditions are used. It has been noticed in a comparison of spectrum generators in the NMSSM that are currently publicly available that the numerical differences between the various codes can be very significant, often exceeding \(3~\mathrm{GeV}\) in the prediction of the SM-like Higgs even for the set-up where all predictions were obtained within the \(\overline{\mathrm {DR}}\) renormalisation scheme [67]. While the sources of discrepancies between the different codes could be identified [67], a reliable estimate of the remaining theoretical uncertainties should of course also address issues related to the use of different renormalisation schemes. Beyond the pure \(\overline{\mathrm {DR}}\) scheme, so far only the code NMSSMCalc [54, 55, 65, 66] provides a prediction in a mixed OS/\(\overline{\mathrm {DR}}\) scheme, where genuine two-loop contributions in the NMSSM up to \({\mathcal {O}}(\alpha _t\alpha _s)\) have been incorporated. The resummation of logarithmic contributions beyond the two-loop level is not included so far in any of the public codes for Higgs-mass predictions in the NMSSM. Accordingly, at present the theoretical uncertainties from unknown higher-order corrections in the NMSSM are expected to be still larger than for the MSSM.

Concerning the phenomenology of the NMSSM it is of particular interest whether this model can be distinguished from the MSSM by confronting Higgs-sector measurements with the corresponding predictions of the two models. In order to facilitate the identification of genuine NMSSM contributions in this context it is important to treat the predictions for the MSSM and the NMSSM within a coherent framework where in the MSSM limit of the NMSSM the state-of-the-art prediction for the MSSM is recovered.

With this goal in mind, we seek to extend the public tool FeynHiggs to the case of the NMSSM. As a first step in this direction we present in this paper a full one-loop calculation of the Higgs-boson masses in the NMSSM, where the renormalisation scheme and all parameters and conventions are chosen such that the well-known MSSM result of FeynHiggs is obtained for the MSSM limit of the NMSSM. We supplement the full one-loop result in the NMSSM with all higher-order corrections of MSSM-type that are implemented in FeynHiggs, as described above. In our numerical evaluation we use our full one-loop result in the NMSSM to assess the quality of the approximation that we make at the two-loop level. We find that for a SM-like Higgs boson that is compatible with the detected signal at about \(125~\mathrm{GeV}\) this approximation works indeed very well. We analyse in this context which genuine NMSSM contributions are most relevant when going beyond the approximation based on MSSM-type higher-order corrections. We then apply our most accurate prediction including all higher-order contributions to four phenomenologically interesting scenarios. We compare our prediction both with the result in the MSSM limit and with the code NMSSMCalc [65]. We discuss in this context the impact of higher-order contributions beyond the ones of \({\mathcal {O}}(\alpha _t\alpha _s)\), which are not implemented in NMSSMCalc.

The paper is organised as follows. In Sect. 2 we describe our full one-loop calculation in the NMSSM, specify the renormalisation scheme that we have used and discuss the contributions that are expected to be numerically dominant at the one-loop level. The incorporation of higher-order contributions of MSSM-type is addressed in Sect. 3. Our numerical analysis for the prediction at the one-loop level, including a discussion of the quality of the approximation in terms of MSSM-type contributions, and for our most accurate prediction including higher-order corrections is presented in Sect. 4. The conclusions can be found in Sect. 5.

2 One-loop result in the NMSSM

For the sectors that are identical for the calculation within the MSSM the conventions as implemented in FeynHiggs are used, as described in [44]. Therefore the present section is restricted to the quantities genuine to the NMSSM. For a more detailed discussion of the NMSSM; see e.g. [9].

2.1 The relevant NMSSM sectors

The superpotential of the NMSSM for the third generation of fermions/sfermions reads

$$\begin{aligned} W&= Y_t(\hat{H}_2\cdot \hat{Q}_3 )\hat{u}_3 - Y_d (\hat{H}_1\cdot \hat{Q}_3 )\hat{d}_3\nonumber \\&\quad - Y_\tau (\hat{H}_1\cdot \hat{L}_3 )\hat{e}_3 + \lambda \hat{S} (\hat{H}_2 \cdot \hat{H}_1 ) + \frac{1}{3} \kappa \hat{S}^3, \end{aligned}$$
(1)

with the quark and lepton superfields \(\hat{Q}_3\), \(\hat{u}_3\), \(\hat{d}_3\), \(\hat{L}_3\), \(\hat{e}_3\) and the Higgs superfields \(\hat{H}_1\), \(\hat{H}_s\), \(\hat{S}\). The \(SU(2)_\text {L}\)-invariant product is denoted by a dot. The Higgs singlet and doublets are decomposed into \({\mathcal {CP}}\)-even and \({\mathcal {CP}}\)-odd neutral scalars \(\phi _i\) and \(\chi _i\), and charged states \(\phi ^\pm _i\),

$$\begin{aligned}&H_1 = \begin{pmatrix} v_1 + \frac{1}{\sqrt{2}}\left( \phi _1 - i\chi _1\right) \\ -\phi _1^- \end{pmatrix} , \nonumber \\&H_2 = \begin{pmatrix} \phi _2^+ \\ v_2 + \frac{1}{\sqrt{2}}\left( \phi _2+i\chi _2\right) \end{pmatrix} , \nonumber \\&S = v_s + \frac{1}{\sqrt{2}}\left( \phi _s+i\chi _s\right) , \end{aligned}$$
(2)

with the real vacuum expectation values for the doublet- and the singlet fields, \(v_{\{1,2\}}\) and \(v_s\). Since \(\hat{S}\) transforms as a singlet, the D-terms remain identical to the ones from the MSSM. Compared to the \({\mathcal {CP}}\)-conserving MSSM the superpotential of the \({\mathcal {CP}}\)-conserving NMSSM contains additional dimensionless parameters \(\lambda \) and \(\kappa \), while the \(\mu \)-term is absent. This term is effectively generated via the vacuum expectation value of the singlet field,

$$\begin{aligned} \mu _{\text {eff}}= \lambda v_s . \end{aligned}$$
(3)

As in the MSSM it is convenient to define the ratio

$$\begin{aligned} \tan \beta = \frac{v_2}{v_1}. \end{aligned}$$
(4)

Soft SUSY-breaking in the NMSSM gives rise to the real trilinear soft-breaking parameters \(A_\lambda \) and \(A_\kappa \), as well as to the soft-breaking mass term \(m_S^2\) of the scalar singlet field,

$$\begin{aligned} \mathcal {L}_{\text {soft}}&= - m_1^2 H_{1i}^\dagger H_{1i} - m_2^2 H_{2i}^\dagger H_{2i} - m_S^2 |S|^2\nonumber \\&\quad - \left[ \lambda A_\lambda S \left( H_2 \cdot H_1\right) + \frac{1}{3} \kappa A_\kappa S^3. + \text {h.c.} \right] . \end{aligned}$$
(5)

The Higgs potential \(V_H\) can be written in powers of the fields,

$$\begin{aligned} V_{\text {H}}&= \cdots - T_{\phi _1} \phi _1 - T_{\phi _2} \phi _2 - T_{\phi _S} \phi _s \nonumber \\&\quad + \frac{1}{2} \begin{pmatrix} \phi _1,\phi _2, \phi _s \end{pmatrix} \mathbf {M}_{\phi \phi } \begin{pmatrix} \phi _1 \\ \phi _2 \\ \phi _s \end{pmatrix}\nonumber \\&\quad + \frac{1}{2} \begin{pmatrix} \chi _1, \chi _2, \chi _s \end{pmatrix} \mathbf {M}_{\chi \chi } \begin{pmatrix} \chi _1 \\ \chi _2 \\ \chi _s \end{pmatrix} \nonumber \\&\quad + \begin{pmatrix} \phi ^-_1,\phi ^-_2 \end{pmatrix} \mathbf {M}_{\phi ^\pm \phi ^\pm } \begin{pmatrix} \phi ^+_1 \\ \phi ^+_2 \end{pmatrix} + \cdots , \end{aligned}$$
(6)

where the coefficients bilinear in the fields are the mass matrices \(\mathbf{M }_{\phi \phi }\), \(\mathbf{M }_{\chi \chi }\) and \(\mathbf{M }_{\phi ^\pm \phi ^\pm }\). For the \({\mathcal {CP}}\)-even fields the (symmetric) mass matrix reads

$$\begin{aligned} \mathbf M _{\phi \phi }&= \begin{pmatrix} \hat{m}_A^2 s_\beta ^2 - M_Z^2 c_\beta ^2 &{} \left( \hat{m}_A^2 + M_Z^2 \right) s_\beta c_\beta &{} \mu _{\text {eff}}\left( 2 \lambda v c_\beta - \kappa v s_\beta \right) +\frac{\lambda v}{\mu _{\text {eff}}} c_\beta \\ . &{} \hat{m}_A^2 c_\beta ^2 - M_Z^2 s_\beta ^2 &{} \mu _{\text {eff}}\left( 2 \lambda v s_\beta - \kappa v c_\beta \right) +\frac{\lambda v}{\mu _{\text {eff}}} s_\beta \\ . &{} . &{} \lambda \kappa v^2 c_\beta s_\beta + \frac{\lambda ^2 v^2}{\mu _{\text {eff}}^2} \hat{m}_A^2 + \frac{\kappa }{\lambda } \mu _{\text {eff}}\left( 4 \frac{\kappa }{\lambda } \mu _{\text {eff}}+ A_\kappa \right) \end{pmatrix}, \end{aligned}$$
(7)

where \(s_\beta \) and \(c_\beta \) denote the sine and cosine of the angle \(\beta \), and

$$\begin{aligned} \hat{m}_A^2 = M_{H^\pm }^2 - M_W^2 + \lambda ^2 v^2. \end{aligned}$$
(8)

The lower triangle in Eq. (7) is filled with the transposed matrix element. For the \({\mathcal {CP}}\)-conserving case the mixing into the eigenstates of mass and \({\mathcal {CP}}\) can be described at lowest order by the following unitary transformations:

$$\begin{aligned} \begin{pmatrix} h_1 \\ h_2 \\ h_3 \end{pmatrix}&= \mathbf {U}_{e(0)} \begin{pmatrix} \phi _1 \\ \phi _2 \\ \phi _s \end{pmatrix}, \quad \begin{pmatrix} A_1 \\ A_2 \\ G_0 \end{pmatrix} = \mathbf {U}_{o(0)} \begin{pmatrix} \chi _1 \\ \chi _2 \\ \chi _s \end{pmatrix}, \nonumber \\ \begin{pmatrix} H^\pm \\ G^\pm \end{pmatrix}&= \mathbf {U}_{c(0)} \begin{pmatrix} \phi ^\pm _1 \\ \phi ^\pm _2 \end{pmatrix} . \end{aligned}$$
(9)

The matrices \(\mathbf {U}_{\{e,o,c\}(0)}\) transform the Higgs fields such that the mass matrices are diagonalised at tree level. The new fields correspond to the five neutral Higgs bosons \(h_i\) and \(A_j\), the charged pair \(H^\pm \), and the Goldstone bosons \(G^0\) and \(G^\pm \).

In Eq. (7) the third row and column depend explicitly on \(\mu _{\text {eff}}\). The numerical value of \(\mu _{\text {eff}}\) has an important impact on the singlet admixture after performing the rotation into the mass eigenstate basis. For instance, for values of \(\mu _{\text {eff}}\) large enough so that

$$\begin{aligned} (\mathbf M _{\phi \phi })_{33} \gg (\mathbf M _{\phi \phi })_{i3}, \quad i \in \{1,2\}, \end{aligned}$$
(10)

the mass of the singlet becomes decoupled from the doublet masses.

The superpartner of the scalar singlet appears as a fifth neutralino. The corresponding \(5\times 5\) mass matrix reads

$$\begin{aligned} \mathbf Y {=} \begin{pmatrix} M_1 &{} 0 &{} -M_Zs_\mathrm {w}\cos {\beta } &{} M_Zs_\mathrm {w}\sin {\beta } &{} 0\\ 0 &{} M_2 &{} M_Zc_\mathrm {w}\cos {\beta } &{} -M_Zc_\mathrm {w}\sin {\beta } &{} 0\\ -M_Zs_\mathrm {w}\cos {\beta } &{} M_Zc_\mathrm {w}\cos {\beta } &{} 0 &{} -\mu _{\text {eff}}&{} \lambda v \sin {\beta }\\ M_Zs_\mathrm {w}\sin {\beta } &{} -M_Zc_\mathrm {w}\sin {\beta } &{} -\mu _{\text {eff}}&{} 0 &{} \lambda v \cos {\beta } \\ 0 &{} 0 &{} \lambda v \sin {\beta } &{} \lambda v \cos {\beta } &{} -2\frac{\kappa }{\lambda } \mu _{\text {eff}}\end{pmatrix} . \end{aligned}$$
(11)

It is diagonalised by a unitary matrix

$$\begin{aligned} \mathbf D _\mathbf{Y } = \mathbf N ^* \mathbf Y \mathbf N ^\dagger = \text {diag}{\{m_{\tilde{\chi }^0_1},m_{\tilde{\chi }^0_2},m_{\tilde{\chi }^0_3},m_{\tilde{\chi }^0_4},m_{\tilde{\chi }^0_5}\}}. \end{aligned}$$
(12)

Also in Eq. (11) \(\mu _{\text {eff}}\) can have a significant influence on the mixing between the singlino and the doublet higgsino fields. For instance, for sufficiently large values of \(\mu _{\text {eff}}\) such that

$$\begin{aligned} (\mathbf Y )_{55} \gg (\mathbf Y )_{i5}, \quad i \in \{3,4\}, \end{aligned}$$
(13)

the singlino mass decouples from the masses of higgsinos and gauginos.

2.2 Renormalisation scheme

In order to derive the counterterms entering the one-loop corrections to the Higgs-boson masses the independent parameters appearing in the linear and bilinear terms of the Higgs potential in Eq. (6) have to be renormalised. The set of independent parameters from the Higgs sector used for the presented calculation is formed by

$$\begin{aligned}&\text {MSSM-like:}&T_{h_{1,2}} , \ \mu _{\text {eff}}, \ M_{H^\pm }^2 , \ \tan \beta , \ M_W^2 , \ M_Z^2\nonumber \\&\text {genuine NMSSM:}&T_{h_3} , \ \kappa , \ \lambda , \ A_\kappa , \ v = \sqrt{v_1^2+v_2^2} . \end{aligned}$$
(14)

Here \(T_{h_i}\) denotes the tadpole coefficient for the field \(h_i\) (as indicated by the subscript) in the mass eigenstate basis. The relation to the tadpoles in the interaction basis, \(T_{\phi _i}\), is given by

$$\begin{aligned} \begin{pmatrix} T_{h_1} \\ T_{h_2} \\ T_{h_3} \end{pmatrix} = \mathbf {U}_{e(0)} \begin{pmatrix} T_{\phi _1} \\ T_{\phi _2} \\ T_{\phi _s} \end{pmatrix}. \end{aligned}$$
(15)

The soft-breaking mass terms are related to the tadpole coefficients by

$$\begin{aligned} m_1&= -\frac{T_{\phi _1}}{\sqrt{2} v \sin {\beta }} - \mu _{\text {eff}}^2 + \mu _{\text {eff}}B \tan {\beta } \nonumber \\&\quad - \lambda ^2 v^2 \sin ^2{\beta } + \frac{1}{4} M_Z^2 (\sin ^2{\beta } - \cos ^2{\beta })\end{aligned}$$
(16a)
$$\begin{aligned} m_2&= -\frac{T_{\phi _2}}{\sqrt{2} v \cos {\beta }} - \mu _{\text {eff}}^2 + \mu _{\text {eff}}B \cot {\beta } \nonumber \\&\quad - \lambda ^2 v^2 \cos ^2{\beta } + \frac{1}{4} M_Z^2 (\cos ^2{\beta } - \sin ^2{\beta })\end{aligned}$$
(16b)
$$\begin{aligned} m_s^2&= -\frac{\lambda T_{\phi _s}}{\sqrt{2} \mu _{\text {eff}}} + \left( \mu _{\text {eff}}B \frac{\lambda ^2 v^2}{\mu _{\text {eff}}^2} + \lambda \kappa v^2\right) \nonumber \\&\quad \times \sin {\beta } \cos {\beta } - \lambda ^2 v^2 - 2 \frac{\kappa ^2}{\lambda ^2} \mu _{\text {eff}}^2 + \frac{\kappa }{\lambda } \mu _{\text {eff}}A_\kappa , \end{aligned}$$
(16c)

where

$$\begin{aligned} \mu _{\text {eff}}B&= \frac{1}{\sqrt{2}v} (\sin ^{3}{\beta } \ T_{\phi _1} + \cos ^{3}{\beta } \ T_{\phi _2} )\nonumber \\&\quad + ( M_{H^\pm }^2 - M_W^2 + \lambda ^2 v^2 ) \sin ^{}{\beta } \cos ^{}{\beta } \end{aligned}$$
(17)

and

$$\begin{aligned} \mu _{\text {eff}}B = \mu _{\text {eff}}\left( \frac{\kappa }{\lambda }\mu _{\text {eff}}+ A_\lambda \right) . \end{aligned}$$
(18)

Using these equations the original soft-breaking mass parameters \(m_1\), \(m_2\) and \(m_s^2\) are replaced by \(T_{h_1, h_2, h_3}\), and the soft-breaking trilinear parameter \(A_\lambda \) is replaced by \(M_{H^\pm }\).

Parameters that do not enter the MSSM calculation are considered as genuine of the calculation in the NMSSM. Although the vacuum expectation value v is not a parameter genuine to the NMSSM, its appearance as an independent parameter is a specific feature of the NMSSM Higgs-mass calculation; see below.

For all parameters appearing only in the NMSSM-calculation, besides the additional tadpole coefficient, a \(\overline{\text {DR}}\)-scheme is applied. This is a difference from the calculations performed in [54, 55, 65, 66], where the electric charge e is renormalised instead of the parameter v. These two parameters are related to each other by

$$\begin{aligned} v&= \frac{\sqrt{2} s_\mathrm {w}M_W}{e} \rightarrow v \left( 1 + \frac{\delta {v}}{v}\right) \nonumber \\&= v\left[ 1 + \frac{1}{2}\left( \frac{\delta {M_W^2}}{M_W^2}+ \frac{\delta {s_\mathrm {w}^2}}{s_\mathrm {w}^2}- 2 \delta {Z_e}\right) \right] , \end{aligned}$$
(19)

with the renormalisation constants for the W-boson mass, \(\delta {M_W^2}\), the sine of the Weinberg angle, \(\delta {s_\mathrm {w}^2}\), where \(s_\mathrm {w}^2 \equiv 1 - M_W^2/M_Z^2, s_\mathrm {w}^2 + c_\mathrm {w}^2 = 1\), and the electric charge is renormalised as

$$\begin{aligned} e \rightarrow e\left( 1 + \delta {Z_e}\right) . \end{aligned}$$
(20)

Considering \(\delta {M_W^2}\) and \(\delta {s_\mathrm {w}^2}\) already fixed by on-shell conditions for the gauge-boson masses [44], either \(\delta {Z_e}\) or \(\delta {v}\) in Eq. (19) can be fixed by an independent renormalisation condition (and the other counterterm is then a dependent quantity). The renormalisation prescription [54] where \(\delta {Z_e}\) is fixed by renormalising e in the static limit results in a non-\(\overline{\text {DR}}\) renormalisation for \(\delta {v}\). For the self-energies in the Higgs sector \(\delta {v}\) enters the counterterms for the renormalised Higgs potential,

$$\begin{aligned} V_\mathrm{H} \rightarrow V_\mathrm{H} + \delta {V_\mathrm{H}}, \end{aligned}$$
(21)

with coefficients involving \(\lambda \) and \(\kappa \), like

$$\begin{aligned} \left. \frac{\delta ^{(2)}}{\delta {\phi _s}\delta {\phi _i}} \delta {V_\mathrm{H}} \right| _{\phi _l, \chi _m, \phi _n^\pm = 0} \supset - \kappa \mu _{\text {eff}}\left\{ \sin {\beta },\cos {\beta }\right\} \left( \delta {v} + \cdots \right) , \end{aligned}$$
(22)

for the self-energies with each an external doublet and singlet field. The ellipses in Eq. (22) denote other renormalisation constants that are fixed in the \(\overline{\text {DR}}\)-scheme and thus do not contribute with a finite part. However, a finite contribution from \(\delta {v}\) would lead to a \(\kappa \)-dependence of all loop contributions entering via \(\delta v\), in particular also of the corrections from the fermions and sfermions (while the fermion and sfermion contributions to the unrenormalised self-energy are \(\kappa \)-independent). A finite contribution from \(\delta {v}\) would furthermore imply the rather artificial feature that a self-energy involving an external gauge singlet field would receive a counterterm contribution involving the renormalisation constant \(\delta {Z_e}\) for the electric charge. We therefore prefer to use the \(\overline{\text {DR}}\)-scheme for the renormalisation of v, which means that we use a scheme where \(\delta {Z_e}\) is a dependent counterterm. This leads to the relation

$$\begin{aligned} \delta {Z_e^{\text {dep}}}&= \frac{1}{2}\left[ \frac{\delta {s_\mathrm {w}^2}}{s_\mathrm {w}^2}+ \frac{\delta {M_W^2}}{M_W^2}- \frac{\delta {v^2}}{v^2}\right] , \end{aligned}$$
(23)

which implies

$$\begin{aligned} \left. \delta {Z_e^{\text {dep}}} \right| ^{\text {fin}}&= \frac{1}{2}\left[ \frac{\delta {s_\mathrm {w}^2}}{s_\mathrm {w}^2}+ \frac{\delta {M_W^2}}{M_W^2}\right] ^{\text {fin}} \end{aligned}$$
(24)

for the finite part of \(\delta {Z_e^{\text {dep}}}\). In this scheme the numerical value for the electric charge e (and accordingly for the electromagnetic coupling constant \(\alpha \)) is determined indirectly via Eq. (24). In order to avoid a non-standard numerical value for \(\alpha \) in our numerical results, we apply a two-step procedure: in the first step we apply a \(\overline{\text {DR}}\) renormalisation for v as outlined above. As a second step we then reparametrise this result in terms of a suitably chosen expression for \(\alpha \). By default we use the same convention as for the MSSM result that is implemented in FeynHiggs, namely the expression for the electric charge in terms of the Fermi constant \(G_F\), in order to facilitate the comparison between the FeynHiggs result in the MSSM and our new result in the NMSSM. Taking the MSSM limit of our new NMSSM result, the MSSM result as implemented in FeynHiggs is recovered, since the described calculational differences are genuine NMSSM effects that vanish in this limit. For the numerical comparison with NMSSMCalc we will use instead \(\alpha (M_Z)\). The procedure of the reparametrisation is outlined in the following section.

2.3 Reparametrisation of the electromagnetic coupling

The couplings \(g^\mathrm{I}\) and \(g^\mathrm{II}\) in two different renormalisation schemes are in general related to each other by

$$\begin{aligned} g^\mathrm{I} \left( 1 + \delta {Z^\mathrm{I}_g}\right) = g^\mathrm{II} \left( 1 + \delta {Z^\mathrm{II}_g} \right) , \end{aligned}$$
(25)

because of the equality of the bare couplings. The corresponding shift in the numerical values of the coupling definitions is obtained from the finite difference of the two counterterms, \(\Delta \equiv g^\mathrm{II} \delta {Z^\mathrm{II}_g} - g^\mathrm{I} \delta {Z^\mathrm{I}_g}\). Accordingly, a reparametrisation from the numerical value of the coupling used in scheme I to the one of scheme II can be performed via

$$\begin{aligned} g^\mathrm{I} = g^\mathrm{II} + \Delta . \end{aligned}$$
(26)

Since \(\Delta \) is of one-loop order, its insertion into a tree-level expression generates a term of one-loop order, etc.

In our calculation the reparametrisation of the electromagnetic coupling is only necessary up to the one-loop level, since all corrections of two-loop and higher order that we are going to incorporate have been obtained in the gauge-less limit (some care is necessary regarding the incorporation of the MSSM-type contributions of \({\mathcal {O}}(\alpha _t^2)\); see [26, 68]). At this order the shift \(\Delta \) can simply be expressed as \(\Delta = g^\mathrm{II} \left( \delta {Z^\mathrm{II}_g} - \delta {Z^\mathrm{I}_g}\right) \). Specifically, for the reparametrisation of the electromagnetic coupling constant \(G_F\) the parameter shift \(\Delta _{G_F}\) reads

$$\begin{aligned} \Delta _{G_F} = e \left( \delta Z_e - \delta Z_e^\mathrm{dep} - \frac{1}{2} \Delta r^\mathrm{NMSSM} \right) . \end{aligned}$$
(27)

Here \(\delta Z_e\) is the counterterm of the charge renormalisation within the NMSSM according to the static (Thomson) limit,

$$\begin{aligned} \delta Z_e = \frac{1}{2} \Pi ^{\gamma \gamma }(0) + \frac{s_\mathrm {w}}{c_\mathrm {w}} \frac{\Sigma _T^{\gamma Z}(0)}{M_Z^2} , \end{aligned}$$
(28)

and \(\Pi ^{\gamma \gamma }(0)\), \(\Sigma _T^{\gamma Z}(0)\) are the derivative of the transverse part of the photon self-energy and the transverse part of the photon–Z self-energy at zero momentum transfer, respectively. The counterterm \(\delta Z_e^\mathrm{dep}\) has been defined in Eq. (23), and for the quantity \(\Delta r^\mathrm{NMSSM}\) we use the result of [69] (see also [70]).Footnote 2 The numerical value for the electromagnetic coupling e in this parametrisation is obtained from the Fermi constant in the usual way as \(e = 2 M_Ws_\mathrm {w}\sqrt{G_F \sqrt{2}}\).

Similarly, for the reparametrisation of the electromagnetic coupling defined in the previous section in terms of \(\alpha (M_Z)\) the parameter shift \(\Delta _{\alpha (M_Z)}\) reads

$$\begin{aligned} \Delta _{\alpha (M_Z)} = e \left( \delta Z_e - \delta Z_e^\mathrm{dep} - \frac{1}{2} \Delta \alpha \right) . \end{aligned}$$
(29)

The numerical value of e in this parametrisation is obtained from \(\alpha (M_Z) = \alpha (0)/(1 - \Delta \alpha )\), and \(\alpha (0)\) is the value of the fine-structure constant in the Thomson limit.

2.4 Dominant contributions at one-loop order

As explained above, we will supplement our full one-loop result with all available higher-order contributions of MSSM-type. This means in particular that the two-loop contributions are approximated by the two-loop corrections in the MSSM (i.e. omitting genuine NMSSM corrections) as included in FeynHiggs, and further corrections beyond the two-loop level are included. In order to validate this approximation we analyse at the one-loop level the size of genuine NMSSM corrections w.r.t. the MSSM-like contributions.

Table 1 Topologies and their order in terms of the couplings in the top/stop sector that contribute to the self-energies of the \({\mathcal {CP}}\)-even fields \(\phi _i\) at one-loop order in the gauge-less limit. The numbers 1 and 2 denote the doublet-states as external fields, while s denotes an external singlet. The internal lines depict either a top (solid) or a scalar top (dashed)

Since the corrections from the top/stop sector are usually the by far dominant ones, we start with a qualitative discussion of those contributions before we perform a numerical analysis in the following section. In the MSSM the leading corrections from the top/stop sector are commonly denoted as \({\mathcal {O}}(\alpha _t)\), indicating the occurrence of two Yukawa couplings \(Y_t\). In the limit where all other masses of the SM particles and the external momentum are neglected compared to the top-quark mass, for dimensional reasons the correction to the squared Higgs-boson mass furthermore receives a contribution proportional to \(m_t^2\). This gives rise to the well-known coefficient \(G_F m_t^4\) of the leading one-loop contributions. In the NMSSM the formally leading contributions either are of \({\mathcal {O}}(Y_t^2)\) (involving two Yukawa couplings), of \({\mathcal {O}}(\lambda Y_t)\) (involving one Yukawa coupling), or of \({\mathcal {O}}(\lambda ^2)\) (involving no Yukawa coupling). The various contributions from the top/stop sector are summarised in Table 1. The contributions in the second column are the ones of MSSM-type, while the entries in the third through fifth column represent the genuine NMSSM corrections, involving only scalar tops.Footnote 3

For the doublet fields, the couplings between the Higgs- and stop-fields in the gauge-less limit are proportional to the top-quark Yukawa coupling,

$$\begin{aligned}&i\Gamma _{\phi _2 \tilde{t}_i \tilde{t}_j} = i\sqrt{2} Y_t\left[ A_t\cdot c^{\phi _2}_{ij}{(\theta _{\tilde{t}})} + m_t \cdot \left( -1\right) ^{1-i} \delta _{ij} \right] , \nonumber \\&i\Gamma _{\phi _1 \tilde{t}_i \tilde{t}_j} = i\sqrt{2} Y_t\mu _{\text {eff}}\cdot c^{\phi _1}_{ij}{(\theta _{\tilde{t}})}, \end{aligned}$$
(30a)

while the corresponding coupling for the singlet field reads

$$\begin{aligned} i\Gamma _{\phi _s \tilde{t}_i \tilde{t}_j} = i\sqrt{2} \lambda \cot {\beta }\ m_t \cdot c^{\phi _s}_{ij}{(\theta _{\tilde{t}})}. \end{aligned}$$
(30b)

The non-vanishing quartic Higgs–stop couplings read

$$\begin{aligned} i\Gamma _{\phi _2 \phi _2 \tilde{t}_i \tilde{t}_j} = -iY_t^2 \cdot \delta _{ij} ,\quad i\Gamma _{\phi _1 \phi _s \tilde{t}_i \tilde{t}_j} = -i\lambda Y_t\cdot c^{\phi _1 \phi _s}_{ij}{(\theta _{\tilde{t}})}. \end{aligned}$$
(31)

Here functions of the mixing angle of the stop sector, \(\theta _{\tilde{t}}\), are denoted by c with the appropriate indices and superscripts for the involved fields. These functions c can never be larger than 1. In the singlet–stop coupling we have explicitly spelled out a factor \(\lambda v_1 Y_t= \lambda m_t \cot {\beta }\) to highlight the appearance of the factor \(m_t\) in Eq. (30b) instead of the usual factor \(m_t/M_W \sim Y_t\) in Eq. (30a).

The genuine NMSSM couplings of a singlet to stops are seen to follow the pattern mentioned above, i.e. they give rise to contributions of \({\mathcal {O}}(\lambda Y_t)\) (third and fourth column in Table 1) or \({\mathcal {O}}(\lambda ^2)\) (fifth column), whereas the MSSM-like contributions are of \({\mathcal {O}}(Y_t^2)\) (second column). Those different patterns do not only indicate a distinction between the MSSM-like and the genuine NMSSM contributions, but also give rise to a significant numerical suppressionFootnote 4 of the genuine NMSSM contributions w.r.t. the MSSM-like ones for \(\lambda < Y_t\). If one demands validity of perturbation theory up to the GUT scale, this relation is always fulfilled, since then \(\lambda \) and \(\kappa \) are bound from above [12] by

$$\begin{aligned} \lambda ^2 + \kappa ^2 \lesssim 0.5, \end{aligned}$$
(32)

so that \(\lambda \lesssim 0.7\), where the largest values are only allowed for vanishing \(\kappa \). The size of the genuine NMSSM contributions will be discussed numerically in the following sections.

3 Incorporation of higher-order contributions

The masses of the \({\mathcal {CP}}\)-even Higgs bosons are obtained from the complex poles of the full propagator matrix. The inverse propagator matrix for the three \({\mathcal {CP}}\)-even Higgs bosons \(h_i\) from Eq. (9) is a \(3 \times 3\) matrix that reads

$$\begin{aligned} \Delta ^{-1}{\left( k^2\right) } = i\left[ k^2\mathbbm {1} - \mathcal {M}_{hh} + \hat{\Sigma }_{hh}{\left( k^2\right) } \right] . \end{aligned}$$
(33)

Here \(\mathcal {M}_{hh}\) denotes the diagonalised mass matrix of the \({\mathcal {CP}}\)-even Higgs fields at tree level, and \(\hat{\Sigma }_{hh}\) denotes their renormalised self-energy corrections.Footnote 5 The three complex poles of the propagator in the \({\mathcal {CP}}\)-even Higgs sector are given by the values of the external momentum k for which the determinant of the inverse propagator-matrix vanishes,

$$\begin{aligned} \det \left[ \Delta ^{-1}{\left( k^2\right) } \right] _{k^2 = m_{h_i}^2 - i\Gamma _{h_i} m_{h_i}} \overset{!}{=} 0 , \quad i \in \{1,2,3\}. \end{aligned}$$
(34)
Table 2 Definition of the sample scenario, S. All dimensionful parameters are given in \(\mathrm{GeV}\). All \(\overline{\text {DR}}\)-parameters are defined at \(m_t^{\overline{\text {MS}}}{\left( m_t\right) }\). All stop-parameters are on-shell parameters. As indicated by the superscript “(GUT)”, \(M_1\) is related to \(M_2\) by the usual GUT relation, \(M_1^{(\text {GUT})} = 5 s_\mathrm{w}^2/(3 c_\mathrm{w}^2) M_2\)

The real parts of the three poles are identified with the square of the Higgs-boson masses in the \({\mathcal {CP}}\)-even sector. The renormalised self-energy matrix \(\hat{\Sigma }_{hh}\) is evaluated by taking into account the full contributions from the NMSSM at one-loop order and, as an approximation, the MSSM-like contributions at two-loop order of \(\mathcal {O}{\left( \alpha _t \alpha _s, \alpha _b \alpha _s, \alpha _t^2,\alpha _t\alpha _b\right) }\) at vanishing external momentum taken over from FeynHiggs [21, 29, 41,42,43,44,45], where also the resummation of leading and subleading logarithms from the top/scalar top sector is incorporated [29],Footnote 6

$$\begin{aligned} \hat{\Sigma }_{hh}{\left( k^2\right) } \approx \left. \hat{\Sigma }^{(\text {1L})}_{hh}{\left( k^2\right) } \right| ^{\text {NMSSM}} + \left. \hat{\Sigma }^{(\text {2L + beyond})}_{hh}{\left( k^2\right) } \right| _{k^2=0}^{\text {MSSM}}. \end{aligned}$$
(35)

In order to facilitate the incorporation of the MSSM-like two-loop contributions from FeynHiggs, the renormalisation scheme chosen for the NMSSM contributions closely follows the FeynHiggs conventions as described in [44]. Accordingly, the stop masses are renormalised on-shell. For our numerical evaluation below we employ the MSSM contributions obtained from the version FeynHiggs 2.10.2.Footnote 7 The poles of the inverse propagator matrix are determined numerically. The algorithm for this procedure is the same as the one described in [54]. For the generation and calculation of the self-energies the tools FeynArts 3.9 [71, 72] and FormCalc 7.4 [73, 74] have been used. The implementation of the NMSSM with real parameters was based on a FeynArts model file generated by SARAH [75,76,77,78].

4 Numerical results

A particular goal of our numerical analysis is to test the kind of approximation in terms of MSSM-type contributions that we have used at the two-loop level. For this purpose a genuine NMSSM scenario will be studied, which gives rise to a SM-like Higgs with a predicted mass at the two-loop level of around \(125~\mathrm{GeV}\) and a singlet-like Higgs field with a mass that can be above or below the one of the SM-like state. In order to investigate the influence of the extended Higgs and higgsino sector of the NMSSM compared to the MSSM the parameter \(\lambda \) will be varied. In the limit \(\lambda \rightarrow 0\) and constant \(\mu _{\text {eff}}\) all singlet fields decouple from the remaining field spectrum. Increasing the value of \(\lambda \) directly translates to increasing the influence of genuine NMSSM-effects. A detailed study of the one-loop result and the quality of approximations based on partial contributions will be presented here. In order to study the approximation of making the restriction of MSSM-like contributions beyond one-loop order at \(\mathcal {O}{(\alpha _t \alpha _s)}\), we will compare our result with the public tool NMSSMCalc [65], which incorporates the genuine NMSSM-type contributions of \(\mathcal {O}{\left( \alpha _t \alpha _s\right) }\) using a hybrid \(\overline{\mathrm {DR}}\)/on-shell renormalisation scheme. While for the MSSM various other higher-order corrections are implemented in FeynHiggs, the corresponding contributions have not been taken into account in NMSSMCalc. We will compare in this context the numerical effect of the NMSSM-type contributions of \(\mathcal {O}{\left( \alpha _t \alpha _s\right) }\) as implemented in NMSSMCalc with the MSSM-type contributions of this order, and we will investigate the numerical impact of the MSSM-type corrections beyond \(\mathcal {O}{\left( \alpha _t \alpha _s\right) }\).

In our numerical discussion below we will just focus on the masses of the two lighter \({\mathcal {CP}}\)-even states. The effects discussed below turn out to be very small for the heaviest \({\mathcal {CP}}\)-even state, amounting to less than for the considered scenarios.

Table 3 Definition of the analysed scenarios P1, P9 and A1. All dimensionful parameters are given in \(\mathrm{GeV}\). All \(\overline{\text {DR}}\)-parameters are considered to be defined at \(m_t^{\overline{\text {MS}}}{\left( m_t\right) }\), and all stop-parameters are considered to be on-shell parameters. The remaining trilinear breaking parameters are chosen as \(A_f = 1500~\mathrm{GeV}\). The parameter \(\hat{m}_A\) is related to the charged Higgs \(M_{H^\pm }\) mass by Eq. (8)

4.1 Numerical scenarios and treatment of input parameters

In our study we will discuss four different scenarios. The first “sample scenario”, S, for our study is defined by the parameters given in Table 2. It has been chosen to exemplify typical features of NMSSM phenomenology and is well suited for studying the magnitude of the NMSSM-contributions and the behaviour of the employed approximation. The second and third scenario are the benchmark scenarios P1 and P9 defined in [79], where the parameter \(\lambda \) is varied. While the original motivation for these scenarios arising from the diphoton excess that was observed by ATLAS [80] and CMS [81] in the 2015 Run 2 data has not received support from the latest data, we use those scenarios here to serve as examples of possible NMSSM phenomenology in order to test to what extent the features visible for the “sample scenario” S also apply to completely different scenarios. The fourth scenario A1 is based on P1, but permits much larger values of \(\lambda \). The Higgs-sector parameters of P1, P9 and A1 are given in Table 3. Throughout our analysis the parameter \(\lambda \) is varied if not stated otherwise. We will show in our numerical discussion below that the qualitative features of the scenarios P1, P9 and A1 can be understood from the discussion of the “sample scenario”.

The choice for the top-quark mass in the loop contributions will be the pole mass \(m_t^{\text {OS}}\) for the comparison with NMSSMCalc and \(m^{\overline{\text {MS}}}_t(m_t)\) for the remaining studies. Using the \(\overline{\text {MS}}\) top-quark mass allows us to include the resummation of leading and next-to-leading logarithms implemented in FeynHiggs. The renormalisation scale for the studies in this chapter will be fixed at the used value of the top-quark mass.

4.1.1 Sample scenario S

The sample scenario S for our study is defined by the parameters given in Table 2. For values \(\lambda \gtrsim 0.32\) the mass of the lightest state becomes tachyonic at tree level for this scenario, and therefore the analyses will be performed only for values of \(\lambda \) up to 0.32.

The viability of the discussed scenario is tested with the full set of experimental data implemented in the tool HiggsBounds 4.1.3 [82,83,84,85,86]. In order to obtain the necessary input for HiggsBounds we made use of NMSSMTools 4.4.0 [9] and linked it with HiggsBounds. While our calculation assumes an on-shell renormalised stop sector as in [44], the SLHA input file for NMSSMTools needs \(\overline{\mathrm {DR}}\)-parameters for the stop sector. Thus a conversion from the on-shell into the \(\overline{\mathrm {DR}}\) scheme is necessary for the parameters of the sample scenario given in Table 2. We only accounted for the dominant effect of these conversions that occurs for \(X_t = A_t - \mu _{\text {eff}}\cot {\beta }\) by applying the on-shell to \(\overline{\mathrm {DR}}\) conversion outlined in [87]. We find that the scenario is in agreement with the experimental limits implemented in HiggsBounds 4.1.3.

4.1.2 Scenarios with \(A_\kappa = 0\) and very large \(|A_t|\)

The scenarios P1 and P9 are defined by the parameters given in Table 3. They are characterised in particular by the choice of \(A_\kappa = 0\) and very large (negative) \(A_t\). While in the original definition of [79] the values \(\lambda =0.1\) and \(\lambda =0.05\) were chosen for the scenarios P1 and P9, respectively, we vary the parameter \(\lambda \) here. We nevertheless refer to the scenarios as P1 and P9 also for other values of \(\lambda \) for simplicity.

In the scenario P1 for all values of \(\lambda \gtrsim 0.43\) the lightest Higgs state becomes tachyonic, for scenario P9 this is the case for \(\lambda \gtrsim 0.35\). The analyses will therefore be restricted to values of \(\lambda \lesssim 0.43\) for the scenario P1 and \(\lambda \lesssim 0.35\) for the scenario P9, respectively. The parameters entering at higher order are chosen as given in Table 3 in the same fashion as above.

4.1.3 Example of a scenario with large values of \(\lambda \)

The scenario A1 is based on P1, but with a substantially larger value of \(M_{H^\pm }\), which prevents tachyonic Higgs masses at the tree level even for large values of \(\lambda \). The parameters are given in the lower part of Table 3. Although we found that this scenario is in disagreement with experimental data from the Tevatron and the LHC Run 1 for \(\lambda \gtrsim 0.75\), it permits the analysis of the MSSM-approximation also for very large values of \(\lambda \).

4.2 Full results at two-loop order

The full results for the tree level, one- and two-loop Higgs-mass predictions in the discussed scenarios defined in Tables 2 and 3 are shown as a function of \(\lambda \) in Fig. 1 for the two lighter \({\mathcal {CP}}\)-even fields. The term “full result” refers to all one-loop corrections in the NMSSM (including the full momentum dependence and also the reparametrisation of the electromagnetic coupling in terms of the Fermi constant), supplemented with all available contributions of \(\mathcal {O}{\left( \alpha _t \alpha _s, \alpha _b \alpha _s, \alpha _t^2,\alpha _t\alpha _b\right) }\) from the MSSM, and including the resummation of large logarithms.

Fig. 1
figure 1

Mass of the lightest and next-to lightest \({\mathcal {CP}}\)-even Higgs-states, \(m_{h_1}\) (left) and \(m_{h_2}\) (right), at tree level, one-loop and two-loop order for the sample scenario (first row), the scenarios P1 (second row) and P9 (third row). At one-loop order all corrections of the NMSSM are included with their momentum dependence. The two-loop corrections are approximated by the MSSM-type contributions of \(\mathcal {O}{\left( \alpha _t \alpha _s, \alpha _b \alpha _s, \alpha _t^2,\alpha _t\alpha _b\right) }\) including the resummation of the leading and next-to-leading logarithms (see text). The dotted line represents \(125\ \mathrm{GeV}\). The \(\lambda \) values for which a cross-over behaviour between the masses occurs in the sample scenario are at the tree-level \(\lambda _\mathrm{c}^{(0)} \approx 0.26\), at one-loop order \(\lambda _\mathrm{c}^{(1)} \approx 0.22\) and at two-loop order \(\lambda _\mathrm{c}^{(2)} \approx 0.23\). In the scenario P9 a cross-over behaviour occurs at \(\lambda _\mathrm{c}^{(0)} > 0.34\) at tree level, at \(\lambda _\mathrm{c}^{(1)} \approx 0.25\) at one-loop order, and at \(\lambda _\mathrm{c}^{(2)} \approx 0.26\) at two-loop order. In the scenario P1 the cross-over behaviour occurs outside of the plotted interval

4.2.1 Sample scenario S

The results for the sample scenario S, as defined in Table 2, are shown in the first row of Fig. 1. For this study the parameter \(\lambda \) is varied between 0.1 and 0.32. The lower limit on the parameter \(\lambda \) has been chosen such that in the considered parameter region a cross-over type behaviour occurs only for the two smaller masses, \(m_{h_1}\) and \(m_{h_2}\) (for values \(\lambda < 0.1\) there is another point with cross-over behaviour of the two larger Higgs-boson masses; however, because of the small values of \(\lambda \) this region is less suitable for studying the behaviour of the genuine NMSSM-corrections, which scale with \(\lambda \)).

Fig. 2
figure 2

Mass of the lightest and next-to lightest \({\mathcal {CP}}\)-even Higgs-states, \(m_{h_1}\) (left), \(m_{h_2}\) (right), two-loop order for the scenario A1. The included corrections are identical to the ones in Fig. 1. The \(\lambda \) values for which a cross-over behaviour between the masses occurs are at the tree-level \(\lambda _\mathrm{c}^{(0)} \approx 0.75\), at one-loop order \(\lambda _\mathrm{c}^{(1)} \approx 0.70\) and at two-loop order \(\lambda _\mathrm{c}^{(2)} \approx 0.62\)

The variation of the two masses with \(\lambda \) in the first row of Fig. 1 clearly shows a cross-over type behaviour between the masses, which is correlated to their mixing character w.r.t. the singlet field and the doublet fields. For small values of \(\lambda \) the field \(h_1\) is doublet-like in this scenario and, based on the prediction incorporating all available higher-order corrections, can be identified with the signal that was detected at the LHC at about \(125\ \mathrm{GeV}\). The prediction for \(m_{h_1}\) varies only very little with \(\lambda \) in this region. The field \(h_2\), on the other hand, is predominantly singlet-like in this parameter region, and its mass prediction falls steeply with increasing \(\lambda \). The cross-over occurs at \(\lambda _\mathrm{c}^{(0)} \approx 0.26\) at tree level, at \(\lambda _\mathrm{c}^{(1)} \approx 0.22\) at one-loop order, and at \(\lambda _\mathrm{c}^{(2)} \approx 0.23\) at two-loop order. Above the cross-over point the behaviour of the two masses and the admixture of the fields \(h_1\) and \(h_2\) in terms of singlet and doublet fields are reversed. The two fields are evenly mixed between singlet- (i.e., genuine NMSSM-type) and doublet-field (i.e., MSSM-type) components for \(\lambda _\mathrm{c}^{(n)}\), with \(n = 0, 1, 2\). The heaviest \({\mathcal {CP}}\)-even Higgs field, \(h_3\), is doublet-like in the depicted interval of \(\lambda \). As in the MSSM, the larger masses (of doublet-like fields) are affected by higher-order corrections to a lesser extent than the lighter states. Since at \(\lambda _\mathrm{c}^{(n)}\) the MSSM-type and genuine NMSSM-type contributions enter at equal footing, the SM-like state is most sensitive to genuine NMSSM-type contributions in the region of the cross-over behaviour.

4.2.2 Scenario P1

The results for the scenario P1 are shown in the second row of Fig. 1. The lightest field is dominantly doublet-like, and the second lightest state is singlet-like for the depicted values of \(\lambda \). The cross-over region between the doublet- and singlet-like state is rather wide in this case and starts at \(\lambda \approx 0.2\). The cross-over would occur for values of \(\lambda \) above 0.43, where the lightest field becomes tachyonic at the tree level (this parameter region is therefore not shown here). Thus, even for the largest value of \(\lambda \approx 0.43\) shown in the plot the lightest field is still dominantly doublet-like at all depicted orders. We therefore find that the qualitative behaviour in this scenario is very similar to the sample scenario, but the allowed range of \(\lambda \) is restricted to the region below the cross-over point in this case. For small values of \(\lambda \) the lightest field can be identified with the signal that was detected at the LHC at about \(125\ \mathrm{GeV}\). The heaviest \({\mathcal {CP}}\)-even Higgs field (not shown in the figure) remains doublet-like with a nearly constant mass of \(\approx \) \(760~\mathrm{GeV}\) for the depicted values of \(\lambda \).

4.2.3 Scenario P9

The results for the scenario P9 are shown in the third row of Fig. 1. Similarly to scenario P1 the variation of the two masses with \(\lambda \) follows the behaviour of the sample scenario. The interval in which the cross-over behaviour occurs is larger than in the sample scenario, but smaller than in scenario P1. The cross-over occurs at \(\lambda _\mathrm{c}^{(0)} > 0.34\) at tree level, at \(\lambda _\mathrm{c}^{(1)} \approx 0.25\) at one-loop order, and at \(\lambda _\mathrm{c}^{(2)} \approx 0.26\) at two-loop order. It thus lies within the displayed \(\lambda \) range if loop corrections are taken into account. While as before the character of the lightest field \(h_1\) changes from dominantly doublet-like to dominantly singlet-like when \(\lambda \) is increased through the cross-over region (and vice versa for \(h_2\)), \(h_1\) retains a doublet admixture of more than 40% even for \(\lambda \) values above the cross-over region in this scenario. Because of the sizeable admixture in this region, \(m_{h_1}\) and \(m_{h_2}\) each receive significant self-energy contributions from both the singlet and the doublet fields. The heaviest \({\mathcal {CP}}\)-even Higgs field (not shown in the figure) remains doublet-like with a nearly constant mass of \(\approx \) \(750~\mathrm{GeV}\) for the depicted values of \(\lambda \).

4.2.4 Scenario A1

The results for the scenario A1 are shown in Fig. 2. For values \(\lambda \lesssim 0.75\) the variation of the masses with \(\lambda \) follows the behaviour of the sample scenario. In this region the lightest field is doublet-like and the second lightest field is singlet-like. The \(\lambda \) values for which a cross-over behaviour occurs are at the tree-level \(\lambda _\mathrm{c}^{(0)} \approx 0.75\), at one-loop order \(\lambda _\mathrm{c}^{(1)} \approx 0.70\) and at two-loop order \(\lambda _\mathrm{c}^{(2)} \approx 0.62\). For larger values of \(\lambda \) the lightest field \(h_1\) obtains a singlet admixture of roughly 70%, and the next-to lightest field \(h_2\) obtains a doublet admixture of the same size. A doublet-like Higgs field with a mass close to \(125~\mathrm{GeV}\) can be realised only for values of \(\lambda \) smaller than \(\lambda _\mathrm{c}\) in this scenario. The heaviest \({\mathcal {CP}}\)-even Higgs field remains doublet-like with a mass increasing from nearly 1500 to \(1580~\mathrm{GeV}\) for the displayed values of \(\lambda \). In the following we will omit the discussion of the heaviest \({\mathcal {CP}}\)-even Higgs field, since it receives only very small two-loop contributions.

4.3 Numerically leading contributions at the one-loop level

For the prediction in the MSSM the top/stop-sector contributions are numerically leading. In the studied scenarios, given in Tables 2 and 3, the genuine NMSSM-corrections are suppressed w.r.t. the corresponding MSSM-like stop-corrections since \(\lambda \lesssim \lambda _\mathrm{max} < Y_t\), where \(\lambda _\mathrm{max} = 0.32, 0.43, 0.35\) in the three scenarios, see the discussion in Sect. 2.4. Thus, the genuine NMSSM corrections from this sector are expected to be subleading.

In order to study the impact of the genuine NMSSM contributions we compare the approximation based on the leading MSSM-type one-loop corrections in the gauge-less limit of \(\mathcal {O}{\left( Y_t^2\right) }\), labelled “\(t/\tilde{t}\text {-MSSM}\)” in Fig. 3, with the one where the genuine NMSSM corrections of \(\mathcal {O}{\left( \lambda Y_t, \lambda ^2\right) }\) are incorporated.

4.3.1 Sample scenario

For the sample scenario the difference between the mass predictions in the two approximations is plotted as a function of \(\lambda \) for \(m_{h_1}\) and \(m_{h_2}\) in the left plot of the first row in Fig. 3. We find that for the whole range of \(\lambda \) in the plot the impact of the genuine NMSSM corrections of \(\mathcal {O}{\left( \lambda Y_t,\lambda ^2\right) }\) remains less than 0.5 GeV. The largest difference between the two approximations occurs for the light singlet-like state \(h_1\) at large values of \(\lambda \) close to the upper limit of \(\lambda \approx 0.32\) shown in the plot. In fact, for \(m_{h_1}\) the difference between the two approximations is seen to rise sharply for increasing values of \(\lambda \). On the other hand, at the \(\lambda \) value where the cross-over behaviour occurs, \(\lambda _\mathrm{c}^{(1)}\), the difference between the two approximations is seen to have a local maximum but remains small, below \(0.1~\mathrm{GeV}\). For the doublet-like state, which has a one-loop mass of more than \(130~\mathrm{GeV}\) (see Fig. 1), the corrections from genuine NMSSM-contributions remain below the level of over the whole range of \(\lambda \). Thus, the approximation based on the MSSM-type contributions is seen to provide a very accurate prediction for the top/stop-sector contributions to the mass of a doublet-like state. For the singlet-like state, where the deviation grows with \(\lambda \), the deviation reaches \(\approx \) \(1 \%\) for the one-loop mass of the singlet-like state of \(\approx \) \(40~\mathrm{GeV}\) for \(\lambda \approx 0.32\).

Fig. 3
figure 3

Absolute difference between partial and full results for the one-loop masses of the two lighter \({\mathcal {CP}}\)-even fields in the sample scenario (first row) and the scenarios P1 (second row) and P9 (third row). Left column absolute difference between the mass predictions including and excluding the genuine NMSSM contributions from the stops of \(\mathcal {O}{\left( \lambda Y_t, \lambda ^2\right) }\) for \(m_{h_1}\) and \(m_{h_2}\). Right column absolute differences between the mass predictions based on two different one-loop approximations and the full one-loop result. The solid lines, labelled “\(t/\tilde{t}\text {-MSSM}\)”, depict the difference between the full result and the approximation based on the leading MSSM-type contributions from the top/stop sector, \(\Delta {m_{h_i}} = \left| m_{h_i}^{(\text {1L})} - m_{h_i}^{t/\tilde{t}\text {-MSSM}} \right| \). The dashed lines, labelled “\(t/\tilde{t}\text {-MSSM} + \text {HG}\)”, show the corresponding result where the leading MSSM-type contributions from the top/stop sector are supplemented by the contributions from the Higgs/higgsino and gauge/gaugino sectors, \(\Delta {m_{h_i}} = \left| m_{h_i}^{(\text {1L})} - m_{h_i}^{t/\tilde{t}\text {-MSSM} + \mathrm{HG}} \right| \)

The sharp increase of the corrections of \(\mathcal {O}{(\lambda Y_t, \lambda ^2)}\) for the highest values of \(\lambda \) that is visible for the light singlet-like field in the upper left plot of Fig. 3 indicates that the approximation for the stop sector of making the restriction of the MSSM-type contributions becomes questionable for the singlet-like state in this region. However, as shown in the upper right plot of Fig. 3, in this parameter region the stop sector as a whole ceases to provide a reliable approximation of the full one-loop contributions. In the right plot the difference between the full result and the approximation based on the leading MSSM-type contributions from the top/stop sector, \(\Delta {m_{h_i}} = | m_{h_i}^{(\text {1L})} - m_{h_i}^{t/\tilde{t}\text {-MSSM}} |\), is shown together with \(\Delta {m_{h_i}} = | m_{h_i}^{(\text {1L})} - m_{h_i}^{t/\tilde{t}\text {-MSSM} + \mathrm{HG}}|\), where in the latter case the leading MSSM-type contributions from the top/stop sector are supplemented by the contribution from the Higgs–higgsino and gauge/gaugino sectors. While for the singlet-like state the deviation between the leading contributions from the top/stop sector and the full one-loop result becomes huge for the largest values of \(\lambda \), reaching the level of \(20~\mathrm{GeV}\), the deviations stay small, far below the level of \(1~\mathrm{GeV}\), if the leading contributions from the top/stop sector are supplemented by the contributions from the Higgs-/higgsino and gauge–gaugino sectors. This result for the singlet-like state can be understood from the fact that the gauge couplings of the singlet-like state are heavily suppressed and that therefore the leading contributions for large \(\lambda \) arise from the Higgs and higgsino sector. Thus, improving on the approximation of MSSM-type contributions in the stop sector requires the incorporation of the contributions from the Higgs and higgsino sector, while the genuine NMSSM contributions in the stop sector are of minor significance in this context.

For the doublet-like state, namely \(h_1\) for values \(\lambda \lesssim \lambda _\mathrm{c}\) and \(h_2\) for \(\lambda \gtrsim \lambda _\mathrm{c}\), the difference between the full one-loop result and the result based on the leading contributions from the top/stop sector amounts to a shift of about \(5~\mathrm{GeV}\), which is essentially independent of \(\lambda \) except for the region where the cross-over behaviour occurs. This nearly constant shift arises mainly from subleading contributions in the top/stop sector. As indicated by the dashed lines, the inclusion of the contributions from the Higgs and the gauge sector reduces the difference from the full one-loop result by about \(1~\mathrm{GeV}\).

Fig. 4
figure 4

Absolute difference between partial and full results for the one-loop masses of the two lighter \({\mathcal {CP}}\)-even fields in the scenario A1. The meaning of the displayed curves is the same as in Fig. 3

4.3.2 Scenario P1

The difference between the mass predictions in the two approximations in the top/stop sector is plotted as a function of \(\lambda \) for \(m_{h_1}\) and \(m_{h_2}\) in the left plot of the second row in Fig. 3. As in Fig. 1, the qualitative behaviour is similar to the one in the sample scenario, while the allowed range in \(\lambda \) in P1 is restricted to the region below the cross-over point. The impact of the genuine NMSSM corrections is even smaller in this case than in the sample scenario, amounting to less than \(100~\mathrm{MeV}\) for both lighter \({\mathcal {CP}}\)-even Higgs fields. In the right plot of the second row the difference between the full result and the approximation based on the leading MSSM-type contributions from the top/stop sector and the leading MSSM-type contributions from the top/stop sector supplemented by the contribution from the Higgs-higgsino and gauge/gaugino sectors are shown. By supplementing the partial one-loop results with the Higgs/higgsino/gauge-boson/gaugino contributions the mass prediction for the doublet-like state is improved by \(\approx \) \(1.5\ \mathrm{GeV}\). As explained above for the sample scenario, the difference between the approximate mass prediction and the full one-loop result for the doublet-like state is mainly due to MSSM-type subleading contributions in the top/stop sector. The different variation with \(\lambda \) in the right plot as compared to the sample scenario is related to the much wider cross-over region in this case (starting at about \(\lambda = 0.2\)). The large deviation encountered in the sample scenario for the singlet-like state above the cross-over region is obviously not present in scenario P1, as the latter one is confined to \(\lambda \) values below the cross-over region.

4.3.3 Scenario P9

For the scenario P9 the results are given in the same fashion as for the other two scenarios in the third row of Fig. 3. As can be seen in the left plot, the impact of the genuine NMSSM corrections is even still smaller than in scenario P1, amounting to less than \(25~\mathrm{MeV}\) for both lighter \({\mathcal {CP}}\)-even Higgs fields. By supplementing the partial one-loop results with the Higgs/higgsino/gauge-boson/gaugino contributions (right plot) the mass prediction for the doublet-like state is improved by \(\approx \) \(1.5~\mathrm{GeV}\). The overall variation with \(\lambda \) resembles the one of the sample scenario (upper right plot) if in the latter case one focuses on \(\lambda \) values up to just above the cross-over region. The fact that in the scenario P9 there is a sizeable admixture of singlet- and doublet-components in the states \(h_2\) and \(h_1\) above the cross-over region leads to slight modifications. While for the sample scenario \(\Delta m\) is the same above and below the cross-over region for the doublet-like state, for scenario P9 we find that \(\Delta m\) is somewhat reduced for the doublet-like state above the cross-over region. Thus, in this region the singlet admixture of more than 40% to \(h_2\) shifts the approximate one-loop mass prediction closer to the mass obtained with the full one-loop calculation. It should be noted that even in the case of a sizeable admixture of singlet- and doublet-contributions, which is realised in scenario P9 above the cross-over region, the genuine NMSSM-type contributions have a minor impact compared to the Higgs/higgsino/gauge-boson/gaugino contributions.

Table 4 Main calculational differences between NMSSMCalc and our result (labelled NMSSMFeynHiggs) in the set-up used for the comparison in Sect. 4.4. The difference at one-loop order is caused only by the different renormalisation of the electric charge, described in Sect. 2.3. At two-loop order the codes in this set-up only differ by the genuine NMSSM contributions of \(\mathcal {O}{\left( Y_t\lambda \alpha _s, \lambda ^2 \alpha _s\right) }\). The two-loop MSSM corrections beyond \(\mathcal {O}{\left( \alpha _t \alpha _s\right) }\) and the resummation of logarithms are switched off in NMSSMFeynHiggs for the comparison in Sect. 4.4

4.3.4 Scenario A1

For the scenario A1 the corresponding analysis is shown in Fig. 4. As in Figs. 1 and 2, the qualitative behaviour for values close to and below the cross-over region is similar to the sample scenario. Up to values \(\lambda \approx 0.7\) the genuine NMSSM-type corrections from the top/stop sector are of similar size as for the sample scenario, amounting up to \(\approx \) \(100~\mathrm{MeV}\) for the doublet-like field \(h_1\) field with a mass close to \(125~\mathrm{GeV}\). For the singlet-like field the NMSSM-type contributions from the top/stop sector amount up to \(\approx \) \(500~\mathrm{MeV}\) in this region. The NMSSM-type contributions from the top/stop sector increase sharply for the singlet-like field \(h_1\) at values above \(\lambda _\mathrm{c}\), amounting up to \(4~\mathrm{GeV}\) for the largest values for \(\lambda \), and become tiny for the doublet-like field \(h_2\), staying well below \(20~\mathrm{MeV}\).

As before we observe also for this scenario with very large values of \(\lambda \) that other contributions beyond the leading MSSM-type contributions from the top/stop sector are numerically much more important than the leading genuine NMSSM-type contributions from the top/stop sector. As can be seen in the right plot of Fig. 4, the difference between the leading MSSM-type contributions from the top/stop sector and the full one-loop result amounts to about \(8~\mathrm{GeV}\) for the doublet-like field \(h_1\) in the region where \(\lambda \lesssim 0.5\). Supplementing the leading MSSM-type contributions from the top/stop sector with the Higgs/higgsino/gauge-boson/gaugino contributions improves the prediction by about 1–2 GeV. As before, the remaining difference in this parameter region is mainly caused by subleading contributions from the top/stop sector. For the singlet-like state \(h_2\) the discrepancy between the full one-loop result and the leading MSSM-type contributions from the top/stop sector becomes very significant for increasing \(\lambda \), reaching about \(12~\mathrm{GeV}\) for \(\lambda \approx 0.45\). This large effect is caused by the contributions of the Higgs/higgsino/gauge-boson/gaugino sectors. Incorporating those contributions reduces the discrepancy below the level of \(100~\mathrm{MeV}\). For \(\lambda \gtrsim 0.5\) the discrepancy between the full one-loop result and the leading MSSM-type contributions from the top/stop sector becomes huge for \(h_1\). The same is true for \(h_2\) for very large values of \(\lambda \) above 1. This huge effect is again caused by the contributions of the Higgs/higgsino/gauge-boson/gaugino sectors. Incorporating those contributions reduces the discrepancy to the level of 3–5 GeV. Accordingly, even for this extreme scenario the top/stop sector is well described by just the MSSM-type contributions in those regions of the parameter space where the top/stop sector itself provides an adequate approximation of the full one-loop result. For the highest values of \(\lambda \) in this scenario the contributions beyond the top/stop sector are huge, demonstrating the necessity to use in this case a complete result incorporating also the contributions from the Higgs/higgsino and gauge-boson/gaugino sectors.

4.3.5 Conclusion

As a result of the comparison performed in this section the MSSM-type top/stop-sector contributions of \({\mathcal {O}}(Y_t^2)\) have been verified as the leading one-loop contributions to MSSM-like fields. The genuine NMSSM top/stop-sector contributions of \({\mathcal {O}}(\lambda Y_t, \lambda ^2)\) have the largest impact on singlet-like fields for large values of \(\lambda \), where, however, an approximation based only on contributions from the fermion/sfermion sector is in any case insufficient. Our analysis at the one-loop level therefore shows that approximating the result for the top/stop sector by the leading MSSM-type contributions turns out to work well in the parameter regions where the top/stop sector itself yields a reasonable approximation of the full result. These findings provide a strong motivation for applying the same kind of approximation also at the two-loop level. For the description of singlet-like fields in the region of large values of \(\lambda \) we have demonstrated the importance of incorporating also the contributions from the Higgs/higgsino and gauge-boson/gaugino sectors.

4.4 Comparison with NMSSMCalc

For the comparison of our results with available tools the code NMSSMCalc [65] is particularly suitable, since it is the only public tool using also a mixed \(\overline{\mathrm {DR}}\)/on-shell renormalisation scheme. In this section the numerical differences between the results for the masses of the two lighter Higgs states from NMSSMCalc and our calculation will be discussed at different orders for the scenarios given in Table 2 and Table 3. Both codes, NMSSMCalc and our calculation, labelled NMSSM-FeynHiggs in the following, have been adapted for this comparison. The two codes interpret the input parameters in the stop sector as defined for on-shell renormalised masses of the stops.Footnote 8 Since NMSSMCalc uses a different charge renormalisation associated with the value \(\alpha {(M_Z)}\) for the electromagnetic coupling constant, we have reparametrised our result as described in Sect. 2.3. The numerical values for \(\alpha {(M_Z)}\) and \(\Delta {\alpha }\) have been taken directly from NMSSMCalc for this comparison,

$$\begin{aligned}&\Delta {\alpha } = \Delta {\alpha ^{(5)}_{\text {had}}} + \Delta {\alpha _{\text {lep}}} = 5.89188 \cdot 10^{-2}, \nonumber \\&\quad \alpha {\left( M_Z\right) } = 1/128.962 . \end{aligned}$$
(36)

After the reparametrisation is applied the only difference between the one-loop Higgs-mass predictions of NMSSMFeynHiggs and NMSSMCalc stems from the finite contribution of \(\delta {v}\) used in NMSSMCalc. Beyond the one-loop level only MSSM two-loop contributions of \(\mathcal {O}{(\alpha _t \alpha _s)}\) (calculated for on-shell renormalised top and stop masses) are considered in NMSSM-FeynHiggs for this comparison, as only their NMSSM-counterparts are implemented in NMSSMCalc. Two-loop corrections beyond the ones of \(\mathcal {O}{(\alpha _t \alpha _s)}\) as well as the resummation of logarithms, which are incorporated in the default version of NMSSM-FeynHiggs, are not included for the analysis in this section (for a discussion of their size see Sect. 4.5). For simplicity, we will refer to this reduced set of two-loop contributions as “two-loop order” throughout this section. The remaining differences between the Higgs-mass calculations of NMSSMCalc and NMSSMFeynHiggs in this set-up are summarised in Table 4. The applied modifications ensure that the comparison between the codes will quantify the numerical impact of the genuine NMSSM two-loop corrections of \(\mathcal {O}{\left( Y_t\lambda \alpha _s, \lambda ^2 \alpha _s\right) }\).

We used the SM parameters as specified in the built-in standard input files of NMSSMCalc for this comparison. We passed over the input values in the quark and squark sectors as on-shell parameters from NMSSMFeynHiggs to NMSSMCalc. The pole mass for the top, \(m_t = 173.2\ \mathrm{GeV}\), has been used in the loop contributions in this section, and the renormalisation scale has been chosen as \(m_t\). For the comparison the identical value \(\alpha _s^{\overline{\mathrm {MS}}}{(m_t^{(\text {OS})})} = 0.1069729\) has been used for both codes (using the evaluation in NMSSMCalc with the routines of [88]).

Table 5 Mass of the lightest \({\mathcal {CP}}\)-even Higgs fields obtained in the MSSM limit with NMSSMCalc and NMSSMFeynHiggs with the reparametrisation to \(\alpha {(M_Z)}\). Both codes yield the identical results in this limit

In a first step the one- and two-loop results of NMSSMCalc and NMSSMFeynHiggs have been compared in the MSSM limit, where \(\lambda \) and \(\kappa \) vanish simultaneously. Both the effects of the different renormalisation schemes and the reparametrisation have to vanish in this limit and thus the results have to be identical. The one- and two-loop results for the mass of the lightest \({\mathcal {CP}}\)-even field obtained in this limit with both codes, given in Table 5, are in agreement with each other with a precision of better than \(1~\mathrm{MeV}\) for each scenario (the same holds in this limit also for the predictions for the other neutral Higgs bosons).

This confirms that the MSSM-contributions are treated identically in both calculations. Thus all observed differences between the results for non-vanishing values of \(\lambda \) and \(\kappa \) can be associated to the treatment of the genuine NMSSM-contributions and residual higher-order effects of the different renormalisation of v after the reparametrisation.

Fig. 5
figure 5

Difference between the mass predictions for the two lighter \({\mathcal {CP}}\)-even fields \(h_1\) and \(h_2\) from NMSSMCalc and NMSSM-FeynHiggs at one- and two-loop order, \(\Delta {m_{h_i}} = m_{h_i}^{\texttt {NMSSM-FH}} - m_{h_i}^{\texttt {NMSSMCalc}}\), for the sample scenario. The result of NMSSM-FeynHiggs has been reparametrised to \(\alpha {\left( M_Z\right) }\). The points where the cross-over behaviour of the fields \(h_1\) and \(h_2\) occurs at one- and two-loop order are \(\lambda _\mathrm{c}^{(1)} \approx 0.21\) and \(\lambda _\mathrm{c}^{(2)} \approx 0.24\)

4.4.1 Sample scenario

For the sample scenario defined in Table 2 the differences between the two mass predictions are plotted in Fig. 5 as functions of \(\lambda \) for the two lighter \({\mathcal {CP}}\)-even states at one- and two-loop order, \(\Delta {m_{h_i}} = m_{h_i}^{\texttt {NMSSM-FH}} - m_{h_i}^{\texttt {NMSSMCalc}}\). The left plot in Fig. 5 shows the mass for the lighter state \(h_1\), and the mass for the heavier state \(h_2\) is shown in the right plot. The state \(h_1\) behaves doublet-like for values \(\lambda \lesssim \lambda _\mathrm{c}^{(n)}\) and singlet-like for values \(\lambda \gtrsim \lambda _\mathrm{c}^{(n)}\) (the behaviour of \(h_2\) is the opposite), where \(\lambda _\mathrm{c}^{(1)} \approx 0.21\) and \(\lambda _\mathrm{c}^{(2)} \approx 0.24\).Footnote 9 The values of \(\Delta {m_{h_i}}\) are seen to be negative for the doublet-like field and positive for the singlet-like field. We find that the difference between the two results is small for both mass predictions over the whole range of \(\lambda \). As expected, the largest differences, reaching about \(90~\mathrm{MeV}\) for \(\Delta {m_{h_1}}\) at the one-loop level, occur for the mass of the singlet-like state for the largest values of \(\lambda \) in the plot. The mass of the doublet-like state is affected to a lesser extent by approximating the \(\mathcal {O}{(\alpha _t \alpha _s)}\) correction by the MSSM-type contributions. The general shape of the one-loop difference, caused by the different treatment of the charge renormalisation, is seen to be maintained at the two-loop level. The main feature at the two-loop level is the shift in the cross-over points by \(\Delta {\lambda _\mathrm{c}} = \lambda _\mathrm{c}^{(2)} - \lambda _\mathrm{c}^{(1)} \approx 0.03\) between two- and one-loop order, while otherwise the difference in the \(\mathcal {O}{(\alpha _t \alpha _s)}\) contributions is found to have a very small effect. This can be seen for instance by comparing the local and global extrema at \(\lambda _\mathrm{c}^{(n)}\) and for the largest values around \(\lambda _\mathrm{max}\). Specifically, for \(\lambda = 0.32\) we find that the impact of the genuine NMSSM contributions of \(\mathcal {O}{(\alpha _t \alpha _s)}\), which are implemented only in NMSSMCalc amounts to less than \(50~\mathrm{MeV}\) for \(h_1\) (for a Higgs mass of \(m_{h_1} \approx 40~\mathrm{GeV}\)). For \(h_2\) the comparison of the height of the local extrema in the cross-over region yields a difference below \(20~\mathrm{MeV}\) (for a Higgs mass of \(m_{h_2} \approx 125~\mathrm{GeV}\)).

Fig. 6
figure 6

Size of the two-loop contributions, \(\Delta {m_{h_i}} = m_{h_i}^\mathrm{1L} - m_{h_i}^\mathrm{2L}\) evaluated with NMSSMFeynHiggs (blue) and with NMSSMCalc (red) for the masses of the two lighter \({\mathcal {CP}}\)-even fields \(h_1\) (left) and \(h_2\) (right) in the scenarios P1 (upper row), P9 (second row) and A1 (third row)

4.4.2 Scenarios P1, P9 and A1

The comparisons between NMSSMFeynHiggs and NMSSMCalc for the scenarios P1 and P9 are shown in Fig. 6 in the first and second row, while the scenario A1 is shown in the lower row. For better illustration we plot here the size of the two-loop contributions, \(\Delta {m_{h_i}} = m_{h_i}^\mathrm{1L} - m_{h_i}^\mathrm{2L}\), as obtained with the two codes as a function of \(\lambda \). As for the sample scenario, the main effect in the comparison arises from a slight relative shift in \(\lambda \) between the predictions of the two codes. At the one-loop level this shift amounts typically to \(\Delta {\lambda _\mathrm{c}} \approx 10^{-4}\) (the corresponding plots are not shown here since the curves for the predictions of the two codes would be essentially indistinguishable). For the two-loop contributions displayed in Fig. 6 one can see that the genuine NMSSM-type two-loop corrections that are implemented in NMSSMCalc give rise to a slightly different dependence on \(\lambda \), which becomes visible for large values of \(\lambda \).

As discussed above, in the P1 scenario the displayed range of \(\lambda \) corresponds to the region below the cross-over point. For the sample scenario we found in this region a slight increase in the absolute difference between the results; see Fig. 5. The difference between the two-loop contributions shown in Fig. 6 is seen to follow a similar pattern. For \(h_1\) (upper left plot) the difference between the two contributions exceeds the level of \(0.5~\mathrm{GeV}\) for the highest values of \(\lambda \) that are possible in this scenario because of the steep slope of the curves (which are slightly shifted in \(\lambda \) with respect to each other) in this region. The dominantly doublet-like state \(h_1\) has a significant singlet admixture in this region, which increases up to more than 30% for the highest \(\lambda \) values. It should be noted that such a large singlet admixture severely worsens the compatibility of the state \(h_1\) with the observed Higgs signal at about \(125~\mathrm{GeV}\) (independently of its mass, which is incompatible with the signal in this part of the plot; see Fig. 1). The differences are smaller for the (dominantly singlet-like) state \(h_2\) (upper right plot) and reach a significant level only for \(\lambda \) values that are close to the boundary of the allowed range.

For the scenario P9, where above the cross-over region a relatively large admixture of more than 40% between the doublet-like and the singlet-like state occurs, the differences stay relatively small over the whole displayed range of \(\lambda \) both for \(h_1\) (middle left plot) and \(h_2\) (middle right plot). The largest deviations occur for the dominantly singlet-like state \(h_1\) (with a sizeable doublet admixture) for the highest values of \(\lambda \) above the cross-over region, where the two-loop contributions differ from each other by up to \(0.8~\mathrm{GeV}\).

For the scenario A1, where above the cross-over region a relatively large admixture of more than 30% between the doublet-like and the singlet-like state occurs, the differences nevertheless stay small over the whole displayed range of \(\lambda \) both for \(h_1\) (lower left plot) and \(h_2\) (lower right plot). Even for the largest values of \(\lambda \) the difference between the two contributions remains below \(0.26~\mathrm{GeV}\). Our analysis shows that even for this extreme scenario with very high values of \(\lambda \) the genuine NMSSM-type two-loop corrections that are only implemented in NMSSMCalc are of minor numerical significance. From our analysis at the one-loop level, on the other hand, it is expected that the two-loop contributions beyond the fermion/sfermion sector are very important in this parameter region, so that the theoretical uncertainties of both codes are expected to be rather large in this region.

4.4.3 Conclusion

The results shown in Figs. 5 and 6 confirm that the approximation in terms of MSSM-type contributions at the two-loop level induces an uncertainty that is numerically small, if \(\lambda < Y_t\), as discussed in the previous sections. As expected, the approximation works best for the MSSM-like (doublet-like) fields, and we have found for the analysed scenarios that the deviations stay below the level of \(1~\mathrm{GeV}\) even for the highest possible values of \(\lambda \) and in regions with a large admixture between double- and singlet-like states. An improved prediction for singlet-like states for large values of \(\lambda \) would require the incorporation of two-loop contributions from the Higgs/higgsino and gauge-boson/gaugino sectors, which is beyond the scope of our present analysis.

Fig. 7
figure 7

Mass predictions for the two lighter \({\mathcal {CP}}\)-even fields \(h_1\) and \(h_2\) for different contributions at two-loop order in the sample scenario (first row) and the scenarios P1 (second row) and P9 (third row). The blue lines include all MSSM-type corrections of \(\mathcal {O}{\left( \alpha _t\alpha _s,\alpha _b\alpha _s, \alpha _t^2,\alpha _t\alpha _b\right) }\) and the resummation of large logarithms as included in FeynHiggs 2.10.2, while for the red curves only the MSSM-type corrections of \(\mathcal {O}{(\alpha _t\alpha _s)}\) are included beyond the full one-loop contributions. The thin horizontal line marks \(125~\mathrm{GeV}\)

Fig. 8
figure 8

Mass predictions for the two lighter \({\mathcal {CP}}\)-even fields \(h_1\) and \(h_2\) for different contributions at two-loop order in the scenario A1. The meaning of the displayed curves is the same as in Fig. 7

4.5 Impact of additional corrections beyond \(\mathcal {O}{\left( \alpha _t \alpha _s\right) }\)

While the genuine NMSSM two-loop corrections of \(\mathcal {O}(Y_t \lambda \alpha _s, \lambda ^2\alpha _s )\) induce small effects, as discussed in the previous section, the MSSM two-loop corrections beyond \(\mathcal {O}{(\alpha _t \alpha _s)}\) and the resummation of large logarithms can result in a shift for the mass of the light doublet-like field of several \(\mathrm{GeV}\). In order to quantify the impact of the additional MSSM-contributions of \(\mathcal {O}{(\alpha _t^2, \alpha _b \alpha _s, \alpha _t \alpha _b)}\) and the resummation of logarithms, which are incorporated in NMSSMFeynHiggs, the results with and without these corrections are plotted as functions of \(\lambda \) in Figs. 7 and 8 for the discussed scenarios. Here the one-loop \(\overline{\mathrm {MS}}\)-value of the top-quark, \(m_t^{\overline{\mathrm {MS}}}{(m_t)}\), is used in the loop contributions. A sizeable shift of about 3–8 \(\mathrm{GeV}\) can be observed for the mass of the doublet-like field. As expected, the impact of the MSSM-type two-loop contributions on the mass prediction for the singlet-like field remains small. In comparison with the contributions discussed in the previous section we find that the effect of the additional corrections beyond \(\mathcal {O}{(\alpha _t\alpha _s)}\) can exceed the numerical impact of the genuine NMSSM-corrections of \(\mathcal {O}{(Y_t \lambda \alpha _s, \lambda ^2 \alpha _s)}\) by more than one order of magnitude.

5 Conclusions

We have presented predictions for the Higgs-boson masses in the NMSSM obtained within the Feynman-diagrammatic approach. They are based on the full NMSSM one-loop corrections supplemented with the dominant and sub-dominant two-loop corrections of MSSM-type, including contributions at \(\mathcal {O}{\left( \alpha _t \alpha _s, \alpha _b \alpha _s, \alpha _t^2,\alpha _t\alpha _b\right) }\), as well as a resummation of leading and subleading logarithms from the top/scalar top sector. In order to enable a direct comparison with the corresponding results in the MSSM, the renormalisation scheme and all parameters and conventions have been chosen such that the well-known MSSM result of the code FeynHiggs is recovered in the MSSM limit of the NMSSM.

In our phenomenological analysis we have first investigated a scenario where depending on the value of \(\lambda \) either the lightest or the next-to-lightest neutral Higgs state can be identified with a SM-like Higgs boson at about \(125~\mathrm{GeV}\). Furthermore we have investigated two scenarios (originally proposed in a different context; see the discussion in Sect. 4.1) where larger values of \(\lambda \) than in the sample scenario can be realised, and sizeable admixtures between singlet- and doublet-like states can occur also outside of the “cross-over” region. The lightest neutral Higgs-state can be identified with a SM-like Higgs boson at about \(125~\mathrm{GeV}\) in both scenarios for low and moderate values of \(\lambda \). As expected, the state that can be identified with the observed Higgs signal at about \(125~\mathrm{GeV}\) is doublet-like in all cases, i.e. it receives only relatively small contributions from the singlet state of the NMSSM. In order to investigate the impact of the various contributions for even higher values of \(\lambda \), we have furthermore analysed another variation of these scenarios in which values of \(\lambda \) up to \(\lesssim 1.5\) can be realised. The inclusion of the higher-order contributions which are known for the MSSM is crucial for all scenarios in order to obtain an accurate prediction for the mass spectrum.

We have investigated different approximations at the one-loop level in comparison with our full one-loop result for the NMSSM. We have found that the approximation of the result for the top/stop sector in terms of the leading MSSM-type contributions works well in the parameter regions where the top/stop sector itself yields a reasonable approximation of the full result. It therefore appears to be well motivated to make use of this approximation at the two-loop level. The genuine NMSSM top/stop-sector contributions of \({\mathcal {O}}(Y_t\lambda , \lambda ^2)\) can be significant for singlet-like fields if \(\lambda \) is large. For such large values of \(\lambda \), however, the improvement achieved by including those genuine NMSSM contributions from the top/stop sector is by far overshadowed by the fact that contributions from the Higgs and higgsino sector become more and more important for a singlet-like Higgs field.

We have compared our predictions with the public code NMSSMCalc for on-shell parameters in the top/stop sector. For the purpose of this comparison we have done an appropriate reparametrisation of the electromagnetic coupling constant, and we have switched off the two-loop corrections beyond the ones of \(\mathcal {O}{(\alpha _t \alpha _s)}\) as well as the resummation of leading and subleading logarithms in our code. After those adaptations the predictions of the two codes only differ in the charge renormalisation at the one-loop level and in the genuine NMSSM top/stop-sector contributions of \({\mathcal {O}}(Y_t\lambda \alpha _s, \lambda ^2\alpha _s)\) at the two-loop level. Since these differences arise only from contributions beyond the MSSM, agreement between the predictions of the two codes is expected in the MSSM limit of the NMSSM. We have indeed found that the results obtained with the two codes perfectly agree with each other in this case. For the case of the NMSSM we have compared the predictions of the two codes as a function of \(\lambda \). We have found that the differences stay small over the whole range of \(\lambda \), with a maximum absolute difference in the mass of the singlet- or the doublet-like state below \(1~\mathrm{GeV}\) in the considered scenarios. The difference is mainly caused by the different treatment of the charge renormalisation at the one-loop level, while the effect of the genuine NMSSM top/stop-sector contributions of \({\mathcal {O}}(Y_t\lambda \alpha _s, \lambda ^2\alpha _s)\) is found to be generally smaller except for the highest values of \(\lambda \) that can be realised in the scenarios. The impact of the genuine NMSSM top/stop-sector contributions of \({\mathcal {O}}(Y_t\lambda \alpha _s, \lambda ^2\alpha _s)\) turned out to be small even in parameter regions where the dominantly doublet-like state has a singlet admixture of more than 30%. A more detailed comparison between the two codes will be presented in a forthcoming publication.

As a final step of our numerical analysis we have investigated the impact of the MSSM-corrections beyond \(\mathcal {O}{(\alpha _t \alpha _s)}\) and the resummation of large logarithms that are incorporated in our code but not in NMSSMCalc. While those corrections are small for the mass of a dominantly singlet-like state, they amount to an effect of 3–8 GeV for the mass of the doublet-like state in the considered scenarios. This is typically more than an order of magnitude larger than the corresponding effect of the genuine NMSSM-corrections of \(\mathcal {O}{(Y_t \lambda \alpha _s, \lambda ^2 \alpha _s)}\).

The results presented in this paper will be used as a basis for the extension of the code FeynHiggs to the NMSSM. Our analysis has revealed that for singlet-like states in the parameter region of very high values of \(\lambda \) two-loop corrections beyond the fermion/sfermion sector are expected to be sizeable. In order to reduce the theoretical uncertainties in this parameter region the incorporation of two-loop contributions from the Higgs/higgsino and gauge-boson/gaugino sectors will be desirable. Partial results of this kind have only been obtained in a pure \(\overline{\mathrm {DR}}\) scheme up to now. We leave a more detailed discussion of this issue to future work.