Get the irreducible group representation of SU(2) for a given angular momentum
Contributed by:
Bernd Günther
ResourceFunction["WignerMatrix"][j,a]
computes the Wigner matrix corresponding to the matrix a representing the irreducible Lie group representation corresponding to angular momentum j.
Details
The angular momentum j should be a non-negative integer or half-integer, while a should be a 2×2 matrix (the representation, though originally defined only on , extends over ).
ResourceFunction["WignerMatrix"] gives a matrix of dimension (2j+1)×(2j+1), whose entries are homogeneous polynomials of degree 2j in the entries of a.
For j=1/2, WignerMatrix yields the fundamental representation (i.e. the identity function):
In[1]:=
Out[1]=
The matrix entries are homogeneous polynomial functions of the elements of the argument matrix :
In[2]:=
Out[2]=
Applications (2)
Obtain the images of the infinitesimal generators using PauliMatrix:
In[3]:=
Out[3]=
In[4]:=
Out[4]=
In[5]:=
Out[5]=
Verify an identity:
In[6]:=
Out[6]=
Properties and Relations (2)
For j=1 and argument matrices expressed in terms of Euler angles, the result of WignerMatrix is related to EulerMatrix through a similarity transformation:
In[7]:=
Out[7]=
For general angular momentum j, the entries of WignerMatrix are given by WignerD functions:
In[8]:=
Out[8]=
Neat Examples (4)
Check the multiplicative property of WignerMatrix:
In[9]:=
Out[9]=
The determinant of WignerMatrix with angular momentum j is the j(2j+1)th power of the determinant of the argument matrix:
In[10]:=
Out[10]=
The character of the representation, i.e. the trace of WignerMatrix, is given by Tr[WignerMatrix[j,x]]=Det[x]jChebyshevU[2j,Tr[x]/(2Sqrt[Det[x]])]:
In[11]:=
Out[11]=
As a matrix with homogeneous polynomial entries, WignerMatrix must satisfy Euler's homogeneity relation:
Costa, G., Fogli, G., Symmetries and Group Theory in Particle Physics: An Introduction to Space-Time and Internal Symmetries. Lecture Notes in Physics, vol. 823, Equation 2.65, §2.4, p. 38. Berlin Heidelberg: Springer-Verlag, 2012.
Expressing the representation matrix in “Cartesian coordinates”, i.e. the elements of the argument matrix, rather than the more familiar Euler angles, simplifies certain computations (e.g. multiplication of representation matrices) significantly.
Unfortunately I don’t have a reference giving WignerMatrix directly in terms of the entries of the argument matrix. Costa’s and Fogli's expressions are in terms of the customary Euler angles. To derive our expression, one must resubstitute the Cayley-Klein rotation parameters from the Euler matrix in SU(2) , obtained from the fundamental representation j=1/2.
Euler angles, though useful in some contexts, are quite inapplicable in others. For instance, to check the multiplicative property of the representation, one would need an addition theorem for Euler angles. The ensuing complexity can be managed only for very low values of the angular momentum j, even by Mathematica.