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)))