13.13.3 Tensor Contraction Pair Dimension Match

Tensor Contraction Pair Dimension Match is the specific verification, performed during contraction pair selection, that the contravariant slot and covariant slot chosen for a contraction both range over vector spaces of identical dimension, serving as the concrete check applied to a particular selected pair rather than the general compatibility requirement stated in the abstract. It denotes the act of confirming this dimensional agreement for the pair actually chosen, forming the final validation step that completes the pair selection process before summation may proceed.

Conceptual Basis

Verification as the Final Step of Selection

After a contravariant slot and a covariant slot have been designated as candidates for a contraction pair, dimension match is the confirmation that these two specific slots share the same underlying dimension, without which the selected pair cannot actually support a well-defined contraction.

Distinguishing the Check From the General Requirement

While index compatibility describes, in general terms, the requirement that any covariant contravariant pairing must share a dimension, the dimension match specifically refers to the applied verification carried out on the particular pair selected during a specific instance of pair selection.

A Pass or Fail Condition on the Selection

Dimension match functions as a binary condition on any given selected pair: either the two chosen slots agree in dimension, permitting the contraction to proceed, or they do not, in which case the selected pairing must be rejected or revised before any summation is attempted.

Formal Description

Stating the Match Condition

For a contravariant slot ranging over dimension $$m$$ and a covariant slot ranging over dimension $$n$$, both selected as part of a single contraction pair, the dimension match condition requires:

before the pair can be treated as valid for contraction.

Applying the Check to a Concrete Selection

Given a tensor $$T_{kl}^{ij}$$ where indices $$i,j$$ range over an $$m$$-dimensional space and indices $$k,l$$ range over an $$n$$-dimensional space, selecting the pair $$(i,k)$$ for contraction requires checking specifically that $$m=n$$, independent of whether other pairs on the same tensor, such as $$(j,l)$$, would satisfy the same or a different match condition.

Consequence of a Successful Match

Once dimension match is confirmed for a selected pair, the contraction may proceed by identifying the two slots as a single shared index and applying the covariant contravariant summation rule over the common range established by the matched dimension.

Properties

Independence Across Different Pair Selections

Because dimension match applies to a specific selected pair, a tensor with multiple indices of each variance may exhibit dimension match for some possible pair selections while failing to exhibit it for others, particularly when indices of differing dimension coexist on the same tensor.

Necessity Prior to Any Summation

Dimension match must be confirmed before summation is attempted, since proceeding to sum over a pair lacking dimensional agreement produces no well-defined result and represents an invalid application of the contraction operation.

Sufficiency Together With Variance Matching

Dimension match, combined with the separate requirement that the selected slots have opposite variance, together constitute the complete set of conditions necessary and sufficient for a given pair selection to support a valid contraction.

Practical Considerations

Routine Verification in Complex Tensor Expressions

In tensor expressions involving several indices of potentially differing dimension, explicitly verifying dimension match for each intended contraction pair is a standard and necessary precaution against constructing an invalid or undefined operation.

Relevance to Mixed-Dimensional Tensor Products

When tensors originating from vector spaces of different dimension are combined within a single expression, dimension match becomes an active constraint determining which specific pairs among the available indices can be validly selected for contraction, ruling out others despite otherwise correct variance.

Diagnostic Role in Debugging Computations

A failure of dimension match during an attempted contraction typically indicates an error either in the construction of the tensors involved or in the specific pair selected, making this check a useful diagnostic tool when troubleshooting an incorrectly specified tensor computation.