Angular momentum diagrams (quantum mechanics)

Quantum mechanics
$\sigma_x \sigma_p \ge \frac{\hbar}{2}$ Uncertainty principle
Introduction Glossary History
Background Classical mechanics Old quantum theory Bra–ket notation Hamiltonian Interference
Fundamentals Complementarity Decoherence Entanglement Energy level Measurement Nonlocality Quantum number State Superposition Symmetry Tunnelling Uncertainty Wave function (collapse)
Experiments Afshar Bell's inequality Davisson–Germer Double-slit Elitzur–Vaidman Franck–Hertz Mach–Zehnder Popper Quantum eraser (delayed-choice) Schrödinger's cat Stern–Gerlach Wheeler's delayed-choice
Formulations Overview Heisenberg Interaction Matrix Phase-space Schrödinger Sum-over-histories (path integral)
Equations Dirac Klein–Gordon Pauli Rydberg Schrödinger
Interpretations Overview Bayesian Consistent histories Copenhagen de Broglie–Bohm Ensemble Hidden-variable Many-worlds Objective collapse Quantum logic Relational Stochastic Transactional
Advanced topics Quantum chaos Quantum computing Density matrix Quantum field theory Fractional quantum mechanics Quantum information science Relativistic quantum mechanics Scattering theory Quantum statistical mechanics
Scientists Aharonov Bell Blackett Bloch Bohm Bohr Born Bose de Broglie Candlin Compton Dirac Davisson Debye Ehrenfest Einstein Everett Fock Fermi Feynman Glauber Gutzwiller Heisenberg Hilbert Jordan Kramers Pauli Lamb Landau Laue Moseley Millikan Onnes Planck Rabi Raman Rydberg Schrödinger Sommerfeld von Neumann Weyl Wien Wigner Zeeman Zeilinger

In quantum mechanics and its applications to quantum many-particle systems, notably quantum chemistry, angular momentum diagrams, or more accurately from a mathematical viewpoint angular momentum graphs, are a diagrammatic method for representing angular momentum quantum states of a quantum system allowing calculations to be done symbolically. More specifically, the arrows encode angular momentum states in bra–ket notation and include the abstract nature of the state, such as tensor products and transformation rules.

The notation parallels the idea of Penrose graphical notation and Feynman diagrams. The diagrams consist of arrows and vertices with quantum numbers as labels, hence the alternative term "graphs". The sense of each arrow is related to Hermitian conjugation, which roughly corresponds to time reversal of the angular momentum states (c.f. Schrödinger equation). The diagrammatic notation is a considerably large topic in its own right with a number of specialized features – this article introduces the very basics.

They were developed primarily by Adolfas Jucys in the twentieth century.

Equivalence between Dirac notation and Jucys diagrams

Angular momentum states

The quantum state vector of a single particle with total angular momentum quantum number j and total magnetic quantum number m = j, j − 1, ..., −j + 1, −j, is denoted as a ket |j, m⟩. As a diagram this is a singleheaded arrow.

Symmetrically, the corresponding bra is ⟨j, m|. In diagram form this is a doubleheaded arrow, pointing in the opposite direction to the ket.

In each case;

the quantum numbers j, m are often labelled next to the arrows to refer to a specific angular momentum state,
arrowheads are almost always placed at the middle of the line, rather than at the tip,
equals signs "=" are placed between equivalent diagrams, exactly like for multiple algebraic expressions equal to each other.

The most basic diagrams are for kets and bras:

Ket |j, m⟩

Bra ⟨j, m|

Arrows are directed to or from vertices, a state transforming according to:

a standard representation is designated by an oriented line leaving a vertex,
a contrastandard representation is depicted as a line entering a vertex.

As a general rule, the arrows follow each other in the same sense. In the contrastandard representation, the time reversal operator, denoted here by T, is used. It is unitary, which means the Hermitian conjugate T^† equals the inverse operator T⁻¹, that is T^† = T⁻¹. It's action on the position operator leaves it invariant:

T \hat{\mathbf{x}} T^\dagger = \hat{\mathbf{x}}

but the linear momentum operator becomes negative:

T \hat{\mathbf{p}} T^\dagger = - \hat{\mathbf{p}}

and the spin operator becomes negative:

T \hat{\mathbf{S}} T^\dagger = - \hat{\mathbf{S}}

Since the orbital angular momentum operator is L = x × p, this must also become negative:

T \hat{\mathbf{L}} T^\dagger = - \hat{\mathbf{L}}

and therefore the total angular momentum operator J = L + S becomes negative:

T \hat{\mathbf{J}} T^\dagger = - \hat{\mathbf{J}}

Acting on an eigenstate of angular momentum |j, m⟩, it can be shown that [see for example P.E.S. Wormer and J. Paldus (2006)]:

T \left|j,m\right\rangle \equiv \left|T (j,m)\right\rangle = {(-1)}^{j-m} \left|j,-m\right\rangle

The time-reversed diagrams for kets and bras are:

Time reversed ket |j, m⟩.

Time reversed bra ⟨j, m|.

It is important to position the vertex correctly, as forward-time and reversed-time operators would become mixed up.

Inner product

The inner product of two states |j₁, m₁⟩ and |j₂, m₂⟩ is:

