Introducción: El seductor mito de los casinos del siglo XVIII

En 1754, en los salones de Venecia, Giacomo Casanova intentó vencer al juego de cartas Faro utilizando la estrategia de doblar la apuesta tras cada derrota (sistema Martingala). Tras empeñar los diamantes de su amante, una racha adversa le hizo perder 5.000 cequíes en una sola tarde. En 1891, Charles Wells («el hombre que quebró la banca en Montecarlo») vivió un espejismo similar en la ruleta antes de perder toda su fortuna y morir en la indigencia en París en 1922.

En un juego binario con pago $1:1$, probabilidad de éxito $p \in (0, 1)$ y de fracaso $q = 1 - p$, el jugador apuesta $\$1$ en la ronda $1$ y duplica la apuesta tras cada pérdida: $$2, $4, \dots, $2^{k-1}$. En el instante en que logra su primera victoria en la ronda $k$, su beneficio neto es:

Como la probabilidad de perder para siempre es $\lim_{k \to \infty} q^k = 0$, ¡parece una máquina garantizada de ganar $+\$1$ con probabilidad $1$! ¿Por qué colapsa en la realidad?

1. La trampa del capital finito y la «apisonadora» de Taleb

Todo jugador real posee un capital finito $B$ (o se enfrenta al límite de mesa del casino) que soporta a lo sumo $K$ derrotas consecutivas, requiriendo un capital acumulado de:

En un solo ciclo existen únicamente dos resultados posibles: ganar $+\$1$ con probabilidad $1 - q^K$, o sufrir una ruina catastrófica de $-$(2^K - 1)$ con probabilidad $q^K$. El valor esperado exacto $\mathbb{E}[\Delta W]$ es:

• Juego justo ($p = q = 1/2$): $2q = 1 \implies \mathbb{E}[\Delta W] = 0$ para cualquier $K$, mientras que la apuesta máxima esperada sin límite es infinita: $\mathbb{E}[2^{\tau-1}] = \sum_{k=1}^\infty 2^{k-1}(1/2)^k = \infty$.
• Juego con ventaja de la casa ($q > 1/2$): $2q > 1 \implies \mathbb{E}[\Delta W] = 1 - (2q)^K < 0$, empeorando exponencialmente cuanto mayor sea tu capital $K$.

  flowchart TD
    Start["Inicio del ciclo Martingala<br/>Apuesta b₁ = $1, Capital B = 2^K - 1"] --> Round["Ronda k: Apuesta b_k = 2^(k-1)"]
    Round -->|"Victoria (Probabilidad p)"| Win["¡Pérdidas previas (2^(k-1) - 1) recuperadas!<br/>Beneficio neto ΔW = +$1 (Prob: 1 - q^K)"]
    Round -->|"Derrota (Probabilidad q)"| Check{"¿Se alcanzó el límite k = K?<br/>(Capital o límite de mesa agotado)"}
    Check -->|"No (k < K)"| Double["Doblar apuesta: b_(k+1) = 2^k"]
    Double --> Round
    Check -->|"Sí (k = K)"| Ruin["¡Ruina catastrófica de cola!<br/>Pérdida total ΔW = -(2^K - 1) (Prob: q^K)"]
    Win --> Expect["Esperanza exacta del ciclo:<br/>E[ΔW] = 1 - (2q)^K ≤ 0"]
    Ruin --> Expect

Esto transforma un paseo aleatorio suave en lo que Nassim Nicholas Taleb denomina «recoger centavos frente a una apisonadora» (asimetría negativa extrema / riesgo de cola).

2. El problema de la ruina del jugador de Huygens y Pascal (1657)

Si un jugador empieza con $k$ unidades frente a un casino con $N - k$ unidades (barreras absorbentes en $0$ y $N$), apostando $1$ unidad por turno, la probabilidad de alcanzar $N$ antes de arruinarse en $0$, $P_k = \mathbb{P}(X_\tau = N \mid X_0 = k)$, satisface la ecuación en diferencias lineal de segundo orden:

Mediante la suma telescópica de $P_{j+1} - P_j = (q/p)^j P_1$, obtenemos las soluciones exactas:

Consecuencias devastadoras:

1. Ruina del 100% frente a un casino infinitamente rico ($N \to \infty$): Incluso en un juego 100% justo ($p = 1/2$), la probabilidad de ruina eventual es $\lim_{N \to \infty} (1 - k/N) = 1$ (ruina segura al 100%).
2. El muro exponencial en la ruleta: Intentar duplicar $k = \$100$ a $N = $200$ mediante apuestas de $$1$ da $P_{100} = \frac{1}{1 + (q/p)^{100}}$. En la ruleta europea ($p = 18/37$), el éxito es de solo $0,448%$ ($99,55%$ de ruina; con apuestas de $$0,50$ es del $99,998%$), y en la ruleta americana ($p = 18/38, q/p = 10/9$), ¡fracasa con una probabilidad del $99,997%$! Por el teorema de Dubins y Savage (1965), el juego audaz (*Bold Play*) es óptimo cuando $p < 1/2$.

3. Teoría de martingalas de Lévy y Doob y el Teorema de Parada Opcional

Dada una filtración $\{\mathcal{F}_t\}_{t \ge 0}$, un proceso adaptado integrable $\{M_t\}_{t \ge 0}$ ($\mathbb{E}[|M_t|] < \infty$) es una Martingala si $\mathbb{E}[M_{t+1} \mid \mathcal{F}_t] = M_t$, una Submartingala si $\ge M_t$, y una Supermartingala si $\le M_t$. La integral estocástica discreta (transformada de martingala) $(H \cdot M)_n = \sum_{k=1}^n H_k (M_k - M_{k-1})$ demuestra que ninguna estrategia predecible $H_k \in \mathcal{F}_{k-1}$ puede vencer a un juego justo.

El Teorema de Parada Opcional de Doob (OST) establece que para un tiempo de parada $\tau$, $\mathbb{E}[M_\tau] = \mathbb{E}[M_0]$ se cumple si y solo si $\{M_{t \wedge \tau}\}$ es uniformemente integrable, lo cual está garantizado si se cumple al menos una de estas tres condiciones:

1. $\tau$ está acotado casi seguramente ($\tau \le C < \infty$), O
2. $|M_{t \wedge \tau}| \le K < \infty$ está uniformemente acotado (capital finito), O
3. $\mathbb{E}[\tau] < \infty$ y $\mathbb{E}[|M_{t+1} - M_t| \mid \mathcal{F}_t] \le c < \infty$.

  flowchart TD
    Start["Martingala {M_t} y tiempo de parada τ (P(τ < ∞) = 1)"] --> CheckUI{"Teorema de Parada Opcional de Doob (OST)<br/>Verificación de las 3 condiciones de integrabilidad uniforme"}
    CheckUI -->|"1. τ ≤ C c.s. (Tiempo acotado)"| Valid["¡Integrabilidad uniforme satisfecha!<br/>Se conserva E[M_τ] = E[M_0]"]
    CheckUI -->|"2. |M_(t∧τ)| ≤ K c.s. (Capital finito / Límite)"| Valid
    CheckUI -->|"3. E[τ] < ∞ e incrementos |ΔM_t| ≤ c"| Valid
    CheckUI -->|"Las 3 condiciones violadas (Infinito irreal)"| Invalid["Colapso del OST: lim E[M_(t∧τ)] ≠ E[M_τ]"]

Finalmente, usando la Identidad de Wald y la martingala cuadrática $M_t = X_t^2 - t$ en el juego justo ($p = 1/2$), obtenemos al instante la duración esperada hasta la ruina:

Cuando $N \to \infty$, $\mathbb{E}[\tau] = \infty$: ¡la ruina ocurre con probabilidad $1$, pero el tiempo esperado hasta arruinarse es infinito! Para $p \ne q$, la identidad de Wald arroja $\mathbb{E}[\tau] = \frac{k - N P_k}{q - p}$.