Basic Prerequisites: Probability & Measure Theory.
1. Intuition & Practical Objective
This page builds the why of the bid-ask spread with no prior microstructure knowledge needed. The objective is one unshakeable idea: even with zero exchange fees, zero inventory-carrying costs, and zero dealer monopoly power, a bid-ask spread must still exist - because the market maker risks trading against someone who knows more than they do.
Start with the dumbest question: why is a stock’s ask higher than its bid? Three candidate answers - (a) to pay exchange fees, (b) to compensate the maker for holding inventory overnight, (c) to exploit customers. All three fail to explain the spread in a liquid, near-frictionless, competitive market. The answer GM (1985) nailed is (d): the maker’s counterparty might be better informed than the maker. When that happens the maker is systematically on the wrong side - buying right before a fall, selling right before a rise. The spread is collected from uninformed traders to pay for those unavoidable informed losses.
Three intuitions in increasing sophistication:
- The mid-price-only dealer goes bankrupt. Quote a single price and buy/sell at it. Informed traders hurt you every single time; uninformed traders just shuffle cash around at no profit to you. Your P&L is pure negative - the liquidity you “facilitate” is a net transfer out of your books to the informed.
- The spread is a toll, not a fee. It bounces you out of what the information costs. Thinner than the information cost and the maker loses; thicker and a competitor quotes past you. Competition pins the spread down to exactly the adverse-selection cost.
- The mid is not “the price.” The efficient price - what the maker believes the asset is worth given everything observed - is a conditional mean that moves with order flow. The quoted bid/ask straddle it asymmetrically (see 03 · The GM Model).
2. Mathematical Ground Truth & Derivations
Set up a one-round adverse-selection game. There is a single “true” but as-yet-unrevealed terminal value; it is above the initial mid with probability and below it with probability . A trader arrives:
- Informed (prob ): knows the sign of the move and always trades in its direction (buys if up, sells if down).
- Uninformed (prob ): buys or sells with equal probability for liquidity; carries no information.
Suppose the dealer trades at the mid with no spread. If the informed trader buys (value about to be ), the dealer sells at and immediately loses per share; symmetric loss on informed sells. Uninformed trades transact at fair value and break the dealer even. So the expected loss per trade at zero spread is (per unit of the move): the dealer who quotes no spread loses money in direct proportion to the informed fraction. Let the half-spread be , i.e. ask , bid . Then:
- informed buy: dealer sells at but the share is worth → P&L ;
- informed sell: dealer buys at but the share is worth → P&L ;
- uninformed (either direction): dealer banks the half-spread .
Expected P&L per trade:
Zero-expected-profit quote: set - the required half-spread equals the informed probability. This is the discrete, no-friction seed of the Glosten–Milgrom result. The full symmetric GM formula (with ) is exactly this "" written against the value dispersion.
3. Computational Implementation - the dealer who quotes the mid loses; the GM-dealer breaks even
Stdlib only. We simulate thousands of trades against a dealer who (a) quotes no spread (mid only) and (b) quotes the break-even half-spread of GM.
Two solid numbers from the run: quoting the mid costs the dealer per trade (matches to Monte Carlo error), and quoting the GM half-spread brings P&L to (the noise band around the theoretical ). The spread is not a fee for services rendered - it is insurance against information.
4. Failure Modes & First-Principles Breakdowns
- The “markets are efficient so orders carry no news” trap. Roll’s model and naive quoting assume trades are uninformative. GM’s whole point is they are not - the moment you quote the mid you assume and bleed. This is why normal-distribution, frictionless “mid execution” cost models misprice liquidity for illiquid/information-heavy names (see 05 · Failure Modes).
- Confusing the spread with the price. The midpoint is not the efficient price except at maximal uncertainty. A dealer who thinks the mid is “fair value” is pricing the asset as if orders were noise, i.e. exactly the assumption that makes them a target.
- The half-spread is not a free parameter. It is pinned by the informed fraction, not by what the dealer wants to earn. Competing makers who can quote the same value dispersion at the same information risk will undercut any thicker spread.
5. References
- Glosten & Milgrom (1985), Bid, ask and transaction prices in a specialist market with heterogeneously informed traders, JFE 14(1), 71–100
- Copeland & Galai (1983), Information effects on the bid-ask spread, J. Finance 38(5), 1457–1469
- Hasbrouck (2007), Empirical Market Microstructure
6. Connected Graph Bridges
- Base: Probability & Measure Theory · Bayesian Statistics
- Continue: 02 · Informed vs Uninformed · Index Hub
- Sibling: Limit Order Book Mechanics · Toxic Order Flow