Basic Prerequisites: 02 - The Execution Problem and Calculus & Optimization (Euler-Lagrange / convex minimization).
1. Intuition & Practical Objective
The execution problem has now been reduced to two scalars: an expected cost and a variance , both functions of the trading trajectory . The Almgren–Chriss model closes the problem by choosing the trajectory that minimizes
a quadratic objective in . For linear impact it is exactly a convex quadratic program, so the optimum is unique, static, and - in continuous time - has a closed form: a hyperbolic (exponential-decay) trajectory. This page does the derivation twice: the Euler-Lagrange route AC themselves used, and the dynamic-programming / Hamilton–Jacobi–Bellman route that is the modern control-theoretic statement, and shows they agree.
The practical objective: understand where the shape comes from, so that when the trajectory later disappoints (page 05) you know exactly which assumption to blame.
The one-sentence essence. “Minimize expected temporary impact plus risk aversion times variance, and the Euler-Lagrange equation reduces to - whose solutions are exponentials with decay rate , so the optimal schedule decays exponentially and its half-life is .“
2. Mathematical Ground Truth & Derivations
2.1 The discrete quadratic problem (AC §2.2)
With linear impact, from page 02:
Dropping the schedule-independent constant and the fixed (assume all ), is a strictly convex quadratic in the free variables (since ). Setting for :
2.2 Euler-Lagrange and the closed form
This is a second-order linear difference equation; its solutions are where solves . Imposing and gives (AC eq 17-18)
In continuous time () the same argument on gives the Euler-Lagrange equation
whose solution with is the same trajectory. Limits: () gives (TWAP); () gives instant liquidation at (a block). is the trade half-life. The regime is read off : if (large ) the trade is risk-constrained - the bulk of liquidation happens well before and the curve looks like a fast block; if (small ) it is impact-constrained and approaches the straight line (TWAP) - see AC §2.3 (here is squarely in the interior).
2.3 Time-homogeneity and the HJB
AC’s Theorem (time-homogeneity). The static optimum is also the dynamic optimum: re-solving at any interior time merely reproduces the continuation of the original trajectory. AC prove this two ways - algebraically (the continuation matches) and by optimal control (no new information arrives, since the price has no serial correlation). This is why a static curve is legitimate.
The HJB statement. Cast the risk-neutral version as a dynamic program: with value function (minimal expected cost to liquidate by ), trading rate , and temporary cost rate ,
The first-order condition gives , and substituting yields the HJB equation (note the sign: the minimised bracket is )
Its solution (readily checked) gives - the constant-rate TWAP optimum - and , the risk-neutral cost. Adding the risk penalty to the running cost turns the same HJB into the one whose characteristics solve : the risk-aversion term is precisely what bends TWAP into the hyperbolic curve.
3. Computational Implementation - the closed form is the discrete optimum
The strongest possible check: build the exact quadratic and minimize it by linear algebra; compare against the closed-form trajectory. numpy + stdlib.
The closed form and the exact discrete minimizer agree to 2 shares in 1,000,000 (the residual is the difference between and the discrete ), and the objective values match to 10 significant figures. This is the statement “the AC formula solves the AC problem,” verified numerically.
HJB check. With , , the ansatz satisfies with maximum relative residual and gives $520,000 - the risk-neutral TWAP cost.
4. Failure Modes & First-Principles Breakdowns
- The model is a quadratic; reality is not. The entire closed form rests on being a convex quadratic. Nonlinear impact () destroys it - the Euler-Lagrange equation becomes nonlinear and the solution is only an approximation (06 - Advanced Extensions).
- Mean-variance is not expected utility. equals quadratic utility only up to second order; for non-Gaussian (fat-tailed, jump) shortfall the objective mis-specifies risk. AC handle this with the L-VaR construction (§3.2), which replaces variance with a quantile.
- Static ≠ adaptive. Time-homogeneity holds only because the price has no serial correlation or drift. With drift, momentum, or mean reversion, the optimal strategy is genuinely dynamic and the static curve is stale (AC §4; Hasbrouck Ch 15 gives the drift-corrected ).
- inherits every parameter error. : urgency scales as , , and . A 4x error in the risk aversion mis-sets the half-life by 2x. See 05 - Failure Modes.
- The objective is dimensioned loosely. is in dollars, in dollars, so carries units of 1/$. Quoting a without its units (or in the wrong currency scale) silently rescales the entire schedule.
5. References
- Almgren, Robert; Chriss, Neil - “Optimal execution of portfolio transactions,” Journal of Risk 3(2), 5-40 (2000)
- Bertsimas, Dimitris; Lo, Andrew W. - “Optimal control of execution costs,” Journal of Financial Markets 1(1), 1-50 (1998). The dynamic-programming / HJB formulation ( in the zero-drift case).
- Cartea, A.; Jaimungal, S.; Penalva, J. - Algorithmic and High-Frequency Trading (2015)
- Gueant, Olivier - The Financial Mathematics of Market Liquidity (2016)
- Hasbrouck, Joel - Empirical Market Microstructure (2007)
6. Connected Graph Bridges
- Back: 02 - The Execution Problem · Index Hub
- Forward: 04 - Efficient Frontier & Trajectory
- Theory: Calculus & Optimization (Euler-Lagrange, convex QP) · Stochastic Calculus (martingale conditioning under the dynamic program)
- Control-theory twin: Avellaneda–Stoikov & Optimal Quoting (same HJB machinery, inventory instead of execution)