Basic Prerequisites: Stochastic Calculus & Itô’s Lemma and Multivariable Calculus. (these are the folder-level prerequisites for pages 02–06; page 01 states its own, smaller, entry requirements)
1. Intuition & Practical Objective
In equity options the short rate is a scalar input to a formula. In fixed income the rate is the underlying. The whole object of study is the term structure - the continuum of yields / forward rates across maturities - and the derivative products written on it: bonds, interest-rate swaps (IRS), caps/floors, and swaptions. The pricing question is different from Black–Scholes in one structural way: you cannot hedge a rate derivative with a single tradable whose drift is observable, because the drift (the rate itself) is what moves. This is why interest-rate modelling is built on two distinctive pillars: the market price of risk (short-rate models) and the change of numeraire (forward-measure pricing), which are absent from a constant- BSM world.
This folder is the model topic-folder for the Kwant-Atlas build. It is a hub: it (a) gives the fast formula lookup below, and (b) routes you to six sub-pages that walk from raw intuition through bonds/yield curves/forward rates, short-rate models, the numeraire/HJM/market-model machinery, failure modes, and advanced extensions (multi-curve, the smile in rates, calibration).
The one-sentence essence. “Price a rate claim as the discounted expectation of its payoff under the right numeraire - the bank account for generic claims, the -bond (forward measure) for forward-LIBOR products, the annuity for swaptions - where short-rate models fix ‘s dynamics via the market price of risk, and HJM/market models build the whole forward curve and let each forward rate be a (near-)martingale under its own measure.”
2. Mathematical Ground Truth & Derivations
Quick-Reference Lookup (job #1). All formulas below are transcribed from Brigo–Mercurio (2006, 2nd ed.) and Björk (2009, 3rd ed.), cross-checked against Shreve and Hull; the numbers in the check column were re-executed and reproduced exactly from the verified corpus (see §3).
Notation: zero-coupon bond (ZCB) paying 1 at , short rate, bank account, instantaneous forward, simple (LIBOR) forward, forward-LIBOR over , forward swap rate, annuity/PVBP, accrual (e.g. 0.5 semi, 0.25 quarterly).
The building blocks:
| Quantity | Formula | Verified check |
|---|---|---|
| Stochastic discount | random when stochastic; in general | |
| ZCB price (bank-account RN) | - | |
| Instantaneous forward | ; | - |
| Simple forward (LIBOR) | flat 4%: | |
| Vasicek | , | |
| CIR | , , | |
| Hull–White | flat 4%: | |
| HJM drift (Q) | free, fixed | |
| Caplet = Black | , | |
| Black swaption | 5y-into-5y ATM : 0.023902 | |
| Swap rate | , | flat 4% 5y semi: 4.0403% |
Critical numeraire facts (BM Ch2; Björk Ch26; Shreve Ch33). A numeraire is any strictly positive asset; price/numeraire is a martingale under that numeraire’s measure, and the risk-neutral price is invariant under change of numeraire. The forward measure (numeraire ) makes the instantaneous forward a martingale, while the forward LIBOR is a martingale under (numeraire ) - the two maturity indices differ (Björk Lem. 26.10; BM Prop 2.5.1). The swap (annuity) measure makes a martingale. Forward price ; futures price ; they coincide iff is deterministic (Björk Ch29 correction).
3. Computational Implementation - the formula engine
This runs on the standard library only (math.erf gives the exact normal CDF). It reproduces every verified number above.
4. Failure Modes & First-Principles Breakdowns
Hub signposts - the folder’s failure-mode analysis lives in 05 · Failure Modes & Practice. In one line each:
- One-factor perfect correlation - a single Brownian short rate drives every maturity (corr = 1), so curve steepeners / yield-spread products are mispriced (the structural route into two-factor models).
- Negative rates break lognormal Black - Black-76 needs ; EUR/JPY 2015–2021 forced Bachelier (normal) / shifted-lognormal machinery.
- Lognormal instantaneous forwards explode - HJM with has drift ; the solution blows up before , which is exactly why market models use lognormal simple (LIBOR) rates instead.
- HW/calibration differentiation instability - exact-fit needs numerical derivatives of the market forward curve; noisy curves break the fit.
5. References
- Brigo, Damiano & Mercurio, Fabio: *Interest Rate Models
- Björk, Tomas: Arbitrage Theory in Continuous Time (3rd ed., 2009)
- Shreve, Steven E.: Stochastic Calculus for Finance I
- Hull, John C.: Options, Futures, and Other Derivatives (11th ed.)
6. Connected Graph Bridges
- Foundational base: Stochastic Calculus & Itô · No-Arbitrage Foundations & Binomial Trees
- Sibling topic: Black–Scholes–Merton (the constant- seed this folder generalises)
- Sub-pages (in-folder): 01 From Zero · 02 Bonds, Yield Curve & Forward Rates · 03 Short-Rate Models · 04 Numeraire, HJM & Market Models · 05 Failure Modes · 06 Advanced Extensions