Satz von Pólya (Irrfahrten)
# Satz von Pólya (Irrfahrten)

Der Satz von Pólya ist ein mathematischer Satz aus der Wahrscheinlichkeitstheorie, genauer der Theorie stochastischer Prozesse. Er beschäftigt sich mit der Frage, wie sich die Rückkehrwahrscheinlichkeit einer symmetrischen Irrfahrt zum Startpunkt verändert, wenn sich die Dimension des Raumes vergrößert, in dem die Irrfahrt stattfindet.

Der Satz von Pólya gehört zu den klassischen Ergebnissen in der Theorie der Irrfahrten und wurde 1921 von George Pólya gezeigt.

## Vorbereitung

Einige Rückkehrwahrscheinlichkeiten :

| Dimension $D$ | Rückkehrwahrscheinlichkeit zum Start |
| - | - |
| 1 | 1 |
| 2 | 1 |
| 3 | 0.340537 |
| 4 | 0.193206 |
| 5 | 0.135178 |
| 6 | 0.104715 |
| 7 | 0.0858449 |
| 8 | 0.0729126 |

Der Satz von Pólya beschäftigt sich mit der symmetrischen einfachen Irrfahrt $X^{D}$ in $\mathbb {Z} ^{D}$ für Dimensionen $D\in \mathbb {N} ^{+}$. Eine solche Irrfahrt ist eine Markow-Kette und durch die Übergangswahrscheinlichkeiten

    $P(X_{n+1}^{D}=x|X_{n}^{D}=y)={\begin{cases}{\frac {1}{2D}}&{\text{ falls }}|x-y|=1\\0&{\text{ sonst }}\end{cases}}$

definiert, wobei $x,y\in \mathbb {Z} ^{D}$ sind. Beachte, dass in jeder der $D$ Dimensionen ein Schritt vor oder zurückgegangen werden kann, was insgesamt zu $2D$ Möglichkeiten führt, und jede dieser Möglichkeiten ist definitionsgemäß gleich wahrscheinlich. Für $D=1$ handelt es sich um die symmetrische einfache Irrfahrt.

Des Weiteren sei

    $P(x):=P(\{{\text{ Es gibt ein }}n\geq 1\;{\text{ so dass }}X_{n}=x\}\;|\;X_{0}=x)$

die Rückkehrwahrscheinlichkeit zum Start für einen vorgegebenen Startpunkt $x$. Tatsächlich sind die Rückkehrwahrscheinlichkeiten für alle Punkte immer gleich.

## Aussage

Der Satz von Pólya lautet nun:

* Für $D=1$ und $D=2$ ist $X^{D}$ rekurrent, es ist also $P(x)=1$ für alle $x$. Die symmetrische einfache Irrfahrt kehrt also fast sicher zu ihrem Startpunkt zurück und tut dies damit auch unendlich oft.
* Für $D\geq 3$ ist $X^{D}$ transient, es ist also $P(x)<1$ für alle $x$. Somit kehrt die symmetrische einfache Irrfahrt fast sicher nur endlich oft zu ihrem Startpunkt zurück.

Der Mathematiker Shizuo Kakutani paraphrasierte (mit Anspielung auf den Drunkward's Walk) die Aussage des Satzes wie folgt:

   „A drunk man will find his way home, but a drunk bird may get lost forever“
   „Ein betrunkener Mann wird seinen Weg nach Hause finden, aber ein betrunkener Vogel kann sich für immer verirren.“
