Representation operator

Wigner-Eckart theorem

Let π‘ˆ :𝐺 β†’GL(𝑉) be a unitary representation with its decomposition into irreps. Let {Oπœ‡π‘–}π‘‘πœ‡π‘–=1 be irreducible operators transforming in Ξ“πœ‡ and {|π‘’πœˆπ›Όπ‘—βŸ©}π‘‘πœˆπ‘–=1 be an irreducible orthonormal basis transforming in Ξ“πœˆ. Following Irreducible operators applied to an irreducible orthonormal basis transform in the product representation, let |𝑖,π‘—βŸ© denote Oπœ‡π‘–|π‘’πœˆπ›Όπ‘—βŸ©, and |π‘€πœ†π›Ύβ„“βŸ© =|𝛾,πœ†,β„“βŸ© denote the decomposed basis for the product. Then1 #m/thm/rep

βŸ¨π‘’πœ†π›Όβ„“|Oπœ‡π‘–|π‘’πœˆπ›½π‘—βŸ©=βˆ‘π›ΎβŸ¨π›Ύ,πœ†,β„“(πœ‡,𝜈)𝑖,π‘—βŸ©βŸ¨π›Ό,πœ†β€–Oπœ‡β€–π›½,πœˆβŸ©π›Ύ

where the so-called reduced matrix element is given by

βŸ¨π›Ό,πœ†β€–Oπœ‡β€–π›½,πœˆβŸ©π›Ύ=1π‘‘πœ†βˆ‘π‘˜βŸ¨π‘’πœ†π›Όπ‘˜|𝛾,πœ†,π‘˜βŸ©
Proof

Both {|π‘’πœ‡π›Όπ‘–βŸ©}π‘‘πœ‡π‘–=1 and {|𝛾,πœ†,β„“βŸ©}π‘‘πœ†πœ†=1 are Irreducible orthonormal basis vectors, but may not coΓ―ncide exactly for each irreducible invariant subspace, hence the reduced matrix element:

βŸ¨π‘’πœ†π›Όβ„“|Oπœ‡π‘–|π‘’πœˆπ›½π‘—βŸ©=βˆ‘πœŒ;𝛾,π‘šβŸ¨π‘’πœ†π›Όβ„“|𝛾,𝜌,π‘šβŸ©βŸ¨π›Ύ,𝜌,π‘š|𝑖,π‘—βŸ©=βˆ‘πœŒ;𝛾,π‘šβŸ¨π›Ύ,𝜌,π‘š|𝑖,π‘—βŸ©1π‘‘πœ†βˆ‘π‘˜βŸ¨π‘’πœ†π›Όπ‘˜|𝛾,πœ†,π‘˜βŸ©=βˆ‘π‘˜βŸ¨π‘’πœ†π›Όπ‘˜|𝛾,πœ†,π‘˜βŸ©βŸ¨π›Ό,πœ†β€–Oπœ‡β€–π›½,πœˆβŸ©π›Ύ

as required.


#state/develop | #lang/en | #SemBr

Footnotes

  1. 2023, Groups and representations, Β§4.2, pp. 54–55 ↩