A random matrix is a matrix of given type and size whose entries consist of random numbers from some specified distribution.
Random matrix theory is cited as one of the "modern tools" used in Catherine's proof of an important result in prime number theory in the 2005 film Proof.
For a real matrix with elements having a standard normal distribution, the expected number of real eigenvalues is given by
(1)
| |||
(2)
|
where is a hypergeometric function and is a beta function (Edelman et al. 1994, Edelman and Kostlan 1994). has asymptotic behavior
(3)
|
Let be the probability that there are exactly real eigenvalues in the complex spectrum of the matrix. Edelman (1997) showed that
(4)
|
which is the smallest probability of all s. The entire probability function of the number of expected real eigenvalues in the spectrum of a Gaussian real random matrix was derived by Kanzieper and Akemann (2005) as
(5)
|
where
(6)
| |||
(7)
|
In (6), the summation runs over all partitions of length , is the number of pairs of complex-conjugated eigenvalues, and are zonal polynomial. In addition, (6) makes use a frequency representation of the partition (Kanzieper and Akemann 2005). The arguments depend on the parity of (the matrix dimension) and are given by
(8)
|
where is a matrix trace, is an matrix with entries
(9)
| |||
(10)
|
and vary between 0 and , with the floor function), are generalized Laguerre polynomials, and is the complementary erf function erfc (Kanzieper and Akemann 2005).
Edelman (1997) proved that the density of a random complex pair of eigenvalues of a real matrix whose elements are taken from a standard normal distribution is
(11)
| |||
(12)
|
for , where is the erfc (complementary error) function, is the exponential sum function, and is the upper incomplete gamma function. Integrating over the upper half-plane (and multiplying by 2) gives the expected number of complex eigenvalues as
(13)
| |||
(14)
| |||
(15)
|
(Edelman 1997). The first few values are
(16)
| |||
(17)
| |||
(18)
| |||
(19)
| |||
(20)
|
(OEIS A052928, A093605, and A046161).
Girko's circular law considers eigenvalues (possibly complex) of a set of random real matrices with entries independent and taken from a standard normal distribution and states that as , is uniformly distributed on the unit disk in the complex plane.
Wigner's semicircle law states that the for large symmetric real matrices with elements taken from a distribution satisfying certain rather general properties, the distribution of eigenvalues is the semicircle function.
If matrices are chosen with probability 1/2 from one of
(21)
| |||
(22)
|
then
(23)
|
where (OEIS A078416) and denotes the matrix spectral norm (Bougerol and Lacroix 1985, pp. 11 and 157; Viswanath 2000). This is the same constant appearing in the random Fibonacci sequence. The following Wolfram Language code can be used to estimate this constant.
With[{n = 100000}, m = Fold[Dot, IdentityMatrix[2], {{0, 1}, {1, #}}& /@ RandomChoice[{-1, 1}, {n}] ] // N; Log[Sqrt[Max[Eigenvalues[Transpose[m] . m]]]] / n ]