1 Motivations

Together with the presence of dark matter (DM), neutrino oscillations—and the small neutrino mass entailed—are the only physics beyond the standard model (SM) experimentally confirmed.

The most attractive model to account for the smallness of the neutrino masses is the seesaw mechanism [14]. This mechanism requires right-handed (RH) neutrinos whose masses can be taken at the GUT scale or, in low-scale scenarios, at lower energies if the Yukawa couplings are taken proportionally smaller, for instance, of the order of those of the charged leptons.

The inclusion of these new states within the SM induces a finite renormalization that tends to pull the Higgs boson mass (or, equivalently, the electroweak (EW) scale) toward the higher scale. This is not a problem if the new states are themselves at the EW scale and the renormalization is itself of the order of the Higgs boson mass. If instead the new states are at a larger scale, they give rise to a hierarchy problem in which in order to keep the Higgs boson mass to its experimental value we have to cancel the renormalization to the higher scale to a degree that becomes increasingly fine-tuned as the new states are taken at higher mass scales.

Such a cancelation can be achieved by a redefinition of the Higgs boson bare mass but it is more appealing and practical to use the hierarchy problem in a heuristic manner to help us in the definition of whatever model of physics we assume to exist beyond the SM [5].

The problem of the large contribution to the Higgs mass \(m_\mathrm{H}\) coming from the new states is best understood in terms of the renormalization group equation (RGE)

$$\begin{aligned} \mu \frac{\mathrm{d}m_\mathrm{H}}{\mathrm{d}\mu }=-m_\mathrm{H}\gamma _{m_\mathrm{H}}^{(1)}, \end{aligned}$$
(1)

where the anomalous dimension is given, at one-loop order, by

$$\begin{aligned} \gamma _{m_\mathrm{H}}^{(1)}=-\frac{1}{16\pi ^2}\left( 6\lambda + 3 \lambda _\mathrm{t}^2 - \frac{9}{4} g_2^2 - \frac{3}{2} g_1^2 \right) , \end{aligned}$$
(2)

in dimensional regularization and where we only wrote the dominant contributions from the Higgs boson potential (\(\lambda \)), the top quark (\(\lambda _\mathrm{t}\)) and the gauge couplings (\(g_1\) and \(g_2\)). If new states are present at a higher scale, they must be introduced as a threshold effect in order to match the low- and high-scale effective theories. That these threshold corrections are larger and larger as the new states are taken to be heavier and heavier is the hierarchy problem in the framework of an effective theory.

According to the proposed approach, the new states—when they are taken together—must enter in such a way that their overall effect on the Higgs boson mass renormalization is no larger than the EW scale, thus making the bare mass renormalization natural. In other words, using the RGE terminology, the threshold corrections must be small and if the new states are very heavy they must enter in such a way as to cancel their respective contributions.

The fine-tuning, if present, is all among the new states rather than between them and the SM contributions. In this approach it is possible to keep the physics at the two different scales separated so as to make possible an effective theory treatment.

This point of view is suggested by the idea that this is what would happen if the hierarchy problem had been ameliorated by the presence of a (possibly broken) symmetry. Of course, in our case there is no such a symmetry but the identification of the states necessary for controlling the size of the renormalization might eventually lead to the identification of one.

We discuss the case in which the masses of the RH neutrinos are in the range between one and a few hundreds of TeVs. The renormalization effects are in this case dominated by the one-loop order and we have what has been called the little hierarchy problem. To avoid this problem, new states in addition to the RH neutrinos must be included. As a matter of fact, the addition of one new state is enough. We study its properties and to what extent is a viable candidates for DM. This way, two birds (the little hierarchy problem and DM) are killed by one stone (the new state) and two a priori unrelated physical problems are nicely brought together. The fine-tuning required by the cancelation is around 10 %.

To avoid confusion, let us stress that the hierarchy problem is often discussed in terms of the quadratic divergence arising in the mass term of the Higgs boson in a momentum dependent regularization (or, equivalently, in a pole in \(d=2\) dimensions in dimensional regularization). The presence of these divergences makes the Higgs boson mass extremely sensitive to the UV physics and some cancelation must take place either in a natural manner by assuming a symmetry (usually, supersymmetry) or by fine-tuning by imposing the Veltman condition [6] (see, also, [79])—namely that the new sector couples to the SM Higgs boson just so as to make the quadratic divergences to the SM Higgs boson mass vanish (see [1015] for various applications of this idea). This is not the hierarchy problem we discuss in this Letter.

