13.4.4 Tensor Single Contraction Type Effect
Tensor Single Contraction Type Effect involves contracting a single index in a tensor, reducing its rank and altering its structure through index pairing.
Tensor Single Contraction Type Effect is the specific consequence a single index contraction operation has on a tensor's type, expressed as the paired counts of its contravariant and covariant indices, describing how one application of the operation shifts those two counts each by exactly one.
The Effect Stated Precisely
Reduction of Both Type Components by One
A single index contraction operation transforms a tensor of type into a tensor of type , since the operation removes exactly one contravariant index and exactly one covariant index in a single application.
Symmetry of the Effect on Both Index Categories
The type effect treats the contravariant and covariant counts symmetrically, decreasing each by exactly the same amount, which reflects the requirement that the contracted slot pair always consist of one index from each category rather than two from the same category.
Applicability Condition Following from the Effect
Requirement of a Nonzero Count in Each Category
Because the single index contraction type effect subtracts one from each of the two type components, the operation can only be applied to a tensor whose type already has both components at least one, since subtracting one from a count of zero would not correspond to a meaningful type.
Boundary Reached at Type Zero in Either Component
Once repeated application of the operation reduces either the contravariant or covariant count to zero, the single index contraction type effect can no longer be applied, since no further slot of the now-absent category remains available to pair with the other.
Type Effect Compared to Order Effect
Order as the Sum of Type Components
Since a tensor's order equals the sum of its contravariant and covariant counts, the type effect of subtracting one from each component directly implies the more commonly cited order effect of a total reduction by two.
Additional Information Carried by the Type Effect
While order alone reports only the total reduction, the type effect additionally confirms that the reduction is distributed evenly between the two index categories, information that order by itself does not convey and that becomes relevant whenever the balance between contravariant and covariant indices matters to a subsequent operation.
Type Effect Across Repeated Single Contractions
Cumulative Effect Matching the Count of Applications
Applying the single index contraction operation repeatedly, once for each of several independent slot pairs, produces a cumulative type effect equal to subtracting the number of applications from both the original contravariant and covariant counts.
Reaching a Balanced or Fully Reduced Type
When the original counts are equal, repeated application of the single index contraction type effect can reduce the type entirely to , matching the type associated with a scalar produced through full contraction.
Relationship to Tensor Operation Notation
The single contraction type effect is observed in tensor operation notation by comparing the count of distinct upper index symbols and distinct lower index symbols before and after accounting for one matched repeated pair, since the introduction of that one repeated symbol removes exactly one symbol from each count, directly reflecting the type effect of the operation.