\langle j_2 , m_2 | j_1 , m_1 \rangle = \delta_{j_1 j_2} \delta_{m_1 m_2}

and the diagrams are:

Inner product of |j₁, m₁⟩ and |j₂, m₂⟩, that is ⟨j₂, m₂|j₁, m₁⟩.

Time reversed equivalent.

For summations over the inner product, also known in this context as a contraction (c.f. tensor contraction):

\sum_m \langle j,m | j,m \rangle = 2j + 1

it is conventional to denote the result as a closed circle labelled only by j, not m:

Inner product contraction.

Outer products

The outer product of two states |j₁, m₁⟩ and |j₂, m₂⟩ is an operator:

\left| j_2 , m_2 \right\rangle \left\langle j_1 , m_1 \right|

and the diagrams are:

Outer product of |j₁, m₁⟩ and |j₂, m₂⟩, that is |j₂, m₂⟩⟨j₁, m₁|.

Time reversed equivalent.

For summations over the outer product, also known in this context as a contraction (c.f. tensor contraction):

\begin{align} \sum_m | j,m \rangle \langle j,m | & = \sum_m | j, -m \rangle \langle j, -m | \\ & = \sum_m {(-1)}^{2(j-m)}| j, -m \rangle \langle j, -m | \\ & = \sum_m {(-1)}^{j-m}| j, -m \rangle \langle j, -m |{(-1)}^{j-m} \\ & = \sum_m T| j, m \rangle \langle j, m |T^\dagger \end{align}

where the result for T|j, m⟩ was used, and the fact that m takes the set of values given above. There is no difference between the forward-time and reversed-time states for the outer product contraction, so here they share the same diagram, represented as one line without direction, again labelled by j only and not m:

Outer product contraction.

Tensor products

The tensor product ⊗ of n states |j₁, m₁⟩, |j₂, m₂⟩, ... |j_n, m_n⟩ is written

\begin{align} \left|j_1 , m_1 , j_2 , m_2 , ... j_n , m_n \right\rangle & \equiv \left|j_1,m_1\right\rangle\otimes\left|j_2,m_2\right\rangle\otimes\cdots\otimes\left|j_n,m_n\right\rangle \\ & \equiv \left|j_1,m_1\right\rangle \left|j_2,m_2\right\rangle \cdots \left|j_n,m_n\right\rangle \end{align}

and in diagram form, each separate state leaves or enters a common vertex creating a "fan" of arrows - n lines attached to a single vertex.

Vertices in tensor products have signs (sometimes called "node signs"), to indicate the ordering of the tensor-multiplied states:

a minus sign (−) indicates the ordering is clockwise, $\circlearrowright$ , and
a plus sign (+) for anticlockwise, $\circlearrowleft$ .

Signs are of course not required for just one state, diagrammatically one arrow at a vertex. Sometimes curved arrows with the signs are included to show explicitly the sense of tensor multiplication, but usually just the sign is shown with the arrows left out.

Tensor product of |j₁, m₁⟩, |j₂, m₂⟩, |j₃, m₃⟩, that is |j₁, m₁⟩|j₂, m₂⟩|j₃, m₃⟩ = |j₁, m₁, j₂, m₂, j₃, m₃⟩. Similarly for more than three angular momenta.

Time reversed equivalent.

For the inner product of two tensor product states:

\begin{align} & \left\langle j'_n , m'_n , ... , j'_2 , m'_2 , j'_1 , m'_1 |j_1 , m_1 , j_2 , m_2 , ... j_n , m_n \right\rangle \\ = & \langle j'_n , m'_n | ... \langle j'_2 , m'_2| \langle j'_1 , m'_1 | | j_1 , m_1 \rangle | j_2 , m_2 \rangle ... | j_n , m_n \rangle \\ = & \prod_{k=1}^n \left\langle j'_k , m'_k | j_k , m_k \right\rangle \end{align}

there are n lots of inner product arrows:

Inner product of |j′₁, m′₁, j′₂, m′₂, j′₃, m′₃⟩ and |j₁, m₁, j₂, m₂, j₃, m₃⟩, that is ⟨j′₃, m′₃, j′₂, m′₂, j′₁, m′₁|j₁, m₁, j₂, m₂, j₃, m₃⟩. Similarly for more than three pairs of angular momenta.

Time reversed equivalent.

Examples and applications

The diagrams are well-suited for Clebsch–Gordan coefficients.
Calculations with real quantum systems, such as multielectron atoms and molecular systems.

References

Notes

P.E.S. Wormer, J. Paldus (2006). "Angular Momentum Diagrams". Advances In Quantum Chemistry 51 (Elsevier). pp. 59–124. doi:10.1016/S0065-3276(06)51002-0. ISSN 0065-3276. These authors use the theta variant ϑ for the time reversal operator, here we use T.

I. Lindgren, J. Morrison (1986). Atomic Many-Body Theory. Chemical Physics 13 (2nd ed.). Springer-Verlag. ISBN 3-540-166-491.

Angular momentum diagrams (quantum mechanics)

Equivalence between Dirac notation and Jucys diagrams

Angular momentum states

Inner product

Outer products

Tensor products

Examples and applications

See also

References

Notes

Further reading