Eigenwerte und Eigenvektoren

Den Eigenwerten und Eigenvektoren einer stochastischen Matrix kommt in der Stochastik eine besondere Rolle zu. Ist ${\displaystyle v}$ Eigenvektor zum Eigenwert ${\displaystyle \lambda =1}$, entspricht er einer stationären Verteilung der Markow-Kette (vgl. unten). Generell besitzt jede stochastische Matrix den Eigenwert 1. Ist z. B. ${\displaystyle P}$ zeilenstochastisch, so folgt mit der Zeilensummennorm, dass ${\displaystyle \Vert P\Vert _{\infty }=1}$. Da der Spektralradius einer Matrix immer höchstens so groß wie ihre Norm ist, müssen alle Eigenwerte betragsmäßig kleiner oder gleich 1 sein. Ist nun ${\displaystyle \mathbf {1} }$ ein Einsvektor (d. h. ein Vektor mit nur 1 als Einträgen), so gilt ${\displaystyle P\mathbf {1} =\mathbf {1} }$ und 1 ist Eigenwert von ${\displaystyle P}$. Der Beweis für spaltenstochastische Matrizen läuft analog, aber mit der Spaltensummennorm anstelle der Zeilensummennorm. Daraus folgt direkt, dass 1 auch immer betragsgrößter Eigenwert ist. Des Weiteren ist 1 auch immer ein halbeinfacher Eigenwert. Die Dimension des Eigenraumes lässt sich etwas schwerer berechnen. Mit dem Satz von Perron-Frobenius folgt:

• Ist die stochastische Matrix irreduzibel, so ist die Dimension des zum Eigenwert 1 gehörenden Eigenraumes gleich 1.

Dies ist insbesondere der Fall, wenn die Einträge einer stochastischen Matrix echt größer als 0 sind.

Konvexität, Normen und Abgeschlossenheit

Die Menge der Übergangsmatrizen ist konvex. Sind also ${\displaystyle P}$ und ${\displaystyle Q}$ zeilen- bzw. spaltenstochastische Matrizen, so ist ${\displaystyle \lambda P+(1-\lambda )Q}$ wieder eine zeilen- bzw. spaltenstochastische Matrix für alle ${\displaystyle \lambda \in [0,1]}$.

Direkt aus der Definition folgt, dass die Zeilensummennorm einer zeilenstochastischen Matrix 1 ist, genauso wie die Spaltensummennorm einer spaltenstochastischen Matrix.

Außerdem sind Übergangsmatrizen abgeschlossen bezüglich der Matrixmultiplikation: Sind ${\displaystyle A,B}$ spalten- bzw. zeilenstochastische Matrizen, so ist ${\displaystyle A\cdot B}$ ebenfalls eine spalten- bzw. zeilenstochastische Matrix.

Würfelspiel Kniffel (Yahtzee)

Beim Würfelspiel Kniffel (Yahtzee) werden Punkte für verschiedene Kategorien erspielt. Im Folgenden wird nur eine Spielrunde und die wertvollste Kategorie betrachtet, die ebenfalls Kniffel oder Yahtzee genannt wird.

Bei der Kategorie Kniffel geht es darum, mit 5 Würfeln innerhalb von höchstens 3 Würfen 5 gleiche Augenzahlen zu erzielen. Beim ersten Wurf werden alle 5 Würfel geworfen. Beim zweiten und beim dritten Wurf können Würfel beliebig ausgewählt werden. Diese werden erneut geworfen.

Um mit möglichst größer Wahrscheinlichkeit einen Kniffel zu erzielen, ist folgende naheliegende Strategie optimal:

• Vor dem zweiten und vor dem dritten Wurf wird jeweils die oder eine der am häufigsten vorkommenden Augenzahlen bestimmt. Die Würfel, die diese Augenzahl zeigen, werden behalten. Alle anderen Würfel werden erneut geworfen.

Beispiele: Nach dem Wurf (1, 1, 1, 2, 2) werden also die drei Würfel mit der Augenzahl 1 behalten und die zwei Würfel mit der Augenzahl 2 erneut geworfen. Nach dem Wurf (4, 4, 5, 5, 6) werden die zwei Würfel mit der Augenzahl 4 behalten und die drei anderen Würfel erneut geworfen. Alternativ kann auch die Augenzahl 5 ausgewählt und die drei anderen Würfel erneut geworfen werden.

Die möglichen Variationen aus den Augenzahlen der 5 Würfel lassen sich in folgende Klassen einteilen, wobei A, B, C, D, E jeweils verschiedene Augenzahlen darstellen:

• fünf verschiedene Augenzahlen (ABCDE)
• einmal oder zweimal 2 gleiche Augenzahlen (entweder AABCD oder AABBC)
• 3 gleiche Augenzahlen (entweder AAABC oder AAABB)
• 4 gleiche Augenzahlen (AAAAB)
• 5 gleiche Augenzahlen (AAAAA)

Die Wahrscheinlichkeiten, mit dem ersten Wurf eine Variation aus einer dieser Klassen zu erzielen, können in dieser Reihenfolge als Startvektor ${\displaystyle x_{0}=\left({\tfrac {720}{7776}},{\tfrac {5400}{7776}},{\tfrac {1500}{7776}},{\tfrac {150}{7776}},{\tfrac {6}{7776}}\right)}$ dargestellt werden. Sie werden jeweils berechnet als Quotient aus der Anzahl der günstigen Variationen und der Anzahl 6⁵ = 7776 aller Variationen. Weil jede Augenzahl mehrfach vorkommen kann, sind es Variationen mit Wiederholung. Die Wahrscheinlichkeiten, nach dem Erzielen einer bestimmten gegebenen Variationsklasse eine bestimmte Variationsklasse mit dem zweiten Wurf zu erzielen, sind hier die Übergangswahrscheinlichkeiten ${\displaystyle p_{i,j}}$. Diese können als Übergangsmatrix

${\displaystyle P={\begin{pmatrix}{\tfrac {120}{1296}}&{\tfrac {900}{1296}}&{\tfrac {250}{1296}}&{\tfrac {25}{1296}}&{\tfrac {1}{1296}}\\0&{\tfrac {120}{216}}&{\tfrac {80}{216}}&{\tfrac {15}{216}}&{\tfrac {1}{216}}\\0&0&{\tfrac {25}{36}}&{\tfrac {10}{36}}&{\tfrac {1}{36}}\\0&0&0&{\tfrac {5}{6}}&{\tfrac {1}{6}}\\0&0&0&0&{\tfrac {1}{1}}\\\end{pmatrix}}}$

dargestellt werden. Zum Beispiel ist ${\displaystyle p_{1,2}={\tfrac {900}{1296}}}$ die Wahrscheinlichkeit, nach dem gegebenem ersten Wurf mit fünf verschiedenen Augenzahlen (ABCDE) im zweiten Wurf einmal oder zweimal 2 gleiche Augenzahlen (entweder AABCD oder AABBC) zu erzielen. Zur Berechnung dieser Wahrscheinlichkeiten sind manchmal Fallunterscheidungen notwendig, denn die häufigste Augenzahl nach dem zweiten Wurf kann eine andere sein als die häufigste Augenzahl nach dem ersten Wurf. Dafür wird die oben beschriebene optimale Strategie für das Erzielen eines Kniffels zugrunde gelegt.

Daraus ergibt sich der Vektor für die Wahrscheinlichkeiten nach zwei Würfen, indem der Startvektor ${\displaystyle x_{0}}$ mit der Übergangsmatrix ${\displaystyle P}$ multipliziert wird:

${\displaystyle x_{1}^{T}=x_{0}^{T}\cdot P}$

Die gleichen Betrachtungen können für die Berechnung der Wahrscheinlichkeiten nach drei Würfen verwendet werden und man erhält den Vektor

${\displaystyle x_{2}^{T}=x_{0}^{T}\cdot P^{2}}$

Als Verallgemeinerung erhält man den Vektor für die Wahrscheinlichkeiten nach ${\displaystyle k}$ Würfen:

${\displaystyle x_{k-1}^{T}=x_{0}^{T}\cdot P^{k-1}}$

Das jeweils letzte Element von ${\displaystyle x_{k-1}}$ ist die Wahrscheinlichkeit für einen Kniffel nach ${\displaystyle k}$ Würfen. Die ausgerechneten Werte für die ersten 10 Würfe sind:

Nach dem zehnten Wurf ist die Wahrscheinlichkeit, einen Kniffel zu erzielen, also zum ersten Mal größer als ${\displaystyle {\tfrac {1}{2}}}$.

Die Ratte im Zimmer

Peter besitzt eine Ratte. Ist die Ratte nicht im Käfig eingesperrt, so befindet sie sich entweder unter dem Schreibtisch (Zustand 3), hinter dem Schrank (Zustand 2) oder ist im Käfig, um zu fressen (Zustand 1). Die Ratte wechselt alle 5 Minuten ihren Ort. Ist sie gerade im Käfig, so bleibt sie mit Wahrscheinlichkeit 0,05 dort, mit Wahrscheinlichkeit 0,4 geht sie hinter den Schrank und mit Wahrscheinlichkeit 0,55 unter den Schreibtisch. Ist sie hinter dem Schrank, so bleibt sie mit Wahrscheinlichkeit 0,7 dort, mit Wahrscheinlichkeit 0,2 geht sie unter den Schreibtisch und mit Wahrscheinlichkeit 0,1 geht sie in den Käfig. Ist sie unter dem Schreibtisch, so bleibt sie mit Wahrscheinlichkeit 0,1 dort, mit Wahrscheinlichkeit 0,1 geht sie in den Käfig und mit Wahrscheinlichkeit 0,8 flüchtet sie hinter den Schrank. Das Verhalten der Ratte wird durch die zeilenstochastische Matrix ${\displaystyle P}$ beschrieben:

${\displaystyle P={\begin{pmatrix}0{,}05&0{,}4&0{,}55\\0{,}1&0{,}7&0{,}2\\0{,}1&0{,}8&0{,}1\end{pmatrix}}}$

Peter lässt nun seine Ratte frei und will wissen, mit welcher Wahrscheinlichkeit sich die Ratte nach 20 Minuten im Käfig befindet. Der Startzustand des Systems ist

${\displaystyle x_{0}=(1;0;0)^{T}}$

(die Ratte befindet sich mit Wahrscheinlichkeit 1 im Käfig). Der Zustand nach 20 Minuten (nach 4 Zeitschritten) ist dann (gerundet)

${\displaystyle x_{4}^{T}=x_{0}^{T}P^{4}=(0{,}0952;\ 0{,}6933;\ 0{,}2115)}$

Die Ratte befindet sich also mit Wahrscheinlichkeit 0,0952 im Käfig.

Peter fährt über das Wochenende in den Urlaub und will danach seine Ratte wieder einfangen. Nun stellt sich die Frage, wo er am besten suchen soll. Da viel Zeit vergangen ist, seit die Ratte freigelassen wurde, ist die Annahme gerechtfertigt, dass sich das System im Gleichgewicht befindet. Gesucht ist daher ein Linkseigenvektor von ${\displaystyle P}$ bzw. ein Rechtseigenvektor von ${\displaystyle P^{T}}$ zum Eigenwert 1. Durch Nachrechnen ergibt sich für den Eigenvektor (gerundet)

${\displaystyle x=(0{,}0952;\ 0{,}6926;\ 0{,}2121)^{T}}$

Peter sollte also zuerst hinter dem Schrank suchen.

Die Katze und die Maus

Gegeben seien fünf nebeneinander liegende Boxen, durchnummeriert von eins bis fünf, und in der ersten Box möge sich eine Katze und in der letzten eine Maus befinden. Nach einer festen Zeit wechseln die Tiere zufällig in eine Nachbarbox. Das makabre Spiel hat ein Ende, wenn die Katze in einer Box auf die Maus trifft. Wir bezeichnen die möglichen Zustände mit (i,j), d. h., die Katze ist in der i-ten und die Maus in der j-ten Box. Wir sehen sofort, dass wenn i gerade (ungerade) ist, j ebenfalls gerade (ungerade) sein muss. Sofort ist auch klar, dass ${\displaystyle i\leq j}$ gelten muss. Die Markow-Kette, die dieses Spiel beschreibt, hat also die folgenden fünf Zustände:

• (1,3)
• (1,5)
• (2,4)
• (3,5)
• Spielende (2,2), (3,3) und (4,4).

Der Vektor ${\displaystyle v}$ gebe an, welcher dieser fünf Zustände vorliegt. Beispielsweise steht ${\displaystyle v=[1,0,0,0,0]^{T}}$ für den ersten Zustand unserer Auflistung, also ${\displaystyle (1,3)}$, und ${\displaystyle v=[0,0,0,0,1]^{T}}$ für den letzten, also das Spielende (egal, in welcher Box).

Die Übergangsmatrix A dazu ist nun

${\displaystyle A={\begin{bmatrix}0&0&1/4&0&0\\0&0&1/4&0&0\\1/2&1&0&1/2&0\\0&0&1/4&0&0\\1/2&0&1/4&1/2&1\end{bmatrix}}.}$

Wenn wir beispielsweise wie zu Beginn im 2. Zustand ${\displaystyle v=[0,1,0,0,0]^{T}}$ sind, dann wechseln wir mit Sicherheit in den 3. Zustand ${\displaystyle v=[0,0,1,0,0]^{T}}$, also Katze in der zweiten und Maus in der vierten Box. Daher ist in der Übergangsmatrix die Position in der 2. Spalte und 3. Zeile gleich eins.

Von diesem Zustand ausgehend kommen wir nun aber mit 25 % Wahrscheinlichkeit in einen der anderen vier Zustände, daher sind alle Zeilen in der 3. Spalte gleich 1/4 (außer die 3. Zeile – der Zustand kann nicht derselbe bleiben).