Die Tracy-Widom-Verteilung ist eine Wahrscheinlichkeitsverteilung aus der Theorie der Zufallsmatrizen. Sie ist die asymptotische Spektralverteilung des größten, normalisierten Eigenwertes einer hermitschen Zufallsmatrix. Die Verteilung ist nach den amerikanischen Mathematikern Craig Tracy und Harold Widom benannt, welche sie 1993 für das gaußsche unitäre Ensemble entdeckt haben.^[1] Sie findet Anwendung in der statistischen Mechanik, der Kombinatorik und der multivariaten Statistik, wo sie insbesondere im Zusammenhang mit hoch-dimensionalen Daten und Verfahren zum Lösen des Fluchs der Dimensionalität von Interesse ist.

Die Verteilungsfamilie wird nach dem Dyson-Index in die ${\displaystyle \beta }$-Klassifizierung ${\displaystyle F_{\beta }}$ aufgeteilt (nach möglichen Zeitumkehr-Eigenschaften der Quantenmechanik), wobei die Verteilung ${\displaystyle F_{2}}$ für das unitäre Ensemble gilt und als Fredholm-Determinante des Airy-Kernels auf einem separablen Hilbertraum definiert wird. Die Verteilungen ${\displaystyle F_{1}}$ für das orthogonale Ensemble und ${\displaystyle F_{4}}$ für das symplektische Ensemble lassen sich leicht daraus berechnen.

Tracy-Widom-Resultate lassen sich u. a. mit nicht-trivialen asymptotischen Methoden wie dem Lösen von Riemann-Hilbert-Problemen mit der nicht-linearen Methode des steilsten Anstiegs von Deift-Zhou (1993^[2]) finden.^[3] Ausgehend vom Riemann-Hilbert-Problem lassen sich Lax-Paare herleiten und schließlich die Lösung der Painlevé-II-Gleichung.

In der Originalarbeit leiteten Tracy und Widom ein analoges integrierbares System von partiellen Differentialgleichungen zur Jimbo-Miwa-Môri-Sato-Gleichung her und einen mit dem Airy-Operator kommutierenden Differentialoperator.^[4]

Die Tracy-Widom-Verteilung fand man auch in anderen Situation der Mathematik und Physik, die auf den ersten Blick nichts mit Zufallsmatrizen zu tun haben. Zum Beispiel als Limit von stochastischen partiellen Differentialgleichungen wie der Kardar-Parisi-Zhang (KPZ)-Gleichung^[5], als Verteilung der Länge der längsten, aufsteigenden Teilfolge zufälliger Permutationen^[3], oder den „Wackel-Umfang“ einer Bakterienkolonie (welches durch das Eden-Modell beschrieben wird).^[6] Dieses mysteriöse Phänomen des Auftreten gleicher statistischer Gesetze, zu denen auch das Wignersche Halbkreisgesetz gehört, nennt man Universalität (engl. universality).

Die Tracy-Widom-Verteilung ist definiert als^[7]

${\displaystyle F_{2}(t):=1+\sum \limits _{k=1}^{\infty }{\frac {(-1)^{k}}{k!}}\int _{t}^{\infty }\cdots \int _{t}^{\infty }\operatorname {det} _{i,j=1}^{k}\operatorname {K_{Airy}} (x_{i},x_{j})\prod _{j=1}^{k}\mathrm {d} x_{j},}$

wobei ${\displaystyle \operatorname {K_{Airy}} }$ den Airy-Kern

${\displaystyle \operatorname {K_{Airy}} (x,y):={\tfrac {\operatorname {Ai} (x)\operatorname {Ai} '(y)-\operatorname {Ai} '(x)\operatorname {Ai} (y)}{x-y}}=\int _{0}^{\infty }\operatorname {Ai} (u+x)\operatorname {Ai} (u+y)\mathrm {d} u}$

eines Operators ${\displaystyle A_{2}}$ auf ${\displaystyle L^{2}([t,\infty ))}$ bezeichnet.

Äquivalent lässt sich der Ausdruck auch über die äußere Potenz des Spurklasseoperators definieren

${\displaystyle F_{2}(t):=1+\sum \limits _{k=1}^{\infty }(-1)^{k}\operatorname {tr} (\Lambda ^{k}(A_{2}))}$.

Sei ${\displaystyle \lambda _{\text{max}}}$ der größte Eigenwert des gaußschen unitären Ensembles (GUE), dann gilt das Tracy-Widom-Gesetz

${\displaystyle \lim \limits _{n\to \infty }P\left(n^{2/3}\left({\frac {\lambda _{\text{max}}^{(n)}}{\sqrt {n}}}-2\right)\leq t\right)=F_{2}(t).}$

Es gilt

${\displaystyle F_{2}(t)=\exp \left(-\int _{t}^{\infty }(x-t)q(x)^{2}\mathrm {d} x\right)}$

wobei ${\displaystyle q}$ die Hastings-McLeod-Lösung der Painlevé-II-Gleichung

${\displaystyle {\begin{cases}q''=tq+2q^{3}\\q(t)\sim \operatorname {Ai} (t),\quad {\text{ für }}t\nearrow \infty \end{cases}}}$

ist.

Die Tracy-Widom-Verteilungen ${\displaystyle F_{1}}$ und ${\displaystyle F_{4}}$ lassen sich wie folgt berechnen^[7]

${\displaystyle {\frac {F_{1}(t)}{\sqrt {F_{2}(t)}}}=\exp \left(-{\frac {1}{2}}\int _{t}^{\infty }q(x)\,dx\right)}$

und

