8.7 Tensor Dummy Index Notation Role

Tensor Dummy Index Notation Role is the function performed by an index that appears exactly twice within a single term of a tensor expression, once as an upper index and once as a lower index, thereby triggering implicit summation under the Einstein summation convention and vanishing entirely from the final result, contributing no free slot to the tensor the expression produces.

Defining Property of a Dummy Index

Paired Occurrence in Opposite Variance

A dummy index is identified by appearing exactly twice within a term, with one occurrence in the upper position and the other in the lower position, unlike a free index, which occurs only once.

Here (i) occurs twice, once lower on (A) and once upper on (B), and is therefore a dummy index, implicitly summed over every admissible value, leaving (C) as a scalar with no remaining free index.

Implicit Summation

Under the Einstein summation convention, the appearance of a dummy index automatically implies summation over its full range, without an explicit summation symbol being written.

Role in Reducing Expression Rank

Consuming a Pair of Slots

Each dummy index consumes one upper slot and one lower slot from the tensors it links, so an expression that would otherwise carry a higher total rank has its effective rank reduced by two, one for the upper occurrence and one for the lower occurrence, for every dummy index present.

The dummy index (i) removes one slot from (A) and the single slot of (B), leaving only the free index (k), so the rank of the result is reduced relative to the combined rank of the original factors.

Local Scope

A dummy index has meaning only within the single term in which it appears; it carries no significance outside that term and does not need to relate in any way to a dummy index of the same name used in a different, unconnected term of the same larger expression.

Renaming Freedom of Dummy Indices

Silent Substitution

Because a dummy index is summed over and does not survive into the result, it may be renamed to any other symbol not already in use within the same term, without altering the value or meaning of the expression in any way.

This renaming freedom is frequently used to avoid symbol collisions when combining two separate expressions that happen to use the same dummy index letter for unrelated summations.

Distinguishing the Dummy Role from the Free Role

The dummy index notation role is therefore twofold: it is the mechanism by which the Einstein summation convention performs contraction without an explicit summation sign, and it is a purely local, renameable bookkeeping device whose only lasting effect on the final expression is the reduction in rank produced by pairing an upper and a lower slot across two tensor factors.