8.16.3 Tensor Repeated Index Excess Collision

Tensor Repeated Index Excess Collision is the structural violation that occurs whenever a single index letter appears within one term more times, or in a configuration, that exceeds what the implicit summation convention is defined to handle — specifically, any occurrence count of three or more for a single letter, or exactly two occurrences that share the same position rather than one upper and one lower. It is the umbrella structural classification underlying the more specific collision scenarios, such as free-versus-dummy conflicts and dummy-versus-dummy name reuse, unifying them under a single test: does any letter in this term violate the two-occurrence, opposite-position limit that valid repetition requires.

The Two Ways Excess Can Occur

Excess by Occurrence Count

The most direct form of excess collision is a letter occurring three or more times within a single term, regardless of position. In an expression such as

the letter $i$ occurs three times, exceeding the maximum of two that the summation convention permits for any single letter within one term. No rule exists for summing or otherwise resolving a third occurrence, so the expression as written has no defined meaning until the excess is corrected.

Excess by Same-Position Repetition

A more subtle form of excess occurs when a letter appears exactly twice but in the same position — both upper or both lower — rather than in the required opposite-position pairing. An expression such as

with two upper occurrences of $i$ on the same symbol, or a term combining $A^{i}$ and $B^{i}$ without any corresponding lower $i$ to pair against, falls under this second form: the occurrence count is within the allowed limit of two, but the required upper–lower opposition needed to trigger implicit summation is absent, so no valid contraction is signaled despite the repetition.

Why Both Forms Count as the Same Underlying Violation

A Single Governing Test

Both forms of excess collision fail the same underlying test: for implicit summation to apply unambiguously to a repeated letter, that letter must occur exactly twice, with one occurrence upper and one lower. An occurrence count above two automatically fails this test regardless of position, and an occurrence count of exactly two automatically fails it if both occurrences share a position; either deviation is properly classified as an excess collision because both leave the letter without a well-defined interpretation under the standard convention.

Distinguishing Excess From a Legitimately High Total Index Count

A term can legitimately contain many distinct index letters — free and dummy alike — without any collision at all, provided each individual letter, considered separately, satisfies the occurrence rule. A term such as $T^{ij}{}{kl}A{i}B_{j}C^{k}D^{l}$ contains eight index occurrences across four different letters, none of which constitutes an excess collision, because each of $i$, $j$, $k$, and $l$ individually occurs exactly twice in opposite positions. Excess collision is a property of a single letter's occurrence pattern, not of the total number of indices present in a term.

Detecting Excess Collisions

The Per-Letter Occurrence and Position Audit

Detecting an excess collision requires auditing each distinct letter within a term separately: tallying its total occurrences, and, if the tally is exactly two, verifying that the two occurrences sit in opposite positions. Any letter failing either check — a tally other than one or two, or a tally of two with matching positions — identifies the specific location of the excess collision within the term.

Excess Collisions Introduced Through Combination

As with other collision patterns, excess collisions frequently arise not from a single author's initial notation but from the combination of separately valid expressions, each of which individually respects the occurrence rule for every letter it contains, but which together push some shared letter's total occurrence count past two once merged into a single term.

Resolving an Excess Collision

Renaming the Excess Occurrence

The standard resolution, as with other collision patterns, is to apply a renaming operation to one or more of the excess occurrences, choosing new, unused letters so that every letter remaining in the term settles back into either a single free occurrence or a proper two-occurrence, opposite-position dummy pair. Resolving the earlier three-occurrence example by renaming the pair on $A$ and $B$ to $k$ yields $A^{k}B_{k}C_{i}$, restoring both $k$ and $i$ to valid occurrence patterns.

Determining Which Occurrence Should Remain Free

When resolving an excess collision, care must be taken to identify which occurrence, if any, was originally intended as a free index — one that must be preserved to match the free-index structure of the rest of the surrounding equation — and to rename only the occurrences forming the dummy pair, in keeping with free index protection.

Role Within the Index Collision Pattern

Repeated index excess collision names the general structural threshold that any specific collision instance must cross to be classified as a collision at all: a letter's occurrence pattern deviating from the single-free or double-opposite-position norm that the summation convention requires. Framing collisions in these general terms — occurrence count and position agreement — provides the single diagnostic test capable of catching every specific variety of index collision, whether it originates from a free index conflicting with a dummy pair, from two independent dummy pairs sharing a name, or from any other circumstance in which a letter's usage has, through accumulation or miscount, exceeded what valid tensor notation allows.