In probability theory and mathematical physics, a random matrix is a matrix-valued random variable—that is, a matrix in which some or all 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 to model the nuclei of heavy atoms.^[1] Wigner postulated that the spacings between the lines in the spectrum of a heavy atom nucleus 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 asserts that the spectral statistics of quantum systems whose classical counterparts exhibit chaotic behaviour are described by random matrix theory.^[3]

In quantum optics, transformations described by random unitary matrices are crucial for demonstrating the advantage of quantum over classical computation (see, e.g., the boson sampling model).^[4] Moreover, such random unitary transformations can be directly implemented in an optical circuit, by mapping their parameters to optical circuit components (that is beam splitters and phase shifters).^[5]

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

Mathematical statistics and numerical analysis

In multivariate statistics, random matrices were introduced by John Wishart, who sought to estimate covariance matrices of large samples.^[14] Chernoff-, Bernstein-, and Hoeffding-type inequalities can typically be strengthened when applied to the maximal eigenvalue of a finite sum of random Hermitian matrices.^[15]

In numerical analysis, random matrices have been used since the work of John von Neumann and Herman Goldstine^[16] to describe computation errors in operations such as matrix multiplication. Although random entries are traditional "generic" inputs to an algorithm, the concentration of measure associated with random matrix distributions implies that random matrices will not test large portions of an algorithm's input space.^[17]

Number theory

In number theory, the distribution of zeros of the Riemann zeta function (and other L-functions) is modeled by the distribution of eigenvalues of certain random matrices.^[18] 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^[19] when the variance of the synaptic weights crosses a critical value, at the limit of infinite system size. Results on random matrices have also shown that the dynamics of random-matrix models are insensitive to mean connection strength. Instead, the stability of fluctuations depends on connection strength variation^[20][21] and time to synchrony depends on network topology.^[22][23]

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.^{[24]: ch. 13 [25][26]} 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, the optimal policy may differ if the state equation contains random coefficients.

Computational mechanics

In computational mechanics, epistemic uncertainties underlying the lack of knowledge about the physics of the modeled system give rise to mathematical operators associated with the computational model, which are deficient in a certain sense. Such operators lack certain properties linked to unmodeled physics. When such operators are discretized to perform computational simulations, their accuracy is limited by the missing physics. To compensate for this deficiency of the mathematical operator, it is not enough to make the model parameters random, it is necessary to consider a mathematical operator that is random and can thus generate families of computational models in the hope that one of these captures the missing physics. Random matrices have been used in this sense,^[27][28] with applications in vibroacoustics, wave propagations, materials science, fluid mechanics, heat transfer, etc.

Gaussian ensembles

The most-commonly studied random matrix distributions are the Gaussian ensembles.

The Gaussian unitary ensemble ${\displaystyle {\text{GUE))(n)}$ is described by the Gaussian measure with density

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

${\displaystyle n\times n}$

${\displaystyle H=(H_{ij})_{i,j=1}^{n))$

${\displaystyle Z_((\text{GUE))(n)}=2^{n/2}\pi ^((\frac {1}{2))n^{2))}$

The Gaussian orthogonal ensemble ${\displaystyle {\text{GOE))(n)}$ is described by the Gaussian measure with density

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

The Gaussian symplectic ensemble ${\displaystyle {\text{GSE))(n)}$ is described by the Gaussian measure with density

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

The Gaussian ensembles GOE, GUE and GSE are often denoted by their Dyson index, β = 1 for GOE, β = 2 for GUE, and β = 4 for GSE. This index counts the number of real components per matrix element. The ensembles as defined here have Gaussian distributed matrix elements with mean ⟨H_ij⟩ = 0, and two-point correlations given by

$${\displaystyle \langle H_{ij}H_{mn}^{*}\rangle =\langle H_{ij}H_{nm}\rangle ={\frac {1}{n))\delta _{im}\delta _{jn}+{\frac {2-\beta }{n\beta ))\delta _{in}\delta _{jm},}$$

The joint probability density for the eigenvalues λ₁, λ₂, ..., λ_n of GUE/GOE/GSE is given by

$${\displaystyle {\frac {1}{Z_{\beta ,n))}\prod _{k=1}^{n}e^{-{\frac {\beta }{4))\lambda _{k}^{2))\prod _{i<j}\left|\lambda _{j}-\lambda _{i}\right|^{\beta }~,}$$

(1)

