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.
ex = (D - 2)/(D - 3) A0[m^2]
PaVeLimitTo4[ex]\frac{(D-2) \;\text{A}_0\left(m^2\right)}{D-3}
2 \;\text{A}_0\left(m^2\right)+2 m^2
Simplify the 1-loop amplitude for H \to g g
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]]))-\frac{2 i \pi ^2 (D-4) e \;\text{gs}^2 \;\text{mt}^2 \delta ^{\text{Glu2}\;\text{Glu3}} \;\text{B}_0\left(\text{mH}^2,\text{mt}^2,\text{mt}^2\right) \left(\text{mH}^2 \left(\varepsilon ^*(\text{k1})\cdot \varepsilon ^*(\text{k2})\right)-2 \left(\text{k1}\cdot \varepsilon ^*(\text{k2})\right) \left(\text{k2}\cdot \varepsilon ^*(\text{k1})\right)\right)}{(D-2) \;\text{mH}^2 \;\text{mW} \;\text{sinW}}-\frac{i \pi ^2 e \;\text{gs}^2 \;\text{mt}^2 \left(D \;\text{mH}^2-2 \;\text{mH}^2-8 \;\text{mt}^2\right) \delta ^{\text{Glu2}\;\text{Glu3}} \;\text{C}_0\left(0,0,\text{mH}^2,\text{mt}^2,\text{mt}^2,\text{mt}^2\right) \left(\text{mH}^2 \left(\varepsilon ^*(\text{k1})\cdot \varepsilon ^*(\text{k2})\right)-2 \left(\text{k1}\cdot \varepsilon ^*(\text{k2})\right) \left(\text{k2}\cdot \varepsilon ^*(\text{k1})\right)\right)}{(D-2) \;\text{mH}^2 \;\text{mW} \;\text{sinW}}
PaVeLimitTo4[ex]\frac{i \pi ^2 e \;\text{gs}^2 \;\text{mt}^2 \left(\text{mH}^2-4 \;\text{mt}^2\right) \delta ^{\text{Glu2}\;\text{Glu3}} \;\text{C}_0\left(0,0,\text{mH}^2,\text{mt}^2,\text{mt}^2,\text{mt}^2\right) \left(2 \left(\overline{\text{k1}}\cdot \bar{\varepsilon }^*(\text{k2})\right) \left(\overline{\text{k2}}\cdot \bar{\varepsilon }^*(\text{k1})\right)-\text{mH}^2 \left(\bar{\varepsilon }^*(\text{k1})\cdot \bar{\varepsilon }^*(\text{k2})\right)\right)}{\text{mH}^2 \;\text{mW} \;\text{sinW}}-\frac{2 i \pi ^2 e \;\text{gs}^2 \;\text{mt}^2 \delta ^{\text{Glu2}\;\text{Glu3}} \left(2 \left(\overline{\text{k1}}\cdot \bar{\varepsilon }^*(\text{k2})\right) \left(\overline{\text{k2}}\cdot \bar{\varepsilon }^*(\text{k1})\right)-\text{mH}^2 \left(\bar{\varepsilon }^*(\text{k1})\cdot \bar{\varepsilon }^*(\text{k2})\right)\right)}{\text{mH}^2 \;\text{mW} \;\text{sinW}}