12.21.3 Tensor Operation Slot Verification

Tensor Operation Slot Verification ensures correct tensor slot operations by validating indices and dimensions in algebraic computations.

Tensor Operation Slot Verification is the check within the verification procedure that confirms each index position, or slot, referenced by a tensor operation actually exists on the tensor being acted upon and is being addressed in a manner consistent with the way that slot was declared, before the operation is permitted to proceed.

The Concept of a Slot

Slots as Named Index Positions

A tensor of a given order possesses a fixed number of index positions, each of which can be thought of as a slot capable of holding a specific index label, and each slot carries a fixed variance, either contravariant or covariant, determined when the tensor's type was established.

T_{j}^{i}

Slots as Distinct from Index Values

A slot refers to the position itself, such as "the first upper index" or "the second lower index," rather than to the particular value, such as a specific integer, that an index takes when a component is being referenced.

Purpose of Slot Verification

Confirming Existence of Referenced Slots

Slot verification confirms that an operation referencing a particular slot, for instance the slot to be contracted, is addressing a slot that actually exists on the tensor in question, rather than referring to a position beyond the tensor's order.

Confirming Consistent Slot Usage Across Operands

When an operation involves multiple tensors, slot verification confirms that slots identified as corresponding to one another, such as the slots being matched in an addition, are used consistently in position and role across all operands.

Slot Verification in Specific Operations

Slot Verification in Contraction

Contraction requires selecting one upper slot and one lower slot from a tensor's index positions, and slot verification confirms that both selected slots exist on the tensor and that one is genuinely contravariant while the other is genuinely covariant.

T_{j}^{i} \to \sum_{i = 1}^{n} T_{i}^{i}

Slot Verification in Addition

Addition requires that each slot of one operand be paired with a corresponding slot of the other operand occupying the same relative position, and slot verification confirms that no slot on either operand is left unmatched and that paired slots agree in variance.

Slot Verification in the Tensor Product

The tensor product introduces new slots formed by concatenating the slots of the two operand tensors, and slot verification in this context confirms that the resulting arrangement of slots preserves the original order and variance of each contributing slot without conflation.

Relationship to Other Verification Checks

Slot Verification as a Precondition for Dimension Checking

Because a dimension check applies to a specific slot, slot verification, which confirms that the slot exists and is correctly identified, is logically prior to any check of the dimension associated with that slot.

Slot Verification Compared to Type Verification

Slot verification concerns whether a referenced position exists and is correctly located on a tensor, while type verification concerns whether the variance of an already-located slot meets the requirement of the operation being performed; the two checks address related but distinct aspects of index correctness.

Relationship to Tensor Operation Notation

Slot verification depends on the fixed correspondence between index symbols and their positions established by tensor operation notation, since it is only through the notational convention of ordering upper and lower indices that a specific slot on a tensor can be unambiguously identified and checked for existence and correct usage.