Prediction Market Math
[REPOSITÓRIO DE DOSSIÊS // ARQUIVO QUANT ABERTO]

Centro de Pesquisa

Análises matemáticas rigorosas, modelos de simulação estocástica e teoria da probabilidade para Mercados de Previsão e Probabilidade de Derivativos Financeiros.

Ilustração do tema: Centro de Pesquisa
Ilustração conceitual. As premissas e os exemplos numéricos são explicados no texto.
23 DOSSIÊS DE PESQUISA PUBLICADOS
[ARQUITETURA PEDAGÓGICA]

Pilares de Pesquisa e Agrupamentos Teóricos

PILAR 01 // MECÂNICA DE PROBABILIDADE 5 DOSSIÊS

Probabilidade Implícita e Precificação de Contratos Binários

Desconstrução matemática de preços de cotas em probabilidades normalizadas, decomposição de margem do operador e overround.

REF: pricing-mechanics ACESSAR PILAR →
PILAR 02 // HEDGING E ARBITRAGEM 5 DOSSIÊS

Arbitragem Entre Mercados e Spreads Sintéticos

Modelos quantitativos para detecção de divergências entre exchanges de previsão, alocação ótima em duas pontas e execução sem risco.

REF: arbitrage-systems ACESSAR PILAR →
PILAR 03 // GESTÃO DE RISCO E STAKE 6 DOSSIÊS

Critério de Kelly e Preservação de Capital em Derivativos Binários

Maximização da utilidade logarítmica, amortecimento fracionário de Kelly (0.25x/0.5x) e provas de falha de fade strategies.

REF: capital-allocation ACESSAR PILAR →
PILAR 04 // CALIBRAÇÃO E EFICIÊNCIA 7 DOSSIÊS

Eficiência de Mercado, Brier Scores e Calibração Probabilística

Verificação empírica da precisão preditiva, decomposição do Brier Score e exploração de anomalias comportamentais.

REF: calibration-accuracy ACESSAR PILAR →
Duas bandejas de contas e uma balança sobre tecido escuro
[REF-001] INTERMEDIÁRIO
6 min de leitura

Brier score em eventos raros e o teste que uma previsão constante consegue passar

Um exemplo com 100 resultados sintéticos mostra por que um Brier score baixo precisa de uma previsão de referência avaliada nos mesmos casos.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Probabilidade Implícita e Precificação de Contratos Binários: Fundamentos Matemáticos
[REF-002] INTERMEDIÁRIO
14 min

Probabilidade Implícita e Precificação de Contratos Binários: Fundamentos Matemáticos

Investigação matemática rigorosa sobre derivativos de resultados binários. Desconstrua cotações em probabilidades objetivas, domine a mecânica de formadores de mercado automatizados (AMM) e isole a margem do operador.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Arbitragem Entre Mercados e Spreads Sintéticos: Mecânica Quantitativa de Estratégias Livres de Risco
[REF-003] AVANÇADO
15 min

Arbitragem Entre Mercados e Spreads Sintéticos: Mecânica Quantitativa de Estratégias Livres de Risco

Formulação matemática de arbitragem sintética entre plataformas. Domine equações de dimensionamento em duas pontas, calcule integrais de deslizamento em AMMs e anule riscos de divergência de oráculo.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Critério de Kelly para Mercados de Eventos Binários: Dedução Matemática e a Armadilha de Zebras
[REF-004] AVANÇADO
16 min

Critério de Kelly para Mercados de Eventos Binários: Dedução Matemática e a Armadilha de Zebras

Domine o dimensionamento ótimo de posições para derivativos binários. Compreenda a dedução de f* = (p - P_m) / (1 - P_m), aplique Kelly fracionário e veja por que apostar contra zebras rende pouco por dólar e quebra com pequenos erros.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Eficiência de Mercado e Calibração do Brier Score: Regras Estritas de Pontuação e o Viés Favorito-Zebra
[REF-005] AVANÇADO
15 min

Eficiência de Mercado e Calibração do Brier Score: Regras Estritas de Pontuação e o Viés Favorito-Zebra

Análise quantitativa da eficiência em mercados de previsão. Deduza o Brier Score e a decomposição de Murphy em Confiabilidade, Resolução e Incerteza, e explore a mecânica do Viés Favorito-Zebra.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Regras de Pontuação Logarítmica de Mercado: Função de Custo LMSR e Dinâmica de Liquidez
[REF-006] AVANÇADO
15 min

Regras de Pontuação Logarítmica de Mercado: Função de Custo LMSR e Dinâmica de Liquidez

Derivação matemática do formador de mercado LMSR de Robin Hanson. Analise a função de custo logarítmica, equações de preço softmax, limites de perda máxima e vetores de estado multi-resultado.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: CPMM vs Livros de Ofertas Centrais em Mercados de Previsão: Slippage e Perda Impermanente
[REF-007] INTERMEDIÁRIO
14 min

CPMM vs Livros de Ofertas Centrais em Mercados de Previsão: Slippage e Perda Impermanente

Análise arquitetônica comparativa entre Formadores Automatizados de Produto Constante (x * y = k) e Livros Centrais de Ofertas (CLOB) em derivativos binários. Decomposição de perdas terminais.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Profundidade do Livro de Ofertas, Microestrutura e Impacto de Mercado em Contratos Binários
[REF-008] INTERMEDIÁRIO
13 min

Profundidade do Livro de Ofertas, Microestrutura e Impacto de Mercado em Contratos Binários

Análise quantitativa de profundidade Level 2, spread bid-ask e funções não lineares de impacto de mercado em derivativos de previsão. Calcule o VWAP e controle o slippage de execução.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Normalização Multi-Resultado, Teoremas de Dutch Book e Arbitragem Combinatória
[REF-009] AVANÇADO
15 min

Normalização Multi-Resultado, Teoremas de Dutch Book e Arbitragem Combinatória

Princípios matemáticos de mercados de previsão com múltiplos candidatos. Decomponha violações da soma unitária, extrações de Dutch Book e a mecânica de operações com Risco Negativo.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Arbitragem Entre Plataformas: Cálculo de Execução Polymarket vs Kalshi
[REF-010] AVANÇADO
14 min

Arbitragem Entre Plataformas: Cálculo de Execução Polymarket vs Kalshi

Estrutura teórica e empírica para arbitragem entre exchanges preditivas. Modele spreads sintéticos entre pools descentralizados Web3 e livros institucionais regulados pela CFTC.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Replicação Binária Sintética: Linhas de Apostas e Straddles de Opções Financeiras
[REF-011] AVANÇADO
14 min

Replicação Binária Sintética: Linhas de Apostas e Straddles de Opções Financeiras

Replicação matemática de contratos de previsão via opções financeiras tradicionais e handicaps asiáticos. Construa hedges delta-neutros para volatilidade macro e geopolítica.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Latência de Liquidação, Custo de Capital Preso e Retorno Anualizado (IRR)
[REF-012] INTERMEDIÁRIO
13 min

Latência de Liquidação, Custo de Capital Preso e Retorno Anualizado (IRR)

Quantifique o custo de oportunidade de capital bloqueado em mercados de previsão de longo prazo. Formule taxas internas de retorno anualizadas e compare com os rendimentos do SOFR.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Cunhagem de Tokens Condicionais, Mecânica Split-Merge e Arbitragem de Colateral
[REF-013] AVANÇADO
15 min

Cunhagem de Tokens Condicionais, Mecânica Split-Merge e Arbitragem de Colateral

Explore a mecânica de colateral do Conditional Token Framework (CTF) da Gnosis. Deduza fórmulas matemáticas para arbitragem split-merge, flash-minting e rebalanceamento de liquidez.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Apostas com Kelly Fracionário: Distribuição de Drawdown e Limites de Volatilidade
[REF-014] INTERMEDIÁRIO
14 min

Apostas com Kelly Fracionário: Distribuição de Drawdown e Limites de Volatilidade

Aproximação por movimento browniano contínuo do crescimento de banca em mercados binários. Compare Full Kelly, Half Kelly e Quarter Kelly para mitigar o risco de grandes quedas de capital.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Risco de Ruína em Horizonte Finito e Fronteiras de Feller em Derivativos Binários
[REF-015] AVANÇADO
15 min

Risco de Ruína em Horizonte Finito e Fronteiras de Feller em Derivativos Binários

Dedução exata de probabilidades de barreira de absorção em horizontes finitos de negociação. Aplique as equações de Feller para blindar a banca contra sequências negativas extremas.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Crescimento da Banca e Desgaste por Taxas: Como as Taxas Mudam o Kelly
[REF-016] AVANÇADO
14 min

Crescimento da Banca e Desgaste por Taxas: Como as Taxas Mudam o Kelly

Como taxas taker e comissões sobre o lucro elevam a probabilidade de equilíbrio, reduzem a fração de Kelly e freiam o crescimento de longo prazo em mercados de previsão binários, com as fórmulas de taxa que Polymarket, Kalshi e PredictIt de fato usam.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Otimização de Portfólio com Kelly Multivariado e Matrizes de Covariância
[REF-017] AVANÇADO
15 min

Otimização de Portfólio com Kelly Multivariado e Matrizes de Covariância

Otimização multivariada para posições simultâneas em mercados de previsão. Modele matrizes de covariância entre eventos correlacionados para evitar liquidação em cascata.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Rastreamento de Baleias e Copy-Trading: A Armadilha de Seleção Adversa e Ineficiência de Capital
[REF-018] AVANÇADO
15 min

Rastreamento de Baleias e Copy-Trading: A Armadilha de Seleção Adversa e Ineficiência de Capital

Como funcionam o rastreamento de baleias e o copy-trading em mercados binários, por que os seguidores sofrem seleção adversa e o que 3.236 mercados resolvidos da Polymarket mostram sobre apostar contra azarões.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: O Viés Favorito-Longshot: Superavaliação de Contratos de Cauda e Baixa Probabilidade
[REF-019] INTERMEDIÁRIO
14 min

O Viés Favorito-Longshot: Superavaliação de Contratos de Cauda e Baixa Probabilidade

Evidência empírica de distorção sistemática de preços em contratos de cauda. Aplique a Teoria dos Prospectos de Kahneman-Tversky para explorar o prêmio inflacionado de zebras.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Decomposição Vetorial de Brier por Murphy: Guia Prático de Implementação
[REF-020] AVANÇADO
15 min

Decomposição Vetorial de Brier por Murphy: Guia Prático de Implementação

Domine a partição matemática das pontuações probabilísticas em Confiabilidade, Resolução e Incerteza. Algoritmos detalhados, matrizes resolvidas e scripts em Python.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Regras de Pontuação Logarítmica, Redução de Entropia e Divergência de Kullback-Leibler
[REF-021] AVANÇADO
14 min

Regras de Pontuação Logarítmica, Redução de Entropia e Divergência de Kullback-Leibler

Fundamentos da teoria da informação na avaliação de previsões. Entenda por que regras logarítmicas incentivam honestidade probabilística e penalizam erros confiantes.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Teoria dos Jogos em Oráculos: Pontos de Schelling, Staking UMA e Custo de Corrupção
[REF-022] AVANÇADO
15 min

Teoria dos Jogos em Oráculos: Pontos de Schelling, Staking UMA e Custo de Corrupção

Análise criptoeconômica de segurança de oráculos otimistas descentralizados. Modele o limite de Custo de Corrupção vs Lucro de Corrupção (CoC > PfC) e riscos de resolução ambígua.

PredictionMarketMath [INSPECIONAR →]
Ilustração do tema: Decaimento Temporal, Compressão de Volatilidade e Dinâmica Terminal em Mercados Binários
[REF-023] INTERMEDIÁRIO
14 min

Decaimento Temporal, Compressão de Volatilidade e Dinâmica Terminal em Mercados Binários

Comportamento matemático de contratos preditivos na proximidade do vencimento. Deduza o Theta binário, analise o colapso da variância e evite armadilhas de volatilidade intradiária.

PredictionMarketMath [INSPECIONAR →]

Explore a biblioteca