TypeIIISeeSaw: typeIIIseesaw.nb

File typeIIIseesaw.nb, 12.2 KB (added by florian.bonnet, 8 years ago)

Mathematica notebook

Line 
1(* Content-type: application/mathematica *)
2
3(*** Wolfram Notebook File ***)
4(* http://www.wolfram.com/nb *)
5
6(* CreatedBy='Mathematica 6.0' *)
7
8(*CacheID: 234*)
9(* Internal cache information:
10NotebookFileLineBreakTest
11NotebookFileLineBreakTest
12NotebookDataPosition[       145,          7]
13NotebookDataLength[     12311,        334]
14NotebookOptionsPosition[      9778,        261]
15NotebookOutlinePosition[     10114,        276]
16CellTagsIndexPosition[     10071,        273]
17WindowFrame->Normal
18ContainsDynamic->False*)
19
20(* Beginning of Notebook Content *)
21Notebook[{
22Cell[BoxData[
23 RowBox[{"<<", "FeynRules`"}]], "Input"],
24
25Cell[BoxData[
26 RowBox[{
27  RowBox[{"SetDirectory", "[",
28   RowBox[{"$FeynRulesPath", "<>", "\"\</Models/TypeIII\>\""}], "]"}],
29  ";"}]], "Input",
30 CellChangeTimes->{{3.476126542108259*^9, 3.476126544713786*^9}, {
31  3.4818830018276663`*^9, 3.481883001975272*^9}}],
32
33Cell[BoxData[
34 StyleBox[
35  RowBox[{"Type", " ", "III", " ", "Sessaw"}], "Title"]], "Input",
36 CellChangeTimes->{{3.511191709404976*^9, 3.511191719277543*^9}}],
37
38Cell[BoxData[
39 RowBox[{"LoadModel", "[", "\"\<typeIIIseesaw1.0.fr\>\"", "]"}]], "Input",
40 CellChangeTimes->{{3.47612650049957*^9, 3.476126502200398*^9}, {
41  3.481883005255148*^9, 3.481883005415077*^9}, {3.481883544645905*^9,
42  3.481883544789793*^9}, {3.481885977635333*^9, 3.481885977815366*^9}, {
43  3.482032691896668*^9, 3.482032692639641*^9}, {3.4820339818487597`*^9,
44  3.482033982460396*^9}, {3.482038418724844*^9, 3.4820384205001574`*^9}, {
45  3.482041586964872*^9, 3.482041587700461*^9}, {3.5111917369532757`*^9,
46  3.5111917426305656`*^9}}],
47
48Cell[CellGroupData[{
49
50Cell[BoxData[
51 StyleBox[
52  RowBox[{"The", " ", "lagrangian"}], "Section"]], "Input",
53 CellFrame->{{0, 0}, {0, 2}},
54 CellGroupingRules->{GroupTogetherGrouping, 10000.},
55 CellChangeTimes->{{3.511192044510487*^9, 3.511192047536278*^9},
56   3.511192117843423*^9, {3.511192197516609*^9, 3.5111922068092823`*^9}}],
57
58Cell[BoxData["LTypeIII"], "Input",
59 CellGroupingRules->{GroupTogetherGrouping, 10000.},
60 CellChangeTimes->{{3.5111920779480753`*^9, 3.5111920802570877`*^9},
61   3.511192117843573*^9}]
62}, Open  ]],
63
64Cell[CellGroupData[{
65
66Cell[BoxData[
67 StyleBox[
68  RowBox[{"Checking", " ", "the", " ", "lagrangian"}], "Section"]], "Input",
69 CellFrame->{{0, 0}, {0, 2}},
70 CellGroupingRules->{GroupTogetherGrouping, 10001.},
71 CellChangeTimes->{{3.511192246975973*^9, 3.511192251582735*^9},
72   3.511192488247423*^9}],
73
74Cell[BoxData[""], "Input",
75 CellGroupingRules->{GroupTogetherGrouping, 10001.},
76 CellChangeTimes->{{3.5111923180133944`*^9, 3.511192331265234*^9},
77   3.511192380642651*^9, 3.511192488247574*^9}],
78
79Cell["Checking hermiticity", "Subsection",
80 CellGroupingRules->{GroupTogetherGrouping, 10001.},
81 CellChangeTimes->{{3.4234156831783743`*^9, 3.423415689540821*^9}, {
82   3.511192488247799*^9, 3.511192512864143*^9}, 3.511192548440689*^9}],
83
84Cell["The hermiticity of the Lagrangian can be checked via", "Text",
85 CellGroupingRules->{GroupTogetherGrouping, 10001.},
86 CellChangeTimes->{{3.423415694323595*^9, 3.423415707867804*^9}, {
87   3.511192488247941*^9, 3.5111925128643093`*^9}, 3.511192548440855*^9}],
88
89Cell[BoxData[
90 RowBox[{"CheckHermiticity", "[",
91  RowBox[{"LTypeIII", ",",
92   RowBox[{"FlavorExpand", "\[Rule]", "SU2W"}]}], "]"}]], "Input",
93 CellGroupingRules->{GroupTogetherGrouping, 10001.},
94 CellChangeTimes->{{3.414763473002973*^9, 3.4147634845507174`*^9}, {
95   3.508586944952985*^9, 3.50858694711281*^9}, {3.511192445191493*^9,
96   3.511192447301586*^9}, {3.511192488248057*^9, 3.511192512864438*^9},
97   3.511192548440982*^9}],
98
99Cell["\<\
100The same command can be applied to the flavor - expanded Lagrangian\
101\>", "Text",
102 CellGroupingRules->{GroupTogetherGrouping, 10001.},
103 CellChangeTimes->{{3.423415721582508*^9, 3.423415739787958*^9}, {
104   3.511192488248184*^9, 3.511192512864554*^9}, 3.511192548441099*^9}],
105
106Cell[BoxData[
107 RowBox[{"CheckHermiticity", "[",
108  RowBox[{"LTypeIII", ",",
109   RowBox[{"FlavorExpand", "\[Rule]", "True"}]}], "]"}]], "Input",
110 CellGroupingRules->{GroupTogetherGrouping, 10001.},
111 CellChangeTimes->{{3.414763604111637*^9, 3.4147636044973803`*^9}, {
112   3.5085869524890614`*^9, 3.508586957633074*^9}, {3.511192449189843*^9,
113   3.5111924511977987`*^9}, {3.5111924882483*^9, 3.511192512864677*^9},
114   3.51119254844163*^9}],
115
116Cell["Checking the mass spectrum", "Subsection",
117 CellGroupingRules->{GroupTogetherGrouping, 10001.},
118 CellChangeTimes->{{3.423415831209465*^9, 3.423415835278742*^9},
119   3.5111924882484503`*^9, {3.511192522745852*^9, 3.5111925484417877`*^9}}],
120
121Cell["\<\
122FeynRules can check whether all the values of the masses given in the model \
123file ar ein agreement with the masses given in the Lagrangian:\
124\>", "Text",
125 CellGroupingRules->{GroupTogetherGrouping, 10001.},
126 CellChangeTimes->{{3.423415751305388*^9, 3.423415792594919*^9},
127   3.511192488248652*^9, {3.511192522746015*^9, 3.511192548441927*^9}}],
128
129Cell[BoxData[
130 RowBox[{"CheckMassSpectrum", "[", "LTypeIII", "]"}]], "Input",
131 CellGroupingRules->{GroupTogetherGrouping, 10001.},
132 CellChangeTimes->{{3.414736325829801*^9, 3.414736326065997*^9},
133   3.4147528281460342`*^9, {3.508586960808408*^9, 3.508586962448135*^9}, {
134   3.511192453576068*^9, 3.511192455573592*^9}, 3.511192488248768*^9, {
135   3.5111925227461443`*^9, 3.5111925484420424`*^9}}],
136
137Cell["Checking the kinetic terms", "Subsection",
138 CellGroupingRules->{GroupTogetherGrouping, 10001.},
139 CellChangeTimes->{{3.423415843532096*^9, 3.42341584850035*^9}, {
140   3.511192361251031*^9, 3.511192376867984*^9}, 3.511192502199749*^9}],
141
142Cell["\<\
143In the same way, FeynRules can check whether all kinetic terms are correctly \
144normalized :\
145\>", "Text",
146 CellGroupingRules->{GroupTogetherGrouping, 10001.},
147 CellChangeTimes->{{3.423415798800013*^9, 3.423415817964087*^9}, {
148   3.511192361251198*^9, 3.5111923768681517`*^9}, 3.511192502199913*^9}],
149
150Cell[BoxData[
151 RowBox[{"CheckKineticTermNormalisation", "[",
152  RowBox[{"LTypeIII", ",",
153   RowBox[{"FlavorExpand", "\[Rule]", "SU2W"}]}], "]"}]], "Input",
154 CellGroupingRules->{GroupTogetherGrouping, 10001.},
155 CellChangeTimes->{{3.4147636651636972`*^9, 3.414763667250185*^9}, {
156   3.508586976753091*^9, 3.5085869778486147`*^9}, {3.5111923612513247`*^9,
157   3.511192376868272*^9}, 3.511192502200037*^9, {3.511192563266479*^9,
158   3.511192565305604*^9}}],
159
160Cell["\<\
161The same command cen be used at the level of the flavor - expanded Lagrangian \
162:\
163\>", "Text",
164 CellGroupingRules->{GroupTogetherGrouping, 10001.},
165 CellChangeTimes->{{3.423415868906054*^9, 3.4234158864202538`*^9}, {
166   3.511192361251446*^9, 3.51119237686839*^9}, 3.5111925022001553`*^9}],
167
168Cell[BoxData[
169 RowBox[{"CheckKineticTermNormalisation", "[",
170  RowBox[{"LTypeIII", ",",
171   RowBox[{"FlavorExpand", "\[Rule]", "True"}]}], "]"}]], "Input",
172 CellGroupingRules->{GroupTogetherGrouping, 10001.},
173 CellChangeTimes->{{3.508586982353146*^9, 3.508586983769094*^9}, {
174   3.511192361251564*^9, 3.5111923768685513`*^9}, 3.5111925022002707`*^9, {
175   3.5111925669054832`*^9, 3.511192569449506*^9}}]
176}, Open  ]],
177
178Cell[CellGroupData[{
179
180Cell["Outputs and interfaces", "Section",
181 CellFrame->{{0, 0}, {0, 2}},
182 CellChangeTimes->{
183  3.411910944409371*^9, {3.412185514054689*^9, 3.412185517014236*^9}}],
184
185Cell[CellGroupData[{
186
187Cell["MadGraph output", "Subsection",
188 CellChangeTimes->{{3.4119110460271273`*^9, 3.411911049405038*^9}, {
189  3.411911131666554*^9, 3.411911135984398*^9}}],
190
191Cell["The MadGraph output for the SM can be obtained via", "Text",
192 CellChangeTimes->{{3.411910955110715*^9, 3.4119109690877657`*^9}, {
193  3.411911059590749*^9, 3.4119110601885567`*^9}, {3.41191113897644*^9,
194  3.411911142024486*^9}}],
195
196Cell[BoxData[{
197 RowBox[{
198  RowBox[{
199   RowBox[{"FeynmanGauge", "=", "False"}], ";"}],
200  "\[IndentingNewLine]"}], "\[IndentingNewLine]",
201 RowBox[{
202  RowBox[{"WriteMGOutput", "[",
203   RowBox[{"LGauge", ",", "LHiggs", ",", "LFermions", ",", "LYukawa"}], "]"}],
204   ";"}]}], "Input",
205 CellChangeTimes->{{3.4119110943383636`*^9, 3.41191110054212*^9}, {
206  3.412185409690489*^9, 3.4121854352800217`*^9}}]
207}, Open  ]],
208
209Cell[CellGroupData[{
210
211Cell["CalcHep output", "Subsection",
212 CellChangeTimes->{{3.4119110460271273`*^9, 3.411911049405038*^9}, {
213  3.411911150323291*^9, 3.4119111515122623`*^9}}],
214
215Cell["CalcHep also supports the Feynman gauge", "Text",
216 CellChangeTimes->{{3.4121853722243843`*^9, 3.412185380407339*^9}}],
217
218Cell[BoxData[{
219 RowBox[{
220  RowBox[{
221   RowBox[{"FeynmanGauge", "=", "True"}], ";"}],
222  "\[IndentingNewLine]"}], "\[IndentingNewLine]",
223 RowBox[{
224  RowBox[{"WriteCHOutput", "[",
225   RowBox[{
226   "LGauge", ",", "LHiggs", ",", "LFermions", ",", "LYukawa", ",", "LGhost"}],
227    "]"}], ";"}]}], "Input",
228 CellChangeTimes->{{3.4119110943383636`*^9, 3.41191110054212*^9}, {
229  3.412185409690489*^9, 3.4121854275198507`*^9}, {3.412450479942018*^9,
230  3.4124504817138367`*^9}}],
231
232Cell[BoxData[""], "Input",
233 CellChangeTimes->{3.412185367693318*^9, 3.412185407947097*^9}]
234}, Open  ]],
235
236Cell[CellGroupData[{
237
238Cell["UFO output", "Subsection",
239 CellChangeTimes->{{3.4119110460271273`*^9, 3.411911049405038*^9}, {
240  3.411911150323291*^9, 3.4119111515122623`*^9}, {3.510761255733572*^9,
241  3.510761256034461*^9}}],
242
243Cell[BoxData[{
244 RowBox[{
245  RowBox[{
246   RowBox[{"FeynmanGauge", "=", "True"}], ";"}],
247  "\[IndentingNewLine]"}], "\[IndentingNewLine]",
248 RowBox[{
249  RowBox[{"WriteUFO", "[",
250   RowBox[{
251   "LGauge", ",", "LHiggs", ",", "LFermions", ",", "LYukawa", ",", "LGhost"}],
252    "]"}], ";"}]}], "Input",
253 CellChangeTimes->{{3.4119110943383636`*^9, 3.41191110054212*^9}, {
254  3.412185409690489*^9, 3.4121854275198507`*^9}, {3.412450479942018*^9,
255  3.4124504817138367`*^9}, {3.510761258956971*^9, 3.510761260404662*^9}}],
256
257Cell[BoxData[""], "Input",
258 CellChangeTimes->{3.412185367693318*^9, 3.412185407947097*^9}]
259}, Open  ]]
260}, Open  ]]
261},
262WindowSize->{1276, 705},
263WindowMargins->{{Automatic, 0}, {Automatic, 4}},
264FrontEndVersion->"6.0 for Mac OS X x86 (32-bit) (April 20, 2007)",
265StyleDefinitions->"Default.nb"
266]
267(* End of Notebook Content *)
268
269(* Internal cache information *)
270(*CellTagsOutline
271CellTagsIndex->{}
272*)
273(*CellTagsIndex
274CellTagsIndex->{}
275*)
276(*NotebookFileOutline
277Notebook[{
278Cell[568, 21, 54, 1, 27, "Input"],
279Cell[625, 24, 263, 6, 27, "Input"],
280Cell[891, 32, 157, 3, 51, "Input"],
281Cell[1051, 37, 547, 8, 27, "Input"],
282Cell[CellGroupData[{
283Cell[1623, 49, 307, 6, 45, "Input",
284 CellGroupingRules->{GroupTogetherGrouping, 10000.}],
285Cell[1933, 57, 183, 3, 27, "Input",
286 CellGroupingRules->{GroupTogetherGrouping, 10000.}]
287}, Open  ]],
288Cell[CellGroupData[{
289Cell[2153, 65, 276, 6, 45, "Input",
290 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
291Cell[2432, 73, 195, 3, 27, "Input",
292 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
293Cell[2630, 78, 235, 3, 34, "Subsection",
294 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
295Cell[2868, 83, 261, 3, 26, "Text",
296 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
297Cell[3132, 88, 435, 8, 27, "Input",
298 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
299Cell[3570, 98, 282, 5, 26, "Text",
300 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
301Cell[3855, 105, 437, 8, 27, "Input",
302 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
303Cell[4295, 115, 243, 3, 34, "Subsection",
304 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
305Cell[4541, 120, 355, 6, 26, "Text",
306 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
307Cell[4899, 128, 396, 6, 27, "Input",
308 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
309Cell[5298, 136, 238, 3, 34, "Subsection",
310 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
311Cell[5539, 141, 308, 6, 26, "Text",
312 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
313Cell[5850, 149, 453, 8, 27, "Input",
314 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
315Cell[6306, 159, 299, 6, 26, "Text",
316 CellGroupingRules->{GroupTogetherGrouping, 10001.}],
317Cell[6608, 167, 403, 7, 27, "Input",
318 CellGroupingRules->{GroupTogetherGrouping, 10001.}]
319}, Open  ]],
320Cell[CellGroupData[{
321Cell[7048, 179, 162, 3, 68, "Section"],
322Cell[CellGroupData[{
323Cell[7235, 186, 154, 2, 34, "Subsection"],
324Cell[7392, 190, 233, 3, 26, "Text"],
325Cell[7628, 195, 398, 10, 58, "Input"]
326}, Open  ]],
327Cell[CellGroupData[{
328Cell[8063, 210, 155, 2, 34, "Subsection"],
329Cell[8221, 214, 123, 1, 26, "Text"],
330Cell[8347, 217, 468, 12, 58, "Input"],
331Cell[8818, 231, 90, 1, 27, "Input"]
332}, Open  ]],
333Cell[CellGroupData[{
334Cell[8945, 237, 200, 3, 34, "Subsection"],
335Cell[9148, 242, 509, 12, 58, "Input"],
336Cell[9660, 256, 90, 1, 27, "Input"]
337}, Open  ]]
338}, Open  ]]
339}
340]
341*)
342
343(* End of internal cache information *)