Random matrix

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

In probability theory and mathematical physics, a random matrix (sometimes stochastic matrix) is a matrix-valued random variable—that is, a matrix some or all of whose elements are random variables. Many important properties of physical systems can be represented mathematically as matrix problems. For example, the thermal conductivity of a lattice can be computed from the dynamical matrix of the particle-particle interactions within the lattice.

Applications

Physics

In nuclear physics, random matrices were introduced by Eugene Wigner[1] to model the spectra of heavy atoms. He postulated that the spacings between the lines in the spectrum of a heavy atom should resemble the spacings between the eigenvalues of a random matrix, and should depend only on the symmetry class of the underlying evolution.[2] In solid-state physics, random matrices model the behaviour of large disordered Hamiltonians in the mean field approximation.

In quantum chaos, the Bohigas–Giannoni–Schmit (BGS) conjecture[3] asserts that the spectral statistics of quantum systems whose classical counterparts exhibit chaotic behaviour are described by random matrix theory.

Random matrix theory has also found applications to the chiral Dirac operator in quantum chromodynamics,[4] quantum gravity in two dimensions,[5] mesoscopic physics,[6]spin-transfer torque,[7] the fractional quantum Hall effect,[8] Anderson localization,[9] quantum dots,[10] and superconductors[11]

Mathematical statistics and numerical analysis

In multivariate statistics, random matrices were introduced by John Wishart for statistical analysis of large samples;[12] see estimation of covariance matrices.

Significant results have been shown that extend the classical scalar Chernoff, Bernstein, and Hoeffding inequalities to the largest eigenvalues of finite sums of random Hermitian matrices.[13] Corollary results are derived for the maximum singular values of rectangular matrices.

In numerical analysis, random matrices have been used since the work of John von Neumann and Herman Goldstine[14] to describe computation errors in operations such as matrix multiplication. See also[15] for more recent results.

Number theory

In number theory, the distribution of zeros of the Riemann zeta function (and other L-functions) is modelled by the distribution of eigenvalues of certain random matrices.[16] The connection was first discovered by Hugh Montgomery and Freeman J. Dyson. It is connected to the Hilbert–Pólya conjecture.

Theoretical neuroscience

In the field of theoretical neuroscience, random matrices are increasingly used to model the network of synaptic connections between neurons in the brain. Dynamical models of neuronal networks with random connectivity matrix were shown to exhibit a phase transition to chaos [17] when the variance of the synaptic weights crosses a critical value, at the limit of infinite system size. Relating the statistical properties of the spectrum of biologically inspired random matrix models to the dynamical behavior of randomly connected neural networks is an intensive research topic.[18][19][20][21][22]

Optimal control

In optimal control theory, the evolution of n state variables through time depends at any time on their own values and on the values of k control variables. With linear evolution, matrices of coefficients appear in the state equation (equation of evolution). In some problems the values of the parameters in these matrices are not known with certainty, in which case there are random matrices in the state equation and the problem is known as one of stochastic control.[23]:ch. 13[24][25] A key result in the case of linear-quadratic control with stochastic matrices is that the "certainty equivalence principle" does not apply: while in the absence of multiplier uncertainty (that is, with only additive uncertainty) the optimal policy with a quadratic loss function coincides with what would be decided if the uncertainty were ignored, this no longer holds in the presence of random coefficients in the state equation.

Gaussian ensembles

The most studied random matrix ensembles are the Gaussian ensembles.

The Gaussian unitary ensemble GUE(n) is described by the Gaussian measure with density

 \frac{1}{Z_{\text{GUE}(n)}} e^{- \frac{n}{2} \mathrm{tr} H^2}

on the space of n × n Hermitian matrices H = (Hij)n
i,j=1
. Here ZGUE(n) = 2n/2 πn2/2 is a normalization constant, chosen so that the integral of the density is equal to one. The term unitary refers to the fact that the distribution is invariant under unitary conjugation. The Gaussian unitary ensemble models Hamiltonians lacking time-reversal symmetry.

The Gaussian orthogonal ensemble GOE(n) is described by the Gaussian measure with density

 \frac{1}{Z_{\text{GOE}(n)}} e^{- \frac{n}{4} \mathrm{tr} H^2}

on the space of n × n real symmetric matrices H = (Hij)n
i,j=1
. Its distribution is invariant under orthogonal conjugation, and it models Hamiltonians with time-reversal symmetry.

The Gaussian symplectic ensemble GSE(n) is described by the Gaussian measure with density

 \frac{1}{Z_{\text{GSE}(n)}} e^{- n \mathrm{tr} H^2} \,

