Satz von Baik-Deift-Johansson

Der Satz von Baik-Deift-Johansson ist ein mathematisches Resultat aus der Kombinatorik. Er beschäftigt sich mit den Teilfolgen einer zufällig gezogenen Permutation aus der Menge $\{1,2,\dots ,N\}$. Zufällig heißt, alle Permutationen besitzen dieselbe Wahrscheinlichkeit gezogen zu werden. Das Theorem macht eine Aussage über die Verteilung der Länge der längsten, aufsteigenden Teilfolge im Grenzwert.

Angenommen, man zieht aus der Menge $\{1,2,\dots ,6\}$ die Permutation $\pi _{6}=(2,5,1,3,4,6)$, dann sind die längsten, aufsteigenden Teilfolgen $(2,3,4,6)$ und $(1,3,4,6)$. Sei $L(\pi _{6})=6$ die Länge von $\pi _{6}$ und $l(\pi _{6})=4$ die Länge der längsten, aufsteigenden Teilfolge. Betrachtet man allgemein $\{1,2,\dots ,N\}$, dann charakterisiert das Baik-Deift-Johansson-Theorem die Verteilung von $l(\pi _{N})$ wenn $N$ nach Unendlich strebt.

Das Theorem wurde von Jinho Baik, Percy Deift und Kurt Johansson gezeigt.

Satz von Baik-Deift-Johansson

Ulams Problem

Mit $S_{N}$ bezeichnen wir die symmetrische Gruppe. Sei $\pi _{N}\in S_{N}$ eine Permutation, dann nennen wir $\pi _{k,j}=(\pi (i_{1}),\cdots ,\pi (i_{k}))$ eine aufsteigende Teilfolge der Länge $L(\pi _{k,j})=k$, falls $i_{1}<\dots <i_{k}$ und $\pi _{N}(i_{1})<\cdots <\pi _{N}(i_{k})$.

Mit $l(\pi _{N})$ bezeichnen wir die Länge der längsten, aufsteigenden Teilfolge von $\pi _{N}$

$l(\pi _{N}):=\operatorname {max} \{1\leq k\leq N:k=L(\pi _{k,j}),\pi _{k,j}{\text{ ist eine aufsteigende Teilfolge von }}\pi _{N}\}.$

Angenommen, wir ziehen eine Permutation $\pi _{N}$ aus $S_{N}$ unter der Gleichverteilung, was können wir über die Wahrscheinlichkeitsverteilung von $l(\pi _{N})$ insbesondere $\mathbb {P} (l(\pi _{N})\leq t)$ sagen? Dieses Problem ist auch unter dem Namen Ulams Problem bekannt.

Satz von Baik-Deift-Johansson

Für jedes $N\geq 1$ sei $\pi _{N}$ eine unter der Gleichverteilung gezogene Permutation der Länge $N$. Dann gilt für jedes $x\in \mathbb {R}$

$\mathbb {P} \left({\frac {l(\pi _{N})-2{\sqrt {N}}}{N^{1/6}}}\leq x\right)\to F_{2}(x)\quad {\text{wenn }}N\to \infty$

wobei $F_{2}(x)$ die Tracy-Widom-Verteilung des gaußschen unitären Ensembles (GUE) bezeichnet.

KPZ-Universalität

→ Hauptartikel: KPZ-Fixpunkt

Das Theorem sagt, dass sich das asymptotische Verhalten der Verteilung der Länge $l(\pi _{N})$ unter entsprechender Skalierung gleich verhält wie das asymptotische Verhalten der Eigenwerte einer gaußschen hermiteschen Zufallsmatrix. Das asymptotische Verhalten von $l(\pi _{N})$ unterliegt der sogenannten KPZ-Universalitätsklasse der Kardar-Parisi-Zhang-Gleichung, einer nicht-linearen stochastischen partiellen Differentialgleichung. Alle Modelle in der Klasse fluktuieren ab einer gewissen Zeit wie die KPZ-Gleichung. Man kann Ulams Problem auch als stochastisches Grenzflächenwachstumsmodell (englisch stochastic interface growth model) formulieren, dem sogenannten polynuklearen Wachstumsmodell (englisch polynuclear growth model) kurz PNG-Modell.