1. Introduction
After the discovery of the Standard Model (SM) Higgs boson [
1,
2], every elementary particle of the SM has been confirmed to exist. Even though the past forty years have been a spectacular triumph for the SM, the mass of the Higgs boson (
) [
3] poses a serious problem for the SM [
4]. It is well-known that the SM Higgs potential is metastable [
5], as the sign of the quartic coupling,
, turns negative at instability scale
. On the other hand, the SM is devoid of non-perturbative problems since the non-perturbative scale
, where
is the Planck scale, but still there are studies on non-perturbative effects of the SM [
6,
7,
8,
9,
10]. In the post-Planckian regime, effects of quantum gravity are expected to dominate, and the non-perturbative scale is therefore well beyond the validity region of the SM, unlike the instability scale. The largest uncertainties in SM vacuum stability are driven by top quark pole mass and the mass of the SM Higgs boson [
11]. The current data is in significant tension with the stability hypothesis, making it more likely that the universe is in a false vacuum state [
12,
13,
14,
15]. The expected lifetime of vacuum decay to a true vacuum is extraordinarily long, and it is unlikely to affect the evolution of the universe [
16,
17]. However, it is unclear why the vacuum state entered into a false vacuum to begin with during the early universe. In this post-SM era, the emergence of vacuum stability problems (among many others) forces the particle theorists to expand the SM in such a way that the
will stay positive during the run all the way up to the Planck scale.
It is possible that at or below the instability scale, heavy degrees of freedom originating from a theory beyond the SM start to alter the running of the SM parameters of renormalization group equations (RGE). It has been shown that incorporating the Type-I seesaw mechanism [
18,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28] will have a large destabilizing effect if the neutrino Yukawa couplings are large [
29], and an insignificantly small effect if they are small. Thus, to solve the vacuum stability problem simultaneously with neutrino mass, a larger theory extension is required. Embedding the invisible axion model [
30,
31,
32] together with the Type-I seesaw was considered in [
33,
34]. The axion appears as a phase of a complex singlet scalar field. This approach aims to solve the vacuum stability problem by proving that the universe is currently in a true vacuum. The scalar sector of such a theory may stabilize the vacuum with a threshold mechanism [
35,
36]. The effective SM Higgs coupling gains a positive correction
at
, where
is the Higgs doublet-singlet portal coupling and
is the quartic coupling of the new scalar.
Corrections altering
in such a model would also induce corrections to the triple Higgs coupling,
, where
is the SM Higgs vacuum expectation value (VEV) [
37,
38,
39]. The triple Higgs coupling is uniquely determined by the SM but is unmeasured. In fact, the Run 2 data from the Large Hadron Collider (LHC) has only been able to determine the upper limit of the coupling to be 12 times the SM prediction [
3]. Therefore, future prospects of measuring a deviation of triple Higgs coupling by the high-luminosity upgrade of the LHC (HL-LHC) [
40,
41] or by a planned next-generation Future Circular Collider (FCC) [
42,
43,
44,
45,
46,
47,
48,
49] give us hints of the structure of the scalar sector of a beyond-the-SM theory. Previous work has shown that large corrections to triple Higgs coupling might originate from a theory with one extra Dirac neutrino [
50,
51], inverse seesaw model [
52], two Higgs doublet model [
38,
39,
53,
54], one extra scalar singlet [
37,
55,
56] or in the Type II seesaw model [
57].
The complex singlet scalar, and consequently the corresponding threshold mechanism, is embedded in a recent SMASH [
58,
59,
60] theory, which utilizes it at
and
. The mechanism turns out to be dominant unless the new Yukawa couplings of SMASH are
. In addition to its simple scalar sector extension, SMASH includes electroweak singlet quarks
Q and
and three heavy right-handed Majorana neutrinos
,
and
to generate masses for neutrinos.
The structure of this paper is as follows: In
Section 2, we summarize the SMASH model and cover the relevant details of its scalar sector. We also establish the connection between the threshold correction and the leading order
correction. In
Section 3, we discuss the methods, numerical details, RGE running, and our choice of benchmark points. Our results are presented in
Section 4, where the viable parameter space is constrained by various current experimental limits. In SMASH, one can obtain at most
correction to
while simultaneously stabilizing the vacuum. We give our short conclusions on
Section 5.
2. Theory
The SMASH framework [
58,
59,
60] expands the scalar sector of the SM by introducing a complex singlet field
where
and
A (the axion) are real scalar fields, and
is the VEV of the complex singlet. The scalar potential of SMASH is then
Defining
and
, in basis (
), the scalar mass matrix of this potential is
which has eigenvalues
and
At the heavy singlet limit
and
Defining threshold correction
in Equation
13,
and
The first term in the Equation
9 is the leading component.
The SMASH framework also includes a new quark-like field,
Q, which has color but is an electro-weak singlet. It gains its mass via the Higgs mechanism, through a complex singlet
. It arises from the Yukawa term
We will show later that
is forbidden by the vacuum stability requirement. The hypercharge of
Q is chosen to be
, even though
is possible. Our analysis is almost independent of the hypercharge assignment.
Threshold correction: Consider an energy scale below
, where the heavy scalar
is integrated out. The low-energy Higgs potential should match the SM Higgs potential
It turns out that the quartic coupling we measure has an additional term
Since the SM Higgs quartic coupling will be approximately
, the threshold correction
should have a minimum value close to
or slightly larger to push the high-energy counterpart
to positive value all the way up to
. A too large correction will however increase
too rapidly, exceeding the perturbativity limit
. We demonstrate the conditions for
in
Section 4. Similar to
, the SM Higgs quadratic parameter
gains a threshold correction
In the literature [
35,
36], there are two possible ways of implementing this threshold mechanism. One may start by solving the SM RGE’s up to
, where the new singlet effects kick in, and the quadratic and quartic couplings gain sudden increments. Continuation of RGE analysis to even higher scales then requires utilizing the new RGE’s up to the Planck scale.
Another approach is to only solve the new RGEs on the SM scale while ignoring the low-scale SM RGEs entirely. We will use the former approach.
One-loop correction to triple Higgs coupling: The portal term of the Higgs potential contains the trilinear couplings for
and
vertices. The vertex factors for
and
vertices are introduced in
Figure 1. The one-loop diagrams contributing to SM triple Higgs coupling are in
Figure 2. We denote the SM tree-level triple Higgs coupling as
. The correction is gained by adding all the triangle diagrams (taking into account the symmetry factors)
Here
p and
q are the external momenta and the loop integral is defined as
The contribution from diagram
Figure 3 is subleading, since it is proportional to
.
The process
is disallowed for on-shell external momenta, so at least one of them must be off-shell. Specifically, the momentum-dependent correction to the triple coupling at the tree-level is an effective coupling that enters the specific process with one off-shell higgs decaying into two real higgses. Note that the correction is dependent on the Higgs off-shell momentum
, which we assume to be at
at the LHC and HL-LHC. The first diagram is dominant due to the heaviness of the
scalar. Therefore, we may ignore the subleading contributions of diagrams involving two or more
propagators. We integrate out the heavy scalar, causing the finite integral in Equation
16 to be logarithmically divergent. We calculate the finite part of it using dimensional regularization and obtain
where
and
is the regularization scale
1. We have used the modified minimal subtraction scheme (
), where the terms
and Euler-Mascheroni constant
emerging in the calculation are absorbed to the regularization scale
. For calculations, we use the value
. It is especially interesting to see that at the leading order, the triple Higgs coupling correction is proportional to the threshold corrections. This intimate connection forbids a too large correction. In fact, the bound from vacuum stability turns out to constrain the triple Higgs coupling correction to
, as we shall see in
Section 4. Consequently, if LHC or HL-LHC manages to measure a correction to
, this will rule out theories that utilize exclusively threshold correction mechanisms as a viable solution to the vacuum stability problem. Indeed, there are alternate ways to produce large
without expanding the scalar sector [
50,
52].
It should be noted that loop corrections contributing to the final to-be-observed value are included in the SM. Indeed, experiments are measuring
, where the SM one-loop correction depends on the Higgs off-shell momentum. At the
scale we are considering, the SM 1-loop correction amounts to approximately
[
50].
Light neutrino masses: The neutrino sector of SMASH is able to generate correct neutrino masses and observe the baryon asymmetry of the universe with suitable benchmarks. The relevant Yukawa terms for neutrinos in the model are
We take a simplified approach: Dirac and Majorana Yukawa matrices (
and
, respectively) are assumed to be diagonal.
To generate baryonic asymmetry in the universe, SMASH utilizes the thermal leptogenesis scenario [
61], which generates lepton asymmetry in the early universe and leads to baryon asymmetry. In the scenario, heavy neutrinos require a sufficient mass hierarchy [
62,
63] and one or more Yukawa couplings must have complex CP phase factors. We assume the CP phases are
radians to near-maximize the CP asymmetry [
64,
65,
66]
If the CP violation is maximal, the largest value is obtained. To produce matter-antimatter asymmetry in the universe, a large asymmetry is required. Following [
58], we set the heavy neutrino mass hierarchy at
, corresponding to
. These choices give the full
neutrino mass matrix
which is in block form, and contains two free parameters:
and
. Here
is the Dirac mass term and
is the Majorana mass term. Light neutrino masses are then generated via well-known Type I seesaw mechanism [
18,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28], by block diagonalizing the full neutrino mass matrix
.
It is possible to obtain light neutrino masses consistent with experimental constraints from atmospheric and solar mass splittings
and
[
67] and cosmological constraint
[
68,
69,
70,
71,
72,
73] (corresponding to
(0.055)
with normal (inverse) neutrino mass ordering, from Equation 10 to 12 and
Figure 1 of [
74] for upper bound), assuming the standard
CDM cosmological model [
74,
75,
76,
77,
78]. But, the total mass
should not be less than 0.06 (0.10)
for normal (inverse) hierarchy as per Equation 13 of [
74].
The light neutrino mass matrix is
After removing the irrelevant sign via field redefinition
where we have denoted
and assumed normal mass ordering
. This gives the neutrino masses
. We do not know the absolute masses, but the mass squared differences have been measured by various neutrino oscillation experiments [
67,
79]. Nevertheless, their values provide two constraints, leaving three free parameters. However, the heavy neutrino Yukawa couplings
must be no larger than
to avoid vacuum instability [
59].
In addition, an order-of-magnitude estimate of the generated matter-antimatter asymmetry (baryon-to-photon ratio) is directly proportional to the CP asymmetry
where
is an efficiency factor. We arrive at
which in principle, can be consistent with the observed
. To achieve successful resonance leptogenesis,
should be between
and
(
Table 1). We will provide suitable benchmark points in the next section. The estimation of lepton asymmetry, which is one of the crucial implications of SMASH as the framework claims to solve the matter-asymmetry issue. Since the scenario only consists of the decay and inverse decay of
or
to
. The leptogenesis evolution for the benchmark values shown in
Table 2 is in
Figure 4.
We will investigate the influence of , , and oscillations (i.e., right-handed neutrino oscillations) on leptogenesis evolutions, predict baryon-to-photon ratios for different set masses of light active left-handed neutrinos, and evaluate a more precise value of by solving complicated Boltzmann equations in the future course of analysis in the SMASH framework.
3. Methods
We generate the suitable benchmark points demonstrating different physics aspects of the model in the neutrino sector by fitting in the known neutrino mass squared differences
, assuming normal mass ordering
. This leaves three free neutrino parameters, the values of which we generate by logarithmically distributed random sampling. These are the candidates for benchmark points. We then require that the candidate points be consistent with the bounds for the sum of light neutrino masses [
68,
69,
70,
71,
72,
73,
74,
75,
76,
77,
78]. The next step is to choose suitable values for other unknown parameters, using the stability of the vacuum as a requirement.
The authors of [
58] have generated the corrections to the two-loop
functions of SMASH. We solve numerically the full two-loop 14 coupled renormalization group differential equations with SMASH corrections with respect to Yukawa (
), gauge (
) and scalar couplings (
), ignoring the light SM degrees of freedom, from
to Planck scale. We assume Yukawa matrices are on a diagonal basis, with the exception of
. We use the
scheme for the running of the RGE’s. Since the top quark
mass is different from its pole mass, the difference is taken into account via the relation [
80]
where
at
. We define the Higgs quadratic coupling as
and quartic coupling as
.
We use MATLAB R2019’s
ode45-solver. See
Table 1 for the used SMASH benchmark points and
Table 3 for our SM input [
3]. Our scale convention is
.
In some papers, the running of SM parameters (
) obeys the SM RGE’s without corrections from a more effective theory until some intermediate scale
[
35], after which the SM parameters gain threshold correction (where it is relevant) and the running of all SM parameters follows the new RGE’s from that point onwards. We choose to utilize this approach while acknowledging an alternative approach, where the threshold correction is applied at the beginning (
) [
36], and both approaches give almost the same results. As previously stated, SM Higgs quadratic and quartic couplings will gain the threshold correction.
Our aim is to find suitable benchmark points, which
allow the quartic and Yukawa couplings of the theory to remain positive and perturbative up to the Planck scale,
utilize threshold correction mechanism to via ,
avoid the overproduction of dark radiation via the cosmic axion background (requiring ),
produce a significant contribution matter-antimatter asymmetry via leptogenesis (requiring hierarchy between the heavy neutrinos), and
produce a correction to triple Higgs coupling .
4. Results
Stability of vacuum: We have plotted how the running of the SM quartic coupling,
changes with each benchmark point in
Figure 5. Note that all the threshold corrections are utilized well before the SM instability scale
. One can choose
if
is ensured. This is the case with
BP3.
We numerically scanned over the parameter space
and
to analyze vacuum stability in three different benchmark points
BP1-
BP3. Our results for the chosen benchmarks are in
Figure 6, where the SM best fit is denoted by a red star. Clearly the electroweak vacuum is stable with our benchmark points, and it is assigned to
and
[
3]. For every case, we investigated the running of the quartic couplings of the scalar potential. We used the following stability conditions
and for
[
35]
If one or more conditions are not met on the scale , we denote this point as unstable. If any of the quartic couplings rises above , we denote this point non-perturbative.
We have chosen the new scalar parameters in such a way that the threshold correction is large but allowed,
. This changes the behavior of the coupling’s running so that after the correction, the
increases in energy instead of decreasing, the opposite of the coupling’s running in a pure SM scenario. A too-large threshold correction will have an undesired effect, lowering the non-perturbative scale to energies lower than the Planck scale. These effects are visualized in
Figure 7, where for each benchmark point kept
at its designated value in
Table 1. Instead, we let the portal coupling,
, vary between 0 and
. This demonstrates the small range of viable parameters space.
We have also investigated the significance of
on the bounds of threshold correction
. A choice of
is available as long as
. This can be seen clearly from
Figure 8. Given a fixed
, the result is independent of
and
. The lower and higher bound for
increases as a function of
. Instability bound increases, since the needed vacuum-stabilizing threshold effect increases as one approaches the SM instability scale
. At
, the
, so the quartic coupling
will turn negative before threshold correction is utilized. On the other hand, the non-perturbative scale increases, since as the cutoff point
increases, the quartic coupling
decreases and correspondingly the largest possible threshold correction increases.
Our next scan was over the new quartic couplings,
and
. The scalar potential is stable and the couplings remain perturbative at only a narrow band, where
, see
Figure 9. If one considers small
, the SM Higgs quartic coupling will decrease to near zero at
. This corresponds to a region near the left side of the stability band. In contrast, we chose our benchmarks with large
, placing it near the right side of the stability band, corresponding to the large value of
at
. This was a deliberate choice to maximize the correction to
.
In addition, we have scanned the Dirac neutrino and new quark-like particle Yukawa couplings (
and
, respectively) over
and
, keeping
and
small, real
2 and positive but non-zero. See
Figure 10 for details corresponding to each benchmark point. There we have pointed to an area producing a stable vacuum. The Dirac neutrino Yukawa couplings may have a maximum value of
, but a more stringent constraint is found for
. It should be noted that even though, from the vacuum instability point of view,
, this does not imply
, since both are in principle free parameters. See
Table 2 for computed values for neutrino masses for normal hierarchy (
) corresponding to each benchmark. Note that all
BP1-BP3 produces a value of baryon-to-photon ratio comparable to experimental values and a mass of axion consistent with axion dark matter scenario, because it requires axion decay constant
to be
[
30,
31,
32].
In
Figure 4, we show the evolution of
or
abundance, as well as the lepton asymmetry generated by the CP violating decays and inverse decays of
or
, divided by the CP asymmetry parameter
as per [
62]. The resulting lepton asymmetry is translated to baryon asymmetry via the sphaleron process with a
fraction. We have also shown the
or
abundance in thermal equilibrium. The number density
n of particles decreases in an expanding universe if there are now particle number-changing interactions. However, the ratio of number density
n to entropy density
s, that is, “abundance”
is constant. Changing “abundance” during the early universe thus indicates particle interactions, or in our case,
or
decays and inverse decays. A corresponding mass hierarchy for right-handed neutrinos implies an upper bound of
to
[
63,
81].
Correction to SM triple Higgs coupling: According to PDG [
3], the largest possible experimental value for
is 12 times the SM prediction
3, from Run 2 data for the
channel alone. The real singlet scalar
mixes with the SM Higgs, providing a one-loop correction to SM triple Higgs coupling
. We scanned the parameter space with
and
. At each point, we calculated the correction to
. See
Figure 11 for details. We identified a section of parameter space excluded by triple Higgs coupling searches from LHC run 2 and determined the area sensitive to future experiments, namely HL-LHC and FCC-hh. We assume HL-LHC uses 14
center-of mass energy and integrated luminosity
, for FCC-hh we assume center-of-mass energy 100
and integrated luminosity
. The relative correction in
Table 4 is calculated with respect to the SM tree-level prediction. We have chosen our benchmark points in a way that their correction to triple Higgs coupling will be borderline observable at FCC-hh, [
82] that is, the correction will be
. So,
in BP3 for a factor of 10 larger is necessary for stable vacuum and FCC-hh better detection shown in
Figure 11. Future FCC-hh accelerator, which is sensitive to ∼ 5 % deviation of the Standard Model prediction. This is demonstrated by the benchmark points we have chosen. Although the model’s stable region allows for even smaller deviations, part of the region is still accessible by FCC-hh.
This has implications for a general class of BSM theories that utilize complex singlet scalars and other new non-scalar fields. If the corrections from non-scalar contributions to SM triple Higgs and quartic couplings are tiny, any large correction to (such as, a discrepancy from a SM value measured by the HL-LHC) would rule out such a class of theories, including SMASH. It will be up to the HL-LHC experiment to determine whether this is the case.