Angular momentum diagrams (quantum mechanics)

<h2 id="equivalence-between-dirac-notation-and-jucys-diagrams">Equivalence between Dirac notation and Jucys diagrams</h2>
<h3>Angular momentum states</h3>
The <a href="/facts/Quantum_state/7jbxd7Dx">quantum state</a> vector of a single particle with total <a href="/facts/Angular_momentum_quantum_number/vHSIzbFC">angular momentum quantum number</a> j and total <a href="/facts/Magnetic_quantum_number/LvFY0dVV">magnetic quantum number</a> m = j, j − 1, ..., −j + 1, −j, is denoted as a <a href="/facts/Bra%25E2%2580%2593ket_notation/NDlKsaRh">ket</a> |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;

<ul><li>the quantum numbers j, m are often labelled next to the arrows to refer to a specific angular momentum state,</li>
<li>arrowheads are almost always placed at the middle of the line, rather than at the tip,</li>
<li>equals signs "=" are placed between equivalent diagrams, exactly like for multiple algebraic expressions equal to each other.</li></ul>
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:

<ul><li>a <a href="/facts/Standard_representation/TEV7cSvJ">standard representation</a> is designated by an oriented line leaving a vertex,</li>
<li>a contrastandard representation is depicted as a line entering a vertex.</li></ul>
As a general rule, the arrows follow each other in the same sense. In the contrastandard representation, the <a href="/facts/T-symmetry/Tgf2LJMc">time reversal</a> operator, denoted here by T, is used. It is unitary, which means the <a href="/facts/Hermitian_conjugate/gN6RHphd">Hermitian conjugate</a> T† equals the inverse operator T−1, that is T† = T−1. Its action on the <a href="/facts/Position_operator/zQUM4fIk">position operator</a> leaves it invariant:

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

but the linear <a href="/facts/Momentum_operator/nPx4UL3k">momentum operator</a> becomes negative:

T
        
          
            
              
                p
              
              ^
            
          
        
        
          T
          
            †
          
        
        =
        −
        
          
            
              
                p
              
              ^
            
          
        
      
    
    {\displaystyle T{\hat {\mathbf {p} }}T^{\dagger }=-{\hat {\mathbf {p} }}}

and the <a href="/facts/Spin_(physics)/4Jvp7e8P">spin</a> operator becomes negative:

T
        
          
            
              
                S
              
              ^
            
          
        
        
          T
          
            †
          
        
        =
        −
        
          
            
              
                S
              
              ^
            
          
        
      
    
    {\displaystyle T{\hat {\mathbf {S} }}T^{\dagger }=-{\hat {\mathbf {S} }}}

Since the orbital <a href="/facts/Angular_momentum_operator/d55sXn5u">angular momentum operator</a> is L = x × p, this must also become negative:

T
        
          
            
              
                L
              
              ^
            
          
        
        
          T
          
            †
          
        
        =
        −
        
          
            
              
                L
              
              ^
            
          
        
      
    
    {\displaystyle T{\hat {\mathbf {L} }}T^{\dagger }=-{\hat {\mathbf {L} }}}

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

T
        
          
            
              
                J
              
              ^
            
          
        
        
          T
          
            †
          
        
        =
        −
        
          
            
              
                J
              
              ^
            
          
        
      
    
    {\displaystyle T{\hat {\mathbf {J} }}T^{\dagger }=-{\hat {\mathbf {J} }}}

Acting on an eigenstate of angular momentum |j, m⟩, it can be shown that:<a class="footnote-ref" id="fnref:1" href="#fn:1">1</a>

