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[ 10973, 294]
|
---|
14 | NotebookOptionsPosition[ 9653, 251]
|
---|
15 | NotebookOutlinePosition[ 10050, 269]
|
---|
16 | CellTagsIndexPosition[ 10007, 266]
|
---|
17 | WindowFrame->Normal*)
|
---|
18 |
|
---|
19 | (* Beginning of Notebook Content *)
|
---|
20 | Notebook[{
|
---|
21 | Cell[BoxData[
|
---|
22 | RowBox[{"\[IndentingNewLine]",
|
---|
23 | FrameBox[
|
---|
24 | RowBox[{
|
---|
25 | "\[SelectionPlaceholder]", " ", "FeynRules", " ",
|
---|
26 | "initialization"}]]}]], "Input",
|
---|
27 | CellChangeTimes->{{3.5542065470381117`*^9, 3.554206578929636*^9}}],
|
---|
28 |
|
---|
29 | Cell[BoxData[
|
---|
30 | RowBox[{"$FeynRulesPath", "=",
|
---|
31 | RowBox[{
|
---|
32 | "SetDirectory", "[",
|
---|
33 | "\"\</Users/oscar/Trabalho/WorkInProgress/FeynRules/feynrules-development\>\
|
---|
34 | \"", "]"}]}]], "Input",
|
---|
35 | CellChangeTimes->{{3.41265862251538*^9, 3.412658649947229*^9}, {
|
---|
36 | 3.423415585782702*^9, 3.423415597189939*^9}, {3.4234163173467493`*^9,
|
---|
37 | 3.4234163227881193`*^9}, {3.549259989465773*^9, 3.549259999606881*^9}}],
|
---|
38 |
|
---|
39 | Cell[BoxData[
|
---|
40 | RowBox[{"<<", "FeynRules`"}]], "Input"],
|
---|
41 |
|
---|
42 | Cell[BoxData[
|
---|
43 | RowBox[{
|
---|
44 | RowBox[{"SetDirectory", "[",
|
---|
45 | RowBox[{"$FeynRulesPath", "<>", "\"\</Models/Quartic_linear\>\""}], "]"}],
|
---|
46 | ";"}]], "Input",
|
---|
47 | CellChangeTimes->{{3.419073170860696*^9, 3.419073182827229*^9}, {
|
---|
48 | 3.549260010957612*^9, 3.549260018221593*^9}, {3.5527968095887547`*^9,
|
---|
49 | 3.552796815826297*^9}}],
|
---|
50 |
|
---|
51 | Cell[BoxData[
|
---|
52 | RowBox[{"\[IndentingNewLine]",
|
---|
53 | FrameBox[
|
---|
54 | RowBox[{
|
---|
55 | RowBox[{
|
---|
56 | "\[SelectionPlaceholder]", " ", "Loading", " ", "the", " ", "file", " ",
|
---|
57 | "containing", " ", "the", " ", "Standard", " ", "Model", " ", "and", " ",
|
---|
58 | "L_T8"}], " ", "+", " ", "L_T9"}]], " "}]], "Input",
|
---|
59 | CellChangeTimes->{{3.554206586417383*^9, 3.554206720572693*^9}, {
|
---|
60 | 3.554287982043695*^9, 3.5542879892709217`*^9}}],
|
---|
61 |
|
---|
62 | Cell[BoxData[
|
---|
63 | RowBox[{"LoadModel", "[", "\"\<quartic.fr\>\"", "]"}]], "Input",
|
---|
64 | CellChangeTimes->{{3.4022069973481913`*^9, 3.402207011768662*^9},
|
---|
65 | 3.4022081212072697`*^9, {3.402208250379383*^9, 3.402208254043104*^9},
|
---|
66 | 3.4027466057480917`*^9, {3.403240270135737*^9, 3.403240277228945*^9},
|
---|
67 | 3.403266503388291*^9, {3.403267649630335*^9, 3.40326765417397*^9}, {
|
---|
68 | 3.403269919787421*^9, 3.403269921965273*^9}, {3.403347551273425*^9,
|
---|
69 | 3.403347555049163*^9}, 3.4044490490588417`*^9, {3.411744339876704*^9,
|
---|
70 | 3.411744340012457*^9}, {3.4121886924550533`*^9, 3.412188699157571*^9},
|
---|
71 | 3.412188808811866*^9, 3.4121888580521603`*^9, {3.412450464077868*^9,
|
---|
72 | 3.412450464378695*^9}, {3.413715097460478*^9, 3.41371509757642*^9}, {
|
---|
73 | 3.41440825334604*^9, 3.414408254159686*^9}, {3.41862573831756*^9,
|
---|
74 | 3.4186257392223186`*^9}, {3.4190731862389174`*^9, 3.419073187003003*^9}, {
|
---|
75 | 3.419073336802393*^9, 3.4190733374513063`*^9}, {3.4190828041801767`*^9,
|
---|
76 | 3.4190828048079023`*^9}, {3.549356567929675*^9, 3.549356569284753*^9}, {
|
---|
77 | 3.552796819881452*^9, 3.552796823177125*^9}}],
|
---|
78 |
|
---|
79 | Cell[BoxData[
|
---|
80 | RowBox[{"LoadRestriction", "[",
|
---|
81 | RowBox[{"\"\<Cabibbo.rst\>\"", ",", "\"\<Massless.rst\>\""}],
|
---|
82 | "]"}]], "Input",
|
---|
83 | CellChangeTimes->{{3.453790588503598*^9, 3.4537906008856297`*^9},
|
---|
84 | 3.5529941847635183`*^9}],
|
---|
85 |
|
---|
86 | Cell[BoxData[
|
---|
87 | RowBox[{
|
---|
88 | FrameBox[
|
---|
89 | RowBox[{
|
---|
90 | "\[SelectionPlaceholder]", " ", "Checking", " ", "the", " ",
|
---|
91 | "lagrangian"}]], "\[IndentingNewLine]"}]], "Input",
|
---|
92 | CellChangeTimes->{{3.554207149082877*^9, 3.5542071697416487`*^9}}],
|
---|
93 |
|
---|
94 | Cell[BoxData[
|
---|
95 | RowBox[{
|
---|
96 | RowBox[{"FeynmanGauge", "=", "True"}], ";"}]], "Input",
|
---|
97 | CellChangeTimes->{{3.4234159280429783`*^9, 3.423415934798614*^9},
|
---|
98 | 3.554210133339581*^9}],
|
---|
99 |
|
---|
100 | Cell["The hermiticity of the Lagrangian can be checked via", "Text",
|
---|
101 | CellChangeTimes->{{3.423415694323595*^9, 3.423415707867804*^9}}],
|
---|
102 |
|
---|
103 | Cell[BoxData[
|
---|
104 | RowBox[{"CheckHermiticity", "[",
|
---|
105 | RowBox[{
|
---|
106 | RowBox[{"LSM", "+", "LT8"}], ",",
|
---|
107 | RowBox[{"FlavorExpand", "\[Rule]", "True"}]}], "]"}]], "Input",
|
---|
108 | CellChangeTimes->{{3.414763604111637*^9, 3.4147636044973803`*^9}, {
|
---|
109 | 3.554207230374851*^9, 3.554207231973926*^9}, {3.5542880303115664`*^9,
|
---|
110 | 3.554288036159964*^9}, {3.5542913388781567`*^9, 3.5542913396033573`*^9},
|
---|
111 | 3.554531660759603*^9}],
|
---|
112 |
|
---|
113 | Cell[BoxData[
|
---|
114 | RowBox[{"CheckHermiticity", "[",
|
---|
115 | RowBox[{
|
---|
116 | RowBox[{"LSM", "+", "LT9"}], ",",
|
---|
117 | RowBox[{"FlavorExpand", "\[Rule]", "True"}]}], "]"}]], "Input",
|
---|
118 | CellChangeTimes->{{3.55428805134746*^9, 3.554288053105134*^9}, {
|
---|
119 | 3.5542913444029093`*^9, 3.554291345194229*^9}, 3.554531665102915*^9}],
|
---|
120 |
|
---|
121 | Cell["\<\
|
---|
122 | FeynRules can check whether all the values of the masses given in the model \
|
---|
123 | file are in agreement with the masses given in the Lagrangian:\
|
---|
124 | \>", "Text",
|
---|
125 | CellChangeTimes->{{3.423415751305388*^9, 3.423415792594919*^9}, {
|
---|
126 | 3.5542072544005003`*^9, 3.554207255988462*^9}}],
|
---|
127 |
|
---|
128 | Cell[BoxData[
|
---|
129 | RowBox[{"CheckMassSpectrum", "[", "LSM", "]"}]], "Input",
|
---|
130 | CellChangeTimes->{{3.414736325829801*^9, 3.414736326065997*^9},
|
---|
131 | 3.4147528281460342`*^9, {3.5542072604055557`*^9, 3.554207262590489*^9}, {
|
---|
132 | 3.554288059041111*^9, 3.554288060496749*^9}, {3.5542883486771297`*^9,
|
---|
133 | 3.554288350168269*^9}}],
|
---|
134 |
|
---|
135 | Cell["\<\
|
---|
136 | In the same way, FeynRules can check whether all kinetic terms are correctly \
|
---|
137 | normalized :\
|
---|
138 | \>", "Text",
|
---|
139 | CellChangeTimes->{{3.423415798800013*^9, 3.423415817964087*^9}}],
|
---|
140 |
|
---|
141 | Cell[BoxData[
|
---|
142 | RowBox[{"CheckKineticTermNormalisation", "[",
|
---|
143 | RowBox[{"LSM", ",",
|
---|
144 | RowBox[{"FlavorExpand", "\[Rule]", "True"}]}], "]"}]], "Input"],
|
---|
145 |
|
---|
146 | Cell[BoxData[
|
---|
147 | FrameBox[
|
---|
148 | RowBox[{
|
---|
149 | "\[SelectionPlaceholder]", " ", "Feynman", " ", "rules", " ", "originating",
|
---|
150 | " ", "from", " ", "L_T8", " ", "and", " ", "L_T9", " ", "using", " ",
|
---|
151 | "the", " ", "unitary", " ", "gauge"}]]], "Input",
|
---|
152 | CellChangeTimes->{{3.554206797674385*^9, 3.554206865976857*^9}, {
|
---|
153 | 3.5542069112258472`*^9, 3.554206917083228*^9}, {3.5542880008529167`*^9,
|
---|
154 | 3.554288007285139*^9}}],
|
---|
155 |
|
---|
156 | Cell[BoxData[{
|
---|
157 | RowBox[{
|
---|
158 | RowBox[{"FeynmanGauge", "=", "False"}], ";"}], "\[IndentingNewLine]",
|
---|
159 | RowBox[{"FeynmanRules", "[",
|
---|
160 | RowBox[{"LT8", " ", ",",
|
---|
161 | RowBox[{"FlavorExpand", "\[Rule]", "True"}]}], "]"}]}], "Input",
|
---|
162 | CellChangeTimes->{{3.5542147888623667`*^9, 3.5542147904036713`*^9},
|
---|
163 | 3.5542148289281187`*^9, {3.554288010662364*^9, 3.554288011806374*^9}}],
|
---|
164 |
|
---|
165 | Cell[BoxData[{
|
---|
166 | RowBox[{
|
---|
167 | RowBox[{"FeynmanGauge", "=", "False"}], ";"}], "\[IndentingNewLine]",
|
---|
168 | RowBox[{"FeynmanRules", "[",
|
---|
169 | RowBox[{"LT9", ",",
|
---|
170 | RowBox[{"FlavorExpand", "\[Rule]", "True"}]}], "]"}]}], "Input",
|
---|
171 | CellChangeTimes->{{3.55421481319798*^9, 3.5542148158116817`*^9}, {
|
---|
172 | 3.554288014359729*^9, 3.554288016269861*^9}}],
|
---|
173 |
|
---|
174 | Cell[BoxData[
|
---|
175 | FrameBox[
|
---|
176 | RowBox[{
|
---|
177 | "\[SelectionPlaceholder]", " ", "Generating", " ", "the", " ", "UFO", " ",
|
---|
178 | "output", " ", "used", " ", "by", " ", "MadGraph5"}]]], "Input",
|
---|
179 | CellChangeTimes->{{3.554207020764146*^9, 3.554207046179934*^9}, {
|
---|
180 | 3.554207083712941*^9, 3.55420709708432*^9}}],
|
---|
181 |
|
---|
182 | Cell[BoxData[{
|
---|
183 | RowBox[{
|
---|
184 | RowBox[{"FeynmanGauge", "=", "False"}], ";"}], "\[IndentingNewLine]",
|
---|
185 | RowBox[{"WriteUFO", "[",
|
---|
186 | RowBox[{
|
---|
187 | "LGauge", ",", "LHiggs", ",", "LFermions", ",", "LYukawa", ",", "LT8", ",",
|
---|
188 | " ", "LT9", ",", " ",
|
---|
189 | RowBox[{"Output", " ", "\[Rule]", " ", "\"\<SM_LT8_LT9_UFO\>\""}]}],
|
---|
190 | "]"}]}], "Input",
|
---|
191 | CellChangeTimes->{{3.554288112563303*^9, 3.554288127575335*^9}}],
|
---|
192 |
|
---|
193 | Cell[BoxData[
|
---|
194 | RowBox[{
|
---|
195 | FrameBox[
|
---|
196 | RowBox[{"\[SelectionPlaceholder]", " ", "FeynArts", " ", "output"}]],
|
---|
197 | " "}]], "Input",
|
---|
198 | CellChangeTimes->{{3.554210222303082*^9, 3.554210236874051*^9}}],
|
---|
199 |
|
---|
200 | Cell["FeynArts also supports the Feynman gauge", "Text",
|
---|
201 | CellChangeTimes->{{3.4121854851672792`*^9, 3.412185494183435*^9}}],
|
---|
202 |
|
---|
203 | Cell[BoxData[{
|
---|
204 | RowBox[{
|
---|
205 | RowBox[{
|
---|
206 | RowBox[{"FeynmanGauge", " ", "=", " ", "False"}], ";"}],
|
---|
207 | "\[IndentingNewLine]"}], "\[IndentingNewLine]",
|
---|
208 | RowBox[{"WriteFeynArtsOutput", "[",
|
---|
209 | RowBox[{
|
---|
210 | "LGauge", ",", "LHiggs", ",", "LFermions", ",", "LYukawa", ",", "LT8", ",",
|
---|
211 | "LT9", ",", " ",
|
---|
212 | RowBox[{"FlavorExpand", "\[Rule]", "SU2W"}], ",",
|
---|
213 | RowBox[{"Output", "\[Rule]", "\"\<SM_LT8_LT9_FA\>\""}]}], "]"}]}], "Input",\
|
---|
214 |
|
---|
215 | CellChangeTimes->{{3.411911018354619*^9, 3.4119110196967573`*^9}, {
|
---|
216 | 3.412185470680571*^9, 3.412185506240796*^9}, {3.4234161971513453`*^9,
|
---|
217 | 3.423416209716672*^9}, {3.5542103799698553`*^9, 3.554210404862816*^9}, {
|
---|
218 | 3.554213142736615*^9, 3.554213144826766*^9}, {3.554214531350573*^9,
|
---|
219 | 3.554214532452024*^9}, {3.5542147194543047`*^9, 3.554214722231299*^9}, {
|
---|
220 | 3.5542881323440437`*^9, 3.554288145935741*^9}}],
|
---|
221 |
|
---|
222 | Cell[BoxData[
|
---|
223 | FrameBox[
|
---|
224 | RowBox[{
|
---|
225 | "\[SelectionPlaceholder]", " ", "CalcHep", " ", "output"}]]], "Input",
|
---|
226 | CellChangeTimes->{{3.554210492982093*^9, 3.554210505875268*^9}}],
|
---|
227 |
|
---|
228 | Cell["CalcHep also supports the Feynman gauge", "Text",
|
---|
229 | CellChangeTimes->{{3.4121853722243843`*^9, 3.412185380407339*^9}}],
|
---|
230 |
|
---|
231 | Cell[BoxData[{
|
---|
232 | RowBox[{
|
---|
233 | RowBox[{
|
---|
234 | RowBox[{"FeynmanGauge", "=", "False"}], ";"}],
|
---|
235 | "\[IndentingNewLine]"}], "\[IndentingNewLine]",
|
---|
236 | RowBox[{
|
---|
237 | RowBox[{"WriteCHOutput", "[",
|
---|
238 | RowBox[{
|
---|
239 | "LGauge", ",", "LHiggs", ",", "LFermions", ",", "LYukawa", ",", " ", "LT8",
|
---|
240 | ",", " ", "LT9", ",",
|
---|
241 | RowBox[{"Output", "\[Rule]", "\"\<SM_LT8_LT9_CH\>\""}]}], "]"}],
|
---|
242 | ";"}]}], "Input",
|
---|
243 | CellChangeTimes->{{3.4119110943383636`*^9, 3.41191110054212*^9}, {
|
---|
244 | 3.412185409690489*^9, 3.4121854275198507`*^9}, {3.412450479942018*^9,
|
---|
245 | 3.4124504817138367`*^9}, {3.554210518056747*^9, 3.554210525845241*^9}, {
|
---|
246 | 3.554212177238345*^9, 3.554212186985408*^9}, {3.554214738990678*^9,
|
---|
247 | 3.5542147440692997`*^9}, {3.5542881510797243`*^9, 3.5542881640950212`*^9}}],
|
---|
248 |
|
---|
249 | Cell[BoxData[""], "Input",
|
---|
250 | CellChangeTimes->{3.412185367693318*^9, 3.412185407947097*^9}]
|
---|
251 | },
|
---|
252 | WindowSize->{1024, 656},
|
---|
253 | WindowMargins->{{Automatic, -2}, {Automatic, 0}},
|
---|
254 | ShowSelection->True,
|
---|
255 | Magnification->1.5,
|
---|
256 | FrontEndVersion->"8.0 for Mac OS X x86 (32-bit, 64-bit Kernel) (November 6, \
|
---|
257 | 2010)",
|
---|
258 | StyleDefinitions->"Default.nb"
|
---|
259 | ]
|
---|
260 | (* End of Notebook Content *)
|
---|
261 |
|
---|
262 | (* Internal cache information *)
|
---|
263 | (*CellTagsOutline
|
---|
264 | CellTagsIndex->{}
|
---|
265 | *)
|
---|
266 | (*CellTagsIndex
|
---|
267 | CellTagsIndex->{}
|
---|
268 | *)
|
---|
269 | (*NotebookFileOutline
|
---|
270 | Notebook[{
|
---|
271 | Cell[545, 20, 229, 6, 82, "Input"],
|
---|
272 | Cell[777, 28, 398, 8, 87, "Input"],
|
---|
273 | Cell[1178, 38, 54, 1, 40, "Input"],
|
---|
274 | Cell[1235, 41, 319, 7, 42, "Input"],
|
---|
275 | Cell[1557, 50, 416, 9, 83, "Input"],
|
---|
276 | Cell[1976, 61, 1083, 15, 40, "Input"],
|
---|
277 | Cell[3062, 78, 227, 5, 40, "Input"],
|
---|
278 | Cell[3292, 85, 236, 6, 83, "Input"],
|
---|
279 | Cell[3531, 93, 175, 4, 40, "Input"],
|
---|
280 | Cell[3709, 99, 134, 1, 39, "Text"],
|
---|
281 | Cell[3846, 102, 410, 8, 40, "Input"],
|
---|
282 | Cell[4259, 112, 303, 6, 40, "Input"],
|
---|
283 | Cell[4565, 120, 281, 5, 62, "Text"],
|
---|
284 | Cell[4849, 127, 316, 5, 40, "Input"],
|
---|
285 | Cell[5168, 134, 181, 4, 39, "Text"],
|
---|
286 | Cell[5352, 140, 151, 3, 40, "Input"],
|
---|
287 | Cell[5506, 145, 410, 8, 59, "Input"],
|
---|
288 | Cell[5919, 155, 368, 7, 64, "Input"],
|
---|
289 | Cell[6290, 164, 335, 7, 64, "Input"],
|
---|
290 | Cell[6628, 173, 295, 6, 58, "Input"],
|
---|
291 | Cell[6926, 181, 399, 9, 65, "Input"],
|
---|
292 | Cell[7328, 192, 194, 5, 58, "Input"],
|
---|
293 | Cell[7525, 199, 124, 1, 39, "Text"],
|
---|
294 | Cell[7652, 202, 844, 17, 111, "Input"],
|
---|
295 | Cell[8499, 221, 174, 4, 58, "Input"],
|
---|
296 | Cell[8676, 227, 123, 1, 58, "Text"],
|
---|
297 | Cell[8802, 230, 754, 16, 166, "Input"],
|
---|
298 | Cell[9559, 248, 90, 1, 60, "Input"]
|
---|
299 | }
|
---|
300 | ]
|
---|
301 | *)
|
---|
302 |
|
---|
303 | (* End of internal cache information *)
|
---|