Every field below secretly wants to compute an expectation:
Ep[f]=∫f(x)p(x)dx
The Monte Carlo estimator draws x1,…,xN∼p and reports
μ^N=N1i=1∑Nf(xi).
Two theorems make this work:
Law of Large Numbers:μ^Na.s.Ep[f].
Central Limit Theorem: the error shrinks as
μ^N−Ep[f]∼N(0,Nσ2),error∝N1.
The crucial, field-agnostic fact: the 1/N rate is independent of dimension. A 1000-dimensional integral is no worse than a 3-D one — which is why deterministic grids fail (they scale as N−1/d) and sampling wins.
Thermodynamic averages are expectations over the Boltzmann distribution:
p(x)=Z1e−βE(x),Z=x∑e−βE(x),β=kBT1.
Z is an intractable sum over 2N configurations — exactly the "known up to a constant" case. The Metropolis algorithm was invented here (1953) to sample spin states.
The risk-neutral measure Qis importance sampling. Girsanov's change of measure in finance is mathematically the reweighting p/q — recognizing this lets you import variance-reduction tricks (control variates, antithetic variates) from ML/statistics into pricing.
Z = partition function = evidence = normalizing constant. The same intractable object haunts physics, Bayesian ML, and Gibbs-style economic models; MCMC solves all three identically.
Intuition transfer: physicists' notion of temperature becomes ML's annealing / tempering for escaping local modes; ML's Langevin dynamics is literally an overdamped physical SDE; finance's path simulation is a special case of sampling an SDE's law.
The curse of dimensionality is defeated the same way everywhere: never grid — always sample.