1 Introduction

The observed matter–anti-matter asymmetry and dark matter (DM) constituent of the universe are decisive indications for physics beyond the standard model (SM) of particle physics. The theoretical and model building developments for addressing these include the electroweak baryogenesis scenario [1, 2] which requires that earlier, the universe undergoes a strong first-order electroweak phase transition. Particles that are stable and weakly, or indirectly, coupled to the SM particles but with acceptable relic densities can be considered for explaining the DM part of the universe [3].

Within the SM, there is one complex Higgs doublet which led to the prediction of the now observed Higgs boson. Extensions of the SM Higgs sector with additional \(SU(2)_L\) n-tuples provide interesting theoretical scenarios that could simultaneously account for baryogenesis via a strong first-order electroweak phase transition(EWPT) in the early universe and the observed DM density. There are many considerations with various DM and EWPT phenomenology perspectives for addressing non-minimal Higgs sectors. For instances, see the non-exhaustive selection [4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19], the references therein and their citations.

In [20], various models extending the SM Higgs sector using different Higgs multiplet representations were compared based on the EWPT and DM constraints. The analyses showed that the inert Higgs doublet model(IDM) turned out to be the favoured model. The IDM, an extension of the SM by a second Higgs doublet with no direct couplings to fermions, is one of the simplest scenarios with which a strong first-order EWPT can be realised and at the same time provide a candidate DM particle. With a \({\mathbb {Z}}_{2}\) symmetry imposed, the lightest \({\mathbb {Z}}_{2}\)-odd particle will be stable and hence a suitable DM candidate [21] with thermal relics that could explain the observed DM density. Many groups have analysed the IDM in the context of DM, EWPT, and collider phenomenology such as in [10,11,12, 14, 20, 22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38].

In this paper, we are going to make the first statistically convergent Bayesian global fit of the IDM in the light of the requirement that the inert Higgs particle simultaneously lead to a strong first-order EWPT and accounts for the observed cold DM relic density. This should be complementary to the work reported in [39], where a frequentist global fit analysis of the IDM were made using constraints including the DM indirect detection limits, which we do not consider here. The requirement for a strong first-order EWPT is central to the analysis presented here but was not addressed in [39]. Further, for our analysis, we have derived the IDM Lagrangian from the most general renormalisable potential proposed in [14] which differs from previous general potentials used within the literature. Ultimately, we wish to derive the Lagrangians for other representations from this and compare with the IDM to go beyond [20]. Using LanHEP [40], the model Lagrangian was written in the form required by micrOMEGAs [41,42,43,44] for computing DM properties and another form required by BSMPT (Beyond the Standard Model Phase Transitions), a tool for computing beyond the SM (BSM) electroweak phase transitions [45].

We found that the collider, DM, and theoretical constraints applied to the IDM reveal strong support for the existence of an inert Higgs boson around 100 GeV. The most important of the constraints, namely, the oblique parameters from electroweak precision measurements, the dark matter direct detection limits, and the condition for obtaining a strongly enough first-order EWPT, all have a strong dependence on the mass splittings between the IDM scalars, \(\Delta m_i\). A deeper study of the correlations with \(\Delta m_i\) is an interesting direction beyond the scope of the fits presented here which we hope to address in another project.

The layout of this paper is as follows. In Sect. 2, we introduce the inert doublet model as a simple extension of the standard model with one additional Higgs doublet Q and an unbroken \({\mathbb {Z}}_{2}\) symmetry under which Q is odd while all other fields are even. This discrete symmetry prevents the direct coupling of Q to fermions and, crucial for dark matter, guarantees the stability of the lightest odd particle. In Sect. 3, we describe the theoretical conditions that the IDM parameters must satisfy in order to be acceptable. The constraints from collider searches, DM-related limits and the requirement for a strong first-order EWPT are also described in that section. In Sect. 4, we present the result of the global fits and analyses of the IDM parameter space. Our conclusions are presented in the last section.

2 The inert doublet model (IDM)

