---
title: Wigner Semicircle Law in Random Matrices
url: https://www.emergentmind.com/topics/wigner-semicircle-law
type: topic
---

# Wigner Semicircle Law in Random Matrices

The Wigner semicircle law describes the universal limiting spectral distribution for a broad class of large random matrices, particularly Wigner matrices, and has deep connections to combinatorics, probability theory, and mathematical physics. It characterizes the eigenvalue density in the limit of large matrix size, supported on a finite interval and given by the semicircular density function. The semicircle law exhibits remarkable robustness across models with independent, dependent, and even non-identically distributed entries, as well as in various generalized contexts such as regular graphs, Laplacians of networks, random polynomials, and higher-order tensors.

## 1. The Semicircle Law: Definition and Universal Regimes

For an $n \times n$ real symmetric (or Hermitian) Wigner matrix $W_n$ with independent, centered (mean-zero) entries and appropriately normalized variance (typically $\mathrm{Var}(W_{ij}) = 1/n$ for $i \neq j$), the empirical spectral distribution (ESD) of its eigenvalues converges, as $n \to \infty$, to the semicircle distribution
\[
\rho_{sc}(x) = \frac{1}{2\pi}\sqrt{4 - x^2}\,\mathbf{1}_{|x| \leq 2}
\]
supported on $[-2, 2]$. This convergence holds in probability and, under mild conditions on higher moments or weak correlation between entries, almost surely [2105.09519, 1907.12170, 1409.1402]. The law admits natural generalizations to variable variance profiles and to ensembles with weak dependencies, provided sufficient control of cumulants or decay of row-wise variance deviations [1710.05685, 1609.01873, 1401.6636].

The semicircle law is not limited to strictly independent entries; for example, ensembles with Curie–Weiss-type correlations exhibit semicircular limiting behavior below critical temperature, as long as the leading correlations decay sufficiently with the system size [1401.6636].

## 2. Proof Schemes: Moment and Resolvent Methods

The two principal proof strategies are the method of moments and the resolvent (Stieltjes transform) approach [1409.1402, 1601.04055, 1907.12170].

- **Moment Method:** One computes the expected trace of matrix powers, enumerating closed walks on the adjacency graph of indices. Only pairwise matchings (non-crossing pairings or Catalan structures) contribute at leading order due to centering and independence, leading to limiting moments corresponding to the Catalan numbers:
  \[
  \frac{1}{n}\mathbb{E}\,\mathrm{Tr}\,W_n^{k} \to \begin{cases}
      \frac{1}{(k/2)+1}\binom{k}{k/2}, & k\text{ even} \\
      0, & k\text{ odd}
  \end{cases}
  \]
  which are precisely the moments of $\rho_{sc}$ [1409.1402, 1512.03724, 1907.12170].

- **Resolvent/Stieltjes Transform:** The normalized trace of the resolvent $G(z) = (W_n - zI)^{-1}$, $m_n(z) = \frac{1}{n}\mathrm{Tr}\,G(z)$, is shown to satisfy a self-consistent equation:
  \[
  m_{sc}(z) + \frac{1}{m_{sc}(z) + z} = 0
  \]
  whose unique solution in the upper half-plane is the Stieltjes transform of the semicircle density [1601.04055, 1710.05685, 1907.12170]. Concentration phenomena and high-probability estimates extend the convergence to local scales containing only a few eigenvalues [1007.4652, 1602.03073, 1510.07350, 1601.04055].

## 3. Extensions: Local Laws, Universality, and Eigenvector Delocalization

The global law gives way to a local semicircle law when one considers the spectral density on intervals shrinking with $n$:

- **Local Law:** The Stieltjes transform $m_n(z)$ remains within $O((n\eta)^{-1})$ of $m_{sc}(z)$ for spectral parameters $z=E + i\eta$ with $\eta$ down to $n^{-1+\epsilon}$. This enables precise control of the eigenvalue counting function on intervals $|I| \gg n^{-1}$ [1007.4652, 1602.03073, 1510.07350, 1601.04055, 1104.3431, 1503.08702].

- **Eigenvector Delocalization:** The local law implies that all eigenvectors are completely delocalized, i.e., the maximum entry of any normalized eigenvector is $O(n^{-1/2})$ with high probability [1602.03073, 1103.1919, 1503.08702].

- **Rigidity and Universality:** Eigenvalues are shown to be rigid, i.e., $\lambda_j$ is within $O(n^{-2/3})$ (up to logarithmic factors) of its classical location, and the gap and correlation statistics in the bulk become universal—matching those of Gaussian ensembles—even when the fourth moment differs [1007.4652, 1602.03073, 1601.04055, 1104.3431, 1503.08702, 1103.1919].

## 4. Necessary and Sufficient Conditions

