Basic Prerequisites: Probability & Measure Theory (Bayesian updating, conditional expectation) 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

A price is not a fact. It is the outcome of a game played every microsecond between three parties who want different things:

  • an informed trader (or several) who knows something about the fundamental value and wants to trade on it without revealing it;
  • noise/liquidity traders who trade for exogenous reasons and whose flow is the informed trader’s camouflage;
  • a market maker (or a competitive crowd of them) who must quote prices without knowing which counterparty it is facing, and therefore quotes conditionally - the ask is the expected value given that someone chose to buy from you, and the bid is the expected value given that someone chose to sell.

Every classical microstructure model is a specialization of that game. Kyle (1985) makes it a batch auction with a strategic insider and a linear price rule. Glosten–Milgrom (1985) makes it a sequential-trade Bayesian game with a competitive specialist and a two-point value. Brunnermeier–Pedersen (2005) adds a fourth player - a predator who trades against a forced liquidator. Schied–Zhang (2019) replaces the single insider with many strategic liquidators and asks what the Nash equilibrium of the execution game looks like.

The practical objective of this folder is exactly what a practitioner needs from that literature: when you trade, who is on the other side, what do they know, and what does the equilibrium price of that interaction look like? Adverse selection is not a parameter you sprinkle on top of a model - it is the equilibrium spread; impact is not a cost function you fit - it is Kyle’s λ; and your own optimal execution is not a private optimization problem - it is one player’s best response in a game.

This folder is the game-theoretic microstructure topic-folder for Pillar 2. As a hub, it gives you (a) the fast formula lookup below and (b) six sub-pages that walk from zero-knowledge intuition, through Kyle and the Back continuous-time limit, through Glosten–Milgrom as a Bayesian game, into predatory trading and execution games, then the failure modes and the modern extensions.

The one-sentence essence. “The spread is a Bayesian equilibrium price of adverse selection, impact is Kyle’s , and your execution schedule is only optimal given the schedule everyone else is running - it is a Nash object, not a private one.”

Scope note (vs the sibling folders). This folder is the strategic/equilibrium view - who knows what, who moves when, and what the equilibrium of that interaction is. For the scheduling of a given order under a fixed impact model, see Optimal Execution & Almgren–Chriss. For the measurement of impact and depth, see Market Impact & Depth. For the sequential-Bayesian market-making view in depth, see Adverse Selection & the Glosten–Milgrom Model. The two meet at the same λ: this folder asks why the equilibrium has that λ, the others ask how to measure it and what to do with it.

Primary verified sources: Kyle (1985); Glosten & Milgrom (1985); Back (1992); Holden & Subrahmanyam (1992); Brunnermeier & Pedersen (2005); Carlin, Lobo & Viswanathan (2007); Schied & Zhang (2019); Schied, Strehle & Zhang (2018); Cordoni & Lillo (2022); Cardaliaguet & Lehalle (2018); Huberman & Stanzl (2004); Hasbrouck, Empirical Market Microstructure (Ch 5–7); Foucault, Pagano & Röell, Market Liquidity (Ch 3). Every number below was re-executed and reproduced in pure-stdlib Python (see §3).


2. Mathematical Ground Truth & Derivations

Notation. = fundamental value; = prior value variance; = noise order flow, ; = informed demand; = total signed order flow; = price; = price impact (“Kyle’s lambda”); = market depth. For the Glosten–Milgrom game: , belief , = share of traders who are informed. For execution games: = block to liquidate, = horizon, = number of intervals of length , = shares traded in interval , = shares still held, = temporary-impact coefficient, = permanent-impact coefficient, = risk aversion.

2.1 The Glosten–Milgrom game (1985). Arrivals of buy/sell orders are governed by

A competitive maker quotes zero expected profit conditional on the direction of the trade:

which evaluates to

and the Bayesian update after a buy is . At everything collapses to the textbook form

Key structural fact: the quoted price is a martingale - - exactly because and are conditional expectations. Verified to drift in §3.

2.2 The Kyle (1985) auction. Prior , noise , one strategic insider, competitive linear pricing . The equilibrium is

with (exactly half the private information is impounded, and the fraction is invariant to ) and .

2.3 N-auction Kyle (the discrete game). Repeat the auction times with equal noise variance per round and prior variance . The equilibrium is

so information is released geometrically (half per auction) and the insider’s total expected profit converges:

reproduces this limit to (§3).