where Z_β,n is a normalization 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 ${\displaystyle \beta }$th order) for coinciding eigenvalues ${\displaystyle \lambda _{j}=\lambda _{i))$.

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

Distribution of level spacings

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

$${\displaystyle p_{1}(s)={\frac {\pi }{2))s\,e^{-{\frac {\pi }{4))s^{2))}$$

${\displaystyle \beta =1}$

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

${\displaystyle \beta =2}$

$${\displaystyle p_{4}(s)={\frac {2^{18)){3^{6}\pi ^{3))}s^{4}e^{-{\frac {64}{9\pi ))s^{2))}$$

${\displaystyle \beta =4}$

The numerical constants are such that ${\displaystyle p_{\beta }(s)}$ is normalized:

$${\displaystyle \int _{0}^{\infty }ds\,p_{\beta }(s)=1}$$

$${\displaystyle \int _{0}^{\infty }ds\,s\,p_{\beta }(s)=1,}$$

${\displaystyle \beta =1,2,4}$

Generalizations

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

$${\displaystyle \left\{H_{n}(i,j)~,\,1\leq i\leq j\leq n\right\))$$

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 ${\displaystyle N_{f,H}=n^{-1}{\text{tr))f(H)}$.

Empirical spectral measure

The empirical spectral measure μ_H of H is defined by