The \(SU(2)_L \times U(1)_Y\) gauge group representations are labelled by isospin and hypercharge, (JY). J takes integer and semi-integer values, and Y can have any real value. The electric charge of each component of the multiplet is given by \(Q =T_3 + \frac{Y}{2}\). Here, \(T_3\) is the third component of \(SU(2)_L\) group generators that can take \(n = 2J+1\) values \(T_3 = J, J-1, ..., -J\) in the n representation. In order for one of the components to be a DM candidate, its electric charge must be zero. This constrains the possible values of the hypercharge, Y, for each J. For even(odd) values of n, the value of Y must be an odd (even) integer and it is necessary that \(|Y| \leqslant 2J\). For the IDM, \(\mathbf{n} = 2\), there is only one value for hypercharge, \(|Y| = 1\). We only consider representations with a positive value of Y. Representations with a negative value of Y are similar to the positive ones.

In [14], the most general renormalisable scalar potential, V, with the SM Higgs doublet, H, and an electroweak multiplet Q of arbitrary \(SU(2)_L\) rank and hypercharge, Y, was developed. Imposing a discrete \({\mathbb {Z}}_{2}\) symmetry, under which Q is odd while all the SM fields are even, prevents the lightest \({\mathbb {Z}}_{2}\)-odd particle from decaying into SM particles. Thus, it could play the role of the DM candidate. Specialising to the IDM case, the scalar potential is given by

$$\begin{aligned} V&= \, \mu _h^2|H|^2 + \lambda _h|H|^4 + \mu ^2_{Q}Q^{\dagger }Q + \lambda _1 [(QQ)_1({\overline{Q}}\,{\overline{Q}})_1]_{0}\,\nonumber \\&\quad + \alpha (H^{\dagger }H)(Q^{\dagger }Q) + \beta [({\overline{H}}H)_{1}({\overline{Q}}Q)_{1}]_{0} \nonumber \\&\quad + \Big \{\kappa _1[(HH)_{1}({\overline{Q}}\,{\overline{Q}})_{1}]_{0} + H.c.\Big \} \end{aligned}$$
(1)
$$\begin{aligned}&\quad \text { with } H \equiv \begin{pmatrix} H^{+} \\ H^{0} \end{pmatrix} =\frac{1}{\sqrt{2}} \begin{pmatrix} x_1+i x_2 \\ h + i x_3 \end{pmatrix}\nonumber \\&\quad \text { and } \quad Q = \frac{1}{\sqrt{2}} \begin{pmatrix} y_1+i y_2 \\ S + i R \end{pmatrix}. \end{aligned}$$
(2)

Here \(\mu _{Q}, \lambda _1, \alpha , \beta \), and \(\kappa _1 \equiv K\) represent the free parameters of the IDM; h is the SM-like neutral Higgs field, with the vacuum expectation value (VEV) \( \left\langle h \right\rangle \equiv v \approx 246 \, \text {GeV}\); and \(x_1\), \(x_2\), and \(x_3\) are the electroweak Goldstone bosons. In unitary gauge, the parameters used here map to the commonly used \(\lambda _{1,2,\dots , 5}\) notation [11] as follows:

$$\begin{aligned}&\left( \lambda _h, \quad \frac{1}{\sqrt{3}} \, \lambda _1, \quad \alpha , \quad \frac{1}{2\sqrt{3}} \, \beta , \quad \frac{2}{\sqrt{3}} \, \kappa _1\right) \nonumber \\&\quad \rightarrow \left( \lambda _1, \lambda _2, \lambda _3, \lambda _4, \lambda _5 \right) . \end{aligned}$$
(3)

\({\overline{H}}\) and \({\overline{Q}}\) are the similarity transformation-related equivalents of the \(SU(2)_L\) representations for H and Q respectively. For the IDM, with \(J =\frac{1}{2}\), the similarity transformation matrix V is equal to \(\begin{pmatrix} 0 &{} 1 \\ -1 &{} 0 \end{pmatrix}\) so that

$$\begin{aligned} {\overline{H}}= & {} V H^{*}=\frac{1}{\sqrt{2}} \begin{pmatrix} h - i x_3\\ -x_1+i x_2 \end{pmatrix}\nonumber \\&\quad \text { and } \quad {\overline{Q}}= V Q^{*}=\frac{1}{\sqrt{2}} \begin{pmatrix} S - i R \\ -y_1+i y_2 \end{pmatrix}. \end{aligned}$$
(4)