T
        
          |
          
            j
            ,
            m
          
          ⟩
        
        ≡
        
          |
          
            T
            (
            j
            ,
            m
            )
          
          ⟩
        
        =
        
          
            (
            −
            1
            )
          
          
            j
            −
            m
          
        
        
          |
          
            j
            ,
            −
            m
          
          ⟩
        
      
    
    {\displaystyle 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.

<h3>Inner product</h3>
The inner product of two states |j1, m1⟩ and |j2, m2⟩ is:

⟨
        
          j
          
            2
          
        
        ,
        
          m
          
            2
          
        
        
          |
        
        
          j
          
            1
          
        
        ,
        
          m
          
            1
          
        
        ⟩
        =
        
          δ
          
            
              j
              
                1
              
            
            
              j
              
                2
              
            
          
        
        
          δ
          
            
              m
              
                1
              
            
            
              m
              
                2
              
            
          
        
      
    
    {\displaystyle \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 |j1, m1⟩ and |j2, m2⟩, that is ⟨j2, m2|j1, m1⟩.Time reversed equivalent.

For summations over the inner product, also known in this context as a contraction (cf. <a href="/facts/Tensor_contraction/fqz0zvWp">tensor contraction</a>):

∑
          
            m
          
        
        ⟨
        j
        ,
        m
        
          |
        
        j
        ,
        m
        ⟩
        =
        2
        j
        +
        1
      
    
    {\displaystyle \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:

<h3>Outer products</h3>
The outer product of two states |j1, m1⟩ and |j2, m2⟩ is an operator:

|
          
            
              j
              
                2
              
            
            ,
            
              m
              
                2
              
            
          
          ⟩
        
        
          ⟨
          
            
              j
              
                1
              
            
            ,
            
              m
              
                1
              
            
          
          |
        
      
    
    {\displaystyle \left|j_{2},m_{2}\right\rangle \left\langle j_{1},m_{1}\right|}

and the diagrams are:

Outer product of |j1, m1⟩ and |j2, m2⟩, that is |j2, m2⟩⟨j1, m1|.Time reversed equivalent.

For summations over the outer product, also known in this context as a contraction (cf. <a href="/facts/Tensor_contraction/fqz0zvWp">tensor contraction</a>):

∑
                  
                    m
                  
                
                
                  |
                
                j
                ,
                m
                ⟩
                ⟨
                j
                ,
                m
                
                  |
                
              
              
                
                =
                
                  ∑
                  
                    m
                  
                
                
                  |
                
                j
                ,
                −
                m
                ⟩
                ⟨
                j
                ,
                −
                m
                
                  |
                
              
            
            
              
              
                
                =
                
                  ∑
                  
                    m
                  
                
                
                  
                    (
                    −
                    1
                    )
                  
                  
                    2
                    (
                    j
                    −
                    m
                    )
                  
                
                
                  |
                
                j
                ,
                −
                m
                ⟩
                ⟨
                j
                ,
                −
                m
                
                  |
                
              
            
            
              
              
                
                =
                
                  ∑
                  
                    m
                  
                
                
                  
                    (
                    −
                    1
                    )
                  
                  
                    j
                    −
                    m
                  
                
                
                  |
                
                j
                ,
                −
                m
                ⟩
                ⟨
                j
                ,
                −
                m
                
                  |
                
                
                  
                    (
                    −
                    1
                    )
                  
                  
                    j
                    −
                    m
                  
                
              
            
            
              
              
                
                =
                
                  ∑
                  
                    m
                  
                
                T
                
                  |
                
                j
                ,
                m
                ⟩
                ⟨
                j
                ,
                m
                
                  |
                
                
                  T
                  
                    †
                  
                
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}\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{aligned}}}

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:

<h3>Tensor products</h3>
The tensor product ⊗ of n states |j1, m1⟩, |j2, m2⟩, ... |jn, mn⟩ is written

