14.11.1 Tensor Operator Product Factor Operators

Tensor Operator Product Factor Operators break down tensor operations into structured factors, enabling systematic algebraic analysis in mathematical physics.

Tensor Operator Product Factor Operators is the collection of individual linear operators, each acting on a single factor space of a tensor product, that are combined to produce a single operator on the entire tensor product space. Each factor operator retains its own independent identity within the construction and can be examined, modified, or replaced without directly altering the others.

Identifying a Factor Operator

Localization to a Single Factor

A factor operator is defined entirely within one factor space: its domain and codomain are both that single factor space, and it has no built-in reference to any other factor participating in the tensor product.

T_{k} : V_{k} \to V_{k}

Position Within the Combined Operator

Within the combined operator, each factor operator occupies a fixed position corresponding to the position of its factor space in the tensor product, and this position determines exactly which component of a simple tensor the factor operator is applied to.

Diagram of Factor Operator Placement

Ordered Slots for Each Factor

The diagram below depicts three factor operators occupying three ordered slots, each slot corresponding to one factor space in a triple tensor product.

Isolating the Effect of a Single Factor Operator

Fixing All but One Factor Operator

Replacing every factor operator except one with the identity operator produces a combined operator that acts nontrivially only through the single remaining factor operator, allowing its individual effect on the tensor product to be studied in isolation.

Extracting a Factor Operator From the Combined Matrix

If the matrix representing the combined operator is known and the matrices of all but one factor operator are known, the remaining factor operator's matrix can be recovered by dividing out the known Kronecker factors from the combined matrix.

Independence Among Factor Operators

No Interaction Between Different Slots

Two factor operators occupying different slots act on disjoint components of a simple tensor and therefore commute freely with each other's placement in the construction: changing one factor operator has no effect on how another factor operator acts on its own factor.

Simultaneous Diagonalizability

If every factor operator is diagonalizable within its own factor space, the combined operator is diagonalizable on the tensor product space, with eigenvectors given by simple tensors of the individual eigenvectors and eigenvalues given by products of the individual eigenvalues.

(T_{1} \otimes T_{2}) (x_{1} \otimes x_{2}) = λ_{1} λ_{2} (x_{1} \otimes x_{2})

Substituting Factor Operators

Replacing a Single Factor Operator

Replacing one factor operator with a different operator on the same factor space produces a new combined operator, while every other factor operator remains completely unaffected by the substitution.

Composing Substitutions Across Slots

Substituting new factor operators independently in several slots at once produces a combined operator equal to the tensor product of all the newly substituted operators, matching the general rule that the combined operator depends only on the current choice of factor operator in each slot.

Special Choices of Factor Operators

Identity Factor Operator

When a factor operator is chosen to be the identity, the combined operator passes that factor through unchanged, so the combined operator effectively reduces to acting only on the remaining factors.

Zero Factor Operator

When a factor operator is chosen to be the zero operator on its factor space, the entire combined operator becomes the zero operator on the full tensor product space, regardless of what the other factor operators are, since every simple tensor is annihilated through that single factor.

Factor Operators Beyond Two Factors

Generalizing to Arbitrarily Many Factors

The notion of a factor operator generalizes directly to tensor products of any finite number of factor spaces: each factor space is assigned its own operator, and the combined operator acts by applying every factor operator to its corresponding component simultaneously.

Factor Operator Count Matches Factor Count

The number of factor operators required to fully specify a combined operator by this construction always equals the number of factor spaces in the tensor product, with no factor space left without an assigned operator.