$${\displaystyle \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 ${\displaystyle \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 and Wigner surmise. As far as sample covariance matrices are concerned, a theory was developed by Marčenko and Pastur.^[30][31]

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

Fluctuations

For the linear statistics N_f,H = n⁻¹ Σ 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

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

The variational problem for the unitary ensembles

Consider the measure

${\displaystyle \mathrm {d} \mu _{N}(\mu )={\frac {1}((\widetilde {Z))_{N))}e^{-H_{N}(\lambda )}\mathrm {d} \lambda ,\qquad H_{N}(\lambda )=-\sum \limits _{j\neq k}\ln |\lambda _{j}-\lambda _{k}|+N\sum \limits _{j=1}^{N}Q(\lambda _{j}),}$

where ${\displaystyle Q(M)}$ is the potential of the ensemble and let ${\displaystyle \nu }$ be the empirical spectral measure.

We can rewrite ${\displaystyle H_{N}(\lambda )}$ with ${\displaystyle \nu }$ as

${\displaystyle H_{N}(\lambda )=N^{2}\left[-\int \int _{x\neq y}\ln |x-y|\mathrm {d} \nu (x)\mathrm {d} \nu (y)+\int Q(x)\mathrm {d} \nu (x)\right],}$

the probability measure is now of the form

${\displaystyle \mathrm {d} \mu _{N}(\mu )={\frac {1}((\widetilde {Z))_{N))}e^{-N^{2}I_{Q}(\nu )}\mathrm {d} \lambda ,}$

where ${\displaystyle I_{Q}(\nu )}$ is the above functional inside the squared brackets.

Let now

${\displaystyle M_{1}(\mathbb {R} )=\left\{\nu :\nu \geq 0,\ \int _{\mathbb {R} }\mathrm {d} \nu =1\right\))$

be the space of one-dimensional probability measures and consider the minimizer

${\displaystyle E_{Q}=\inf \limits _{\nu \in M_{1}(\mathbb {R} )}-\int \int _{x\neq y}\ln |x-y|\mathrm {d} \nu (x)\mathrm {d} \nu (y)+\int Q(x)\mathrm {d} \nu (x).}$

For ${\displaystyle E_{Q))$ there exists a unique euilibrium measure ${\displaystyle \nu _{Q))$ through the Euler-Lagrange variational conditions for some real constant ${\displaystyle l}$

${\displaystyle 2\int _{\mathbb {R} }\log |x-y|\mathrm {d} \nu (y)-Q(x)=l,\quad x\in J}$

${\displaystyle 2\int _{\mathbb {R} }\log |x-y|\mathrm {d} \nu (y)-Q(x)\leq l,\quad x\in \mathbb {R} \setminus J}$

where ${\displaystyle J=\bigcup \limits _{j=1}^{q}[a_{j},b_{j}]}$ is the support of the measure and

${\displaystyle q=-\left({\frac {Q'(x)}{2))\right)^{2}+\int {\frac {Q'(x)-Q'(y)}{x-y))\mathrm {d} \nu _{Q}(y)}$.

The equilibrium measure ${\displaystyle \nu _{Q))$ has the following Radon–Nikodym density

${\displaystyle {\frac {\mathrm {d} \nu _{Q}(x)}{\mathrm {d} x))={\frac {1}{\pi )){\sqrt {q(x))).}$^[35]

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 ${\displaystyle \lambda _{0))$ in the interior of the support of ${\displaystyle N(\lambda )}$. Then consider the point process

$${\displaystyle \Xi (\lambda _{0})=\sum _{j}\delta {\Big (}{\cdot }-n\rho (\lambda _{0})(\lambda _{j}-\lambda _{0}){\Big )}~,}$$

${\displaystyle \lambda _{j))$

The point process ${\displaystyle \Xi (\lambda _{0})}$ captures the statistical properties of eigenvalues in the vicinity of ${\displaystyle \lambda _{0))$. For the Gaussian ensembles, the limit of ${\displaystyle \Xi (\lambda _{0})}$ is known;^[2] thus, for GUE it is a determinantal point process with the kernel

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

The universality principle postulates that the limit of ${\displaystyle \Xi (\lambda _{0})}$ as ${\displaystyle 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 ${\displaystyle \lambda _{0))$). Rigorous proofs of universality are known for invariant matrix ensembles^[36][37] and Wigner matrices.^[38][39]

Edge statistics

Correlation functions

The joint probability density of the eigenvalues of ${\displaystyle n\times n}$ random Hermitian matrices ${\displaystyle M\in \mathbf {H} ^{n\times n))$, with partition functions of the form

$${\displaystyle Z_{n}=\int _{M\in \mathbf {H} ^{n\times n))d\mu _{0}(M)e^((\text{tr))(V(M))))$$

$${\displaystyle V(x):=\sum _{j=1}^{\infty }v_{j}x^{j))$$

${\displaystyle d\mu _{0}(M)}$

${\displaystyle \mathbf {H} ^{n\times n))$

${\displaystyle n\times n}$

$${\displaystyle p_{n,V}(x_{1},\dots ,x_{n})={\frac {1}{Z_{n,V))}\prod _{i<j}(x_{i}-x_{j})^{2}e^{-\sum _{i}V(x_{i})}.}$$

${\displaystyle k}$

$${\displaystyle R_{n,V}^{(k)}(x_{1},\dots ,x_{k})={\frac {n!}{(n-k)!))\int _{\mathbf {R} }dx_{k+1}\cdots \int _{\mathbb {R} }dx_{n}\,p_{n,V}(x_{1},x_{2},\dots ,x_{n}),}$$

$${\displaystyle R_{n,V}^{(1)}(x_{1})=n\int _{\mathbb {R} }dx_{2}\cdots \int _{\mathbf {R} }dx_{n}\,p_{n,V}(x_{1},x_{2},\dots ,x_{n}).}$$

${\displaystyle B\subset \mathbf {R} }$

${\displaystyle B}$

$${\displaystyle \int _{B}R_{n,V}^{(1)}(x)dx=\mathbf {E} \left(\#\((\text{eigenvalues in ))B\}\right).}$$

The following result expresses these correlation functions as determinants of the matrices formed from evaluating the appropriate integral kernel at the pairs ${\displaystyle (x_{i},x_{j})}$ of points appearing within the correlator.

Theorem [Dyson-Mehta] For any ${\displaystyle k}$, ${\displaystyle 1\leq k\leq n}$ the ${\displaystyle k}$-point correlation function ${\displaystyle R_{n,V}^{(k)))$ can be written as a determinant

$${\displaystyle R_{n,V}^{(k)}(x_{1},x_{2},\dots ,x_{k})=\det _{1\leq i,j\leq k}\left(K_{n,V}(x_{i},x_{j})\right),}$$

${\displaystyle K_{n,V}(x,y)}$

${\displaystyle n}$

$${\displaystyle K_{n,V}(x,y):=\sum _{k=0}^{n-1}\psi _{k}(x)\psi _{k}(y),}$$

${\displaystyle V}$

$${\displaystyle \psi _{k}(x)={1 \over {\sqrt {h_{k))))\,p_{k}(z)\,e^{-V(z)/2},}$$

${\displaystyle \{p_{k}(x)\}_{k\in \mathbf {N} ))$

$${\displaystyle \int _{\mathbf {R} }\psi _{j}(x)\psi _{k}(x)dx=\delta _{jk}.}$$

Other classes of random matrices

Wishart matrices

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 transpose. 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^[30] by Vladimir Marchenko and Leonid Pastur.

Random unitary matrices

Non-Hermitian random matrices