Satz von Sanov

Der Satz von Sanov ist ein Resultat des mathematischen Teilgebiets der Stochastik. Er ist eine zentrale Aussage der Theorie der großen Abweichungen (engl. large deviations theory) und ist eng mit der Informationstheorie verbunden. Der Satz formalisiert die Intuition, dass die Gesamtwahrscheinlichkeit eines seltenen Ereignisses von der Wahrscheinlichkeit des plausibelsten Teilereignisses dominiert wird. Er ist nach dem russischen Mathematiker Ivan Nikolajewitsch Sanov (1919–1968) benannt.

Einleitendes Beispiel

Sei $X_{1},X_{2},X_{3},\dotsc$ eine Folge von fairen Münzwürfen, modelliert als i.i.d. Bernoulli-Variablen mit Erfolgswahrscheinlichkeit $1/2,$ also $X_{1}\sim \operatorname {Ber} (1/2)$. „Kopf“ entspreche dabei der $1$, „Zahl“ der $0$. Das starke Gesetz der großen Zahlen besagt, dass das arithmetische Mittel

$S_{n}={\frac {1}{n}}\sum _{i=1}^{n}X_{i}$

fast sicher gegen den Erwartungswert $\mathrm {E} [X_{1}]=\mathrm {E} [X_{2}]=\dotsb =1/2$ konvergiert. Es trifft aber keine Aussage über die Geschwindigkeit der Konvergenz. Typischerweise wird der Mittelwert nahe bei $1/2$ sein, es ist aber nicht ausgeschlossen, dass er für ein beliebig großes $n$ immer noch stark vom Grenzwert abweicht, also bspw. $S_{n}\geq 2/3$ gilt. Der Satz von Sanov quantifiziert, wie schnell die Wahrscheinlichkeit einer solchen Abweichung gegen $0$ geht. Über das asymptotische Verhalten hinaus kann man sich auch fragen, wie wahrscheinlich der Mittelwert für ein konkretes $n$ abweicht. In seinem berühmten Werk The Doctrine of Chances behandelte Abraham de Moivre beispielsweise ein Gedankenexperiment von $3600$ Münzwürfen. Wie hoch ist die Wahrscheinlichkeit für $S_{3600}\geq 2/3$?

Solche Fragen lassen sich wie folgt maßtheoretisch formalisieren: Sei ${\mathcal {P}}$ die Menge aller Wahrscheinlichkeitsmaße auf $\{0,1\}$, also die Gesamtheit aller Bernoulli-Verteilungen. Für jede positive ganze Zahl $n$ sei

${\hat {P}}_{n}={\frac {1}{n}}\sum _{i=1}^{n}\delta _{X_{i}}$

die empirische Verteilung der ersten $n$ Münzwürfe, wobei $\delta _{x}$ das Dirac-Maß an der Stelle $x$ bezeichne. Es gilt dann stets ${\hat {P}}_{n}\in {\mathcal {P}}$ und nach dem Gesetz der großen Zahlen konvergiert ${\hat {P}}_{n}\,\xrightarrow {\text{f.s.}} \,\operatorname {Ber} (1/2)$. Außerdem sei $\textstyle \Gamma =\{\mathrm {Ber} (p)\,|\,p\geq 2/3\}\subseteq {\mathcal {P}}$ die Teilmenge aller Verteilungen mit Erwartungswert mindestens $2/3$. Dann ist die Wahrscheinlichkeit $\mathrm {P} [{\hat {P}}_{n}\in \Gamma ]$, dass das zufällige Maß ${\hat {P}}_{n}$ in $\Gamma$ liegt, genau die Wahrscheinlichkeit $\mathrm {P} [S_{n}\geq 2/3]$.

Endlicher Fall

