HOME

TheInfoList



OR:

The Tracy–Widom distribution is a
probability distribution In probability theory and statistics, a probability distribution is the mathematical function that gives the probabilities of occurrence of different possible outcomes for an experiment. It is a mathematical description of a random phenomenon i ...
from
random matrix theory 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 mathemat ...
introduced by . It is the distribution of the normalized largest
eigenvalue In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted b ...
of a
random In common usage, randomness is the apparent or actual lack of pattern or predictability in events. A random sequence of events, symbols or steps often has no :wikt:order, order and does not follow an intelligible pattern or combination. Ind ...
Hermitian matrix In mathematics, a Hermitian matrix (or self-adjoint matrix) is a complex square matrix that is equal to its own conjugate transpose—that is, the element in the -th row and -th column is equal to the complex conjugate of the element in the -th ...
. The distribution is defined as a
Fredholm determinant In mathematics, the Fredholm determinant is a complex-valued function which generalizes the determinant of a finite dimensional linear operator. It is defined for bounded operators on a Hilbert space which differ from the identity operator by a ...
. In practical terms, Tracy–Widom is the crossover function between the two phases of weakly versus strongly coupled components in a system. It also appears in the distribution of the length of the
longest increasing subsequence In computer science, the longest increasing subsequence problem is to find a subsequence of a given sequence in which the subsequence's elements are in sorted order, lowest to highest, and in which the subsequence is as long as possible. This subseq ...
of random
permutation In mathematics, a permutation of a set is, loosely speaking, an arrangement of its members into a sequence or linear order, or if the set is already ordered, a rearrangement of its elements. The word "permutation" also refers to the act or proc ...
s, as large-scale statistics in the Kardar-Parisi-Zhang equation, in current fluctuations of the
asymmetric simple exclusion process In probability theory, the asymmetric simple exclusion process (ASEP) is an interacting particle system introduced in 1970 by Frank Spitzer. Many articles have been published on it in the physics and mathematics literature since then, and it has ...
(ASEP) with step initial condition, and in simplified mathematical models of the behavior of the
longest common subsequence A longest common subsequence (LCS) is the longest subsequence common to all sequences in a set of sequences (often just two sequences). It differs from the longest common substring: unlike substrings, subsequences are not required to occupy conse ...
problem on random inputs. See and for experimental testing (and verifying) that the interface fluctuations of a growing droplet (or substrate) are described by the TW distribution F_2 (or F_1) as predicted by . The distribution ''F''1 is of particular interest in
multivariate statistics Multivariate statistics is a subdivision of statistics encompassing the simultaneous observation and analysis of more than one outcome variable. Multivariate statistics concerns understanding the different aims and background of each of the dif ...
.. For a discussion of the universality of ''F''''β'', ''β'' = 1, 2, and 4, see . For an application of ''F''1 to inferring population structure from genetic data see . In 2017 it was proved that the distribution F is not infinitely divisible.


Definition

The Tracy–Widom distribution is defined as the limit: :F_2(s) = \lim_ \operatorname\left((\lambda_-\sqrt)(\sqrt)n^\leq s\right), where \lambda_ denotes the largest eigenvalue of the random matrix. The shift by \sqrt is used to keep the distributions centered at 0. The multiplication by (\sqrt)n^ is used because the standard deviation of the distributions scales as n^.


Equivalent formulations

The
cumulative distribution function In probability theory and statistics, the cumulative distribution function (CDF) of a real-valued random variable X, or just distribution function of X, evaluated at x, is the probability that X will take a value less than or equal to x. Ev ...
of the Tracy–Widom distribution can be given as the
Fredholm determinant In mathematics, the Fredholm determinant is a complex-valued function which generalizes the determinant of a finite dimensional linear operator. It is defined for bounded operators on a Hilbert space which differ from the identity operator by a ...
:F_2(s) = \det(I - A_s)\, of the operator ''A''''s'' on square integrable functions on the half line (''s'', ∞) with
kernel Kernel may refer to: Computing * Kernel (operating system), the central component of most operating systems * Kernel (image processing), a matrix used for image convolution * Compute kernel, in GPGPU programming * Kernel method, in machine learnin ...
given in terms of
Airy function In the physical sciences, the Airy function (or Airy function of the first kind) is a special function named after the British astronomer George Biddell Airy (1801–1892). The function and the related function , are linearly independent solutio ...
s Ai by :\frac.\, It can also be given as an integral :F_2(s) = \exp\left(-\int_s^\infty (x-s)q^2(x)\,dx\right) in terms of a solution of a Painlevé equation of type II :q^(s) = sq(s)+2q(s)^3\, where ''q'', called the Hastings–McLeod solution, satisfies the boundary condition :\displaystyle q(s) \sim \textrm(s), s\rightarrow\infty.


