(*********************************************************************** 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[ 75874, 1786]*) (*NotebookOutlinePosition[ 76744, 1817]*) (* CellTagsIndexPosition[ 76700, 1813]*) (*WindowFrame->Normal*) Notebook[{ Cell["\<\ Off[General::spell]; Off[General::spell1];\ \>", "Input", ImageRegion->{{0, 1}, {0, 1}}], Cell[CellGroupData[{ Cell["\<\ ================================ Load FeynCalc:\ \>", "Section", ImageRegion->{{0, 1}, {0, 1}}], Cell[BoxData[ \(<< HighEnergyPhysics`fc`\)], "Input"], Cell[TextData[{ StyleBox["FeynCalc", FontWeight->"Bold"], " ", "4.1.0.3b", " ", " Evaluate ?FeynCalc for help or visit ", ButtonBox["www.feyncalc.org", ButtonData:>{ URL[ "http://www.feyncalc.org"], None}, ButtonStyle->"Hyperlink", ButtonNote->"http://www.feyncalc.org"] }], "Text", GeneratedCell->True, CellAutoOverwrite->True], Cell[CellGroupData[{ Cell[BoxData[ \(\(?FeynCalc\)\)], "Input"], Cell[BoxData[ \(TraditionalForm\`"For installation notes visit www.feyncalc.org\n For a \ list of availabe objects type: $FeynCalcStuff, which contains a list of \ all functions and options in StringForm. You can get on-line information by \ ?function, e.g., ?Contract.\n There are several useful functions for short \ input, type $FCS for a list of short commands. Then type, e.g., ?GA.\n \n To \ get rid of the start-up messages put the line \n $FeynCalcStartupMessages = \ False; \n into your init.m or the HighEnergyPhysics/FeynCalcConfig.m \ file."\)], "Print"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["\<\ ================================ Input Raw Amps From FeynArts:\ \>", "Subsection", ImageRegion->{{0, 1}, {0, 1}}], Cell["\<\ rawamps=( FeynAmpList[Model -> {SM}, Generation1 -> True, Generation2 -> True, Generation3 -> True, ElectronHCoupling -> True, LightFHCoupling -> True, QuarkMixing -> False, UnitaryGauge -> False, RemoveEmptyTops -> True, ProcessName -> V1F1V1F1, Process -> {{V[1], p1, 0}, {F[1], p2, ME}} -> {{V[1], k1, 0}, {F[1], k2, ME}}][FeynAmp[GraphName[V1F1V\\ 1F1, T1, I1, N1], EL^2* Conjugate[PolarizationVector[k1, \[Lambda]4]]* LeptonSpinor[k2, ME] . DiracMatrix[\[Lambda]2] . (ME + DiracSlash[-k1 + p2]) . DiracMatrix[\[Lambda]4] . LeptonSpinor[p2, ME]*PolarizationVector[p1, \[Lambda]2]* PropagatorDenominator[k1 - p2, ME]], FeynAmp[GraphName[V1F1V1F1, T2, I1, N2], EL^2*Conjugate[PolarizationVector[k1, \[Lambda]4]]* LeptonSpinor[k2, ME] . DiracMatrix[\[Lambda]4] . (ME + DiracSlash[p1 + p2]) . DiracMatrix[\[Lambda]2] . LeptonSpinor[p2, ME]*PolarizationVector[p1, \[Lambda]2]* PropagatorDenominator[p1 + p2, ME]]] );\ \>", "Input", LineSpacing->{1, 0}, ImageRegion->{{0, 1}, {0, 1}}], Cell[CellGroupData[{ Cell["amps={rawamps[[1,2]],rawamps[[2,2]]}", "Input", ImageRegion->{{0, 1}, {0, 1}}], Cell[BoxData[ FormBox[ RowBox[{"{", RowBox[{ FormBox[ FractionBox[ RowBox[{\(EL\^2\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ",", "\[NoBreak]", "ME", "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]2", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{"ME", "+", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}]}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]4", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ",", "\[NoBreak]", "ME", "\[NoBreak]", ")"}]}], " ", \(\(\[CurlyEpsilon]\_\[Lambda]2\)(p1)\), " ", \(\(\[CurlyEpsilon]\_\[Lambda]4\%*\)( k1)\)}], \(\((k1 - p2)\)\^2 - ME\^2\)], "TraditionalForm"], ",", FormBox[ FractionBox[ RowBox[{\(EL\^2\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ",", "\[NoBreak]", "ME", "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]4", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{"ME", "+", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}]}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]2", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ",", "\[NoBreak]", "ME", "\[NoBreak]", ")"}]}], " ", \(\(\[CurlyEpsilon]\_\[Lambda]2\)(p1)\), " ", \(\(\[CurlyEpsilon]\_\[Lambda]4\%*\)( k1)\)}], \(\((p1 + p2)\)\^2 - ME\^2\)], "TraditionalForm"]}], "}"}], TraditionalForm]], "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["\<\ ================================ Conugate Amps\ \>", "Subsection", ImageRegion->{{-0, 1}, {0, 1}}], Cell[CellGroupData[{ Cell["camps=ComplexConjugate[amps]", "Input", ImageRegion->{{0, 1}, {0, 1}}], Cell[BoxData[ FormBox[ RowBox[{"{", RowBox[{ FormBox[ FractionBox[ RowBox[{\(EL\^2\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ",", "\[NoBreak]", "ME", "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{"ME", "+", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}]}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ",", "\[NoBreak]", "ME", "\[NoBreak]", ")"}]}], " ", RowBox[{ SubsuperscriptBox["\[CurlyEpsilon]", FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "*"], "(", "p1", ")"}], " ", RowBox[{ SubscriptBox["\[CurlyEpsilon]", FormBox[\(\[Lambda]4\^*\), "TraditionalForm"]], "(", "k1", ")"}]}], \(\((k1 - p2)\)\^2 - ME\^2\)], "TraditionalForm"], ",", FormBox[ FractionBox[ RowBox[{\(EL\^2\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ",", "\[NoBreak]", "ME", "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{"ME", "+", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}]}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ",", "\[NoBreak]", "ME", "\[NoBreak]", ")"}]}], " ", RowBox[{ SubsuperscriptBox["\[CurlyEpsilon]", FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "*"], "(", "p1", ")"}], " ", RowBox[{ SubscriptBox["\[CurlyEpsilon]", FormBox[\(\[Lambda]4\^*\), "TraditionalForm"]], "(", "k1", ")"}]}], \(\((p1 + p2)\)\^2 - ME\^2\)], "TraditionalForm"]}], "}"}], TraditionalForm]], "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["\<\ ================================ Square Amps\ \>", "Subsection", ImageRegion->{{-0, 1}, {0, 1}}], Cell[CellGroupData[{ Cell["\<\ msquared1=Outer[Times,amps,camps]; Dimensions[msquared1]\ \>", "Input", ImageRegion->{{0, 1}, {0, 1}}], Cell[BoxData[ \(TraditionalForm\`{2, 2}\)], "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["\<\ ================================ Set ME=0 for simplicity:\ \>", "Subsection", ImageRegion->{{0, 1}, {0, 1}}], Cell["ME=0;", "Input", ImageRegion->{{0, 1}, {0, 1}}] }, Open ]], Cell[CellGroupData[{ Cell["\<\ ================================ Contract Polarization Vectors: e[mu] e*[nu] -> g[mu,nu]\ \>", "Subsection", ImageRegion->{{-0, 1}, {0, 1}}], Cell["\<\ Clear[ContractBosons]; ContractBosons={ Pair[LorentzIndex[ComplexIndex[li1_]], Momentum[Polarization[p_, _]]]* Pair[LorentzIndex[ li2_] , Momentum[Polarization[p_, _]]] :> MetricTensor[ComplexIndex[li1],li2] };\ \>", "Input", ImageRegion->{{0, 1}, {0, 1}}] }, Open ]], Cell[CellGroupData[{ Cell["\<\ ================================ Evaluate Square Amps\ \>", "Subsection", ImageRegion->{{-0, 1}, {0, 1}}], Cell[CellGroupData[{ Cell[BoxData[ \(msquared1\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ { RowBox[{\(EL\^4\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]2", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]4", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", \(\(\[CurlyEpsilon]\_\[Lambda]2\)(p1)\), " ", \(\(\[CurlyEpsilon]\_\[Lambda]4\%*\)(k1)\), " ", RowBox[{ SubsuperscriptBox["\[CurlyEpsilon]", FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "*"], "(", "p1", ")"}], " ", RowBox[{ SubscriptBox["\[CurlyEpsilon]", FormBox[\(\[Lambda]4\^*\), "TraditionalForm"]], "(", "k1", ")"}], " ", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"], " ", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"]}], RowBox[{\(EL\^4\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]2", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]4", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", \(\(\[CurlyEpsilon]\_\[Lambda]2\)(p1)\), " ", \(\(\[CurlyEpsilon]\_\[Lambda]4\%*\)(k1)\), " ", RowBox[{ SubsuperscriptBox["\[CurlyEpsilon]", FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "*"], "(", "p1", ")"}], " ", RowBox[{ SubscriptBox["\[CurlyEpsilon]", FormBox[\(\[Lambda]4\^*\), "TraditionalForm"]], "(", "k1", ")"}], " ", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"], " ", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"]}]}, { RowBox[{\(EL\^4\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]4", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]2", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", \(\(\[CurlyEpsilon]\_\[Lambda]2\)(p1)\), " ", \(\(\[CurlyEpsilon]\_\[Lambda]4\%*\)(k1)\), " ", RowBox[{ SubsuperscriptBox["\[CurlyEpsilon]", FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "*"], "(", "p1", ")"}], " ", RowBox[{ SubscriptBox["\[CurlyEpsilon]", FormBox[\(\[Lambda]4\^*\), "TraditionalForm"]], "(", "k1", ")"}], " ", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"], " ", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"]}], RowBox[{\(EL\^4\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]4", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]2", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", \(\(\[CurlyEpsilon]\_\[Lambda]2\)(p1)\), " ", \(\(\[CurlyEpsilon]\_\[Lambda]4\%*\)(k1)\), " ", RowBox[{ SubsuperscriptBox["\[CurlyEpsilon]", FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "*"], "(", "p1", ")"}], " ", RowBox[{ SubscriptBox["\[CurlyEpsilon]", FormBox[\(\[Lambda]4\^*\), "TraditionalForm"]], "(", "k1", ")"}], " ", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"], " ", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"]}]} }], "\[NoBreak]", ")"}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell["tmp1= msquared1 //.ContractBosons ", "Input", ImageRegion->{{0, 1}, {0, 1}}], Cell[BoxData[ FormBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ { RowBox[{\(EL\^4\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]2", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]4", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", SuperscriptBox["g", RowBox[{"\[Lambda]2", "\[NoBreak]", FormBox[\(\[Lambda]2\^*\), "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{"\[Lambda]4", "\[NoBreak]", FormBox[\(\[Lambda]4\^*\), "TraditionalForm"]}]], " ", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"], " ", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"]}], RowBox[{\(EL\^4\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]2", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]4", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", SuperscriptBox["g", RowBox[{"\[Lambda]2", "\[NoBreak]", FormBox[\(\[Lambda]2\^*\), "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{"\[Lambda]4", "\[NoBreak]", FormBox[\(\[Lambda]4\^*\), "TraditionalForm"]}]], " ", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"], " ", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"]}]}, { RowBox[{\(EL\^4\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]4", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]2", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", SuperscriptBox["g", RowBox[{"\[Lambda]2", "\[NoBreak]", FormBox[\(\[Lambda]2\^*\), "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{"\[Lambda]4", "\[NoBreak]", FormBox[\(\[Lambda]4\^*\), "TraditionalForm"]}]], " ", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"], " ", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"]}], RowBox[{\(EL\^4\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]4", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Lambda]2", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", SuperscriptBox["g", RowBox[{"\[Lambda]2", "\[NoBreak]", FormBox[\(\[Lambda]2\^*\), "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{"\[Lambda]4", "\[NoBreak]", FormBox[\(\[Lambda]4\^*\), "TraditionalForm"]}]], " ", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"], " ", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"]}]} }], "\[NoBreak]", ")"}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(tmp2 = \ tmp1\ // Contract\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ { RowBox[{\(EL\^4\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", SuperscriptBox[ RowBox[{"(", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"], ")"}], "2"]}], RowBox[{\(EL\^4\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"], " ", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"]}]}, { RowBox[{\(EL\^4\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"], " ", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"]}], RowBox[{\(EL\^4\), " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", RowBox[{ RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["p2", "TraditionalForm"], "\[NoBreak]", ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"\[CurlyPhi]", "\[NoBreak]", "(", "\[NoBreak]", FormBox["k2", "TraditionalForm"], "\[NoBreak]", ")"}]}], " ", SuperscriptBox[ RowBox[{"(", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"], ")"}], "2"]}]} }], "\[NoBreak]", ")"}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(tmp3 = \ tmp2\ // Map[FermionSpinSum, #, {2}] &\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ { RowBox[{\(EL\^4\), " ", RowBox[{"tr", "(", FormBox[ RowBox[{ RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["k2", "TraditionalForm"]}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]]}], "TraditionalForm"], ")"}], " ", SuperscriptBox[ RowBox[{"(", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"], ")"}], "2"]}], RowBox[{\(EL\^4\), " ", RowBox[{"tr", "(", FormBox[ RowBox[{ RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["k2", "TraditionalForm"]}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]]}], "TraditionalForm"], ")"}], " ", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"], " ", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"]}]}, { RowBox[{\(EL\^4\), " ", RowBox[{"tr", "(", FormBox[ RowBox[{ RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["k2", "TraditionalForm"]}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p2 - k1\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]]}], "TraditionalForm"], ")"}], " ", FormBox[\(1\/\((k1 - p2)\)\^2\), "TraditionalForm"], " ", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"]}], RowBox[{\(EL\^4\), " ", RowBox[{"tr", "(", FormBox[ RowBox[{ RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["k2", "TraditionalForm"]}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]2\^*\), "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(p1 + p2\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Lambda]4\^*\), "TraditionalForm"], "TraditionalForm"]]}], "TraditionalForm"], ")"}], " ", SuperscriptBox[ RowBox[{"(", FormBox[\(1\/\((p1 + p2)\)\^2\), "TraditionalForm"], ")"}], "2"]}]} }], "\[NoBreak]", ")"}], TraditionalForm]], "Output"] }, Open ]], Cell["\<\ Be careful not to turn on DiracTraceEvaluate until the \ FermionSpinSum is done. \ \>", "Subsubsection"], Cell[BoxData[{ RowBox[{ RowBox[{ StyleBox["(*", FontColor->RGBColor[1, 0, 0]], StyleBox[" ", FontColor->RGBColor[1, 0, 0]], StyleBox[\(Turn\ \ DiracTraceEvaluate\ Off\), FontColor->RGBColor[1, 0, 0]], StyleBox[" ", FontColor->RGBColor[1, 0, 0]], StyleBox["*)", FontColor->RGBColor[1, 0, 0]]}], StyleBox["\[IndentingNewLine]", FontColor->RGBColor[1, 0, 0]], \(SetOptions[DiracTrace, DiracTraceEvaluate \[Rule] True];\)}], "\[IndentingNewLine]", \(SetOptions[DiracTrace, DiracTraceEvaluate \[Rule] False];\)}], "Input"], Cell[BoxData[ RowBox[{ RowBox[{ StyleBox["(*", FontColor->RGBColor[1, 0, 0]], StyleBox[" ", FontColor->RGBColor[1, 0, 0]], StyleBox[\(Turn\ \ DiracTraceEvaluate\ On\), FontColor->RGBColor[1, 0, 0]], StyleBox[" ", FontColor->RGBColor[1, 0, 0]], StyleBox["*)", FontColor->RGBColor[1, 0, 0]]}], StyleBox["\[IndentingNewLine]", FontColor->RGBColor[1, 0, 0]], \(SetOptions[DiracTrace, DiracTraceEvaluate \[Rule] False]; SetOptions[DiracTrace, DiracTraceEvaluate \[Rule] True];\)}]], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(msquared2 = tmp3 // PropagatorDenominatorExplicit\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ { RowBox[{"-", FractionBox[ RowBox[{"16", " ", \(EL\^4\), " ", RowBox[{"(", RowBox[{ RowBox[{\(-2\), " ", RowBox[{ FormBox["k1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["k2", "TraditionalForm"]}], " ", RowBox[{ FormBox["k1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}]}], "+", RowBox[{ SuperscriptBox[ FormBox["k1", "TraditionalForm"], "2"], " ", RowBox[{ FormBox["k2", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}]}], "+", RowBox[{"2", " ", RowBox[{ FormBox["k1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["k2", "TraditionalForm"]}], " ", SuperscriptBox[ FormBox["p2", "TraditionalForm"], "2"]}], "-", RowBox[{ RowBox[{ FormBox["k2", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}], " ", SuperscriptBox[ FormBox["p2", "TraditionalForm"], "2"]}]}], ")"}]}], SuperscriptBox[ RowBox[{"(", RowBox[{ SuperscriptBox[ FormBox["k1", "TraditionalForm"], "2"], "-", RowBox[{"2", " ", RowBox[{ FormBox["k1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}]}], "+", SuperscriptBox[ FormBox["p2", "TraditionalForm"], "2"]}], ")"}], "2"]]}], FractionBox[ RowBox[{"32", " ", \(EL\^4\), " ", RowBox[{ FormBox["k2", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}], " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox["k1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p1", "TraditionalForm"]}], "+", RowBox[{ FormBox["k1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}], "-", RowBox[{ FormBox["p1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}], "-", SuperscriptBox[ FormBox["p2", "TraditionalForm"], "2"]}], ")"}]}], RowBox[{ RowBox[{"(", RowBox[{ SuperscriptBox[ FormBox["k1", "TraditionalForm"], "2"], "-", RowBox[{"2", " ", RowBox[{ FormBox["k1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}]}], "+", SuperscriptBox[ FormBox["p2", "TraditionalForm"], "2"]}], ")"}], " ", RowBox[{"(", RowBox[{ SuperscriptBox[ FormBox["p1", "TraditionalForm"], "2"], "+", RowBox[{"2", " ", RowBox[{ FormBox["p1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}]}], "+", SuperscriptBox[ FormBox["p2", "TraditionalForm"], "2"]}], ")"}]}]]}, { FractionBox[ RowBox[{"32", " ", \(EL\^4\), " ", RowBox[{ FormBox["k2", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}], " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox["k1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p1", "TraditionalForm"]}], "+", RowBox[{ FormBox["k1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}], "-", RowBox[{ FormBox["p1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}], "-", SuperscriptBox[ FormBox["p2", "TraditionalForm"], "2"]}], ")"}]}], RowBox[{ RowBox[{"(", RowBox[{ SuperscriptBox[ FormBox["k1", "TraditionalForm"], "2"], "-", RowBox[{"2", " ", RowBox[{ FormBox["k1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}]}], "+", SuperscriptBox[ FormBox["p2", "TraditionalForm"], "2"]}], ")"}], " ", RowBox[{"(", RowBox[{ SuperscriptBox[ FormBox["p1", "TraditionalForm"], "2"], "+", RowBox[{"2", " ", RowBox[{ FormBox["p1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}]}], "+", SuperscriptBox[ FormBox["p2", "TraditionalForm"], "2"]}], ")"}]}]], RowBox[{"-", FractionBox[ RowBox[{"16", " ", \(EL\^4\), " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{ FormBox["k2", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}], " ", SuperscriptBox[ FormBox["p1", "TraditionalForm"], "2"]}], "-", RowBox[{"2", " ", RowBox[{ FormBox["k2", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p1", "TraditionalForm"]}], " ", RowBox[{ FormBox["p1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}]}], "-", RowBox[{"2", " ", RowBox[{ FormBox["k2", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p1", "TraditionalForm"]}], " ", SuperscriptBox[ FormBox["p2", "TraditionalForm"], "2"]}], "-", RowBox[{ RowBox[{ FormBox["k2", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}], " ", SuperscriptBox[ FormBox["p2", "TraditionalForm"], "2"]}]}], ")"}]}], SuperscriptBox[ RowBox[{"(", RowBox[{ SuperscriptBox[ FormBox["p1", "TraditionalForm"], "2"], "+", RowBox[{"2", " ", RowBox[{ FormBox["p1", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p2", "TraditionalForm"]}]}], "+", SuperscriptBox[ FormBox["p2", "TraditionalForm"], "2"]}], ")"}], "2"]]}]} }], "\[NoBreak]", ")"}], TraditionalForm]], "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["\<\ ================================ Examine Mandelstam Variables\ \>", "Subsection", ImageRegion->{{-0, 1}, {0, 1}}], Cell["SetMandelstam[s,t,u,p1,p2,-k2,-k1,q,0,ME,ME];", "Input", ImageRegion->{{0, 1}, {0, 1}}], Cell[CellGroupData[{ Cell["\<\ ( {ScalarProduct[p1+p2,p1+p2] ,ScalarProduct[p1-k2,p1-k2] ,ScalarProduct[p1-k1,p1-k1]} //ExpandScalarProduct //Simplify )\ \>", "Input", ImageRegion->{{0, 1}, {0, 1}}], Cell[BoxData[ \(TraditionalForm\`{s, t, u}\)], "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["\<\ ================================ Evaluate Square Amps\ \>", "Subsection", ImageRegion->{{0, 1}, {0, 1}}], Cell["q /: q^2 =-Q^2;", "Input", ImageRegion->{{0, 1}, {0, 1}}], Cell[CellGroupData[{ Cell["msquared2=msquared2 //ExpandScalarProduct //Simplify", "Input", ImageRegion->{{0, 1}, {0, 1}}], Cell[BoxData[ FormBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(-\(\(8\ EL\^4\ s\)\/t\)\), \(\(8\ EL\^4\ u\ \((2\ Q\^2 + s + t + u)\)\)\/\(s\ t\)\)}, {\(\(8\ EL\^4\ u\ \((2\ Q\^2 + s + t + u)\)\)\/\(s\ t\)\), \(-\(\(8\ EL\^4\ \((Q\^4 + \((s + t + u)\)\ Q\^2 + s\ t)\)\)\/s\^2\)\)} }], "\[NoBreak]", ")"}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell["\<\ msquared3= TrickMandelstam[ msquared2, {s,t,u,-Q^2+2 ME^2}] \ \>", "Input", ImageRegion->{{0, 1}, {0, 1}}], Cell[BoxData[ FormBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(-\(\(8\ EL\^4\ s\)\/t\)\), \(\(8\ EL\^4\ Q\^2\ u\)\/\(s\ \ t\)\)}, {\(\(8\ EL\^4\ Q\^2\ u\)\/\(s\ t\)\), \(-\(\(8\ EL\^4\ \ t\)\/s\)\)} }], "\[NoBreak]", ")"}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell["msquared4= msquared3 /(8 EL^4) /.{ME->0}", "Input", ImageRegion->{{0, 1}, {0, 1}}], Cell[BoxData[ FormBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(-\(s\/t\)\), \(\(Q\^2\ u\)\/\(s\ t\)\)}, {\(\(Q\^2\ u\)\/\(s\ t\)\), \(-\(t\/s\)\)} }], "\[NoBreak]", ")"}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell["msquared5= Plus @@ Plus @@ msquared4 //Simplify", "Input", ImageRegion->{{0, 1}, {0, 1}}], Cell[BoxData[ \(TraditionalForm\`\(-\(\(\(-2\)\ u\ Q\^2 + s\^2 + t\^2\)\/\(s\ t\)\)\)\)], "Output"] }, Open ]] }, Open ]] }, FrontEndVersion->"4.0 for X", ScreenRectangle->{{0, 1280}, {0, 1024}}, WindowToolbars->{}, CellGrouping->Manual, WindowSize->{849, 872}, WindowMargins->{{Automatic, 25}, {0, Automatic}}, PrivateNotebookOptions->{"ColorPalette"->{RGBColor, -1}}, ShowCellLabel->True, ShowCellTags->False, RenderingOptions->{"ObjectDithering"->True, "RasterDithering"->False}, Magnification->2 ] (*********************************************************************** 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->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[1717, 49, 100, 4, 51, "Input"], Cell[CellGroupData[{ Cell[1842, 57, 107, 4, 113, "Section"], Cell[1952, 63, 57, 1, 38, "Input"], Cell[2012, 66, 369, 14, 47, "Text"], Cell[CellGroupData[{ Cell[2406, 84, 46, 1, 37, "Input"], Cell[2455, 87, 575, 8, 162, "Print"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[3079, 101, 125, 4, 104, "Subsection"], Cell[3207, 107, 1108, 26, 336, "Input"], Cell[CellGroupData[{ Cell[4340, 137, 86, 1, 35, "Input"], Cell[4429, 140, 3413, 73, 128, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[7891, 219, 110, 4, 104, "Subsection"], Cell[CellGroupData[{ Cell[8026, 227, 78, 1, 35, "Input"], Cell[8107, 230, 3955, 85, 128, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[12111, 321, 108, 4, 104, "Subsection"], Cell[CellGroupData[{ Cell[12244, 329, 114, 4, 51, "Input"], Cell[12361, 335, 57, 1, 40, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[12467, 342, 120, 4, 104, "Subsection"], Cell[12590, 348, 55, 1, 35, "Input"] }, Open ]], Cell[CellGroupData[{ Cell[12682, 354, 153, 5, 127, "Subsection"], Cell[12838, 361, 315, 12, 177, "Input"] }, Open ]], Cell[CellGroupData[{ Cell[13190, 378, 117, 4, 104, "Subsection"], Cell[CellGroupData[{ Cell[13332, 386, 42, 1, 37, "Input"], Cell[13377, 389, 12526, 257, 86, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[25940, 651, 85, 1, 35, "Input"], Cell[26028, 654, 11970, 249, 86, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[38035, 908, 60, 1, 37, "Input"], Cell[38098, 911, 10474, 217, 92, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[48609, 1133, 81, 1, 39, "Input"], Cell[48693, 1136, 11470, 241, 92, "Output"] }, Open ]], Cell[60178, 1380, 115, 3, 63, "Subsubsection"], Cell[60296, 1385, 678, 18, 77, "Input"], Cell[60977, 1405, 621, 16, 77, "Input"], Cell[CellGroupData[{ Cell[61623, 1425, 82, 1, 38, "Input"], Cell[61708, 1428, 11665, 257, 96, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[73422, 1691, 125, 4, 104, "Subsection"], Cell[73550, 1697, 95, 1, 35, "Input"], Cell[CellGroupData[{ Cell[73670, 1702, 200, 8, 114, "Input"], Cell[73873, 1712, 60, 1, 40, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[73982, 1719, 116, 4, 104, "Subsection"], Cell[74101, 1725, 65, 1, 35, "Input"], Cell[CellGroupData[{ Cell[74191, 1730, 102, 1, 35, "Input"], Cell[74296, 1733, 462, 8, 86, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[74795, 1746, 120, 4, 51, "Input"], Cell[74918, 1752, 298, 7, 86, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[75253, 1764, 91, 1, 35, "Input"], Cell[75347, 1767, 246, 5, 86, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[75630, 1777, 97, 1, 35, "Input"], Cell[75730, 1780, 116, 2, 65, "Output"] }, Open ]] }, Open ]] } ] *) (*********************************************************************** End of Mathematica Notebook file. ***********************************************************************)