This way, \(({\overline{Q}}_{j=\frac{1}{2}}\,Q_{j=\frac{1}{2}})_J\) represents the combination of two \(j=\frac{1}{2}\) doublets with total isospin J. The isospin addition rules should be used. For instance

$$\begin{aligned} ({{\overline{H}}} H)_1 = \begin{pmatrix} (H^0)^* H^+ \\ \frac{1}{\sqrt{2}}\left[ ( H^0)^*H^0 - (H^+)^* H^+ \right] \\ -(H^+)^* H^0 \end{pmatrix}. \end{aligned}$$
(5)

The mass terms for the neutral scalar S, the pseudoscalar state, R, and for the charged scalar, \(Y^{\pm }\), after electroweak symmetry breaking are

$$\begin{aligned} M_{S}^2= & {} \mu _Q^2 +\bigg (\frac{\alpha }{2}+\frac{\sqrt{3}}{3}K - \frac{\sqrt{3}}{12}\beta \bigg )v^2, \, M_{R}^2 = \mu _Q^2\nonumber \\&+\left( \frac{\alpha }{2}-\frac{\sqrt{3}}{3}K - \frac{\sqrt{3}}{12}\beta \right) v^2, \, M_{Y^{\pm }}^2 \nonumber \\= & {} \mu _Q^2 +\left( \frac{ \alpha }{2}+\frac{\sqrt{3}}{12}\beta \right) v^2. \end{aligned}$$
(6)

For S to be the DM candidate particle, and stable, \(M_S < M_R , M_{Y^{\pm }}\) must be satisfied. Accordingly, this choice will imply that \(K<0\) and \(\frac{\sqrt{3}}{3}K+\frac{\sqrt{3}}{6}\beta <0\). Using the Higgs portal notations,

$$\begin{aligned} \Lambda _1= & {} \frac{\alpha }{2}+\frac{\sqrt{3}}{3}K - \frac{\sqrt{3}}{12}\beta , \quad \text { and } \nonumber \\&\quad {\bar{\Lambda }}_1 = \frac{\alpha }{2}-\frac{\sqrt{3}}{3}K - \frac{\sqrt{3}}{12}\beta \end{aligned}$$
(7)

are respectively related to the triple and quartic couplings between the SM Higgs h and the DM candidate S or the pseudoscalar R. The parameters \(\alpha \) and \(\beta \), on the other hand, determines the mass term, and describe the h interaction with the charged scalars \(Y^{\pm }\). The parameter \(\lambda _1\) describes the quartic self- and non-self couplings of extended Higgs sector particles. The vertex factors are summarised in Table 1. The portal parameters can be expressed in terms of the mass parameters and \(\lambda _1\) as follows

$$\begin{aligned} \alpha= & {} 2 \Lambda _1 - \frac{1}{2v^2}(3M_S^2-2M_{Y^\pm }^2-M_R^2), \,\nonumber \\ \beta= & {} -\frac{\sqrt{3}}{v^2}(M_S^2+M_R^2-2M_{Y^\pm }^2), \, \nonumber \\ K= & {} \frac{\sqrt{3}}{2v^2}(M_S^2-M_R^2). \end{aligned}$$
(8)
Table 1 The vertex factors for the IDM couplings

In all, the IDM has five free parameters which can be chosen to be \(M_S, M_R, M_{Y^{\pm }}, \lambda _1\), and \(\Lambda _1\). For the global fits, the mass parameters were allowed in the range 1–5 TeV. The parameter \(\Lambda _1\) was allowed in [\(-1\), 1] while \(\lambda _1\) was fixed at 0.1. In what follows, we are going to explain the set of theoretical and experimental results used for constraining the IDM parameters space.

3 The constraints on the IDM

3.1 Theoretical constraints

Vacuum stability A scalar potential has to be bounded from below for describing a stable physical system. Within the SM, this means that the self-coupling of the Higgs boson, \(\lambda _h\), has to be positive. For the IDM, the vacuum of the potential has to be stable in the limit of large values along all possible directions of the field space. This will require that [46]

