(*********************************************************************** 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[ 73048, 2037]*) (*NotebookOutlinePosition[ 73843, 2067]*) (* CellTagsIndexPosition[ 73768, 2061]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell["FeynRule", "Subsection", CellTags->"FeynRule"], Cell[CellGroupData[{ Cell["Description", "Subsubsection"], Cell["\<\ FeynRule[lag, {fields}] derives the Feynman rule corresponding to \ the field configuration fields of the lagrangian lag.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(Options[FeynRule]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"{", RowBox[{ RowBox[{"Anti5", "\[Rule]", InterpretationBox[\(-\[Infinity]\), DirectedInfinity[ -1]]}], ",", \(Contract \[Rule] False\), ",", \(Factor1 \[Rule] False\), ",", \(FinalSubstitutions \[Rule] {}\), ",", \(PartialD \[Rule] RightPartialD\), ",", \(Schouten \[Rule] False\), ",", \(ZeroMomentumInsertion \[Rule] True\)}], "}"}], TraditionalForm]], "Output"] }, Open ]], Cell["FeynRule does not calculate propagator Feynman rules.", "Text"], Cell["\<\ The option ZeroMomentumInsertion can be used for twist-2 and higher \ twist operators.\ \>", "Text"], Cell[TextData[{ "See also: ", " ", ButtonBox["Lagrangian", ButtonData:>"Lagrangian", ButtonStyle->"Hyperlink", ButtonNote->"Lagrangian"], "." }], "Text"] }, Open ]], Cell[CellGroupData[{ Cell["Examples", "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ \(gou = Lagrangian["\"]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(1\/2\), " ", \(\[ImaginaryI]\^\(m - 1\)\), " ", RowBox[{ SubsuperscriptBox["F", RowBox[{"\[Alpha]", "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}], "a"], ".", SuperscriptBox[ RowBox[{"(", SubsuperscriptBox["D", FormBox["\[CapitalDelta]", "TraditionalForm"], \(a\[NoBreak]b\)], ")"}], \(m - 2\)], ".", SubsuperscriptBox["F", RowBox[{"\[Alpha]", "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}], "b"]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(gop = Lagrangian["\"]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(1\/2\), " ", \(\[ImaginaryI]\^m\), " ", RowBox[{ SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Alpha]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Beta]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Gamma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}]], ".", \(F\_\(\[Beta]\[NoBreak]\[Gamma]\)\%a\), ".", SuperscriptBox[ RowBox[{"(", SubsuperscriptBox["D", FormBox["\[CapitalDelta]", "TraditionalForm"], \(a\[NoBreak]b\)], ")"}], \(m - 2\)], ".", SubsuperscriptBox["F", RowBox[{"\[Alpha]", "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}], "b"]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Explicit[gop]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(1\/2\), " ", \(\[ImaginaryI]\^m\), " ", RowBox[{ SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Alpha]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Beta]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Gamma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}]], ".", RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Beta]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Gamma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Gamma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Beta]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{\(g\_s\), " ", RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Beta]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b2", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Gamma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c11", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]b2\[NoBreak]c11\)\)}]}], ")"}], ".", SuperscriptBox[ RowBox[{"(", SubsuperscriptBox["D", FormBox["\[CapitalDelta]", "TraditionalForm"], \(a\[NoBreak]b\)], ")"}], \(m - 2\)], ".", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Alpha]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox["\[CapitalDelta]", "TraditionalForm"]], SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Alpha]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{\(g\_s\), " ", RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Alpha]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b3", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["c12", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(b\[NoBreak]b3\[NoBreak]c12\)\)}]}], ")"}]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Cases2[%, QuantumField]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"{", RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Alpha]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b3", "TraditionalForm"], "TraditionalForm"]], ",", SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Beta]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b2", "TraditionalForm"], "TraditionalForm"]], ",", SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Gamma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c11", "TraditionalForm"], "TraditionalForm"]], ",", SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["c12", "TraditionalForm"], "TraditionalForm"]], ",", RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Alpha]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], ",", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Beta]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Gamma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], ",", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Gamma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Beta]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], ",", RowBox[{ SubscriptBox["\[PartialD]", FormBox["\[CapitalDelta]", "TraditionalForm"]], SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Alpha]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}]}], "}"}], TraditionalForm]], "Output"] }, Open ]], Cell["2-gluon Feynman rules (unpolarized)", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(fi = {\(QuantumField[GaugeField, {\[Mu]}, {a}]\)[ p], \(QuantumField[GaugeField, {\[Nu]}, {b}]\)[q]}\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"{", RowBox[{ RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], "(", "p", ")"}], ",", RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], "(", "q", ")"}]}], "}"}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(f2u = FullSimplify /@ Factor2[FeynRule[gou, fi, ZeroMomentumInsertion \[Rule] False]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ FractionBox["1", RowBox[{"2", " ", SuperscriptBox[ RowBox[{"(", FormBox[ RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}], "TraditionalForm"], ")"}], "2"], " ", SuperscriptBox[ RowBox[{"(", FormBox[ RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], "TraditionalForm"], ")"}], "2"]}]], RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox[ RowBox[{"(", FormBox[ RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], "TraditionalForm"], ")"}], "2"], " ", SuperscriptBox[ RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}], ")"}], "m"]}], "+", RowBox[{ SuperscriptBox[ RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], ")"}], "m"], " ", SuperscriptBox[ RowBox[{"(", FormBox[ RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}], "TraditionalForm"], ")"}], "2"]}]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox[ FormBox["q", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", SuperscriptBox[ FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}]}], "-", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Nu]\)\), " ", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], " ", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}]}], "+", RowBox[{ SuperscriptBox[ FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox[ FormBox["p", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}]}], "-", RowBox[{ SuperscriptBox[ FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ FormBox["p", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}]}]}], ")"}]}]}], ")"}], " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell["2-gluon Feynman rules (polarized)", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(fi = {\(QuantumField[GaugeField, {\[Mu]}, {a}]\)[ p], \(QuantumField[GaugeField, {\[Nu]}, {b}]\)[q]}\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"{", RowBox[{ RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], "(", "p", ")"}], ",", RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], "(", "q", ")"}]}], "}"}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(f2p = FullSimplify /@ Factor2[FeynRule[gop, fi, ZeroMomentumInsertion \[Rule] False]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"-", RowBox[{ FractionBox["1", RowBox[{ SuperscriptBox[ RowBox[{"(", FormBox[ RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}], "TraditionalForm"], ")"}], "2"], " ", SuperscriptBox[ RowBox[{"(", FormBox[ RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], "TraditionalForm"], ")"}], "2"]}]], RowBox[{"(", RowBox[{"\[ImaginaryI]", " ", RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox[ RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}], ")"}], "m"], " ", RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox["p", "TraditionalForm"], "\[NoBreak]", FormBox["q", "TraditionalForm"], "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}]], " ", SuperscriptBox[ FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox["q", "TraditionalForm"], "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}]], " ", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}]}]}], ")"}], " ", SuperscriptBox[ RowBox[{"(", FormBox[ RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], "TraditionalForm"], ")"}], "2"]}], "-", RowBox[{ SuperscriptBox[ RowBox[{"(", FormBox[ RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}], "TraditionalForm"], ")"}], "2"], " ", SuperscriptBox[ RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], ")"}], "m"], " ", RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox["p", "TraditionalForm"], "\[NoBreak]", FormBox["q", "TraditionalForm"], "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}]], " ", SuperscriptBox[ FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox["p", "TraditionalForm"], "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}]], " ", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}]}]}], ")"}]}]}], ")"}], " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Factor2[Calc[f2p /. p \[Rule] \(-q\)]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(-\[ImaginaryI]\), " ", \((1 - \((\(-1\))\)\^m)\), " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox["q", "TraditionalForm"], "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}]], " ", SuperscriptBox[ RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], ")"}], \(m - 1\)], " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell["\<\ Compare with the Feynman rule tabulated in \ Twist2GluonOperator.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(Twist2GluonOperator[q, {\[Mu], a}, {\[Nu], b}, Polarization \[Rule] 1, Explicit \[Rule] True]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", FormBox["q", "TraditionalForm"]}]], " ", RowBox[{"(", RowBox[{"1", "-", FormBox[\(\((\(-1\))\)\^m\), "TraditionalForm"]}], ")"}], " ", FormBox[ SuperscriptBox[ RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], ")"}], \(m - 1\)], "TraditionalForm"], " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell["quark-quark Feynman rule (unpolarized)", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(qo = Lagrangian["\"]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(\[ImaginaryI]\^m\), " ", RowBox[{ FormBox[\(\[Psi]\&_\), "TraditionalForm"], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}], ")"}], ".", SuperscriptBox[ SubscriptBox["D", FormBox["\[CapitalDelta]", "TraditionalForm"]], \(m - 1\)], ".", FormBox["\[Psi]", "TraditionalForm"]}]}], TraditionalForm]], "Output"] }, Open ]], Cell["quark-quark -gluon-gluon Feynman rule (unpolarized)", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(qo = Lagrangian["\"]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(\[ImaginaryI]\^m\), " ", RowBox[{ FormBox[\(\[Psi]\&_\), "TraditionalForm"], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}], ")"}], ".", SuperscriptBox[ SubscriptBox["D", FormBox["\[CapitalDelta]", "TraditionalForm"]], \(m - 1\)], ".", FormBox["\[Psi]", "TraditionalForm"]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(qggf = {\(QuantumField[QuarkField]\)[ p], \(QuantumField[AntiQuarkField]\)[ q], \(QuantumField[GaugeField, {\[Mu]}, {a}]\)[ r], \(QuantumField[GaugeField, {\[Nu]}, {b}]\)[s]}\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"{", RowBox[{ RowBox[{ FormBox["\[Psi]", "TraditionalForm"], "\[NoBreak]", "(", "\[NoBreak]", "p", "\[NoBreak]", ")"}], ",", RowBox[{ FormBox[\(\[Psi]\&_\), "TraditionalForm"], "\[NoBreak]", "(", "\[NoBreak]", "q", "\[NoBreak]", ")"}], ",", RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], "(", "r", ")"}], ",", RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], "(", "s", ")"}]}], "}"}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(n4 = FeynRule[qo, qggf, ZeroMomentumInsertion \[Rule] True]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(g\_s\%2\), " ", RowBox[{ SubscriptBox["T", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}], ")"}], ".", SubscriptBox["T", FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", RowBox[{"(", RowBox[{ FormBox[ TagBox[\(\[Sum]\+\(j = 0\)\%\(m - 3\)\*"\<\"\"\>"\), HoldForm], "TraditionalForm"], "\[NoBreak]", FormBox[\(\[Sum]\+\(i = 0\)\%j\*"\<\"\"\>"\), "TraditionalForm"], "\[NoBreak]", FormBox[ RowBox[{\(\((\(-1\))\)\^j\), " ", SuperscriptBox[ RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}], ")"}], \(\(-j\) + m - 3\)], " ", SuperscriptBox[ RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], ")"}], "i"], " ", SuperscriptBox[ RowBox[{"(", RowBox[{ RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], "+", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["s", "TraditionalForm"]}]}], ")"}], \(j - i\)]}], "TraditionalForm"]}], ")"}], " ", SuperscriptBox[ FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", SuperscriptBox[ FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{\(\((\(-1\))\)\^m\), " ", \(g\_s\%2\), " ", RowBox[{ SubscriptBox["T", FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}], ")"}], ".", SubscriptBox["T", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", RowBox[{"(", RowBox[{ FormBox[ TagBox[\(\[Sum]\+\(j = 0\)\%\(m - 3\)\*"\<\"\"\>"\), HoldForm], "TraditionalForm"], "\[NoBreak]", FormBox[\(\[Sum]\+\(i = 0\)\%j\*"\<\"\"\>"\), "TraditionalForm"], "\[NoBreak]", FormBox[ RowBox[{\(\((\(-1\))\)\^j\), " ", SuperscriptBox[ RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}], ")"}], "i"], " ", SuperscriptBox[ RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], ")"}], \(\(-j\) + m - 3\)], " ", SuperscriptBox[ RowBox[{"(", RowBox[{ RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}], "+", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["s", "TraditionalForm"]}]}], ")"}], \(j - i\)]}], "TraditionalForm"]}], ")"}], " ", SuperscriptBox[ FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", SuperscriptBox[ FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t4 = Twist2QuarkOperator[{p}, {q}, {r, \[Mu], a}, {s, \[Nu], b}, Polarization \[Rule] 0]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(-\((\(-1\))\)\^m\), " ", \(g\_s\%2\), " ", RowBox[{ RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["\[CapitalDelta]", "TraditionalForm"]}], ")"}], ".", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{ SubscriptBox["T", FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], ".", SubscriptBox["T", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", RowBox[{"(", RowBox[{ FormBox[ TagBox[\(\[Sum]\+\(i = 0\)\%\(m - 3\)\*"\<\"\"\>"\), HoldForm], "TraditionalForm"], "\[NoBreak]", FormBox[\(\[Sum]\+\(j = 0\)\%i\*"\<\"\"\>"\), "TraditionalForm"], "\[NoBreak]", FormBox[ RowBox[{ SuperscriptBox[ RowBox[{"(", RowBox[{"-", RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}], ")"}]}], ")"}], \(\(-i\) + m - 3\)], " ", SuperscriptBox[ RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], ")"}], "j"], " ", SuperscriptBox[ RowBox[{"(", RowBox[{ RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], "+", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["r", "TraditionalForm"]}]}], ")"}], \(i - j\)]}], "TraditionalForm"]}], ")"}]}], "+", RowBox[{ RowBox[{ SubscriptBox["T", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubscriptBox["T", FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", RowBox[{"(", RowBox[{ FormBox[ TagBox[\(\[Sum]\+\(i = 0\)\%\(m - 3\)\*"\<\"\"\>"\), HoldForm], "TraditionalForm"], "\[NoBreak]", FormBox[\(\[Sum]\+\(j = 0\)\%i\*"\<\"\"\>"\), "TraditionalForm"], "\[NoBreak]", FormBox[ RowBox[{ SuperscriptBox[ RowBox[{"(", RowBox[{"-", RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["p", "TraditionalForm"]}], ")"}]}], ")"}], \(\(-i\) + m - 3\)], " ", SuperscriptBox[ RowBox[{"(", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], ")"}], "j"], " ", SuperscriptBox[ RowBox[{"(", RowBox[{ RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], "+", RowBox[{ FormBox["\[CapitalDelta]", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["s", "TraditionalForm"]}]}], ")"}], \(i - j\)]}], "TraditionalForm"]}], ")"}]}]}], ")"}]}], " ", SuperscriptBox[ FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", SuperscriptBox[ FormBox["\[CapitalDelta]", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Calc[\(\(n4 - t4 /. OPEm \[Rule] 5\) /. s \[Rule] \(-p\) - q - r\) /. D \[Rule] 4]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`0\)], "Output"] }, Open ]], Cell["\<\ In general equality can be shown by Timing[Factor2[ \ FCE[Calc[ChangeDimension[FCE[OPESumExplicit[n4-t4]],4]/.s\[Rule]-p-q-r]]]] \ but it is a little bit slow ...\ \>", "Text"], Cell[BoxData[ \(Clear[qggf, n2, n4]\)], "Input"], Cell["QCD vertices", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(fii = {\(QuantumField[GaugeField, {\[Mu]}, {a}]\)[ p], \(QuantumField[GaugeField, {\[Nu]}, {b}]\)[ q], \(QuantumField[GaugeField, {\[Rho]}, {c}]\)[r]}\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"{", RowBox[{ RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], "(", "p", ")"}], ",", RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], "(", "q", ")"}], ",", RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], "(", "r", ")"}]}], "}"}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(g3 = FeynRule[Lagrangian["\"], fii]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(g\_s\), " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ SuperscriptBox[ FormBox["q", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "-", SuperscriptBox[ FormBox["r", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]]}], ")"}], " ", \(g\^\(\[Nu]\[NoBreak]\[Rho]\)\)}], "-", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Rho]\)\), " ", RowBox[{"(", RowBox[{ SuperscriptBox[ FormBox["p", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], "-", SuperscriptBox[ FormBox["r", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "+", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Nu]\)\), " ", RowBox[{"(", RowBox[{ SuperscriptBox[ FormBox["p", "TraditionalForm"], FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]], "-", SuperscriptBox[ FormBox["q", "TraditionalForm"], FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}]}], ")"}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(GluonVertex[{p, \[Mu], a}, {q, \[Nu], b}, {r, \[Rho], c}, Explicit \[Rule] True]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(g\_s\), " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"(", SuperscriptBox[ RowBox[{"(", FormBox[\(q - r\), "TraditionalForm"], ")"}], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ")"}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]}]], " ", RowBox[{"(", SuperscriptBox[ RowBox[{"(", FormBox[\(r - p\), "TraditionalForm"], ")"}], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], ")"}]}], "+", RowBox[{ SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]}]], " ", RowBox[{"(", SuperscriptBox[ RowBox[{"(", FormBox[\(p - q\), "TraditionalForm"], ")"}], FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]], ")"}]}]}], ")"}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Calc[g3 - ChangeDimension[%, 4]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`0\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(fi4 = {\(QuantumField[GaugeField, {\[Mu]}, {a}]\)[ p], \(QuantumField[GaugeField, {\[Nu]}, {b}]\)[ q], \(QuantumField[GaugeField, {\[Rho]}, {c}]\)[ r], \(QuantumField[GaugeField, {\[Sigma]}, {d}]\)[s]}\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"{", RowBox[{ RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], "(", "p", ")"}], ",", RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], "(", "q", ")"}], ",", RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], "(", "r", ")"}], ",", RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], "(", "s", ")"}]}], "}"}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(g4 = FeynRule[Lagrangian["\"], fi4]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ "\[ImaginaryI]", " ", \((g\^\(\[Mu]\[NoBreak]\[Rho]\)\ \ g\^\(\[Nu]\[NoBreak]\[Sigma]\) - g\^\(\[Mu]\[NoBreak]\[Nu]\)\ g\^\(\[Rho]\[NoBreak]\[Sigma]\))\), " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"]}]], " ", \(g\_s\%2\)}], "+", RowBox[{ "\[ImaginaryI]", " ", \((g\^\(\[Mu]\[NoBreak]\[Sigma]\)\ \ g\^\(\[Nu]\[NoBreak]\[Rho]\) - g\^\(\[Mu]\[NoBreak]\[Nu]\)\ g\^\(\[Rho]\[NoBreak]\[Sigma]\))\), " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"]}]], " ", \(g\_s\%2\)}], "+", RowBox[{ "\[ImaginaryI]", " ", \((g\^\(\[Mu]\[NoBreak]\[Sigma]\)\ \ g\^\(\[Nu]\[NoBreak]\[Rho]\) - g\^\(\[Mu]\[NoBreak]\[Rho]\)\ g\^\(\[Nu]\[NoBreak]\[Sigma]\))\), " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"]}]], " ", \(g\_s\%2\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(GluonVertex[{p, \[Mu], a}, {q, \[Nu], b}, {r, \[Rho], c}, {s, \[Sigma], d}, Explicit \[Rule] True]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(-\[ImaginaryI]\), " ", \(g\_s\%2\), " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]]}]}], ")"}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["u8", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["u8", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]}]]}]}], ")"}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["u8", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["u8", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]}]]}]}], ")"}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["u8", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["u8", "TraditionalForm"], "TraditionalForm"]}]]}]}], ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Calc[g4 - ChangeDimension[%, 4]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`0\)], "Output"] }, Open ]], Cell[BoxData[ \(Clear[f2p, f2u, f3, f32, fi, fi4, fii, g3, g4, gop, gou, n3, nf3, n4, np2, npf3, p33, pf3, pn3, pqo, qf, qp, qgf, qo, t4]\)], "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->{ "FeynRule"->{ Cell[1739, 51, 54, 1, 40, "Subsection", CellTags->"FeynRule"]} } *) (*CellTagsIndex CellTagsIndex->{ {"FeynRule", 73669, 2054} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[1739, 51, 54, 1, 40, "Subsection", CellTags->"FeynRule"], Cell[CellGroupData[{ Cell[1818, 56, 36, 0, 36, "Subsubsection"], Cell[1857, 58, 145, 3, 43, "Text"], Cell[CellGroupData[{ Cell[2027, 65, 50, 1, 31, "Input"], Cell[2080, 68, 514, 12, 83, "Output"] }, Open ]], Cell[2609, 83, 69, 0, 29, "Text"], Cell[2681, 85, 110, 3, 43, "Text"], Cell[2794, 90, 173, 8, 29, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[3004, 103, 33, 0, 36, "Subsubsection"], Cell[CellGroupData[{ Cell[3062, 107, 60, 1, 31, "Input"], Cell[3125, 110, 705, 17, 63, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3867, 132, 60, 1, 70, "Input"], Cell[3930, 135, 1172, 30, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[5139, 170, 46, 1, 70, "Input"], Cell[5188, 173, 5414, 144, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[10639, 322, 56, 1, 70, "Input"], Cell[10698, 325, 3595, 111, 70, "Output"] }, Open ]], Cell[14308, 439, 51, 0, 70, "Text"], Cell[CellGroupData[{ Cell[14384, 443, 143, 2, 70, "Input"], Cell[14530, 447, 892, 28, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[15459, 480, 147, 4, 70, "Input"], Cell[15609, 486, 6266, 151, 70, "Output"] }, Open ]], Cell[21890, 640, 49, 0, 70, "Text"], Cell[CellGroupData[{ Cell[21964, 644, 143, 2, 70, "Input"], Cell[22110, 648, 892, 28, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[23039, 681, 147, 4, 70, "Input"], Cell[23189, 687, 7642, 165, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[30868, 857, 71, 1, 70, "Input"], Cell[30942, 860, 1219, 34, 70, "Output"] }, Open ]], Cell[32176, 897, 89, 3, 70, "Text"], Cell[CellGroupData[{ Cell[32290, 904, 133, 2, 70, "Input"], Cell[32426, 908, 1388, 40, 70, "Output"] }, Open ]], Cell[33829, 951, 54, 0, 70, "Text"], Cell[CellGroupData[{ Cell[33908, 955, 59, 1, 70, "Input"], Cell[33970, 958, 677, 18, 70, "Output"] }, Open ]], Cell[34662, 979, 67, 0, 70, "Text"], Cell[CellGroupData[{ Cell[34754, 983, 59, 1, 70, "Input"], Cell[34816, 986, 677, 18, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[35530, 1009, 237, 4, 70, "Input"], Cell[35770, 1015, 1219, 36, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[37026, 1056, 92, 1, 70, "Input"], Cell[37121, 1059, 6248, 154, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[43406, 1218, 137, 3, 70, "Input"], Cell[43546, 1223, 6415, 142, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[49998, 1370, 124, 2, 70, "Input"], Cell[50125, 1374, 52, 1, 70, "Output"] }, Open ]], Cell[50192, 1378, 187, 4, 70, "Text"], Cell[50382, 1384, 52, 1, 70, "Input"], Cell[50437, 1387, 28, 0, 70, "Text"], Cell[CellGroupData[{ Cell[50490, 1391, 203, 3, 70, "Input"], Cell[50696, 1396, 1288, 40, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[52021, 1441, 74, 1, 70, "Input"], Cell[52098, 1444, 2584, 70, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[54719, 1519, 120, 2, 70, "Input"], Cell[54842, 1523, 2793, 78, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[57672, 1606, 65, 1, 70, "Input"], Cell[57740, 1609, 52, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[57829, 1615, 264, 4, 70, "Input"], Cell[58096, 1621, 1686, 52, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[59819, 1678, 74, 1, 70, "Input"], Cell[59896, 1681, 3616, 105, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[63549, 1791, 140, 2, 70, "Input"], Cell[63692, 1795, 8995, 224, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[72724, 2024, 65, 1, 70, "Input"], Cell[72792, 2027, 52, 1, 70, "Output"] }, Open ]], Cell[72859, 2031, 161, 2, 70, "Input"] }, Open ]] }, Open ]] } ] *) (*********************************************************************** End of Mathematica Notebook file. ***********************************************************************)