(*********************************************************************** Mathematica-Compatible Notebook This notebook can be used on any computer system with Mathematica 4.0, MathReader 4.0, or any compatible application. The data for the notebook starts with the line containing stars above. To get the notebook into a Mathematica-compatible application, do one of the following: * Save the data starting with the line of stars above into a file with a name ending in .nb, then open the file inside the application; * Copy the data starting with the line of stars above to the clipboard, then use the Paste menu command inside the application. Data for notebooks contains only printable 7-bit ASCII and can be sent directly in email or through ftp in text mode. Newlines can be CR, LF or CRLF (Unix, Macintosh or MS-DOS style). NOTE: If you modify the data for this notebook not in a Mathematica- compatible application, you must delete the line below containing the word CacheID, otherwise Mathematica-compatible applications may try to use invalid cache data. For more information on notebooks and Mathematica-compatible applications, contact Wolfram Research: web: http://www.wolfram.com email: info@wolfram.com phone: +1-217-398-0700 (U.S.) Notebook reader applications are available free of charge from Wolfram Research. ***********************************************************************) (*CacheID: 232*) (*NotebookFileLineBreakTest NotebookFileLineBreakTest*) (*NotebookOptionsPosition[ 17965, 652]*) (*NotebookOutlinePosition[ 18768, 682]*) (* CellTagsIndexPosition[ 18691, 676]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell["SUNSimplify", "Subsection", CellTags->"SUNSimplify"], Cell[CellGroupData[{ Cell["Description", "Subsubsection"], Cell["\<\ SUNSimplify simplifies products of SUNT (and complex conjugated) \ matrices. Basic renaming of dummy indices is done. If the option SUNTrace is \ set to False, then any SUNT-matrices are taken out of DiracTrace[...]; \ otherwise a color-trace is taken (by SUNTrace) before taking the SUN-objects \ in front of DiracTrace[...].\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(Options[SUNSimplify]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`{Expanding \[Rule] False, Explicit \[Rule] False, Factoring \[Rule] False, SUNIndexRename \[Rule] True, SUNFJacobi \[Rule] False, SUNNToCACF \[Rule] True, SUNTrace \[Rule] True}\)], "Output"] }, Open ]], Cell[TextData[{ "See also: ", " ", ButtonBox["Trick", ButtonData:>"Trick", ButtonStyle->"Hyperlink", ButtonNote->"Trick"], "." }], "Text"] }, Open ]], Cell[CellGroupData[{ Cell["Examples", "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ \(t1 = SUNDelta[a, b]\ SUNDelta[b, c]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\[Delta]\_\(a\[NoBreak]b\)\ \[Delta]\_\(b\[NoBreak]c\)\ \)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[t1]\)], "Input"], Cell[BoxData[ FormBox[ SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]}]], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t2 = SUNT[a] . SUNT[a]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ SubscriptBox["T", FormBox["a", "TraditionalForm"]], ".", SubscriptBox["T", FormBox["a", "TraditionalForm"]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[t2]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`C\_F\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[t2, SUNNToCACF -> False]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\(N\^2 - 1\)\/\(2\ N\)\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t3 = SUNF[a, r, s] SUNF[b, r, s]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`f\_\(a\[NoBreak]r\[NoBreak]s\)\ f\_\(b\[NoBreak]r\ \[NoBreak]s\)\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[t3]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(C\_A\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t4 = SUNF[a, b, c]\ . \ SUNF[a, b, c]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`f\_\(a\[NoBreak]b\[NoBreak]c\) . f\_\(a\[NoBreak]b\[NoBreak]c\)\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[t4]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`2\ C\_A\%2\ C\_F\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t5 = SUNF[a, b, c]\ SUNF[d, b, c]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`f\_\(a\[NoBreak]b\[NoBreak]c\)\ f\_\(d\[NoBreak]b\ \[NoBreak]c\)\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[t5]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(C\_A\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t6 = SUNF[a, b, c]\ SUND[d, b, c]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`d\_\(b\[NoBreak]c\[NoBreak]d\)\ f\_\(a\[NoBreak]b\ \[NoBreak]c\)\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[t6, Explicit -> True]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`0\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[SUND[a, b, c]\ SUND[a, b, c], SUNNToCACF \[Rule] False] // Factor2\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\(\((1 - N\^2)\)\ \((4 - N\^2)\)\)\/N\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[SUND[a, b, c]\ SUND[e, b, c], SUNNToCACF \[Rule] False] // FullSimplify\)], "Input"], Cell[BoxData[ FormBox[ FractionBox[ RowBox[{\((N\^2 - 4)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "N"], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[SUNF[a, b, c], Explicit \[Rule] True]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(-2\), " ", "\[ImaginaryI]", " ", RowBox[{"(", RowBox[{ RowBox[{"tr", "\[NoBreak]", "(", "\[NoBreak]", FormBox[ RowBox[{ SubscriptBox["T", FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], ".", SubscriptBox["T", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubscriptBox["T", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], "TraditionalForm"], "\[NoBreak]", ")"}], "-", RowBox[{"tr", "\[NoBreak]", "(", "\[NoBreak]", FormBox[ RowBox[{ SubscriptBox["T", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubscriptBox["T", FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], ".", SubscriptBox["T", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], "TraditionalForm"], "\[NoBreak]", ")"}]}], ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[SUND[a, b, c], Explicit \[Rule] True]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"2", " ", RowBox[{"(", RowBox[{ RowBox[{"tr", "\[NoBreak]", "(", "\[NoBreak]", FormBox[ RowBox[{ SubscriptBox["T", FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], ".", SubscriptBox["T", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubscriptBox["T", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], "TraditionalForm"], "\[NoBreak]", ")"}], "+", RowBox[{"tr", "\[NoBreak]", "(", "\[NoBreak]", FormBox[ RowBox[{ SubscriptBox["T", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubscriptBox["T", FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], ".", SubscriptBox["T", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], "TraditionalForm"], "\[NoBreak]", ")"}]}], ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[SUNF[a, b, c]\ SUNT[c, b, a]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\(-\(1\/2\)\)\ \[ImaginaryI]\ C\_A\ C\_F\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(a1 = SUNF[a, b, e] SUNF[c, d, e] + SUNF[a, b, z] SUNF[c, d, z]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`f\_\(a\[NoBreak]b\[NoBreak]e\)\ f\_\(c\[NoBreak]d\ \[NoBreak]e\) + f\_\(a\[NoBreak]b\[NoBreak]z\)\ f\_\(c\[NoBreak]d\[NoBreak]z\)\)], \ "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[a1, Explicit \[Rule] False]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"2", " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[a1, Explicit \[Rule] False, SUNIndexRename \[Rule] False]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["z", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["z", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(a2 = DiracTrace[SUNT[a, b] . DiracMatrix[\[Mu], \[Nu]]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"tr", "(", FormBox[ RowBox[{ RowBox[{"(", RowBox[{ SubscriptBox["T", FormBox["a", "TraditionalForm"]], SubscriptBox["T", FormBox["b", "TraditionalForm"]]}], ")"}], ".", \((\(\[Gamma]\^\[Mu]\) \[Gamma]\^\[Nu])\)}], "TraditionalForm"], ")"}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[a2]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(1\/2\), " ", RowBox[{"tr", "(", FormBox[ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], "TraditionalForm"], ")"}], " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[a2, SUNTrace \[Rule] False]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"tr", "(", FormBox[ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], "TraditionalForm"], ")"}], ".", SubscriptBox["T", FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], ".", SubscriptBox["T", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[a2, SUNTrace \[Rule] False] // StandardForm\)], "Input"], Cell[BoxData[ \(DiracTrace[ DiracGamma[LorentzIndex[\[Mu]]] . DiracGamma[LorentzIndex[\[Nu]]]] . SUNT[SUNIndex[a]] . SUNT[SUNIndex[b]]\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SUNSimplify[1 - SUNDelta[i1, i2]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"1", "-", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["i1", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["i2", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(% // StandardForm\)], "Input"], Cell[BoxData[ \(1 - SUNDelta[SUNIndex[i1], SUNIndex[i2]]\)], "Output"] }, Open ]], Cell[BoxData[ \(Clear[t1, t2, t3, t4, t5, t6, a1, a2]\)], "Input"] }, Open ]] }, Open ]] }, FrontEndVersion->"4.0 for X", ScreenRectangle->{{0, 1024}, {0, 768}}, WindowSize->{520, 485}, WindowMargins->{{Automatic, 244}, {114, Automatic}}, StyleDefinitions -> "Demo.nb" ] (*********************************************************************** Cached data follows. If you edit this Notebook file directly, not using Mathematica, you must remove the line containing CacheID at the top of the file. The cache data will then be recreated when you save this file from within Mathematica. ***********************************************************************) (*CellTagsOutline CellTagsIndex->{ "SUNSimplify"->{ Cell[1739, 51, 60, 1, 40, "Subsection", CellTags->"SUNSimplify"]} } *) (*CellTagsIndex CellTagsIndex->{ {"SUNSimplify", 18589, 669} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[1739, 51, 60, 1, 40, "Subsection", CellTags->"SUNSimplify"], Cell[CellGroupData[{ Cell[1824, 56, 36, 0, 36, "Subsubsection"], Cell[1863, 58, 350, 6, 85, "Text"], Cell[CellGroupData[{ Cell[2238, 68, 53, 1, 31, "Input"], Cell[2294, 71, 249, 4, 83, "Output"] }, Open ]], Cell[2558, 78, 158, 8, 29, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[2753, 91, 33, 0, 36, "Subsubsection"], Cell[CellGroupData[{ Cell[2811, 95, 68, 1, 31, "Input"], Cell[2882, 98, 107, 2, 47, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3026, 105, 48, 1, 31, "Input"], Cell[3077, 108, 342, 11, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3456, 124, 55, 1, 70, "Input"], Cell[3514, 127, 244, 8, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3795, 140, 48, 1, 70, "Input"], Cell[3846, 143, 55, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3938, 149, 69, 1, 70, "Input"], Cell[4010, 152, 73, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[4120, 158, 65, 1, 70, "Input"], Cell[4188, 161, 115, 2, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[4340, 168, 48, 1, 70, "Input"], Cell[4391, 171, 394, 12, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[4822, 188, 71, 1, 70, "Input"], Cell[4896, 191, 121, 2, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[5054, 198, 48, 1, 70, "Input"], Cell[5105, 201, 67, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[5209, 207, 66, 1, 70, "Input"], Cell[5278, 210, 115, 2, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[5430, 217, 48, 1, 70, "Input"], Cell[5481, 220, 394, 12, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[5912, 237, 66, 1, 70, "Input"], Cell[5981, 240, 115, 2, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[6133, 247, 66, 1, 70, "Input"], Cell[6202, 250, 52, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[6291, 256, 118, 2, 70, "Input"], Cell[6412, 260, 88, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[6537, 266, 123, 2, 70, "Input"], Cell[6663, 270, 447, 13, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[7147, 288, 82, 1, 70, "Input"], Cell[7232, 291, 1656, 43, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[8925, 339, 82, 1, 70, "Input"], Cell[9010, 342, 1631, 43, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[10678, 390, 74, 1, 70, "Input"], Cell[10755, 393, 91, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[10883, 399, 102, 2, 70, "Input"], Cell[10988, 403, 189, 4, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[11214, 412, 72, 1, 70, "Input"], Cell[11289, 415, 954, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[12280, 450, 109, 2, 70, "Input"], Cell[12392, 454, 1972, 60, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[14401, 519, 88, 1, 70, "Input"], Cell[14492, 522, 490, 14, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[15019, 541, 48, 1, 70, "Input"], Cell[15070, 544, 877, 26, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[15984, 575, 72, 1, 70, "Input"], Cell[16059, 578, 837, 26, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[16933, 609, 88, 1, 70, "Input"], Cell[17024, 612, 167, 3, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[17228, 620, 66, 1, 70, "Input"], Cell[17297, 623, 391, 12, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[17725, 640, 50, 1, 70, "Input"], Cell[17778, 643, 74, 1, 70, "Output"] }, Open ]], Cell[17867, 647, 70, 1, 70, "Input"] }, Open ]] }, Open ]] } ] *) (*********************************************************************** End of Mathematica Notebook file. ***********************************************************************)