15.3.1 Tensor Symmetric Slot Permutation Invariance

Symmetric tensors remain invariant under slot permutations, preserving structure in multilinear algebra.

Tensor Symmetric Slot Permutation Invariance is the structural property of a tensor stating that its component values do not change when the indices occupying its slots are permuted among one another. It is the defining condition that separates symmetric tensors from general tensors: every arrangement of the same index values, regardless of the order in which they are assigned to the tensor's slots, must yield the identical numerical component.

Formal Statement

The Invariance Condition

For a rank-( r ) tensor ( T ) with components ( T_{i_1 i_2 \cdots i_r} ), slot permutation invariance requires that for every permutation ( \sigma ) belonging to the symmetric group ( S_r ):

T_{i_{σ (1)} i_{σ (2)} \dots i_{σ (r)}} = T_{i_{1} i_{2} \dots i_{r}}

holds identically for every choice of index values ( i_1, \ldots, i_r ) and every permutation ( \sigma ). This must hold for all ( r! ) permutations simultaneously, not merely for a single transposition.

Sufficiency of Transposition Invariance

Because the symmetric group ( S_r ) is generated entirely by adjacent transpositions, it is sufficient to verify invariance under every pairwise swap of two slots:

T_{\dots i_{k} \dots i_{l} \dots} = T_{\dots i_{l} \dots i_{k} \dots}

for every pair of slot positions ( k, l ); invariance under all transpositions composes to give invariance under the full permutation group, since any permutation can be written as a product of transpositions.

Consequences of the Invariance

Collapse of Ordered Tuples into Equivalence Classes

Slot permutation invariance partitions the set of ordered index tuples into equivalence classes, where two tuples belong to the same class exactly when one is a rearrangement of the other. Each equivalence class contributes exactly one independent component to the tensor, since invariance forces every member of the class to share the same value.

Basis-Independence of the Property

Slot permutation invariance is a basis-independent property: if it holds in one coordinate system, it holds in every coordinate system reached by a linear change of basis, because the transformation law for tensor components applies the same change-of-basis matrix to every slot, and permuting the slots before or after the transformation produces the same result.

Compatibility with Tensor Operations

The property is preserved under addition of two symmetric tensors of the same rank and under scalar multiplication, since both operations act componentwise and a linear combination of permutation-invariant values remains permutation-invariant. It is not preserved automatically under a general tensor product of two symmetric tensors of different rank, since the combined object may mix slots from each factor in a way that breaks invariance across the full index list unless an explicit symmetrization is applied afterward.

Detecting Failure of Invariance

Antisymmetric Contrast

A tensor fails slot permutation invariance in the strongest possible way when swapping any two slots flips the sign of every component:

T_{\dots i_{k} \dots i_{l} \dots} = - T_{\dots i_{l} \dots i_{k} \dots}

which is the opposite behavior of symmetric slot invariance and identifies the tensor as fully antisymmetric rather than symmetric.

Mixed Symmetry

A tensor can also fail full slot permutation invariance while still being invariant under a restricted subgroup of permutations, such as invariance under swapping only a subset of its slots. This intermediate case is called mixed symmetry and does not qualify as slot permutation invariant in the full sense, since invariance is required under every element of the entire symmetric group, not merely a subgroup of it.

Role Within the Tensor Structure

Foundation for Symmetric Rank Counting

Slot permutation invariance is the precise condition that produces the reduced independent-component count captured elsewhere by the symmetric rank area: the equivalence classes created by this invariance are exactly the objects counted when determining the dimension of the space of symmetric tensors of a given rank.

Foundation for Symmetric Notation

The invariance property is what justifies every compressed or bracketed notation used for symmetric tensors, since such notation is only meaningful when reordering the enclosed indices genuinely leaves the underlying quantity unchanged.