Scalar, Vector, and Tensor Operators

Scalar, vector, and tensor operators are classified by how their components transform under rotations. The classification is not about whether an operator is “small,” “large,” or visually arrow-like. It is a representation-theoretic statement:

$$U(\mathcal R)^\dagger O_a U(\mathcal R) = \sum_b D_{ab}(\mathcal R)O_b,$$

where $U(\mathcal R)$ is the quantum rotation operator and $D(\mathcal R)$ is the finite-dimensional rotation matrix acting on the component label $a$.

This page explains the Cartesian classification. The chapter guide maps the full route from transformation laws to spectroscopy. Commutators with Angular Momentum gives the infinitesimal tests for these transformation laws. Irreducible Spherical Tensors rewrites the same idea in the spherical basis used by the Wigner–Eckart theorem.

Transformation Law

Use the active convention fixed in Rotations Preview. A state rotates as

$$|\psi\rangle \mapsto U(\mathcal R)|\psi\rangle.$$

An operator is classified by its adjoint transformation law:

$$O \mapsto U(\mathcal R)^\dagger O U(\mathcal R).$$

For one operator $O$, scalar behavior means

$$U(\mathcal R)^\dagger O U(\mathcal R) = O$$

for every proper rotation $\mathcal R$. For a collection of three operators $V_i$, vector behavior means

$$U(\mathcal R)^\dagger V_i U(\mathcal R) = \sum_j \mathcal R_{ij}V_j.$$

For a two-index Cartesian tensor operator $T_{ij}$, tensor behavior means

$$U(\mathcal R)^\dagger T_{ij} U(\mathcal R) = \sum_{a,b} \mathcal R_{ia} \mathcal R_{jb} T_{ab}.$$

The same pattern extends to higher-index tensors: every Cartesian index is rotated by a copy of the ordinary three-dimensional rotation matrix.

Infinitesimal Version

Let $\mathbf J=(J_x,J_y,J_z)$ be the generator of rotations on the Hilbert space being considered. The finite transformation laws above have infinitesimal versions in terms of commutators.

A rotational scalar satisfies

$$[J_i,O]=0 \qquad i=x,y,z.$$

A vector operator $\mathbf V=(V_x,V_y,V_z)$ satisfies

$$[J_i,V_j] = i\hbar \sum_k \epsilon_{ijk}V_k.$$

These commutators are not optional decorations. They are often the cleanest way to test what kind of operator one has, especially when the operator is written abstractly rather than as a function of coordinates. The systematic commutator derivation is the job of Commutators with Angular Momentum.

For example, the position and momentum operators obey

$$[L_i,R_j] = i\hbar \sum_k\epsilon_{ijk}R_k, \qquad [L_i,P_j] = i\hbar \sum_k\epsilon_{ijk}P_k$$

for orbital rotations. Therefore $\mathbf R$ and $\mathbf P$ are vector operators under orbital angular momentum.

Scalars

A scalar operator is unchanged by rotations. Important examples include:

• $I$, the identity operator;
• $\mathbf R^2$, $\mathbf P^2$, $\mathbf L^2$, and $\mathbf S^2$;
• scalar products such as $\mathbf L\cdot\mathbf S$ when $\mathbf L$ and $\mathbf S$ are both rotated by the same total generator;
• rotationally invariant Hamiltonians such as

$$H = \frac{\mathbf P^2}{2m} + V(\mathbf R^2).$$

If an operator is a rotational scalar, it commutes with the rotation generators:

$$[J_i,O]=0.$$

Consequently it cannot change angular-momentum labels in a nondegenerate irreducible sector. More precisely, by Schur-type reasoning and by the rank-$0$ case of the Wigner–Eckart theorem,

$$\langle \alpha',j',m'|O|\alpha,j,m\rangle =0$$

unless $j'=j$ and $m'=m$, though the operator may still act nontrivially on additional labels $\alpha$.

This is why a central Hamiltonian can mix radial functions only if the model allows such mixing, but it does not mix different $m$ values inside a fixed rotationally invariant problem.

Vector Operators

A vector operator has three components that rotate into one another. Standard examples include:

• the position operator $\mathbf R$;
• the momentum operator $\mathbf P$;
• angular momentum $\mathbf J$ itself under rotations generated by $\mathbf J$;
• the electric dipole moment $\mathbf d=\sum_a q_a\mathbf r_a$;
• magnetic moment operators, under proper rotations.

