12.18.3 Tensor Operation Slot Compatibility

Tensor Operation Slot Compatibility ensures valid tensor operations by aligning indices, enabling correct mathematical interactions within algebraic structures.

Tensor Operation Slot Compatibility is the requirement that, when a tensor operation acts on specifically designated argument slots of one or more tensors — rather than on the tensors as undifferentiated wholes — the chosen slots be unambiguously identified, carry the variance required by the operation, and, when several slots from different tensors are involved simultaneously, be paired in a manner the operation's own definition actually supports. It is the finest-grained layer of the tensor operation compatibility framework, addressing not merely whether an operation applies to a tensor in general, but whether it applies validly to the exact slot or slots named in a specific instance of that operation.

Unambiguous Slot Identification

Numbering Slots of a Single Tensor

T_{j_{1} \dots j_{q}}^{i_{1} \dots i_{p}}

A mixed tensor of type (p,q) has p contravariant slots and q covariant slots, and any operation naming "the second contravariant slot" or "the first covariant slot" presupposes a fixed ordering of these slots. Slot compatibility begins with this ordering being fixed and agreed upon; without it, an instruction such as "contract the third index against the first" has no determinate meaning, since which physical slot counts as "third" depends entirely on the chosen ordering convention.

Distinguishing Slots of the Same Variance

When a tensor has several slots of the same variance — for instance, two contravariant slots in a type-(2,1) tensor — an operation acting on "one of the contravariant slots" must specify which one, since the two slots are generally not interchangeable unless the tensor happens to be symmetric in them. Slot compatibility requires this disambiguation whenever more than one candidate slot of the needed variance exists.

Variance Requirement on the Chosen Slot

Contraction Requires Opposite Variance on the Two Chosen Slots

C_{i, j} (T) = \sum_{k} T_{\dots k \dots (slot j)}^{\dots k \dots (slot i)}

Naming a contravariant slot i and a covariant slot j for contraction is slot-compatible precisely when slot i is indeed contravariant and slot j is indeed covariant; naming two slots of the same variance for contraction — two contravariant slots, say — has no corresponding well-defined summation, since there is no covariant partner among them to pair against either chosen slot.

Index Raising and Lowering Requires a Single Fixed Slot

Raising or lowering a specific index using a bilinear form (a metric) requires designating exactly one slot to convert, and that slot must have the variance opposite to the one it is being converted into: lowering converts a chosen contravariant slot into a covariant one, and this is only slot-compatible when the designated slot is indeed contravariant to begin with.

Pairing Compatibility Across Multiple Tensors

Matching Slots Between Two Tensors in a Combined Operation

\sum_{k} T^{k} S_{k}

An operation pairing a specific slot of one tensor T against a specific slot of another tensor S — such as evaluating a covector against a vector, or contracting a shared index across two separate tensors — is slot-compatible only when the designated slot of T and the designated slot of S have opposite variance and range over the same index set, so that the summation Σₖ TᵏSₖ is well-defined term by term.

Avoiding Accidental Slot Reuse

When an operation involves multiple simultaneous contractions on a single tensor or across several tensors, each contracted index label must be used for exactly one matched pair of slots; reusing the same summation index for two unrelated pairs of slots produces an expression in which it is no longer clear which slots are meant to be summed against which, violating slot compatibility even though every individual pairing might otherwise be valid in isolation.

Diagram of Slot Compatibility in a Contraction

Consequences of Slot Incompatibility

No Corresponding Summation Exists

Attempting to contract two slots of matching variance leaves no shared dual pairing to sum over, since the contraction formula's validity depends specifically on one slot's basis being the dual of the other's; without this duality, the expression Σₖ T...ₖ...ₖ... has no justification as an invariant, basis-independent quantity.

Ambiguous Instructions Undermine Reproducibility

An operation description that fails to number or otherwise uniquely identify which slot among several of the same variance is intended cannot be reproduced consistently, since two readers might reasonably select different slots satisfying the stated variance but producing different, inequivalent results.

Establishing Slot Compatibility in Practice

Fixing a Slot Ordering Convention Before Stating an Operation

Slot compatibility is most reliably established by fixing, at the outset, an explicit ordering convention for a tensor's contravariant and covariant slots — typically listing all contravariant indices before all covariant indices, or interleaving them in a stated fixed pattern — so that any subsequent reference to "the second slot" or "slot i" is unambiguous throughout a computation.

Verifying Variance Before Applying Slot-Specific Formulas

Before applying any operation that names specific slots, checking that each named slot has the variance the operation's formula requires — contravariant for a pullback substitution point, covariant for a pushforward substitution point, opposite variances for a chosen contraction pair — catches slot incompatibility before an invalid or ill-defined expression is carried further into a larger computation.