Sei ${\mathcal {X}}$ eine endliche Menge und ${\mathcal {P}}$ die Menge aller Wahrscheinlichkeitsmaße auf ${\mathcal {X}}$ versehen mit der schwachen Topologie (vgl. Konvergenz in Verteilung). Sei weiter $(X_{i})_{i\geq 1}$ eine Folge von i.i.d. Zufallsvariablen, wobei $X_{1}\sim P$ gemäß einem festen $P\in {\mathcal {P}}$ verteilt sei, und sei ${\hat {P}}_{n}$ die empirische Verteilung von $X_{1},\dotsc ,X_{n}$. Für ein Wahrscheinlichkeitsmaß $Q\in {\mathcal {P}}$ bezeichne schließlich $\textstyle D(Q\|P)=\sum _{x\in {\mathcal {X}}}Q(x)\cdot \log {Q(x) \over P(x)}$ die Kullback-Leibler-Divergenz von $P$ zu $Q$.

Unter diesen Voraussetzungen besagt der Satz von Sanov, dass für jede Menge $\Gamma \subseteq {\mathcal {P}}$ gilt:

$-\inf _{Q\in \operatorname {int} (\Gamma )}\,D(Q\|P)\leq \liminf _{n\to \infty }\,{\frac {1}{n}}\log \left(\,\mathrm {P} [{\hat {P}}_{n}\in \Gamma ]\,\right)\leq \limsup _{n\to \infty }\,{\frac {1}{n}}\log \left(\,\mathrm {P} [{\hat {P}}_{n}\in \Gamma ]\,\right)\leq -\inf _{Q\in \operatorname {cl} (\Gamma )}\,D(Q\|P)$

Hierbei ist $\operatorname {int} (\Gamma )$ das Innere und $\operatorname {cl} (\Gamma )$ der Abschluss von $\Gamma$. Falls außerdem die linke und die rechte Seite der Ungleichungskette übereinstimmen, dann existiert der Grenzwert und es gilt:

$\lim _{n\to \infty }\,{\frac {1}{n}}\log \left(\,\mathrm {P} [{\hat {P}}_{n}\in \Gamma ]\,\right)=-\inf _{Q\in \Gamma }\,D(Q\|P)$

Bemerkungen

• Die konkrete Wahl der Basis des Logarithmus ist unerheblich, es muss aber darauf geachtet werden, dass dieselbe wie bei der Divergenz verwendet wird (vgl. Shannon (Einheit)).
• Aus der Endlichkeit von ${\mathcal {X}}$ und der Stetigkeit von $D(\,\cdot \,\|P)$ folgt $\textstyle \,\inf _{Q\in \operatorname {cl} (\Gamma )}\,D(Q\|P)=\inf _{Q\in \Gamma }\,D(Q\|P)$, das Infimum über das Innere von $\Gamma$ kann aber echt größer sein.
• Falls $\Gamma$ konvex ist, dann ist das Maß $\textstyle P^{*}={\arg \min }_{Q\in \Gamma }\,D(Q\|P)$ wohldefiniert und wird die Informationsprojektion (engl. information projection) von $P$ auf $\Gamma$ genannt.
• Bis auf sublineare additive Terme im Exponenten (d. h. subexponentielle Faktoren) gilt asymptotisch $\mathrm {P} [{\hat {P}}_{n}\in \Gamma ]\simeq \mathrm {e} ^{-n\inf D(Q\|P)}$, wenn die Divergenz in Nat angegeben ist. Es lässt sich sogar zeigen: Für jedes $n$ gilt $\mathrm {P} [{\hat {P}}_{n}\in \Gamma ]\leq (n+1)^{|{\mathcal {X}}|}\cdot \mathrm {e} ^{-n\inf D(Q\|P)}.$
• Das empirische Maß ${\hat {P}}_{n}$ kann nicht beliebige Werte annehmen, sondern liegt stets in $\textstyle {\mathcal {P}}_{n}=\{Q\in {\mathcal {P}}\,|\,\forall x\in {\mathcal {X}}\colon \,nQ(x)\in \{0,1,\dotsc ,n\}\}$, die Elemente von ${\mathcal {P}}_{n}$ werden Typen genannt. Die Wahrscheinlichkeit, dass ${\hat {P}}_{n}$ ein konkreter Typ $Q\in {\mathcal {P}}_{n}$ ist, lässt sich durch $(n+1)^{-|{\mathcal {X}}|}\mathrm {e} ^{-nD(Q\|P)}\leq \mathrm {P} [{\hat {P}}_{n}=Q]\leq \mathrm {e} ^{-nD(Q\|P)}$ abschätzen.

