15.5.2 Tensor Symmetric Bilinear Slot Exchange

Tensor Symmetric Bilinear Slot Exchange is the operation of swapping the two argument positions, or slots, of a bilinear form built from a symmetric tensor, and the accompanying fact that this swap leaves the value of the form unchanged whenever the underlying tensor satisfies the symmetric component equality constraint. Where the symmetric bilinear argument pair concerns the interchangeability of the actual vectors supplied to the form, slot exchange concerns the underlying operation itself: the abstract act of relabeling which vector occupies the first position and which occupies the second, independent of any particular choice of vectors.

Slot exchange is most naturally described at the level of the tensor's index structure rather than at the level of specific vector inputs, since it is the exchange of the two index positions of the tensor, i and j, that induces the exchange of the two argument slots of the bilinear form. This operation is a linear map on the space of bilinear forms, sending a form B to a new form B' defined by B'(u, v) = B(v, u), and a form is symmetric precisely when it is a fixed point of this map.

Slot Exchange as an Operator

Definition on Bilinear Forms

Given any bilinear form B, not necessarily symmetric, the slot exchange operator produces a new bilinear form:

so that E(B) evaluated at (u, v) reproduces the value B assigns to the reversed pair (v, u).

Effect on the Component Array

At the level of components, if B has associated tensor components T_{ij}, then E(B) has components obtained by exchanging the two indices, namely T_{ji}. Slot exchange is therefore the tensor operation of index transposition applied specifically to the two argument-carrying positions of a rank-2 tensor.

Fixed Points of Slot Exchange

Symmetric Forms as Fixed Points

A bilinear form B is symmetric exactly when E(B) equals B, since this equality states directly that B(u, v) equals B(v, u) for all argument pairs. The set of symmetric bilinear forms is therefore the fixed-point set, or eigenspace with eigenvalue one, of the slot exchange operator acting on the space of all bilinear forms.

Idempotence of the Operator

Applying slot exchange twice returns the original form, since exchanging the two slots and then exchanging them again restores the original order: E(E(B))(u, v) equals E(B)(v, u), which equals B(u, v). This idempotent, order-two behavior means the operator has only two possible eigenvalues, one and negative one, when acting on a space where division by two is permitted.

Decomposition Induced by Slot Exchange

Symmetric and Antisymmetric Parts

Any bilinear form B can be split into a part unaffected by slot exchange and a part that reverses sign under slot exchange:

The first term is invariant under slot exchange and is itself a symmetric bilinear form; the second term reverses sign under slot exchange and vanishes exactly when B is already symmetric.

Applying the Decomposition to Tensors

At the component level, this decomposition splits a general rank-2 tensor T_{ij} into a symmetric part with components (T_{ij} + T_{ji}) / 2 and an antisymmetric part with components (T_{ij} - T_{ji}) / 2, recovering the general fact that every rank-2 tensor is a sum of a symmetric tensor and an antisymmetric tensor.

Relevance to the Symmetric Bilinear Form Structure

Confirming Symmetry Through the Operator

Testing whether a given bilinear form corresponds to a symmetric tensor is equivalent to checking that the form is invariant under the slot exchange operator, providing a single operational criterion that unifies the component-level equality constraint, the argument-pair order invariance, and the matrix transpose condition under one operation.

Slot Exchange in Higher-Rank Contexts

While slot exchange as described here acts on the two slots of a bilinear form, the same operation generalizes to exchanging any two designated index positions of a higher-rank tensor, and a tensor symmetric in a larger set of positions is precisely one that is invariant under every pairwise slot exchange within that set.