Name: Vladyslav Shtabovenko Date: 08/21/17-03:37:07 AM Z


Same as before, without Explicit the input does not make sense

DiracTrace[
     ComplexConjugate[
      Explicit[QuarkPropagator[{p, m}], Dimension -> 4]]] /.
    DiracTrace -> TR // Contract // Simplify
DiracTrace[Explicit[QuarkPropagator[{p, m}], Dimension -> 4]] /.
    DiracTrace -> TR // Contract // Simplify

Am 20.08.2017 um 02:37 schrieb Maksym:
> By the way, Feynman rules tell me that there must be GS[k1+k2]+mp.
>
> Maybe similar question, but I don’t understand why the traces
>
> DiracTrace[ComplexConjugate[QuarkPropagator[{p, m}]]] /.
> DiracTrace -> TR // Contract // Simplify
> DiracTrace[QuarkPropagator[{p, m}]] /. DiracTrace -> TR //
> Contract // Simplify
>
> give similar results (4im/(p^2-m^2)), while they must be different because of the sign.
>