Does anybody know if there exists results on the probability distribution of the Hilbert Schmidt inner product of random unitary matrices?
To be more specific, given two random isotropically distributed unitary matrices $U_1 \in \mathbb{C}^{n \times n}$ and $U_2 \in \mathbb{C}^{n \times n}$, is something known about the distribution of $\mathrm{trace}\left(U_1^{H} U_2 \right)$? The superscript $H$ denotes conjugate transposition.
Actually, I am only interested in the real-part of this quantity, since it comes up when calculating the Frobenius norm $\left\|U_1 - U_2 \right\|_F$. But I guess the distribution of real-part and imaginary-part would be equal in that case.
Many thanks for any hint!