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:

  1. 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.
  2. 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.
  3. 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

  1. 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.
  2. 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.
  3. 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).
  4. 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.
  5. 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.
  6. 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