MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


This question is motivated by a statistical genetics model. Let $(x_1,y_1)$, .., $(x_N,y_N), ... $ be i.i.d. bi-variate Gaussian random variables. The $x_i,y_i$'s are standard Gaussians, $x_i, y_i \sim N(0,1)$, and $corr(x_i,y_i) = \rho$ for some $\rho \in (0,1)$. Let $X_N = \max(x_1, .., x_N)$ and $Y_N = \max(y_1, .., y_N)$.

$X_N$ (and $Y_N$), when normalized, has an asymptotic Gumbel distribution with $\alpha_N = \frac{1}{\sqrt{2 \log N}}$ and $\beta_N = \sqrt{2 \log N} - \frac{\log \log N + \log 4\pi}{2\sqrt{2\log N}}$, such that $Pr(\frac{X_N - \beta_N}{\alpha_N} < t) \to e^{-e^{-t}}$.

What is the correlation between $X_N$ and $Y_N$ as $N \to \infty$? are they asymptotically independent?

A quick simulation shows that this correlation drops as you increase $N$ but the decay is rather slow - so it's not clear if it goes to zero and if so, how rapidly. A possibly related result is that the max and sum of $N$ independent Gaussians are known to be asymptotically independent as $N \to \infty$ (see for example Ho, H. C. and Hsing, T. 1996).

share|cite|improve this question
up vote 4 down vote accepted

The main contribution to the correlation between $X_N$ and $Y_N$ is the event that the same $i$ maximizes $x_i$ and $y_i$. If $\rho$ is fixed, this event is asymptotically unlikely. (Given the value of $X_N=x_i$ we have that $E y_i=\rho X_N$, which is not large enough to make $y_i$ maximal.) For essentially the same reason they are asymptotically independent.

One way to make this precise is to first replace the number of samples by a Poisson with mean N. With high probability the resulting maxima are $X'_N=X_N$ and $Y'_N=Y_N$. However, this is now the rightmost and topmost points of a (non-homogeneous) Poisson process. These are w.h.p. located in different regions of the plane, so are almost independent.

share|cite|improve this answer
Thanx! yes, I can prove that the prob. of the same index giving the maximum for $X_N$ and $Y_N$ goes to zero, and understand the mapping to Poisson process. Just to get a complete proof, is there a good reference for the fact that the two extreme points are independent? (perhaps this is standard/trivial - pardon my ignorance of point processes) – Or Zuk Apr 12 '11 at 22:36
You can identify two disjoint subsets of the plane so that w.h.p. the point maximizing x_i is in one and the point maximizing y_i is in the other. The restrictions of the Poisson process to disjoint sets are independent by definition. – Omer Apr 13 '11 at 15:26

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.