The point of view we follow is that all quadratic divergencies are a scheme-dependent artifact which obfuscates the problem by making impossible to separate degrees of freedom living at different energy scales. One can even argue that in the Higgs boson mass case, they arise because of the explicit breaking of scale invariance in momentum dependent regularizations (in a way similar to the quadratic divergence arising in QED when we take a momentum dependent regularization which violates gauge symmetry), and they should be eliminated by an appropriate counterterm [1619] or by not using that particular regularization scheme.

The point is that, even without these divergent terms, there are large finite renormalization effects which only depends on integrating out the heavy modes in the low-energy effective theory—the SM in our case. We identify the little hierarchy problem with the presence of these finite terms. These corrections are similar to those arising in a supersymmetric theory with soft mass terms where the quadratic divergencies are canceled while, after integrating out the heavy states, there are finite terms whose contribution shifts the values of the Higgs boson mass [20, 21]. This work is about these terms in the case of the seesaw mechanism.

2 Low-scale seesaw and the little hierarchy problem

We consider a type I seesaw model in which three RH neutrinos \(N_{aR}\) are added to the SM as \(SU(2)_L\) singlets. The lagrangian of the model is given by the kinetic and Yukawa terms of the SM with the addition of the neutrino Yukawa terms:

$$\begin{aligned} {\mathcal L}=-y_{a\ell }^\nu {\bar{N}}_{aR} {\tilde{H}}^\dag L_{\ell } - \frac{1}{2} {\bar{N}}^c_{aL} M_{\mathrm{N} ab} N_{bR} + H.c., \end{aligned}$$
(3)

where \(L_{\ell }\) represents the SM left-handed \(SU(2)\) doublet \((\nu _\ell , \ell )_L\) and \(\ell = e, \mu , \tau \). In Eq. (3), the Yukawa term gives rise to the neutrino Dirac mass matrix, \(M_D=y\,v_W\), after the Higgs field \(H=(v_W+h)\) takes its vacuum expectation value \(v_W=174\) GeV. The heavy RH neutrinos \(N_{aR}\) have a Majorana mass term.

We compute the one-loop finite correction to the Higgs boson mass using dimensional regularization with renormalization scale \(\mu \). The SM particle contributions are negligible. To compute the one-loop renormalization arising from the heavy Majorana neutrinos, we rotate the Yukawa couplings \(y^\nu _{al}\) into the basis in which the heavy RH neutrino mass matrix \(M_\mathrm{N}\) is diagonal. In this basis the matrix of neutrino Yukawa couplings takes the following form in the type I seesaw model of interest [22, 23]:

$$\begin{aligned} {\hat{y}}^\nu _{j\ell }= M_{\mathrm{N}_j}(RV)^\mathrm{T}_{j\ell }\big /v_W, \end{aligned}$$
(4)

where \(V\) is a unitary matrix which diagonalises the RH neutrino Majorana mass matrix, \(M_\mathrm{N}=V{\hat{M}}V^\mathrm{T}\) with \({\hat{M}}=\text{ diag } (M_1,M_2,M_3)\), \(M_j\) being the mass of the heavy neutrino mass-eigenstate \(N_j\), and \(R^\mathrm{T} \cong M^{-1}_\mathrm{N}\,M_D\) (\(|M_D| \ll |M_\mathrm{N}|\)). As can be shown (see, e.g., [22]), the quantity \((RV)_{\ell j}\) represents the weak charged current and neutral current coupling of the heavy Majorana neutrino \(N_j\) to the charged lepton \(l\) and the \(W^{\pm }\)-bosons, and to the LH flavor neutrino \(\nu _l\) and the \(Z^0\)-boson. The matrix \(\eta =-0.5 (RV)(RV)^\dagger \) describes, in the seesaw model considered, the deviations from unitarity of the Pontecorvo, Maki, Nakagawa, Sakata (PMNS) neutrino mixing matrix \(U_\mathrm{PMNS}\): \(U_\mathrm{PMNS} = (1 + \eta )U\), where \(U\) is a unitary matrix which diagonalises the Majorana mass matrix of the LH flavor neutrinos, \(m_{\nu }\), generated by the seesaw mechanism.

