= {{{TypeIISeesaw}}}: Canonical type II Seesaw at NLO in QCD =

=== Contact Information ===
Implementation author: 
Benjamin Fuks
 * LPTHE / Sorbonne U.
 *  fuks@lpthe.jussieu.fr

Internal mD0 implementation/extension author:
Miha Nemevšek
 * IJS, Ljubljana
 * miha.nemevsek@ijs.si

In collaboration with Richard Ruiz. See arXiv:1912.08975 [hep-ph].

=== Model Description and FeynRules Implementation ===

We extend the Standard Model by adding a scalar field lying in the adjoint representation of the weak groupe Δ with an hypercharge equals to 1.  After electroweak symmetry breaking, this gives rise to one extra CP-even scalar Higgs Δ^0^, one charged scalar Δ^±^ and one doubly-charged scalar Δ^±±^ that are mostly of a triplet nature. The corresponding Lagrangian reads
{{{ 
#!latex 
\begin{equation}
  \mathcal{L} = \mathcal{L}_{\rm SM} +  {\rm Tr}\big[D_\mu \hat\Delta^\dag D^\mu\hat\Delta\big] - V_\Delta + \mathcal{L}_{{\rm Y}_\Delta}
\end{equation}
}}}
where the extra terms respectively represents the gauge-invariant kinetic terms for the triplet, the extra pieces to the scalar potential and the Yukawa interactions giving rise to neutrino masses. The above Lagrangian was implemented in the Feynman Gauge into !FeynRules 2.3.35. QCD renormalisation and R,,2,, rational counterterms were determined using [/raw-attachment/wiki/MSSMatNLO/MoGRe_v1.1.m MoGRe v1.1], NLOCT v1.02 and !FeynArts 3.9. Feynman rules were collected into a single UFO, available below. In the [/raw-attachment/wiki/TypeIISeesaw/typeII_4FNS_v1_2.ufo.tgz normal hierarchy] and [/raw-attachment/wiki/TypeIISeesaw/typeII_ih_4FNS_v1_1.ufo.tgz inverted hierarchy] UFO models, four massless quarks are assumed as are zero off-diagonal CKM matrix entries.
These additions permit tree-level calculations at LO and NLO in QCD and loop-induced calculations at LO in QCD using MadGraph_aMC@NLO.

In the case of a normal neutrino mass hierarchy (Mv1 < Mv2 < Mv3), the model contains 16 free parameters (on top of the Standard Model ones):
 - the mass of the first neutrino Mv1 (the other neutrino masses are internal parameters);
 - the squared neutrino mass differences dmsq21 (Δm,,21,,^2^ > 0) and dmsq31  (Δm,,31,,^2^ > 0) collected in the LH block MNU;
 - the oscillation parameters th12 (θ,,12,,), th13 (θ,,13,,), th23 (θ,,23,,), delCP (φ,,CP,,), phiM1 (φ,,1,,), phiM2 (φ,,2,,) collected in the LH block PMNS;
 - the masses of the Higgs (PDG 125), Δ^0^ (PDG 44), Δ^±^ (PDG 38)  and Δ^±±^ (PDG 44) fields (in the LH block MASS);
 - the triplet vev v,,Δ,, (block VEVDELTA)
 - two quartic couplings collected in the block QUARTICS

In the case of an inverted neutrino mass hierarchy (Mv3 < Mv1 < Mv2), the model contains 16 free parameters (on top of the Standard Model ones):
 - the mass of the third neutrino Mv3 (the other neutrino masses are internal parameters);
 - the squared neutrino mass differences dmsq21 (Δm,,21,,^2^ > 0) and dmsq32  (Δm,,32,,^2^ < 0) collected in the LH block MNU;
 - the oscillation parameters th12 (θ,,12,,), th13 (θ,,13,,), th23 (θ,,23,,), delCP (φ,,CP,,), phiM1 (φ,,1,,), phiM2 (φ,,2,,) collected in the LH block PMNS;
 - the masses of the Higgs (PDG 125), Δ^0^ (PDG 44), Δ^±^ (PDG 38)  and Δ^±±^ (PDG 44) fields (in the LH block MASS);
 - the triplet vev v,,Δ,, (block VEVDELTA)
 - two quartic couplings collected in the block QUARTICS

In the case of internaly computed mD0, all of the above is the same, only lamD2 is defined externally.

More information can be found in arXiv:1912.08975 [hep-ph].


=== Model Files (and more) ===

 * [/raw-attachment/wiki/MSSMatNLO/MoGRe_v1.1.m MoGRe_v1.1.m]: The MoGRe plugin to !FeynRules (version 1.1).

 * Files common for both the normal and inverted mass hierarchy cases
   * [/raw-attachment/wiki/TypeIISeesaw/sm_reduced.fr sm_reduced.fr]: Accompanying reduced SM implementation.
   * Restriction file relevant for the [/raw-attachment/wiki/TypeIISeesaw/Massless_4f.rst 4FNS] (4 massless quarks) and [/raw-attachment/wiki/TypeIISeesaw/Massless_5f.rst 5FNS] (5 massless quarks).
   *  [/raw-attachment/wiki/TypeIISeesaw/DiagonalCKM.rst Restriction file] relevant for a diagonal CKM matrix.

 * Files specific to a normal neutrino mass hierarchy (Mv1 < Mv2 < Mv3):
   * [/raw-attachment/wiki/TypeIISeesaw/type_ii.fr type_ii.fr]: The !FeynRule Type II Seesaw implementation (version 1.1) to be used with a reduced SM implementation (only the modified SM parts are included in type_ii.fr).
   * [/raw-attachment/wiki/TypeIISeesaw/use-MoGre.nb use-MoGre.nb]: Illustrative Mathematica notebook using MoGRe (for NLO UFO generation and counterterm/R,,2,, calculations).
   * [/raw-attachment/wiki/TypeIISeesaw/typeII_4FNS_v1_2.ufo.tgz typeII_4FNS_v1_2.ufo.tgz]: Standalone UFO folder.

 * Files specific to an inverted neutrino mass hierarchy (Mv3 < Mv1 < Mv2):
   * [/raw-attachment/wiki/TypeIISeesaw/type_ii_ih.fr type_ii_ih.fr]: The !FeynRule Type II Seesaw implementation (version 1.1) to be used with a reduced SM implementation (only the modified SM parts are included in type_ii_ih.fr).
   * [/raw-attachment/wiki/TypeIISeesaw/use-MoGre_ih.nb use-MoGre_ih.nb]: Illustrative Mathematica notebook using MoGRe (for NLO UFO generation and counterterm/R,,2,, calculations).
   * [/raw-attachment/wiki/TypeIISeesaw/typeII_ih_4FNS_v1_1.ufo.tgz typeII_ih_4FNS_v1_1.ufo.tgz]: Standalone UFO folder.

* Files specific to internally computed mD0:
   * [/raw-attachment/wiki/TypeIISeesaw/type_ii_PertSafeScheme.fr type_ii_PertSafeScheme.fr]: The !FeynRule Type II Seesaw implementation (version 1.3) with externally defined lamD2 and internally computed mD0.
   * [/raw-attachment/wiki/TypeIISeesaw/TypeIIFR_NLO_PertSafeScheme.nb TypeIIFR_NLO_PertSafeScheme.nb]: Illustrative Mathematica notebook using MoGRe (for NLO UFO generation and counterterm/R,,2,, calculations).