Limites de Sessao e o Teorema da Parada Opcional

1. Martingales, Supermartingales e o Saldo de Caça-Níqueis

Para analisar regras de parada com rigor matemático, formalizamos a trajetória da banca no espaço de probabilidades filtrado $(\Omega, \mathcal{F}, (\mathcal{F}_t)_{t \ge 0}, P)$.

Seja $B_t$ o saldo após o giro $t$. Seja $X_t$ o multiplicador obtido, com $\mathbb{E}[X_t] = ext{RTP} < 1,00$. A variação líquida do giro sob aposta unitária $W = 1$ é $\Delta B_t = X_t - 1$, e sua esperança condicional dado o histórico $\mathcal{F}_{t-1}$ satisfaz:

\mathbb{E}[B_t - B_{t-1} \mid \mathcal{F}_{t-1}] = 	ext{RTP} - 1 = -	ext{HE} < 0

Como a deriva condicional é estritamente deficitária, o saldo $B_t$ constitui um supermartingale estrito:

\mathbb{E}[B_t \mid \mathcal{F}_s] \le B_s, \quad \forall s \le t

Em um jogo neutro ($ ext{RTP} = 1,00$), $B_t$ seria um martingale; em um jogo favorável, um submartingale. Nos slots, ele é invariavelmente um supermartingale.

2. O Teorema da Parada Opcional de Doob e Seu Limite Inviolável

Um tempo de parada $ au$ é uma variável aleatória que assume valores em $\{0, 1, 2, \dots\} \cup \{\infty\}$ tal que para cada $t$ finito, o evento $\{ au \le t\}$ pertence a $\mathcal{F}_t$. Ou seja, a decisão de parar no giro $t$ baseia-se unicamente nas informações passadas, sem clarividência do futuro.

O Teorema da Parada Opcional de Doob estabelece que se $B_t$ for um supermartingale e $ au$ for um tempo de parada regular (por exemplo, quase certamente limitado ou com incrementos finitos e $\mathbb{E}[ au] < \infty$), então:

\mathbb{E}[B_	au] \le \mathbb{E}[B_0] = B_0

Mais ainda, sob deriva negativa estrita ($- ext{HE} < 0$), para qualquer sessão com duração finita ($\mathbb{E}[ au] > 0$), a desigualdade torna-se estrita:

\mathbb{E}[B_	au] = B_0 - 	ext{HE} \cdot \mathbb{E}\left[\sum_{t=1}^{	au} W_t
ight] < B_0

Esta identidade comprova que nenhuma regra de parada $ au$ consegue gerar um valor esperado superior ao capital inicial. A margem da casa não pode ser neutralizada escolhendo o momento de se levantar.

3. Mecânica de Barreiras Duplas Assimétricas: Bloqueando a Variância Positiva

Se as regras de parada não produzem expectativa positiva, por que os analistas recomendam limites rígidos de sessão?

A justificativa reside na distinção entre esperança matemática (uma média assintótica em infinitas rodadas) e a probabilidade pontual de realização de lucros em uma sessão finita.

Sem um teto de saída, a probabilidade assintótica de o saldo ser absorvido na barreira zero é igual a 100%:

\lim_{t 	o \infty} P(B_t = 0 \mid B_0) = 1,00

Contudo, ao instituir uma Regra de Parada com Barreira Dupla:

	au = \inf\{ t \ge 0 : B_t \ge U 	ext{ (Take-Profit)} \quad 	ext{ou} \quad B_t \le L 	ext{ (Stop-Loss)} \}

A probabilidade analítica de sair no limite de lucro $U$ antes de colapsar no stop-loss $L$ é formulada como:

P(	ext{Atingir } U 	ext{ antes de } L) = \frac{1 - \exp\left( \frac{2 \cdot 	ext{HE} \cdot D_{	ext{perda}}}{W \cdot \sigma^2} 
ight)}{1 - \exp\left( \frac{2 \cdot 	ext{HE} \cdot (D_{	ext{perda}} + G_{	ext{meta}})}{W \cdot \sigma^2} 
ight)}

Para uma banca de $\$1.000,00$ com aposta de $\$2,00$, $ ext{HE} = 0,04$, $\sigma = 8$, stop-loss em $-\$300,00$ e meta de lucro de $+\$150,00$:

P(	ext{Atingir } +150 	ext{ antes de } -300) \approx 63,48\%

Em 63,48% das sessões, o jogador encerrará com lucro positivo em mãos. Se não respeitar a barreira e continuar jogando, essa realização vitoriosa será consumida e convergirá para zero.

3.1. Matriz Fundamental de Markov e Probabilidades de Absorção Discretas

Embora a aproximação contínua por difusão browniana forneça uma intuição geométrica clara, a evolução rigorosa do saldo em caça-níqueis modela-se como uma cadeia de Markov em tempo discreto com espaço de estados particionado em estados transientes $T$ e estados absorventes $A = \{L, U\}$.

A matriz de transição estocástica $P$ pode ser disposta na forma canônica:

P = \begin{pmatrix} Q & R \ 0 & I \end{pmatrix}

Onde $Q$ representa a submatriz de transição entre estados transientes de saldo, e $R$ rege as transições diretas dos estados transitórios para as barreiras de parada absorventes.

A Matriz Fundamental de Markov $N$ é calculada invertendo a matriz identidade transiente:

N = (I - Q)^{-1} = I + Q + Q^2 + Q^3 + \dots

Cada elemento $n_{ij}$ da matriz fundamental quantifica o número médio de vezes que a trajetória do saldo visita o estado financeiro $j$ antes de ser absorvida pelas barreiras de parada, partindo do estado $i = B_0$. As probabilidades exatas de absorção no teto de lucro versus stop-loss resultam do produto matricial $B = N \cdot R$.

Essa formulação discreta revela que os "saltos" induzidos por combinações de alta volatilidade provocam o fenômeno de overshoot de barreira: o saldo frequentemente ultrapassa a barreira de saída sem tocar exatamente o valor estipulado, exigindo que o jogador interrompa o jogo imediatamente na primeira transição em que $B_t \ge U$, sob pena de permitir que o operador recupere a vantagem matemática.

4. Duração Média da Sessão sob Barreiras Duplas ($\mathbb{E}[ au]$)

Aplicando a Identidade de Wald ao supermartingale, a duração média da sessão até o toque de uma das barreiras é:

\mathbb{E}[	au] = \frac{B_0 - \left( P_{	ext{vitoria}} \cdot U + (1 - P_{	ext{vitoria}}) \cdot L 
ight)}{	ext{HE} \cdot W}

No exemplo numérico, a sessão dura em média cerca de 179 giros (aproximadamente 15 minutos). A barreira dupla confina a exposição temporal, permitindo capturar o lucro antes que a deriva estatística do cassino cobre seu preço integral.

5. Armadilhas Psicológicas: O Efeito do Dinheiro do Cassino

• Efeito "House Money": Ganhos iniciais levam o apostador a tratar o dinheiro como "do cassino", elevando as apostas e desmontando o take-profit.
• Perseguição de Prejuízos: Ao se aproximar do stop-loss, a aversão à perda faz o jogador remover os limites ("só mais 50 giros para recuperar"), precipitando a ruína.

6. Diretrizes de Governança Quantitativa