|
                  
                    
                      j
                      
                        1
                      
                    
                    ,
                    
                      m
                      
                        1
                      
                    
                    ,
                    
                      j
                      
                        2
                      
                    
                    ,
                    
                      m
                      
                        2
                      
                    
                    ,
                    .
                    .
                    .
                    
                      j
                      
                        n
                      
                    
                    ,
                    
                      m
                      
                        n
                      
                    
                  
                  ⟩
                
              
              
                
                ≡
                
                  |
                  
                    
                      j
                      
                        1
                      
                    
                    ,
                    
                      m
                      
                        1
                      
                    
                  
                  ⟩
                
                ⊗
                
                  |
                  
                    
                      j
                      
                        2
                      
                    
                    ,
                    
                      m
                      
                        2
                      
                    
                  
                  ⟩
                
                ⊗
                ⋯
                ⊗
                
                  |
                  
                    
                      j
                      
                        n
                      
                    
                    ,
                    
                      m
                      
                        n
                      
                    
                  
                  ⟩
                
              
            
            
              
              
                
                ≡
                
                  |
                  
                    
                      j
                      
                        1
                      
                    
                    ,
                    
                      m
                      
                        1
                      
                    
                  
                  ⟩
                
                
                  |
                  
                    
                      j
                      
                        2
                      
                    
                    ,
                    
                      m
                      
                        2
                      
                    
                  
                  ⟩
                
                ⋯
                
                  |
                  
                    
                      j
                      
                        n
                      
                    
                    ,
                    
                      m
                      
                        n
                      
                    
                  
                  ⟩
                
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}\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{aligned}}}

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:

<ul><li>a minus sign (−) indicates the ordering is clockwise, 
 
 
 
 ↻
 
 
 {\displaystyle \circlearrowright }
 
, and</li>
<li>a plus sign (+) for anticlockwise, 
 
 
 
 ↺
 
 
 {\displaystyle \circlearrowleft }
 
.</li></ul>
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 |j1, m1⟩, |j2, m2⟩, |j3, m3⟩, that is |j1, m1⟩|j2, m2⟩|j3, m3⟩ = |j1, m1, j2, m2, j3, m3⟩. Similarly for more than three angular momenta.Time reversed equivalent.

For the inner product of two tensor product states:

⟨
                  
                    
                      j
                      
                        n
                      
                      ′
                    
                    ,
                    
                      m
                      
                        n
                      
                      ′
                    
                    ,
                    .
                    .
                    .
                    ,
                    
                      j
                      
                        2
                      
                      ′
                    
                    ,
                    
                      m
                      
                        2
                      
                      ′
                    
                    ,
                    
                      j
                      
                        1
                      
                      ′
                    
                    ,
                    
                      m
                      
                        1
                      
                      ′
                    
                    
                      |
                    
                    
                      j
                      
                        1
                      
                    
                    ,
                    
                      m
                      
                        1
                      
                    
                    ,
                    
                      j
                      
                        2
                      
                    
                    ,
                    
                      m
                      
                        2
                      
                    
                    ,
                    .
                    .
                    .
                    
                      j
                      
                        n
                      
                    
                    ,
                    
                      m
                      
                        n
                      
                    
                  
                  ⟩
                
              
            
            
              
                =
              
              
                
                ⟨
                
                  j
                  
                    n
                  
                  ′
                
                ,
                
                  m
                  
                    n
                  
                  ′
                
                
                  |
                
                .
                .
                .
                ⟨
                
                  j
                  
                    2
                  
                  ′
                
                ,
                
                  m
                  
                    2
                  
                  ′
                
                
                  |
                
                ⟨
                
                  j
                  
                    1
                  
                  ′
                
                ,
                
                  m
                  
                    1
                  
                  ′
                
                
                  |
                
                
                  |
                
                
                  j
                  
                    1
                  
                
                ,
                
                  m
                  
                    1
                  
                
                ⟩
                
                  |
                
                
                  j
                  
                    2
                  
                
                ,
                
                  m
                  
                    2
                  
                
                ⟩
                .
                .
                .
                
                  |
                
                
                  j
                  
                    n
                  
                
                ,
                
                  m
                  
                    n
                  
                
                ⟩
              
            
            
              
                =
              
              
                
                
                  ∏
                  
                    k
                    =
                    1
                  
                  
                    n
                  
                
                
                  ⟨
                  
                    
                      j
                      
                        k
                      
                      ′
                    
                    ,
                    
                      m
                      
                        k
                      
                      ′
                    
                    
                      |
                    
                    
                      j
                      
                        k
                      
                    
                    ,
                    
                      m
                      
                        k
                      
                    
                  
                  ⟩
                
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}&\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{aligned}}}

there are n lots of inner product arrows:

