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).

QuantityFormulaVerified 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 callraw , per 1 rate-point
Gamma–theta tradeboth
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:

  1. Constant-vol delusion - BSM forces one ; real markets show a smile, so the only free parameter cannot fit all strikes.
  2. Continuous-hedging friction - the “riskless portfolio” needs ; costs and discrete rebalancing turn it into a loss maker (measured via the gamma–theta residual).
  3. 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

Beginner: start at 01 · Practitioner: start at 05