13.8.1 Tensor Trace Contraction Mixed Slot Pair

Tensor Trace Contraction Mixed Slot Pair is the specific combination of one contravariant index slot and one covariant index slot that must be identified on a tensor before the trace contraction case can be applied to it. It denotes the pairing requirement underlying the trace operation, specifying that the two slots joined together must differ in variance, one upper and one lower, since summing over two slots of the same variance does not constitute a valid tensor contraction.

Conceptual Basis

Why Mixed Variance Is Required

Tensor contraction relies on the Einstein summation convention applied across one raised and one lowered index, since it is precisely this raised-lowered relationship that causes the transformation factors from a change of basis to cancel and yield a basis-independent sum. A mixed slot pair is therefore not an arbitrary stylistic choice but a structural necessity for the trace to be meaningful.

Origin in the Matrix Trace

For an ordinary matrix, viewed as a rank-two mixed tensor with one row index acting covariantly and one column index acting contravariantly, the trace sums the entries where these two mixed indices coincide. The mixed slot pair concept generalizes this row-column relationship to tensors of any rank that contain at least one such upper-lower pair.

Exclusion of Same-Variance Pairs

Two contravariant indices or two covariant indices cannot form a valid trace contraction pair, since no natural pairing exists between two upper or two lower slots without introducing an auxiliary tensor, such as a metric, to raise or lower one of them first.

Formal Description

Identifying a Mixed Pair

For a tensor $$T_j^i$$, the indices $$i$$ and $$j$$ form a mixed slot pair because $$i$$ is contravariant and $$j$$ is covariant. Renaming both to the same symbol and summing gives the trace:

Dimensional Compatibility of the Pair

A mixed slot pair is valid for trace contraction only if both slots range over the same dimension, since the summation implied by repeating the index symbol requires both positions to share an identical index range.

Locating Mixed Pairs in Higher-Rank Tensors

In a tensor with several indices, such as $$T_{kl}^{ij}$$, multiple mixed slot pairs may be identifiable, for example pairing $$i$$ with $$k$$, or alternatively pairing $$i$$ with $$l$$, each constituting a distinct valid mixed slot pair available for a separate trace operation.

Properties

Uniqueness of Result Given a Fixed Pair

Once a specific mixed slot pair is chosen, the resulting traced tensor is fully determined, since the summation is unambiguous once the two participating slots and their shared index range are fixed.

Multiplicity of Available Pairs

A tensor with $$p$$ contravariant and $$q$$ covariant indices of compatible dimension offers as many as $$p\times q$$ distinct mixed slot pairs, each yielding a potentially different traced result.

Interaction With Symmetric or Antisymmetric Tensors

When a tensor possesses symmetry properties linking some of its indices, distinct mixed slot pairs may nonetheless produce identical or simply related traced results, reflecting the underlying symmetry rather than an accidental coincidence.

Practical Considerations

Explicit Specification in Multi-Index Tensors

Whenever a tensor has more than one contravariant or more than one covariant index, the mixed slot pair intended for a trace contraction must be stated explicitly, since index notation alone can be ambiguous about which upper index is meant to pair with which lower index.

Role in Constructing Scalar Invariants

Selecting a mixed slot pair and applying the trace repeatedly, or applying it to tensors built from products of a base tensor with itself, is a standard technique for constructing a sequence of scalar invariants characterizing the original tensor.

Prerequisite for Trace-Based Formulas

Any formula that relies on a trace operation, including definitions of scalar curvature, characteristic polynomials, or contraction-based invariants in physics, implicitly presumes that a specific mixed slot pair has been designated as the basis of the summation.