Basic Prerequisites: 01 · From Zero and BSM · The PDE & Feynman–Kac.
1. Intuition & Practical Objective
Monte Carlo prices an option by manufacturing the risk-neutral expectation one path at a time. Draw a path of under , evaluate the discounted payoff, repeat times, average. Its justification is the strong law; its error is the central limit theorem:
The practical objectives are three: (i) build the estimator and always attach a standard error; (ii) sample paths exactly when possible - for GBM the transition is lognormal so the simulation is exact, with zero discretisation bias; (iii) recognise the two structural costs - the rate (four times the work per halving) and the fact that a payoff average is a path functional whose sampling requires care (Brownian bridge, monitoring dates).
Three “aha”s:
- The error rate is dimension-free. holds for an integral over for every , whereas a product trapezoidal rule degrades as . At MC already wins outright - that is why basket and term-structure exotics are simulation problems.
- For GBM there is no discretisation. is the exact law, not an approximation (Glasserman eq. 3.20–3.22). Bias only enters through the payoff’s monitoring convention or through non-GBM dynamics.
- The estimator’s error is a distribution, not a number. A 100,000-path run gave where a 10,000-path run gave - both consistent with the closed form within their standard errors. Quoting an MC price without its is meaningless.
2. Mathematical Ground Truth & Derivations
The pricing identity (Glasserman eq. 1.39, the same as Feynman–Kac’s integral form):
Simulate the risk-neutral dynamics - the drift is , never ; the volatility is unchanged by the change of measure (Glasserman eq. 1.42: only the drift shifts under Girsanov).
The path sampler. For GBM the exact grid-point transition is
and for a Gaussian short rate the exact transition is likewise available (Glasserman eq. 3.43–3.45). Nothing is discretised at the grid points for these models.
The Brownian bridge (Glasserman eq. 3.7–3.8) - the tool that makes a path’s intermediate values cheap and, later, makes barriers correct. Given and with :
Two properties matter: (i) the conditional variance depends only on the interval lengths, not on the endpoint values - so bridge refinement is numerically stable; (ii) the first (coarsest) normal drives the largest share of path variance, which is why the bridge ordering is the standard dimension-reduction device for QMC (page 06).
Path-dependent payoffs (Glasserman §3.2): for discrete monitoring dates ,
- arithmetic Asian: , payoff - no closed form;
- geometric Asian: , lognormal, with a closed form - hence a perfect control variate (page 04);
- barrier (down-and-out): with - discretely monitored barrier prices depend on the monitoring frequency, and a grid-based simulation misses crossings between dates (fixed on page 05/06 by Brownian interpolation).
The MSE framework (Glasserman §1.1.3) - the honest budget statement. With bias , per-path cost and paths,
where is the work budget; unbiased simulation () recovers , and the discretisation-aware case is page 04’s (§2 efficiency rule) .
3. Computational Implementation - estimator, error rate, bridge, Asian
Four checks in one script: the RMSE law, a standard error from one batch, the bridge variance identity, and a path-dependent price against its exact geometric counterpart.
Three verifications: the RMSE ratio between and is and between and is - both , and RMSE*sqrt(n) stays flat at – (the theoretical ); the bridge variance matches to three decimals; and the MC geometric-Asian price lands on its closed form (within the standard error of paths). The arithmetic Asian - no closed form - prints , correctly above the geometric value (AM ≥ GM under ).
4. Failure Modes & First-Principles Breakdowns
- Discounting under the wrong measure. depends on and is not the price; the drift must be (Glasserman eq. 1.41). The change of measure moves the drift only - volatility is invariant.
- Silent discretisation bias on a path functional. A crude Euler path for GBM has weak order 1, and for a running maximum only - even for Brownian motion (Asmussen–Glynn–Pitman, cited in Glasserman §6.4). Averaging more paths does not remove bias; only a better scheme or Brownian interpolation does.
- Missing the barrier between monitoring dates. A discrete grid under-detects crossings, so a discretely-sampled knock-out is over-valued and the continuous-barrier limit is approached only as . Fix: Brownian-interpolation survival probabilities (page 06).
- Reading the sample mean without the sample error. is itself estimated; the reported standard error uses (Glasserman §1.1) and the interval is only asymptotically valid - heavy tails and importance sampling (page 04) break it badly.
- Payoff discontinuities destroy the naive error estimate. Indicator payoffs (digital, barrier) have driven by a thin region; the CLT still holds but convergence is governed by rare events, and plain MC needs enormous for deep-OTM contracts - the entry point for importance sampling.
- The long-horizon likelihood-ratio pathology. For path-functionals the Radon–Nikodym derivative of a long path degenerates: under the twisted measure the average log-ratio converges to a strictly negative constant, so the weight falls to zero a.s. while its mean stays (Glasserman §4.6). The estimator remains unbiased but has an unusable variance - this is the structural failure of naive importance sampling on long horizons.
5. References
- Glasserman, Monte Carlo Methods in Financial Engineering
- Hull, Options, Futures, and Other Derivatives
- Duffy, Finite Difference Methods in Financial Engineering
- Haug, Complete Guide to Option Pricing Formulas
6. Connected Graph Bridges
- Back: 02 · Finite Differences · Index Hub
- Forward: 04 · Variance Reduction & Efficiency → 05 · Failure Modes → 06 · Advanced Extensions (American MC, QMC)
- Base: BSM · Pricing Formulas · Stochastic Calculus & Itô