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
The Black–Scholes–Merton (BSM) model is the continuous-time limit of binomial dynamic replication, and it is the zero point of all modern derivative pricing. Its claim is sharp: if you can trade the underlying continuously, then the price of a European option is uniquely fixed by the no-arbitrage condition - it depends on the current spot, the strike, the remaining time, the risk-free rate, and the (assumed constant) volatility, and on nothing else. Not on the drift of the stock, not on your forecast of where the market is going.
This folder is the model topic-folder for the Kwant-Atlas build. It is a hub: it (a) gives you the fast formula lookup below (job #1 of this pillar), and (b) routes you to six sub-pages that walk you from raw intuition through the derivations, the closed forms, the Greeks, the failure modes, and the extensions.
The one-sentence essence. “Price a derivative as the discounted expectation of its payoff under the risk-neutral measure - equivalently, solve the BSM parabolic PDE - where the change-of-measure/derivation is driven entirely by volatility, never by drift.”
2. Mathematical Ground Truth & Derivations
Quick-Reference Lookup (job #1). All formulas below are transcribed from Haug (2006) and cross-checked against Shreve Vol II Ch 4–5; the numbers in the check column were re-executed and reproduced exactly from the verified corpus (see §3).
Notation: spot, strike, time to expiry (years), risk-free rate, continuous dividend yield, cost-of-carry, vol, standard normal CDF, .
Cost-of-carry dictionary (one master formula, many models): stock · stock/index with yield · futures (Black-76) · currency (Garman–Kohlhagen).
| Quantity | Formula | Verified check |
|---|---|---|
| - | ||
| - | ||
| Generalized call | ||
| Generalized put | Merton () | |
| Put–call parity | : | |
| Delta call | ||
| Gamma (call=put) | ||
| Vega (call=put) | raw , per 1 vol-point | |
| Theta call (per day) | /day | |
| Rho call | raw , per 1 rate-point | |
| Gamma–theta trade | both | |
| ATM-forward approx | vs exact |
Critical scaling caveat (Haug §2). Screen/lookup values for Vega, Rho, Phi, Carry, Vanna, Zomma are quoted per 1 vol/rate point = raw ; Vomma ; Ultima ; Theta per day = raw . Failing to apply this convention is the single most common lookup error.
3. Computational Implementation - the formula engine
This runs on the standard library only (math.erf gives the exact normal CDF, so there is no dependency on numpy/scipy). 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:
- Constant-vol delusion - BSM forces one ; real markets show a smile, so the only free parameter cannot fit all strikes.
- Continuous-hedging friction - the “riskless portfolio” needs ; costs and discrete rebalancing turn it into a loss maker (measured via the gamma–theta residual).
- Lognormal/completeness failure - jumps and fat tails break the single-Brownian-motion assumption that makes prices unique (the structural route into Heston/SABR and jump models).
5. References
- Haug, Espen Gaarder: The Complete Guide to Option Pricing Formulas (2nd ed., 2006)
- Shreve, Steven E.: Stochastic Calculus for Finance II
- Hull, John C.: Options, Futures, and Other Derivatives (11th ed.)
- Björk, Tomas: Arbitrage Theory in Continuous Time (3rd ed.)
6. Connected Graph Bridges
- Foundational base: Stochastic Calculus & Itô · Calculus
- Sibling topic: No-Arbitrage Foundations & Binomial Trees (the discrete seed of this model)
- Sub-pages (in-folder): 01 From Zero · 02 PDE & Derivation · 03 Pricing Formulas · 04 Greeks & Hedging · 05 Failure Modes · 06 Advanced Extensions