For proper rotations, polar vectors and axial vectors both transform with the same $3\times3$ matrix $\mathcal R$. They differ under parity. For example, $\mathbf R$ is parity odd, while $\mathbf L=\mathbf R\times\mathbf P$ is parity even. That parity distinction matters for selection rules but is separate from the SO(3) vector classification.

A vector operator does not mean “any operator with three entries.” The three entries must transform as a vector under the same rotation generator. If $\mathbf A$ is assembled from three unrelated observables, it is not a vector operator just because it has three components.

External Fields and Symmetry Breaking

External fields are a common source of confusion. A coupling such as

$$H_B = -\boldsymbol\mu\cdot\mathbf B$$

is a scalar if both $\boldsymbol\mu$ and the background $\mathbf B$ are rotated together. But in a laboratory Hamiltonian, $\mathbf B$ is usually a fixed external direction. Then the Hamiltonian is not invariant under every rotation; it is invariant only under rotations that leave $\mathbf B$ fixed.

For $\mathbf B=B\hat{\mathbf z}$, the coupling becomes

$$H_B=-B\mu_z.$$

This preserves rotations about the $z$ axis but breaks the full rotational symmetry. Therefore $J_z$ may remain a good label while $J^2$ need not be protected by the same argument. Always distinguish transformation covariance of an operator from invariance of a particular Hamiltonian with fixed backgrounds.

Two-Index Tensor Operators

A Cartesian two-index tensor operator $T_{ij}$ transforms with one rotation matrix for each index:

$$U^\dagger T_{ij}U = \sum_{a,b} \mathcal R_{ia} \mathcal R_{jb} T_{ab}.$$

Such a tensor is usually reducible under rotations. It can be separated into three pieces:

$$T_{ij} = \frac{1}{3}\delta_{ij}T_{aa} + \frac{1}{2}(T_{ij}-T_{ji}) + \left[ \frac{1}{2}(T_{ij}+T_{ji}) - \frac{1}{3}\delta_{ij}T_{aa} \right],$$

where repeated Cartesian indices are summed. The three terms are:

Cartesian piece	Rotational content	Dimension
trace $T_{aa}$	scalar	$1$
antisymmetric part	vector-like	$3$
symmetric traceless part	rank-$2$ tensor	$5$

The dimensions add as

$$3\otimes3 = 1\oplus3\oplus5.$$

This is the Cartesian version of angular-momentum addition:

$$1\otimes1 = 0\oplus1\oplus2.$$

The symmetric traceless piece is the part usually meant by a quadrupole tensor. For a charge distribution, a common Cartesian quadrupole operator is

$$Q_{ij} = \sum_a q_a \left( 3r_{a,i}r_{a,j} - \delta_{ij}r_a^2 \right),$$

which is symmetric and traceless:

$$Q_{ij}=Q_{ji}, \qquad \sum_i Q_{ii}=0.$$

The precise numerical factor is conventional; the transformation type is not.

Reducible Versus Irreducible

“Tensor operator” is sometimes used in two different ways:

• a Cartesian tensor with one or more indices;
• an irreducible spherical tensor $T_q^{(k)}$ of definite rank $k$.

These are related but not identical. A general Cartesian two-index tensor contains rank-$0$, rank-$1$, and rank-$2$ rotational pieces. An irreducible spherical tensor contains only one rank.

For selection-rule work, the irreducible form is usually the useful one. A rank-$k$ spherical tensor component $T_q^{(k)}$ carries a definite angular-momentum label $k$ and component $q$. The Wigner–Eckart theorem can then read off angular dependence from Clebsch–Gordan coefficients.

The practical route is:

identify Cartesian transformation law
  -> decompose into irreducible rotational pieces
  -> use spherical components T_q^(k)
  -> apply Wigner-Eckart and selection rules

Matrix-Element Consequences

The classification controls which matrix elements can be nonzero before any radial integral is evaluated.

For a scalar operator:

$$\Delta j=0, \qquad \Delta m=0.$$

For a vector operator, after rewriting it in spherical components $V_q$ with $q=0,\pm1$, angular momentum allows

$$m'=m+q$$

and

$$|j-1|\le j'\le j+1,$$

with the usual additional exclusion that the relevant Clebsch–Gordan coefficient may vanish in special cases.

For a rank-$2$ irreducible tensor:

$$q=-2,-1,0,1,2, \qquad m'=m+q,$$

and

$$|j-2|\le j'\le j+2.$$

