We derive the joint asymptotic distribution of the outlier eigenvalues of an additively deformed Wigner matrix $H$. Our only assumptions on the deformation are that its rank be fixed and its norm bounded. Our results extend those of [The isotropic semicircle law and deformation of Wigner matrices. Preprint] by admitting overlapping outliers and by computing the joint distribution of all outliers. In particular, we give a complete description of the failure of universality first observed in [Ann. Probab. 37 (2009) 1-47; Ann. Inst. Henri Poincar\'{e} Probab. Stat. 48 (1013) 107-133; Free convolution with a semi-circular distribution and eigenvalues of spiked deformations of Wigner matrices. Preprint]. We also show that, under suitable conditions, outliers may be strongly correlated even if they are far from each other. Our proof relies on the isotropic local semicircle law established in [The isotropic semicircle law and deformation of Wigner matrices. Preprint]. The main technical achievement of the current paper is the joint asymptotics of an arbitrary finite family of random variables of the form $\langle\mathbf{v},(H-z)^{-1}\mathbf{w}\rangle$.

In this paper, we prove a necessary and sufficient condition for Tracy-Widom law of Wigner matrices. Consider N×N symmetric Wigner matrices H with Hij=N−1/2xij, whose upper right entries xij (1≤i<j≤N) are i.i.d. random variables with distribution μ and diagonal entries xii (1≤i≤N) are i.i.d. random variables with distribution $\wt \mu$. The means of μ and $\wt \mu$ are zero, the variance of μ is 1, and the variance of $\wt \mu$ is finite. We prove that Tracy-Widom law holds if and only if $\lim_{s\to \infty}s^4\p(|x_{12}| \ge s)=0$. The same criterion holds for Hermitian Wigner matrices.

In this paper, we prove a necessary and sufficient condition for Tracy-Widom law of Wigner matrices. Consider $N \times N$ symmetric Wigner matrices $H$ with $H_{ij} = N^{-1/2} x_{ij}$, whose upper right entries $x_{ij}$ $(1\le i< j\le N)$ are $i.i.d.$ random variables with distribution $\mu$ and diagonal entries $x_{ii}$ $(1\le i\le N)$ are $i.i.d.$ random variables with distribution $\wt \mu$. The means of $\mu$ and $\wt \mu$ are zero, the variance of $\mu$ is 1, and the variance of $\wt \mu $ is finite. We prove that Tracy-Widom law holds if and only if $\lim_{s\to \infty}s^4\p(|x_{12}| \ge s)=0$. The same criterion holds for Hermitian Wigner matrices.