Skip to main content
edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
Source Link

Integration with respect to Haar measures normalised over a subspace

Coming from physics I have come across the following integral over a haar measure (for $U$ unitary as an example) for something I am trying to determine for my work

$\int_{\mathcal{U}(d)} \frac{\mathrm{Tr}(XUAU^{\dagger} \Pi)^{2}}{\mathrm{Tr}(UAU^{\dagger} \Pi)}dU$

where $\Pi$ is idempotent (and if relevant commutes with $X$) and $A$ can be assumed to be a rank 1, trace 1 matrix.

I understand that we can use Weingarten calculus to compute these kinds of integrals when they are a polynomial of $U$ and $U^{\dagger}$, but I haven't seen anything for when there are quotients involved.

Is there some known way to compute these kinds of integrals?

I have come across Haar integral of rational function of unitaries which is similar but only has the denominator, but I am wondering if similar techniques are known when there are additional terms of $U$ in the integral