= "Gl -> Gl, YM+BGF, only UV divergences, 1-loop";
description If[ $FrontEnd === Null,
= False;
$FeynCalcStartupMessages Print[description];
];
If[ $Notebooks === False,
= False
$FeynCalcStartupMessages ];
= {"FeynArts"};
$LoadAddOns
<< FeynCalc`= 0;
$FAVerbose
[9, 3, 1]; FCCheckVersion
\text{FeynCalc }\;\text{10.0.0 (dev version, 2023-12-20 22:40:59 +01:00, dff3b835). For help, use the }\underline{\text{online} \;\text{documentation}}\;\text{, check out the }\underline{\text{wiki}}\;\text{ or visit the }\underline{\text{forum}.}
\text{Please check our }\underline{\text{FAQ}}\;\text{ for answers to some common FeynCalc questions and have a look at the supplied }\underline{\text{examples}.}
\text{If you use FeynCalc in your research, please evaluate FeynCalcHowToCite[] to learn how to cite this software.}
\text{Please keep in mind that the proper academic attribution of our work is crucial to ensure the future development of this package!}
\text{FeynArts }\;\text{3.11 (3 Aug 2020) patched for use with FeynCalc, for documentation see the }\underline{\text{manual}}\;\text{ or visit }\underline{\text{www}.\text{feynarts}.\text{de}.}
\text{If you use FeynArts in your research, please cite}
\text{ $\bullet $ T. Hahn, Comput. Phys. Commun., 140, 418-431, 2001, arXiv:hep-ph/0012260}
Nicer typesetting
MakeBoxes[mu, TraditionalForm] := "\[Mu]";
MakeBoxes[nu, TraditionalForm] := "\[Nu]";
= InsertFields[CreateTopologies[1, 1 -> 1, ExcludeTopologies -> {Tadpoles}],
diags {V[50, {a}]} -> {V[50, {b}]}, InsertionLevel -> {Classes},
-> FileNameJoin[{"QCDBGF", "QCDBGF"}],
Model -> FileNameJoin[{"QCDBGF", "QCDBGF"}],
GenericModel -> {F[_]}];
ExcludeParticles
[diags, ColumnsXRows -> {2, 2}, Numbering -> Simple,
Paint-> None, ImageSize -> {512, 512}]; SheetHeader
The 1/(2Pi)^D prefactor is implicit.
[0] = FCFAConvert[CreateFeynAmp[diags, Truncated -> True, GaugeRules -> {},
amp-> 1], IncomingMomenta -> {p}, OutgoingMomenta -> {p}, LoopMomenta -> {l},
PreFactor -> {mu, nu}, UndoChiralSplittings -> True,
LorentzIndexNames -> D, List -> True, SMP -> True, DropSumOver -> True,
ChangeDimension -> {SMP["m_u"] -> SMP["m_q"],
FinalSubstitutions [V[5, {_}]] :> GaugeXi[G]}]; GaugeXi
[1] = DiracSimplify /@ amp[0]; amp
[2] = SUNSimplify[TID[#, l, ToPaVe -> True]] & /@ amp[1]; amp
Discard all the finite pieces of the 1-loop amplitude.
[0] = PaVeUVPart[#, Prefactor -> 1/(2 Pi)^D] & /@ amp[2] ampDiv
\left\{0,0,\frac{i 2^{1-D} \pi ^{2-D} C_A g_s^2 \delta ^{ab} \left(p^{\mu } p^{\nu }-p^2 g^{\mu \nu }\right)}{(D-4) (D-1)},\frac{i 2^{-D-1} \pi ^{2-D} C_A g_s^2 \left(\xi _G^2+6 \xi _G+33\right) \delta ^{ab} \left(p^{\mu } p^{\nu }-p^2 g^{\mu \nu }\right)}{(D-4) (D-1)}\right\}
[1] = FCReplaceD[ampDiv[0], D -> 4 - 2 Epsilon] //
ampDivSeries[#, {Epsilon, 0, -1}] & // Normal // Simplify
\left\{0,0,-\frac{i C_A g_s^2 \delta ^{ab} \left(p^{\mu } p^{\nu }-p^2 g^{\mu \nu }\right)}{48 \pi ^2 \varepsilon },-\frac{i C_A g_s^2 \left(\xi _G^2+6 \xi _G+33\right) \delta ^{ab} \left(p^{\mu } p^{\nu }-p^2 g^{\mu \nu }\right)}{192 \pi ^2 \varepsilon }\right\}
= {
knownResult 0,
0,
I CA SMP["g_s"]^2 SUNDelta[a, b]/(4 Pi)^2 (1/(3 Epsilon))*
[mu, nu] SPD[p] - FVD[p, mu] FVD[p, nu]),
(MTDI CA SMP["g_s"]^2 SUNDelta[a, b]/(4 Pi)^2 (10/(3 Epsilon))*
[mu, nu] SPD[p] - FVD[p, mu] FVD[p, nu])
(MTD} // FCI;
[ampDiv[1] /. GaugeXi[G] -> 1, knownResult,
FCCompareResultsText -> {"\tCompare to Abbott, Nucl. Phys. B 185 (1981) 189-203, Eqs 5.11-5.12:",
"CORRECT.", "WRONG!"}, Interrupt -> {Hold[Quit[1]], Automatic}];
Print["\tCPU Time used: ", Round[N[TimeUsed[], 4], 0.001], " s."];
\text{$\backslash $tCompare to Abbott, Nucl. Phys. B 185 (1981) 189-203, Eqs 5.11-5.12:} \;\text{CORRECT.}
\text{$\backslash $tCPU Time used: }27.441\text{ s.}