These are only rotational rules. Parity, exchange symmetry, charge conservation, time reversal, and dynamical details can impose additional zeros.

How to Classify an Operator

Use this checklist:

1. Identify the rotation generator $\mathbf J$ acting on the system.
2. Decide whether all relevant degrees of freedom are being rotated, including spin and external backgrounds.
3. Compute the finite adjoint action $U^\dagger O U$ or the commutators $[J_i,O]$.
4. Compare the result with scalar, vector, or tensor transformation laws.
5. If there are several components, decompose reducible tensors into irreducible rotational pieces.
6. Only then apply angular-momentum selection rules.

This order prevents a common error: applying a vector selection rule to an operator before confirming that it is a vector under the symmetry that the Hamiltonian actually has.

Common Mistakes

• Treating a fixed external field as if it rotates when testing Hamiltonian invariance.
• Calling $\mathbf B\cdot\boldsymbol\mu$ rotationally invariant without specifying whether $\mathbf B$ is a transformed background or a fixed laboratory direction.
• Forgetting that polar and axial vectors transform the same way under proper rotations but differently under parity.
• Treating every two-index tensor as an irreducible rank-$2$ tensor; the trace and antisymmetric pieces have different rotational rank.
• Assuming that a scalar operator is proportional to the identity on every label. It is identity-like only within an irreducible angular-momentum multiplet; it may still act on radial, internal, or degeneracy labels.
• Using selection rules without naming the operator whose transformation law is being used.

References

• A. R. Edmonds, Angular Momentum in Quantum Mechanics, Princeton University Press, 1957.
• M. E. Rose, Elementary Theory of Angular Momentum, Wiley, 1957.
• J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
• L. D. Landau and E. M. Lifshitz, Quantum Mechanics: Non-Relativistic Theory, 3rd ed., Pergamon Press, 1977.
• D. A. Varshalovich, A. N. Moskalev, and V. K. Khersonskii, Quantum Theory of Angular Momentum, World Scientific, 1988.

Exercises

1. Show that $\mathbf R^2$ is a scalar if $\mathbf R$ is a vector operator.

Solution

Use

$$[J_i,R_j] = i\hbar \sum_k\epsilon_{ijk}R_k.$$

Then

$$[J_i,\mathbf R^2] = \sum_j \left( [J_i,R_j]R_j + R_j[J_i,R_j] \right).$$

Substituting the vector commutator gives

$$[J_i,\mathbf R^2] = i\hbar \sum_{j,k} \epsilon_{ijk} \left( R_kR_j+R_jR_k \right).$$

The factor in parentheses is symmetric under $j\leftrightarrow k$, while $\epsilon_{ijk}$ is antisymmetric. The sum vanishes, so $[J_i,\mathbf R^2]=0$.

2. Decompose a Cartesian tensor $T_{ij}$ into trace, antisymmetric, and symmetric traceless pieces. How many independent components does each piece have?

Solution

The decomposition is

$$T_{ij} = \frac{1}{3}\delta_{ij}T_{aa} + \frac{1}{2}(T_{ij}-T_{ji}) + \left[ \frac{1}{2}(T_{ij}+T_{ji}) - \frac{1}{3}\delta_{ij}T_{aa} \right].$$

The trace has one independent component. The antisymmetric $3\times3$ tensor has three independent components. The symmetric tensor has six independent components, and removing the trace leaves five. Thus $9=1+3+5$.

3. A Hamiltonian contains $H_B=-B\mu_z$ with $B$ fixed by the laboratory. Which rotations are still symmetries?

Solution

Only rotations about the $z$ axis leave the fixed vector $B\hat{\mathbf z}$ unchanged. Therefore the Hamiltonian may commute with $J_z$ but not with $J_x$ or $J_y$. Full rotational symmetry is broken to axial symmetry.

4. Let $O$ be a rotational scalar. Explain why $\langle \alpha',j',m'|O|\alpha,j,m\rangle$ vanishes when $j'\ne j$ or $m'\ne m$, assuming the states are organized into irreducible angular-momentum multiplets.

Solution

A scalar commutes with all components of $\mathbf J$, so it does not change the angular-momentum representation. Equivalently, it is a rank-$0$ tensor, and the rank-$0$ Wigner–Eckart selection rules give $j'=j$ and $m'=m$. The labels $\alpha$ and $\alpha'$ can still be affected if they distinguish states inside repeated copies of the same angular-momentum representation.