In probability theory, more specifically the study of random matrices, the circular law concerns the distribution of eigenvalues of an n × n {\displaystyle n\times n} random matrix with independent and identically distributed entries in the limit n → ∞ {\displaystyle n\to \infty } .
It asserts that for any sequence of random n × n matrices whose entries are independent and identically distributed random variables, all with mean zero and variance equal to 1/n, the limiting spectral distribution is the uniform distribution over the unit disc.
The complex Ginibre ensemble is defined as X = 1 2 Z 1 + i 2 Z 2 {\displaystyle X={\frac {1}{\sqrt {2}}}Z_{1}+{\frac {i}{\sqrt {2}}}Z_{2}} for Z 1 , Z 2 ∈ R n × n {\displaystyle Z_{1},Z_{2}\in \mathbb {R} ^{n\times n}} , with all their entries sampled IID from the standard normal distribution N ( 0 , 1 ) {\displaystyle {\mathcal {N}}(0,1)} .
The real Ginibre ensemble is defined as X = Z 1 {\displaystyle X=Z_{1}} .
The eigenvalues of X {\displaystyle X} are distributed according to[1] ρ n ( z 1 , … , z n ) = 1 π n ∏ k = 1 n k ! exp ( − ∑ k = 1 n | z k | 2 ) ∏ 1 ≤ j < k ≤ n | z j − z k | 2 {\displaystyle \rho _{n}\left(z_{1},\ldots ,z_{n}\right)={\frac {1}{\pi ^{n}\prod _{k=1}^{n}k!}}\exp \left(-\sum _{k=1}^{n}\left|z_{k}\right|^{2}\right)\prod _{1\leq j<k\leq n}\left|z_{j}-z_{k}\right|^{2}}
Let ( X n ) n = 1 ∞ {\displaystyle (X_{n})_{n=1}^{\infty }} be a sequence sampled from the complex Ginibre ensemble. Let λ 1 , … , λ n , 1 ≤ j ≤ n {\displaystyle \lambda _{1},\ldots ,\lambda _{n},1\leq j\leq n} denote the eigenvalues of 1 n X n {\displaystyle {\frac {1}{\sqrt {n}}}X_{n}} . Define the empirical spectral measure of 1 n X n {\displaystyle \displaystyle {\frac {1}{\sqrt {n}}}X_{n}} as
Then, almost surely (i.e. with probability one), the sequence of measures μ 1 n X n {\displaystyle \displaystyle \mu _{{\frac {1}{\sqrt {n}}}X_{n}}} converges in distribution to the uniform measure on the unit disk.
Let G n {\displaystyle G_{n}} be sampled from the real or complex ensemble, and let ρ ( G n ) {\displaystyle \rho (G_{n})} be the absolute value of its maximal eigenvalue: ρ ( G n ) := max j | λ j | {\displaystyle \rho (G_{n}):=\max _{j}|\lambda _{j}|} We have the following theorem for the edge statistics:[2]
Edge statistics of the Ginibre ensemble—For G n {\displaystyle G_{n}} and ρ ( G n ) {\displaystyle \rho \left(G_{n}\right)} as above, with probability one, lim n → ∞ 1 n ρ ( G n ) = 1 {\displaystyle \lim _{n\rightarrow \infty }{\frac {1}{\sqrt {n}}}\rho \left(G_{n}\right)=1}
Moreover, if γ n = log ( n 2 π ) − 2 log ( log ( n ) ) {\displaystyle \gamma _{n}=\log \left({\frac {n}{2\pi }}\right)-2\log(\log(n))} and Y n := 4 n γ n ( 1 n ρ ( G n ) − 1 − γ n 4 n ) , {\displaystyle Y_{n}:={\sqrt {4n\gamma _{n}}}\left({\frac {1}{\sqrt {n}}}\rho \left(G_{n}\right)-1-{\sqrt {\frac {\gamma _{n}}{4n}}}\right),} then Y n {\displaystyle Y_{n}} converges in distribution to the Gumbel law, i.e., the probability measure on R {\displaystyle \mathbb {R} } with cumulative distribution function F G u m ( x ) = e − e − x {\displaystyle F_{\mathrm {Gum} }(x)=e^{-e^{-x}}} .
This theorem refines the circular law of the Ginibre ensemble. In words, the circular law says that the spectrum of 1 n G n {\displaystyle {\frac {1}{\sqrt {n}}}G_{n}} almost surely falls uniformly on the unit disc. and the edge statistics theorem states that the radius of the almost-unit-disk is about 1 − γ n 4 n {\displaystyle 1-{\sqrt {\frac {\gamma _{n}}{4n}}}} , and fluctuates on a scale of 1 4 n γ n {\displaystyle {\frac {1}{\sqrt {4n\gamma _{n}}}}} , according to the Gumbel law.
For random matrices with Gaussian distribution of entries (the Ginibre ensembles), the circular law was established in the 1960s by Jean Ginibre.[3] In the 1980s, Vyacheslav Girko introduced[4] an approach which allowed to establish the circular law for more general distributions. Further progress was made[5] by Zhidong Bai, who established the circular law under certain smoothness assumptions on the distribution.
The assumptions were further relaxed in the works of Terence Tao and Van H. Vu,[6] Guangming Pan and Wang Zhou,[7] and Friedrich Götze and Alexander Tikhomirov.[8] Finally, in 2010 Tao and Vu proved[9] the circular law under the minimal assumptions stated above.
The circular law result was extended in 1985 by Girko[10] to an elliptical law for ensembles of matrices with a fixed amount of correlation between the entries above and below the diagonal. The elliptic and circular laws were further generalized by Aceituno, Rogers and Schomerus to the hypotrochoid law which includes higher order correlations.[11]