$$\begin{aligned}&\lambda _h> 0, \, \lambda _1> 0; \, \alpha + 2\sqrt{\lambda _1 \lambda _h}>0; \, \text { and } \nonumber \\&\quad \alpha +\frac{\sqrt{3}}{6}(\beta -|K|)+2\sqrt{\lambda _1 \lambda _h}>0. \end{aligned}$$
(9)

Perturbativity and unitarity For calculations using perturbation theory, the relevant couplings used as expansion parameters should not be too large. This can be imposed by requiring that the absolute values of the coupling parameters be less than \(4\pi \) [47]. We also require that unitarity should not be violated for all scalar \(2 \rightarrow 2\) scattering. The perturbative unitarity conditions [11, 47] applied to the IDM are \(|U_i| \le 8 \pi \), where \(i = 1, \ldots 10\),

$$\begin{aligned} U1&= \lambda _h + \frac{\sqrt{3}}{3}\lambda _1 + \frac{\sqrt{3\lambda _1^2 - 6{\sqrt{3}}\lambda _1 \lambda _h+3 \beta ^2+9 \lambda _h^2}}{3}, \nonumber \\ U2&= \lambda _h + \frac{\sqrt{3}}{3}\lambda _1 - \frac{\sqrt{3\lambda _1^2 - 6{\sqrt{3}}\lambda _1 \lambda _h+3 \beta ^2+9 \lambda _h^2}}{3}, \nonumber \\ U3&= \lambda _h + \frac{\sqrt{3}}{3}\lambda _1 + \frac{\sqrt{3\lambda _1^2 - 6{\sqrt{3}}\lambda _1 \lambda _h+3 K^2+9 \lambda _h^2}}{3},\nonumber \\ U4&= \lambda _h + \frac{\sqrt{3}}{3}\lambda _1 - \frac{\sqrt{3\lambda _1^2 - 6{\sqrt{3}}\lambda _1 \lambda _h+3 K^2+9 \lambda _h^2}}{3},\nonumber \\ U5&= \alpha - \frac{{\sqrt{3}}}{6}\beta - 4 \frac{\sqrt{3}}{3}K \nonumber \\ U6&= -\alpha + \frac{{\sqrt{3}}}{6}\beta + 4 \frac{\sqrt{3}}{3}K, \nonumber \\ U7&= \alpha - \frac{{\sqrt{3}}}{6}\beta , \nonumber \\ U8&= \alpha + \frac{\sqrt{3}}{2} \beta ,\nonumber \\ U9&= \alpha + \frac{\sqrt{3}}{6} \beta + \frac{\sqrt{6}}{3}K, \quad \text { and }\nonumber \\ U10&= \alpha + \frac{\sqrt{3}}{6} \beta - \frac{\sqrt{6}}{3} K. \end{aligned}$$
(10)

3.2 Limits from collider searches

The main approach for the phenomenological exploration of BSMs is the confrontation of the models with limits from experiments. The large electron-positron(LEP), Tevatron and the large hadron collider (LHC) experiments publish exclusion limits based on precision measurements or the non-observation of new particles. For exploring and fitting the IDM parameter space to data, the categories of collider limits used are explained as follows.

LEP Precision measurement results by LEP exclude the possibility that massive SM gauge bosons decay into inert particles. This requires that [11, 23, 35]

$$\begin{aligned}&M_{R,S} + M_{Y^\pm } \ge M_W, \quad M_R + M_S \ge M_Z, \nonumber \\&\quad \text { and } 2M_{Y^\pm } \ge M_Z. \end{aligned}$$
(11)

The LEP results also give rise to the exclusion of an intersection of mass ranges which can be evaded by fulfilling all of the following conditions simultaneously [11, 26]

$$\begin{aligned} M_{S}> 80\, \mathrm{{GeV}}, \quad M_{R} > 100 \,\mathrm{{GeV}}, \quad M_{R}-M_{S} < 8 \,\mathrm{{GeV}}.\nonumber \\ \end{aligned}$$
(12)

There is also the limit \(M_{Y^{\pm }} > 70 \,\mathrm{{GeV}}\) from searches for charged Higgs pair production.

Oblique parameters The values of the S, and T (with U = 0) oblique parameters for a given point in the IDM parameter space can be computed as [11, 48]

