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:
|
---|
10 | NotebookFileLineBreakTest
|
---|
11 | NotebookFileLineBreakTest
|
---|
12 | NotebookDataPosition[ 145, 7]
|
---|
13 | NotebookDataLength[ 12311, 334]
|
---|
14 | NotebookOptionsPosition[ 9778, 261]
|
---|
15 | NotebookOutlinePosition[ 10114, 276]
|
---|
16 | CellTagsIndexPosition[ 10071, 273]
|
---|
17 | WindowFrame->Normal
|
---|
18 | ContainsDynamic->False*)
|
---|
19 |
|
---|
20 | (* Beginning of Notebook Content *)
|
---|
21 | Notebook[{
|
---|
22 | Cell[BoxData[
|
---|
23 | RowBox[{"<<", "FeynRules`"}]], "Input"],
|
---|
24 |
|
---|
25 | Cell[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 |
|
---|
33 | Cell[BoxData[
|
---|
34 | StyleBox[
|
---|
35 | RowBox[{"Type", " ", "III", " ", "Sessaw"}], "Title"]], "Input",
|
---|
36 | CellChangeTimes->{{3.511191709404976*^9, 3.511191719277543*^9}}],
|
---|
37 |
|
---|
38 | Cell[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 |
|
---|
48 | Cell[CellGroupData[{
|
---|
49 |
|
---|
50 | Cell[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 |
|
---|
58 | Cell[BoxData["LTypeIII"], "Input",
|
---|
59 | CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
---|
60 | CellChangeTimes->{{3.5111920779480753`*^9, 3.5111920802570877`*^9},
|
---|
61 | 3.511192117843573*^9}]
|
---|
62 | }, Open ]],
|
---|
63 |
|
---|
64 | Cell[CellGroupData[{
|
---|
65 |
|
---|
66 | Cell[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 |
|
---|
74 | Cell[BoxData[""], "Input",
|
---|
75 | CellGroupingRules->{GroupTogetherGrouping, 10001.},
|
---|
76 | CellChangeTimes->{{3.5111923180133944`*^9, 3.511192331265234*^9},
|
---|
77 | 3.511192380642651*^9, 3.511192488247574*^9}],
|
---|
78 |
|
---|
79 | Cell["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 |
|
---|
84 | Cell["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 |
|
---|
89 | Cell[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 |
|
---|
99 | Cell["\<\
|
---|
100 | The 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 |
|
---|
106 | Cell[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 |
|
---|
116 | Cell["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 |
|
---|
121 | Cell["\<\
|
---|
122 | FeynRules can check whether all the values of the masses given in the model \
|
---|
123 | file 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 |
|
---|
129 | Cell[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 |
|
---|
137 | Cell["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 |
|
---|
142 | Cell["\<\
|
---|
143 | In the same way, FeynRules can check whether all kinetic terms are correctly \
|
---|
144 | normalized :\
|
---|
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 |
|
---|
150 | Cell[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 |
|
---|
160 | Cell["\<\
|
---|
161 | The 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 |
|
---|
168 | Cell[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 |
|
---|
178 | Cell[CellGroupData[{
|
---|
179 |
|
---|
180 | Cell["Outputs and interfaces", "Section",
|
---|
181 | CellFrame->{{0, 0}, {0, 2}},
|
---|
182 | CellChangeTimes->{
|
---|
183 | 3.411910944409371*^9, {3.412185514054689*^9, 3.412185517014236*^9}}],
|
---|
184 |
|
---|
185 | Cell[CellGroupData[{
|
---|
186 |
|
---|
187 | Cell["MadGraph output", "Subsection",
|
---|
188 | CellChangeTimes->{{3.4119110460271273`*^9, 3.411911049405038*^9}, {
|
---|
189 | 3.411911131666554*^9, 3.411911135984398*^9}}],
|
---|
190 |
|
---|
191 | Cell["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 |
|
---|
196 | Cell[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 |
|
---|
209 | Cell[CellGroupData[{
|
---|
210 |
|
---|
211 | Cell["CalcHep output", "Subsection",
|
---|
212 | CellChangeTimes->{{3.4119110460271273`*^9, 3.411911049405038*^9}, {
|
---|
213 | 3.411911150323291*^9, 3.4119111515122623`*^9}}],
|
---|
214 |
|
---|
215 | Cell["CalcHep also supports the Feynman gauge", "Text",
|
---|
216 | CellChangeTimes->{{3.4121853722243843`*^9, 3.412185380407339*^9}}],
|
---|
217 |
|
---|
218 | Cell[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 |
|
---|
232 | Cell[BoxData[""], "Input",
|
---|
233 | CellChangeTimes->{3.412185367693318*^9, 3.412185407947097*^9}]
|
---|
234 | }, Open ]],
|
---|
235 |
|
---|
236 | Cell[CellGroupData[{
|
---|
237 |
|
---|
238 | Cell["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 |
|
---|
243 | Cell[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 |
|
---|
257 | Cell[BoxData[""], "Input",
|
---|
258 | CellChangeTimes->{3.412185367693318*^9, 3.412185407947097*^9}]
|
---|
259 | }, Open ]]
|
---|
260 | }, Open ]]
|
---|
261 | },
|
---|
262 | WindowSize->{1276, 705},
|
---|
263 | WindowMargins->{{Automatic, 0}, {Automatic, 4}},
|
---|
264 | FrontEndVersion->"6.0 for Mac OS X x86 (32-bit) (April 20, 2007)",
|
---|
265 | StyleDefinitions->"Default.nb"
|
---|
266 | ]
|
---|
267 | (* End of Notebook Content *)
|
---|
268 |
|
---|
269 | (* Internal cache information *)
|
---|
270 | (*CellTagsOutline
|
---|
271 | CellTagsIndex->{}
|
---|
272 | *)
|
---|
273 | (*CellTagsIndex
|
---|
274 | CellTagsIndex->{}
|
---|
275 | *)
|
---|
276 | (*NotebookFileOutline
|
---|
277 | Notebook[{
|
---|
278 | Cell[568, 21, 54, 1, 27, "Input"],
|
---|
279 | Cell[625, 24, 263, 6, 27, "Input"],
|
---|
280 | Cell[891, 32, 157, 3, 51, "Input"],
|
---|
281 | Cell[1051, 37, 547, 8, 27, "Input"],
|
---|
282 | Cell[CellGroupData[{
|
---|
283 | Cell[1623, 49, 307, 6, 45, "Input",
|
---|
284 | CellGroupingRules->{GroupTogetherGrouping, 10000.}],
|
---|
285 | Cell[1933, 57, 183, 3, 27, "Input",
|
---|
286 | CellGroupingRules->{GroupTogetherGrouping, 10000.}]
|
---|
287 | }, Open ]],
|
---|
288 | Cell[CellGroupData[{
|
---|
289 | Cell[2153, 65, 276, 6, 45, "Input",
|
---|
290 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
291 | Cell[2432, 73, 195, 3, 27, "Input",
|
---|
292 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
293 | Cell[2630, 78, 235, 3, 34, "Subsection",
|
---|
294 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
295 | Cell[2868, 83, 261, 3, 26, "Text",
|
---|
296 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
297 | Cell[3132, 88, 435, 8, 27, "Input",
|
---|
298 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
299 | Cell[3570, 98, 282, 5, 26, "Text",
|
---|
300 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
301 | Cell[3855, 105, 437, 8, 27, "Input",
|
---|
302 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
303 | Cell[4295, 115, 243, 3, 34, "Subsection",
|
---|
304 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
305 | Cell[4541, 120, 355, 6, 26, "Text",
|
---|
306 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
307 | Cell[4899, 128, 396, 6, 27, "Input",
|
---|
308 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
309 | Cell[5298, 136, 238, 3, 34, "Subsection",
|
---|
310 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
311 | Cell[5539, 141, 308, 6, 26, "Text",
|
---|
312 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
313 | Cell[5850, 149, 453, 8, 27, "Input",
|
---|
314 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
315 | Cell[6306, 159, 299, 6, 26, "Text",
|
---|
316 | CellGroupingRules->{GroupTogetherGrouping, 10001.}],
|
---|
317 | Cell[6608, 167, 403, 7, 27, "Input",
|
---|
318 | CellGroupingRules->{GroupTogetherGrouping, 10001.}]
|
---|
319 | }, Open ]],
|
---|
320 | Cell[CellGroupData[{
|
---|
321 | Cell[7048, 179, 162, 3, 68, "Section"],
|
---|
322 | Cell[CellGroupData[{
|
---|
323 | Cell[7235, 186, 154, 2, 34, "Subsection"],
|
---|
324 | Cell[7392, 190, 233, 3, 26, "Text"],
|
---|
325 | Cell[7628, 195, 398, 10, 58, "Input"]
|
---|
326 | }, Open ]],
|
---|
327 | Cell[CellGroupData[{
|
---|
328 | Cell[8063, 210, 155, 2, 34, "Subsection"],
|
---|
329 | Cell[8221, 214, 123, 1, 26, "Text"],
|
---|
330 | Cell[8347, 217, 468, 12, 58, "Input"],
|
---|
331 | Cell[8818, 231, 90, 1, 27, "Input"]
|
---|
332 | }, Open ]],
|
---|
333 | Cell[CellGroupData[{
|
---|
334 | Cell[8945, 237, 200, 3, 34, "Subsection"],
|
---|
335 | Cell[9148, 242, 509, 12, 58, "Input"],
|
---|
336 | Cell[9660, 256, 90, 1, 27, "Input"]
|
---|
337 | }, Open ]]
|
---|
338 | }, Open ]]
|
---|
339 | }
|
---|
340 | ]
|
---|
341 | *)
|
---|
342 |
|
---|
343 | (* End of internal cache information *)
|
---|