In the type I seesaw scenario, the elements of the matrix \((RV)\) are bounded by their relation to the elements of the neutrino mass matrix \(m_{\nu }\) [22], which all have to be smaller than approximately 1 eV:

$$\begin{aligned} \left| \sum _k (RV)^*_{\ell 'k} M_k (RV)^\dag _{k\ell } \right| =|(m_v)_{\ell '\ell }| \lesssim 1~\text{ eV }. \end{aligned}$$
(5)

In the traditional seesaw model the Yukawa couplings are taken typically to be of order one and the masses \(M_{\mathrm{N}_j}\) are very large, close to the GUT scale. The couplings \(|(RV)_{\ell k}|\) in this case have to be very small to satisfy Eq. (5). In low-scale seesaw models, the heavy Majorana neutrino masses lie at the TeV scale and the couplings \(|(RV)_{\ell k}|\) are proportionally larger. In this scenario, \(|(RV)_{\ell k}|\) can even be larger if there is partial or complete cancelation between the terms in the sum in the r.h.s. of Eq. (5). This possibility can be realized, e.g., in models [24] with two heavy Majorana neutrinos, \(N_1\) and \(N_2\), which have relatively close masses, \(M_2 = M_1 (1 + z)\), \(z \ll 1\), thus forming a pseudo-Dirac state [2527], and whose couplings \((RV)_{\ell 1}\) and \((RV)_{\ell 2}\) are related: \((RV)_{\ell 2}\sqrt{M_2} = \pm i\,(RV)_{\ell 1}\sqrt{M_1}\), \(l=e,\mu ,\tau \). The indicated conditions can take place, for instance, in theories with an approximately conserved lepton charge (see, e.g., [28]).

In the scenario with two heavy Majorana neutrinos outlined above, the flavor structure of the couplings \((RV)_{\ell j}\), \(j=1,2\), is completely determined by the requirement of reproducing the neutrino oscillation data and the scheme is characterized by four parameters [24]: \(M_1\), \(z\), the largest eigenvalue \(y\) of the matrix of neutrino Yukawa couplings (see further) and a CP violation phase. The neutrino oscillation data, the EW precision measurements and the existing limits on the rates of lepton flavor violating (LFV) processes involving the charged leptons (as the \(\mu \rightarrow e + \gamma \), \(\mu \rightarrow 3e\) decays, etc.), imply the following upper bounds on the couplings \(|(RV)_{\ell 1}| \cong |(RV)_{\ell 2}|\) (see, e.g., [29, 30] and references quoted therein):

$$\begin{aligned} |(RV)_{e1}|^2,|(RV)_{\mu 1}|^2,|(RV)_{\tau 1}|^2 \lesssim 10^{-3} \end{aligned}$$
(6)

where we have quoted a somewhat simplified constraint on the three couplings. The actual upper bounds depend on the flavor index \(l\) of the couplings, but the variation with \(l\) is not significant and for the purposes of our investigation it can be neglected. We will use the generic bounds given in Eq. (6) in our analysis.

In what follows we will neglect for simplicity the splitting between the two heavy Majorana neutrino masses \(z\), i.e., we will set \(z=0\) and will use \(M_1 = M_2 \equiv M_\mathrm{N}\). The corrections due to \(z\ne 0\) are insignificant in the problem of interest. For \(z=0\), the largest eigenvalue \(y\) of the matrix of neutrino Yukawa couplings is given by [24]

$$\begin{aligned} y^2 v_W^2 = 2 M_\mathrm{N}^2 \left[ |(RV)_{e1}|^2 + |(RV)_{\mu 1}|^2 + |(RV)_{\tau 1}|^2\right] \end{aligned}$$
(7)

Taking into account the one-loop contribution and assuming RH neutrino degeneracy, the Higgs boson mass receives a shift given by

$$\begin{aligned} \delta \mu _\mathrm{H}^2 (\mu ) = \frac{4 y^2}{ (4 \pi )^2} M^2_{\mathrm{N}} \left( 1 - \log \frac{M^2_{\mathrm{N}}}{\mu ^2}\right) , \end{aligned}$$
(8)

being \(\mu \) the matching scale that in this case we can identify with \(M_\mathrm{N}\).

