Chapter 23 Market Making
Everything so far has priced instruments. This chapter quotes them, which is a different problem: a price is a number and a quote is a pair of numbers offered to somebody who gets to choose which side to take. We derive the one genuinely solvable quoting model, and find that the substitution which solves it is the same that solved the affine models — exponential utility makes a nonlinear control problem linear. Then we look at what that model cannot see, which is that the counterparty may know something, and at how a rates desk measures whether its flow is toxic. The chapter ends where a desk’s day ends: with a position nobody chose, because hedging it completely was not worth what it cost, which is what chapter 24 has to carry.
23.1 What the Spread Is Payment For
A market maker undertakes to quote both sides of a price on request, and is paid the difference between them. The undertaking is the product: a client who wants to hedge a liability in size, now, does not want to wait for a natural counterparty to appear. Immediacy is the service and the spread is its fee.
That much is uncontroversial and explains nothing about how wide the spread should be. Two separate costs set it.
-
-
Inventory risk. Having bought, the maker holds a position it did not choose, and the position has variance. This cost is symmetric in the sign of the flow, grows with volatility, and would exist even if every counterparty were a coin flip.
-
-
Adverse selection. The counterparty chose to trade, and chose which side. If they know something, the maker is on the wrong side of it. This cost is asymmetric by construction — it exists precisely because the client selects — and would exist even if the maker could hedge instantly and hold no inventory at all.
The two point in the same direction on the spread and for opposite reasons, which is why a desk that models one and neglects the other can be badly wrong while appearing to have a theory. The next section builds the model of the first. The one after that is about the second, which no tractable model of the first contains.
23.2 A Solvable Quoting Problem
The canonical model is Avellaneda and Stoikov’s. It is the only quoting model in this book that is solvable in the sense of chapter 14, and why it is solvable turns out to be a result we already have.
Definition 23.1 (The quoting problem).
A mid price diffuses with no drift, . The maker continuously chooses distances and stands ready to sell at and buy at . Fills of one unit arrive as Poisson processes whose intensity falls with the distance,
| (23.1) |
independently on the two sides. Writing for cash and for inventory, the maker maximises exponential utility of terminal wealth,
| (23.2) |
Equation (23.1) says the further from the mid one quotes, the less one trades, with a sensitivity . It is the only place the market’s willingness to deal enters, and it is exogenous: the arrival rate depends on where the maker quotes and on nothing else. In particular it does not depend on where the price is about to go, and §23.3 is about the consequences.
The exponential utility in (23.2) looks like a taste and is a tractability assumption, and a specific one: constant absolute risk aversion means , so wealth cancels out of (23.3) entirely, which is what collapses the four-dimensional problem to the two-dimensional linear system below. A power utility’s derivatives do not scale with itself and would leave wealth in the equation. That is not the only tractable formulation of the quoting problem — Guéant, Lehalle and Fernandez-Tapia solve it with a running inventory penalty in place of a terminal utility, linearising by a related but different route — exponential utility is simply what makes this reduction go through.
And the mid price is a martingale, so the maker has no view. That is the right convention: a maker with a view should express it as a position, not by leaning the quote, and the two decisions are cleanly separable in this model precisely because the drift is zero.
The equation
Calculation 23.2 (The Hamilton-Jacobi-Bellman equation).
Over three things can happen: nothing, a sale, or a purchase. Collecting the diffusion of and the two jump terms, the value function satisfies
| (23.3) |
A sale moves cash up by the price received, , and inventory down by one; a purchase does the reverse. The suprema sit inside the equation, which is what makes it a control problem rather than a valuation.
Equation (23.3) is unpromising. It is nonlinear, it contains two optimisations, and the state has four dimensions. What rescues it is that the objective was chosen to make a particular family invariant.
Theorem 23.3 (The substitution that solves it).
Write
| (23.4) |
Then (23.3) holds if and only if satisfies the linear system
| (23.5) |
with and constants
| (23.6) |
The optimal distances are then
| (23.7) |
Proof.
Substitute (23.4) and divide through by the positive quantity , which appears in every term. Writing , so that , the derivatives are
A sale takes to , since the cash gained is and the inventory term loses one . So the jump bracket is
Dividing (23.3) by leaves an equation in alone — the cash, the price and the utility scale have all cancelled, which is the point of the exponential form:
| (23.8) |
where .
Now do the optimisation, which is one line. Setting and writing ,
which is (23.7) once is written in terms of . Substituting back, at its optimum is , and
so both suprema in (23.8) become multiples of . Finally ; multiplying (23.8) through by clears every denominator and gives (23.5) with the constants (23.6). ∎
Solving (23.5) produces a function satisfying (23.3). That it is the value function (23.2) defines — and not merely some solution of the same equation — needs one more step.
Theorem 23.4 (Verification).
Proof.
Fix any admissible control and apply Itô’s formula to along the path it generates. contributes the usual diffusion terms; and jump when a fill arrives, at the controlled intensities and , and compensating those jumps leaves
where are (23.3)’s two jump brackets evaluated at the current state and the current control, and the martingale parts of the diffusion and the compensated jumps vanish in expectation. Because solves (23.3), the two suprema together sum to zero, so for any particular — not necessarily the maximiser — the integrand is at most zero: one term of a supremum that totals to it. The integral is therefore non-positive, and since is exactly the objective’s terminal payoff,
for every admissible control: dominates every achievable payoff, hence dominates the supremum (23.2) defines.
Now take the specific control , of (23.7) — the one attaining the sup in (23.3) at every state. Along the path it generates the integrand above is identically zero by construction, so the inequality is an equality: this one control already achieves the payoff . A control that achieves a value cannot be beaten by a supremum that dominates it, so (23.2)’s supremum is at least too. The two inequalities together force , and force to be optimal. ∎
Structure (The same trick as the affine models).
A control problem and a pricing problem have just turned out to be the same kind of object.
Chapter 14 showed that a nonlinear equation becomes linear when the unknown is an exponential whose parameters the equation can absorb — there the family was , the parameters moved by a Riccati equation, and the nonlinearity came from the second derivative bringing a parameter down twice. Here the family is , and , the risk aversion, plays the role played there. Dividing (23.3) by is the step that removes the wealth and the price from the problem entirely, exactly as dividing by removed the state there.
The difference is instructive. In the affine case the reduction left a Riccati equation, quadratic in the parameter. Here it leaves a linear one, and the reason is visible in the proof: the price enters the utility linearly, through , so the second derivative contributes a term in that is a coefficient rather than an unknown. The nonlinearity that would have made it Riccati was spent on the optimisation instead, and the optimisation closed in one line.
So exponential utility is not a convenience here in the sense of making the algebra shorter. It is the choice that makes an invariant family exist, and Definition 23.1 would be a numerical problem with any other utility. That is the same trade chapter 14 describes throughout: a modelling restriction adopted because it is what makes the mathematics close.
What it says
Solving (23.5) numerically and reading off (23.7) gives the quotes.111marketmaking::Quoting, which also solves (23.3) directly without the substitution. The two agree to the discretisation — the gap halves each time the time step does and extrapolates to nothing — which is how one checks that a substitution linearises a problem rather than approximating it. At , , , and a one-year horizon:
| Inventory | bid distance | ask distance | total spread | skew |
|---|---|---|---|---|