The Wigner semicircle distribution, named after the physicist
Eugene Wigner
Eugene Paul Wigner (, ; November 17, 1902 – January 1, 1995) was a Hungarian-American theoretical physicist who also contributed to mathematical physics. He received the Nobel Prize in Physics in 1963 "for his contributions to the theory of th ...
, is the
probability distribution
In probability theory and statistics, a probability distribution is a Function (mathematics), function that gives the probabilities of occurrence of possible events for an Experiment (probability theory), experiment. It is a mathematical descri ...
defined on the domain
minus;''R'', ''R''whose
probability density function
In probability theory, a probability density function (PDF), density function, or density of an absolutely continuous random variable, is a Function (mathematics), function whose value at any given sample (or point) in the sample space (the s ...
''f'' is a scaled semicircle, i.e. a semi-ellipse, centered at (0, 0):
:
for −''R'' ≤ ''x'' ≤ ''R'', and ''f''(''x'') = 0 if '', x, '' > ''R''. The parameter R is commonly referred to as the "radius" parameter of the distribution.
The distribution arises as the limiting distribution of the
eigenvalues
In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
of many
random symmetric matrices, that is, as the dimensions of the random matrix approach infinity. The distribution of the spacing or gaps between eigenvalues is addressed by the similarly named
Wigner surmise.
General properties
Because of symmetry, all of the odd-order
moments of the Wigner distribution are zero. For positive integers , the -th moment of this distribution is
:
In the typical special case that , this sequence coincides with the
Catalan number
The Catalan numbers are a sequence of natural numbers that occur in various Enumeration, counting problems, often involving recursion, recursively defined objects. They are named after Eugène Charles Catalan, Eugène Catalan, though they were p ...
s 1, 2, 5, 14, etc. In particular, the second moment is and the fourth moment is , which shows that the
excess kurtosis
In probability theory and statistics, kurtosis (from , ''kyrtos'' or ''kurtos'', meaning "curved, arching") refers to the degree of “tailedness” in the probability distribution of a real-valued random variable. Similar to skewness, kurtosi ...
is . As can be calculated using the
residue theorem
In complex analysis, the residue theorem, sometimes called Cauchy's residue theorem, is a powerful tool to evaluate line integrals of analytic functions over closed curves; it can often be used to compute real integrals and infinite series as well ...
, the
Stieltjes transform of the Wigner distribution is given by
:
for complex numbers with positive imaginary part, where the
complex square root is taken to have positive imaginary part.
The Wigner distribution coincides with a scaled and shifted
beta distribution
In probability theory and statistics, the beta distribution is a family of continuous probability distributions defined on the interval , 1
The comma is a punctuation mark that appears in several variants in different languages. Some typefaces render it as a small line, slightly curved or straight, but inclined from the vertical; others give it the appearance of a miniature fille ...
or (0, 1) in terms of two positive Statistical parameter, parameters, denoted by ''alpha'' (''α'') an ...
: if is a beta-distributed random variable with parameters , then the random variable exhibits a Wigner semicircle distribution with radius . By this transformation it is straightforward to directly compute some statistical quantities for the Wigner distribution in terms of those for the beta distributions, which are better known.
The
Chebyshev polynomials of the second kind are
orthogonal polynomials
In mathematics, an orthogonal polynomial sequence is a family of polynomials such that any two different polynomials in the sequence are orthogonal
In mathematics, orthogonality (mathematics), orthogonality is the generalization of the geom ...
with respect to the Wigner semicircle distribution of radius .
Characteristic function and Moment generating function
The
characteristic function In mathematics, the term "characteristic function" can refer to any of several distinct concepts:
* The indicator function of a subset, that is the function
\mathbf_A\colon X \to \,
which for a given subset ''A'' of ''X'', has value 1 at points ...
of the Wigner distribution can be determined from that of the beta-variate :
:
where is the
confluent hypergeometric function
In mathematics, a confluent hypergeometric function is a solution of a confluent hypergeometric equation, which is a degenerate form of a hypergeometric differential equation where two of the three regular singularities merge into an irregular s ...
and is the
Bessel function of the first kind.
Likewise the
moment generating function can be calculated as
:
where is the
modified Bessel function of the first kind. The final equalities in both of the above lines are well-known identities relating the confluent hypergeometric function with the Bessel functions.
[See identitie]
10.16.5
an
10.39.5
of .
Relation to free probability
In
free probability
Free probability is a mathematics, mathematical theory that studies non-commutative random variables. The "freeness" or free independence property is the analogue of the classical notion of statistical independence, independence, and it is connecte ...
theory, the role of Wigner's semicircle distribution is analogous to that of the
normal distribution
In probability theory and statistics, a normal distribution or Gaussian distribution is a type of continuous probability distribution for a real-valued random variable. The general form of its probability density function is
f(x) = \frac ...
in classical probability theory. Namely,
in free probability theory, the role of
cumulant
In probability theory and statistics, the cumulants of a probability distribution are a set of quantities that provide an alternative to the '' moments'' of the distribution. Any two probability distributions whose moments are identical will have ...
s is occupied by "free cumulants", whose relation to ordinary cumulants is simply that the role of the set of all
partitions of a finite set in the theory of ordinary cumulants is replaced by the set of all
noncrossing partitions of a finite set. Just as the cumulants of degree more than 2 of a
probability distribution
In probability theory and statistics, a probability distribution is a Function (mathematics), function that gives the probabilities of occurrence of possible events for an Experiment (probability theory), experiment. It is a mathematical descri ...
are all zero
if and only if
In logic and related fields such as mathematics and philosophy, "if and only if" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either bo ...
the distribution is normal, so also, the ''free'' cumulants of degree more than 2 of a probability distribution are all zero if and only if the distribution is Wigner's semicircle distribution.
See also
*
Wigner surmise
* The Wigner semicircle distribution is the limit of the
Kesten–McKay distributions, as the parameter ''d'' tends to infinity.
* In
number-theoretic literature, the Wigner distribution is sometimes called the Sato–Tate distribution. See
Sato–Tate conjecture.
*
Marchenko–Pastur distribution or
Free Poisson distribution
References
Literature
*
*
*
*
*
External links
*
Eric W. Weisstein et al.
Wigner's semicircle
{{ProbDistributions, continuous-bounded
Continuous distributions