Basic Prerequisites: 01 · From Zero and Multivariable Calculus & Optimization (maximisation).


1. Intuition & Practical Objective

Given data, how do you produce a single best guess of an unknown parameter? There are two workhorse recipes, and understanding them and how to judge them is the core of estimation theory.

  • Maximum likelihood (MLE): choose the parameter that makes the data you actually saw most probable. It is the default estimator in all of quantitative finance: GARCH parameters, default intensities, factor loadings, and in a logistic scorecard are all MLEs.
  • Method of moments (MoM): set the theoretical moments equal to the sample moments and solve. Older, often cruder, but closed-form and a great starting point for the MLE’s numerical search.

The practical objective is to know which estimator to trust and why. “Best” is not “unbiased”: the right yardstick is mean squared error, , and the theoretical floor is the Cramér–Rao lower bound, attained exactly (asymptotically) by the MLE. Two numbers - bias and variance - decide everything, and one bound tells you when to stop looking for something better.

Why it matters for the Atlas. A GARCH(1,1) fit, a VaR quantile, an implied default probability, and a Sharpe ratio are all point estimates with sampling distributions. Mis-reading bias versus variance is how a model that is “unbiased on paper” still blows up out-of-sample.


2. Mathematical Ground Truth & Derivations

2.1 Maximum likelihood (C&B §7.2.2)

Let be i.i.d. with density/pmf . The likelihood is and the MLE maximises . For a regular model the score is zero at the MLE:

Properties: invariance - if is the MLE of , then is the MLE of ; consistency (Thm 7.3.8); and asymptotic normality/efficiency (below).

2.2 Method of moments (C&B §7.2.1)

Equate the first population moments to the sample moments and solve for the parameters:

For a two-parameter family this gives two equations in two unknowns; the MoM estimate is often used as the MLE’s starting value.

2.3 Bias, variance and mean squared error (C&B §7.3.1)

If is unbiased, MSE variance. The classic illustration: for normal data,

Trading a little bias for less variance lowers MSE - the first sighting of the bias–variance tradeoff that 05 makes central.

2.4 Cramér–Rao lower bound (C&B Thm 7.3.1)

For any estimator with ,

where is the Fisher information. Bigger information tighter bound less uncertainty. An unbiased estimator attaining the bound is best unbiased (UMVUE). Caveat: the bound requires differentiating under the integral, which fails when the support depends on (the uniform scale example, C&B Ex 7.3.5, beats the bound).

2.5 Asymptotic normality, efficiency and the delta method (C&B §7.4)

Under regularity conditions, the MLE is asymptotically efficient:

For a smooth function of the sample mean, the delta method expands to first order (eq 7.4.5):


3. Computational Implementation - MLE by Newton–Raphson, MoM, MSE and the delta method

Standard library only. The headline is an MLE with no closed form (the Gamma shape), solved by Newton’s method on the score equation using digamma/trigamma functions.

Three takeaways visible in the numbers: the numerical MLE recovers without a closed form; the biased MLE of beats on MSE (3.043 vs 3.553) exactly as the formula predicts; and the exponential MLE’s variance sits on the Cramér–Rao bound (0.0319 vs 0.03125 - efficient).


4. Failure Modes & First-Principles Breakdowns

  1. Equating “unbiased” with “best”. MSE Var Bias; the biased estimator wins whenever the variance saved exceeds the squared bias added. Choosing “because it’s unbiased” can be strictly worse.
  2. Trusting the delta method for non-monotone . If somewhere, the plug-in variance can be (near-)zero and badly wrong - the MLE of reports at (C&B §7.4.1). Always check .
  3. Applying Cramér–Rao when the support depends on . For uniform data the bound is unattainable (Ex 7.3.5 beats it); the regularity condition is not decoration.
  4. Boundary/identifiability failures in MLE. A GARCH persistence , or a Gaussian-mixture with a diverging component, makes the likelihood unbounded or flat - the Newton iteration diverges. Regularity is a promise the model must keep.
  5. Numerical MLE gone wrong. Bad starting values, non-concave likelihoods, and over-parameterised models give local optima that look like findings. Always re-start from MoM and check convergence.

5. References

  • Casella & Berger, Statistical Inference
  • Hastie, Tibshirani & Friedman, ESL
  • Tsay, Analysis of Financial Time Series

6. Connected Graph Bridges