Eigenvalue distributions of finite dimensional Wishart matrices - MathOverflow most recent 30 from http://mathoverflow.net2013-06-20T11:42:10Zhttp://mathoverflow.net/feeds/question/84865http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/84865/eigenvalue-distributions-of-finite-dimensional-wishart-matricesEigenvalue distributions of finite dimensional Wishart matrices2012-01-04T07:44:37Z2012-01-05T15:46:21Z
<p>I am trying to obtain the eigenvalue distribution of a finite dimensional Wishart matrix. Let $A_{n\times n}\sim\mathbb{W}(\Sigma_{n\times n},m)$ where $\mathbb{W}(\Sigma_{n\times n},m)$ denotes the <a href="http://en.wikipedia.org/wiki/Wishart_distribution" rel="nofollow">Wishart distribution</a> with covariance $\Sigma_{n\times n}$ and degrees of freedom $m$. I know that the result in the asymptotic case as $n,m\to\infty$ and $n/m\to c$ is given by the Marchenko–Pastur (M-P) density. My research led me to the following book:</p>
<blockquote>
<p>T. W. Anderson, <em>"An Introduction to Multivariate Statistical Analysis"</em>, Ed. 2, John Wiley & Sons, Inc., 1984</p>
</blockquote>
<p>It is my understanding that this is a classical textbook on multivariate statistics and a lot of its results are very well cited. One that was of particular interest to me is in page 534, Theorem 13.3.2 (notation changed to match the usage above):</p>
<blockquote>
<p>If $A\ (n\times n)$ has the distribution $\mathbb{W}(I,m)$, then the characteristic roots $(l_1\geq l_2\geq\ldots\geq l_n\geq 0)$ have the [following] density over the range when the density is not 0.</p>
<p>$$\frac{\pi^{n^2/2}\prod_{i=1}^n l_i^{(m-n-1)/2}\exp\left(-\frac{1}{2}\sum_{i=1}^n l_i\right)\prod_{i\lt j}(l_i-l_j)}{2^{nm/2}\Gamma_n(m/2)\Gamma_n(n/2)}$$</p>
</blockquote>
<p>where $\Gamma_n(x)$ is the <a href="http://en.wikipedia.org/wiki/Multivariate_gamma_function" rel="nofollow">multivariate Gamma function</a> defined as </p>
<p>$$\Gamma_n(x)=\pi^{n(n-1)/4}\prod_{i=1}^n \Gamma\left(x+(1-i)/2\right)$$</p>
<p>I have the following questions:</p>
<ol>
<li>The expression for the density is a bit strange to me. Am I right in understanding that if there is an underlying continuous density $\rho(x)$, the expression above gives the density at a particular point $l_j$ as $\rho(l_j)$? If so, how do I flesh out $\rho(x)$ from the complicated expression?</li>
<li>It seems to me that the expression requires knowledge of the eigenvalues $l_1,\ldots, l_n$ to calculate the density, and as such is less useful than a function $\rho(x)$ (like the M-P density), which is free of the individual eigenvalues. For example, if I needed to know the density for $n=10000$, I'll have to first evaluate the eigenvalues for a $10000\times 10000$ matrix before using the expression. In that case, bin counting or histogram would be simpler to use than this expression.</li>
<li>Coming to evaluating the above density numerically, the denominator seems to be humungous ($10^{5000}$ish) when compared to the numerator ($10^{300}$ish) for nominal values of say, $n=30$ and $m=100$. As such, the density evaluates to <em>almost</em> 0 everywhere. I haven't posted the code as I believe it is my interpretation of the expression above (questions 1 & 2) that are incorrect, and not my implementation. However, I can provide code in Mathematica to evaluate the above expression, if anyone wants it.</li>
</ol>
http://mathoverflow.net/questions/84865/eigenvalue-distributions-of-finite-dimensional-wishart-matrices/84968#84968Answer by F P for Eigenvalue distributions of finite dimensional Wishart matricesF P2012-01-05T15:46:21Z2012-01-05T15:46:21Z<p>Hi, I think you should have a look at this:</p>
<p>Zanella, A., M. Chiani and M.Z. Win,
"On the marginal distribution of the eigenvalues of wishart matrices"
IEEE Transactions on Communications 57 (2009):1050-1060</p>
<p>Cheers, FP</p>