| 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 *)
|
|---|