Der Satz von Ajtai-Komlós-Tusnády (auch AKT optimal matching theorem) ist ein Satz aus der probabilistischen Kombinatorik. Gegeben sind zwei zufällige, verschiedene Mengen von Punkten ${\displaystyle X=(X_{1},\dots ,X_{k})}$ und ${\displaystyle Y=(Y_{1},\dots ,Y_{k})}$ im Einheitsquadrat ${\displaystyle [0,1]^{2}}$. Dann macht der Satz eine Aussage über die obere und untere Schranke der kleinsten Summe der Distanzen der Punkte.

Der Satz wurde 1984 von den ungarischen Mathematikern Miklós Ajtai, János Komlós und Gábor Tusnády bewiesen.

Aussage

Seien ${\displaystyle (X_{1},\dots ,X_{k})}$ und ${\displaystyle (Y_{1},\dots ,Y_{k})}$ zwei unabhängige Zufallsvektoren, welche der Gleichverteilung auf ${\displaystyle [0,1]^{2}}$ folgen (d. h. ${\displaystyle X_{i}\in [0,1]^{2}}$.) Sei ${\displaystyle S_{n}}$ die symmetrische Gruppe und ${\displaystyle |\cdot |}$ die euklidische Norm in ${\displaystyle \mathbb {R} ^{2}}$.

Dann gilt

${\displaystyle \mathbb {P} \left(C_{1}{\sqrt {n\log n}}<\inf \limits _{\sigma \in S_{n}}\sum \limits _{k=1}^{n}|X_{k}-Y_{\sigma (k)}|<C_{2}{\sqrt {n\log n}}\right)=1-o(1),}$

wobei ${\displaystyle C_{1},C_{2}}$ reelle Konstanten sind.

Literatur

• Sergey Bobkov und Michel Ledoux: A simple Fourier analytic proof of the AKT optimal matching theorem. 2019 (englisch). 
• Ajtai, M., Komlos, Janos und Tusnády, G.: On optimal matchings. In: Combinatorica. Band 4, 1984, S. 259–264, doi:10.1007/BF02579135 (englisch). 
• Michel Talagrand: Matching theorems and empirical discrepancy computations using majorizing measures. In: Journal of the American Mathematical Society. Band 7, 1994, S. 455–537, doi:10.1090/S0894-0347-1994-1227476-X (englisch). 

Einzelnachweise

1. ↑ Ajtai, M., Komlos, Janos und Tusnády, G.: On optimal matchings. In: Combinatorica. Band 4, 1984, S. 259–264, doi:10.1007/BF02579135.