on the space of n × n Hermitian quaternionic matrices, e.g. symmetric square matrices composed of quaternions, H = (Hij)n
i,j=1
. Its distribution is invariant under conjugation by the symplectic group, and it models Hamiltonians with time-reversal symmetry but no rotational symmetry.

The joint probability density for the eigenvalues λ1,λ2,...,λn of GUE/GOE/GSE is given by

\frac{1}{Z_{\beta, n}} \prod_{k=1}^n e^{-\frac{\beta n}{4}\lambda_k^2}\prod_{i<j}\left|\lambda_j-\lambda_i\right|^\beta~, \quad (1)

where the Dyson index, β = 1 for GOE, β = 2 for GUE, and β = 4 for GSE, counts the number of real components per matrix element; Zβ,n is a normalisation constant which can be explicitly computed, see Selberg integral. In the case of GUE (β = 2), the formula (1) describes a determinantal point process. Eigenvalues repel as the joint probability density has a zero (of \betath order) for coinciding eigenvalues \lambda_j=\lambda_i.

For the distribution of the largest eigenvalue for GOE, GUE and Wishart matrices of finite dimensions, see.[26]

Distribution of level spacings

From the ordered sequence of eigenvalues \lambda_1 < \ldots < \lambda_n < \lambda_{n+1} < \ldots, one defines the normalized spacings s = (\lambda_{n+1} - \lambda_n)/\langle s \rangle, where \langle s \rangle =\langle  \lambda_{n+1} - \lambda_n \rangle is the mean spacing. The probability distribution of spacings is approximately given by,

  p_1(s) = \frac{\pi}{2}s\, \mathrm{e}^{-\frac{\pi}{4} s^2}

for the orthogonal ensemble GOE \beta=1,

 p_2(s) = \frac{32}{\pi^2}s^2 \mathrm{e}^{-\frac{4}{\pi} s^2}

for the unitary ensemble GUE \beta=2, and

 p_4(s) = \frac{2^{18}}{3^6\pi^3}s^4 \mathrm{e}^{-\frac{64}{9\pi} s^2}

for the symplectic ensemble GSE \beta=4.

The numerical constants are such that  p_\beta(s) is normalized:

 \int_0^\infty ds\,p_\beta(s) = 1

and the mean spacing is,

 \int_0^\infty ds\, s\, p_\beta(s) = 1,

for  \beta = 1,2,4 .

Generalisations

Wigner matrices are random Hermitian matrices  \textstyle H_n = (H_n(i,j))_{i,j=1}^n such that the entries

 \left\{ H_n(i, j)~, \, 1 \leq i \leq j \leq n \right\}

above the main diagonal are independent random variables with zero mean, and

 \left\{ H_n(i, j)~, \, 1 \leq i < j \leq n \right\}

have identical second moments.

Invariant matrix ensembles are random Hermitian matrices with density on the space of real symmetric/ Hermitian/ quaternionic Hermitian matrices, which is of the form \textstyle \frac{1}{Z_n} e^{- n \mathrm{tr} V(H)}~, where the function V is called the potential.

The Gaussian ensembles are the only common special cases of these two classes of random matrices.

Spectral theory of random matrices

The spectral theory of random matrices studies the distribution of the eigenvalues as the size of the matrix goes to infinity.

Global regime

In the global regime, one is interested in the distribution of linear statistics of the form Nf, H = n−1 tr f(H).

Empirical spectral measure

The empirical spectral measure μH of H is defined by

 \mu_{H}(A) = \frac{1}{n} \, \# \left\{ \text{eigenvalues of }H\text{ in }A \right\} = N_{1_A, H}, \quad A \subset \mathbb{R}.

Usually, the limit of  \mu_{H} is a deterministic measure; this is a particular case of self-averaging. The cumulative distribution function of the limiting measure is called the integrated density of states and is denoted N(λ). If the integrated density of states is differentiable, its derivative is called the density of states and is denoted ρ(λ).

The limit of the empirical spectral measure for Wigner matrices was described by Eugene Wigner; see Wigner semicircle distribution. As far as sample covariance matrices are concerned, a theory was developed by Marčenko and Pastur.[27][28]

The limit of the empirical spectral measure of invariant matrix ensembles is described by a certain integral equation which arises from potential theory.[29]

Fluctuations