2.4 The Kyle–Back continuous-time limit. You cannot get continuous time by simply sending in §2.3 with a fixed total noise budget: with per-period noise variance the first-period impact is . The correct continuous-time equilibrium - Kyle (1985, §2) resolved by Back (1992) - has a linear information release and a constant impact coefficient:

with , , and market depth . Why the form is forced: the filtering identity combined with gives identically - and says all the information is released by . Two corollaries: half the information is impounded at (the continuous analogue of the auction’s ), and (a longer horizon makes the market deeper, not shallower).

2.5 Predatory trading (Brunnermeier–Pedersen 2005). A distressed trader must liquidate on a schedule ; a predator best-responds to that public schedule. With price (sign convention: selling depresses) and linear temporary cost per unit for everyone, the predator’s cash flow is

which reduces to a concave quadratic. Its maximiser is

with the interior-solution condition . Since is increasing, is positive early and negative late: the predator sells ahead of the victim and buys back afterwards, collecting the permanent-impact rent it helped create.

2.6 Execution as a game (Schied–Zhang 2019). When strategic liquidators trade the same asset, each minimises its own cost holding the others fixed. In the linear-quadratic case the symmetric Nash equilibrium is the single-agent Almgren–Chriss solution with an inflated temporary-impact coefficient: sharing one liquidity pool with a counterpart who trades makes agent ‘s marginal temporary cost , i.e.

so competition for liquidity makes each player slower, not faster - the opposite of the naive intuition, and the reason “everyone liquidates at once” is expensive. Schied & Zhang (2019) and Cordoni & Lillo (2022) show the same structure in continuous time, where the equilibrium can become unstable (oscillating strategies, non-existent high-frequency limit) when the temporary-cost parameter is small relative to cross-impact.

2.7 Competing informed traders (Holden–Subrahmanyam 1992). Replace the single insider by insiders with aggregate informed intensity . One round of Bayesian updating gives

recovers and ; drives and . More insiders faster revelation a deeper market.

Quick-Reference Lookup - the fast facts of this folder (all reproduced by the stdlib engine in §3):

QuantityFormulaVerified check
GM zero-profit spread ()
GM posterior after a buy
GM price is a martingaleone-step mean , drift
GM toxicity of a fill
GM spread is state-dependentpeaks at : ; :
Kyle insider demand
Kyle’s lambda, depth
Kyle info impounded (exactly half, independent of )
Kyle insider profit
Discrete -auction Kyle
Total insider profit () gives
Naive continuum is ill-posed
Kyle–Back continuous time;
Half-information time (continuous)
Predator’s front-run schedule,
Cost of predationvictim loss / predator profitloss , predator profit , deadweight
Victim’s best responsefront-load (speed up)victim loss as it front-loads
Two-player execution Nashquarters = AC with
competing insidersimpounded: , ,
No-manipulation constraint (Gatheral/Huberman–Stanzl)admissibility test on any impact/decay kernel

3. Computational Implementation - the game-theory core engine

Stdlib only (math, random), fully deterministic. It reproduces every verified number in the lookup table above: the GM spread, the GM martingale property, the Kyle auction closed forms, the N-auction recursion and its profit limit, the ill-posedness of the naive continuum, Back’s continuous-time information identity, the predator’s optimal front-run schedule, the two-player execution Nash, and the -insider information release.

The engine continues with the discrete Kyle recursion, the continuum ill-posedness, the Back information identity, the predator’s schedule, the two-player Nash and the -insider release:

One cross-check that matters: the shared-liquidity Nash equilibrium reproduces the single-agent Almgren–Chriss trajectory with to five decimal places in all four quarters, which is precisely the prediction of §2.6. The solver is therefore solving the game, not a mis-specified QP.


4. Failure Modes & First-Principles Breakdowns

Hub signposts - the full analysis lives in 05 - Failure Modes & Practice. One line each:

  1. The equilibrium is only as good as the payoff it assumes. Glosten–Milgrom’s spread is an equilibrium of a game, not a fact about the world: mis-specify and the maker does not “earn a bit less”, it loses ~0.2 $/trade with certainty (verified in §3 of page 05).
  2. The single-insider Kyle model is a fiction. Real markets have many informed participants; with insiders the price reveals information at rate and λ collapses toward zero - calibrating a single-insider λ on a multi-insider market over-states impact.
  3. The naive continuous-time limit does not exist. Discretising Kyle and taking with a fixed noise budget sends λ to infinity; only Back’s (1992) linear-release equilibrium is well-defined. Any “high-frequency limit” claim must say which limit.
  4. Strategic equilibria can be unstable. Schied & Zhang (2019) / Cordoni & Lillo (2022): below a threshold on the temporary-cost parameter the transient-impact execution game has wildly oscillating strategies and no well-behaved high-frequency limit - the equilibrium exists mathematically but is not a description of a market.
  5. Predation is real but not identified by these models. The predator’s schedule depends on the victim’s schedule being public; in reality schedules are hidden and randomised, and the empirical literature struggles to separate predation from momentum and news.
  6. Adverse selection is estimated, not observed. Practical proxies (PIN, VPIN) are noisy and contested (Easley–Kiefer–O’Hara–Paperman 1996; Easley–López de Prado–O’Hara 2012; Andersen & Bondarenko 2014), so the “equilibrium” π you plug in is itself a guess.