Inner product of |j′1, m′1, j′2, m′2, j′3, m′3⟩ and |j1, m1, j2, m2, j3, m3⟩, that is ⟨j′3, m′3, j′2, m′2, j′1, m′1|j1, m1, j2, m2, j3, m3⟩. Similarly for more than three pairs of angular momenta.Time reversed equivalent.

<h2 id="examples-and-applications">Examples and applications</h2>
<ul><li>The diagrams are well-suited for <a href="/facts/Clebsch%25E2%2580%2593Gordan_coefficients/r063mruI">Clebsch–Gordan coefficients</a>.</li>
<li>Calculations with real quantum systems, such as <a href="/facts/Multielectron_atom/FoQ4kGN5">multielectron atoms</a> and <a href="/facts/Molecule/N9ljSfFq">molecular</a> systems.</li></ul>
Diagram for a <a href="/facts/6-j_symbol/WCENaaH9">6-j symbol</a>, 
 
 
 
 
 
 {
 
 
 
 
 j
 
 1
 
 
 
 
 
 j
 
 2
 
 
 
 
 
 j
 
 3
 
 
 
 
 
 
 
 j
 
 4
 
 
 
 
 
 j
 
 5
 
 
 
 
 
 j
 
 6
 
 
 
 
 
 }
 
 
 
 
 {\displaystyle {\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\end{Bmatrix}}}
 
.Diagram for a <a href="/facts/9-j_symbol/BcXu58ey">9-j symbol</a>, 
 
 
 
 
 
 {
 
 
 
 
 j
 
 1
 
 
 
 
 
 j
 
 2
 
 
 
 
 
 j
 
 3
 
 
 
 
 
 
 
 j
 
 4
 
 
 
 
 
 j
 
 5
 
 
 
 
 
 j
 
 6
 
 
 
 
 
 
 
 j
 
 7
 
 
 
 
 
 j
 
 8
 
 
 
 
 
 j
 
 9
 
 
 
 
 
 }
 
 
 
 
 {\displaystyle {\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\\j_{7}&j_{8}&j_{9}\end{Bmatrix}}}
 
.
<h2 id="see-also">See also</h2>
<ul>
<li>Physics portal</li></ul>
<ul><li><a href="/facts/Ladder_operator/kyGdlRjQ">Ladder operator</a></li>
<li><a href="/facts/Fock_space/I2PYLlhl">Fock space</a></li>
<li><a href="/facts/Feynman_diagrams/BRFNvDdr">Feynman diagrams</a></li></ul>

