8.21 Tensor Index Notation Translation

Tensor Index Notation Translation is the general practice of converting tensor expressions between index notation and the other representations used for the same underlying objects — coordinate-free abstract notation, matrix and vector notation, diagrammatic (graphical) notation, and explicit component arrays — together with the rules that guarantee each translation preserves the mathematical content of the original expression. It functions as the connective layer between index notation and every other formalism used for tensors, since no single notation is best suited to every task, and moving fluently between them requires a fixed, reliable dictionary of correspondences.

Translation to and from Abstract, Coordinate-Free Notation

Index Expressions as Basis-Dependent Shadows

An abstract tensor T, defined without reference to any basis, translates into index notation by evaluating it on basis vectors and dual basis covectors, producing the component array T^{i_1 \cdots}_{j_1 \cdots}; conversely, the index-notation expression T^{i}_{j} e_i \otimes e^j (summed) reconstructs the abstract tensor from its components. This pair of translations is exactly the correspondence used whenever a coordinate-free identity, such as g(u, v) = g(v, u) for a symmetric bilinear form, is rewritten in the equivalent index form g_{ij}u^i v^j = g_{ij}v^i u^j.

Preserving Operations Across the Translation

Every basic operation on abstract tensors has a fixed index-notation counterpart: the tensor product corresponds to juxtaposing two index expressions with disjoint index letters, contraction corresponds to repeating an upper and a lower index letter, and application of a multilinear map corresponds to matching each of its argument slots to a specific index. Index notation translation is faithful precisely because each abstract operation is assigned one, and only one, corresponding index-level operation, so that a derivation carried out entirely in index notation can always be translated back into a coordinate-free statement.

Translation to and from Matrix and Vector Notation

Rank-2 Tensors as Matrices

A (1,1) tensor A^i_j translates directly into a matrix A, with i indexing rows and j indexing columns (or the reverse, by convention), and a (1,0) tensor vⁱ translates into a column vector. Under this translation, the contraction A^i_j v^j becomes exactly the matrix-vector product Av, and A^i_j B^j_k becomes the matrix product AB, so ordinary linear-algebra notation is recovered as a special case of index notation restricted to tensors of order at most two.

Limits of the Matrix Correspondence

Tensors of order three or higher have no single, universally agreed matrix analogue, since a matrix has only two index slots; translating a rank-3 or higher tensor into matrix-like notation requires either slicing it into a family of matrices (fixing one index at a time) or abandoning matrix notation altogether in favor of index notation, which is one of the principal reasons index notation remains necessary even in fields, such as continuum mechanics or general relativity, that otherwise rely heavily on matrix and vector methods.

Translation to and from Diagrammatic Notation

Wires and Boxes as a Visual Index Language

In diagrammatic (tensor network) notation, a tensor is drawn as a box or node with one wire, or "leg," protruding for each index; an upper index and a lower index are distinguished by the direction the wire points (commonly, arrows pointing outward for contravariant and inward for covariant, or a similar fixed graphical convention). Translating an index expression into a diagram means drawing one box per tensor factor and connecting the wires corresponding to any repeated (contracted) index letter, while leaving wires for free indices unconnected and exposed at the diagram's boundary.

Diagram of a Contraction Translated From Index Notation

Translation to and from Explicit Component Arrays

Numerical Arrays as the Terminal Translation

The final, most concrete translation converts index notation into a plain numerical array — a list, table, or nested array of numbers — indexed by tuples of integer values rather than by symbolic index letters, which is the form required for direct numerical computation. This translation depends on first fixing the index range (the dimension) and then applying the index-to-component correspondence for every combination of index values, listing the actual numbers rather than the symbolic component names.

Round-Tripping Between Notations

A well-formed tensor identity remains true no matter which of these representations it is expressed in, and a common technique for verifying a translation was performed correctly is to round-trip: translate an index expression into a matrix or numerical form, perform the corresponding computation there, translate the result back into index notation, and confirm it matches the index-level identity the translation started from. Discrepancies uncovered this way usually indicate a misassigned index, a variance error (upper written where lower was meant), or an incorrect identification of which slots were contracted.

Consistency Requirements Across Every Translation

Index Placement Must Be Preserved

Regardless of which target representation is used, the distinction between upper (contravariant) and lower (covariant) indices must be tracked through the translation, since it determines how the corresponding matrix, diagram wire, or component array transforms under a change of basis; collapsing this distinction — for instance by treating all indices as interchangeable subscripts, as is common in elementary matrix notation restricted to orthonormal bases — is only valid in the special setting where upper and lower components coincide, and is not a valid general translation.

The Underlying Object Never Changes

Across every one of these translations, what is being converted is only the representation, not the mathematical object itself: the abstract tensor, its matrix form (when applicable), its diagram, and its numerical component array in a fixed basis are four different descriptions of one and the same entity, and index notation translation is the discipline of moving between these descriptions without altering what they describe.