1 | (* Content-type: application/mathematica *) |
---|
2 | |
---|
3 | (*** Wolfram Notebook File ***) |
---|
4 | (* http://www.wolfram.com/nb *) |
---|
5 | |
---|
6 | (* CreatedBy='Mathematica 7.0' *) |
---|
7 | |
---|
8 | (*CacheID: 234*) |
---|
9 | (* Internal cache information: |
---|
10 | NotebookFileLineBreakTest |
---|
11 | NotebookFileLineBreakTest |
---|
12 | NotebookDataPosition[ 145, 7] |
---|
13 | NotebookDataLength[ 27030, 677] |
---|
14 | NotebookOptionsPosition[ 25101, 610] |
---|
15 | NotebookOutlinePosition[ 25478, 627] |
---|
16 | CellTagsIndexPosition[ 25435, 624] |
---|
17 | WindowFrame->Normal*) |
---|
18 | |
---|
19 | (* Beginning of Notebook Content *) |
---|
20 | Notebook[{ |
---|
21 | Cell[BoxData[ |
---|
22 | RowBox[{"Quit", "[", "]"}]], "Input", |
---|
23 | CellChangeTimes->{{3.7638865422974358`*^9, 3.763886542860983*^9}, { |
---|
24 | 3.767372147789777*^9, 3.7673721483716993`*^9}, {3.780996846995326*^9, |
---|
25 | 3.780996847734174*^9}}], |
---|
26 | |
---|
27 | Cell[CellGroupData[{ |
---|
28 | |
---|
29 | Cell["Setup", "Section", |
---|
30 | CellChangeTimes->{{3.518892288721245*^9, 3.518892291440427*^9}, { |
---|
31 | 3.648272586359296*^9, 3.648272589589151*^9}, {3.744951163067635*^9, |
---|
32 | 3.744951164882929*^9}}], |
---|
33 | |
---|
34 | Cell[BoxData[{ |
---|
35 | RowBox[{ |
---|
36 | RowBox[{"$FeynRulesPath", "=", |
---|
37 | RowBox[{"SetDirectory", "[", "\"\<<path-to-FR>\>\"", "]"}]}], |
---|
38 | ";"}], "\[IndentingNewLine]", |
---|
39 | RowBox[{"<<", "FeynRules`"}], "\[IndentingNewLine]", |
---|
40 | RowBox[{ |
---|
41 | RowBox[{"SetDirectory", "[", |
---|
42 | RowBox[{"NotebookDirectory", "[", "]"}], "]"}], |
---|
43 | ";"}], "\[IndentingNewLine]", |
---|
44 | RowBox[{ |
---|
45 | RowBox[{"LoadModel", "[", |
---|
46 | RowBox[{"\"\<sm_reduced.fr\>\"", ",", "\"\<type_ii.fr\>\""}], "]"}], |
---|
47 | ";"}], "\[IndentingNewLine]", |
---|
48 | RowBox[{ |
---|
49 | RowBox[{"LoadRestriction", "[", |
---|
50 | RowBox[{ |
---|
51 | RowBox[{"NotebookDirectory", "[", "]"}], "<>", |
---|
52 | "\"\</Massless_4f.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]", |
---|
53 | RowBox[{ |
---|
54 | RowBox[{"LoadRestriction", "[", |
---|
55 | RowBox[{ |
---|
56 | RowBox[{"NotebookDirectory", "[", "]"}], "<>", |
---|
57 | "\"\</DiagonalCKM.rst\>\""}], "]"}], ";"}]}], "Input", |
---|
58 | CellChangeTimes->{{3.715342142509688*^9, 3.715342163031452*^9}, { |
---|
59 | 3.715344057238492*^9, 3.715344058291609*^9}, {3.7178506900799713`*^9, |
---|
60 | 3.717850690973333*^9}, {3.7180002809816017`*^9, 3.718000300883692*^9}, { |
---|
61 | 3.718000394980835*^9, 3.7180003951009827`*^9}, {3.745153113604156*^9, |
---|
62 | 3.745153113886346*^9}, {3.757403422964182*^9, 3.757403423697225*^9}, { |
---|
63 | 3.758251145793989*^9, 3.7582511468706083`*^9}, 3.7582513470889874`*^9, { |
---|
64 | 3.76335111930016*^9, 3.763351139093457*^9}, {3.7633511693483973`*^9, |
---|
65 | 3.763351173687544*^9}, {3.763886545633397*^9, 3.763886571907737*^9}, |
---|
66 | 3.767099220292862*^9, {3.767374514400957*^9, 3.767374515454331*^9}, { |
---|
67 | 3.767375022418717*^9, 3.76737502255937*^9}, {3.7674580186709423`*^9, |
---|
68 | 3.767458019546134*^9}, {3.767610478088133*^9, 3.767610507175609*^9}, { |
---|
69 | 3.767610538533186*^9, 3.76761053951677*^9}, {3.767610603703107*^9, |
---|
70 | 3.7676106297846937`*^9}, {3.7676900131323767`*^9, |
---|
71 | 3.7676900151887627`*^9}, {3.76858524470041*^9, 3.768585245204138*^9}, { |
---|
72 | 3.77027747721585*^9, 3.7702775056436033`*^9}, {3.7711262488766813`*^9, |
---|
73 | 3.771126253973398*^9}, {3.771126559639118*^9, 3.771126602632146*^9}, |
---|
74 | 3.771139675031245*^9, {3.771139748794265*^9, 3.771139751639614*^9}, { |
---|
75 | 3.7711399153197002`*^9, 3.7711399456001577`*^9}, {3.771139981523079*^9, |
---|
76 | 3.771139981644162*^9}, {3.77857888321222*^9, 3.778578897476334*^9}, { |
---|
77 | 3.77857892985773*^9, 3.7785789375119877`*^9}, 3.7785789770568542`*^9, { |
---|
78 | 3.77857907445473*^9, 3.7785791018908577`*^9}, {3.779597422325054*^9, |
---|
79 | 3.779597426820354*^9}, {3.780921597734684*^9, 3.780921601148004*^9}, |
---|
80 | 3.780942736968416*^9, {3.780998835004087*^9, 3.780998837598987*^9}}] |
---|
81 | }, Open ]], |
---|
82 | |
---|
83 | Cell[CellGroupData[{ |
---|
84 | |
---|
85 | Cell["NLO", "Section", |
---|
86 | CellChangeTimes->{{3.7795974887503777`*^9, 3.779597489081195*^9}}], |
---|
87 | |
---|
88 | Cell[CellGroupData[{ |
---|
89 | |
---|
90 | Cell["Setup", "Subsubsection", |
---|
91 | CellChangeTimes->{{3.7712636194863377`*^9, 3.771263622434663*^9}, { |
---|
92 | 3.780998867365963*^9, 3.780998885433375*^9}}], |
---|
93 | |
---|
94 | Cell[BoxData[{ |
---|
95 | RowBox[{ |
---|
96 | RowBox[{"SetDirectory", "[", |
---|
97 | RowBox[{"NotebookDirectory", "[", "]"}], "]"}], |
---|
98 | ";"}], "\[IndentingNewLine]", |
---|
99 | RowBox[{ |
---|
100 | RowBox[{"Begin", "[", "\"\<MoGRe`\>\"", "]"}], ";"}], "\[IndentingNewLine]", |
---|
101 | RowBox[{ |
---|
102 | RowBox[{"<<", "MoGRe_v1.1.m"}], ";"}], "\[IndentingNewLine]", |
---|
103 | RowBox[{ |
---|
104 | RowBox[{"End", "[", "]"}], ";"}], "\[IndentingNewLine]", |
---|
105 | RowBox[{ |
---|
106 | RowBox[{"MoGRe`ClearRenormalizationScheme", "[", "]"}], ";"}]}], "Input", |
---|
107 | CellChangeTimes->{{3.779621739750206*^9, 3.7796217508767843`*^9}, { |
---|
108 | 3.7796273631453953`*^9, 3.77962740535894*^9}, {3.78099943900846*^9, |
---|
109 | 3.780999439837109*^9}}], |
---|
110 | |
---|
111 | Cell[BoxData[ |
---|
112 | RowBox[{ |
---|
113 | RowBox[{"(*", " ", |
---|
114 | RowBox[{"Calculation", " ", "of", " ", "the", " ", "Lagrangian", " ", |
---|
115 | RowBox[{"(", |
---|
116 | RowBox[{"once", " ", "and", " ", "for", " ", "all"}], ")"}], " ", "if", |
---|
117 | " ", "not", " ", "done", " ", "already"}], " ", "*)"}], " ", |
---|
118 | "\[IndentingNewLine]", |
---|
119 | RowBox[{ |
---|
120 | RowBox[{"If", "[", |
---|
121 | RowBox[{ |
---|
122 | RowBox[{"!", |
---|
123 | RowBox[{"FileExistsQ", "[", "\"\<lagrangian.dat\>\"", "]"}]}], ",", |
---|
124 | "\[IndentingNewLine]", |
---|
125 | RowBox[{ |
---|
126 | RowBox[{"lags", "=", " ", |
---|
127 | RowBox[{"ExpandIndices", "/@", "LType2"}]}], ";", |
---|
128 | "\[IndentingNewLine]", |
---|
129 | RowBox[{ |
---|
130 | RowBox[{"Definition", "[", "lags", "]"}], " ", ">>", " ", |
---|
131 | "lagrangian.dat"}]}], ",", "\[IndentingNewLine]", |
---|
132 | RowBox[{ |
---|
133 | RowBox[{"<<", "lagrangian.dat"}], ";"}]}], "\[IndentingNewLine]", "]"}], |
---|
134 | ";"}]}]], "Input", |
---|
135 | CellChangeTimes->{{3.779597667101206*^9, 3.7795976737764177`*^9}, { |
---|
136 | 3.779621768389236*^9, 3.7796217817142982`*^9}, {3.780998896348439*^9, |
---|
137 | 3.7809989075559053`*^9}}], |
---|
138 | |
---|
139 | Cell[BoxData[ |
---|
140 | RowBox[{ |
---|
141 | RowBox[{"(*", " ", |
---|
142 | RowBox[{ |
---|
143 | RowBox[{"To", " ", "get", " ", "more", " ", "print"}], "-", |
---|
144 | RowBox[{"outs", " ", "to", " ", "the", " ", "screen"}]}], " ", "*)"}], |
---|
145 | "\[IndentingNewLine]", |
---|
146 | RowBox[{ |
---|
147 | RowBox[{"MoGRe$Debug", "=", "True"}], ";"}]}]], "Input", |
---|
148 | CellChangeTimes->{{3.771263627141055*^9, 3.7712636335707293`*^9}}], |
---|
149 | |
---|
150 | Cell[BoxData[ |
---|
151 | RowBox[{ |
---|
152 | RowBox[{"(*", " ", |
---|
153 | RowBox[{ |
---|
154 | "Setting", " ", "the", " ", "options", " ", "of", " ", "the", " ", "main", |
---|
155 | " ", "function"}], " ", "*)"}], "\[IndentingNewLine]", |
---|
156 | RowBox[{ |
---|
157 | RowBox[{"SetOptions", "[", |
---|
158 | RowBox[{"MoGRe$Renormalize", ",", " ", |
---|
159 | RowBox[{"Exclude4Scalars", "\[Rule]", "False"}], ",", |
---|
160 | RowBox[{"FlavorMixing", "\[Rule]", "False"}], ",", |
---|
161 | RowBox[{"CouplingOrders", "\[Rule]", |
---|
162 | RowBox[{"{", "QCD", "}"}]}], ",", |
---|
163 | RowBox[{"CanonicalTwoPoints", "\[Rule]", "True"}]}], "]"}], |
---|
164 | ";"}]}]], "Input", |
---|
165 | CellChangeTimes->{{3.771263641132224*^9, 3.7712636559080553`*^9}, { |
---|
166 | 3.7796218121813602`*^9, 3.7796218127058563`*^9}, {3.7796229843052807`*^9, |
---|
167 | 3.779622984874784*^9}, {3.780979808313796*^9, 3.7809798160041103`*^9}}] |
---|
168 | }, Open ]], |
---|
169 | |
---|
170 | Cell[CellGroupData[{ |
---|
171 | |
---|
172 | Cell["OS renormalization", "Subsubsection", |
---|
173 | CellChangeTimes->{{3.771264549679812*^9, 3.771264557709045*^9}, { |
---|
174 | 3.771264725891897*^9, 3.771264729628981*^9}, {3.779622421220426*^9, |
---|
175 | 3.779622424683118*^9}}], |
---|
176 | |
---|
177 | Cell[BoxData[ |
---|
178 | RowBox[{ |
---|
179 | RowBox[{"(*", " ", |
---|
180 | RowBox[{"Unrenormalized", " ", "parameters"}], " ", "*)"}], |
---|
181 | "\[IndentingNewLine]", |
---|
182 | RowBox[{ |
---|
183 | RowBox[{"MoGRe`DefineUnrenormalizedParameters", "[", |
---|
184 | RowBox[{"{", "\[IndentingNewLine]", |
---|
185 | RowBox[{ |
---|
186 | "Gf", ",", "aEWM1", ",", "MZ", ",", "delCP", ",", "dmsq31", ",", |
---|
187 | "dmsq21", ",", "th12", ",", "th13", ",", "th23", ",", "phiM1", ",", |
---|
188 | "phiM2", ",", "vevD", ",", "lamHD1", ",", "lamD1"}], "}"}], "]"}], |
---|
189 | ";"}]}]], "Input", |
---|
190 | CellChangeTimes->{{3.771264570309547*^9, 3.771264574380278*^9}, { |
---|
191 | 3.779622328795891*^9, 3.779622332835644*^9}, {3.779623239502658*^9, |
---|
192 | 3.7796232588028*^9}, {3.779623369643303*^9, 3.7796233703313828`*^9}, { |
---|
193 | 3.779625801787382*^9, 3.779625812383876*^9}, {3.779625921812018*^9, |
---|
194 | 3.7796259254903584`*^9}, {3.779626038445567*^9, 3.779626041360046*^9}, { |
---|
195 | 3.779626348010645*^9, 3.779626365854025*^9}, {3.779626431993538*^9, |
---|
196 | 3.7796264326080313`*^9}, {3.7796265337645187`*^9, 3.779626563396529*^9}, { |
---|
197 | 3.780942696192215*^9, 3.780942696568851*^9}}], |
---|
198 | |
---|
199 | Cell[BoxData[ |
---|
200 | RowBox[{ |
---|
201 | RowBox[{"(*", " ", "Fields", " ", "*)"}], "\[IndentingNewLine]", |
---|
202 | RowBox[{ |
---|
203 | RowBox[{ |
---|
204 | RowBox[{"MoGRe`DeclareUnrenormalizedFields", "[", |
---|
205 | RowBox[{"W", ",", "A", ",", "Z"}], "]"}], ";"}], "\[IndentingNewLine]", |
---|
206 | RowBox[{ |
---|
207 | RowBox[{"MoGRe`RealFieldRenormalization", "[", "]"}], " ", |
---|
208 | ";"}]}]}]], "Input", |
---|
209 | CellChangeTimes->{{3.771264582333989*^9, 3.771264608943572*^9}}], |
---|
210 | |
---|
211 | Cell[BoxData[ |
---|
212 | RowBox[{ |
---|
213 | RowBox[{"(*", " ", |
---|
214 | RowBox[{"Removing", " ", "some", " ", "parameters", " ", |
---|
215 | RowBox[{"(", |
---|
216 | RowBox[{ |
---|
217 | RowBox[{"cf", ".", " ", "the"}], " ", "way", " ", "NLOCT", " ", |
---|
218 | "works"}], ")"}]}], " ", "*)"}], "\[IndentingNewLine]", |
---|
219 | RowBox[{ |
---|
220 | RowBox[{ |
---|
221 | RowBox[{ |
---|
222 | RowBox[{"MoGRe`RemovingInternalCst", "[", "#", "]"}], "&"}], "/@", |
---|
223 | RowBox[{"{", "\[IndentingNewLine]", |
---|
224 | RowBox[{"gs", ",", "\[IndentingNewLine]", |
---|
225 | RowBox[{"Sequence", "@@", |
---|
226 | RowBox[{"Flatten", "[", |
---|
227 | RowBox[{"Table", "[", |
---|
228 | RowBox[{ |
---|
229 | RowBox[{"{", |
---|
230 | RowBox[{ |
---|
231 | RowBox[{"yu", "[", |
---|
232 | RowBox[{"i", ",", "i"}], "]"}], ",", |
---|
233 | RowBox[{"yd", "[", |
---|
234 | RowBox[{"i", ",", "i"}], "]"}]}], "}"}], ",", |
---|
235 | RowBox[{"{", |
---|
236 | RowBox[{"i", ",", "1", ",", "3"}], "}"}]}], "]"}], "]"}]}], ",", |
---|
237 | "\[IndentingNewLine]", |
---|
238 | RowBox[{"Sequence", "@@", |
---|
239 | RowBox[{"Flatten", "[", |
---|
240 | RowBox[{"Table", "[", |
---|
241 | RowBox[{ |
---|
242 | RowBox[{"{", |
---|
243 | RowBox[{"CKM", "[", |
---|
244 | RowBox[{"i", ",", "j"}], "]"}], "}"}], ",", |
---|
245 | RowBox[{"{", |
---|
246 | RowBox[{"i", ",", "1", ",", "3"}], "}"}], ",", |
---|
247 | RowBox[{"{", |
---|
248 | RowBox[{"j", ",", "1", ",", "3"}], "}"}]}], "]"}], "]"}]}]}], |
---|
249 | "\[IndentingNewLine]", "}"}]}], ";"}]}]], "Input", |
---|
250 | CellChangeTimes->{{3.771264625204327*^9, 3.771264640138379*^9}, |
---|
251 | 3.779622343993898*^9}] |
---|
252 | }, Open ]], |
---|
253 | |
---|
254 | Cell[CellGroupData[{ |
---|
255 | |
---|
256 | Cell["Computation of the renormalised Lagrangian", "Subsubsection", |
---|
257 | CellChangeTimes->{{3.771264736607092*^9, 3.771264744086411*^9}}], |
---|
258 | |
---|
259 | Cell[BoxData[ |
---|
260 | RowBox[{ |
---|
261 | RowBox[{"LReno", " ", "=", |
---|
262 | RowBox[{"MoGRe$Renormalize", "[", |
---|
263 | RowBox[{"Plus", "@@", "lags"}], "]"}]}], ";"}]], "Input", |
---|
264 | CellChangeTimes->{{3.771264750774624*^9, 3.771264754345985*^9}, { |
---|
265 | 3.779622437680065*^9, 3.7796224387360353`*^9}, 3.779624783600335*^9, { |
---|
266 | 3.7796274220329533`*^9, 3.779627429379524*^9}, {3.7796294251206827`*^9, |
---|
267 | 3.779629444949071*^9}, {3.779629548413604*^9, 3.7796295518915253`*^9}}] |
---|
268 | }, Open ]], |
---|
269 | |
---|
270 | Cell[CellGroupData[{ |
---|
271 | |
---|
272 | Cell["Check of the output", "Subsubsection", |
---|
273 | CellChangeTimes->{{3.771265709950657*^9, 3.771265712926222*^9}}], |
---|
274 | |
---|
275 | Cell[BoxData[ |
---|
276 | RowBox[{ |
---|
277 | RowBox[{"(*", |
---|
278 | RowBox[{"The", " ", "renormalization", " ", "conditions", " ", |
---|
279 | RowBox[{"(", |
---|
280 | RowBox[{"this", " ", "is", " ", "an", " ", "input"}], ")"}]}], " ", |
---|
281 | "*)"}], "\[IndentingNewLine]", "MoGRe`SchemeRules"}]], "Input", |
---|
282 | CellChangeTimes->{{3.771265755382235*^9, 3.771265786258514*^9}}], |
---|
283 | |
---|
284 | Cell[BoxData[ |
---|
285 | RowBox[{ |
---|
286 | RowBox[{"(*", " ", "Masses", " ", "*)"}], "\[IndentingNewLine]", |
---|
287 | RowBox[{"RenormalizationRules", "[", "\"\<Masses\>\"", "]"}]}]], "Input", |
---|
288 | CellChangeTimes->{{3.7451518713843946`*^9, 3.745151922162116*^9}, { |
---|
289 | 3.745164095936433*^9, 3.745164096200345*^9}, {3.745164380017013*^9, |
---|
290 | 3.745164380432691*^9}, {3.7451660736095877`*^9, 3.7451660750228863`*^9}, { |
---|
291 | 3.745213815312695*^9, 3.745213818856022*^9}, {3.74523151148385*^9, |
---|
292 | 3.7452315119531517`*^9}, {3.745303047472493*^9, 3.7453030478622513`*^9}, { |
---|
293 | 3.745303157313552*^9, 3.745303157889686*^9}, 3.745303406136817*^9, { |
---|
294 | 3.745574845804298*^9, 3.745574846145966*^9}, {3.745575407401681*^9, |
---|
295 | 3.7455754079116373`*^9}, {3.745578284288937*^9, 3.745578290465178*^9}, { |
---|
296 | 3.745582587034992*^9, 3.745582592977302*^9}, {3.7455826657703257`*^9, |
---|
297 | 3.7455826676585293`*^9}, {3.745582880576159*^9, 3.7455828928842697`*^9}, { |
---|
298 | 3.745583654476617*^9, 3.74558365461695*^9}, {3.7455837983158484`*^9, |
---|
299 | 3.745583798571127*^9}, 3.74564688658142*^9, {3.745647697834746*^9, |
---|
300 | 3.745647728311248*^9}, {3.745647806746401*^9, 3.745647810713956*^9}, { |
---|
301 | 3.7456480115435867`*^9, 3.7456481102599573`*^9}, {3.745663218654118*^9, |
---|
302 | 3.74566325795298*^9}, {3.745663711108547*^9, 3.745663711921837*^9}, { |
---|
303 | 3.745664612538536*^9, 3.7456646408908463`*^9}, 3.7456654013484077`*^9, { |
---|
304 | 3.745665650589293*^9, 3.7456656519560213`*^9}, {3.745665936303863*^9, |
---|
305 | 3.74566593728722*^9}, {3.7456688354046164`*^9, 3.7456688378674917`*^9}, { |
---|
306 | 3.745669024959618*^9, 3.745669030940509*^9}, {3.745669163428668*^9, |
---|
307 | 3.7456691987440863`*^9}, {3.745686812472076*^9, 3.74568681368325*^9}, { |
---|
308 | 3.745686880794334*^9, 3.74568688213133*^9}, {3.7456871775241747`*^9, |
---|
309 | 3.745687178863327*^9}, {3.745857725037485*^9, 3.745857735208394*^9}, { |
---|
310 | 3.7458586075203047`*^9, 3.745858613138812*^9}, {3.7458627781148767`*^9, |
---|
311 | 3.745862788627599*^9}, 3.745863379016315*^9, {3.745895772747778*^9, |
---|
312 | 3.7458957948440533`*^9}, {3.7458958293849087`*^9, 3.745895832308837*^9}, { |
---|
313 | 3.7463392933769217`*^9, 3.746339293953823*^9}, {3.746340958247019*^9, |
---|
314 | 3.746340980757111*^9}, {3.746446967049057*^9, 3.7464469672316236`*^9}, { |
---|
315 | 3.757309129229148*^9, 3.757309129577918*^9}, {3.757311847604082*^9, |
---|
316 | 3.757311850951976*^9}, {3.7573119060012207`*^9, 3.7573119133483257`*^9}, { |
---|
317 | 3.757400119485875*^9, 3.7574001368021793`*^9}, {3.757402948489932*^9, |
---|
318 | 3.757402960729457*^9}, {3.757403682464596*^9, 3.757403685895455*^9}, { |
---|
319 | 3.757406015321528*^9, 3.757406016888089*^9}, {3.75741526102887*^9, |
---|
320 | 3.757415265769416*^9}, {3.7574152965611763`*^9, 3.757415298314205*^9}, { |
---|
321 | 3.757416463439416*^9, 3.757416466010469*^9}, {3.757417500086125*^9, |
---|
322 | 3.757417523855345*^9}, {3.7574201860450373`*^9, 3.757420186670478*^9}, { |
---|
323 | 3.757448602343779*^9, 3.757448611302442*^9}, 3.757449335625184*^9, { |
---|
324 | 3.757449874383556*^9, 3.757449880587248*^9}, {3.757912547323681*^9, |
---|
325 | 3.757912548642529*^9}, {3.7580005002291107`*^9, 3.758000500760256*^9}, { |
---|
326 | 3.758005087249868*^9, 3.758005090807074*^9}, {3.758006435804907*^9, |
---|
327 | 3.758006444604958*^9}, {3.758161578806641*^9, 3.758161582999338*^9}, { |
---|
328 | 3.758164979635907*^9, 3.758164982381565*^9}, {3.758165013510289*^9, |
---|
329 | 3.758165029147532*^9}, {3.758165070730723*^9, 3.7581650858708963`*^9}, { |
---|
330 | 3.758165462675087*^9, 3.758165464347835*^9}, {3.758166197918043*^9, |
---|
331 | 3.7581662072139597`*^9}, {3.7581671637742367`*^9, 3.75816718202489*^9}, { |
---|
332 | 3.758177963109878*^9, 3.758177981847004*^9}, {3.758178134359646*^9, |
---|
333 | 3.758178159140918*^9}, {3.7582313015106*^9, 3.758231315264636*^9}, { |
---|
334 | 3.758248921123448*^9, 3.758248931762648*^9}, {3.758250734518733*^9, |
---|
335 | 3.758250783798354*^9}, {3.758250835228381*^9, 3.758250845550149*^9}, { |
---|
336 | 3.7582511056739693`*^9, 3.7582511090483103`*^9}, {3.75825131359096*^9, |
---|
337 | 3.758251325445635*^9}, {3.758251381280675*^9, 3.758251384116638*^9}, |
---|
338 | 3.758251422640869*^9, {3.75825319671157*^9, 3.758253224083932*^9}, { |
---|
339 | 3.758257134438253*^9, 3.758257136759152*^9}, {3.758257209158524*^9, |
---|
340 | 3.7582572123266*^9}, {3.7582574013488417`*^9, 3.758257401749174*^9}, { |
---|
341 | 3.7582575392174883`*^9, 3.758257543960134*^9}, {3.758257710440304*^9, |
---|
342 | 3.758257731760181*^9}, {3.758257835439458*^9, 3.7582578864437447`*^9}, { |
---|
343 | 3.758258210240507*^9, 3.758258254261258*^9}, {3.758259393453458*^9, |
---|
344 | 3.7582594699190207`*^9}, {3.758259849130109*^9, 3.758259849496891*^9}, |
---|
345 | 3.760938752558837*^9, {3.760938791593569*^9, 3.76093879283946*^9}, { |
---|
346 | 3.76094336376334*^9, 3.760943369090857*^9}, {3.760943562738961*^9, |
---|
347 | 3.760943588064082*^9}, 3.760944298912347*^9, {3.760952987831949*^9, |
---|
348 | 3.760952987979011*^9}, {3.760953226892173*^9, 3.760953236996063*^9}, { |
---|
349 | 3.76095348865825*^9, 3.760953489028057*^9}, {3.763457602937347*^9, |
---|
350 | 3.763457611310288*^9}, 3.763982907134116*^9, {3.763983088407049*^9, |
---|
351 | 3.763983089444828*^9}, {3.763983130719948*^9, 3.763983131117784*^9}, { |
---|
352 | 3.763983964034717*^9, 3.763983965670892*^9}, {3.763987056564139*^9, |
---|
353 | 3.763987059126238*^9}, {3.764005252103383*^9, 3.764005252336042*^9}, { |
---|
354 | 3.7640062913058977`*^9, 3.7640062939055023`*^9}, {3.7640073431045647`*^9, |
---|
355 | 3.764007410995483*^9}, {3.76452231518419*^9, 3.764522315471777*^9}, |
---|
356 | 3.764522354075388*^9, {3.7645232675315247`*^9, 3.764523275689969*^9}, { |
---|
357 | 3.7645238003142233`*^9, 3.764523801367539*^9}, {3.764523872479026*^9, |
---|
358 | 3.764523881589555*^9}, {3.771263472262384*^9, 3.771263478300324*^9}, { |
---|
359 | 3.771263615037691*^9, 3.77126364922724*^9}, {3.771264545348506*^9, |
---|
360 | 3.771264606885642*^9}, 3.771264660161273*^9, 3.771264747418335*^9, { |
---|
361 | 3.771265717192766*^9, 3.771265723035942*^9}}], |
---|
362 | |
---|
363 | Cell[BoxData[ |
---|
364 | RowBox[{ |
---|
365 | RowBox[{"(*", " ", |
---|
366 | RowBox[{"External", " ", "parameters"}], " ", "*)"}], |
---|
367 | "\[IndentingNewLine]", |
---|
368 | RowBox[{"RenormalizationRules", "[", "\"\<Externals\>\"", "]"}]}]], "Input",\ |
---|
369 | |
---|
370 | CellChangeTimes->{{3.771265730383052*^9, 3.771265734792964*^9}}], |
---|
371 | |
---|
372 | Cell[BoxData[ |
---|
373 | RowBox[{ |
---|
374 | RowBox[{"(*", " ", |
---|
375 | RowBox[{"Internal", " ", "parameters"}], " ", "*)"}], |
---|
376 | "\[IndentingNewLine]", |
---|
377 | RowBox[{"RenormalizationRules", "[", "\"\<Internals\>\"", "]"}]}]], "Input",\ |
---|
378 | |
---|
379 | CellChangeTimes->{{3.758258382884212*^9, 3.758258384402162*^9}, { |
---|
380 | 3.7712657927013063`*^9, 3.77126579615121*^9}}], |
---|
381 | |
---|
382 | Cell[BoxData[ |
---|
383 | RowBox[{ |
---|
384 | RowBox[{"(*", " ", "Fields", " ", "*)"}], "\[IndentingNewLine]", |
---|
385 | RowBox[{"RenormalizationRules", "[", "\"\<Fields\>\"", "]"}]}]], "Input"] |
---|
386 | }, Open ]], |
---|
387 | |
---|
388 | Cell[CellGroupData[{ |
---|
389 | |
---|
390 | Cell["Writing the FA model", "Subsubsection", |
---|
391 | CellChangeTimes->{{3.7796363600275784`*^9, 3.779636361893107*^9}}], |
---|
392 | |
---|
393 | Cell[BoxData[{ |
---|
394 | RowBox[{ |
---|
395 | RowBox[{"SetDirectory", "[", |
---|
396 | RowBox[{"NotebookDirectory", "[", "]"}], "]"}], |
---|
397 | ";"}], "\[IndentingNewLine]", |
---|
398 | RowBox[{ |
---|
399 | RowBox[{"WriteFeynArtsOutput", "[", |
---|
400 | RowBox[{"LReno", ",", |
---|
401 | RowBox[{"Output", "\[Rule]", "\"\<typeII_v1_1_FA\>\""}]}], "]"}], |
---|
402 | ";"}]}], "Input", |
---|
403 | CellChangeTimes->{{3.779597577798992*^9, 3.779597584199922*^9}, { |
---|
404 | 3.779597680344357*^9, 3.779597685565913*^9}, {3.77959779313251*^9, |
---|
405 | 3.779597803082788*^9}, {3.779632511026588*^9, 3.77963252396973*^9}, { |
---|
406 | 3.779632589533596*^9, 3.779632594866434*^9}, {3.780944772665889*^9, |
---|
407 | 3.780944773643894*^9}, {3.7809989929665813`*^9, 3.780998995191955*^9}}] |
---|
408 | }, Open ]], |
---|
409 | |
---|
410 | Cell[CellGroupData[{ |
---|
411 | |
---|
412 | Cell["NLOCT run", "Subsubsection", |
---|
413 | CellChangeTimes->{{3.779636351041431*^9, 3.779636352006412*^9}}], |
---|
414 | |
---|
415 | Cell[BoxData[ |
---|
416 | RowBox[{ |
---|
417 | RowBox[{"Quit", "[", "]"}], ";"}]], "Input", |
---|
418 | CellChangeTimes->{{3.779636370018443*^9, 3.779636371598173*^9}}], |
---|
419 | |
---|
420 | Cell[BoxData[{ |
---|
421 | RowBox[{"<<", " ", "FeynArts`"}], "\[IndentingNewLine]", |
---|
422 | RowBox[{ |
---|
423 | RowBox[{ |
---|
424 | "SetDirectory", "[", |
---|
425 | "\"\<~/Work/tools/FeynRules/trunk/feynrules-development\>\"", "]"}], |
---|
426 | ";"}], "\[IndentingNewLine]", |
---|
427 | RowBox[{"<<", " ", "NLOCT`"}], "\[IndentingNewLine]", |
---|
428 | RowBox[{ |
---|
429 | RowBox[{"SetDirectory", "[", |
---|
430 | RowBox[{"NotebookDirectory", "[", "]"}], "]"}], |
---|
431 | ";"}], "\[IndentingNewLine]", |
---|
432 | RowBox[{ |
---|
433 | RowBox[{"WriteCT", "[", |
---|
434 | RowBox[{ |
---|
435 | "\"\<typeII_FA/typeII_v1_1_FA\>\"", ",", |
---|
436 | "\"\<typeII_FA/typeII_v1_1_FA\>\"", ",", " ", |
---|
437 | RowBox[{"Output", "->", "\"\<typeII_4FNS_v1_1\>\""}], ",", |
---|
438 | "\[IndentingNewLine]", |
---|
439 | RowBox[{"LabelInternal", "\[Rule]", "True"}], ",", |
---|
440 | RowBox[{"QCDOnly", "\[Rule]", "True"}], ",", |
---|
441 | RowBox[{"KeptIndices", "\[Rule]", |
---|
442 | RowBox[{"{", "}"}]}], ",", |
---|
443 | RowBox[{"ZeroMom", "\[Rule]", |
---|
444 | RowBox[{"{", |
---|
445 | RowBox[{"{", |
---|
446 | RowBox[{"aS", ",", |
---|
447 | RowBox[{"{", |
---|
448 | RowBox[{ |
---|
449 | RowBox[{"F", "[", "7", "]"}], ",", |
---|
450 | RowBox[{"V", "[", "4", "]"}], ",", |
---|
451 | RowBox[{"-", |
---|
452 | RowBox[{"F", "[", "7", "]"}]}]}], "}"}], ",", "0"}], "}"}], |
---|
453 | "}"}]}], ",", "\[IndentingNewLine]", |
---|
454 | RowBox[{"Assumptions", "->", |
---|
455 | RowBox[{"{", |
---|
456 | RowBox[{ |
---|
457 | RowBox[{"MT", ">", "0"}], ",", |
---|
458 | RowBox[{"MB", ">", "0"}]}], "}"}]}], ",", "\[IndentingNewLine]", |
---|
459 | RowBox[{"CTparameters", "\[Rule]", "True"}], ",", |
---|
460 | RowBox[{"MaxDim", "\[Rule]", "4"}], ",", |
---|
461 | RowBox[{"EvenOnly", "\[Rule]", "False"}], ",", |
---|
462 | RowBox[{"IsFeynmanGauge", "\[Rule]", "True"}]}], "]"}], ";"}]}], "Input", |
---|
463 | CellChangeTimes->{{3.7796363829653883`*^9, 3.779636429912023*^9}, { |
---|
464 | 3.780999051176557*^9, 3.780999062807684*^9}, {3.7809991888797283`*^9, |
---|
465 | 3.7809991906985292`*^9}}] |
---|
466 | }, Open ]], |
---|
467 | |
---|
468 | Cell[CellGroupData[{ |
---|
469 | |
---|
470 | Cell["NLO UFO", "Subsubsection", |
---|
471 | CellChangeTimes->{{3.7796397724027576`*^9, 3.7796397744779*^9}}], |
---|
472 | |
---|
473 | Cell[BoxData[ |
---|
474 | RowBox[{"Quit", "[", "]"}]], "Input", |
---|
475 | CellChangeTimes->{{3.779639826390726*^9, 3.7796398270234957`*^9}}], |
---|
476 | |
---|
477 | Cell[BoxData[{ |
---|
478 | RowBox[{ |
---|
479 | RowBox[{"$FeynRulesPath", "=", |
---|
480 | RowBox[{ |
---|
481 | "SetDirectory", "[", |
---|
482 | "\"\<~/Work/tools/FeynRules/trunk/feynrules-development\>\"", "]"}]}], |
---|
483 | ";"}], "\[IndentingNewLine]", |
---|
484 | RowBox[{"<<", "FeynRules`"}], "\[IndentingNewLine]", |
---|
485 | RowBox[{ |
---|
486 | RowBox[{"SetDirectory", "[", |
---|
487 | RowBox[{"NotebookDirectory", "[", "]"}], "]"}], |
---|
488 | ";"}], "\[IndentingNewLine]", |
---|
489 | RowBox[{ |
---|
490 | RowBox[{"LoadModel", "[", |
---|
491 | RowBox[{"\"\<sm_reduced.fr\>\"", ",", "\"\<type_ii.fr\>\""}], "]"}], |
---|
492 | ";"}], "\[IndentingNewLine]", |
---|
493 | RowBox[{ |
---|
494 | RowBox[{"LoadRestriction", "[", |
---|
495 | RowBox[{ |
---|
496 | RowBox[{"NotebookDirectory", "[", "]"}], "<>", |
---|
497 | "\"\</Massless_4f.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]", |
---|
498 | RowBox[{ |
---|
499 | RowBox[{"LoadRestriction", "[", |
---|
500 | RowBox[{ |
---|
501 | RowBox[{"NotebookDirectory", "[", "]"}], "<>", |
---|
502 | "\"\</DiagonalCKM.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]", |
---|
503 | RowBox[{ |
---|
504 | RowBox[{"Get", "[", "\"\<typeII_4FNS_v1_1.nlo\>\"", "]"}], |
---|
505 | ";"}], "\[IndentingNewLine]", |
---|
506 | RowBox[{ |
---|
507 | RowBox[{"If", "[", |
---|
508 | RowBox[{ |
---|
509 | RowBox[{"!", |
---|
510 | RowBox[{"FileExistsQ", "[", "\"\<lagrangian.dat\>\"", "]"}]}], ",", |
---|
511 | "\[IndentingNewLine]", |
---|
512 | RowBox[{ |
---|
513 | RowBox[{"lags", "=", " ", |
---|
514 | RowBox[{"ExpandIndices", "/@", "LType2"}]}], ";", "\[IndentingNewLine]", |
---|
515 | RowBox[{ |
---|
516 | RowBox[{"Definition", "[", "lags", "]"}], " ", ">>", " ", |
---|
517 | "lagrangian.dat"}]}], ",", "\[IndentingNewLine]", |
---|
518 | RowBox[{ |
---|
519 | RowBox[{"<<", "lagrangian.dat"}], ";"}]}], "\[IndentingNewLine]", "]"}], |
---|
520 | ";"}], "\[IndentingNewLine]"}], "Input", |
---|
521 | CellChangeTimes->{{3.7796397898851013`*^9, 3.779639824714785*^9}, { |
---|
522 | 3.780999092284133*^9, 3.780999094749385*^9}}], |
---|
523 | |
---|
524 | Cell[BoxData[ |
---|
525 | RowBox[{ |
---|
526 | RowBox[{"WriteUFO", "[", |
---|
527 | RowBox[{"lags", ",", |
---|
528 | RowBox[{"UVCounterterms", "\[Rule]", |
---|
529 | RowBox[{"(", |
---|
530 | RowBox[{"UV$vertlist", "/.", |
---|
531 | RowBox[{"{", |
---|
532 | RowBox[{ |
---|
533 | RowBox[{"FR$IR", "\[Rule]", "1"}], ",", |
---|
534 | RowBox[{"FR$IRLog", "\[Rule]", "1"}]}], "}"}]}], ")"}]}], " ", ",", |
---|
535 | RowBox[{"R2Vertices", "\[Rule]", "R2$vertlist"}], ",", " ", |
---|
536 | RowBox[{"CTParameters", "\[Rule]", |
---|
537 | RowBox[{"(", |
---|
538 | RowBox[{"FR$CTparam", "/.", |
---|
539 | RowBox[{"{", |
---|
540 | RowBox[{ |
---|
541 | RowBox[{"FR$IR", "\[Rule]", "1"}], ",", |
---|
542 | RowBox[{"FR$IRLog", "\[Rule]", "1"}]}], "}"}]}], ")"}]}], ",", |
---|
543 | RowBox[{"Output", "\[Rule]", "\"\<TypeII_NLO_v_1_1_UFO\>\""}]}], "]"}], |
---|
544 | ";"}]], "Input", |
---|
545 | CellChangeTimes->{{3.779639836439653*^9, 3.779639854005334*^9}, { |
---|
546 | 3.7809990847792883`*^9, 3.780999086952511*^9}}] |
---|
547 | }, Open ]] |
---|
548 | }, Open ]], |
---|
549 | |
---|
550 | Cell[CellGroupData[{ |
---|
551 | |
---|
552 | Cell["LO ", "Section", |
---|
553 | CellChangeTimes->{{3.7796397724027576`*^9, 3.7796397744779*^9}, |
---|
554 | 3.7809756787787046`*^9, 3.780999031575129*^9}], |
---|
555 | |
---|
556 | Cell[BoxData[ |
---|
557 | RowBox[{"Quit", "[", "]"}]], "Input", |
---|
558 | CellChangeTimes->{{3.779639826390726*^9, 3.7796398270234957`*^9}}], |
---|
559 | |
---|
560 | Cell[BoxData[{ |
---|
561 | RowBox[{ |
---|
562 | RowBox[{"$FeynRulesPath", "=", |
---|
563 | RowBox[{ |
---|
564 | "SetDirectory", "[", |
---|
565 | "\"\<~/Work/tools/FeynRules/trunk/feynrules-development\>\"", "]"}]}], |
---|
566 | ";"}], "\[IndentingNewLine]", |
---|
567 | RowBox[{"<<", "FeynRules`"}], "\[IndentingNewLine]", |
---|
568 | RowBox[{ |
---|
569 | RowBox[{"SetDirectory", "[", |
---|
570 | RowBox[{"NotebookDirectory", "[", "]"}], "]"}], |
---|
571 | ";"}], "\[IndentingNewLine]", |
---|
572 | RowBox[{ |
---|
573 | RowBox[{"LoadModel", "[", |
---|
574 | RowBox[{"\"\<sm_reduced.fr\>\"", ",", "\"\<type_ii.fr\>\""}], "]"}], |
---|
575 | ";"}], "\[IndentingNewLine]", |
---|
576 | RowBox[{ |
---|
577 | RowBox[{"LoadRestriction", "[", |
---|
578 | RowBox[{ |
---|
579 | RowBox[{"NotebookDirectory", "[", "]"}], "<>", |
---|
580 | "\"\</Massless_4f.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]", |
---|
581 | RowBox[{ |
---|
582 | RowBox[{"LoadRestriction", "[", |
---|
583 | RowBox[{ |
---|
584 | RowBox[{"NotebookDirectory", "[", "]"}], "<>", |
---|
585 | "\"\</DiagonalCKM.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]", |
---|
586 | RowBox[{ |
---|
587 | RowBox[{"If", "[", |
---|
588 | RowBox[{ |
---|
589 | RowBox[{"!", |
---|
590 | RowBox[{"FileExistsQ", "[", "\"\<lagrangian.dat\>\"", "]"}]}], ",", |
---|
591 | "\[IndentingNewLine]", |
---|
592 | RowBox[{ |
---|
593 | RowBox[{"lags", "=", " ", |
---|
594 | RowBox[{"ExpandIndices", "/@", "LType2"}]}], ";", "\[IndentingNewLine]", |
---|
595 | RowBox[{ |
---|
596 | RowBox[{"Definition", "[", "lags", "]"}], " ", ">>", " ", |
---|
597 | "lagrangian.dat"}]}], ",", "\[IndentingNewLine]", |
---|
598 | RowBox[{ |
---|
599 | RowBox[{"<<", "lagrangian.dat"}], ";"}]}], "\[IndentingNewLine]", "]"}], |
---|
600 | ";"}], "\[IndentingNewLine]", |
---|
601 | RowBox[{ |
---|
602 | RowBox[{"WriteUFO", "[", |
---|
603 | RowBox[{"lags", ",", |
---|
604 | RowBox[{"Output", "\[Rule]", "\"\<TypeII_LO_v1_1_UFO\>\""}]}], "]"}], |
---|
605 | ";"}], "\[IndentingNewLine]"}], "Input", |
---|
606 | CellChangeTimes->{{3.7796397898851013`*^9, 3.779639824714785*^9}, { |
---|
607 | 3.780975707166958*^9, 3.780975707338049*^9}, {3.780999012384077*^9, |
---|
608 | 3.780999012577855*^9}}] |
---|
609 | }, Open ]] |
---|
610 | }, |
---|
611 | WindowSize->{1292, 1109}, |
---|
612 | WindowMargins->{{Automatic, 3}, {Automatic, 31}}, |
---|
613 | ShowSelection->True, |
---|
614 | FrontEndVersion->"10.4 for Mac OS X x86 (32-bit, 64-bit Kernel) (April 11, \ |
---|
615 | 2016)", |
---|
616 | StyleDefinitions->"Default.nb" |
---|
617 | ] |
---|
618 | (* End of Notebook Content *) |
---|
619 | |
---|
620 | (* Internal cache information *) |
---|
621 | (*CellTagsOutline |
---|
622 | CellTagsIndex->{} |
---|
623 | *) |
---|
624 | (*CellTagsIndex |
---|
625 | CellTagsIndex->{} |
---|
626 | *) |
---|
627 | (*NotebookFileOutline |
---|
628 | Notebook[{ |
---|
629 | Cell[545, 20, 220, 4, 28, "Input"], |
---|
630 | Cell[CellGroupData[{ |
---|
631 | Cell[790, 28, 188, 3, 64, "Section"], |
---|
632 | Cell[981, 33, 2503, 46, 114, "Input"] |
---|
633 | }, Open ]], |
---|
634 | Cell[CellGroupData[{ |
---|
635 | Cell[3521, 84, 90, 1, 64, "Section"], |
---|
636 | Cell[CellGroupData[{ |
---|
637 | Cell[3636, 89, 147, 2, 35, "Subsubsection"], |
---|
638 | Cell[3786, 93, 628, 15, 97, "Input"], |
---|
639 | Cell[4417, 110, 1037, 26, 114, "Input"], |
---|
640 | Cell[5457, 138, 363, 9, 46, "Input"], |
---|
641 | Cell[5823, 149, 791, 17, 46, "Input"] |
---|
642 | }, Open ]], |
---|
643 | Cell[CellGroupData[{ |
---|
644 | Cell[6651, 171, 207, 3, 35, "Subsubsection"], |
---|
645 | Cell[6861, 176, 1053, 20, 63, "Input"], |
---|
646 | Cell[7917, 198, 414, 10, 63, "Input"], |
---|
647 | Cell[8334, 210, 1490, 40, 114, "Input"] |
---|
648 | }, Open ]], |
---|
649 | Cell[CellGroupData[{ |
---|
650 | Cell[9861, 255, 133, 1, 35, "Subsubsection"], |
---|
651 | Cell[9997, 258, 445, 8, 28, "Input"] |
---|
652 | }, Open ]], |
---|
653 | Cell[CellGroupData[{ |
---|
654 | Cell[10479, 271, 110, 1, 35, "Subsubsection"], |
---|
655 | Cell[10592, 274, 332, 7, 46, "Input"], |
---|
656 | Cell[10927, 283, 5597, 77, 46, "Input"], |
---|
657 | Cell[16527, 362, 276, 7, 46, "Input"], |
---|
658 | Cell[16806, 371, 326, 8, 46, "Input"], |
---|
659 | Cell[17135, 381, 167, 3, 46, "Input"] |
---|
660 | }, Open ]], |
---|
661 | Cell[CellGroupData[{ |
---|
662 | Cell[17339, 389, 113, 1, 35, "Subsubsection"], |
---|
663 | Cell[17455, 392, 661, 14, 46, "Input"] |
---|
664 | }, Open ]], |
---|
665 | Cell[CellGroupData[{ |
---|
666 | Cell[18153, 411, 100, 1, 35, "Subsubsection"], |
---|
667 | Cell[18256, 414, 136, 3, 28, "Input"], |
---|
668 | Cell[18395, 419, 1776, 45, 148, "Input"] |
---|
669 | }, Open ]], |
---|
670 | Cell[CellGroupData[{ |
---|
671 | Cell[20208, 469, 98, 1, 35, "Subsubsection"], |
---|
672 | Cell[20309, 472, 120, 2, 28, "Input"], |
---|
673 | Cell[20432, 476, 1675, 45, 233, "Input"], |
---|
674 | Cell[22110, 523, 872, 22, 46, "Input"] |
---|
675 | }, Open ]] |
---|
676 | }, Open ]], |
---|
677 | Cell[CellGroupData[{ |
---|
678 | Cell[23031, 551, 138, 2, 64, "Section"], |
---|
679 | Cell[23172, 555, 120, 2, 28, "Input"], |
---|
680 | Cell[23295, 559, 1790, 48, 233, "Input"] |
---|
681 | }, Open ]] |
---|
682 | } |
---|
683 | ] |
---|
684 | *) |
---|
685 | |
---|