Введение: Соблазнительный миф казино XVIII века

В 1754 году в игорных домах Венеции Джакомо Казанова пытался обыграть банк в карточной игре фараон, удваивая ставку после каждого проигрыша (система мартингал). Заложив бриллианты своей возлюбленной, он за один день попал в полосу неудач и потерял все 5000 цехинов. В 1891 году Чарльз Уэллс («человек, который сорвал банк в Монте-Карло») пережил аналогичный триумф на рулетке, но при повторной попытке потерял всё состояние и умер в нищете в Париже в 1922 году.

В бинарной игре с выплатой $1:1$, вероятностью выигрыша $p \in (0, 1)$ и проигрыша $q = 1 - p$ игрок ставит $\$1$, а после каждого проигрыша удваивает ставку: $$2, $4, $8, \dots, $2^{k-1}$. Как только на $k$-м шаге случается первый выигрыш, чистая прибыль составляет:

Поскольку вероятность проигрывать вечно равна $\lim_{k \to \infty} q^k = 0$, стратегия выглядит как гарантированная машина по извлечению $+\$1$ с вероятностью $1$! В чём же кроется математический подвох?

1. Ловушка конечного капитала и «паровой каток» Талеба

Любой реальный игрок обладает конечным капиталом $B$ (или ограничен лимитом стола казино), способным выдержать не более $K$ проигрышей подряд, что требует суммарного банка:

В одном цикле возможны лишь два исхода: выигрыш $+\$1$ с вероятностью $1 - q^K$ или катастрофическое разорение $-$(2^K - 1)$ с вероятностью $q^K$. Точное математическое ожидание изменения капитала равно:

• Честная игра ($p = q = 1/2$): $2q = 1 \implies \mathbb{E}[\Delta W] = 0$ при любом $K$, а ожидаемая максимальная ставка без лимита бесконечна: $\mathbb{E}[2^{\tau-1}] = \sum_{k=1}^\infty 2^{k-1}(1/2)^k = \infty$.
• Игра с преимуществом казино ($q > 1/2$): $2q > 1 \implies \mathbb{E}[\Delta W] = 1 - (2q)^K < 0$ — чем больше ваш запас капитала $K$, тем сильнее (экспоненциально!) растёт ваш ожидаемый убыток за цикл!

  flowchart TD
    Start["Начало цикла мартингала<br/>Ставка b₁ = $1, Капитал B = 2^K - 1"] --> Round["Раунд k: Ставка b_k = 2^(k-1)"]
    Round -->|"Выигрыш (Вероятность p)"| Win["Все прошлые убытки (2^(k-1) - 1) отыграны!<br/>Чистая прибыль ΔW = +$1 (Вер-ть: 1 - q^K)"]
    Round -->|"Проигрыш (Вероятность q)"| Check{"Достигнут предел k = K?<br/>(Капитал или лимит стола исчерпан)"}
    Check -->|"Нет (k < K)"| Double["Удвоить ставку: b_(k+1) = 2^k"]
    Double --> Round
    Check -->|"Да (k = K)"| Ruin["Катастрофическое разорение!<br/>Убыток ΔW = -(2^K - 1) (Вер-ть: q^K)"]
    Win --> Expect["Точное мат. ожидание цикла:<br/>E[ΔW] = 1 - (2q)^K ≤ 0"]
    Ruin --> Expect

По выражению Нассима Николаса Талеба, мартингал превращает обычное случайное блуждание в «собирание пенсов перед паровым катком» (экстремальная отрицательная асимметрия / хвостовой риск).

2. Задача о разорении игрока Гюйгенса и Паскаля (1657)

Игрок начинает с капиталом $k$ единиц против казино с $N - k$ единицами (поглощающие экраны в $0$ и $N$), выигрывая $+1$ с вероятностью $p$ и теряя $-1$ с вероятностью $q = 1 - p$. Вероятность успеха $P_k = \mathbb{P}(X_\tau = N \mid X_0 = k)$ удовлетворяет линейному разностному уравнению второго порядка:

