13.19.2 Tensor Contraction Kronecker Delta Simplification

Tensor contraction simplifies expressions using the Kronecker delta, reducing complex tensor products to scalar values through index summation and identity properties.

Tensor Contraction Kronecker Delta Simplification is the specific simplification pattern in which a contraction between an arbitrary tensor and a Kronecker delta is rewritten by substituting the delta's free index directly in place of the contracted index, eliminating the delta symbol entirely from the expression without performing any explicit summation arithmetic.

Definition

The Kronecker delta, defined by the property that it equals one when its two indices coincide and zero otherwise, satisfies the substitution identity when contracted against any tensor:

δ_{a}^{b} V^{a} = V^{b}

The simplification replaces the left-hand expression, involving an explicit contraction against the delta, with the right-hand expression, in which the tensor's original index has simply been renamed to match the delta's other index.

Why the Substitution Holds

Sifting Property

Summing over the shared index $a$ , only the single term where $a = b$ contributes, since every other term is multiplied by zero:

\sum_{a} δ_{a}^{b} V^{a} = V^{b}

This sifting behavior is the algebraic reason the delta can be eliminated: the sum collapses to a single surviving term rather than requiring genuine accumulation across the full index range.

No Computation Required

Unlike a general contraction, which requires summing potentially many nonzero products, delta simplification requires no arithmetic at all beyond the index substitution itself, since the delta's structure guarantees the result in advance.

Extended Cases

Delta Contracted on Both Sides

When a delta appears contracted against two different tensors simultaneously, the simplification is applied once per contracted pair, in either order, since the two substitutions do not interfere with one another:

δ_{a}^{b} δ_{b}^{c} = δ_{a}^{c}

Self-Contracted Delta

A delta contracted against itself over both indices produces the dimension of the space rather than a substitution, since every diagonal term contributes exactly one:

δ_{a}^{a} = n

Diagram

Role Within the Simplification Procedure

Kronecker delta simplification is applied as the second recognized pattern within the broader tensor contraction simplification procedure, following dummy index removal, and it is often the single most productive simplification step available, since deltas arise frequently as byproducts of metric raising and lowering operations and their removal directly shortens the resulting expression without any loss of information.