0
$\begingroup$

If I have:

$Tr(\gamma^{\mu}\gamma^{\alpha}\gamma^{\nu}\gamma^{\beta}\gamma^{\rho}\gamma^{\gamma}\gamma^{\sigma}\gamma^{\delta})$

and I want to get it re-ordered like

$Tr(\gamma^{\alpha}\gamma^{\beta}\gamma^{\gamma}\gamma^{\delta}\gamma^{\mu}\gamma^{\nu}\gamma^{\rho}\gamma^{\sigma}) + something, $

what should I do? Is there any "fast" trick to compute that?

$\endgroup$

closed as off-topic by Kyle Kanos, honeste_vivere, ZeroTheHero, sammy gerbil, Qmechanic Sep 1 '17 at 15:25

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "Homework-like questions should ask about a specific physics concept and show some effort to work through the problem. We want our questions to be useful to the broader community, and to future users. See our meta site for more guidance on how to edit your question to make it better" – Kyle Kanos, ZeroTheHero, sammy gerbil, Qmechanic
If this question can be reworded to fit the rules in the help center, please edit the question.

  • 1
    $\begingroup$ That might be more appropriate to the Mathematics . $\endgroup$ – stafusa Aug 30 '17 at 16:35
  • $\begingroup$ Tricks aside, you do know how to utilize the Clifford algebra to move such matrices around, right? $\endgroup$ – Cosmas Zachos Aug 30 '17 at 16:43
  • $\begingroup$ Yes, I do. I tried to use the anticommutation rule, but too many terms appear. I thought there was a simpler way. $\endgroup$ – LorisAm Aug 30 '17 at 16:47
1
$\begingroup$

This is hard work by hand as you have to repeatedly apply the commutators, multiplying the terms. Nowadays everybody uses a computer algebra system for this chore. The most used is FeynCalc. It took me 5s by typing the following Mathematica code

GA[:mu:, :alpha:, :nu:, :beta:, :rho:, :gamma:, :sigma:, :delta:]
DiracOrder[%]

to get the following result (it works as simply because you wanted to re-order the indices alphabetically, otherwise it would have taken a few more steps, by first replacing the indices by a,b,c,... for example, then reorder, and then replace back).

