Name: Nikita Belyaev Date: 08/08/15-02:25:32 AM Z


Dear Vladyslav,

Sorry for such a late reply, we’ve been investigating the problem in much more details.

Looks like it is some kind of a general problem.

The most illustrating example is the following.
To calculate the multiplication of traces of gamma matrices we can use one useful formula. Let’s write it in the following way:

Tr[A.GA[a].GS[k].GA[b].(1-GA[5])].Tr[B.GA[b].GS[p].GA[a].(1-GA[5])]=4*Tr[A.GS[p].(1-GA[5])]*Tr[B.GS[k].(1-GA[5])],

where A and B are any possible combinations of gamma matrices, p and k - Feynman slashed 4-vectors.
The proof of the general case can be founded in special literature, but we’ve proved this formula for the cases when both A and B are sets of three and one gamma matrices (for example, A=GA[a].GA[b].GA[c] and A=GA[a] respectively).

We’ve checked this formula in FeynCalc and calculated the difference between left and right part of this equation and we got zero answer for the case when A and B contains only one gamma matrix.
Then we’ve checked the same for the case when A and B are sets of three gamma matrices. In this case we got the imaginary answer which looks the same as the imaginary part in our previous trace calculation. Real part was zero.

According to our calculation of u^3 terms we also have done some checks. Our initial general calculation, as you know, contains the imaginary terms proportional to u^3.
But when we simplified the related expressions by hand and reduced the amount of gamma matrices by using few mathematical tricks the result no longer contains the imaginary part.
We can provide you a working example of that if you are going to re-check this.

So the problem should be hidden somewhere here, calculation of long chain of gamma matrices causes this bug.

Should we contact the FORM developers or you have some better ideas?

Best Regards,
Nikita Belyaev