16.7.5 Tensor Repeated Argument Alternating Consequence
Tensor Repeated Argument Alternating Consequence refers to a property in tensor algebra where repeated arguments lead to alternating behavior in tensor contractions.
Tensor Repeated Argument Alternating Consequence is the chain of downstream properties that follow automatically once a multilinear tensor is confirmed to vanish on repeated arguments, collecting in one place everything that can be concluded about a tensor's structure and behavior purely from this single verified fact.
Immediate Consequence: Full Alternating Status
Certification, Not Just a Symptom
Once a multilinear tensor T is verified to satisfy T(...,v,...,v,...) = 0 for every choice of repeated argument v and every pair of positions, this single fact is sufficient — together with multilinearity, already assumed — to certify T as fully alternating, meaning every consequence ordinarily associated with alternating tensors follows without needing any further independent verification.
Consequence Chain
First Link: Sign Reversal Under Swap
The most immediate consequence is the sign-reversal law for any pair of arguments, derived by the standard bilinear expansion of T(...,u+w,...,u+w,...) = 0, discussed at length under the sign change swap behavior.
Second Link: Full Permutation Sign Law
Chaining the sign-reversal law across a sequence of transpositions yields the general law that any permutation σ of the arguments scales T's value by sgn(σ), extending the consequence from single swaps to arbitrary rearrangements.
Third Link: Rank Ceiling at the Ambient Dimension
Combining repeated-argument vanishing with the pigeonhole principle — that any k > n vectors in an n-dimensional space must include a linearly dependent subset — yields the consequence that no nonzero alternating tensor of rank greater than n can exist.
Fourth Link: Independent Component Count
Applying the vanishing consequence componentwise, together with the sign law's linkage of differently-ordered components, yields the binomial count C(n,k) of independent components at each rank k.
Fifth Link: Closure Under Wedge and Linear Combination
Because the consequence chain establishes T as fully alternating, T automatically participates correctly in every operation designed to preserve alternation — linear combination, wedge product, pullback — without needing separate confirmation that these operations respect T's particular structure.
Consequence for Geometric Interpretation
Volume and Orientation Meaning Becomes Available
Once repeated-argument vanishing is established, a rank-k alternating tensor becomes eligible for interpretation as a signed k-volume functional: vanishing on repeated arguments is exactly the condition that makes "volume of a degenerate (flattened) parallelepiped equals zero" hold automatically, connecting the algebraic consequence to a concrete geometric meaning.
Determinant Identity as a Terminal Consequence
At the top rank k = n, the full consequence chain terminates in the identification of the tensor (up to scalar) with the determinant function of n vectors, since the determinant is the unique geometric quantity satisfying every consequence in the chain simultaneously: multilinearity, full sign-permutation behavior, and vanishing on dependent columns.
What the Consequence Chain Does Not Provide
No Information About Nonzero Values
Confirming repeated-argument vanishing and its consequence chain says nothing about what the tensor's value is on any particular set of linearly independent arguments; the chain constrains only the tensor's behavior under argument manipulation, leaving the actual magnitude of nonzero values as separate data to be specified.
No Automatic Nonvanishing
A tensor can satisfy every consequence in this chain and still be the identically zero tensor; the chain describes necessary structural behavior for any alternating tensor, zero or not, rather than asserting the tensor is nontrivial.