13.19.4 Tensor Contraction Symmetry Simplification

Tensor Contraction Symmetry Simplification leverages algebraic symmetry to reduce complex tensor expressions, streamlining calculations in physics and mathematics.

Tensor Contraction Symmetry Simplification is the simplification pattern in which a contraction between a tensor symmetric in a given index pair and a tensor antisymmetric in the matching index pair is recognized and replaced directly by zero, exploiting the structural incompatibility between the two symmetry types without requiring any numerical evaluation of the sum.

Definition

If $S$ is symmetric under exchange of a pair of indices, meaning $S^{a b} = S^{b a}$ , and $A$ is antisymmetric under exchange of the matching pair, meaning $A_{a b} = - A_{b a}$ , then the full contraction over both indices vanishes:

S^{a b} A_{a b} = 0

Proof of the Vanishing Result

Relabeling Argument

Renaming the dummy indices $a$ and $b$ in the sum, which is always permitted for dummy indices, gives:

S^{a b} A_{a b} = S^{b a} A_{b a}

Applying the symmetry of $S$ and the antisymmetry of $A$ to the right-hand side yields:

S^{b a} A_{b a} = S^{a b} (- A_{a b})

so the original quantity equals its own negative, forcing it to be zero.

Scope of Applicability

Partial Symmetry Sufficient

The result holds even if $S$ or $A$ carries additional free indices beyond the contracted pair, or additional symmetry properties in other index positions, so long as the specific contracted pair exhibits full symmetry in one factor and full antisymmetry in the other.

Non-Applicability to Partial Symmetrization

If a tensor is neither purely symmetric nor purely antisymmetric in the relevant pair, but only partially so, the simplification does not directly apply, and the tensor must first be decomposed into its symmetric and antisymmetric parts before the pattern can be used on each part separately.

T [ab] = T_{(a b)} + T_{[a b]}

Diagram

Role Within the Simplification Procedure

Symmetry simplification is the third recognized pattern in the tensor contraction simplification procedure, applied after dummy index removal and delta elimination, and it is particularly valuable for eliminating entire terms from a longer sum without any arithmetic evaluation, often revealing that a seemingly complicated expression reduces immediately to zero once the symmetry properties of its constituent tensors are examined.