The addition of the RH neutrinos would shift the Higgs boson mass to the new scale unless we balance this new contribution to prevent large one-loop renormalizations. The identification of what states (their masses and couplings to the Higgs boson) must be present for such a balancing act to occur provides the heuristic power of the little hierarchy problem.

While many possible new states can be added to prevent large corrections to the Higgs boson mass, the simplest choice consists in including just an inert scalar state [3138], that is, a scalar particle only interacting with the Higgs boson (and gravity)—and therefore transforming as the singlet representation of the EW gauge group \(SU(2)\times U(1)\) (and similarly not charged under the color group)—which acquires no vacuum expectation value. Such a choice minimizes unwanted effects on EW radiative corrections and other physics well described by the SM.

If in addition we impose a \(Z_2\) symmetry under which the inert scalar is odd and all the SM fields are even, the new state will couple to the SM Higgs doublet only through quartic interactions in the scalar potential. By construction, as we only look for solutions with vanishing vacuum expectation value, the symmetry \(Z_2\) remains unbroken and after EW symmetry breaking the singlet state can, as we shall discuss, potentially be a viable cold DM candidate.

The scalar potential of the model is given by

$$\begin{aligned} V(H,S)&= \mu _\mathrm{H}^2 (H^\dag H)+ \mu ^2_\mathrm{S} S^2\nonumber \\&+\,\lambda _1 (H^\dag H)^2 + \lambda _{2} S^4+ \lambda _{3} (H^\dag H ) S S. \end{aligned}$$
(9)

Linear and trilinear terms for \(S\) are absent due to the \(Z_2\) symmetry mentioned above.

Taking into account the one-loop contribution induced by the scalar state \(S\), the overall shift to \(\mu ^2_\mathrm{H}\), taking \(M_\mathrm{S}<M_\mathrm{N}\) and \(\mu =M_\mathrm{S}\) to minimize the logarithmic contributions to the matching, becomes

$$\begin{aligned} \delta \mu _\mathrm{H}^2(M_\mathrm{S})&= \frac{1}{(4 \pi )^2}\left[ \lambda _3 M_\mathrm{S}^2 -4 y^2 M_\mathrm{N}^2 \left( 1 - \log \frac{M^2_{\mathrm{N}}}{M^2_\mathrm{S}}\right) \right] ,\nonumber \\ \end{aligned}$$
(10)

where we have taken \(y\) given in Eq. (7) for the Yukawa couplings.

We want the threshold correction in Eq. (10) to be of the order of the Higgs boson mass itself. For simplicity, we can just impose \(\delta \mu ^2_\mathrm{H}=0\) and obtain

$$\begin{aligned} \lambda _3=\frac{4 y^2 M_{\mathrm{N}}^2}{M_\mathrm{S}^2} \left( 1 - \log \frac{M_\mathrm{N}^2}{M_\mathrm{S}^2}\right) . \end{aligned}$$
(11)

Equation (11) is economical but we must bear in mind that it represents just the special case in which the one-loop renormalization exactly vanishes. More solutions can easily be found for \(\delta \mu ^2_\mathrm{H} \simeq m_H^2\) but do not change in a significant manner the numerical results.

Because of the extra factor \(1/(4\pi )^2\), two-loop corrections become important only if the masses are above 10 TeV. To be safe, we take the matching scale \(\mu =M_\mathrm{S}\) smaller than 7 TeV. For these values, the fine-tuning of requiring \(\delta \mu ^2_\mathrm{H} \simeq m_H^2\) is about 10 %.

3 Enter dark matter

It has been shown [3338] that a single inert singlet that couples with the Higgs boson with a small coupling is a realistic cold weakly interacting DM candidate (WIMP) with a mass below \(v_W\). In our case, the singlet may account for the correct relic density in the opposite regime where its mass is much larger than \(v_W\) and its coupling with the Higgs boson relatively large.

In this case, the scattering amplitude is dominated by the point-like \(S S \rightarrow hh\) vertex which gives a contribution to the thermally averaged total cross section equal to

$$\begin{aligned} \langle \sigma v \rangle \simeq \frac{1}{4 \pi } \frac{\lambda _{3 }^2}{M_{\mathrm{S}}^2}\, \sqrt{1 - \frac{m_H^2}{m_\mathrm{S}^2}}, \end{aligned}$$
(12)

