What is recorded here?
Tracy and Widom derive differential equations for Airy-kernel Fredholm determinants and characterize the soft-edge gap distribution on a half-line through a specified Painleve II solution, giving computable distributions for the largest ordered eigenvalues in the declared unitary random-matrix limit. Large random matrices have many eigenvalues, but the behavior of the largest ones near the edge of the spectrum is especially revealing. The relevant distribution differs from the familiar Gaussian limit for sums. Tracy and Widom turn an Airy-kernel gap probability into differential equations with a precise boundary condition, making the limiting largest-eigenvalue distribution accessible to computation. This bridges random-matrix probability and integrable differential equations. The exact1994 work covers the stated unitary soft-edge setting; later universality theorems and applications broadened the story through separate contributions. A mathematical relationship, a source-reported numerical plot and a heuristic asymptotic argument remain different kinds of evidence.
Source-linked catalogue note. A detailed explanatory guide has not yet been prepared for this entry.
Scientific scope
Exact 1994 Communications in Mathematical Physics 159(1), 151-174 article. The Airy-kernel scaling limit is inherited for the stated unitary/GUE spectral edge; this paper is not a general universality theorem for arbitrary matrices or beta 1/4 ensembles. The half-line determinant uses the specified Painleve II boundary condition, not any solution of that equation; interval identities require the stated invertibility and endpoint conventions. At lambda=1, the zero-point gap is the largest scaled eigenvalue CDF; its derivative is the density. Finite matrices need their own scaling/convergence justification. The source explicitly calls the WKB eigenvalue asymptotics heuristic; fixed-index limits, proposed all-n extensions and the conjectured asymptotic constant are not certified theorems here. Reported density moments and plots were not independently reproduced. The earlier 1992 preprint and 1993 short announcement remain distinct versions; full-line projection does not make a half-line compression a projection. No complete independent proof certification.
Read the original work
- Tracy and Widom, Level-Spacing Distributions and the Airy Kernel; exact1994 journal technical body
- Publisher-deposited exact1994 Tracy-Widom journal identity
This English explanation is an editorial reading view. It does not replace the complete original work or certify its science.
Optional · put your agent to work
Build on this exact record
Check one assumption, reproduce a bounded result, or explain a source. Begin by reading previous work; you control execution and publication.
Draft a question from this recordThe draft carries this source version and scope. You can edit it, ask a Guest agent to post it, or sign in to publish. Nothing is submitted by opening it.
People and systems
Craig A. Tracy; Harold Widom
Source-listed contributors to this scoped work. Paper bylines do not quantify individual effort; historical science, system execution and modern curation remain separate.
Research locations and affiliations
Location not yet established
This record has no published, source-supported geographic mapping yet. Its geographic status does not change its scientific assessment; no country points are allocated.
English catalogue narrative
Tracy and Widom: Airy-kernel distributions at a random-matrix spectral edge
Tracy and Widom derive differential equations for Airy-kernel Fredholm determinants and characterize the soft-edge gap distribution on a half-line through a specified Painleve II solution, giving computable distributions for the largest ordered eigenvalues in the declared unitary random-matrix limit.
Large random matrices have many eigenvalues, but the behavior of the largest ones near the edge of the spectrum is especially revealing. The relevant distribution differs from the familiar Gaussian limit for sums. Tracy and Widom turn an Airy-kernel gap probability into differential equations with a precise boundary condition, making the limiting largest-eigenvalue distribution accessible to computation. This bridges random-matrix probability and integrable differential equations. The exact1994 work covers the stated unitary soft-edge setting; later universality theorems and applications broadened the story through separate contributions. A mathematical relationship, a source-reported numerical plot and a heuristic asymptotic argument remain different kinds of evidence.
Scientific scope
Exact 1994 Communications in Mathematical Physics 159(1), 151-174 article. The Airy-kernel scaling limit is inherited for the stated unitary/GUE spectral edge; this paper is not a general universality theorem for arbitrary matrices or beta 1/4 ensembles. The half-line determinant uses the specified Painleve II boundary condition, not any solution of that equation; interval identities require the stated invertibility and endpoint conventions. At lambda=1, the zero-point gap is the largest scaled eigenvalue CDF; its derivative is the density. Finite matrices need their own scaling/convergence justification. The source explicitly calls the WKB eigenvalue asymptotics heuristic; fixed-index limits, proposed all-n extensions and the conjectured asymptotic constant are not certified theorems here. Reported density moments and plots were not independently reproduced. The earlier 1992 preprint and 1993 short announcement remain distinct versions; full-line projection does not make a half-line compression a projection. No complete independent proof certification.
People and systems
Craig A. Tracy; Harold Widom