$$\begin{aligned} \begin{aligned} S&= \frac{1}{72\pi \left( x_{2}^{2} - x_{1}^{2} \right) ^{3}} \left[ x_{2}^{6}f_{a}\left( x_{2} \right) - x_{1}^{6} f_{a} \left( x_{1} \right) \right. \\&\quad + 9x_{1}^{2}x_{2}^{2} \left( x_{2}^{2}f_{b}\left. \left( x_{2} \right) - x_{1}^{2}f_{b} \left( x_{1} \right) \right) \right] \\ T&= \frac{1}{32\pi ^{2}\alpha v^{2}} \left[ f_{c} \left( M_{Y^{\pm }}^{2}, M_{R}^{2} \right) + f_{c} \left( M_{Y^{\pm }}^{2}, M_{S}^{2} \right) \right. \\&\quad \left. - f_{c} \left( M_{R}^{2}, M_{S}^{2} \right) \right] \\&\simeq \frac{1}{24\pi ^{2}\alpha v^{2}}(M_{Y^\pm }-M_S)(M_{Y^\pm }-M_R)\, \\&= \frac{\Delta m_{Y^\pm } \, ( \Delta m_{Y^\pm } - \Delta m_R)}{24\pi ^{2}\alpha v^2}\,. \end{aligned} \end{aligned}$$
(13)

Here, \(\Delta m_{Y^\pm } = M_{Y^\pm }-M_S\), \(\Delta m_R = M_R-M_S\), \(x_{1} \equiv \frac{M_{S}}{M_{Y^{\pm }}} \), \( x_{2} \equiv \frac{M_{R}}{M_{Y^{\pm }}} \), \(\alpha \approx 1/127\) denotes the fine-structure constant at the scale of the Z boson mass, \(f_{a}(x) \equiv -5 + 12\ln x\), \(f_{b}(x) \equiv 3-4\ln x\), and

