Name: V. Shtabovenko Date: 04/19/18-06:02:27 AM Z


Hi,

just add the option ToPaVe->True to TID.

MBOX = ChangeDimension[(1/(16 Pi^4)) TID[integrandBOX, k,
      UsePaVeBasis -> True, ToPaVe -> True], 4] // Simplify

that’s all. ToPaVe is also a separate function

?ToPaVe

ToPaVe[expr,q] converts all the scalar 1-loop integrals that depend on
the momentum q to scalar Passarino Veltman functions A0, B0, C0, D0 etc.

Cheers,
Vladyslav

Am 19.04.2018 um 06:54 schrieb Marco V:
> Hello,
>
> I am using FeynCalc 9.2.0 and I am trying to compute the amplitude for a box diagram in QED, but when I use TID to decompose the loop integral, it seems that FC does not convert a denominator into a PaVe scalar function.
>
> Setting the integrand
>
> numBOX = e^4 (SpinorUBarD[q1,
> m\[Mu]].GAD[\[Alpha]].(GSD[p1 - k] +
> m\[Mu]).GAD[\[Beta]].SpinorUD[p1, m\[Mu]] SpinorUBarD[q2,
> me].GAD[\[Alpha]].(GSD[k + p2] + me).GAD[\[Beta]].SpinorUD[p2,
> me]);
>
> integrandBOX =
> numBOX*FAD[{p1 - k, m\[Mu]}, {k + p2, me}, {k + p2 - q2,
> SmallVariable[\[Lambda]]}, {k, SmallVariable[\[Lambda]]}];
>
>
> and putting it in TID
>
> MBOX = ChangeDimension[(1/(16 Pi^4)) TID[integrandBOX, k,
> UsePaVeBasis -> True], 4] // Simplify
>
>
> the result I obtain is mostly in terms of D coefficient functions and independent from the loop momentum k (as I expect), but there is also a term
>
> -2 (me^2 + m\[Mu]^2 - s) Spinor[Momentum[q1], m\[Mu],
> 1].GA[\[Alpha]].Spinor[Momentum[p1], m\[Mu], 1] Spinor[
> Momentum[q2], me, 1].GA[\[Alpha]].Spinor[Momentum[p2], me,
> 1] FAD[{k, SmallVariable[\[Lambda]]}, {k + p1, m\[Mu]}, {k - p2,
> me}, {k - p2 + q2, SmallVariable[\[Lambda]]}, Dimension -> 4]
>
> which I understand should correspond to a D0 but it is not transformed in it.
>
> If I try to use TID on the last expression, it remains unchanged.
> If instead I use OneLoop it gives me exactly the D0 which I was looking for.
>
> I suppose the problem is related to the choice of dimension, but I don’t understand why the rest of the result is correctly in terms of PaVes. Can you explain what I am doing wrong?
>
> Many Thanks
>