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 <strong>\)99,998%\(</strong> com apostas de \)$0,50\(), e na roleta americana (\)p = 18/38, q/p = 10/9\(), falha com probabilidade de <strong>\)99,997%\(</strong>! Pelo teorema de <strong>Dubins e Savage (1965)</strong>, 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}\).