Abstract
Radiatively generated neutrino masses (\(m_\nu \)) are proportional to supersymmetry (SUSY) breaking, as a result of the SUSY non-renormalisation theorem. In this work, we investigate the space of SUSY radiative seesaw models with regard to their dependence on SUSY breaking (). In addition to contributions from sources of
that are involved in electroweak symmetry breaking (
contributions), and which are manifest from \(\langle F^\dagger _H \rangle = \mu \langle \bar{H} \rangle \ne 0\) and \(\langle D \rangle = g \sum _H \langle H^\dagger \otimes _H H \rangle \ne 0\), radiatively generated \(m_\nu \) can also receive contributions from
sources that are unrelated to EWSB (
contributions). We point out that recent literature overlooks pure-
contributions (\(\propto \mu / M\)) that can arise at the same order of perturbation theory as the leading order contribution from
. We show that there exist realistic radiative seesaw models in which the leading order contribution to \(m_\nu \) is proportional to
. To our knowledge no model with such a feature exists in the literature. We give a complete description of the simplest model topologies and their leading dependence on
. We show that in one-loop realisations \(L L H H\) operators are suppressed by at least \(\mu \, {m_\text {soft}}/ M^3\) or \(m_{\mathrm{soft}}^2/M^3\). We construct a model example based on a one-loop type-II seesaw. An interesting aspect of these models lies in the fact that the scale of soft-
effects generating the leading order \(m_\nu \) can be quite small without conflicting with lower limits on the mass of new particles.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The large hierarchy between neutrino masses (\(m_\nu \)) and the electroweak (EW) scale may be regarded a symptom of an hierarchy between the latter and a new mass scale (\(M\)) that holds lepton number (\(L\)-number) breaking. The simplest extensions to the Standard Model (SM) that implement this hypothesis (type-I seesaws [1–11]) generate \(L L H H\) [12] with the naively expected dimensionful suppression factor of \(1/M\). Both direct [13] and indirect [14–16] bounds on \(m_\nu \) suggest \(M\) as heavy as \(10^{15}~\text {GeV}\) if the underlying parameters are of order one and obey no special relations.Footnote 1
One can also conceive that additional mass scales are involved in the making of \(L L H H\). If this is the case, a broader class of possibilities emerge that may turn out to yield \(M\) within foreseeable experimental reach:
-
1.
the additional scale is the EW scale (\({\sim }v\)). In this case \(LLHH\) is not generated in perturbation theory, but higher dimensional operators are. This replaces the \(1/M\) dimensionful suppression by \(v^n / M^{n+1}\), where \(5+n\) is the dimension of the leading order (LO) operator. See for example [18] for a model in which the LO contribution to \(m_\nu \) comes from the dimension-7 operator \(L L H H H^\dagger H\). See also [19] and references therein.
-
2.
the additional scale (\(m\)) is an intermediate scale between \(m_\nu \) and \(M\). In this case \(L L H H\) is suppressed by some power of \(m / M\). For example, in the inverse seesaw [20–22] \(m\) is connected to some small (\({\ll }M\)) \(L\)-number breaking scale that is transmitted to the actual leptons by dynamics at the scale \(M\). In the type-II seesaw [7–11] \(m\) could be the coupling scale of the scalar triplet to the Higgses. Both examples lead to a \(m / M^2\) dimensionful suppression.
In addition, if \(L L H H\) is radiatively generated [23–26], loop factors and many coupling dependence may help bringing \(M\) close to the TeV scale. This possibility arises naturally in models in which the sector holding \(L\)-number breaking is charged under a symmetry with respect to (w.r.t.) which \(L\) and \(H\) are neutral. Such a symmetry may find its motivation connected to the stability of dark matter, as discussed in [27–32]. For studies in the space of one-loop seesaw models see [33–35].
Two new scales are introduced by supersymmetric (SUSY) extensions to the SM: the soft SUSY breaking () scale, \({m_\text {soft}}\); and the scale at which
takes place, \(M_X\). Naive dimensional analysis gives us grounds to speculate that \(M_X\) is much heavier than \({m_\text {soft}}\), since the strengths of hard- and soft-
are related by powers of \({m_\text {soft}}/ M_X\) (see for e.g. [36]). The minimal SUSY SM (MSSM) introduces yet another scale: the Higgs bilinear, \(\mu \). Though, in general, correct EW symmetry breaking (EWSB) requires \(\mu \sim {m_\text {soft}}\). Do any of these scales play any role in neutrino mass generation?
It has been contemplated in [37–40] that hard- is the source of \(L\)-number violation, so that \({m_\text {soft}}/ M_X \ll 1\) might be the reason for \(m_\nu / v \ll 1\). For example, if
generates \(\tilde{L} \tilde{L} H_u H_u\), then \(L L H_u H_u\) arises at one-loop level via an EWino–slepton loop and is suppressed by \({m_\text {soft}}/ M_X\) [37]. Another possible connection to
is in identifying the seesaw mediators with the mediators of
to the visible sector [41–44].
Holomorphy dictates that tree-level type-I and -III [33, 45] seesaws are superpotential operators that yield \(L L H_u H_u\), whereas the tree-level type-II [46] gives, in addition to \(L L H_u H_u\) from the superpotential, \(L L H_u H^\dagger _d\) from the Kähler potential
Hence, the Kähler contribution to neutrino masses is proportional to , since it requires \(\langle F^\dagger _{H_d} \rangle \ne 0\). If the low-energy Higgs sector coincides with that of the MSSM, then \(\langle F^\dagger _{H_d} \rangle \simeq \mu \langle H_u \rangle \) which leads to a \(L L H_u H^\dagger _d\) operator with a dimensionful suppression factor of \(\mu / M^2\). Therefore, the Kähler operator is usually disregarded in favour of the superpotential operator which has a \(1 / M\) dependence. However, as they involve two different couplings, it is conceivable that the coupling enabling the superpotential operator is sufficiently suppressed, so that the Kähler operator is the leading one. Kähler operators as leading contributions to \(m_\nu \) have been studied in [47, 48].
Motivated by the SUSY non-renormalisation theorem, which asserts that radiative corrections are \(D\)-terms, we study how radiative seesaw models are sensitive to different sources of . Footnote 2 Although \(L\)-number breaking can possibly arise from
, i.e. from the VEV of an auxiliary rather than scalar field (see for e.g. [51]), in here we assume that they are broken separatelyFootnote 3 so that the non-renormalisation theorem is the only bridge between \(m_\nu \) and
. We thus assume that the radiative seesaw models are realised in the superpotential at a \(L\)-number breaking scale \(M\) that is higher than the scale of soft-
effects involving the seesaw mediators. We classify the
contributions to neutrino mass operators w.r.t. their involvement in EWSB as follows:
contributions are those which involve
vacuum expectation values (VEVs) of the form
where the \(H\)s are fields whose VEVs break the EW symmetry (EWS); while contributions correspond to those in which at least one
VEV is unrelated to EWSB. We apply the prefix “pure” to refer to a contribution in which all
VEVs have the same origin in the classification above. For example, the tree-level type-II seesaw Kähler operator is a pure-
contribution to neutrino masses.
In this context, it is interesting to note that if EWSB is almost SUSY, in the sense that there is a SUSY vacuum with EWSB [52], and so that only small effects are responsible for lifting its degeneracy with EWS vacua, then
contributions can be quite small due to \(\langle F^\dagger \rangle _\text {EWSB} \approx 0\) and \(\langle D \rangle _\text {EWSB} \approx 0\) (i.e. they vanish up to possibly small
effects). However, in this work we focus on models with the low-energy Higgs sector of the MSSM and thus in which
contributions have the form
As we will see in Sect. 2, contributions to neutrino mass operators whose dependence on arises entirely by means of
sources involved in EWSB are expected to be suppressed by some power of \(\mu / M\) or to be of dimension higher than \(5\) and to involve gauge couplings. Exploiting the power of the SUSY non-renormalisation in the space of radiative seesaw models, we then investigate if models exist in which the pure-
contribution to neutrino masses either vanishes or is subleading w.r.t. the contribution from
(Sect. 3). We catalogue one-loop model topologies in which the leading contribution comes from soft-
in Sect. . An explicit model example is presented in Sect. 5 and consists of a one-loop type-II seesaw in which the leading pure-
contribution is of dimension 7 – comprising contributions \(\propto \mu / M\) and \(\propto g^2\) –, whereas the leading contribution from
is of dimension 5 and has the dimensionful dependence \(\mu \, {m_\text {soft}}/ M^3\) or \(m_{\mathrm{soft}}^2 / M^3\), the latter corresponding to pure-
contributions.
Our analysis will be carried out using perturbation theory in superspace (supergraph techniques,Footnote 4) as it renders the SUSY non-renormalisation theorem a very simple statement and its implications in terms of component fields easier to identify. Points of contact with results in terms of component fields will be established throughout. Another advantage is that perturbation theory in superspace is much simpler than the ordinary QFT treatment. For instance, aside from the algebra of the SUSY covariant derivatives (\(D_{\alpha }\) and \(\bar{D}_{\dot{\alpha }}\)), supergraph calculations in a renormalisable SUSY model made of chiral scalar superfields resemble the Feynman diagrammatic approach to an ordinary QFT made of scalars with trilinear interactions. can be parameterised in a manifestly supersymmetric manner by introducing superfields with constant \(\theta \)-dependent values (
spurions). Thus,
effects will be conveniently taken into account in supergraph calculations by means of considering couplings to external
spurions [54]. This allows one to see the
contributions to neutrino masses as small
effects upon a fundamentally SUSY topology.
2 Radiative seesaws in SUSY
Let \(\text {OP}_\nu \) be the set of operators that contribute to neutrino masses once the EW symmetry is broken and \(\widehat{\text {OP}}_\nu \) be the set of superfield operators (superoperators) that yield at least an \(\text {OP}\in \text {OP}_\nu \). If neutrino masses are radiatively generated the SUSY non-renormalisation theorem asserts that for every \(\text {OP}\in \text {OP}_\nu \) there exists an \(\widehat{\text {OP}}\in \widehat{\text {OP}}_\nu \) such that
Hence, as any \(\text {OP}\in \text {OP}_\nu \) is of the form \(\text {OP}= L L \otimes \text {Higgses}\), every \(\widehat{\text {OP}}\in \widehat{\text {OP}}_\nu \) belongs to one of two classes:
with
and where \(n = 0,1,\ldots \) stands for conceivable insertions of superfields that yield Higgses at
\(\theta = 0\) (a limit hereafter denoted by \(\vert \)). Class A superoperators are naturally generated in radiative type-II seesaws in which the one-particle reducible (1PR) propagator does not undergo a chirality flip (i.e. is of the form
\(\hat{\Phi }\hat{\Phi }^\dagger \)), whereas class B arise in radiative type-I and -III seesaws, radiative type-II seesaws with a chirality flip and one-particle irreducible (1PI) seesaws. See Fig. 1. We note that type-I and -III without a chirality flip do not yield an \(\text {OP}\in \text {OP}_\nu \) (even in the presence of ) because
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_Equ7_HTML.gif)
where
\(\widehat{\text {OP}}\) is any superoperator containing one \(\hat{L}\) and
\(\widehat{\text {OP}}_X\) accounts for conceivable insertions of spurions. In terms of component fields this can be seen to follow from the fact that, without a chirality flip in the 1PR spinor line, the result is always proportional to external momenta (\(p_\text {ext}\)). To illustrate this, consider a model in which
\(\hat{L} \hat{H}_u \hat{N}\) and \(\hat{N} \hat{N}'\) are superpotential terms and \(\hat{N}^\dagger \hat{L} \hat{H}_u \hat{\rho }\) is radiatively generated. (The coupling
\(\hat{L} \hat{H}_u \hat{N}'\) can be forbidden by \(L\)-number conservation, which is spontaneously broken by \(\langle \rho \rangle \ne 0\).) In such a model, the type-I (or -III) diagram without a chirality flip arises from the \(N N^\dagger \) propagator in conjunction with the terms
and leads to \(L L H_u H_u\) with an overall dependence on \(p_\text {ext}^2\) or, more precisely, \(-\Box ( L H_u ) L H_u\). In terms of supergraphs this result follows from
which should be compared with Eq. (7). Moreover, insertions into
\(\hat{L} \hat{N} \hat{H}_u\) and/or \(\hat{N}^\dagger \hat{L} \hat{H}_u \hat{\rho }\) do not change this structure.
To proceed we assume that only scalar and gauge vector superfields exist. We can then write
where \(n = 0,1,\ldots \) stands for arbitrary insertions of superfields within the given set (denoted by curly braces), though constrained by internal symmetries. \(\hat{a}\) and \(\hat{V}~(\text {mod}\, \hat{H}^\dagger , \hat{H})\) (\(\hat{b}^\dagger \) and \(\hat{Z}^\dagger ~(\text {mod}\, \hat{H}^\dagger )\)) are real (anti-chiral) scalar superfields whose \(D\) (\(F\)) component is a constant or a product of Higgses.Footnote 5
2.1 Pure-
contributions
Superoperators that lead to pure- contributions are those in which \(\hat{a}\) is a gauge vector superfield \(\hat{V}\) of any symmetry under which Higgses are charged or the real product of \(\hat{b}\) (\(\hat{b}^\dagger \hat{b}\)), and \(\hat{b}^\dagger \) is the anti-chiral projection of \(\hat{V}\) (\(D^2 \hat{V}\)), so thatFootnote 6
or any anti-chiral scalar superfield \(\hat{Z}^\dagger \) that has a bilinear with an Higgs or a trilinear with two Higgses, so that
Similarly, \(\hat{V}~(\text {mod}\, \hat{H}^\dagger , \hat{H})\) and \(\hat{Z}^\dagger ~(\text {mod}\, \hat{H}^\dagger \)) in Eq. (10) satisfy Eqs. (11) and (12), respectively.
Under the phenomenologically reasonable assumption of a superpotential mass term for \(\hat{Z}\), the contribution of a trilinear with two Higgses adds up to an overall derivative term of the form \(\Box ( H H' )\), as we show in Appendix A. Moreover,Footnote 7
up to effects. Hence, and from \(\mu _Z \gg {m_\text {soft}}\), one expects the
\(\langle F^\dagger _Z \rangle \) contribution to be small due to the cancellation between leading terms. To be precise, one can estimate it as (cf. Eq. (70) of Appendix A)
Now, one expects that the EWSB vacuum is not disturbed by effects involving \(Z\) or \(\overline{Z}\), since \(H\)’s operators generated by integrating out
\(Z\) and \(\overline{Z}\) are suppressed by \({m_\text {soft}}/ \mu _Z \ll 1\) or \(\mu / \mu _Z \ll 1\). Therefore, the \(\langle F^\dagger _Z \rangle \ne 0\) contribution that arises from a trilinear with two Higgses is more appropriately classified as a
contribution.
Since \(D\) is a hypercharge singlet, operators that come from a gauge vector superfield have mass dimension higher than \(5\). The least is a dimension-6 operator
that is conceivable if there exists a hypercharge \(+1\) Higgs (\(H'\)). On the other hand, if the low-energy Higgs sector coincides with that of the MSSM, the leading pure- contributions that are independent of \(\langle F^\dagger _Z \rangle \) correspond to the dimension-7 operators
Since realistic SUSY models have Higgs bilinears, be them dynamically generated or otherwise, it is conceivable that in general models there are pure-
contributions to \(L L H H\). Indeed, in Sect. 2.2 we analyse models in the recent literature whose authors missed to identify the presence of such contributions.
We then set up to ask a different question. Do Higgs bilinears imply the existence of a pure- contribution to \(m_\nu \)? Or are there models in which this implication does not hold? We show that there is always a pure-
contribution (Sect. 3.1), however, models exist in which the LO contribution to \(m_\nu \) is proportional to
(Sect. 4), as we exemplify in Sect. 5.
2.2 Models in the literature
We analyse three recent models [55–57]. The first model is a one-loop type-II seesaw and its superpotential (\(\mathcal {W}'\)) is defined in Eq. (5) of [55]. \(\mathcal {W}'\) has two continuous Abelian symmetries independent of the hypercharge, and which can be identified with baryon and lepton numbers, and an \(R\)-symmetry. Once the scalar component of the gauge singlet superfield \(\hat{\sigma }\) acquires a VEV, \(L\)-number is broken. We will shift the vacuum accordingly by working with the superpotential
As some suitable definition of \(L\)-number is recovered in the limit in which any coupling of the set \(\{ f , f_q , \lambda , y_u \}\) goes to zero, the LO superoperator that breaks \(L\)-number is a \(\hat{\Delta }\)-mediated type-II seesaw (without a chirality flip, cf. Fig. 1) by means of the one-loop coupling
as generated by the supergraph of Fig. 2. (\(a\) is some mass dimension \(-1\) coefficient whose form will be given below.) On the rightmost diagram we illustrate by means of using auxiliary fields (\(F\), depicted by a dotted line with an arrowhead) that the diagram is holomorphy compliant and has an external \(F^\dagger \)–\( F\) pair. Therefore, a non-vanishing coefficient for that operator is in agreement with the SUSY non-renormalisation theorem.
Leading order supergraph that contributes to the three-scalar coupling \(\Delta ^\dagger H_u H^\dagger _d\) in the model of [55]
For external neutral Higgses and at \(p_\text {ext}= 0\), \(a\) is given by
and hence, the pure- contribution to neutrino masses is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_Equ20_HTML.gif)
At the same order of perturbation theory other holomorphy compliant diagrams for \(\Delta ^\dagger H_u H^\dagger _d\) can be drawn but none has an external \(F^\dagger \)–\( F\) pair. Thus, in the \(p_\text {ext}\rightarrow 0\) limit the diagrams in such a set add up to zero as mandated by the SUSY non-renormalisation theorem. (This will be better illustrated in the discussion surrounding Fig. 11.) insertions lift this delicate cancellation, thus leading to \(\mu _H\)-independent contributions to \(m_\nu \). Under the common assumption of \(\mu _H \sim {m_\text {soft}}\), the two contributions are comparable.
The second model is a one-loop 1PI seesaw. Its superpotential is given in Eq. (1) of [56] and we reproduce here the part involved in the generation of \(L L H H\):
where we have made the identifications \(\Phi _{L1} \rightarrow H_d\), \(\Phi _{L2} \rightarrow H_u\), \(\psi \rightarrow L\) and chose a different normalisation for the mass terms. \(SU(2)_L\) contractions are defined as in Eq. (86), except for an overall minus sign in \(\mu _L\) and \(f_9\) terms.
At (leading) one-loop order three supergraphs with external \(\hat{L} \hat{L} \hat{H} \hat{H}\) are generated, as shown in Fig. 3. By doing the D-algebra we see that the third supergraph vanishes, while the others give the following contribution to the effective Lagrangian:
In the \(p_\text {ext}\rightarrow 0\) limit \(\varvec{\kappa }\) is given by
where \(D_0\) is the scalar one-loop 4-point integral [58–61]. Hence, upon EWSB the following pure- contribution to neutrino masses is obtained:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_Equ24_HTML.gif)
where we have taken the simplifying limit \(M_{N_i} = \mu _{s3} = \mu _{L2} = M_N\).
Leading order supergraphs for superoperators \(\hat{L} \hat{L} \hat{H} \hat{H}\) in the model of [56]. The third supergraph vanishes
In order to recover this same result working with component fields, we note that the holomorphy of the superpotential dictates that at one-loop order the only possible contributions to \(L L H H\) are those displayed in Fig. 4. For each diagram we display on the right-hand side its equivalent with auxiliary fields. Contrary to the previous model, in this model all LO holomorphy compliant diagrams have an external \(F^\dagger \)–\( F\) pair: the \(F\) is \(L L\) and the \(F^\dagger \) is \(F^\dagger _{H_d}\). The three-scalar interactions involved can be read from
and by means of standard calculations one can confirm the supergraph derivation.
Leading order diagrams generating operators \(L L H_u H^\dagger _d\) (upper row) and \(L L H_u H_u\) (lower row) in the model of [56]
Besides overlooking the pure- contribution to \(m_\nu \), the authors of [56] estimate the
contribution as having the dimensionful dependence (cf. Eq. (3) of [56])
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_Equ26_HTML.gif)
where we have taken the freedom to identify what they call the \(\tilde{N} \tilde{N}\)
\(B\)-term by \(m_{\mathrm{soft}}^2\), \({m_\text {soft}}\) being an overall scale for the soft- parameters. If this were indeed the LO contribution from
, then
under the common assumption of \(\mu _L \sim {m_\text {soft}}\). However, the authors have missed the dominant
contribution and which proceeds from the \(\eta _{L2} \zeta _3 H_d\)
\(A\)-term, as can be seen in Fig. 5. To be specific, at LO the \(A\)-terms lead to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_Equ27_HTML.gif)
where \(A_9\) is defined by \(f_9 A_9 \eta _{L2} \zeta _3 H_d \subset -\mathcal {L}_\text {soft}\). (Conventions regarding the soft- potential are explained at the beginning of Appendix B.) On dimensional grounds one would naively expect that, indeed, a dependence of \({m_\text {soft}}/ M^2\) for \(L L H H\) would be found, since the underlying, i.e. \(\int d^4\theta \, \hat{L} \hat{L} \hat{H} \hat{H}\), has mass dimension \(6\).
Leading order \(A\)-term (grey blobs) contribution to \(L L H H\) in the model of [56]. We do not display \(L L H_u H_u\) since it is subleading as it requires a \(B_{\eta _L}\) insertion
A thorough evaluation of soft- contributions to \(L L H H\) up to order \(2\) and in the simplifying limit \(M_{N_i} = \mu _{s3} = \mu _{L2} = M_N\) is given in Appendix D.
To end this section let us briefly mention the model of [57]. It is also a one-loop 1PI seesaw and contains a Higgs bilinear. The model’s low-energy superpotential comprises Eqs. (10) and (12) of [57], in addition to MSSM Yukawa couplings. In addition to baryon number, this superpotential has a continuous Abelian symmetry which is independent of the hypercharge and which is defined by
i.e. a \(L\)-number symmetry. The soft- potential of their model (cf. Eq. (11) of [57]) contains the terms
which explicitly break the \(U(1)_L\). (It is noteworthy that these terms are absent from their earlier works [62, 63].) It is thus not surprising that in their model all \(L L H H\) operators come from . If one adds to the superpotential the analogue of \(\zeta ^2\) and \(\eta ^2\)
-terms, i.e.
so that \(U(1)_L\) breaking becomes independent of , one finds a pure-
contribution to \(L L H_u H^\dagger _d\) and \(L L H_u H_u\) in striking resemblance to the previous model: \(\hat{\Phi }_{u,d}\) play the role of \(\hat{\eta }_{L2,L1}\), while \(\hat{\zeta }\) (and its the mixture with \(\hat{\eta }\)) plays the role of \(\hat{\zeta }_3\) in the generation of \(L L H_u H^\dagger _d\) (and \(L L H_u H_u\), respectively).
3
contributions
In the presence of \(F\)- or \(D\)-term , any operator that comes from
is contained in the union of the following cases:
modulo \(D^2 \hat{X}\), \(\bar{D}^2 \hat{X}^\dagger \) and \(D^2 \bar{D}^2 \hat{Y}\) insertions, and where \(\hat{X}\) and \(\hat{Y}\) are \(F\)- and \(D\)-term spurions, respectively. Under the common assumption that
is blind to the internal symmetries of the visible sector, it is conceivable the existence of models in which both \(\{\hat{X}, \hat{X}^\dagger , \hat{Y}\} \widehat{\text {OP}}\) (cases a, b and c, respectively) and \(\widehat{\text {OP}}\) are generated up to some order in perturbation theory. We can now ask ourselves which instances of \(\widehat{\text {OP}}\in \widehat{\text {OP}}_\nu \) do not yield an \(\text {OP}\in \text {OP}_\nu \) in the absence of
spurions.Footnote 8 The general answer is
In the following, let \(\hat{Z}^\dagger \) and \(\hat{V}\) denote any superfields whose \(\hat{Z}^\dagger ~(\text {mod}\, \hat{H}^\dagger )\) and \(\hat{V}~(\text {mod}\, \hat{H}, \hat{H}^\dagger )\) parts satisfy Eqs. (12) and (11), respectively. Type-1 superoperators that only give \(\text {OP}\in \text {OP}_\nu \) from according to a, b and c, are:
where \(n, n', k = 0,1,\ldots \) stand for any number of insertions, though constrained by internal symmetries. Type-2 \(\widehat{\text {OP}}\)’s that only give \(\text {OP}\in \text {OP}_\nu \) from can only proceed from b:
If at low energy the only Higgses are MSSM’s, then the superoperators of lowest dimension that only give \(\text {OP}\in \text {OP}_\nu \) from are
3.1 Are there models in which the pure-
subset of \(\text {OP}_\nu \) is empty?
Since every \(\widehat{\text {OP}}\in \widehat{\text {OP}}_\nu \) has \(U(1)_Y\) and \(SU(2)_L\) charges flowing in internal lines, one might be tempted to think that this alone suffices to show that the subset is always non-empty. Indeed, as insertions of external \(\hat{V}_{U(1)_Y}\) and \(\hat{V}^\alpha _{SU(2)_L}\) into internal lines are allowed, and in particular into loop lines, it is conceivable that any \(\widehat{\text {OP}}\in \widehat{\text {OP}}_\nu \) can be promoted to a superoperator that yields a pure-
\(\text {OP}\in \text {OP}_\nu \) by means of judicious appendages of gauge vector superfields \(\hat{V}\) and their chiral projections \(D^2 \hat{V}\) and \(\bar{D}^2 \hat{V}\). An example of this that we will encounter in Sect. 5 is
which yields dimension-7 operators of the form
However, even though supergraphs with any given number of external \(\hat{V}\)s can be constructed from any underlying \(\widehat{\text {OP}}\in \widehat{\text {OP}}_\nu \), the so obtained \(\widehat{\text {OP}}\in \widehat{\text {OP}}_\nu \) may vanish as the supergraphs add up to zero. In fact, this happens whenever all charge carrying internal lines undergo a chirality flip that is symmetric w.r.t. the local symmetry of which \(\hat{V}\) is the gauge superfield. More generally, \(\hat{V}\)s insertions can be seen to correspond to terms in the \(\hat{V}\)-expansion of gauge completed superoperators.Footnote 9
Regarding models in which there exists a Higgs bilinear. Pick a \(\widehat{\text {OP}}\in \widehat{\text {OP}}_\nu \). Each supergraph contributing to \(\widehat{\text {OP}}\) belongs to one of the following two classes:
-
(a)
at least one external Higgs \(\hat{H}\) (or \(\hat{H}^\dagger \)) is locally connected to loop superfields, i.e. at least one external Higgs is 1PI;
-
(b)
all external Higgses are connected to the loop(s) by means of 1PR propagators, i.e. all external Higgses are 1PR.
Without loss of generality, say that for a particular supergraph belonging to class-a the vertex is \(\hat{H} \hat{X}_1 \hat{X}_2\), where the \(\hat{X}\)s are loop superfields. One can then see (cf. Fig. 6) that an insertion of \(\hat{H}^\dagger \) (\(\hat{H}\)) followed by an insertion of \(\hat{H}\) (\(\hat{H}^\dagger \)) leads to a supergraph for the superoperator
Each class-b supergraph can also be transformed into a supergraph for \(\hat{H}^\dagger \hat{H} \, \widehat{\text {OP}}\), as we proceed to show. Choose some 1PR leg. To be completely general, we take the Higgses along that leg to be \(\hat{H}\), \(\hat{H}'\),..., where \(\hat{H}\) is attached to the loop(s) by one 1PR propagator, \(\hat{H}'\) by two, and so on along the leg, and the chiralities are left unspecified (for e.g. \(\hat{H}\) and \(\hat{H}'\) do not need to have the same chirality, and \(\hat{H}\) can be either chiral or anti-chiral). This is depicted in the left-hand side supergraph of Fig. 7. Let \(\hat{H} \hat{\Phi }\hat{\Phi }'\) be the vertex that connects \(\hat{H}\) to the leg, and where \(\hat{\Phi }\) is the superfield that connects \(\hat{H}\) to the loop(s) (depicted by a circle) by either a \(\hat{\Phi }\hat{\Phi }^\dagger \) or a \(\hat{\Phi }\hat{\overline{\Phi }}\) propagator. Now, in the same way as a \(\hat{H}^\dagger \hat{H}\) insertion is performed in Fig. 6, one can make an insertion of \(\hat{\Phi }^\dagger \hat{\Phi }\) (or \(\hat{\overline{\Phi }}{}^\dagger \hat{\overline{\Phi }}\), depending on how \(\hat{\Phi }\) is connected to the loop(s)) in the loop line to which \(\hat{\Phi }^\dagger \) (or \(\hat{\overline{\Phi }}\)) is locally connected. Then take \(\hat{\Phi }^\dagger \) (or \(\hat{\overline{\Phi }}\)) to propagate via \(\hat{\Phi }\hat{\Phi }^\dagger \) (or \(\hat{\Phi }\hat{\overline{\Phi }}\)) to \(\hat{\Phi }' \hat{H}\), so that the insertion leads to two additional legs: one with \(\hat{\Phi }' \hat{H}\) and the other with \(\hat{\Phi }'^\dagger \hat{H}^\dagger \), as shown in the middle supergraph of Fig. 7. Now, by contracting \(\hat{\Phi }'\) with \(\hat{\Phi }'^\dagger \) we arrive at a supergraph (see right-hand side of Fig. 7) for the superoperator \(\hat{H}^\dagger \hat{H} \, \widehat{\text {OP}}\).
Schematic of a procedure to go from a class-b supergraph for \(\widehat{\text {OP}}\) (leftmost diagram) to a supergraph for \(\hat{H}^\dagger \hat{H} \, \widehat{\text {OP}}\) (rightmost diagram) by means of a double insertion in the loop line to which the 1PR leg is attached (middle diagram). The dot at which the lines of \(\hat{\Phi }^\dagger \) and the two \(\hat{\Phi }\)s meet is a vertex in the sense of Fig. 6. In order to describe all conceivable assignments of chiralities to external and internal superfields, the chiralities of \(\hat{H}\), \(\hat{H}'\), \(\hat{\Phi }\) and \(\hat{\Phi }'\) are left unspecified. However, \(\hat{H}\), \(\hat{\Phi }\) and \(\hat{\Phi }'\) have the same chirality, as is implied by the vertex. Moreover, and so that all conceivable propagators are described, we also do not specify how \(\hat{\Phi }\) is connected to the loop(s) (depicted by the circle), nor how \(\hat{\Phi }'\) is connected to \(\hat{H}'\)
The procedures described above can be applied to each class-a or -b supergraph of the set contributing to \(\widehat{\text {OP}}\) up to any given order of perturbation theory. Hence, if class-a or -b supergraphs for superoperator \(\widehat{\text {OP}}\) do not add up to zero, the transformed ones do not add up to zero for \(\hat{H}^\dagger \hat{H} \, \widehat{\text {OP}}\) either. Now, if there exists a Higgs bilinear, \(\hat{H}^\dagger \hat{H} \, \widehat{\text {OP}}\) yields a pure-
\(\text {OP}\in \text {OP}_\nu \) regardless of \(\widehat{\text {OP}}\in \widehat{\text {OP}}_\nu \). We will illustrate this for a particular model in Sect. 5.
On dimensional grounds one expects that the strength of a pure- obtained from \(\widehat{\text {OP}}\) by an insertion of \(\hat{V}\) compares to the strength of a pure-
obtained from the same superoperator by an insertion of \(\hat{H}^\dagger \hat{H}\) as
for class A or B superoperators, respectively, and where \(\lambda \) is the coupling strength of \(\hat{H}\)s to the loop(s). Moreover, if the leading supergraphs for \(\widehat{\text {OP}}\) are of class-b, and the model is such that the only feasible \(\hat{H}^\dagger \hat{H}\) insertion is by means of the procedure described in Fig. 7, then the \(\propto \mu / M\) contribution comes with an additional loop suppression factor.
4 Models in which the leading order subset of \(\text {OP}_\nu \) is proportional to
A possible strategy to construct models of this kind is the following. Pick a set of superoperators that cannot yield a pure- [cf. Eqs. (33) and (34)]. Choose the LO topologies at which these operators appear. Write the necessary superfields and couplings. As a final step, pick an internal symmetry group that precludes, at least up to the same order of perturbation theory, all superoperators that yield a pure-
. In particular, it is essential that the “wrong” Higgs does not communicate (at least up to the same order as the “right” Higgs) to the sector that holds \(L\)-number breaking. To illustrate this, consider for example the one-loop realisation of 1PI \(\hat{L} \hat{L} \hat{H}_u \hat{H}_u\). \(\hat{H}_u\) couples to, say, \(\hat{X}_1 \hat{X}_2\), where \(\hat{X}_{1,2}\) have mass terms. Without loss of generality let the mass terms be \(\hat{\overline{X}}_i \hat{X}_i\). Hence, \(\hat{\overline{X}}_1 \hat{\overline{X}}_2 \hat{H}_d\) is invariant under non-\(R\)-symmetries in this phase. If such a term exists in the superpotential, this same model generates the supergraph topology shown in the middle panel of Fig. 3, leading to \(\hat{L} \hat{L} \hat{H}_u \hat{H}^\dagger _d\) which yields a pure-
.
We cannot think of any serious obstruction that would compromise this procedure for constructing general models of this kind. In fact, in the next section we give a proof of existence based on a one-loop type-II seesaw, also showing that this kind of models need not be complicated.
Under the assumption of a standard set of Higgses (\(\hat{H}_{u,d}\)), the simplest models of this kind are those that generate, at the one-loop order, superoperators that were identified in Eq. (35). From D-algebra considerations, and relegating topologies with self-energies to Appendix C, one obtains the following list of possibilitiesFootnote 10:
-
\(D^2 ( \hat{L} \hat{L} ) \hat{H}_u \hat{H}_u\), \(\hat{L} \hat{L} D^2 ( \hat{H}_u \hat{H}_u )\), \(D^2 ( \hat{L} \hat{L} ) \hat{H}^\dagger _d \hat{H}^\dagger _d\) and \(\hat{L} \hat{L} \bar{D}^2 ( \hat{H}^\dagger _d \hat{H}^\dagger _d )\) – type-II without a chirality flip;
-
\(\hat{L} \hat{L} \hat{H}_u \hat{H}_u\) (1PR) – type-II with a chirality flip, type-I and -III;
-
\(\hat{L} \hat{L} \hat{H}_u \hat{H}_u\) (1PI).
The corresponding supergraph topologies are depicted in Fig. 8. Notice that we populate the supergraphs with \(D\)s in a manner that makes the non-trivial 1PI part separable. Moreover, when doing the D-algebra, we integrate by parts the \(D\)s in a way that avoids crossing over the non-trivial 1PI part. The usefulness of this procedure is in allowing to associate superoperators to whole 1PR supergraphs, even when the result of some of their 1PI parts is zero in the SUSY limit. This works by extending the \(d^4\theta \) integration of the non-trivial 1PI part to a \(d^4\theta \) integration that encompasses all external superfields. To illustrate what we mean, consider the second supergraph topology, and let \(\hat{\Phi }\hat{\Phi }^\dagger \) be the 1PR propagator. If, after doing the loop’s D-algebra, we integrated by parts the \(D^2\) that lies over the 1PR line to the right, we would obtain \(\hat{L} \hat{L} D^2 ( \hat{H}^\dagger _d \hat{H}^\dagger _d ) = 0\). However, as we integrate it to the left, we end up with \(D^2 ( \hat{L} \hat{L} ) \hat{H}^\dagger _d \hat{H}^\dagger _d\). With this procedure the zero of the non-trivial 1PI part, i.e. \(\int d^4\theta \, \hat{\Phi }^\dagger \hat{H}^\dagger _d \hat{H}^\dagger _d = 0\), is transferred to \(\int d^4\theta \, D^2 ( \hat{L} \hat{L} ) \hat{H}^\dagger _d \hat{H}^\dagger _d = 0\).
One-loop supergraph topologies that are identified in the text. From left to right: \(D^2 ( \hat{L} \hat{L} ) \hat{H}_u \hat{H}_u\) or \(\hat{L} \hat{L} D^2 ( \hat{H}_u \hat{H}_u )\), \(D^2 ( \hat{L} \hat{L} ) \hat{H}^\dagger _d \hat{H}^\dagger _d\), \(\hat{L} \hat{L} \bar{D}^2 ( \hat{H}^\dagger _d \hat{H}^\dagger _d )\), \(\hat{L} \hat{L} \hat{H}_u \hat{H}_u\) (1PR) and \(\hat{L} \hat{L} \hat{H}_u \hat{H}_u\) (1PI)
The subcase \(\hat{L} \hat{L} D^2 ( \hat{H}_u \hat{H}_u )\) of the first topology, i.e. in which \(\hat{H}_u \hat{H}_u\) is coupled to the 1PR propagator (say \(\hat{\Phi }\hat{\Phi }^\dagger \)), contains an example of the trilinear case discussed in Sect. 2.1. To be precise, its non-trivial 1PI part gives
and since (cf. Eq. (70) and let \(\lambda \) be the \(\hat{\Phi }\hat{H}_u \hat{H}_u\) superpotential coupling)
it effectively generates \(L L H_u H_u\) and \(L L H_u H^\dagger _d\).
To study how effects upon these topologies can generate an \(\widehat{\text {OP}}\) which yields an \(\text {OP}\in \text {OP}_\nu \), we include soft-
in supergraph calculations by means of the followingFootnote 11 non-chiral vertices with
spurions (\(\hat{X} \sim M_X^2 \theta ^2\)):
We note that this form for \(A\)- and \(B\)-terms is equivalent to (d) and (b) of [54], respectively, since \(\int d^4\theta \hat{X}^\dagger \hat{X} \, \widehat{\text {OP}}\sim \int d^2\theta \hat{X} \, \widehat{\text {OP}}\).Footnote 12 The complete list of insertions that yield an \(\text {OP}\in \text {OP}_\nu \) reads
where \(n = 0,1,\ldots \) stands for the number of insertions of \(D^2 \bar{D}^2 (\hat{X}^\dagger \hat{X})\).
A soft- insertion into a (anti-)chiral vertex, i.e. an \(A\)-term, introduces an extra \(\hat{X}\) (\(\hat{X}^\dagger \), respectively) factor in the corresponding supergraph. Hence, D-algebra considerations reveal that a single soft-
insertion of an \(A\)-term can generate an \(\text {OP}\in \text {OP}_\nu \) only in the case of a type-II seesaw without a chirality flip, i.e. the first topology of Fig. 8, and which leads to
For a detailed catalogue up to order \(3\) in the scale of soft- (\({m_\text {soft}}\)) see Appendix B. It is important to notice that
-insertions into the supergraph underlying the superoperator \(\hat{L} \hat{L} D^2 (\hat{H}_u \hat{H}_u )\) do yield the \(\langle F^\dagger _\Phi \rangle \) contribution mentioned in Eq. (41). Indeed, the terms in Eq. (41) correspond, respectively, to the following entries of Table 5: the fifth row of the second table and the fourth and first rows of the first table.
From the tables in Appendix B three different kinds of leading dimensionful suppression factors are found:
-
\(\mu \, {m_\text {soft}}/ M^3\) or \(m_{\mathrm{soft}}^2 / M^3\) – \(D^2 ( \hat{L} \hat{L} ) \hat{H}_u \hat{H}_u\) and \(\hat{L} \hat{L} D^2 ( \hat{H}_u \hat{H}_u )\);
-
\(\mu \, m_{\mathrm{soft}}^2 / M^4\) or \({m_\text {soft}}^3 / M^4\) – \(\hat{L} \hat{L} \bar{D}^2 ( \hat{H}^\dagger _d \hat{H}^\dagger _d )\);
-
\(m_{\mathrm{soft}}^2 / M^3\) – \(D^2 ( \hat{L} \hat{L} ) \hat{H}^\dagger _d \hat{H}^\dagger _d\) and \(\hat{L} \hat{L} \hat{H}_u \hat{H}_u\) (both 1PR and 1PI).
The absence of a contribution linear in \({m_\text {soft}}\) for some topologies is most easily seen to stem from the fact that one-loop topologies for \(\hat{L} \hat{L} \hat{H}_u \hat{H}_u\), as well as the one-loop 1PI parts of \(D^2 ( \hat{L} \hat{L} ) \hat{H}^\dagger _d \hat{H}^\dagger _d\) and \(\hat{L} \hat{L} \bar{D}^2 ( \hat{H}^\dagger _d \hat{H}^\dagger _d )\), use vertices of a single chirality. Moreover, and in regard to \(\hat{L} \hat{L} \bar{D}^2 ( \hat{H}^\dagger _d \hat{H}^\dagger _d )\), the leading contributions from the \(\bar{D}^2 ( \hat{H}^\dagger _d \hat{H}^\dagger _d )\) piece are \(\mu H_u H^\dagger _d\) and \(A^* H^\dagger _d H^\dagger _d\).
In Appendix C, where we conduct a similar analysis for one-loop realisations with self-energies, we find that these too have leading dimensionful suppression factors that range from \(\mu \, {m_\text {soft}}/ M^3\) or \(m_{\mathrm{soft}}^2 / M^3\) to \(\mu \, m_{\mathrm{soft}}^2 / M^4\) or \({m_\text {soft}}^3 / M^4\).
If we take \(\mu \sim {m_\text {soft}}\), we can conclude that in one-loop models of this kind \(L L H H\) operators have a dimensionful suppression of at least \(m_{\mathrm{soft}}^2 / M^3\). This result is naively expected for type-II seesaws without a chirality flip, since \(\int d^4\theta D^2 ( \hat{L} \hat{L} ) \hat{H} \hat{H}\) has mass dimension \(7\). For other realisations this dependence is not trivial, since for an underlying superoperator \(\hat{L} \hat{L} \hat{H} \hat{H}\) one in general expects a \({m_\text {soft}}/ M^2\) dependence, as was indeed found in Sect. 2.2.
The dimensionful suppression \(\mu \, {m_\text {soft}}/ M^3\) or \(m_{\mathrm{soft}}^2 / M^3\) does not hold at higher loops. For instance, consider \(\hat{L} \hat{L} \hat{H}_u \hat{H}_u\) generated by the 1PI two-loop topology shown in the left-hand side of Fig. 9. A single \(A\)-term insertion (depicted as a grey blob, on the right) leads to
5 A model example
Looking at the one-loop topology for \(D^2 ( \hat{L} \hat{L} ) \hat{H}_u \hat{H}_u\) (cf. Fig. 8) we see that the most general set of scalar superfields and superpotential terms involved is seven and five (four trilinears and one bilinear), respectively. The subset of \(U(1)^7\) (acting independently on each scalar superfield) under which the five terms are invariant consists of the hypercharge and a new \(U(1)_X\) charge carried by the superfields in the loop (say \(\hat{X}\)s). These are responsible for communicating \(L\)-number breaking to the SM leptons via the exchange of a type-II seesaw mediator, \(\hat{\Delta }\).
Since \(\hat{\Delta }\) must be massive, the only way by which the coupling \(\hat{\Delta }^\dagger \hat{H}_u \hat{H}_u\) can be made to be genuinely radiative is by linking it to the VEV of a superoperator of at least dimension \(4\) in superfields. One simple example is
This is similar to the procedure described in [35] to prevent a 1PR seesaw from having a tree-level contribution and which in an ordinary QFT only works for type-I and -III topologies. It can be successfully applied to the type-II topology in a SUSY setting because renormalisable four-scalar interactions can be genuinely radiative in SUSY (see Appendix E). To understand this result, we note the following. In order for the \(\chi \chi \phi \) interaction to be genuinely radiative, and thus realise a radiative type-I or -III seesaw, it must arise from some symmetric operator that is not present at tree-level in the UV complete model. Only non-renormalisable operators satisfy this criterion. Thus, if one builds a model in which \(\chi \chi \phi \phi '\) is not generated at tree-level (this can always be done) and \(\phi '\) gets a symmetry breaking VEV, in the broken phase we obtain the so desired radiative coupling. (The way by which this is done in [35] is to consider that \(\phi '\) is attached to an internal spinor line of an underlying 1PI one-loop topology for \(\chi \chi \phi \phi '\).) In an ordinary QFT this cannot work for a target \(\phi ^3\) from a symmetric \(\phi ^3\phi '\) because \(\phi ^3\phi '\), being renormalisable, must be present at tree-level in the UV complete model.
We will assume that this is achieved by a \(U(1)\) \(L\)-number symmetry that is broken by the VEV of the scalar component of \(\hat{\rho }\). Since \(L\)-number breaking is communicated by \(X\)s, the simplest choice is to consider that they couple directly to \(\hat{\rho }\). We remain agnostic as to what drives \(\langle \rho \rangle \ne 0\). Furthermore, the simplest holomorphy compliant choice is to make a \(\hat{\rho }^\dagger \) insertion in the loop line where chirality flips, so that the mass term originates from \(L\)-number breaking. We thus arrive at the left-hand side diagram of Fig. 10. Even though the topology does not require \(\hat{X}_1\) and \(\hat{X}_2\) to have mass terms, we will assume that they do have \(\hat{X} \hat{\overline{X}}\) mass terms already at the \(L\)-number symmetric phase.
The model is thus summarised in Table 1 and its most general renormalisable superpotential readsFootnote 13
(Conventions regarding \(SU(2)_L\) contractions are given in Appendix F.) In the absence of the last term the model acquires the \(R\)-symmetry shown in the last column of Table 1. This term allows for a chirality flipped type-II seesaw of superoperator \(\hat{L} \hat{L} \hat{H}_u \hat{H}_u\), as shown in the right-hand side supergraph of Fig. 10. The broken \(L\)-number phase corresponds to
It is now convenient to notice that, as any coupling in \(\{\lambda _1,\lambda _2,\lambda _L\}\), or both \(\lambda _X\) and any in \(\{\bar{\lambda }_X, M_\Delta , M_{X_1}, M_{X_2}\}\), goes to zero the model recovers a \(L\)-number symmetry, any superoperator that breaks \(L\)-number must be proportional to
Hence, the set of LO (w.r.t. perturbation theory only, i.e. disregarding hypothetical hierarchies among couplings or masses) superoperators that break \(L\)-number proceed from the two supergraphs of Fig. 10 (and no others) and are
In the \(p_\text {ext}\rightarrow 0\) limit the LO coefficients are given by
respectively, and where \(C_0\) and \(D_0\) are abbreviations of scalar one-loop 3- and 4-point integrals, respectively, as defined in Appendix F. In the SUSY limit LO \(L\)-number breaking is thus
while \(\int d^4\theta \hat{L} \hat{L} \hat{H}_u \hat{H}_u = 0\). Hence, we see that there is no pure- contribution to neutrino masses. An equivalent way to arrive at this conclusion is the following. Of the two supergraphs, only the first has a non-vanishing (non-trivial) 1PI part. It reads
Then, by adding to the classical Lagrangian these operators, one sees that \(\langle F_{H_u} \rangle = \mu ^* \langle H^\dagger _d \rangle \ne 0\) generates a tadpole contribution to \(F^\dagger _\Delta \supset M_\Delta {\overline{\Delta }}\). Thus, \({\overline{\Delta }}\) acquires a VEV. However, as there is no mixing between \({\overline{\Delta }}\) and \(\Delta \), this VEV is inconsequential for neutrino masses. On the other hand, when contributions are considered, \(\langle {\overline{\Delta }} \rangle \ne 0\) will give a contribution to neutrino masses by means of the soft-
term \(B_\Delta \Delta {\overline{\Delta }}\). We will comment on this below.
It is instructive to illustrate in terms of component fields why there is no pure- contribution to \(L L H H\). In order to yield \(L L H H\), the first supergraph of Fig. 10 necessitates the three-scalar coupling \(\Delta ^\dagger H_u H_u\). There are three topologies contributing to this coupling at LO: two with scalars in the loop and the other with spinors (see Fig. 11). In the \(p_\text {ext}\rightarrow 0\) limit the latter cancels the former exactly. Another way to look at this result is the following. If one draws diagrams for \(\Delta ^\dagger H_u H_u\) using auxiliary fields – so that holomorphy becomes more transparent – one concludes that there does not exist a single diagram that is simultaneously holomorphy compliant and has at least an external \(F^\dagger \)–\( F\) pair. Moreover, all such diagrams that are holomorphy compliant can be paired in sets in such a way that a set with scalar loops is matched to a set with spinor loops and an exact cancellation in the \(p_\text {ext}\rightarrow 0\) limit is operative. Regarding the second supergraph, it necessitates \(F_{\overline{\Delta }} H_u H_u\) but no holomorphy compliant diagram for \(F_{\overline{\Delta }} H_u H_u\) can be drawn.
By recalling the discussion in Sect. 3.1, one can see that the pure- subset of \(\text {OP}_\nu \) comprises at LO the dimension-7 operators generated by the supergraphs depicted in Fig. 12. (Insertions of gauge vector superfields into the second supergraph of Fig. 10 have been omitted as they add up to zero, cf. Sect. 3.1.) They generate the superoperators
with LO coefficients
respectively. More explicit expressions are given in Appendix F.1, in particular Eqs. (89) and (91). Hence, the LO pure- subset of \(\text {OP}_\nu \) is
where we have taken the simplifying limit \(M_{X_{1,2,3}} = M_X\) [cf. Eqs. (90) and (92)]. From this expression we can see that the gauge couplings’ contribution to neutrino masses, which reads
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_Equ57_HTML.gif)
vanishes at \(v_u = v_d\). This agrees with the fact that the contribution is \(\propto \langle D \rangle \) since \(v_u = v_d\) corresponds to the \(D\)-flat direction of the scalar potential.
To understand, in terms of component fields, how these insertions are enablers of contributions to \(\text {OP}_\nu \) consider the following. As the insertion of an external auxiliary component of a gauge vector superfield (\(D\)) into a scalar line preserves chirality (or, diagrammatically, the arrowhead’s direction), any holomorphy compliant diagram with a \(D\) attached has a corresponding (underlying) holomorphy compliant diagram without that \(D\). Since in our example we are considering a single \(D\) insertion, the LO underlying diagrams are the ones depicted in Fig. 11, and no others. Once an external \(D\) is attached to an internal scalar line, the spinor loop diagram does not contribute and the sum of the others does not need to vanish anymore to respect the SUSY non-renormalisation theorem. Regarding the \(\hat{H}^\dagger _u \hat{H}_u\) insertion, one can see that it allows for holomorphy compliant diagrams with an external \(F^\dagger \)–\( F\) pair by means of attaching \(F^\dagger _{H_u}\) and \(F_{H_u}\) to the scalar loop.
The LO subset of \(\text {OP}_\nu \) is composed of dimension-5 operators that come from . Complete expressions for these operators up to order \(3\) in \({m_\text {soft}}\) are given in Appendix F.2. Here we take the simplifying limits \(M_{X_{1,2,3}} = M_X\), \((m_{\mathrm{soft}}^2)_{X_{1,2,3}} = (m_{\mathrm{soft}}^2)_{\overline{X}_{1,2,3}} = m_{\mathrm{soft}}^2\), \(A_{1,2} = A\) and \(B_{X_{1,2,3}} = B_X\). Equation (93) then reads
The discussion surrounding Fig. 11 already suggested that one type of contribution would come from the mass splittings within components of chiral scalar superfields, as induced by \(m_{\mathrm{soft}}^2\) and \(B_X\), since they introduce a mismatch in the cancellation between spinor and scalar loops. However, unlike \(m_{\mathrm{soft}}^2\), \(B\) insertions reverse chirality. Thus, while a single chirality flip in a scalar line makes holomorphy compliant diagrams for \(F_{\overline{\Delta }} H_u H_u\) possible – and that is why there is a \(B_X\)-term contribution from the second supergraph (identified by the \(\mathbf {b}\) dependence in the expression above) –, a single
insertion of a \(B_X\) disables holomorphy compliant diagrams for \(\Delta ^\dagger H_u H_u\) and hence the absence of a single \(B_X\)-term contribution proportional to \(\mathbf {a}\) for \(L L H_u H_u\) (cf. Eq. (93)). For \(L L H_u H^\dagger _d\) such a contribution can be holomorphy compliantFootnote 14 due to an external \(F\) (\(F_{H_u} \rightarrow \mu ^* H^\dagger _d\)). Concerning contributions proportional to \(B_\Delta \), they rely on the fact that EWSB induces, at the one-loop level, a VEV for \({\overline{\Delta }}\) which, through \(B_\Delta \), induces a VEV for \(\Delta \) and hence \(L L \langle \Delta \rangle \subset \int d^2\theta \, \mathcal {W}\). In fact, one can confirm that the dependence of \(L L H_u H^\dagger _d\) on \(B_\Delta \) is what one obtains from \(L L \langle \Delta \rangle \), where \(\langle \Delta \rangle \) is computed by following the route
In order to obtain the \(B_\Delta \) dependence of \(L L H_u H_u\), one must take into account the shift in \(\langle {\overline{\Delta }} \rangle \) induced by . To leading order, this shift is proportional to \(A_1 + A_2\).
6 Conclusions
While the smallness of \(m_\nu \) points towards an high seesaw scale \(M\), the resolution of the hierarchy problem suggests that the scale of soft- should lie close to the TeV scale. It is then tempting to conceive that \({m_\text {soft}}/ M\) is partially responsible for \(m_\nu \ll v\). Since in the SUSY limit there are no radiative corrections to the superpotential, models in which neutrino masses arise at the loop level provide a scenario in which such a connection is natural. How \(m_\nu \) is proportional to
depends on the particular radiative seesaw model or, more specifically, on the form of the leading \(L\)-number breaking superoperators.
By classifying the dependence on according to their involvement in EWSB, we identified a subset of model topologies in which the leading contributions to \(m_\nu \) depend on
sources that are not involved in EWSB. In a first stage, we argued in favour of this by showing that, of all superoperators that can possibly contribute to neutrino masses, there is a subset which does it only by means of insertions of
spurions. Then, in a second stage, we gave a complete description of the simplest model topologies in which all leading superoperators were of this type, and we calculated their dependence on soft-
up to order \(3\). We found that all one-loop realisations generated \(L L H H\) operators with a leading dimensionful dependence that ranged from \(\mu \, {m_\text {soft}}/ M^3\) or \(m_{\mathrm{soft}}^2 / M^3\) to \(\mu \, m_{\mathrm{soft}}^2 / M^4\) or \(m_{\mathrm{soft}}^3 / M^4\).
Even though the majority of all conceivable model topologies do in fact generate contributions to \(m_\nu \) proportional to , we pointed out that all models in the literatureFootnote 15 that we are aware of generate at least one leading topology that gives a contribution in which all
sources are involved in EWSB. To serve as a proof of the existence of models in which \(m_\nu \) is proportional to
at leading order, we built a model in which the leading neutrino mass operators were of dimension 5 and came from
, whereas the pure-
ones had dimension 7.
One phenomenologically interesting aspect of these models is that soft- effects generating the leading order \(m_\nu \) can be quite small without conflicting with lower limits on the mass of new particles. This is due to the fact that these effects involve states that can possess superpotential mass terms in the EWS phase, as we have seen in the model example. This is in contrast with models that contain pure-
contributions to \(m_\nu \) at leading order, because \(\mu \) and the soft-
effects driving EWSB provide the dominant contribution to the mass of the corresponding states, and are therefore severely constrained by present lower limits on sparticle masses.
If one conceives the leading order \(m_\nu \) to be small as a result of some small scale (say \(m\)) in the underlying soft- effects, its explanatory value for the smallness of \(m_\nu \) must be confronted with the size of next-to-leading order contributions that are insensitive to \(m\). These next-to-leading contributions do appear at the same loop level in the form of operators of higher dimension, but can also appear as higher-loop contributions to operators of leading dimension. For instance, in the model example the former were dimension-7 operators proportional to \(\mu / M\) or \(g^2\), whereas the latter arise as two-loop contributions to dimension-5 operators. These are proportional to:
-
\(\mu ^2 / M^2\) (and \(\mu A^*_\ell / M^2\)), due to superpotential terms involving the “wrong” Higgs. To be specific, \(\hat{L} \hat{L} \hat{H}_u \hat{H}^\dagger _d\) is generated by a 1PI two-loop topology that is constructed from the one-loop topology in the left-hand side of Fig. 10 by means of the coupling \(Y_\ell \hat{L} \hat{e}^c \hat{H}_d \subset \mathcal {W}\);
-
\(m_{\widetilde{\text {EW}}} / M\), due to topologies with internal EW gauge vector superfields in which a EWino mass term (\(m_{\widetilde{\text { EW}}}\)) is inserted.
In this particular model, and taking \(\mu \sim 2~\text {TeV}\), one can obtain \(0.1~\text {eV}\lesssim m_\nu \lesssim 1~\text {eV}\) with seesaw mediators (\(\hat{\Delta }\mathrm{s}\) and the \(\hat{X}\mathrm{s}\)) lying at \(\sim 10~\text {TeV}\) and order \(0.1\) couplings, provided \(m \lesssim 100~\text {GeV}\).
The parameter space of these models is quite rich as there are many couplings and masses involved in the generation \(m_\nu \). From a qualitative point of view, one can identify two overlapping regions of parameter space of potential phenomenological interest. An interesting region is the one in which both \(\mu \) and \(m\) are particularly small w.r.t. \(M\), while higher-order contributions to \(m_\nu \) that are independent of both \(\mu \) and \(m\) remain subleading. In this region a small \(m_\nu / v\) can be generated with even larger couplings and/or lighter seesaw mediators. Since \(m_\nu \) is sensitive to at least the fourth power of couplings involved in \(L\)-number breaking, another possibly interesting region comprises a lighter \(M\) at the expense of slightly weaker couplings. For instance, in the model of Sect. 5, decreasing all the couplings by a factor of \(1/2\) allows one to decrease \(M_X\) by a factor of \(1/10\) while keeping \(m_\nu \) fixed. A detailed phenomenological analysis of this model will be presented in a future publication.
To summarise, we have shown that there exist radiative seesaw models in which \(m_\nu / v \ll 1\) can be explained by \({m_\text {soft}}/ M \ll 1\) with \(M\) not very far above the EW scale. Under the assumption of \(L\)-number breaking at the superpotential level and low \(M\), this explanation can be regarded to be more natural than that of tree-level seesaws in the sense that it does not require very small superpotential couplings (as canonical seesaws do) nor does it require two very different superpotential mass scales (as inverse seesaws do).
Notes
Some special textures in the seesaw parameters allow for relatively large couplings with a smaller \(M\), as discussed for e.g. in [17] and references therein.
Since SUSY and \(L\)-number are very different symmetries, that the two are broken separately seems to be a plausible assumption.
Extensive details concerning supergraph calculations can be found in chapter 6 of [53].
Here and throughout the text, “mod X” means modulo insertions of X. For instance, suppose that \(\hat{V}~(\text {mod}\, \hat{H}^\dagger , \hat{H})\) is equal to \(\hat{U}\). This means that the general form of \(\hat{V}\) is \(\hat{V} = \hat{U} \hat{H}^{\dagger k} \hat{H}^{k'}\), where \(k,k' = 0,1,\ldots \).
We note that \(D := D \bar{D}^2 D \hat{V} |\) is equal to \(\bar{D}^2 D^2 \hat{V} |\) in the Wess–Zumino and Landau gauge, since in this gauge we have \(\hat{V} | = 0\) and \(\partial _\mu V^\mu = 0\).
Here, and throughout the text, a field (or a scalar chiral superfield) with a bar, say \(\overline{X}\) (\(\hat{\overline{X}}\)), transforms (under non-\(R\)-symmetries) in the conjugate representation of \(X\) (\(\hat{X}\)), so that \(X \overline{X}\) (\(\hat{X} \hat{\overline{X}}\)) is symmetric (i.e. invariant under the symmetries of the model). Moreover, the \(R\)-charges satisfy \(Q_R(\hat{\overline{X}}) + Q_R(\hat{X}) = 2\) so that \(\int d^2\theta \hat{X} \hat{\overline{X}}\) is symmetric.
To simplify the discussion, from now on any \(\widehat{\text {OP}}\in \widehat{\text {OP}}_\nu \) is defined modulo
insertions.
For example, \(D^2 (\hat{L} \hat{L}) \hat{H}_u \hat{H}_u \hat{V}_{U(1)_Y}\) is a term in the \(\hat{V}\)-expansion of \(D^2 (\hat{L} \hat{L} e^{-2 g' Y_L \hat{V}_{U(1)_Y}}) \hat{H}_u \hat{H}_u e^{-2 g' Y_{H_u} \hat{V}_{U(1)_Y}}\).
A systematic method to derive this list is the following. The class of one-loop 4-point supergraph topologies with a one-loop vertex can be partitioned w.r.t. the four possible types of 1PR propagators: \(\hat{\Phi }\hat{\Phi }^\dagger \), its \(\text {H.c.}\), \(\hat{\Phi }\hat{\overline{\Phi }}\) and its \(\text {H.c.}\). Of these topologies, only \(3+1+3+1\) (partitioned as mentioned) can underlie an \(\widehat{\text {OP}}\in \widehat{\text {OP}}_\nu \) as a consequence of requiring at least two external chiral lines that will be identified as a pair of \(\hat{L}\)s. Of these, only \(2+1+1+0\) can underlie a superoperator listed in Eq. (35). These \(2+1+1+0\) topologies can be identified by the superoperators \(D^2 ( \hat{A} \hat{B} ) \hat{C} \hat{D}\), \(D^2 ( \hat{A} \hat{B} ) \hat{C}^\dagger \hat{D}^\dagger \), \(\bar{D}^2 ( \hat{A}^\dagger \hat{B}^\dagger ) \hat{C} \hat{D}\) and \(\hat{A} \hat{B} \hat{C} \hat{D}\), respectively. Regarding irreducible topologies: only three have at least two external chiral lines and, of these, only one can underlie a superoperator listed in Eq. (35).
We disregard non-holomorphic soft-
trilinears as naive dimensional analysis indicates that they are suppressed by \({m_\text {soft}}/ M_X\) w.r.t. \(A\), \(\sqrt{B}\) and \({m_\text {soft}}\).
In spite of this, one could still be suspicious on whether our parameterisation for holomorphic soft-
is actually soft, since the \(A\)-term vertex gives three factors of \(\bar{D}^2\), whereas only a maximum of four \(D_{\alpha }\) or \(\bar{D}_{\dot{\alpha }}\) is compatible with the renormalisability criterion for softness. To see that it is, notice that any sub-graph in which one of these \(\bar{D}^2\) is not absorbed by \(\hat{X}^\dagger \) vanishes identically as there is a \(\bar{D}^2\) factor on every internal line attached to the vertex. Similarly, non-vanishing sub-graphs with a \(B\)-term are those in which the \(B\) is seen to introduce only a factor of \(\bar{D}^2\).
Although not relevant to our analysis, for definiteness we assume that the \(\hat{u}^c \hat{d}^c \hat{d}^c\) term is forbidden by, for instance, R-parity or baryon number conservation.
It does not appear in the expression above due to a fortuitous cancellation in the simplifying limit we have taken, cf. Eq. (93).
Barring those in which \(L\)-number is a symmetry of the superpotential that is broken by the
sector.
Recall that in those tables we suppressed insertions that were redundant due to some symmetry of the supergraph topology. In here, we are counting them provided they involve a distinct set of superfields.
References
P. Minkowski, Phys. Lett. B 67, 421 (1977)
M. Gell-Mann, P. Ramond, R. Slansky, The Family Group in Grand Unified Theories. In: Sanibel Conference (1979), CALT-68-700. Reprinted in hep-ph/9809459
M. Gell-Mann, P. Ramond, R. Slansky, in Complex Spinors and Unified Theories, ed. P. Van. Nieuwenhuizen, D.Z. Freedman, Supergravity (North-Holland, Amsterdam, 1979), p. 315 [Print-80-0576 (CERN)], reprinted in arXiv:1306.4669
T. Yanagida, in Proceedings of the Workshop on the Unified Theory and the Baryon Number in the Universe, ed. by O. Sawada, A. Sugamoto (KEK, Tsukuba, 1979), p. 95
S.L. Glashow, in Quarks and Leptons, ed. by M. Lévy et al. (Plenum Press, New York, 1980), p. 687
R.N. Mohapatra, G. Senjanović, Phys. Rev. Lett. 44, 912 (1980)
J. Schechter, J.W.F. Valle, Phys. Rev. D 22, 2227 (1980)
R.N. Mohapatra, G. Senjanovic, Phys. Rev. D 23, 165 (1981)
G. Lazarides, Q. Shafi, C. Wetterich, Nucl. Phys. B 181, 287 (1981)
C. Wetterich, Nucl. Phys. B 187, 343 (1981)
J. Schechter, J.W.F. Valle, Phys. Rev. D 25, 774 (1982)
S. Weinberg, Phys. Rev. Lett. 43, 1566 (1979)
V.N. Aseev et al., Troitsk Collaboration. Phys. Rev. D 84, 112003 (2011). arXiv:1108.5034 [hep-ex]
M. Moresco, L. Verde, L. Pozzetti, R. Jimenez, A. Cimatti, JCAP 1207, 053 (2012). arXiv:1201.6658 [astro-ph.CO]
S. Riemer-Sorensen, C. Blake, D. Parkinson, T.M. Davis, S. Brough, M. Colless, C. Contreras, W. Couch et al., Phys. Rev. D 85, 081101 (2012). arXiv:1112.4940 [astro-ph.CO]
J.-Q. Xia, B.R. Granett, M. Viel, S. Bird, L. Guzzo, M.G. Haehnelt, J. Coupon, H.J. McCracken et al., JCAP 1206, 010 (2012). arXiv:1203.5105 [astro-ph.CO]
C.H. Lee, P.S. Bhupal Dev, R.N. Mohapatra, Phys. Rev. D 88(9), 093010 (2013). arXiv:1309.0774 [hep-ph]
K.S. Babu, S. Nandi, Z. Tavartkiladze, Phys. Rev. D 80, 071702 (2009). arXiv:0905.2710 [hep-ph]
F. Bonnet, D. Hernandez, T. Ota, W. Winter, JHEP 0910, 076 (2009). arXiv:0907.3143 [hep-ph]
R.N. Mohapatra, Phys. Rev. Lett. 56, 561 (1986)
R.N. Mohapatra, J.W.F. Valle, Phys. Rev. D 34, 1642 (1986)
M.C. Gonzalez-Garcia, J.W.F. Valle, Phys. Lett. B 216, 360 (1989)
A. Zee, Phys. Lett. B 93, 389 (1980). [Erratum-ibid. B 95 461 (1980)]
A. Pilaftsis, Z. Phys, C 55, 275 (1992). hep-ph/9901206
P.S.B. Dev, A. Pilaftsis, Phys. Rev. D 86, 113001 (2012). arXiv:1209.4051 [hep-ph]
K.S. Babu, Phys. Lett. B 203, 132 (1988)
L.M. Krauss, S. Nasri, M. Trodden, Phys. Rev. D 67, 085002 (2003). hep-ph/0210389
K. Cheung, O. Seto, Phys. Rev. D 69, 113009 (2004). hep-ph/0403003
E. Ma, Phys. Rev. D 73, 077301 (2006). hep-ph/0601225
M. Aoki, S. Kanemura, O. Seto, Phys. Rev. Lett. 102, 051805 (2009). arXiv:0807.0361 [hep-ph]
M. Aoki, S. Kanemura, O. Seto, Phys. Rev. D 80, 033007 (2009). arXiv:0904.3829 [hep-ph]
M. Gustafsson, J.M. No, M.A. Rivera, Phys. Rev. Lett. 110(21), 211802 (2013). arXiv:1212.4806 [hep-ph]
E. Ma, Phys. Rev. Lett. 81, 1171 (1998). hep-ph/9805219
P. Fileviez Perez, M.B. Wise. Phys. Rev. D 80, 053006 (2009). arXiv:0906.2950 [hep-ph]
F. Bonnet, M. Hirsch, T. Ota, W. Winter, JHEP 1207, 153 (2012). arXiv:1204.5862 [hep-ph]
S.P. Martin, Phys. Rev. D 61, 035004 (2000). hep-ph/9907550
J.M. Frere, M.V. Libanov, S.V. Troitsky, Phys. Lett. B 479, 343 (2000). hep-ph/9912204
N. Arkani-Hamed, L.J. Hall, H. Murayama, D. Tucker-Smith, N. Weiner, Phys. Rev. D 64, 115011 (2001). hep-ph/0006312
J.M. Frere, E. Ma, Phys. Rev. D 68, 051701 (2003). hep-ph/0305155
D.A. Demir, L.L. Everett, P. Langacker, Phys. Rev. Lett. 100, 091804 (2008). arXiv:0712.1341 [hep-ph]
F.R. Joaquim, A. Rossi, Phys. Rev. Lett. 97, 181801 (2006). hep-ph/0604083
F.R. Joaquim, A. Rossi, Nucl. Phys. B 765, 71 (2007). hep-ph/0607298
R.N. Mohapatra, N. Okada, H.-B. Yu, Phys. Rev. D 78, 075011 (2008). arXiv:0807.4524 [hep-ph]
P. Fileviez Perez, H. Iminniyaz, G. Rodrigo, S. Spinner, Phys. Rev. D 81, 095013 (2010). arXiv:0911.1360 [hep-ph]
R. Foot, H. Lew, X.G. He, G.C. Joshi, Z. Phys, C 44, 441 (1989)
A. Rossi, Phys. Rev. D 66, 075003 (2002). hep-ph/0207006
J.A. Casas, J.R. Espinosa, I. Navarro, Phys. Rev. Lett. 89, 161801 (2002). hep-ph/0206276
A. Brignole, F.R. Joaquim, A. Rossi, JHEP 1008, 133 (2010). arXiv:1007.1942 [hep-ph]
L.E. Ibanez, Phys. Lett. B 117, 403 (1982)
A.B. Lahanas, D. Wyler, Phys. Lett. B 122, 258 (1983)
F. Borzumati, G.R. Farrar, N. Polonsky, S.D. Thomas, Nucl. Phys. B 555, 53 (1999). hep-ph/9902443
P. Batra, E. Ponton, Phys. Rev. D 79, 035001 (2009). arXiv:0809.3453 [hep-ph]
S.J. Gates, M.T. Grisaru, M. Rocek, W. Siegel, Front. Phys. 58, 1 (1983). hep-th/0108200
L. Girardello, M.T. Grisaru, Nucl. Phys. B 194, 65 (1982)
R. Franceschini, R.N. Mohapatra, Phys. Rev. D 89, 055013 (2014). arXiv:1306.6108 [hep-ph]
S. Bhattacharya, E. Ma, D. Wegman, Eur. Phys. J. C 74, 2902 (2014). arXiv:1308.4177 [hep-ph]
S. Kanemura, N. Machida, T. Shindou, T. Yamada, Phys. Rev. D 89(1), 013005 (2014). arXiv:1309.3207 [hep-ph]
G. Passarino, M.J.G. Veltman, Nucl. Phys. B 160, 151 (1979)
A. Denner, Fortsch. Phys. 41, 307 (1993). arXiv:0709.1075 [hep-ph]
R. Mertig, M. Bohm, A. Denner, Comput. Phys. Commun. 64, 345 (1991)
We follow the conventions of: T. Hahn, M. Perez-Victoria. Comput. Phys. Commun. 118, 153 (1999). hep-ph/9807565
S. Kanemura, T. Shindou, T. Yamada, Phys. Rev. D 86, 055023 (2012). arXiv:1206.1002 [hep-ph]
S. Kanemura, E. Senaha, T. Shindou, T. Yamada, JHEP 1305, 066 (2013). arXiv:1211.5883 [hep-ph]
T. Hahn, Comput. Phys. Commun. 140, 418 (2001). hep-ph/0012260
A. Alloul, N.D. Christensen, C. Degrande, C. Duhr, B. Fuks, FeynRules 2.0—A complete toolbox for tree-level phenomenology. arXiv:1310.1921 [hep-ph]
Acknowledgments
This work has been partially funded by Fundação para a Ciência e a Tecnologia (FCT) through the fellowship SFRH/BD/64666/2009. We also acknowledge the partial support from the projects EXPL/FIS-NUC/0460/2013 and PEST-OE/FIS/UI0777/2013 financed by FCT.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Trilinear with two Higgses
Let \(\hat{Z}\) be involved in a trilinear with two Higgses (\(\hat{H}, \hat{H}'\)) and \(\hat{\overline{Z}}\) be the conjugate of \(\hat{Z}\), as specified by the following superpotential terms:
Now suppose that the \(F^\dagger _Z\) component of \(\hat{Z}^\dagger \) is involved in the generation of some operator \(\text {OP}\), i.e.
for some suitable \(\widehat{\text {OP}}\). The terms of the effective Lagrangian involving \(F_Z\) or \({\overline{Z}}\) are then
apart from other possible interactions involving \(F_Z\) or \({\overline{Z}}\) that are not relevant for the following. Using the equations of motion for \(F_Z\) gives
Now, by using the equations of motion for \({\overline{Z}}\) one sees that the terms involving \(\lambda \, \text {OP}\, H H'\) add up as follows:
as we wanted to show. An easier way to obtain this result is by evaluating the supergraph depicted in Fig. 13. One finds
We now note that \({\overline{Z}}\) is an Higgs in its own right, since \(\langle H H' \rangle \ne 0\) gives a tadpole for \({\overline{Z}}\). Thus, it seems that there is a contribution to \(\text {OP}\otimes \text {Higgses}\) which is non-derivative in Higgses:
However, \(\langle \mu _Z {\overline{Z}} + \lambda H H' \rangle = 0\) up to effects. In the following we evaluate the effects of soft-
on \(\langle F^\dagger _Z \rangle \ne 0\), and, as a result, on the generation of a non-derivative \(\text {OP}\otimes \text {Higgses}\) which upon EWSB yields \(\text {OP}\).
We take the VEVs of the \(H\mathrm{s}\) to be, for all practical purposes, fixed. Then \(\langle F^\dagger _Z \rangle \) is proportional to the shift in \(\langle {\overline{Z}} \rangle \) induced by soft- terms involving \(Z\) or \({\overline{Z}}\). The relevant part of the scalar potential reads
where \(\mu \) and \(\mu '\) are conceivable \(\hat{H} \hat{\overline{H}}\) and \(\hat{H}' \hat{\overline{H}}{}'\) superpotential bilinears, and
One then finds
where \(m'^2_Z := m^2_Z + |\lambda |^2 \left( |\langle H \rangle |^2 + |\langle H' \rangle |^2 \right) \). Expanding this expression up to order \(3\) in \({m_\text {soft}}\) gives
Appendix B: Soft SUSY breaking insertions
Our conventions regarding soft- are the following. For superpotential bilinears normalised as
so that the \(M\) are canonical tree-level masses, the corresponding soft- bilinears are
Regarding holomorphic soft- trilinears, for each superpotential trilinear
we define the so-called \(A\)-terms by factoring out \(\lambda \), i.e.
Gaugino mass terms are not relevant to our analysis. Regarding non-holomorphic soft- trilinears, we disregard them as they are expected to be very suppressed w.r.t. the others. As to mass terms for the spinor component of chiral scalar superfields, they can be reabsorbed into a redefinition of superpotential mass terms, \(m_{\mathrm{soft}}^2\) and non-holomorphic trilinears.
Soft- effects are taken into account in supergraph calculations by means of considering the vertices given in Eq. (42). As perturbation theory in superspace is simpler than the ordinary QFT treatment, this approach is preferable as long as \({m_\text {soft}}/ M\) is small.
Soft- insertions have the following diagrammatic representation. An \(A\)-term insertion is vertex of definite chirality promoted to a grey blob. \(m_{\mathrm{soft}}^2\)- and \(B\)-terms are grey blobs inserted into propagators. For each type of propagator (\(\hat{\Phi }\hat{\overline{\Phi }}\) and \(\hat{\Phi }\hat{\Phi }^\dagger \)) there are two possibilities as we proceed to explain. A (anti-)chiral \(B\)-term introduces either a \(\bar{D}^2\) (\(D^2\)) or a \(D^2\) (\(\bar{D}^2\)) and two \(\bar{D}^2\) (\(D^2\)), corresponding to the replacement of a \(\hat{\Phi }^\dagger \hat{\overline{\Phi }}{}^\dagger \) (\(\hat{\Phi }\hat{\overline{\Phi }}\)) propagator by a \(B\)-term blob or to an insertion into a \(\hat{\Phi }\hat{\Phi }^\dagger \) propagator by adjoining a \(\hat{\Phi }\hat{\overline{\Phi }}\) (\(\hat{\Phi }^\dagger \hat{\overline{\Phi }}{}^\dagger \)) propagator, respectively. The insertion of \(m_{\mathrm{soft}}^2\) introduces a \(D^2\) and a \(\bar{D}^2\) or two \(\bar{D}^2 D^2\), corresponding to a simple insertion or an insertion adjoined by propagators \(\hat{\Phi }\hat{\overline{\Phi }}\) and \(\hat{\Phi }^\dagger \hat{\overline{\Phi }}{}^\dagger \). All these possibilities are summarised in Fig. 14.
In the following tables we list the soft- insertions up to order \(3\) in \({m_\text {soft}}\) for the topologies identified in Fig. 8. For each insertion set we give the D-algebra result – abbreviating
spurions by
– and whether it yields an \(\text {OP} \in \text {OP}_\nu \) – if yes, we identify the operator and its dependence on soft-. We have simplified the D-algebra results by taking advantage of the fact that \(\hat{K}\)s are pure-spurions, i.e. \(\hat{K} \sim \theta ^2 \bar{\theta }^2\). In particular, and since the result is local in \(\theta \), expressions with too many \(\theta \)s from \(\hat{K}\mathrm{s}\) vanish. An unassigned D-algebra result (denoted by an horizontal line) differs from a zero in the sense that it vanishes even if \(\hat{K}\mathrm{s}\) are not pure-spurions.
We do not display insertions that are redundant due to some symmetry of the supergraph. For example, consider the topology analysed in Table 2. Since this supergraph topology is symmetric under the interchange of the two chiral vertices of the triangle, the insertion of an \(A\)-term into the upper chiral vertex leads to the same result as an insertion into the lower chiral vertex.
We also do not display insertions into the 1PR propagator when the non-trivial 1PI part has a definite chirality, as in this case the result is trivially zero up to order \(3\) in \({m_\text {soft}}\). Thus, the only topology whose insertions into the 1PR propagator we display is the one underlying both \(D^2 ( \hat{L} \hat{L} ) \hat{H}_u \hat{H}_u\) and \(\hat{L} \hat{L} D^2 ( \hat{H}_u \hat{H}_u )\) (see Table 5).
To see that the results in the following tables agree with Eq. (43), we note that
Appendix C: One-loop topologies with self-energies
The topologies presented in this appendix are superficially divergent. Our assumption is that in an actual model they are finite, so that \(m_\nu \) is genuinely radiative. One way by which such models can be constructed for any given topology is to postulate a spontaneously broken symmetry that forbids the superficially divergent term at a more fundamental level. For example, suppose that a given topology requires a \(\hat{\Phi }^\dagger _1 \hat{\Phi }_2\) self-energy, then the postulated symmetry should forbid \(\hat{\Phi }^\dagger _1 \hat{\Phi }_2\) but may allow, say, \(\hat{\Phi }^\dagger _1 \hat{\Phi }_2 \hat{\rho }\), where \(\langle \rho \rangle \ne 0\) spontaneously breaks the symmetry. Now, suppose that \(\hat{\Phi }^\dagger _1 \hat{\Phi }_2 \hat{\rho }\) can arise only at loop level and is 1PI, then in the broken phase we have a radiative \(\hat{\Phi }^\dagger _1 \hat{\Phi }_2\) which is necessarily convergent because \(\int d^4\theta \, \hat{\Phi }^\dagger _1 \hat{\Phi }_2 \langle \hat{\rho }\rangle \) has mass dimension 5. In order to construct genuine radiative models based on self-energy topologies it may be necessary to consider more complicated models, as the simplest models in which a symmetry forbids \(\hat{\Phi }^\dagger _1\hat{\Phi }_2\) but allows \(\hat{\Phi }^\dagger _1\hat{\Phi }_2\hat{\rho }\) may also generate a tree-level contribution by allowing a superpotential term of the form \(\hat{\overline{\Phi }}_1\hat{\Phi }_2\hat{\rho }\). The simplest of these more complicated models are those in which the self-energy topology is based on a dimension-4 superoperator that yields a self-energy once \(L\)-number is broken. For example, \(\hat{\Phi }^\dagger _1\hat{\Phi }_2\hat{\rho }_i\) may be forbidden because \(\hat{\Phi }^\dagger _1\hat{\Phi }_2\) carries \(L\)-number \(+2\), while the superfields whose scalar component break \(L\)-number, \(\hat{\rho }_{1,2}\), carry an \(L\)-number different from \(-2\). Now, if \(\hat{\rho }_1\hat{\rho }_2\) carries \(L\)-number \(-2\), \(\hat{\Phi }^\dagger _1\hat{\Phi }_2\hat{\rho }_1\hat{\rho }_2\) is allowed. Then, if \(\hat{\rho }\mathrm{s}\) can only interact with \(\hat{\Phi }\mathrm{s}\) by means of superfields charged under an unbroken symmetry to which the actual leptons and \(\hat{\Phi }\mathrm{s}\) are blind (as the \(U(1)_X\) of the model example of Sect. 5), \(\hat{\Phi }^\dagger _1\hat{\Phi }_2\hat{\rho }_1\hat{\rho }_2\) is necessarily radiative and leads to a \(\hat{\Phi }^\dagger _1\hat{\Phi }_2\) self-energy once \(L\)-number is broken.
We start by considering tree-level 4-point supergraph topologies that are holomorphy compliant. There are only two of such topologies, which can be identified by the superoperators \(\hat{A} \hat{B} \hat{C} \hat{D}\) and \(\hat{A} \hat{B} \hat{C}^\dagger \hat{D}^\dagger \). Next, we consider self-energy insertions. These can be of four types: \(\hat{\Phi }\hat{\overline{\Phi }}\), its \(\text {H.c.}\), \(\hat{\Phi }\hat{\Phi }^\dagger \) and its \(\text {H.c.}\). A self-energy can be inserted into the propagator or into an external line. We will regard an insertion into \(\hat{C}^\dagger \) as equivalent to an insertion into \(\hat{D}^\dagger \), since one can be obtained from the other by relabelling the external lines. Similarly, an insertion into \(\hat{A}\) is regarded equivalent to an insertion into \(\hat{B}\), \(\hat{C}\) or \(\hat{D}\). Hence, there are \(20\) one-loop 4-point topologies made with self-energies: eight based on \(\hat{A} \hat{B} \hat{C} \hat{D}\) and \(12\) on \(\hat{A} \hat{B} \hat{C}^\dagger \hat{D}^\dagger \).
Equipped with these topologies, we identify two external lines to be a pair of \(\hat{L}\mathrm{s}\), while the other two are identified to be Higgses. In principle, the Higgses can be any of the following configurations: \(\hat{H}_u \hat{H}_u\), \(\hat{H}_u \hat{H}^\dagger _d\) and \(\hat{H}^\dagger _d \hat{H}^\dagger _d\). We discard three topologies that cannot yield an \(\text {OP}\in \text {OP}_\nu \):
-
Of the four topologies based on \(\hat{A} \hat{B} \hat{C}^\dagger \hat{D}^\dagger \) in which the self-energy insertion is into an external chiral line (say \(\hat{A}\)), only two have an external pair of chiral lines. Since these chiral lines will be identified with a pair of \(\hat{L}\)s, we can label the two topologies according to the type of self-energy insertion performed: \(\hat{L} \hat{A}^\dagger \) and \(\hat{L} \hat{A}\). Now, of these two topologies only “\(\hat{L} \hat{A}\)” can yield an \(\text {OP}\in \text {OP}_\nu \) because
does not change the fact that the spinor projection of “\(\hat{L} \hat{A}^\dagger \)”, i.e. \(L \tilde{A}^\dagger \), is proportional to external momenta.
Of the \(17\) surviving topologies we further discard the following three:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_Equ77_HTML.gif)
since they yield a pure-. The first is based on \(\hat{A} \hat{B} \hat{C}^\dagger \hat{D}^\dagger \) with a \(\hat{\Phi }\hat{\Phi }^\dagger \) self-energy insertion into the propagator by adjoining two chirality flips. The second is based on \(\hat{A} \hat{B} \hat{\Phi }\hat{D}\) with a \(\hat{\overline{\Phi }}\hat{C}^\dagger \) self-energy insertion into the external line \(\hat{\Phi }- \hat{C}^\dagger \) by adjoining the chirality flip \(\hat{\Phi }\hat{\overline{\Phi }}\). The third is based on \(\hat{A} \hat{B} \hat{\Phi }^\dagger \hat{D}^\dagger \) with a \(\hat{\overline{\Phi }}{}^\dagger \hat{C}\) self-energy insertion into the \(\hat{\Phi }^\dagger - \hat{C}\) line by adjoining the chirality flip \(\hat{\Phi }^\dagger \hat{\overline{\Phi }}{}^\dagger \).
The surviving seven topologies in which the self-energy insertion is performed on the propagator are depicted in the first column of Table 10. We note that the third row accounts for two topologies. The seven in which the insertion is on the external line are listed in Table 11. Notice that there are only two topologies with a self-energy insertion into an \(\hat{L}\) line: the second and last rows of Table 11.
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq892_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq912_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq914_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq916_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq918_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq920_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq922_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq924_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq926_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq928_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq939_HTML.gif)
In the second column we show the corresponding superoperator(s), obtained by integrating by parts the \(D\)s in a way that avoids crossing the self-energy insertion. With this procedure, we are able to associate superoperators to topologies made with self-energies that are identically zero in the SUSY limit (specifically, \(\hat{\Phi }\hat{\overline{\Phi }}\) and its \(\text {H.c.}\)). In the third column we identify the subset of \(\widehat{\text {OP}}_\nu \) of each topology and in fourth column we list the corresponding \(L L H H\) operators and their schematic dependence on soft-, up to order \(3\) in \({m_\text {soft}}\). In order to obtain the fourth column, we considered soft-
insertions as in Sect. B. Particularly useful for this task was the catalogue of soft-
insertions into the one-loop self-energies \(\hat{\Phi }^\dagger \hat{\overline{\Phi }}{}^\dagger \) and \(\hat{\Phi }^\dagger \hat{\Phi }\) given in Tables 12 and 13, respectively.
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq942_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq944_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq988_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_IEq990_HTML.gif)
Appendix D: Soft SUSY breaking insertions in the model of [37]
The soft- potential is parameterised according to the conventions set at the beginning of Appendix B and having Eq. (21) as the superpotential of reference.
We have made a thorough calculation of soft- contributions to \(L L H H\) up to order \(2\) in the soft-
scale. This allowed us to confirm that the only type of soft-
insertions into \(\hat{L} \hat{L} \hat{H}_u \hat{H}_u\) – which can be identified by their dependence on \(f_{10}^2\) in the expression given below – that yielded an \(L L H H\) were \(B\)-terms, in agreement with Table 9. In the simplifying limit of \(M_{N_i} = \mu _{s3} = \mu _{L2} = M_N\) we find that the effective Lagrangian contains
A fortuitous cancellation in the all masses equal limit prevents a \(\mu _L\)-independent \(B_{\eta _L}\)-term contribution to \(L L H_u H_d^\dagger \) from appearing. This cancellation happens between the diagram with a \(B_{\eta _L}\) inserted into the \(L \rightarrow H^\dagger _d\) line and the diagram with a \(B_{\eta _L}\) inserted into the \(L \rightarrow H_u\) line, as shown in Fig. 15. To be precise, the \(\mu _L\)-independent \(B_{\eta _L}\)-term contributions coming from the first and second supergraphs add up to
respectively, and where \(D_0\) and \(E_0\) are the following scalar one-loop integrals evaluated at \(p_\text {ext}= 0\): \(D_0(\ldots ,M_N^2,\mu _{L2}^2,\mu _{s3}^2,\mu _{L2}^2)\) and \(E_0(\ldots ,M_N^2,\mu _{L2}^2,\mu _{L2}^2,\mu _{s3}^2,\mu _{L2}^2)\), respectively. \(\hat{X}^\dagger \hat{X}\) is a spurion insertion [cf. Eq. (42)]. The remainder of the second supergraph generates the \(\mu _L\)-dependent \(B_{\eta _L}\)-term contribution:
Appendix E: Radiative renormalisable couplings in SUSY
In this appendix we show that, by relying just on the renormalisability of the superpotential, some four-scalar couplings can be genuinely radiative.
Let \(\hat{X}_i\) be a chiral scalar superfield of components \(\phi _i\), \(\chi _i\) and \(F_i\). In each statement we increase \(i\) whenever a field/superfield is introduced that does not need to have the identity of a previously introduced field/superfield. For instance, when an \(F_i\) is used, we say that it contains some \(\phi \)s labelled by increasing the counter \(i\). In this way no a priori assumption is made regarding the form of the superpotential.
The only radiative possibility for renormalisable spinor-scalar interactions is (schematically)
This means that \(\hat{X}_2 \hat{X}_3 \hat{X}_4\) is symmetric and, since it is renormalisable, it is allowed in the superpotential. Thus, there is a tree-level contribution to \(\phi _4 \chi _2 \chi _3\). Regarding three-scalar interactions, the possibilities are
where both say that \(\hat{X}_2 \hat{X}_3 \hat{X}_4\) is symmetric and thus are allowed in the superpotential. In addition, the first necessitates \(\hat{X}_1 \hat{X}_3 \hat{X}_4, \hat{X}_2 \hat{X}_5 \subset \mathcal {W}\), while the second necessitates \(\hat{X}_2 \hat{X}_5, \hat{X}_1 \hat{X}_4 \subset \mathcal {W}\). Hence, in both cases there is a tree-level contribution to \(\phi _3 \phi _4 \phi ^\dagger _5\) once \(F_2\) is integrated out. Regarding four-scalar interactions, we have
Cases (a) and (b) entail a tree-level contribution. Cases (c) and (d) have tree-level contributions if and only if there exists a representation \(\hat{Y} \sim \hat{X}_2\) such that \(\hat{Y} \hat{X}_3 \hat{X}_4 \hat{X}_5\) is generated at tree-level; in the case of (c), this happens if \(\hat{X}_1\) is massive. Case (e) has a tree-level contribution if and only if the model contains a representation \(\hat{Y}\) such that
corresponding to the tree-level exchange of \(F_Y\) or \(\phi _Y\), respectively. If in the former case \(\hat{Y}\) has a mass term, there is also a contribution due to an exchange of \(\bar{\phi }_Y\) and the sum of the two gives
For an easier understanding of the “only if” part of these assertions, we show in Fig. 16 all possible realisations of tree-level \(\phi ^\dagger \phi ^3\) and \((\phi ^\dagger \phi )^2\) under the assumption of a renormalisable superpotential. We use auxiliary fields, shown as dotted lines with an arrowhead, to make clear the holomorphy of the superpotential.
To conclude, four-scalar couplings coming from (c), (d) or (e) are possible radiative couplings in a supersymmetric setting.
Appendix F: Model example
Our conventions regarding \(SU(2)_L\) contractions in the superpotential of Eq. (47) are fully specified by the following. Reading each term from left to right, let \(\hat{A}\) be the first doublet superfield and \(\hat{B}\) the second, and let \(\epsilon _{12} = 1\) be the totally anti-symmetric tensor. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-014-3244-1/MediaObjects/10052_2014_3244_Equ86_HTML.gif)
where \(\underline{\hat{A}}{}^a := -\epsilon _{ab} \hat{A}^b\).
Useful identities are
where indices within \((~)\) are symmetrised in a normalised way.
We define the following abbreviations for scalar one-loop integrals [58–61] evaluated at \(p_\text {ext}= 0\):
where \(i = 1,2,3\).
1.1 F.1 Dimension-7 \(\text {OP} \in \text {OP}_\nu \)
The supergraphs of Fig. 12 involving each of the \(SU(2)_L \otimes U(1)_Y\) gauge vector superfields turn out to add up to an overall dependence in which all \(M_{X_i}^2\) are equally weighed. This is due to a partial cancellation between upper and lower diagrams. Hence, the possibility of attaching \(\hat{V}_{SU(2)_L}\) to either \(\hat{X}_1 / \hat{\overline{X}}_1\) or \(\hat{X}_2 / \hat{\overline{X}}_2\) simplifies to a multiplicative factor of \(2\). We thus find that the effective Kähler potential contains
Hence, the effective Lagrangian contains
The other supergraphs give
1.2 F.2 Dimension-5 \(\text {OP} \in \text {OP}_\nu \)
Inspection of Tables 2, 3, 4, 5 and 8 reveals that, up to order \(3\) in soft-, there are \(22\) termsFootnote 16 contributing to \(L L H_u H_u\) (three of them proportional to \(\bar{\lambda }_X\)), \(10\) terms to \(L L H_u H^\dagger _d\) and one to \(L L H_d^\dagger H_d^\dagger \). To be specific, their contribution to the effective Lagrangian reads
These results have been confirmed by standard means of calculation and further checked against algorithmic evaluations with FeynArts/FormCalc [64]. To generate the necessary model files we have used to our advantage FeynRules [65] support for superfields.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
Funded by SCOAP3 / License Version CC BY 4.0.
About this article
Cite this article
R. Figueiredo, A. Neutrino masses from SUSY breaking in radiative seesaw models. Eur. Phys. J. C 75, 99 (2015). https://doi.org/10.1140/epjc/s10052-014-3244-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-014-3244-1