Basic Prerequisites: None. (For the market-making view of the same game, Adverse Selection & Glosten–Milgrom.)


1. Intuition & Practical Objective

Watch a single trade for ten seconds. A market maker has a two-sided quote posted: bid 99.80 / ask 100.20. Someone lifts the offer. The maker has just sold at 100.20 a share that - unknown to the maker - is worth 101.00. Was the buyer a pension fund rebalancing, or someone who knows something? The maker cannot tell. That single fact of ignorance is the entire origin of the bid–ask spread, and it is a game, not an accounting identity.

There are exactly three kinds of players, and their interests are opposed:

  1. The informed trader. Knows (or has an edge on) the value. Wants to trade as much as possible before the price adjusts. If she buys when the value is high, the maker loses.
  2. The noise trader. Trades for reasons unrelated to value - cash flow, index rebalancing, a tax bill. Loses on average; this is the maker’s revenue.
  3. The market maker. Quotes conditionally. She cannot ask “are you informed?”, so she prices the average of who does trade at each side. The ask is the expected value conditional on someone choosing to buy. The bid is the expected value conditional on someone choosing to sell. The gap is the toll that makes her whole.

Read that last sentence again, because it inverts the usual framing. Most people think of the spread as a cost that theory then has to justify. Game-theoretic microstructure says the spread is the equilibrium price of a specific adverse-selection exposure - it is set by the composition of the flow, and if the composition changes, the spread changes with it.

The practical objective of this page is to build three intuitions with no prior mathematics:

  • Adverse selection is a tax on being uninformed on the other side. The more probable it is that your counterparty knows something, the wider the price you must be offered.
  • A maker who ignores it does not “do slightly worse” - she bleeds at a known, computable rate. Quoting the mid at loses $0.200 per share, every trade, forever (§3).
  • The spread is state-dependent. It depends on what the maker currently believes. Near maximum uncertainty it is widest; when the maker is nearly certain of the value it collapses toward zero. A constant spread cannot be an equilibrium.

The one-sentence essence. “The maker sets the ask to the expected value given that someone bought and the bid to the expected value given that someone sold, so the spread is the market-clearing price of the maker’s ignorance - and it widens and narrows with the flow.”


2. Mathematical Ground Truth & Derivations

We need the smallest model that contains the game. Two possible values, one type of informed trader, one type of noise trader.

Setup. with ; the maker’s prior is . A trader arrives. With probability it is an informed trader who buys iff and sells iff . With probability it is a noise trader who buys or sells with probability each, independent of . Therefore the buy-arrival laws are

The maker’s problem. She posts quotes before seeing the trader. By Bayes’ rule the break-even (zero-expected-profit) quotes are conditional expectations:

At each denominator is 1 and the spread collapses to the textbook form

so the spread is linear in the informed share and in the value range - no fudge factors, no inventory, no fixed-cost story. It is purely the price of ignorance.

Why a mid-quoting maker loses. Put . A maker who quotes on both sides sells on buy-arrivals and buys on sell-arrivals, earning

and since buy- and sell-arrivals each occur with probability ,

A mid-quoting maker loses exactly half the equilibrium spread per trade. Verified numerically below at every .

Why the quotes must be state-dependent. and depend on , and changes after every trade. The spread is widest at maximum uncertainty and vanishes at the extremes - because near both sides of the book converge on and there is nothing left to be selected on. A constant spread equal to the average of is therefore wrong on every single trade, even though it is right on average.

The martingale property (the punchline). Because and are conditional expectations,

The quoted price is a martingale. Prices are unpredictable by construction - not as an empirical accident, but because the maker’s quotes are Bayesian. This is the single most important structural consequence of putting the game first, and it is what every “impact” and “alpha” conversation downstream is really arguing about.


3. Computational Implementation - the adverse-selection game in numbers

Stdlib only. The table gives the full game for a range of informed shares: the equilibrium quotes, the spread, the loss a mid-quoting maker suffers, the posterior after a buy, and the toxicity of a fill. All numbers re-executed.

Read the columns together. The spread is exactly ( at ). The mid-quoter’s loss is exactly of it (). theta+ is the posterior the maker holds after being bought from ( from a prior) - the mechanical reason the next trade is quoted off a different spread. And P(inf|buy) is the answer to the question every execution trader actually cares about: given that I just traded, what was the chance I was picked off? At maximum uncertainty it equals the informed share ; away from it does not (see page 05).

Notice what is absent: no inventory cost, no order-processing cost, no fixed fee. The spread here is 100% adverse selection, and it already reproduces the qualitative behaviour of real quotes.


4. Failure Modes & First-Principles Breakdowns

  1. “The spread compensates inventory risk.” Half right and dangerously half wrong. This model has no inventory at all and still produces a spread. Inventory is a second, additive source; conflating them makes you miscalibrate both. See Inventory Management & Quote Skewing for the pure-inventory half.
  2. “π is a constant I can look up.” is not observable; it is estimated, and it drifts with news, time of day and volatility. Because the equilibrium spread is linear in , a 2x error in is a 2x error in the fair spread - and the maker’s P&L error is first-order, not second-order.
  3. The two-point value is a fiction. Real values are continuous, so there is no to plug in. The continuous-value generalisation (Kyle, page 02) replaces with , and the spread with a linear price rule - a different object with the same economics.
  4. One trade at a time is a fiction too. Real markets have simultaneous, competing liquidity. Competitive entry of makers drives the spread to the zero-profit level only if entry is free - with finite maker capital the equilibrium spread can sit above it. That is a genuinely different game with a different answer.
  5. The martingale conclusion is a modelling statement, not a forecasting one. is a martingale in the maker’s information set. To a trader with better information, or to a trader who can see the order book, it is emphatically not.

5. References

  • Glosten, Lawrence R.; Milgrom, Paul R. - “Bid, ask and transaction prices in a specialist market with heterogeneously informed traders,” Journal of Financial Economics 14(1), 71–100 (1985). The origin of everything on this page; the zero-profit conditional-expectation quotes are theirs.
  • Copeland, Thomas E.; Galai, Dan - “Information effects on the bid-ask spread,” Journal of Finance 38(5), 1457–1469 (1983). The contemporaneous, independent derivation of the same adverse-selection spread.
  • Kyle, Albert S. - “Continuous auctions and insider trading,” Econometrica 53(6), 1315–1335 (1985). The continuous-value counterpart; see page 02.
  • Hasbrouck, Joel - Empirical Market Microstructure (2007)
  • Foucault, Thierry; Pagano, Marco; Röell, Ailsa - Market Liquidity: Theory, Evidence, and Policy (2013)

6. Connected Graph Bridges