Stoppzeiten und optionales Stoppen

Eine Stoppzeit ist eine zufällige Zeit, deren Eintreten anhand der bisherigen Informationen erkennbar ist. Das Theorem des optionalen Stoppens besagt, dass ein faires Spiel, das zu einer solchen Zeit beendet wird, fair bleibt – ein Prinzip von überraschender Tragweite.

Definition

Eine Stoppzeit ist eine zufällige Zeit, zu der die Entscheidung zum Anhalten nur von den bis zu diesem Zeitpunkt verfügbaren Informationen abhängt. Das Theorem des optionalen Stoppens besagt, dass unter geeigneten Bedingungen der Erwartungswert eines Martingals, der zu einer Stoppzeit ausgewertet wird, seinem anfänglichen Erwartungswert entspricht.

Scope

Das Thema umfasst die Definition einer Stoppzeit relativ zu einer Filtration und der Sigma-Algebra von Ereignissen, die durch eine Stoppzeit bekannt sind, den gestoppten Prozess, die Theoreme des optionalen Stoppens und der optionalen Stichprobenziehung mit den erforderlichen Integrierbarkeits- und Beschränktheitsbedingungen, Walds Identitäten für Summen, die zu einer zufälligen Zeit gestoppt werden, sowie Anwendungen auf das Spielerruin-Problem, Trefferwahrscheinlichkeiten und erwartete Trefferzeiten.

Core questions

• Was macht eine zufällige Zeit zu einer Stoppzeit, und warum ist diese Unterscheidung wichtig?
• Unter welchen Bedingungen bleibt der Erwartungswert eines Martingals erhalten, wenn es gestoppt wird?
• Warum kann das Theorem des optionalen Stoppens ohne Integrierbarkeits- oder Beschränktheitsannahmen fehlschlagen?
• Wie führen Stoppzeiten zu Trefferwahrscheinlichkeiten und erwarteten Dauern?

Key concepts

• Stoppzeit
• gestoppter Prozess
• optionales Sampling
• Waldsche Identitäten
• Spielerruin

Key theories

Theorem des optionalen Stoppens

Wenn eine Stoppzeit beschränkt ist oder das gestoppte Martingal gleichmäßig integrierbar ist oder die Zeit einen endlichen Mittelwert mit beschränkten Inkrementen aufweist, dann entspricht der Erwartungswert des Martingals zum Zeitpunkt des Stoppens seinem Anfangswert. Dies ist der präzise Sinn, in dem ein faires Spiel nicht durch geschickte Abbruchregeln ausgenutzt werden kann.

Waldsche Identitäten

Für eine Summe von unabhängigen, identisch verteilten Variablen, die zu einer Stoppzeit mit endlichem Mittelwert gestoppt werden, entspricht die erwartete Summe dem Mittelwert multipliziert mit der erwarteten Stoppzeit, und eine entsprechende Identität gilt für die Varianz. Diese Ergebnisse werden durch das optionale Stoppen von Martingalen erzielt.

Clinical relevance

Optionales Stoppen ist der analytische Motor zur Berechnung von Ruinwahrscheinlichkeiten und erwarteten Spielzeiten im Glücksspiel und in der Versicherung, für die Fehlerwahrscheinlichkeiten und erwarteten Stichprobengrößen von Walds sequenziellem Wahrscheinlichkeitsquotiententest sowie für First-Passage-Berechnungen in der Warteschlangentheorie, Zuverlässigkeit und der Preisgestaltung von Finanzoptionen nach amerikanischem Stil.

History

Doob formulierte die Theoreme der optionalen Stichprobenziehung für Martingale, und Wald, der in den 1940er Jahren an der sequenziellen Analyse arbeitete, leitete die Identitäten für zufällig gestoppte Summen ab, die der Martingal-Rahmen später vereinheitlichte und erklärte.

Key figures

• Joseph L. Doob
• Abraham Wald
• David Williams

Seminal works

• williams1991

Frequently asked questions

Warum muss eine Stoppzeit anhand vergangener Informationen erkennbar sein?

Könnte man basierend auf der Zukunft stoppen, könnte man ein faires Spiel genau in günstigen Momenten beenden und systematisch gewinnen; die Anforderung, dass die Stoppentscheidung nur Informationen bis zur Gegenwart verwendet, ist genau das, was das optionale Stoppen ehrlich hält.

Wann versagt das Theorem des optionalen Stoppens?

Es kann versagen, wenn die Stoppzeit unbeschränkt ist und das Martingal nicht gleichmäßig integrierbar ist, wie bei einem uneingeschränkten einfachen Random Walk, bei dem das Stoppen beim ersten Erreichen eines positiven Niveaus einen anderen Erwartungswert als den Startwert ergibt.