${\displaystyle {\frac {F_{4}(t/2^{2/3})}{\sqrt {F_{2}(t)}}}=\cosh \left(-{\frac {1}{2}}\int _{t}^{\infty }q(x)\,dx\right).}$

wobei ${\displaystyle q}$ wie in der Definition für ${\displaystyle F_{2}}$ ist.

Im Fall ${\displaystyle \beta =4}$ lässt sich ein Spurklasseoperator ${\displaystyle A_{4}}$ auf ${\displaystyle L^{2}([t,\infty ))\oplus L^{2}([t,\infty ))}$ mit Matrixkern finden.

Im Fall ${\displaystyle \beta =1}$ ist der dazugehörige Operator ${\displaystyle A_{1}}$ auf ${\displaystyle L^{2}([t,\infty ))\oplus L^{2}([t,\infty ))}$ mit Matrixkern nicht mehr in der Spurklasse. Um das Problem zu lösen betrachtet man gewichtete ${\displaystyle L^{2}}$-Räume und eine Verallgemeinerung der Fredholm-Determinante.^[8]

Es existieren unterschiedliche Tracy-Widom-Gesetze für die Rand-Universalität von bestimmten Klassen von hermiteschen Zufallsmatrizen (z. B. Tao-Vu^[9], Soschnikow^[10], Lee-Yin^[11])

Die Tracy-Widom-Verteilung erscheint unter ${\displaystyle t^{1/3}}$-Skalierung der eindimensionalen KPZ-Gleichung mit fixer Zeit als Grenzwertverteilung^[12], sowie deren Universalitätsklasse. Abhängig davon, ob man mit der narrow wedge oder flat Initialbedingung beginnt, ist die eindimensionale Einpunktverteilung des KPZ-Fixpunkt unter fixer Zeit die Tracy-Widom-Verteilung des GUE bzw. GOE.^[13]

1. ↑ Craig A. Tracy, Harold Widom: Level-Spacing Distributions and the Airy Kernel. In: Physics Letters B. Nr. 305, 1993, S. 115–118, doi:10.1016/0370-2693(93)91114-3, arxiv:hep-th/9210074. 
2. ↑ Deift, P. und Zhou, X.: A steepest descent method for oscillatory Riemann-Hilbert problems. Asymptotics for the MKdV equation. In: The Annals of Mathematics (Hrsg.): Ann. of Math. Vol. 137, Nr. 2, 1993, S. 295–368, doi:10.2307/2946540, arxiv:math/9201261, JSTOR:2946540. 
3. ↑ ^{a b} J. Baik, P. Deift, K. Johansson: On the distribution of the length of the longest increasing subsequence of random permutations. In: Journal of the American Mathematical Society. Vol. 12, Nr. 4, 1999, S. 1119–1178, doi:10.1090/S0894-0347-99-00307-0, arxiv:math/9810105, JSTOR:2646100. 
4. ↑ Craig A. Tracy, Harold Widom: Level-Spacing Distributions and the Airy Kernel. In: Physics Letters B. Nr. 305, 1993, S. 115–118, doi:10.1016/0370-2693(93)91114-3, arxiv:hep-th/9210074. 
5. ↑ T.Sasamoto, H. Spohn: One-Dimensional Kardar-Parisi-Zhang Equation: An Exact Solution and its Universality. In: American Physical Society APS (Hrsg.): Physical Review Letters. Vol. 104, Nr. 23, 2010, doi:10.1103/physrevlett.104.230602, arxiv:1002.1883 [math]. 
6. ↑ Natalie Wolchover: At the Far Ends of a New Universal Law. In: Quanta Magazine. Simons Foundation, 15. Oktober 2014, abgerufen am 24. September 2021. 
7. ↑ ^{a b} Greg W. Anderson, Alice Guionnet, Ofer Zeitouni: An Introduction to Random Matrices. Cambridge University Press, 2009. 
8. ↑ Craig A. Tracy und Harold Widom, Harold: Matrix Kernels for the Gaussian Orthogonal and Symplectic Ensembles. Hrsg.: Annales de l'Institut Fourier. Band 55, Nr. 6, 2005, S. 2197–2207, doi:10.5802/aif.2158 (numdam.org). 
9. ↑ Terence Tao und Van Vu: Random Matrices: Universality of Local Eigenvalue Statistics up to the Edge. In: Springer Science and Business Media (Hrsg.): Communications in Mathematical Physics. Band 298, Nr. 2, 2010, S. 549--572, doi:10.1007/s00220-010-1044-5. 
10. ↑ Alexander Soshnikov: Universality at the Edge of the Spectrum{\textparagraph}in Wigner Random Matrices. In: Springer Science and Business Media (Hrsg.): Communications in Mathematical Physics. Band 207, Nr. 3, 1999, S. 697–733, doi:10.1007/s002200050743. 
11. ↑ J. O. Lee und J. Yin: A necessary and sufficient condition for edge universality of Wigner matrices. In: Duke Math. J. Band 163, Nr. 1, 2014, S. 117–173. 
12. ↑ Gideon Amir, Ivan Corwin und Jeremy Quastel: Probability distribution of the free energy of the continuum directed random polymer in 1 + 1 dimensions. In: Wiley (Hrsg.): Communications on Pure and Applied Mathematics. Band 64, Nr. 4, 2010, S. 466--537, doi:10.1002/cpa.20347. 
13. ↑ Jeremy Quastel und Daniel Remenik: KP governs random growth off a one dimensional substrate. Hrsg.: arXiv. 2019, doi:10.48550/ARXIV.1908.10353, arxiv:1908.10353 [abs].