5. References

  • Kyle, Albert S. - “Continuous auctions and insider trading,” Econometrica 53(6), 1315–1335 (1985). The anchor of the whole folder: the strategic insider, the linear price rule, , and the half-information result.
  • 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). Adverse selection as a sequential Bayesian game; zero-profit quotes are conditional expectations.
  • Back, Kerry - “Insider trading in continuous time,” Review of Financial Studies 5(3), 387–409 (1992). The correct continuous-time limit: linear information release, constant λ = √(Σ₀/(σ_u²T)), and the founding use of filtering in microstructure.
  • Holden, Craig W.; Subrahmanyam, Avanidhar - “Long-lived private information and imperfect competition,” Journal of Finance 47(1), 247–270 (1992). Many informed traders ⇒ faster revelation ⇒ deeper market; the antidote to single-insider calibration.
  • Brunnermeier, Markus K.; Pedersen, Lasse Heje - “Predatory trading,” Journal of Finance 60(4), 1825–1863 (2005). Predators sell alongside a distressed liquidator and buy back later; price overshoot, and illiquidity precisely when liquidity is needed.
  • Carlin, Bruce I.; Lobo, Miguel Sousa; Viswanathan, S. - “Episodic liquidity crises: Cooperative and predatory trading,” Journal of Finance 62(5), 2235–2274 (2007). The experimental/OECD-bond-market companion: when cooperation among potential predators breaks down.
  • Schied, Alexander; Zhang, Tao - “A market impact game under transient price impact,” Mathematics of Operations Research 44(1), 102–121 (2019). The canonical multi-agent execution game; source of the instability threshold.
  • Schied, Alexander; Strehle, Elias; Zhang, Tao - “High-frequency limit of Nash equilibria in a market impact game with transient price impact,” SIAM Journal on Financial Mathematics 8(1), 589–634 (2018). When the continuous-time limit of the execution game does (and does not) exist.
  • Cordoni, Francesco; Lillo, Fabrizio - “Instabilities in multi-asset and multi-agent market impact games,” Annals of Operations Research (2022). Extends Schied–Zhang to many agents and assets; the scaling of impact with the number of traders is what decides stability.
  • Cardaliaguet, Pierre; Lehalle, Charles-Albert - “Mean field game of controls and an application to trade crowding,” Mathematics and Financial Economics 12(3) (2018). *The mean-field limit of the execution game
  • Huberman, Gur; Stanzl, Werner - “Price manipulation and quasi-arbitrage,” Econometrica 72(4), 1247–1275 (2004). No-dynamic-arbitrage: the constraint that makes an impact/decay game admissible at all.
  • Easley, David; Kiefer, Nicholas M.; O’Hara, Maureen; Paperman, Joseph B. - “Liquidity, information, and infrequently traded stocks,” Journal of Finance 51(4), 1405–1436 (1996). *PIN
  • Easley, David; López de Prado, Marcos; O’Hara, Maureen - “Flow toxicity and liquidity in a high-frequency world,” Review of Financial Studies 25(5), 1457–1493 (2012). VPIN: the high-frequency toxicity proxy.
  • Andersen, Torben G.; Bondarenko, Oleg - “VPIN and the flash crash,” Journal of Financial Markets 17, 1–46 (2014). *The methodological takedown of VPIN
  • Biais, Bruno; Glosten, Lawrence; Spatt, Chester - “Market microstructure: A survey of microfoundations, empirical results, and policy implications,” Journal of Financial Markets 8(2), 217–264 (2005). The map of the whole field.
  • Hasbrouck, Joel - Empirical Market Microstructure (2007)
  • Foucault, Thierry; Pagano, Marco; Röell, Ailsa - Market Liquidity: Theory, Evidence, and Policy (2013)

6. Connected Graph Bridges

Beginner: start at 01 · Practitioner: start at 05