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. It will make the problem solvable, and nothing else would.
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). ∎
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 |
|---|---|---|---|---|