PaVeLimitTo4
PaVeLimitTo4[expr]
simplifies products of
Passarino-Veltman functions and D-dependent prefactors by evaluating the
prefactors at D=4 and adding an extra
term from the product of (D−4) and the
UV pole of the Passarino-Veltman function.
This is possible because the UV poles of arbitrary Passarino-Veltman
functions can be determined via PaVeUVPart
. The result is
valid up to 0th order in Epsilon, i.e. it is sufficient for 1-loop
calculations.
Warning! This simplification always ignores possible IR poles of
Passarino-Veltman functions. Therefore, it can be used only if all IR
poles are regulated without using dimensional regularization (e.g. by
assigning gluons or photons a fake mass) or if it is known in advance
that the given expression is free of IR singularities.
The application of PaVeLimitTo4
is equivalent to using
the old OneLoop
routine with the flags
$LimitTo4
and $LimitTo4IRUnsafe
set to
True
.
See also
Overview, $LimitTo4.
Examples
ex = (D - 2)/(D - 3) A0[m^2]
PaVeLimitTo4[ex]
D−3(D−2)A0(m2)
2A0(m2)+2m2
Simplify the 1-loop amplitude for H→gg
ex = (-(1/((-2 + D) mH^2 mW sinW)) 2 I (-4 + D) e gs^2 mt^2 \[Pi]^2 B0[mH^2, mt^2, mt^2]
SD[Glu2, Glu3] (-2 SPD[k1, Polarization[k2, -I, Transversality -> True]]
SPD[k2, Polarization[k1, -I, Transversality -> True]] +
mH^2 SPD[Polarization[k1, -I, Transversality -> True],
Polarization[k2, -I, Transversality -> True]]) - 1/((-2 +
D) mH^2 mW sinW) I e gs^2 mt^2 (-2 mH^2 + D mH^2 -
8 mt^2) \[Pi]^2 C0[0, 0, mH^2, mt^2, mt^2, mt^2] SD[Glu2, Glu3] (-2 SPD[k1,
Polarization[k2, -I, Transversality -> True]] SPD[k2, Polarization[k1,
-I, Transversality -> True]] + mH^2 SPD[Polarization[k1, -I,
Transversality -> True], Polarization[k2, -I, Transversality -> True]]))
−(D−2)mH2mWsinW2iπ2(D−4)egs2mt2δGlu2Glu3B0(mH2,mt2,mt2)(mH2(ε∗(k1)⋅ε∗(k2))−2(k1⋅ε∗(k2))(k2⋅ε∗(k1)))−(D−2)mH2mWsinWiπ2egs2mt2(DmH2−2mH2−8mt2)δGlu2Glu3C0(0,0,mH2,mt2,mt2,mt2)(mH2(ε∗(k1)⋅ε∗(k2))−2(k1⋅ε∗(k2))(k2⋅ε∗(k1)))
mH2mWsinWiπ2egs2mt2(mH2−4mt2)δGlu2Glu3C0(0,0,mH2,mt2,mt2,mt2)(2(k1⋅εˉ∗(k2))(k2⋅εˉ∗(k1))−mH2(εˉ∗(k1)⋅εˉ∗(k2)))−mH2mWsinW2iπ2egs2mt2δGlu2Glu3(2(k1⋅εˉ∗(k2))(k2⋅εˉ∗(k1))−mH2(εˉ∗(k1)⋅εˉ∗(k2)))