ハール測度
Here, the integral over states is taken over the Haar measure on the unit sphere in formula_7