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.

Pilares de Pesquisa e Agrupamentos Teóricos
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.