The classical semicircle law requires normalization of the entry variances such that the row sums converge to unity. Precise necessary and sufficient conditions are given in terms of variance profile regularity (row sums deviating by $o(1)$ from $1$), a Lindeberg condition controlling entry tails, and exclusion of vanishing mass in a sublinear fraction of rows [2105.09519, 1907.12170]. The semicircle limit persists under suitable domain-of-attraction and truncated-moment hypotheses, even when entries have infinite variance [1107.2714].

**Summary Table: Required Conditions for Semicircle Law**

| Condition Type             | Typical Requirement                              | Source                |
|----------------------------|--------------------------------------------------|-----------------------|
| Centering                  | $\mathbb{E}[w_{ij}] = 0$                         | [2105.09519, 1409.1402] |
| Row sum of variances       | $\frac{1}{n}\sum_{j=1}^n \mathrm{Var}(w_{ij}) \to 1$ | [2105.09519]        |
| Lindeberg/Uniform moment   | $\frac{1}{n}\sum_{i,j}\mathbb{E}(|w_{ij}|^2;\,|w_{ij}| > \epsilon) \to 0$ | [2105.09519, 1907.12170] |
| No mass in $o(n)$ rows     | For $J_n \subset\{1,\dots, n\}, |J_n|/n \to 0$: $\frac{1}{n}\sum_{i\in J_n} \sum_{j=1}^n \mathrm{Var}(w_{ij}) \to 0$ | [2105.09519] |

## 5. Beyond Classic Ensembles: Regular Graphs, Networks, and Tensors

The Wigner semicircle law extends to other matrix models with more complex structure:

- **Random Regular Graphs:** The rescaled adjacency matrix of random $d$-regular graphs with $d \gg (\log N)^4$ displays the semicircle law in both global and local forms, despite the strong dependency among entries [1503.08702]. Delocalization and spectral gap results are achieved via a generalization of the Green function approach.

- **Erdős–Rényi Graphs and Weighted Networks:** The normalized Laplacian of weighted networks or random graphs converges to a semicircular law under minimal degree and moment constraints, allowing spectral predictions from summary statistics (e.g., average degree and second moment of weights) [2004.00125, 1103.1919].

- **Generalized Tensors:** For random symmetric tensors (order $p\ge3$), the limiting spectral law generalizes the semicircle law through the Fuss–Catalan distribution, with the classical law recovered for $p=2$ [2004.02660].

## 6. Semicircle Law in Random Polynomials and Hermite Zeros

Remarkably, the semicircle law governs the asymptotic root statistics of certain random polynomials. For random real-rooted polynomials whose roots are i.i.d., repeated differentiation followed by scaling yields zeros distributed according to the semicircle law; the connection is explicit via convergence to the Hermite polynomial zeros, which themselves normalize to the semicircle [2005.09809, 1512.03724].

## 7. Robustness and Technical Extensions

The law endures in the presence of weak dependencies, block structures, or decaying correlations, provided cumulant bounds analogous to Gaussian ensembles are enforced [1710.05685, 1609.01873, 1401.6636]. For real symmetric or Hermitian matrices with dependent but suitably controlled entries, the renormalization group or effective action methods validate semicircular convergence by suppressing non-Gaussian contributions in the large $N$ limit [1710.05685, 1609.01873].

## References

- "Necessary and Sufficient Conditions for Convergence to the Semicircle Distribution" [2105.09519]
- "An Exposition on Wigner's Semicircular Law" [1907.12170]
- "Central limit theorem for moments of spectral measures of Wigner matrices" [1409.1402]
- "Lectures on the local semicircle law for Wigner matrices" [1601.04055]
- "On the Local Semicircular Law for Wigner Ensembles" [1602.03073]
- "A renormalisation group approach to the universality of Wigner's semicircle law for random matrices with dependent entries" [1710.05685]
- "Wigner law for matrices with dependent entries - a perturbative approach" [1609.01873]
- "Semicircle law for a matrix ensemble with dependent entries" [1401.6636]
- "Rigidity of Eigenvalues of Generalized Wigner Matrices" [1007.4652]
- "Local Semicircle law and Gaussian fluctuation for Hermite $β$ ensemble" [1104.3431]
- "Wigner matrices, the moments of roots of Hermite polynomials and the semicircle law" [1512.03724]
- "A Semicircle Law for Derivatives of Random Polynomials" [2005.09809]
- "On the generalization of the Wigner semicircle law to real symmetric tensors" [2004.02660]
- "Local semicircle law for random regular graphs" [1503.08702]
- "The Wigner's Semicircle Law of Weighted Random Networks" [2004.00125]
- "Spectral statistics of Erdős-Rényi graphs I: Local semicircle law" [1103.1919]
- "New estimators of spectral distributions of Wigner matrices" [1107.2714]
- "Local semicircle law under moment conditions. Part I: The Stieltjes transform" [1510.07350]

Source: https://www.emergentmind.com/topics/wigner-semicircle-law