All Questions

I understand that there are invariant Haar measure for eigenvalues of unitary matrix. I further understand that absolute value of eigenvalues of unitary matrix is 1. But, I could not find any analysis ...

Consider the group $U(d_1) \otimes U(d_2)$ of "local unitary" operators acting on the complex space $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ (i.e., $U(d_1) \otimes U(d_2)$ is the group of unitary ...

Let $V$ be the space of $4$ by $4$ Hermitian matrices, that is a vector space of dimension $16$ over $\mathbb{R}$. Is the uniform measure of $$ \left\{ W\in Gr\left(5,V\right):W \text{contains no ...