For the linear statistics Nf,H = n−1 ∑ f(λj), one is also interested in the fluctuations about ∫ f(λdN(λ). For many classes of random matrices, a central limit theorem of the form

 \frac{N_{f,H} - \int f(\lambda) \, dN(\lambda)}{\sigma_{f, n}} \overset{D}{\longrightarrow} N(0, 1)

is known, see,[30][31] etc.

Local regime

In the local regime, one is interested in the spacings between eigenvalues, and, more generally, in the joint distribution of eigenvalues in an interval of length of order 1/n. One distinguishes between bulk statistics, pertaining to intervals inside the support of the limiting spectral measure, and edge statistics, pertaining to intervals near the boundary of the support.

Bulk statistics

Formally, fix \lambda_0 in the interior of the support of N(\lambda). Then consider the point process

 \Xi(\lambda_0) = \sum_j \delta\Big({\cdot} - n \rho(\lambda_0) (\lambda_j - \lambda_0) \Big)~,

where \lambda_j are the eigenvalues of the random matrix.

The point process \Xi(\lambda_0) captures the statistical properties of eigenvalues in the vicinity of \lambda_0. For the Gaussian ensembles, the limit of \Xi(\lambda_0) is known;[2] thus, for GUE it is a determinantal point process with the kernel

 K(x, y) = \frac{\sin \pi(x-y)}{\pi(x-y)}

(the sine kernel).

The universality principle postulates that the limit of \Xi(\lambda_0) as n \to \infty should depend only on the symmetry class of the random matrix (and neither on the specific model of random matrices nor on \lambda_0). This was rigorously proved for several models of random matrices: for invariant matrix ensembles,[32][33] for Wigner matrices,[34][35] et cet.

Edge statistics

See Tracy–Widom distribution.

Other classes of random matrices

Wishart matrices

<templatestyles src="Module:Hatnote/styles.css"></templatestyles>

Wishart matrices are n × n random matrices of the form H = X X*, where X is an n × m random matrix (m≥ n) with independent entries, and X* is its conjugate matrix. In the important special case considered by Wishart, the entries of X are identically distributed Gaussian random variables (either real or complex).

The limit of the empirical spectral measure of Wishart matrices was found[27] by Vladimir Marchenko and Leonid Pastur, see Marchenko–Pastur distribution.

Random unitary matrices

See circular ensembles

Non-Hermitian random matrices

See circular law.

Guide to references

References

  1. 1.0 1.1 Lua error in package.lua at line 80: module 'strict' not found.
  2. 2.0 2.1 2.2 Lua error in package.lua at line 80: module 'strict' not found.
  3. Lua error in package.lua at line 80: module 'strict' not found.
  4. Lua error in package.lua at line 80: module 'strict' not found.
  5. Lua error in package.lua at line 80: module 'strict' not found.
  6. Lua error in package.lua at line 80: module 'strict' not found.
  7. Lua error in package.lua at line 80: module 'strict' not found.
  8. Lua error in package.lua at line 80: module 'strict' not found.
  9. Lua error in package.lua at line 80: module 'strict' not found.
  10. Lua error in package.lua at line 80: module 'strict' not found.
  11. Lua error in package.lua at line 80: module 'strict' not found.
  12. 12.0 12.1 Lua error in package.lua at line 80: module 'strict' not found.
  13. Lua error in package.lua at line 80: module 'strict' not found.
  14. 14.0 14.1 Lua error in package.lua at line 80: module 'strict' not found.
  15. 15.0 15.1 Lua error in package.lua at line 80: module 'strict' not found.
  16. Lua error in package.lua at line 80: module 'strict' not found.
  17. Lua error in package.lua at line 80: module 'strict' not found.
  18. Lua error in package.lua at line 80: module 'strict' not found.
  19. Lua error in package.lua at line 80: module 'strict' not found.
  20. Lua error in package.lua at line 80: module 'strict' not found.
  21. Lua error in package.lua at line 80: module 'strict' not found.
  22. Lua error in package.lua at line 80: module 'strict' not found.
  23. Lua error in package.lua at line 80: module 'strict' not found.
  24. Lua error in package.lua at line 80: module 'strict' not found.
  25. Lua error in package.lua at line 80: module 'strict' not found.
  26. Lua error in package.lua at line 80: module 'strict' not found.
  27. 27.0 27.1 .Lua error in package.lua at line 80: module 'strict' not found.
  28. 28.0 28.1 Lua error in package.lua at line 80: module 'strict' not found.
  29. Lua error in package.lua at line 80: module 'strict' not found.
  30. Lua error in package.lua at line 80: module 'strict' not found.
  31. Lua error in package.lua at line 80: module 'strict' not found.
  32. Lua error in package.lua at line 80: module 'strict' not found.
  33. Lua error in package.lua at line 80: module 'strict' not found.
  34. Lua error in package.lua at line 80: module 'strict' not found.
  35. Lua error in package.lua at line 80: module 'strict' not found.
  36. Lua error in package.lua at line 80: module 'strict' not found.
  37. Lua error in package.lua at line 80: module 'strict' not found.
  38. Lua error in package.lua at line 80: module 'strict' not found.
  39. Lua error in package.lua at line 80: module 'strict' not found.

External links

  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.