Introdução: O sedutor mito dos cassinos do século XVIII

Em 1754, nos salões de Veneza, Giacomo Casanova tentou derrotar o jogo de Faro usando a famosa estratégia Martingale — dobrando sua aposta após cada derrota. Depois de empenhar os diamantes de sua amante, uma sequência de perdas destruiu todo o seu capital de 5.000 sequim em uma única tarde. Em 1891, Charles Wells («o homem que quebrou a banca em Monte Carlo») viveu uma ilusão semelhante na roleta antes de perder toda a sua fortuna e morrer sem um tostão em Paris em 1922.

Em um jogo binário com pagamento $1:1$, probabilidade de vitória $p \in (0, 1)$ e de derrota $q = 1 - p$, você aposta $\$1$ na rodada $1$; se perder, aposta $$2, $4, $8, \dots, $2^{k-1}$. Na primeira vez em que vence na rodada $k$, seu lucro líquido é:

Como a probabilidade de perder para sempre é $\lim_{k \to \infty} q^k = 0$, parece uma máquina garantida de $+\$1$ com probabilidade $1$! Por que essa estratégia entra em colapso?

1. A armadilha da banca finita e o «rolo compressor» de Taleb

Qualquer jogador real possui uma banca finita $B$ (ou limite de mesa do cassino) capaz de suportar no máximo $K$ derrotas consecutivas, exigindo um capital total de:

Em um único ciclo, você ganha $+\$1$ com probabilidade $1 - q^K$ ou sofre uma ruína catastrófica de $-$(2^K - 1)$ com probabilidade $q^K$, resultando no valor esperado exato:

• Jogo justo ($p = q = 1/2$): $2q = 1 \implies \mathbb{E}[\Delta W] = 0$ para qualquer $K$, enquanto a aposta máxima esperada sem limite é infinita: $\mathbb{E}[2^{\tau-1}] = \sum_{k=1}^\infty 2^{k-1}(1/2)^k = \infty$.
• Jogo de cassino ($q > 1/2$): $2q > 1 \implies \mathbb{E}[\Delta W] = 1 - (2q)^K < 0$, tornando-se exponencialmente pior quanto maior for a sua banca $K$!

  flowchart TD
    Start["Início do ciclo Martingale<br/>Aposta b₁ = $1, Banca B = 2^K - 1"] --> Round["Rodada k: Aposta b_k = 2^(k-1)"]
    Round -->|"Vitória (Probabilidade p)"| Win["Perdas anteriores (2^(k-1) - 1) recuperadas!<br/>Lucro líquido ΔW = +$1 (Prob: 1 - q^K)"]
    Round -->|"Derrota (Probabilidade q)"| Check{"Atingiu o limite k = K?<br/>(Banca ou limite da mesa esgotado)"}
    Check -->|"Não (k < K)"| Double["Dobrar aposta: b_(k+1) = 2^k"]
    Double --> Round
    Check -->|"Sim (k = K)"| Ruin["Ruína catastrófica de cauda!<br/>Perda total ΔW = -(2^K - 1) (Prob: q^K)"]
    Win --> Expect["Valor esperado exato do ciclo:<br/>E[ΔW] = 1 - (2q)^K ≤ 0"]
    Ruin --> Expect

Isso converte um passeio aleatório suave no que Nassim Nicholas Taleb chama de «catar moedas na frente de um rolo compressor» (assimetria negativa extrema / risco de cauda).

2. O problema da ruína do jogador de Huygens e Pascal (1657)

Um jogador começa com $k$ unidades contra um cassino com $N - k$ unidades (barreiras absorventes em $0$ e $N$), ganhando $+1$ com probabilidade $p$ e perdendo $-1$ com probabilidade $q = 1 - p$. A probabilidade de vitória $P_k = \mathbb{P}(X_\tau = N \mid X_0 = k)$ satisfaz a equação de diferenças linear de segunda ordem:

Pela soma telescópica de $P_{j+1} - P_j = (q/p)^j P_1$, derivamos ambas as soluções exatas em forma fechada:

Consequências devastadoras:

1. Ruína de 100% contra um cassino infinitamente rico ($N \to \infty$): Mesmo em um jogo 100% justo ($p = 1/2$), a probabilidade de ruína eventual é $\lim_{N \to \infty} (1 - k/N) = 1$ (100% de ruína certa).
2. A parede exponencial na roleta: Tentar dobrar $k = \$100$ para $N = $200$ via apostas de $$1$ fornece $P_{100} = \frac{1}{1 + (q/p)^{100}}$. Na roleta europeia ($p = 18/37$), a chance de sucesso é de apenas $0,448%$ ($99,55%$ de ruína; e $99,998%$ com apostas de $$0,50$), e na roleta americana ($p = 18/38, q/p = 10/9$), falha com probabilidade de $99,997%$! Pelo teorema de Dubins e Savage (1965), a aposta ousada (*Bold Play*) é ótima quando $p < 1/2$.

3. Teoria dos Martingales de Lévy e Doob e o Teorema da Parada Opcional

Dada uma filtração $\{\mathcal{F}_t\}_{t \ge 0}$, um processo adaptado integrável $\{M_t\}_{t \ge 0}$ ($\mathbb{E}[|M_t|] < \infty$) é um Martingale se $\mathbb{E}[M_{t+1} \mid \mathcal{F}_t] = M_t$, um Submartingale se $\ge M_t$, e um Supermartingale se $\le M_t$. A integral estocástica discreta (transformada de martingale) $(H \cdot M)_n = \sum_{k=1}^n H_k (M_k - M_{k-1})$ prova que nenhuma estratégia previsível $H_k \in \mathcal{F}_{k-1}$ pode vencer um jogo justo.

O Teorema da Parada Opcional de Doob (OST) afirma que para um tempo de parada $\tau$, $\mathbb{E}[M_\tau] = \mathbb{E}[M_0]$ vale se e somente se $\{M_{t \wedge \tau}\}$ for uniformemente integrável, o que é garantido se pelo menos uma das três condições for satisfeita:

1. $\tau$ é limitado quase certamente ($\tau \le C < \infty$), OU
2. $|M_{t \wedge \tau}| \le K < \infty$ é uniformemente limitado (banca finita), OU
3. $\mathbb{E}[\tau] < \infty$ e $\mathbb{E}[|M_{t+1} - M_t| \mid \mathcal{F}_t] \le c < \infty$.

  flowchart TD
    Start["Martingale {M_t} e tempo de parada τ (P(τ < ∞) = 1)"] --> CheckUI{"Teorema da Parada Opcional de Doob (OST)<br/>Verificação das 3 condições de integrabilidade uniforme"}
    CheckUI -->|"1. τ ≤ C q.c. (Tempo limitado)"| Valid["Integrabilidade uniforme satisfeita!<br/>Conserva-se E[M_τ] = E[M_0]"]
    CheckUI -->|"2. |M_(t∧τ)| ≤ K q.c. (Banca finita / Limite)"| Valid
    CheckUI -->|"3. E[τ] < ∞ e incrementos |ΔM_t| ≤ c"| Valid
    CheckUI -->|"Todas as 3 condições violadas (Infinito irreal)"| Invalid["Quebra do OST: lim E[M_(t∧τ)] ≠ E[M_τ]"]

Por fim, usando a Identidade de Wald e o martingale quadrático $M_t = X_t^2 - t$ no jogo justo ($p = 1/2$), obtemos imediatamente a duração esperada até a ruína:

Quando $N \to \infty$, $\mathbb{E}[\tau] = \infty$: a ruína ocorre com $100\%$ de certeza, mas o tempo esperado até a ruína é infinito! Para $p \ne q$, a identidade de Wald fornece $\mathbb{E}[\tau] = \frac{k - N P_k}{q - p}$.