Version 14 (modified by richardphysics, 5 years ago) (diff) 

SM + Type I Seesaw Mechanism
Implementation Author
Richard Ruiz
 University of Durham (IPPP)
 richard.ruiz AT durham.ac.uk
In collaboration with Daniel Alva and Tao Han.
Model Description
The Type I Seesaw Model extends the Standard Model (SM) field content by introducing three righthanded (RH) neutrinos, which are singlets under the SM gauge symmetry (no color, weak isospin, or weak hypercharge charges), with each RH neutrino possessing one RH Majorana mass. After electroweak symmetry breaking, the effective Type I Seesaw Lagrangian with three heavy Majorana neutrinos Ni (for i=1,2,3) is given by [ 1 ]
The first term is the Standard Model Lagrangian. In the mass basis, i.e., after mixing with active neutrinos, the heavy Majorana neutrinos' kinetic and mass terms are
and its interactions with the Weak gauge and Higgs bosons are given by
The mixing matrix elements Vlk parametrize the mixing between the (active) lepton flavor eigenstate l and the heavy mass eigenstate Nk that corresponds to mass mNk.
Model Files
 heavyN.fr: Main model file. Relies on sm.fr (default FR model file) being declared elsewhere.
 heavyN.nb: Mathematica notebook file that loads FR and model files. Allows user to run quick sanity checks (optional) and outputs UFO file.
 Seesaw_TypeI.tgz: Standalone package containing heavyN.fr, heavyN.nb, massless.rst (default FR file), diagonalCKM.rst (default FR file), and sm.fr (default FR file).
 Seesaw_TypeI_withUFO.tgz: Same as Seesaw_TypeI.tgz but with UFO folder generated using restrictions massless.rst (only massive fermions are the top quark and three Majorana neutrinos) and diagonalCKM.rst (CKM matrix set to unity).
 Seesaw_TypeI_UFO.tgz: Standalone UFO folder as packaged in Seesaw_TypeI_withUFO.tgz.
Notes:
 To download any of the packages and unpack via the terminal, use the commands:
~/Path $ wget http://feynrules.irmp.ucl.ac.be/rawattachment/wiki/typeIseesaw/Seesaw_TypeI.tgz
~/Path $ tar zxvf Seesaw_TypeI.tgz
~/Path $ wget http://feynrules.irmp.ucl.ac.be/rawattachment/wiki/typeIseesaw/Seesaw_TypeI_WithUFO.tgz
~/Path $ tar zxvf Seesaw_TypeI_WithUFO.tgz
 This model contains 15 free parameters:
 Three masses: mN1, mN2, mN3. Defaults are 300 GeV, 500 GeV, and 1 TeV, respectively.
 Three widths: WN1, WN2, WN3. Defaults are 0.303 GeV, 1.50 GeV, and 12.3 GeV, respectively.
 Nine mixing parameters: Vlk for l = e, mu, tau and k = 1,2,3. Default values are Vlk = Identity(3x3), i.e., Ve1 = Vmu2 = Vta3 = 1 and all others zero.
 Note: VlN are restricted to be real in the model file.
 Note: Default parameters are set so "outofthebox" comparisons can be performed with Ref [ 2 ].
Validation
 The model file was implemented in Ref. [ 2 ] using FeynRules v2.0.6 and MG5_aMC@NLO (MG5) v2.1.0 and v2.3.2.2. See Tables 2 and 5 of Ref. [ 2 ] for further validation checks; note that mixing matrices have been factored out/normalized in tabulated results.
 For very large masses, this model has been constructed to satisfy the Goldstone Equivalence Theorem:
List of analyses that have used the model file
 Please email me to update this space.
References
[1] A. Atre, T. Han, S. Pascoli and B. Zhang, The Search for Heavy Majorana Neutrinos, JHEP 0905, 030 (2009) arXiv:0901.3589 [hepph]
[2] D. Alva, T. Han, R. Ruiz, Heavy Majorana neutrinos from #!latex $W\gamma$ fusion at hadron colliders, JHEP 1502, 072 (2015), arXiv:1411.7305 [hepph]
Attachments (15)

heavyN.nb
(7.6 KB) 
added by richardphysics 5 years ago.
Type I Seesaw Model FR mathematica notebook that loads model file, performs basic sanity checks, and outputs to desired format, e.g., UFO.

Seesaw_TypeI.tgz
(9.9 KB) 
added by richardphysics 5 years ago.
Selfcontained Type I Seesaw package. Includes: sm.fr (FR default), diagonalCKM.rst (FR default), massless.rst (FR default), heavyN.fr, heavyN.nb

Seesaw_TypeI_UFO.tgz
(14.5 KB) 
added by richardphysics 5 years ago.
Standalone UFO model file: assumes top quark and heavy neutrinos are the only massive fermions + diagonal CKM.

Seesaw_TypeI_WithUFO.tgz
(24.5 KB) 
added by richardphysics 5 years ago.
Same content as Seesaw_TypeI.tgz with Seesaw_TypeI_UFO.tgz

heavyN_NLO.nb
(17.2 KB) 
added by richardphysics 4 years ago.
Mathematica notebook to generate UFO files from heavy neutrino FeynRules model file.

SM_HeavyN_NLO_UFO.tgz
(23.0 KB) 
added by richardphysics 4 years ago.
Standalone UFO model file: assumes top quark and heavy neutrinos are the only massive fermions + diagonal CKM.

heavyN.fr
(8.9 KB) 
added by richardphysics 4 years ago.
Heavy neutrino FeynRules model file in Feynman gauge.

SM_HeavyN_Files.tgz
(12.4 KB) 
added by richardphysics 4 years ago.
Selfcontained Heavy N at NLO package. Includes: sm.fr (FR default), diagonalCKM.rst (FR default), massless.rst (FR default), heavyN.fr, heavyN_NLO.nb

SM_HeavyN_FilesWithUFO.tgz
(35.4 KB) 
added by richardphysics 4 years ago.
Combination of SM_HeavyN_Files.tgz and SM_HeavyN_NLO_UFO.tgz

SM_HeavyN_Dirac_LO_UFO.tgz
(17.5 KB) 
added by richardphysics 21 months ago.
UFO for LO SM_HeavyN_Dirac

SM_HeavyN_Dirac_NLO_UFO.tgz
(24.5 KB) 
added by richardphysics 21 months ago.
UFO for NLO SM_HeavyN_Dirac

heavyN_Dirac.fr
(9.0 KB) 
added by richardphysics 21 months ago.
Model flie for HeavyN_Dirac

SM_HeavyN_Dirac_CKM_Masses_LO_UFO.tgz
(21.8 KB) 
added by richardphysics 21 months ago.
UFO for HeavyN Dirac model, at LO in QCD, with CKM element, and all particle masses

SM_HeavyN_Gen3Mass_NLO.tgz
(185.1 KB) 
added by richardphysics 7 weeks ago.
Standalone UFO model file: assumes Gen III (t,b,tau) and heavy neutrinos are massive + diagonal CKM

SM_HeavyN_CKM_AllMasses_LO.tgz
(23.0 KB) 
added by richardphysics 7 hours ago.
UFO for HeavyN Majorana model, at LO in QCD, with CKM element, and all particle masses (updated 2020_0813: remove double counting of FeynRules))
Download all attachments as: .zip