$$\begin{aligned} f_{c}(x,y) \equiv {\left\{ \begin{array}{ll} \frac{x+y}{2} - \frac{xy}{x-y}\ln \frac{x}{y} &{}\mathrm {for} \ x\ne y \\ 0 &{}\mathrm {for} \ x=y \end{array}\right. }\,. \end{aligned}$$
(14)

Only model points with S and T oblique parameters within 1-sigma of the PDG [49] average were accepted. There is a strong correlation between these parameters and the limit on other observables used for the IDM analyses. In particular, both the requirement for a strong first-order EWPT \(\frac{v_c}{T_c} > 1\) and the upper bound on the inert singlet versus nucleons elastic scattering cross section, \(\sigma ^{SI}\), are strongly dependent on the IDM mass differences. This is also the case for the oblique parameters as can be seen in Eq.(13). The new precision measurements of the top-quark and W boson masses [50, 51] will change the allowed ranges for the oblique parameters. We check that the IDM fit presented here are compatible with these within 2-sigma range of the allowed interval from an updated global fit [52], which includes these new measurements, of new physics models to electroweak precision data.

Limits implemented in HiggsBounds The Higgs sector predictions based on the IDM are compared with corresponding cross section limits for various processes studied at LEP, Tevatron, and LHC to determine whether the IDM parameter point has been excluded at 95% CL or not. HiggsBounds [53,54,55] incorporates results from LEP [56,57,58,59,60,61,62,63,64,65,66,67,68,69,70], the Tevatron [71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87], the ATLAS [88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130], and the CMS [131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175] experiments.

Limits implemented in Lilith Should the second CP-even Higgs boson of the IDM be SM-like, with mass between 123 and 128 GeV, then Lilith [176,177,178] is used for gauging its couplings with respect to the Higgs signal strength measurements from ATLAS [179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200] and CMS [201,202,203,204,205,206,207,208,209,210,211,212,213]. For each IDM point with an associated signal strength \(\mu _i\) , Lilith returns a log-likelihood value

$$\begin{aligned} -2L_{lilith}( \theta ) = - 2 \sum _i \log L(\mu _i) = \sum _{i} \left( \frac{\mu _i(\theta ) - {\hat{\mu }}_i}{\Delta \mu _i}\right) ^2.\nonumber \\ \end{aligned}$$
(15)

Here i runs over the various categories of Higgs boson production and decay modes combinations for a given point, \(\theta \), in the model parameter space. \({\hat{\mu }}_i \pm \Delta {\hat{\mu }}_i\) represents the experimentally determined signal strengths. Theoretically, the signal strength associated to a model point for a given production mode X and decay mode Y is

$$\begin{aligned} \mu = \sum _{X,Y} \epsilon _{X,Y} \frac{ \sigma (X) \, BR(H \rightarrow Y)}{\left[ \sigma (X) \, BR(H \rightarrow Y) \right] ^{SM}} \end{aligned}$$
(16)

where \(\epsilon _{X,Y}\) represents experimental efficiencies, \(X \in \{ ggH, VH, VBF, ttH\}\) and \(Y \in \{ \gamma \gamma , VV^{(*)}, b {\bar{b}}, \tau \tau , ttH\}\). In general, for the results from LHC, the elements in X represent: the gluon–gluon fusion (ggH), associated production with a boson (VH), vector boson fusion (VBF) or associated production with top quarks (ttH). The elements in Y represent the Higgs diphoton (\(\gamma \gamma \)), W or Z bosons (VV), bottom quarks (bb) or tau leptons (\(\tau \tau \)) decay modes.

For computing the signal strengths \(\mu \), the input parameters passed to Lilith are the reduced couplings [214] \(C_X^2\) and \(C_Y^2\) such that

$$\begin{aligned} \sigma (X) = C_X^2 \, \sigma (X)^{SM} \quad \text { and } \quad \Gamma (Y) = C_Y^2 \, \Gamma (Y)^{SM}. \end{aligned}$$
(17)

These, together with the Higgs boson invisible and undetectable decay branching ratios are computed using the micrOMEGAs system for

$$\begin{aligned} \mu= & {} ( 1 - BR(H \rightarrow \, undetected) - BR(H \rightarrow \, invisible) )\nonumber \\&\times \frac{ \sum _{X,Y} \epsilon _{X,Y} C_X^2 \, C_Y^2}{\sum _Y \, C_Y^2 \, BR(H \rightarrow Y)^{SM}}. \end{aligned}$$
(18)

This is then in turn compared with the table of likelihood values as a function of \(\mu \) within the Lilith database of results from experiments for computing the log-likelihood.

3.3 Dark matter related constraints

The IDM predicts the existence of a neutral scalar field, S as DM candidate. The SM Higgs boson may decay into a pair of the DM candidate particles when kinematically allowed, and can therefore contribute to the invisible SM Higgs boson. For the IDM, we require that the branching ratio of the SM Higgs boson decay to the DM candidate particle be less than 0.15 [215].

At early universe times, after freezing-out of equilibrium, the relic density of S can account for the observed density of DM relics. The scattering of S onto nucleons should possibly lead to DM direct detection signatures. There are searches for the elastic scattering of DM with nucleons. It is expected that the recoil energy deposited on nuclei in a detector can be measured. In the absence of discovery, then upper limits on the scattering cross section can be determined. The cross sections can be either spin-independent (SI) or spin-dependent (SD) depending on whether the lightest odd particle effective coupling to the nucleons is via scalar or axial-vector interaction. The currently most stringent direct detection limits are those by PandaX-II [216] and the XENON1T [217] experiments. We use the package micrOMEGAs for computing the IDM predictions for the DM candidate relic density and its scattering cross section while interacting with nucleons. These are then compared with the corresponding experimentally determined value, \(\Omega _{DM}h^2 = 0.1200 \pm 0.0001\) [218] for the relic density, and direct detection limits set by PandaX-II [216] and the XENON1T [217] experiments.

3.4 Requirement for strong first-order EWPT

For investigating the EWPT, the finite temperature quantum field theory techniques has to be used – see [219] for a review. The ground state of the potential at \(v= 0\) represents the symmetric phase of the model, while \(v \ne 0\) represents the broken phase. Starting with the symmetric vacuum in the early universe, the EWPT is defined as the point in the evolution of the effective potential, \(V_{eff}\), where a second minimum with non-zero VEV, \(v_c\), develops at the critical temperature \(T_c\) such that

$$\begin{aligned}&V_{eff} (v=0, T_c) = V_{eff} (v=v_c, T_c), \nonumber \\&\quad V_{eff} = V_{tree}+V_{CW}+V_{CT}+V_T. \end{aligned}$$
(19)

Here \(V_{tree}\), \(V_{CW}\), \(V_{CT}\) and \(V_T\) respectively represents the tree-level potential, Eq. (1), the Coleman–Weinberg potential, the counter-term potential and the thermal corrections at finite temperature T. The latter set of the effective potential terms are described in Appendix A.

Given the IDM tree-level potential, the other terms above were computed such that the strength of the EWPT at each model point can be determined using BSMPT [220, 221]. The description of the IDM implementation into the BSMPT is given in Appendix B. BSMPT can find the global minimum of \(V_{eff}\) and hence determine \(T_c\) and \(v_c\) at the instance when the phase transition takes place. For the model point to be a possible candidate for electroweak baryogenesis, the EWPT must be strongly first-order in order to suppress sphaleron wash-out within the broken phase region; see [9] for a review. The required condition for a strong first-order EWPT is [2]

$$\begin{aligned} \xi _c \equiv \frac{v_c}{T_c} > 1. \end{aligned}$$
(20)
Fig. 1
figure 1

1-Dimensional posterior distributions from the global fit of the IDM parameters to data. The prior distributions for the mass parameters are flat in the range, [1, 5000] GeV. All model points pass the set of constraints explained in Sect. 3. In particular the strength of the first-order EWPT, \(\frac{v_c}{T_c} > 1\). The last two plots present the posteriors of the mass splittings between the inert scalars, \(\Delta m_R = m_R - m_S\) and \(\Delta m_{Y^{\pm }} = m_{Y^{\pm }} - m_S\). The second row of plots is the same as the first, but without \(\frac{v_c}{T_c} > 1\) imposed

Fig. 2
figure 2

Scatter plots showing the correlations between the inert scalars’ mass differences with: (left) strength of the first-order EWPT, \(\frac{v_c}{T_c}\), and (right) the inert single DM candidate particle’s elastic scattering cross section against nucleons, \(\sigma ^{SI}\). Both quantities show dependence on the mass differences but in opposite directions with respect to the required respective limits

4 Results of the IDM global fits

The sampling and fit of the IDM parameter space, \(\theta \), with the SM Higgs boson mass fixed, within an inflated range for accommodating theoretical uncertainties, at \(m_h = 125 \pm 3 \, \text {GeV}\), is done using MultiNest [222, 223]. Only model points that pass the set of theoretical and experimental constraints, d, described in Sect. 3 and for which the lightest odd particle is the CP-even IDM Higgs boson, S, are passed for implementing the nested sampling algorithm. For these IDM parameter points, we model the likelihood \(p( d| \theta )\) of the IDM predictions, \(O_i\), corresponding to the \(\hbox {i}^{th}\) constrain, with experimental central values \(\mu _i\) and uncertainties \(\sigma _i\), as

$$\begin{aligned} p( d| \theta ) = \prod _i \, \frac{ \exp \left[ - (O_i - \mu _i)^2/2 \sigma _i^2\right] }{\sqrt{2\pi \sigma _i^2}}. \end{aligned}$$
(21)

For scenarios where S is pseudo-degenerate with the SM Higgs, additional contributions based on the Higgs signal strength measurements at colliders as implemented in Lilith were added to Eq. (21). The global fit indicates that the lightest inert Higgs should be expected around \(m_S = 97.83 \pm 11.49 \, \text {GeV}\). At Maximum a Posteriori (MAP) and maximal likelihood, \(m_S \sim 100 \, \text {GeV}\). This result supports the possibility for the IDM inert Higgs boson account for the observed mild but independent excesses at LEP and CMS experiments [156, 224,225,226,227] in search for light Higgs bosons. In Fig. 1, the 1-dimensional posterior distributions of the IDM parameters are shown.

Table 2 A selection of benchmark points for the IDM model which passed all the constraints considered. Masses are in GeV units

As is the case for the SM, strong first-order EWPT condition, \(\frac{v_c}{T_c} > 1\), translates into an upper bound on the lightest inert Higgs mass. This partly explains way a significant part of the prior region, with \(m_S \sim 1 \, \text {to}\, 5 \, \text {TeV}\) will be disfavoured. Should this requirement be uplifted, multi-TeV \(m_S\) are possible as can be seen on the second row of Fig. 1 plots. Imposing the upper limit [216, 217] on the inert singlet versus nucleons elastic scattering cross section, \(\sigma ^{SI}\), on the IDM fit to data leads to small mass differences \(\Delta m_{Y^{\pm }} \sim \Delta m_R \sim {{\mathcal {O}}}(10) \, \text {GeV}\). Contrary to this, the strength of the first-order EWPT, \(\frac{v_c}{T_c}\), is proportional to the mass splittings \(\Delta m_{R, \, Y^{\pm }}\). The tendencies with respect to the mass differences can be seen in Fig. 2. Therefore, simultaneously requiring both \(\frac{v_c}{T_c} > 1\) and the DM direct detection limits on the IDM fit to data is extremely difficult beyond the scope and the computational resources at our disposal. As such, the direct detection limits were not imposed for final fit of the IDM to data since this extremely slowed the sampling of the model parameter space. Instead, the impact of this limit were assessed via post-processing the posterior samples.Footnote 1 Complementary to post-processing, a dedicated fit of the model with DM direct limit imposed but without the strong first-order EWPT requirement could be used for assessing the tension between both observables. The second row of plots Fig. 1 were from such an IDM fit with the direct detection 90% CL exclusions limits [228,229,230,231] imposed. As can be seen, this yields posteriors with \(\frac{v_c}{T_c} <0.1\).

The constraints from collider limits disfavours small values of \(m_S\) and \(m_{Y^{\pm }}\), and also contribute to the control that leads to the allowed region for \(\Delta m_{R, \, Y^{\pm }}\). This particularly important for the oblique parameters constraints which favour relatively lower inert Higgs mass differences. In all, there are IDM points that satisfy collider and dark matter searches limits including relic density generation, and simultaneously allow for a strong first-order EWPT. A selection of benchmarks are presented in Table 2.

5 Conclusion

We have made a detailed exploration of the parameters and the interplay amongst them for the inert Higgs doublet model in light of the limits from collider experiments, the constraints from dark matter searches and the requirement for a strong first-order electroweak phase transition (EWPT). The software packages BSMPT and micrOMEGAs were used for computing the strength of EWPT and dark matter properties respectively. The collider constraints on the IDM parameter space were applied by using HiggsBounds and Lilith packages. Our analyses include the first global fit of the IDM to data using a statistically convergent Bayesian approach implemented in MultiNest package. For these, we have used, also for the first time, a recently presented most general renormalisable potential for the IDM. This will lead to different phase transition dynamics and coupling constants.

The global fits show that the IDM spectra can have DM candidates with all constraints satisfied and at the same time able to produce a strongly first-order EWPT. A selection of benchmark points was provided which can be analysed further with respect to ongoing or future collider experiments. The posterior sampleFootnote 2 could be useful for addressing IDM collider and dark matter phenomenology. Given computing resources, the chain of particle physics phenomenology tools developed can be used for comparisons amongst the extended Higgs sector BSMs in the light EWPT and dark matter candidate particle constraints.

There are several interesting research directions that could be built on the result presented here. Besides the S and T parameters constrained already applied for the fits, there already are interesting collider results from the LHC which could possibly probe further the IDM parameters space. For instance, at the LHC, the electroweak production of \(Y^\pm \) and S (or R) can subsequently lead to the inert Higgs decays into a weak boson and the lightest inert scalar. These can provide the same final states and therefore can be constrained by limits from supersymmetric electroweakino searches [232, 233]. Implementing such limits on the IDM will, however, require dedicated reinterpretation studies. The fits revealed strong correlations between three important constraints (\(\sigma ^{SI} [pb]\), \(\frac{v_c}{T_c}\), and the electroweak precision oblique parameters S and T) used with a strong dependence on the IDM Higgs mass differences albeit with possible pulls along opposing directions. A better delineation of the IDM with respect to these constraints can be achieved by using machine-learning techniques in exploring the compatible regions in parameter space.