Insgesamt wird also die Wahrscheinlichkeit $\mathrm {P} [{\hat {P}}_{n}\in \Gamma ]$ von demjenigen Typ $Q\in \Gamma$ dominiert, der die kleinste Divergenz von der „wahren“ Verteilung $P$ hat. Jeder andere Typ $Q'$ mit $D(Q'\|P)\geq D(Q\|P)+\varepsilon$ hat eine exponentiell kleinere Wahrscheinlichkeit.

Allgemeiner Fall

Der Satz von Sanov lässt sich erheblich verallgemeinern, insbesondere ist die Endlichkeit der Grundmenge unnötig. Sei nun ${\mathcal {X}}$ ein beliebiger polnischer Raum (bspw. der $\mathbb {R} ^{d}$), ${\mathcal {P}}$ die Menge aller Wahrscheinlichkeitsmaße auf ${\mathcal {X}}$ mit der schwachen Topologie und wieder $(X_{i})_{i\geq 1}$ eine Folge von i.i.d. ${\mathcal {X}}$-wertigen Zufallsvariablen mit $X_{1}\sim P$ für ein $P\in {\mathcal {P}}$. Jedes absolut stetige Maß $Q\ll P$ besitzt eine Radon-Nikodým-Dichte $\textstyle f$ bezüglich $P$, die Divergenz ist dann durch $\textstyle D(Q\|P)=\int f\log f\,\mathrm {d} P$ erklärt, für alle übrigen Maße kann man gefahrlos $D(Q\|P)=+\infty$ setzen. Beachte, dass die empirischen Maße ${\hat {P}}_{n}\ll P$ offensichtlich immer absolut stetig bezüglich $P$ sind.

Mit diesen angepassten Voraussetzungen besagt der Satz von Sanov erneut, dass für jede Menge $\Gamma \subseteq {\mathcal {P}}$ gilt:

$-\inf _{Q\in \operatorname {int} (\Gamma )}\,D(Q\|P)\leq \liminf _{n\to \infty }\,{\frac {1}{n}}\log \left(\,\mathrm {P} [{\hat {P}}_{n}\in \Gamma ]\,\right)\leq \limsup _{n\to \infty }\,{\frac {1}{n}}\log \left(\,\mathrm {P} [{\hat {P}}_{n}\in \Gamma ]\,\right)\leq -\inf _{Q\in \operatorname {cl} (\Gamma )}\,D(Q\|P)$

Falls $\Gamma =\operatorname {cl} (\operatorname {int} (\Gamma ))$ der Abschluss seines Inneren ist, dann gilt:

$\lim _{n\to \infty }\,{\frac {1}{n}}\log \left(\,\mathrm {P} [{\hat {P}}_{n}\in \Gamma ]\,\right)=-\inf _{Q\in \Gamma }\,D(Q\|P)$

Literatur

• Thomas M. Cover, Joy A. Thomas: Elements of Information Theory. 2. Auflage. John Wiley & Sons, Hoboken, NJ, USA 2006. 
• Amir Dembo, Ofer Zeitouni: Large Deviations Techniques and Applications (= Stochastic Modelling and Applied Probability. Nr. 38). 2. Auflage. Springer, Berlin & Heidelberg, Deutschland 2010, doi:10.1007/978-3-642-03311-7. 
• Jean-Dominique Deuschel, Daniel W. Stroock: Large Deviations (= Pure and Applied Mathematics. Nr. 137). Academic Press, Boston, MA, USA 1989, doi:10.1016/S0079-8169(08)61645-1.