Введение: Соблазнительный миф казино XVIII века
В 1754 году в игорных домах Венеции Джакомо Казанова пытался обыграть банк в карточной игре фараон, удваивая ставку после каждого проигрыша (система мартингал). Заложив бриллианты своей возлюбленной, он за один день попал в полосу неудач и потерял все 5000 цехинов. В 1891 году Чарльз Уэллс («человек, который сорвал банк в Монте-Карло») пережил аналогичный триумф на рулетке, но при повторной попытке потерял всё состояние и умер в нищете в Париже в 1922 году.
В бинарной игре с выплатой \(1:1\), вероятностью выигрыша \(p \in (0, 1)\) и проигрыша \(q = 1 - p\) игрок ставит \(\\)1\(, а после каждого проигрыша удваивает ставку: \)$2, $4, $8, \dots, $2^{k-1}\(. Как только на \)k$-м шаге случается первый выигрыш, чистая прибыль составляет:
\[\Delta W = 2^{k-1} - \sum_{j=0}^{k-2} 2^j = 2^{k-1} - (2^{k-1} - 1) = +\$1\]Поскольку вероятность проигрывать вечно равна \(\lim_{k \to \infty} q^k = 0\), стратегия выглядит как гарантированная машина по извлечению \(+\\)1\( с вероятностью \)1$! В чём же кроется математический подвох?
1. Ловушка конечного капитала и «паровой каток» Талеба
Любой реальный игрок обладает конечным капиталом \(B\) (или ограничен лимитом стола казино), способным выдержать не более \(K\) проигрышей подряд, что требует суммарного банка:
\[B_K = \sum_{j=0}^{K-1} 2^j = 2^K - 1\]В одном цикле возможны лишь два исхода: выигрыш \(+\\)1\( с вероятностью \)1 - q^K\( или катастрофическое разорение \)-$(2^K - 1)\( с вероятностью \)q^K$. Точное математическое ожидание изменения капитала равно:
\[\mathbb{E}[\Delta W] = 1 \cdot (1 - q^K) - (2^K - 1) q^K = 1 - (2q)^K \le 0 \quad \left(\text{при } q \ge \frac{1}{2}\right)\]- Честная игра (\(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
По выражению Нассима Николаса Талеба, мартингал превращает обычное случайное блуждание в «собирание пенсов перед паровым катком» (экстремальная отрицательная асимметрия / хвостовой риск).
| Серия поражений \(k\) | Ставка \(b_k = 2^{k-1}\) | Требуемый банк \(B_k = 2^k - 1\) | Прибыль при победе | Вероятность \(q^k\) (Монета \(q=0.5\)) | Вероятность \(q^k\) (Рулетка \(q=19/37\)) |
|---|---|---|---|---|---|
| \(k = 1\) | \(\\)1$ | \(\\)1$ | \(+\\)1$ | \(50,000\%\) | \(51,351\%\) |
| \(k = 5\) | \(\\)16$ | \(\\)31$ | \(+\\)1$ | \(3,125\%\) | \(3,570\%\) |
| \(k = 10\) | \(\\)512$ | \(\\)1,023$ | \(+\\)1$ | \(0,098\%\) (\(1\) из \(1\,024\)) | \(0,128\%\) (\(1\) из \(784\)) |
| \(k = 20\) | \(\\)524,288$ | \(\\)1,048,575$ | \(+\\)1$ | \(0,000095\%\) | \(0,000163\%\) |
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_k = p P_{k+1} + q P_{k-1}, \qquad P_0 = 0, \quad P_N = 1\]Телескопическое суммирование \(P_{j+1} - P_j = (q/p)^j P_1\) даёт точные аналитические решения:
\[P_k = \begin{cases} \dfrac{k}{N} & \text{если } p = q = \dfrac{1}{2} \;\text{(Честная игра)} \\[10pt] \dfrac{1 - (q/p)^k}{1 - (q/p)^N} & \text{если } p \ne q \;\text{(Несимметричная игра)} \end{cases}\]Разрушительные следствия:
- 100%-ное разорение против бесконечно богатого казино (\(N \to \infty\)): Даже в абсолютно честной игре (\(p = 1/2\)) вероятность разорения равна \(\lim_{N \to \infty} (1 - k/N) = 1\) (гарантированное банкротство с вероятностью 100%).
- Экспоненциальная стена в рулетке: Попытка удвоить \(k = \\)100\( до \)N = $200\( ставками по \)$1\( даёт \)P_{100} = \frac{1}{1 + (q/p)^{100}}\(. В европейской рулетке (\)p = 18/37\() шанс успеха равен всего \)0,448%\( (\)99,55%\( разорения; а при ставках по \)$0,50\( — <strong>\)99,998%\(</strong>), а в американской рулетке (\)p = 18/38, q/p = 10/9\() провал происходит с вероятностью <strong>\)99,997%\(</strong>! Согласно теореме <strong>Дубинса и Сэвиджа (1965)</strong>, при \)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}\}\) равномерно интегрируемо, что гарантируется при выполнении хотя бы одного из трёх условий:
- \(\tau\) ограничен почти наверное (\(\tau \le C < \infty\)), ИЛИ
- \(|M_{t \wedge \tau}| \le K < \infty\) равномерно ограничен (конечный капитал!), ИЛИ
- \(\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\)), мы мгновенно получаем ожидаемую продолжительность игры до разорения:
\[\mathbb{E}[X_\tau^2 - \tau] = k^2 \implies \mathbb{E}[\tau] = k(N - k)\]При \(N \to \infty\) получаем \(\mathbb{E}[\tau] = \infty\): разорение происходит со \(100\%\)-ной вероятностью, но среднее время до разорения бесконечно! При \(p \ne q\) тождество Вальда даёт \(\mathbb{E}[\tau] = \frac{k - N P_k}{q - p}\).