Random Matrix

DOWNLOAD Mathematica Notebook

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 n×n matrix with elements having a standard normal distribution, the expected number of real eigenvalues is given by

E_n=1/2+sqrt(2)(_2F_1(1,-1/2;n;1/2))/(B(n,1/2))
(1)
={sqrt(2)sum_(k=0)^(n/2-1)((4k-1)!!)/((4k)!!) for n even; 1+sqrt(2)sum_(k=1)^((n-1)/2)((4k-3)!!)/((4k-2)!!) for n odd,
(2)

where _2F_1(a,b;c;z) is a hypergeometric function and B(z,a) is a beta function (Edelman et al. 1994, Edelman and Kostlan 1994). E_n has asymptotic behavior

 E_n∼sqrt((2n)/pi).
(3)

Let p_(n,k) be the probability that there are exactly k real eigenvalues in the complex spectrum of the n×n matrix. Edelman (1997) showed that

 p_(n,n)=2^(-n(n-1)/4),
(4)

which is the smallest probability of all p_(n,k)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

 p_(n,k)=p_(n,n)F_l(p_1,...,p_l),
(5)

where

F_l(p_1,...,p_l)=(-1)^lsum_(|lambda|=l)product_(j=1)^(g)1/(sigma_j!)(-(p_(l_j))/(l_j))^(sigma_j)
(6)
=1/(l!)Z_((1^l))(p_1,...,p_l).
(7)

In (6), the summation runs over all partitions lambda of length l, l is the number of pairs of complex-conjugated eigenvalues, and Z_((1^l)) are zonal polynomial. In addition, (6) makes use a frequency representation of the partition lambda (Kanzieper and Akemann 2005). The arguments p_l depend on the parity of n (the matrix dimension) and are given by

 p_j=Tr_((0,|_n/2_|-1))rho^^^j,
(8)

where Tr(A) is a matrix trace, rho^^ is an m×m matrix with entries

rho^^_(alpha,beta)^(even)=int_0^inftyy^(2(beta-alpha)-1)e^(y^2)erfc(ysqrt(2))×[(2alpha+1)L_(2alpha+1)^(2(beta-alpha)-1)(-2y^2)+2y^2L_(2alpha-1)^(2(beta-alpha)+1)(-2y^2)]dy
(9)
rho^^_(alpha,beta)^(odd)=rho^^_(alpha,beta)^(even)-(-4)^(m-beta)(m!)/((2m)!)((2beta)!)/(beta!)rho^^_(alpha,beta)^(even),
(10)

alpha and beta vary between 0 and m-1, m=|_n/2_| with |_x_| the floor function), L_j^alpha(z) are generalized Laguerre polynomials, and erfc(z) is the complementary erf function erfc (Kanzieper and Akemann 2005).

RandomMatrixComplexEigenvalues

Edelman (1997) proved that the density of a random complex pair of eigenvalues x+/-iy of a real n×n matrix whose elements are taken from a standard normal distribution is

rho_n(x,y)=sqrt(2/pi)ye^(y^2-x^2)erfc(sqrt(2)y)e_(n-2)(x^2+y^2)
(11)
=sqrt(2/pi)e^(2y^2)yerfc(sqrt(2)y)(Gamma(n-1,x^2+y^2))/(Gamma(n-1))
(12)

for y>=0, where erfc(z) is the erfc (complementary error) function, e_n(z) is the exponential sum function, and Gamma(a,x) is the upper incomplete gamma function. Integrating over the upper half-plane (and multiplying by 2) gives the expected number of complex eigenvalues as

c_n=2int_(-infty)^inftyint_0^inftyrho_n(x,y)dydx
(13)
=n-1/2-sqrt(2)(_2F_1(1,-1/2;n;1/2))/(B(n,1/2))
(14)
=n-1/2-(2n-1)!!2^(-n)_2F^~_1(n-1,-1/2;n;-1)
(15)

(Edelman 1997). The first few values are

c_1=0
(16)
c_2=2-sqrt(2)
(17)
c_3=2-1/2sqrt(2)
(18)
c_4=4-(11)/8sqrt(2)
(19)
c_5=4-(13)/(16)sqrt(2)
(20)

(OEIS A052928, A093605, and A046161).

Girko's circular law considers eigenvalues lambda (possibly complex) of a set of random n×n real matrices with entries independent and taken from a standard normal distribution and states that as n->infty, lambda/sqrt(n) is uniformly distributed on the unit disk in the complex plane.

Wigner's semicircle law states that the for large n×n symmetric real matrices with elements taken from a distribution satisfying certain rather general properties, the distribution of eigenvalues is the semicircle function.

If n matrices M_i are chosen with probability 1/2 from one of

M_+=[0 1; 1 1]
(21)
M_-=[0 1; 1 -1],
(22)

then

 lim_(n->infty)(ln||M_1...M_n||)/n=c,
(23)

where e^c=1.13198824... (OEIS A078416) and ||M|| 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
  ]

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.