Physics[Trace] - calculate the trace of noncommutative or anticommutative objects, including products of Dirac and Pauli matrices
|
Calling Sequence
|
|
Trace(f)
Trace(f, onlymatrices = ..., ismatricialexpression = ...)
|
|
Parameters
|
|
f
|
-
|
any algebraic expression, relation, or set, list or rtable of them
|
onlymatrices
|
-
|
optional, the right hand side can be true (default value) or false, to consider as scalars everything but the algebraic representation for Dirac (Dgamma) and Pauli (Psigma) matrices as tensors of one index, or objects explicitly of type matrix or Matrix (Array)
|
ismatricialexpression
|
-
|
optional, the right hand side can be true, false or "unknown",
|
|
|
|
|
Description
|
|
•
|
The Trace command represents and when possible computes the generalized trace of an object. The %Trace command is the inert form of Trace; that is, it represents the same mathematical operation, while displaying the operation unevaluated. To evaluate the operation, use the value command.
|
•
|
When tracing an algebraic expression, Trace considers as scalars everything but the Physics algebraic representation for Dirac (Dgamma) and Pauli (Psigma) matrices as tensors of one index, or objects that are of type matrix or Matrix (Array). This default is convenient in formulations in particle physics. This behavior, however, can be changed so that everything but constants are considered traceable objects - for instance any quantum operator set with Setup - for this purpose either pass the optional argument onlymatrices = false or set this behavior to be the default using Setup with its keyword onlymatrices = false.
|
•
|
When tracing an algebraic expression, if the expression is polynomial in Dirac matrices, Trace considers all the expression as matricial, so that every term not containing Dirac matrices is assumed to have as implicit factor the identity matrix. For example, in , the term is assumed to have the identity matrix as a factor.
|
•
|
The result returned by Trace when onlymatrices = false is built as follows:
|
–
|
If is a constant, then return .
|
–
|
If is a single matrix, then return the trace of .
|
–
|
If is a (noncommutative) product, then
|
–
|
If all of the operands are anticommutative, then
|
–
|
If the number of operands is even, then return 0.
|
–
|
Otherwise, return the Trace after normalizing the product.
|
–
|
If there are constants in the operands, then return the constants times the Trace of the rest.
|
–
|
If is a (commutative) product, then return the constants times the Trace of the rest.
|
–
|
If is a sum, not just of noncommutative objects, distribute Trace according to:.
|
–
|
For all other cases, return the unevaluated expression, .
|
•
|
The Trace of a product of Dirac matrices is based on their anticommutation relation , where g_ is the metric, and the formula is valid in 2, 3, and 4 dimensions. Thus, traces of products of an odd number of Dirac matrices are always equal to zero, while traces of an even number ( ) of them can be expressed as a sum of terms of the form , , with the sign of each term being determined by whether the permutation of indices, from to , is odd or even.
|
|
|
Examples
|
|
>
|
|
| (1) |
First, set prefixes identifying anticommutative and noncommutative variables.
>
|
|
| (2) |
Compute some traces of expressions involving constants and commutative, anticommutative, and noncommutative variables.
The Trace of the product of an even number of anticommutative elements is zero.
>
|
|
>
|
|
Products of Dirac matrices and Pauli matrices:
>
|
|
>
|
|
>
|
|
| (15) |
Mixed products involving constants, variables, Dirac matrices, or Pauli matrices:
>
|
|
>
|
|
>
|
|
>
|
|
| |
| (25) |
>
|
|
Traces of algebraic expressions involving contracted products of tensors
>
|
|
| |
| |
| |
| (28) |
>
|
|
| (29) |
>
|
|
| (30) |
>
|
|
| (32) |
| (33) |
|
|
See Also
|
|
Dgamma, Physics, Physics conventions, Physics examples, Physics Updates, Tensors - a complete guide, Mini-Course Computer Algebra for Physicists, Physics[*], Physics[Library], Psigma, Setup
|
|