$$\begin{align} \bar{\gamma }^{\mu }&.\bar{\gamma }^{\alpha }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\sigma }.\bar{\gamma }^{\delta }\\ &= \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma }+2 \bar{g}^{\alpha \mu } \bar{\gamma }^{\beta }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma }\\ &-2 \bar{g}^{\beta \mu } \bar{\gamma }^{\alpha }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma }+2 \bar{g}^{\beta \nu } \bar{\gamma }^{\alpha }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } -4 \bar{\gamma }^{\gamma }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\beta \nu } \bar{g}^{\alpha \mu }\\ &+4 \bar{\gamma }^{\beta }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \nu } \bar{g}^{\alpha \mu }-4 \bar{\gamma }^{\beta }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \nu } \bar{g}^{\alpha \mu }-8 \bar{\gamma }^{\delta }.\bar{\gamma }^{\sigma } \bar{g}^{\beta \nu } \bar{g}^{\gamma \rho } \bar{g}^{\alpha \mu }\\ &+8 \bar{\gamma }^{\beta }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \nu } \bar{g}^{\gamma \rho } \bar{g}^{\alpha \mu }-4 \bar{\gamma }^{\beta }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \rho } \bar{g}^{\alpha \mu }+8 \bar{\gamma }^{\gamma }.\bar{\gamma }^{\sigma } \bar{g}^{\beta \nu } \bar{g}^{\delta \rho } \bar{g}^{\alpha \mu }\\ &-8 \bar{\gamma }^{\beta }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \nu } \bar{g}^{\delta \rho } \bar{g}^{\alpha \mu }+4 \bar{\gamma }^{\beta }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \rho } \bar{g}^{\alpha \mu }-8 \bar{\gamma }^{\gamma }.\bar{\gamma }^{\rho } \bar{g}^{\beta \nu } \bar{g}^{\delta \sigma } \bar{g}^{\alpha \mu }\\ &+8 \bar{\gamma }^{\beta }.\bar{\gamma }^{\rho } \bar{g}^{\gamma \nu } \bar{g}^{\delta \sigma } \bar{g}^{\alpha \mu }+16 \bar{g}^{\beta \nu } \bar{g}^{\gamma \rho } \bar{g}^{\delta \sigma } \bar{g}^{\alpha \mu }-8 \bar{\gamma }^{\beta }.\bar{\gamma }^{\nu } \bar{g}^{\gamma \rho } \bar{g}^{\delta \sigma } \bar{g}^{\alpha \mu }\\ &-4 \bar{\gamma }^{\beta }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\rho } \bar{g}^{\delta \sigma } \bar{g}^{\alpha \mu }+2 \bar{\gamma }^{\beta }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\alpha \mu }-4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \nu } \bar{g}^{\beta \mu }\\ &-8 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \rho } \bar{g}^{\delta \nu } \bar{g}^{\beta \mu }+4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \nu } \bar{g}^{\beta \mu }+4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \rho } \bar{g}^{\beta \mu }\\ &+8 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \nu } \bar{g}^{\delta \rho } \bar{g}^{\beta \mu }-4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \rho } \bar{g}^{\beta \mu }-8 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\rho } \bar{g}^{\gamma \nu } \bar{g}^{\delta \sigma } \bar{g}^{\beta \mu }\\ &+8 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\nu } \bar{g}^{\gamma \rho } \bar{g}^{\delta \sigma } \bar{g}^{\beta \mu }+4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\rho } \bar{g}^{\delta \sigma } \bar{g}^{\beta \mu }-2 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\beta \mu }\\ &+4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\beta \nu } \bar{g}^{\gamma \mu }-4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \nu } \bar{g}^{\gamma \mu }+4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \rho } \bar{g}^{\gamma \mu }\\ &+8 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\rho } \bar{g}^{\beta \nu } \bar{g}^{\delta \sigma } \bar{g}^{\gamma \mu }-4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\rho } \bar{g}^{\delta \sigma } \bar{g}^{\gamma \mu }+2 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \mu }\\ &+4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \nu } \bar{g}^{\delta \mu }+8 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\sigma } \bar{g}^{\beta \nu } \bar{g}^{\gamma \rho } \bar{g}^{\delta \mu }-2 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \mu }\\ &-4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \mu } \bar{g}^{\beta \nu }-4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \rho } \bar{g}^{\beta \nu }-8 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \mu } \bar{g}^{\delta \rho } \bar{g}^{\beta \nu }\\ &+4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \rho } \bar{g}^{\beta \nu }-8 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\mu } \bar{g}^{\gamma \rho } \bar{g}^{\delta \sigma } \bar{g}^{\beta \nu }-4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\rho } \bar{g}^{\delta \sigma } \bar{g}^{\beta \nu }\\ &+2 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\beta \nu }-4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \rho } \bar{g}^{\gamma \nu }+4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\rho } \bar{g}^{\delta \sigma } \bar{g}^{\gamma \nu }\\ &-2 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \nu }+4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \rho } \bar{g}^{\delta \nu }+2 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \nu }\\ &-4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \mu } \bar{g}^{\gamma \rho }-4 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\nu } \bar{g}^{\delta \sigma } \bar{g}^{\gamma \rho }+2 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\sigma } \bar{g}^{\gamma \rho }\\ &-2 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\sigma } \bar{g}^{\delta \rho }+2 \bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\rho } \bar{g}^{\delta \sigma }+\bar{\gamma }^{\alpha }.\bar{\gamma }^{\beta }.\bar{\gamma }^{\gamma }.\bar{\gamma }^{\delta }.\bar{\gamma }^{\mu }.\bar{\gamma }^{\nu }.\bar{\gamma }^{\rho }.\bar{\gamma }^{\sigma } \end{align}$$

$\endgroup$
  • $\begingroup$ Sorry, I had read your question too quickly: I edited my answer to answer your re-ordering. $\endgroup$ – user154997 Aug 30 '17 at 17:37

Not the answer you're looking for? Browse other questions tagged or ask your own question.