14.11 Tensor Operator Product Structure

Tensor Operator Product Structure is the algebraic framework describing how linear operators acting on individual tensor factor spaces combine to form a single operator acting on the entire tensor product space, together with the rules that govern how such combined operators interact under composition, addition, and scalar multiplication.

Building Blocks of the Structure

Operators on Individual Factors

The structure begins with a collection of linear operators, one associated with each factor space entering the tensor product. Each such operator acts only within its own factor space and carries no information about the other factors.

The Combined Operator

A combined operator on the tensor product space is formed by specifying how it acts on simple tensors, applying each individual operator to its corresponding factor simultaneously.

Structural Diagram

Layered View of the Product Structure

The diagram below shows two independent operators, each acting on its own factor, combining into a single layered operator acting on the tensor product space.

Algebraic Operations Within the Structure

Composition of Combined Operators

Composing two combined operators is equivalent to composing the individual operators on each factor separately and then combining the results, which shows that composition respects the factorwise structure of the tensor product.

Linearity of the Product Structure

For a fixed operator on the second factor, the assignment that sends an operator on the first factor to the corresponding combined operator is linear, and the symmetric statement holds when the roles of the two factors are exchanged.

Identity and Partial Action

Identity Component

Combining any operator on the first factor with the identity operator on the second factor produces a combined operator that acts nontrivially only on the first factor, leaving every vector's second-factor component completely unchanged.

General Elements Are Sums of Simple Combinations

Not every operator on the tensor product space arises as a single combination of one operator per factor; the general operator on the product space is a finite sum of such combined operators, reflecting the fact that general tensors themselves are sums of simple tensors.

Invertibility Within the Structure

Combined Operator Invertibility

A combined operator is invertible exactly when both individual operators are invertible, and in that case its inverse is the combination of the two individual inverses.

Non-Invertibility From a Single Factor

If either individual operator fails to be invertible, the combined operator also fails to be invertible, since a noninvertible operator on one factor produces a nontrivial kernel that extends to a nontrivial kernel of the combined operator on the full product space.

Extension to Multiple Factors

Structure With Several Simultaneous Operators

When the tensor product involves three or more factor spaces, the operator product structure extends by combining one operator per factor, with composition, linearity, and invertibility rules all applying factor by factor in the same manner as the two-factor case.

Partial Combinations Across a Subset of Factors

A combined operator may act nontrivially on only a subset of the factors, using the identity operator on the remaining factors, which produces a structure where different combined operators can commute or fail to commute depending on whether their nontrivial factors overlap.