Resumo Técnico: "O Problema da Bela Adormecida: A Bela Adormecida é uma 'Thirder'"

Declaração do Problema

O artigo aborda o problema da Bela Adormecida, um clássico problema de memória imperfeita introduzido por Elga [2000]. Neste cenário, uma agente (Bela Adormecida) é colocada para dormir no domingo. Uma moeda justa é lançada: se der Cara (Heads), ela é acordada uma vez (segunda-feira); se der Coroa (Tails), ela é acordada duas vezes (segunda-feira e terça-feira). Após cada despertar, ela recebe uma droga que apaga sua memória do despertar. Ao acordar, ela deve atribuir uma crença (probabilidade) à possibilidade de a moeda ter caído em Cara.

O debate centra-se em duas posições primárias:

• A posição Halfer: Atribui uma crença de $1/2$ para Cara, argumentando que nenhuma nova informação é ganha ao acordar.
• A posição Thirder: Atribui uma crença de $1/3$ para Cara, argumentando que, em uma longa sucessão de experimentos, $1/3$ de todos os despertares ocorrem em mundos de Cara.

A literatura existente frequentemente tenta resolver isso modelando a tomada de decisão da agente através de jogos de apostas, tipicamente assumindo que a agente busca maximizar o valor esperado (EV) de seus ganhos. O artigo argumenta que essa suposição é falha quando aplicada a cenários de apostas sequenciais envolvendo dinâmicas de riqueza multiplicativa.

Metodologia

O autor propõe um arcabouço de teoria da decisão que altera o objetivo de maximizar o ganho esperado para maximizar a taxa de crescimento da riqueza (o multiplicador de riqueza) sob dinâmicas multiplicativas.

1. Configuração de Aposta Sequencial

O problema é reestruturado como um jogo de apostas sequenciais:

• A Bela Adormecida começa com uma riqueza inicial $x$.
• Ela pode apostar uma fração de sua riqueza atual em um resultado da moeda com odds de 1:1.
• Ela realiza uma aposta antes de dormir (domingo) e uma aposta cada vez que acorda (segunda-feira e, potencialmente, terça-feira).
• Crucialmente, ela não tem memória das apostas anteriores ou de seu nível de riqueza atual; ela deve decidir sobre uma fração da riqueza a ser apostada.
• O experimento pode ser repetido sequencialmente ao longo do tempo, onde a riqueza final de uma execução torna-se a inicial da próxima.

2. Crítica à Maximização do Valor Esperado (EV)

O artigo utiliza o lançamento de moeda de Peters e Gell-Mann (PGM) [2016] para demonstrar a falha da maximização do EV em contextos sequenciais.

• Em um jogo de estágio único, uma aposta com valor esperado positivo (ex: ganho de +50%, perda de -40%) parece racional.
• No entanto, em um cenário sequencial onde a riqueza se acumula (compounding), a média geométrica dos resultados determina a sobrevivência a longo prazo. Uma sequência de tais apostas leva à decadência exponencial da riqueza (falência) porque o produto dos ganhos e perdas é menor que 1 ($1.5 \times 0.6 = 0.9$).
• O artigo argumenta que as discussões existentes de Dutch Book contra a posição Thirder baseiam-se na suposição incorreta de que os agentes devem maximizar a soma dos ganhos esperados em vez da taxa de crescimento da riqueza.

3. O Critério de Kelly

O autor aplica o Critério de Kelly, que maximiza a taxa de crescimento geométrico esperado da riqueza a longo prazo. Para uma aposta com odds de 1:1, a fração ótima $b$ a ser apostada é dada por $b = p - (1-p)$, onde $p$ é a probabilidade do resultado vencedor.

Principais Contribuições e Resultados

1. Derivação da Estratégia Ótima

Ao modelar o problema da Bela Adormecida como uma sequência de apostas onde o objetivo é maximizar o multiplicador de riqueza, o artigo deriva as frações de aposta ideais:

• Antes de dormir (domingo): A fração ótima apostada é $a = 0$.
• Ao acordar: A fração ótima apostada em Coroa é $b = 1/3$.

2. Inferência de Crença

Usando a fração de aposta ótima derivada ($b = 1/3$) e a fórmula do Critério de Kelly ($b = p_{coroa} - p_{cara}$), o artigo infere a atribuição de probabilidade implícita:

• $1/3 = p_{coroa} - (1 - p_{coroa}) \implies 2p_{coroa} = 4/3 \implies p_{coroa} = 2/3$.
• Consequentemente, $p_{cara} = 1/3$.
• Resultado: Uma agente que maximiza o crescimento da riqueza neste cenário sequencial atribui implicitamente uma crença de $1/3$ para Cara.

3. Análise de Dutch Book

O artigo investiga se as posições Thirder ou Halfer são vulneráveis a Dutch books diacrônicos (conjuntos de apostas que uma agente aceita individualmente, mas que garantem uma perda líquida).

• Thirder (Sleeping Kelly): O Teorema 2 prova que, se a Bela Adormecida agir como uma Thirder e apenas aceitar apostas com um multiplicador de riqueza superior a 1, ela não pode ser submetida a um Dutch book. As condições necessárias para construir um Dutch book (perda garantida tanto em cenários de Cara quanto de Coroa) contradizem matematicamente as condições necessárias para ela aceitar as apostas (multiplicador de riqueza > 1).
• Halfer: O Teorema 3 demonstra que uma Halfer (atribuindo $p=1/2$ ao acordar) é vulnerável a um Dutch book. Mesmo que a Halfer apenas aceite apostas com um multiplicador de riqueza positivo, um conjunto específico de ofertas pode ser construído que garanta uma perda tanto em cenários de Cara quanto de Coroa.

Significância e Alegações

O artigo afirma resolver o problema da Bela Adormecida fundamentando a crença da agente na gestão racional de riqueza sob dinâmicas multiplicativas, em vez de atualização de probabilidade abstrata.

• Rejeição da Maximização do EV: O artigo afirma que a suposição padrão de maximizar o ganho esperado é incorreta para problemas que envolvem memória imperfeita e apostas sequenciais.
• Validação da Posição Thirder: Ele fornece uma justificativa de teoria da decisão para a posição Thirder, mostrando que maximizar a taxa de crescimento da riqueza leva naturalmente a uma crença de $1/3$ para Cara.
• Robustez: A posição Thirder mostra-se "imune a Dutch books" sob o proposto arcabouço de maximização de riqueza, enquanto a posição Halfer permanece vulnerável.

O autor conclui que "Sleeping Kelly" (a Bela Adormecida agindo como uma maximizadora de riqueza racional) é uma Thirder, e que esta posição é a única consistente com a prevenção da ruína em ambientes de apostas sequenciais.