Use the symmetric joint probability density function of exchangeably labelled eigenvalues, normalized over all of . The finite-rank projection kernel hasSuccessive applications of Gaudin's lemma therefore giveIt follows thatAs a normalization check, the weighted Vandermonde determinant yieldsIf instead one uses ordered eigenvalues on , the normalized density on that chamber is six times the labelled density. In that convention the determinant prefactor on the chamber is one.
Articles by others on the same topic
There are currently no matching articles.