Tempos de Paragem e Paragem Opcional

Um tempo de paragem é um tempo aleatório cuja chegada é reconhecível a partir da informação disponível até então, e o teorema da paragem opcional afirma que um jogo justo parado nesse tempo permanece justo, um princípio de alcance surpreendente.

Definition

Um tempo de paragem é um tempo aleatório no qual a decisão de parar depende apenas da informação disponível até esse momento, e o teorema da paragem opcional afirma que, sob condições adequadas, o valor esperado de um martingala avaliado num tempo de paragem é igual ao seu valor esperado inicial.

Scope

O tópico abrange a definição de um tempo de paragem em relação a uma filtração e à sigma-álgebra de eventos conhecidos por um tempo de paragem, o processo parado, os teoremas da paragem opcional e da amostragem opcional com as condições de integrabilidade e limitação que eles exigem, as identidades de Wald para somas paradas num tempo aleatório, e aplicações à ruína do jogador, probabilidades de acerto e tempos esperados de acerto.

Core questions

• O que torna um tempo aleatório um tempo de paragem, e por que essa distinção é importante?
• Sob que condições parar um martingala preserva seu valor esperado?
• Por que o teorema da paragem opcional pode falhar sem suposições de integrabilidade ou limitação?
• Como os tempos de paragem produzem probabilidades de acerto e durações esperadas?

Key concepts

• tempo de paragem
• processo parado
• amostragem opcional
• identidades de Wald
• ruína do jogador

Key theories

Teorema da paragem opcional

Se um tempo de paragem é limitado, ou o martingala parado é uniformemente integrável, ou o tempo tem média finita com incrementos limitados, então o valor esperado do martingala no tempo de paragem é igual ao seu valor inicial, o sentido preciso em que um jogo justo não pode ser explorado por regras de saída inteligentes.

Identidades de Wald

Para uma soma de variáveis independentes e identicamente distribuídas paradas num tempo de paragem de média finita, a soma esperada é igual à média vezes o tempo de paragem esperado, e uma identidade correspondente é válida para a variância, resultados obtidos pela paragem opcional de martingala.

Clinical relevance

A paragem opcional é o motor analítico para o cálculo de probabilidades de ruína e tempos de jogo esperados em jogos de azar e seguros, para as probabilidades de erro e tamanhos de amostra esperados do teste sequencial de razão de probabilidade de Wald, e para cálculos de primeira passagem em filas de espera, fiabilidade e precificação de opções financeiras de estilo americano.

History

Doob formulou os teoremas de amostragem opcional para martingalas, e Wald, trabalhando em análise sequencial durante a década de 1940, derivou as identidades para somas paradas aleatoriamente que a estrutura de martingala posteriormente unificou e explicou.

Key figures

• Joseph L. Doob
• Abraham Wald
• David Williams

Seminal works

• williams1991

Frequently asked questions

Por que um tempo de paragem deve ser reconhecível a partir de informações passadas?

Se alguém pudesse parar com base no futuro, poderia abandonar um jogo justo exatamente em momentos favoráveis e ganhar sistematicamente; a exigência de que a decisão de parar use apenas informações até o presente é precisamente o que mantém a paragem opcional honesta.

Quando o teorema da paragem opcional falha?

Pode falhar quando o tempo de paragem é ilimitado e o martingala não é uniformemente integrável, como numa caminhada aleatória simples irrestrita onde parar na primeira visita a um nível positivo dá um valor esperado diferente do início.