13.1.3 Tensor Order Reduction Scope

Tensor Order Reduction Scope is the specific form of tensor contraction scope that identifies exactly how much a tensor's order decreases as a result of one or more contractions, tracking the extent to which the removal of index pairs through summation lowers the total count of indices carried by the resulting tensor.

Order Reduction as a Consequence of Contraction

The Fixed Reduction of a Single Contraction

Every individual contraction removes exactly one contravariant index and one covariant index from the tensor it acts upon, so the scope of order reduction for a single contraction is fixed at a decrease of two in the total order of the tensor.

Distinguishing the Reduction from the Contraction Itself

While the general notion of contraction scope concerns which indices participate in a summation, order reduction scope concerns only the numerical consequence of that participation, namely how the total index count of the tensor changes as a result.

Order Reduction Across Multiple Contractions

Cumulative Reduction from Sequential Contractions

When several independent contractions are applied to the same tensor or expression, each acting on its own pair of indices, the total order reduction accumulates additively, with each contraction contributing a decrease of two to the overall order.

Here $k$ denotes the number of independent contractions applied, each summing over a distinct pair of indices.

Bound on the Number of Possible Contractions

The order reduction scope of a tensor is bounded by the number of available mixed index pairs that tensor possesses, since a contraction requires one contravariant and one covariant index, limiting the total possible reduction to twice the smaller of the counts of upper and lower indices present.

Endpoint of Order Reduction

Reduction Down to a Scalar

When a tensor possesses an equal number of contravariant and covariant indices, full and repeated contraction across all available pairs can reduce the tensor's order to zero, producing a scalar that carries no free indices and is invariant under any change of basis.

Residual Order When Reduction Is Partial

When only some available index pairs are contracted, or when a tensor's upper and lower index counts differ, order reduction scope leaves a nonzero residual order, with the remaining free indices retaining their original variance and dimension in the resulting tensor.

Order Reduction Scope Within Products of Tensors

Reduction Relative to the Combined Order of a Product

When contraction is applied to indices drawn from a product of two or more tensors, order reduction scope is measured relative to the combined order those tensors would have prior to any contraction, since the tensor product itself adds the orders of its factors before any reduction takes place.

Relationship to Other Aspects of Contraction Scope

Distinction from Index-Level Scope

Order reduction scope reports a single numerical outcome, the change in total order, whereas the more general contraction scope also tracks which specific indices are involved, so order reduction scope can be understood as a summary quantity derived from the more detailed index-level scope of the contractions applied.

Dependence on Verified Structural Compatibility

Order reduction scope presupposes that every contraction contributing to it has already satisfied the structural requirements of contraction, such as correct variance pairing, since an invalid contraction would not correspond to any well-defined reduction in order.

Relationship to Tensor Operation Notation

Order reduction scope is read directly from tensor operation notation by counting the repeated index symbols appearing as matched upper and lower pairs within an expression, since each such repeated pair corresponds to one contraction and therefore to one unit of the total order reduction reflected in the free indices remaining in the final notated result.