11
$\begingroup$

On Wikipedia, elements of Wigner's D-matrix are defined as

$$D_{m'm}^{j}(\alpha,\beta,\gamma)=\langle jm'|e^{-i\alpha J_z}e^{-i\beta J_y}e^{-i\gamma J_z}|jm\rangle=e^{-im'\alpha}d_{m'm}^j (\beta)e^{-im\gamma }$$ where $d_{m'm}^j (\beta)=\langle jm'|e^{-i\beta J_y}|jm\rangle$ is the Wigner (small) d-matrix element. According to the documentation, such Wigner D-functions are implemented in Mathematica via the WignerD command: "WignerD[{j, m1, m2}, ψ, θ, ϕ] gives the Wigner D-function $D_{m_1m_2}^j(\psi,\theta,\phi)$."

However, something seems off. For instance, according to Wikipedia one has

$$D_{1/2,-1/2}(0,\beta,0)=d_{1/2,-1/2}(\beta)=-\sin(\beta/2).$$

whereas Mathematica's WignerD command yields

 In[1]:= WignerD[{1/2, 1/2, -1/2}, 0, β, 0] Out[1]= Sin[β/2]. In[2]:= WignerD[{1/2, -1/2, 1/2}, 0, β, 0] Out[2]= -Sin[β/2]. 

So Mathematica seems to disagree with Wikipedia as to the overall sign (or, equivalently, the order of $m',m$). This presumably reflects some convention for how the Wigner D-functions are defined in Mathematica, but I haven't seen this documented anywhere. Can anyone clear up the confusion?

$\endgroup$
4
  • $\begingroup$ Yes there are two common sign conventions. Mathematica doesn't use the one that most physicists use (the Wigner sign convention). $\endgroup$ Commented Jan 18, 2019 at 21:17
  • $\begingroup$ @Roman Is that sign convention just a matter of plus/minus in the exponents? That'd be consistent with what I saw above. $\endgroup$ Commented Jan 18, 2019 at 21:49
  • $\begingroup$ Quoting arxiv.org/pdf/1710.11282.pdf for the $d$-matrices: "Note that the MATHEMATICA sign convention is $\text{WignerD}[\{j,m_1,m_2\},\theta] = d^j_{-m1,-m2}(\theta)$." And yes, the signs of the phase exponentials for $\alpha$ and $\gamma$ differ as well, as far as I remember; but those are easy to check. $\endgroup$ Commented Jan 18, 2019 at 22:02
  • $\begingroup$ @Roman It would be good to make that an answer. $\endgroup$ Commented Jan 19, 2019 at 9:29

1 Answer 1

11
$\begingroup$

In physics and on Wikipedia, Wigner's sign convention is used; Mathematica uses a different sign convention. To define a Wigner D matrix that adheres to the Wigner/Wikipedia sign convention, you can use

myWignerD[{j_, m1_, m2_}, α_, β_, ɣ_] = WignerD[{j, -m1, -m2}, α, β, ɣ]; 

As far as I can tell, this definition confirms the formulas given at https://en.wikipedia.org/wiki/Wigner_D-matrix#List_of_d-matrix_elements for $\alpha=\gamma=0$ (the $d$-matrix elements) as well as the $\alpha$- and $\gamma$-dependences.

$\endgroup$

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.