where we keep only the s-wave contribution.

To estimate the viability of \(S \) as DM candidate, we must compute its relative relic abundance [3942],

$$\begin{aligned} \varOmega _\mathrm{S} = \frac{M_\mathrm{S} n_\mathrm{S}(t_0)}{\rho _c} \end{aligned}$$
(13)

where \(\rho _c = 1.05 \, h^2\, 10^{-5}\) GeV/cm\(^3\) and the density \(n_\mathrm{S}(t_0)\) is given by

$$\begin{aligned} n_\mathrm{S}(t_0)=\sqrt{\frac{45}{\pi g_{*}}}\frac{s_0}{M_\mathrm{pl} T_\mathrm{f} \langle \sigma v\rangle }, \end{aligned}$$
(14)

where \(M_\mathrm{pl}\) is the Planck mass, \(T_\mathrm{f}\) is the freeze-out temperature, which for our and similar candidates is approximately given by

$$\begin{aligned} m_{\mathrm{S}}/T_\mathrm{f} \simeq \log \frac{M_\mathrm{S} M_\mathrm{pl}\langle \sigma v \rangle }{240 \sqrt{g_*}} \sim 26, \end{aligned}$$
(15)

and \(s_0 = 2.8 \times 10^{3}\) cm\(^{-3}\) is the entropy density. The constant \(g_*= 106.75+1\) counts the number of SM degrees of freedom in thermal equilibrium plus the additional degrees of freedom related to the singlet.

We therefore obtain

$$\begin{aligned} \varOmega _\mathrm{S} h^2 \simeq 8.41 \times 10^{-11} \frac{M_{\mathrm{S}}}{T_\mathrm{f} } \sqrt{\frac{45}{\pi g_{*}}} \frac{\mathrm{GeV}^{-2}}{\langle \sigma v\rangle }, \end{aligned}$$
(16)

which is sufficiently accurate for our purposes.

Current data fit within the standard cosmological model give a relic abundance with \(\varOmega _{\mathrm {DM}} h^2=0.1187\pm 0.0017\) [43]. By combining the central value above with Eqs. (12) and (16), we can write the coupling \(\lambda _3\) as function of \(M_\mathrm{S}\) thus obtaining

$$\begin{aligned} |\lambda _3|\simeq 0.15 \, \frac{M_\mathrm{S}}{\text{ TeV }}. \end{aligned}$$
(17)

This solution gives a DM candidate which can account for 100 % of the relic density and with a cross section of a few pb which makes it weakly interacting, a WIMP.

The presence of the scalar singlet DM improves the EW vacuum stability with respect to the SM [44]. This is particularly interesting in connection with the presence of the RH neutrinos which, in general, have the opposite effect of reducing the stability region of the Higgs boson potential [45].

Insertion of Eq. (17) in Eq. (11) gives a relationship between the RH neutrino mass and that of the new scalar if the latter is to be considered a viable candidate for DM:

$$\begin{aligned} 0.15 M_\mathrm{S}^3 = 8 \alpha \frac{M_\mathrm{N}^4}{v_W^2} \left( 1 - \log \frac{M^2_{\mathrm{N}}}{M_\mathrm{S}^2}\right) \end{aligned}$$
(18)

where \(\alpha =|(RV)_{e1}|^2 + |(RV)_{\mu 1}|^2 + |(RV)_{\tau 1}|^2\) represents the sum of the squares of the couplings of the RH and LH neutrinos. In Eq. (18), all masses must be taken in TeVs.

Possible solutions are shown in Fig. 1. We can see that we can have solutions with \(M_\mathrm{S} \simeq M_\mathrm{N}\) as long as we take the couplings between LH and RH neutrinos, and therefore \(\alpha \), to be as large as possible within the experimental constraints in Eq. (6). This case corresponds to taking the largest Yukawa coupling just at its experimental bound. This is the most interesting range because the RH neutrino masses are still in a range accessible to the experiments (e.g., \(\mu \rightarrow e + \gamma \), \(\mu \rightarrow 3e\) decays, \(\mu ^- - e^-\) conversion in nuclei, neutrinoless double \(\beta \)-decay).

Fig. 1
figure 1