Other Tracy–Widom distributions

The distribution ''F''2 is associated to unitary ensembles in random matrix theory. There are analogous Tracy–Widom distributions ''F''1 and ''F''4 for orthogonal (''β'' = 1) and symplectic ensembles (''β'' = 4) that are also expressible in terms of the same
Painlevé transcendent Painlevé, a surname, may refer to: __NOTOC__ People * Jean Painlevé (1902–1989), French film director, actor, translator, animator, son Paul * Paul Painlevé (1863–1933), French mathematician and politician, twice Prime Minister of France Mat ...
''q'': :F_1(s)=\exp\left(-\frac\int_s^\infty q(x)\,dx\right)\, \left(F_2(s)\right)^ and :F_4(s/\sqrt)=\cosh\left(\frac\int_s^\infty q(x)\, dx\right)\, \left(F_2(s)\right)^. For an extension of the definition of the Tracy–Widom distributions ''F''''β'' to all ''β'' > 0 see slide 56 in and .


Numerical approximations

Numerical techniques for obtaining numerical solutions to the Painlevé equations of the types II and V, and numerically evaluating eigenvalue distributions of random matrices in the beta-ensembles were first presented by using
MATLAB MATLAB (an abbreviation of "MATrix LABoratory") is a proprietary multi-paradigm programming language and numeric computing environment developed by MathWorks. MATLAB allows matrix manipulations, plotting of functions and data, implementation ...
. These approximation techniques were further analytically justified in and used to provide numerical evaluation of Painlevé II and Tracy–Widom distributions (for ''β'' = 1, 2, and 4) in
S-PLUS S-PLUS is a commercial implementation of the S programming language sold by TIBCO Software Inc. It features object-oriented programming capabilities and advanced analytical algorithms. Due to the increasing popularity of the open source S succ ...
. These distributions have been tabulated in to four significant digits for values of the argument in increments of 0.01; a statistical table for p-values was also given in this work. gave accurate and fast algorithms for the numerical evaluation of ''F''''β'' and the density functions ''f''''β''(''s'') = ''dF''''β''/''ds'' for ''β'' = 1, 2, and 4. These algorithms can be used to compute numerically the
mean There are several kinds of mean in mathematics, especially in statistics. Each mean serves to summarize a given group of data, often to better understand the overall value (magnitude and sign) of a given data set. For a data set, the ''arithme ...
,
variance In probability theory and statistics, variance is the expectation of the squared deviation of a random variable from its population mean or sample mean. Variance is a measure of dispersion, meaning it is a measure of how far a set of numbers ...
,
skewness In probability theory and statistics, skewness is a measure of the asymmetry of the probability distribution of a real-valued random variable about its mean. The skewness value can be positive, zero, negative, or undefined. For a unimodal d ...
and
excess kurtosis In probability theory and statistics, kurtosis (from el, κυρτός, ''kyrtos'' or ''kurtos'', meaning "curved, arching") is a measure of the "tailedness" of the probability distribution of a real-valued random variable. Like skewness, kurtosi ...
of the distributions ''F''''β''. Functions for working with the Tracy–Widom laws are also presented in the R package 'RMTstat' by and MATLAB package 'RMLab' by . For a simple approximation based on a shifted gamma distribution see . developed a spectral algorithm for the eigendecomposition of the integral operator A_s, which can be used to rapidly evaluate Tracy–Widom distributions, or, more generally, the distributions of the ''k''th largest level at the soft edge scaling limit of Gaussian ensembles, to machine accuracy.


See also

*
Wigner semicircle distribution The Wigner semicircle distribution, named after the physicist Eugene Wigner, is the probability distribution on minus;''R'', ''R''whose probability density function ''f'' is a scaled semicircle (i.e., a semi-ellipse) centered at (0, 0): :f(x)=\sq ...
*
Marchenko–Pastur distribution In the mathematical theory of random matrices, the Marchenko–Pastur distribution, or Marchenko–Pastur law, describes the asymptotic behavior of singular values of large rectangular random matrices. The theorem is named after Ukrainian mathema ...


Footnotes


References

*. *. *. * *. *. *. *. *. *. *. *. *. *. *. *. * * *. *. * *. *.


Further reading

*. *. *. *.


External links

*. *. *.
At the Far Ends of a New Universal Law
Quanta Magazine ''Quanta Magazine'' is an editorially independent online publication of the Simons Foundation covering developments in physics, mathematics, biology and computer science. ''Undark Magazine'' described ''Quanta Magazine'' as "highly regarded for ...
{{DEFAULTSORT:Tracy-Widom distribution Continuous distributions Random matrices Special functions