Random Matrix
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
]



bet3 < aleph3