Contour plot for the WIMP solution: values of \(M_\mathrm{S}\) and \(M_\mathrm{N}\) that are solutions of Eq. (18) for two limiting sets of values of the parameter \(\alpha \). On top (in descending order) \(\alpha = \{1, 2, 4\} \times 10^{-4}\), below \(\alpha = \{1, 2, 4\} \times 10^{-13}\). Solutions with \(m_\mathrm{S} < m_\mathrm{N}\) are below the dashed line in the figure on top

On the other hand, if these couplings are taken at their natural values (and no cancelation is assumed in their sum) we can have only solutions where \(M_\mathrm{S}\) is much smaller than \(M_\mathrm{N}\) because now the Yukawa couplings are much smaller than 1. In this case, \(\lambda _3\) becomes negative and one has to check that \(\lambda _3 \ge -2 \sqrt{\lambda _1 \lambda _2}\) for the stability of the potential. This scenario seems less interesting than the previous one because the RH neutrino masses are several hundreds of TeVs and therefore outside the range of any foreseeable experiment.

It is interesting to notice that there exists another regime in which the inert singlet is a viable DM candidate. When \(\lambda _3\) is much smaller than 1, thermal equilibrium for the scalar states is never attained and their abundance is so low that they never annihilate among themselves. The usual result does not apply. In this case, the DM candidate is what has been called a feebly interacting massive particle (FIMP). If we do not use Eq. (17) and take \(\lambda _3 \simeq 10^{-11}\) [46, 47], we can have a DM candidate in which \(M_\mathrm{S} \simeq M_\mathrm{N}\) (see Fig. 2). For these solutions, \(\alpha \simeq 10^{-12}\) and the Yukawa couplings become of the order of those of the charged leptons.

Fig. 2
figure 2

Contour plot for the FIMP solution: values of \(M_\mathrm{S}\) and \(M_\mathrm{N}\) that are solutions of Eq. (11) in the case of \(\lambda _3 \simeq 10^{-11}\) and \(\alpha \simeq 10^{-12}\)

Let us briefly comment on the possibility of detecting the inert scalar \(S\) in the case in which is a WIMP.

The multi TeV range of its mass makes its detection at the LHC very difficult if not impossible.

Similarly, we do not expect this DM candidate to be constrained by current experiments in space (PAMELA, FERMI, AMS2 etc.). Its mass is larger than 1 TeV with a weakly interacting cross section that is too small to produce an enhancement in the 100 GeV range in annihilation processes with positrons or \(\gamma \)-rays in the final states [48, 49]. Moreover, because it only interacts with the Higgs boson, it produces positron and photons mainly through hadronic states (\(\pi ^+\) and \(\pi ^0\), respectively) with a corresponding broad energy spectrum which would be difficult to disentangle from that of other sources.

Nuclear scattering experiments are a more promising place where to look for a possible experimental signature. The quartic term proportional to \(\lambda _3\) in Eq. (9) gives rise, after EW symmetry breaking, to the three-field interaction \(SSh\), which yields the effective singlet-nucleon vertex \( f_\mathrm{N} \lambda _3 m_\mathrm{N}/m_H^2 \, S S \,\bar{\psi }_\mathrm{N} \psi _\mathrm{N},\) where \(m_\mathrm{N}\) is the nucleon mass and the factor \(f_\mathrm{N}\) contains many uncertainties due to the computation of the nuclear matrix elements, and it can vary from 0.3 to 0.6 [50, 51]. The (non-relativistic) cross section for the process is given by [52, 53]

$$\begin{aligned} \sigma _\mathrm{N} = f_\mathrm{N}^2 m_\mathrm{N}^2 \frac{\lambda _3^2}{4 \pi } \left( \frac{m_\mathrm{r}}{m_{\mathrm{S}} m^2_H} \right) ^2, \end{aligned}$$
(19)

where \(m_\mathrm{r}\) is the reduced mass for the system which is, to a vary good approximation in our case, equal to the nucleon mass \(m_\mathrm{N}\). Substituting the values we have found for our model and for \(m_\mathrm{S}\) of a few TeV, we obtain, depending on the choice of parameters and within the given uncertainties, a cross section \(\sigma _\mathrm{N}\) of order \(10^{-45}\text{ cm }^2\), a value within reach of the next generation of experiments [54, 55].