Телескопическое суммирование $P_{j+1} - P_j = (q/p)^j P_1$ даёт точные аналитические решения:

Разрушительные следствия:

1. 100%-ное разорение против бесконечно богатого казино ($N \to \infty$): Даже в абсолютно честной игре ($p = 1/2$) вероятность разорения равна $\lim_{N \to \infty} (1 - k/N) = 1$ (гарантированное банкротство с вероятностью 100%).
2. Экспоненциальная стена в рулетке: Попытка удвоить $k = \$100$ до $N = $200$ ставками по $$1$ даёт $P_{100} = \frac{1}{1 + (q/p)^{100}}$. В европейской рулетке ($p = 18/37$) шанс успеха равен всего $0,448%$ ($99,55%$ разорения; а при ставках по $$0,50$ — $99,998%$), а в американской рулетке ($p = 18/38, q/p = 10/9$) провал происходит с вероятностью $99,997%$! Согласно теореме Дубинса и Сэвиджа (1965), при $p < 1/2$ оптимальна смелая игра (Bold Play — ставить всё сразу).

3. Теория мартингалов Леви и Дуба и теорема об опциональной остановке

Пусть $\{\mathcal{F}_t\}_{t \ge 0}$ — фильтрация. Адаптированный интегрируемый процесс $\{M_t\}_{t \ge 0}$ ($\mathbb{E}[|M_t|] < \infty$) называется мартингалом, если $\mathbb{E}[M_{t+1} \mid \mathcal{F}_t] = M_t$, субмартингалом ($\ge M_t$) и супермартингалом ($\le M_t$). Дискретный стохастический интеграл (преобразование мартингала) $(H \cdot M)_n = \sum_{k=1}^n H_k (M_k - M_{k-1})$ доказывает, что никакая предсказуемая стратегия $H_k \in \mathcal{F}_{k-1}$ не способна обыграть честную игру.

Теорема Дуба об опциональной остановке (OST) гласит: для момента остановки $\tau$ равенство $\mathbb{E}[M_\tau] = \mathbb{E}[M_0]$ выполняется тогда и только тогда, когда семейство $\{M_{t \wedge \tau}\}$ равномерно интегрируемо, что гарантируется при выполнении хотя бы одного из трёх условий:

1. $\tau$ ограничен почти наверное ($\tau \le C < \infty$), ИЛИ
2. $|M_{t \wedge \tau}| \le K < \infty$ равномерно ограничен (конечный капитал!), ИЛИ
3. $\mathbb{E}[\tau] < \infty$ и $\mathbb{E}[|M_{t+1} - M_t| \mid \mathcal{F}_t] \le c < \infty$.

  flowchart TD
    Start["Мартингал {M_t} и момент остановки τ (P(τ < ∞) = 1)"] --> CheckUI{"Теорема Дуба об опциональной остановке (OST)<br/>Проверка 3 условий равномерной интегрируемости"}
    CheckUI -->|"1. τ ≤ C п.н. (Ограниченное время)"| Valid["Равномерная интегрируемость выполнена!<br/>Сохраняется E[M_τ] = E[M_0]"]
    CheckUI -->|"2. |M_(t∧τ)| ≤ K п.н. (Конечный капитал / Лимит)"| Valid
    CheckUI -->|"3. E[τ] < ∞ и приращения |ΔM_t| ≤ c"| Valid
    CheckUI -->|"Все 3 условия нарушены (Нереальная бесконечность)"| Invalid["Нарушение OST: lim E[M_(t∧τ)] ≠ E[M_τ]"]

Наконец, используя тождество Вальда и квадратичный мартингал $M_t = X_t^2 - t$ в честной игре ($p = 1/2$), мы мгновенно получаем ожидаемую продолжительность игры до разорения:

При $N \to \infty$ получаем $\mathbb{E}[\tau] = \infty$: разорение происходит со $100\%$-ной вероятностью, но среднее время до разорения бесконечно! При $p \ne q$ тождество Вальда даёт $\mathbb{E}[\tau] = \frac{k - N P_k}{q - p}$.