Basic Prerequisites: Probability & Measure Theory (Bayesian updating, martingales) and Bayesian Statistics. (these are the folder-level prerequisites for pages 02–06; page 01 states its own, smaller, entry requirements)


1. Intuition & Practical Objective

Why does a bid-ask spread exist even in a liquid market with zero exchange fees and zero inventory-carrying costs? The answer is adverse selection. When a trader hits your ask with a market buy, they may know the stock is about to tick up and you do not. If they are an informed insider, every such fill costs you money. The spread is the toll the market maker charges - extracted from liquidity-driven noise traders - to stay whole against the losses inflicted by better-informed counterparties.

This folder is the adverse-selection and Glosten–Milgrom (1985) topic-folder for Pillar 6. It is a hub: it (a) gives you the fast formula-and-model lookup below, and (b) routes you to six sub-pages that walk from first-principles intuition through the GM sequential-trade model and its Bayesian market maker. Primary verified sources: Hasbrouck Empirical Market Microstructure (Ch 5, the GM model; Ch 6 PIN; Ch 7 Kyle; Ch 8 generalized Roll) and Foucault, Pagano & Röell Market Liquidity (Ch 3), cross-checked against the primary papers (Glosten–Milgrom 1985; Copeland–Galai 1983; Kyle 1985; Glosten–Harris 1988).

The one-sentence essence. “The bid-ask spread is, at bottom, the market maker’s compensation for trading against better-informed counterparties: quote your ask at the expected value conditional on having sold (a buy just arrived) and your bid at the expected value conditional on having bought - the gap between the two is the cost of information.”


2. Mathematical Ground Truth & Derivations

Quick lookup. The folder’s key formulas in one table; each is derived on the sub-pages.

QuantityFormulaNote
Buy-arrival law = informed share
Bayesian updatebuy raises belief
Zero-profit quotesask E buy, bid E sellcompetitive MM
GM spread (symmetric, )widens with informed share
P(informed buy) ( at )toxicity of a fill
PIN (EKOP)=info-event prob, =informed rate, =noise rate
Kyle lambda, depth from Kyle 1985

Notation (Foucault/standard): true value ; prior belief ; (or ) probability a trader is informed; the semi-strong efficient price.

The Glosten–Milgrom Bayesian market maker (the core)

A competitive, risk-neutral market maker posts quotes that yield zero expected profit against a trader whose type (informed vs uninformed) is unobserved and drawn each round with probability . Uninformed traders buy/sell with probability each for liquidity reasons; informed traders know the true state and always trade in its direction.

The arrival-law of a Buy order:

Bayes’ rule moves the belief :

Zero-profit quotes (“regret-free”): the ask is the expected value given a buy just hit it; the bid the expected value given a sell just hit it:

Bid-ask spread (Foucault eq. 3.12–3.15). As the belief extremes () straddle :

Symmetry at (the deep, testable special case):

  • First-trade spread at : (Foucault eq. 3.12).
  • Spread is largest at maximal uncertainty () and shrinks to as the maker learns ( or ). Below a single informed trader () the spread collapses to zero even with no processing/inventory cost - the pure information result of GM (Hasbrouck Ch 5; also Copeland–Galai’s “short a put and a call”).
  • Hasbrouck writes it with : which at gives exactly .

Other canonical pieces (bridged from this folder)

  • Copeland–Galai (1983): the dealer is effectively short a put and a call written to informed traders - an option-pricing framing of the same information cost.
  • Kyle (1985): price impact; ; depth ; exactly half the private info is impounded, (Hasbrouck Ch 7).
  • PIN (Easley–Kiefer–O’Hara): (Hasbrouck Ch 6 - event probability , informed intensity , uninformed intensity ).
  • Spread decomposition (Hasbrouck Ch 8; Glosten–Harris 1988; Huang–Stoll 1997): separates the transitory (order-processing , instantly reversing) from the permanent (adverse-selection ) component.

3. Computational Implementation - the GM market maker (stdlib only)

The centerpiece is the full sequential Bayesian market maker: it posts from the belief, simulates an informed/uninformed trader each round, applies Bayes, and - over a long sequence of trades - drives the posterior to the true value while the spread decays. Ran and verified (exact output below, §3 of 03 · The GM Model).


4. Failure Modes & First-Principles Breakdowns

Hub signposts - the folder’s failure-mode analysis lives in 05 · Failure Modes & Practice. In one line each:

  1. The winner’s curse. The maker gets filled precisely when the order is adverse - if you underestimate the informed fraction , you quote a spread thinner than the information cost and lose on both sides (see the P&L experiment in 05).
  2. Spreads are not symmetric about the efficient price. The midpoint equals the unconditional value only when ; elsewhere quotes sit asymmetrically and the naive mid is a biased price.
  3. Adverse selection is toxic, not random. Relentless one-sided flow is a symptom of informed trading; a maker who keeps quoting through it accumulates a fatal position (bridge to Toxic Order Flow & VPIN).

5. References

  • Glosten, L. R. & Milgrom, P. R. (1985), Bid, ask and transaction prices in a specialist market with heterogeneously informed traders, Journal of Financial Economics 14(1), 71–100. *The folder’s anchor; primary PDF in the corpus; model verified via Hasbrouck
  • Copeland, T. E. & Galai, D. (1983), Information effects on the bid-ask spread, Journal of Finance 38(5), 1457–1469. “Short a put and a call” intuition; primary PDF in corpus.
  • Kyle, A. S. (1985), Continuous auctions and insider trading, Econometrica 53(6), 1315–1335. The strategic-information counterpart. Primary PDF in corpus.
  • Hasbrouck, J. (2007), Empirical Market Microstructure, OUP. *Ch 5 (GM)
  • Foucault, T., Pagano, M. & Röell, A. (2013), Market Liquidity, OUP. Ch 3 (adverse selection, eqs 3.5–3.37).
  • Glosten, L. R. & Harris, L. E. (1988), Estimating the components of the bid/ask spread, JFE 21(1), 123–142. The transitory/permanent split. Primary PDF in corpus.
  • Easley, D., Kiefer, N. & O’Hara, M. (1997), The information content of the trading process, JFE 44(1), 159–186. PIN. Primary PDF in corpus.

6. Connected Graph Bridges

Beginner: start at 01 · Practitioner: start at 05