9
$\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$
    – Roman
    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$ 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$
    – Roman
    Jan 18, 2019 at 22:02
  • $\begingroup$ @Roman It would be good to make that an answer. $\endgroup$
    – C. E.
    Jan 19, 2019 at 9:29

1 Answer 1

10
$\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$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.