<ul><li>Yutsis, Adolfas P.; Levinson, I. B.; Vanagas, V. V. (1962). <a href="https://archive.org/details/nasa_techdoc_19630001624">Mathematical Apparatus of the Theory of Angular Momentum</a>. Translated by A. Sen; R. N. Sen. Israel Program for Scientific Translations.</li>
<li>Wormer and Paldus (2006)<a class="footnote-ref" id="fnref:2" href="#fn:2">2</a> provides an in-depth tutorial in angular momentum diagrams.</li>
<li>I. Lindgren; J. Morrison (1986). <a href="https://books.google.com/books?id=aQjwAAAAMAAJ&q=Jucys+angular+momentum+diagrams">Atomic Many-Body Theory</a>. Chemical Physics. Vol. 13 (2nd ed.). Springer-Verlag. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-16649-8.</li></ul>
<h2 id="further-reading">Further reading</h2>
<ul><li>G.W.F. Drake (2006). <a href="https://books.google.com/books?id=Jj-ad_2aNOAC&dq=Jucys+angular+momentum+diagrams&pg=PA60">Springer Handbook of Atomic, Molecular, and Optical Physics</a> (2nd ed.). springer. p. 60. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-387-26308-3.</li>
<li>U. Kaldor; S. Wilson (2003). <a href="https://books.google.com/books?id=0xcAM5BzS-wC&dq=Jucys+angular+momentum+diagrams&pg=PA183">Theoretical Chemistry and Physics of Heavy and Superheavy Elements</a>. Progress in Theoretical Chemistry and Physics. Vol. 11. springer. p. 183. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-4020-1371-3.</li>
<li>E.J. Brändas; P.O. Löwdin; E. Brändas; E.S. Kryachko (2004). <a href="https://books.google.com/books?id=w8RWWZBMlLsC&dq=Jucys+angular+momentum+diagrams&pg=PA385">Fundamental World of Quantum Chemistry: A Tribute to the Memory of Per-Olov Löwdin</a>. Vol. 3. Springer. p. 385. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-4020-2583-9.</li>
<li>P. Schwerdtfeger (2004). <a href="https://books.google.com/books?id=VEKdnHFK3J8C&dq=Jucys+angular+momentum+diagrams&pg=PA97">Relativistic Electronic Structure Theory: Part 2. Applications</a>. Theoretical and Computational Chemistry. Vol. 14. Elsevier. p. 97. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-08-054047-4.</li>
<li>M. Barysz; Y. Ishikawa (2010). <a href="https://books.google.com/books?id=QbDEC3oL7uAC&dq=Jucys+angular+momentum+diagrams&pg=PA311">Relativistic Methods for Chemists</a>. Challenges and Advances in Computational Chemistry and Physics. Vol. 10. Springer. p. 311. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-4020-9975-5.</li></ul>
<ul><li>G.H.F. Diercksen; S. Wilson (1983). <a href="https://books.google.com/books?id=d1cwnu-rRBMC&dq=Jucys+angular+momentum+diagrams&pg=PA158">Methods in Computational Molecular Physics</a>. NATO Science Series C. Vol. 113. Springer. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-90-277-1638-5.</li>
<li>Zenonas Rudzikas (2007). <a href="https://books.google.com/books?id=oPfRs_SQ6HoC&dq=Jucys+angular+momentum+diagrams&pg=PR8">"8"</a>. Theoretical Atomic Spectroscopy. Cambridge Monographs on Atomic, Molecular and Chemical Physics. Vol. 7. University of Chicago: Cambridge University Press. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-521-02622-2.</li>
<li>Lietuvos Fizikų draugija (2004). <a href="https://books.google.com/books?id=0hUVAQAAMAAJ&q=Jucys+angular+momentum+diagrams">Lietuvos fizikos žurnalas</a>. Vol. 44. University of Chicago: Draugija.</li>
<li>P.E.T. Jorgensen (1987). <a href="https://books.google.com/books?id=dsfNGMkMHawC&dq=Jucys+angular+momentum+diagrams&pg=PA311">Operators and Representation Theory: Canonical Models for Algebras of Operators Arising in Quantum Mechanics</a>. University of Chicago: Elsevier. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-08-087258-2.</li>
<li>P. Cvitanović (2008). <a href="http://birdtracks.eu#v=onepage&q=Jucys%20angular%20momentum%20diagrams&f=false">Group Theory - Birdtracks, Lie's, and Exceptional Groups</a>. Princeton, NJ: Princeton Univ. Press. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-691-11836-9.</li></ul>
<h2 id="notes">Notes</h2>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">P.E.S. Wormer; J. Paldus (2006). "Angular Momentum Diagrams". Advances in Quantum Chemistry. 51. Elsevier: 59–124. Bibcode:2006AdQC...51...59W. doi:10.1016/S0065-3276(06)51002-0. ISBN 9780120348510. ISSN 0065-3276. These authors use the theta variant ϑ for the time reversal operator, here we use T. <a href="9780120348510" target="_blank">9780120348510</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">P.E.S. Wormer; J. Paldus (2006). "Angular Momentum Diagrams". Advances in Quantum Chemistry. 51. Elsevier: 59–124. Bibcode:2006AdQC...51...59W. doi:10.1016/S0065-3276(06)51002-0. ISBN 9780120348510. ISSN 0065-3276. These authors use the theta variant ϑ for the time reversal operator, here we use T. <a href="9780120348510" target="_blank">9780120348510</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
</ol>

Angular momentum diagrams (quantum mechanics) open-in-new

Angular momentum diagrams (quantum mechanics)