Prediction Market Math
[DOSSIER REPOSITORY // OPEN QUANT ARCHIVE]

Research Hub

Rigorous mathematical analysis, stochastic simulation models, and probability theory applied to Prediction Markets & Financial Derivatives Probability.

Topic illustration: Research Hub
Conceptual illustration. Assumptions and numerical examples are explained in the text.
23 RESEARCH DOSSIERS PUBLISHED
[CURRICULUM ARCHITECTURE]

Research Pillars & Knowledge Clusters

PILLAR 01 // PROBABILITY MECHANICS 5 DOSSIERS

Implied Probability & Binary Contract Pricing

Mathematical deconstruction of share prices into normalized probabilities, overround decomposition, and bookmaker margin extraction.

REF: pricing-mechanics ACCESS PILLAR →
PILLAR 02 // HEDGING & ARBITRAGE 5 DOSSIERS

Cross-Market Arbitrage & Synthetic Spreads

Quantitative models for detecting pricing dislocations across prediction exchanges, dual-leg capital allocation, and slippage-adjusted risk-free execution.

REF: arbitrage-systems ACCESS PILLAR →
PILLAR 03 // RISK & POSITION SIZING 6 DOSSIERS

Kelly Criterion & Bankroll Preservation for Binary Derivatives

Logarithmic utility maximization, fractional Kelly dampening (0.25x/0.5x), and analytical proofs on why fade strategies fail in asymmetric prediction markets.

REF: capital-allocation ACCESS PILLAR →
PILLAR 04 // CALIBRATION & EFFICIENCY 7 DOSSIERS

Market Efficiency, Brier Scores & Probability Calibration

Empirical verification of market forecasting accuracy, Brier score decomposition, resolution variance, and behavioral longshot bias exploitation.

REF: calibration-accuracy ACCESS PILLAR →
Two trays of beads and a balance on dark fabric
[REF-001] INTERMEDIATE
6 min read

Brier score for rare events and the test a constant forecast can pass

A worked comparison on 100 synthetic outcomes shows why a small Brier score needs a reference forecast drawn from the same cases.

PredictionMarketMath [INSPECT →]
Topic illustration: Implied Probability and Binary Contract Pricing: The Mathematical Foundations of Prediction Markets
[REF-002] INTERMEDIATE
14 min

Implied Probability and Binary Contract Pricing: The Mathematical Foundations of Prediction Markets

A rigorous mathematical exploration of binary outcome derivatives. Deconstruct share prices into objective probability distributions, understand Automated Market Maker (AMM) mechanics, and isolate operator overround.

PredictionMarketMath [INSPECT →]
Topic illustration: Cross-Market Arbitrage & Synthetic Spreads: Quantitative Mechanics of Risk-Free Prediction Strategies
[REF-003] ADVANCED
15 min

Cross-Market Arbitrage & Synthetic Spreads: Quantitative Mechanics of Risk-Free Prediction Strategies

Mathematical formulation of cross-venue synthetic arbitrage. Master dual-leg sizing equations, compute non-linear AMM slippage integrals, and eliminate execution oracle divergence.

PredictionMarketMath [INSPECT →]
Topic illustration: Kelly Criterion for Binary Event Markets: Mathematical Derivation and the Longshot Fade Trap
[REF-004] ADVANCED
16 min

Kelly Criterion for Binary Event Markets: Mathematical Derivation and the Longshot Fade Trap

Master optimal position sizing for binary derivatives. Understand the mathematical derivation of f* = (p - P_m) / (1 - P_m), deploy fractional Kelly, and see why fading longshots earns little per dollar and breaks on small errors.

PredictionMarketMath [INSPECT →]
Topic illustration: Market Efficiency and Brier Score Calibration: Proper Scoring Rules and the Favorite-Longshot Bias
[REF-005] ADVANCED
15 min

Market Efficiency and Brier Score Calibration: Proper Scoring Rules and the Favorite-Longshot Bias

Quantitative analysis of prediction market efficiency. Derive the Brier Score and Murphy's decomposition into Reliability, Resolution, and Uncertainty, and analyze the Favorite-Longshot Bias.

PredictionMarketMath [INSPECT →]
Topic illustration: Logarithmic Market Scoring Rules: Hanson's LMSR Cost Function & Liquidity Dynamics
[REF-006] ADVANCED
15 min

Logarithmic Market Scoring Rules: Hanson's LMSR Cost Function & Liquidity Dynamics

Mathematical derivation of Robin Hanson's LMSR automated market maker. Deconstruct the logarithmic cost function, softmax price equations, worst-case loss bounds, and multi-outcome state vectors.

PredictionMarketMath [INSPECT →]
Topic illustration: CPMM vs Central Limit Order Books in Prediction Derivatives: Slippage and Impermanent Loss
[REF-007] INTERMEDIATE
14 min

CPMM vs Central Limit Order Books in Prediction Derivatives: Slippage and Impermanent Loss

Comparative architectural analysis of Constant Product Automated Market Makers (x * y = k) versus Central Limit Order Books (CLOB) in binary outcome contracts. Mathematical breakdown of terminal divergence.

PredictionMarketMath [INSPECT →]
Topic illustration: Order Book Depth, Microstructure & Market Impact Cost in Binary Event Contracts
[REF-008] INTERMEDIATE
13 min

Order Book Depth, Microstructure & Market Impact Cost in Binary Event Contracts

Quantitative analysis of Level 2 market depth, bid-ask spreads, and non-linear market impact functions in binary prediction derivatives. Calculate VWAP and manage execution slippage.

PredictionMarketMath [INSPECT →]
Topic illustration: Multi-Outcome Normalization, Dutch Book Theorems and Combinatorial Arbitrage
[REF-009] ADVANCED
15 min

Multi-Outcome Normalization, Dutch Book Theorems and Combinatorial Arbitrage

Mathematical principles of multi-candidate and categorical prediction markets. Deconstruct probability sum violations, Dutch book extractions, and the mechanics of Negative Risk trading.

PredictionMarketMath [INSPECT →]
Topic illustration: Cross-Platform Arbitrage: Polymarket vs Kalshi Execution Calculus
[REF-010] ADVANCED
14 min

Cross-Platform Arbitrage: Polymarket vs Kalshi Execution Calculus

Empirical and theoretical framework for cross-venue prediction market arbitrage. Model synthetic spreads between decentralized Web3 pools and CFTC-regulated institutional order books.

PredictionMarketMath [INSPECT →]
Topic illustration: Synthetic Binary Replication: Sportsbook Lines and Options Digital Delta Straddles
[REF-011] ADVANCED
14 min

Synthetic Binary Replication: Sportsbook Lines and Options Digital Delta Straddles

Mathematical replication of binary prediction contracts via traditional financial options and Asian handicap sportsbooks. Construct delta-neutral hedges for macro and political volatility.

PredictionMarketMath [INSPECT →]
Topic illustration: Settlement Latency, Capital Lockup Drag and Annualized Risk-Free Yield (IRR)
[REF-012] INTERMEDIATE
13 min

Settlement Latency, Capital Lockup Drag and Annualized Risk-Free Yield (IRR)

Quantify the opportunity cost of capital lockup in long-dated prediction markets. Formulate discounted present value equations, annualized IRR hurdles, and benchmark against SOFR yields.

PredictionMarketMath [INSPECT →]
Topic illustration: Conditional Token Minting, Split-Merge Mechanics and Collateral Arbitrage
[REF-013] ADVANCED
15 min

Conditional Token Minting, Split-Merge Mechanics and Collateral Arbitrage

Explore the smart-contract collateral mechanisms of Gnosis Conditional Token Framework (CTF). Derive mathematical formulas for split-merge arbitrage, flash-minting, and pool rebalancing.

PredictionMarketMath [INSPECT →]
Topic illustration: Fractional Kelly Betting: Drawdown Distribution and Volatility Boundaries
[REF-014] INTERMEDIATE
14 min

Fractional Kelly Betting: Drawdown Distribution and Volatility Boundaries

Continuous Brownian motion approximation of binary bankroll compounding. Contrast Full Kelly, Half Kelly (0.5x), and Quarter Kelly (0.25x) staking to control peak-to-trough drawdowns.

PredictionMarketMath [INSPECT →]
Topic illustration: Finite Horizon Risk of Ruin & Feller Absorbing Boundaries in Binary Derivatives
[REF-015] ADVANCED
15 min

Finite Horizon Risk of Ruin & Feller Absorbing Boundaries in Binary Derivatives

Derivation of exact absorbing barrier probabilities in discrete and continuous trading horizons. Apply Feller's boundary equations to prevent account ruin during adverse variance runs.

PredictionMarketMath [INSPECT →]
Topic illustration: Bankroll Growth vs Fee Drag: How Fees Change Kelly Compounding
[REF-016] ADVANCED
14 min

Bankroll Growth vs Fee Drag: How Fees Change Kelly Compounding

How taker fees and commissions on profit raise the break-even probability, shrink the Kelly fraction and slow long-run growth in binary prediction markets, with the fee formulas Polymarket, Kalshi and PredictIt actually use.

PredictionMarketMath [INSPECT →]
Topic illustration: Multi-Contract Portfolio Kelly Optimization with Correlation Covariance Matrices
[REF-017] ADVANCED
15 min

Multi-Contract Portfolio Kelly Optimization with Correlation Covariance Matrices

Multivariate optimization across simultaneous prediction market positions. Model covariance structures across correlated political or financial events to avoid catastrophic portfolio drawdowns.

PredictionMarketMath [INSPECT →]
Topic illustration: Whale Tracking & Copy-Trading Alpha: The Adverse Selection & Capital Inefficiency Trap
[REF-018] ADVANCED
15 min

Whale Tracking & Copy-Trading Alpha: The Adverse Selection & Capital Inefficiency Trap

How whale tracking and copy-trading work in binary event markets, why followers face adverse selection, and what 3,236 resolved Polymarket markets show about fading longshots.

PredictionMarketMath [INSPECT →]
Topic illustration: The Favourite-Longshot Bias: Overpricing Low-Probability Tail Contracts
[REF-019] INTERMEDIATE
14 min

The Favourite-Longshot Bias: Overpricing Low-Probability Tail Contracts

Empirical evidence of systematic mispricing in tail prediction contracts. Contrast Kahneman-Tversky prospect theory heuristics with trading rules to exploit overpriced longshots.

PredictionMarketMath [INSPECT →]
Topic illustration: Murphy's Vector Brier Score Decomposition: Step-by-Step Implementation Guide
[REF-020] ADVANCED
15 min

Murphy's Vector Brier Score Decomposition: Step-by-Step Implementation Guide

Master the mathematical partition of probability scores into Reliability, Resolution, and Uncertainty. Step-by-step algorithms, worked matrices, and Python calibration scripts.

PredictionMarketMath [INSPECT →]
Topic illustration: Logarithmic Scoring Rules, Entropy Reduction and Kullback-Leibler Divergence
[REF-021] ADVANCED
14 min

Logarithmic Scoring Rules, Entropy Reduction and Kullback-Leibler Divergence

Information-theoretic foundations of forecast scoring. Discover why logarithmic scoring rules strictly incentivize honest subjective probability elicitation and penalize overconfidence.

PredictionMarketMath [INSPECT →]
Topic illustration: Oracle Game Theory: Schelling Points, UMA Staking and Corruption Cost Mechanics
[REF-022] ADVANCED
15 min

Oracle Game Theory: Schelling Points, UMA Staking and Corruption Cost Mechanics

Game-theoretic security analysis of decentralized optimistic oracles. Evaluate the Cost of Corruption vs Profit from Corruption (CoC > PfC) bound and settlement ambiguity dispute risks.

PredictionMarketMath [INSPECT →]
Topic illustration: Time Decay, Volatility Compression & Terminal Dynamics in Binary Event Markets
[REF-023] INTERMEDIATE
14 min

Time Decay, Volatility Compression & Terminal Dynamics in Binary Event Markets

Mathematical behavior of event contracts approaching expiration. Derive the binary Theta parameter, model Dirac delta collapse of probability variance, and avoid intraday volatility traps.

PredictionMarketMath [INSPECT →]

Explore the library