Basic Prerequisites: Econometrics & Time Series (ARMA, stationarity, forecasting) and Statistics & Inference (maximum likelihood).


1. Intuition & Practical Objective

ARCH and GARCH answer a single question: how should yesterday’s shock enter today’s variance forecast? The ARCH answer (Engle 1982) is “through yesterday’s squared shock”. The GARCH answer (Bollerslev 1986) adds “…and through yesterday’s variance forecast”, which is the crucial generalisation: it lets a long history of shocks feed today’s risk through a short memory.

The economic reading of GARCH(1,1),

is a weighted, exponentially-decaying average of past squared shocks with a floor. It is exactly the same object as RiskMetrics’ EWMA, but with two differences that make it a proper statistical model: an intercept restoring mean reversion, and estimated (not fixed) coefficients. Because the recursion feeds back, a single large shock propagates forward for many days - the model generates clustering rather than being told about it.

The practical payoff: a one-line, closed-form, one-step-ahead variance forecast that a risk system can consume directly. Everything downstream - VaR, position sizing, option-hedging vol input - starts here.


2. Mathematical Ground Truth & Derivations

ARCH(). With , ,

Taking unconditional expectations, , and , so

ARCH() is already fat-tailed: its unconditional excess kurtosis is whenever (Tsay §3.4.1). Fat tails emerge without fat-tailed shocks - the clustering does it.

GARCH().

Stationarity requires (set for , for ). Then the unconditional variance is

Derivation: take unconditional expectations of the recursion: ; stationarity gives both and equal to a common , so .

GARCH(1,1) - the workhorse.

ARMA() representation. Substituting (with a martingale difference) gives

So is an ARMA(1,1), and the persistence is its autoregressive root. This is the bridge that lets ARMA theory (stationarity, ACF decay, forecasting) transfer to the variance world - and it is why GARCH(1,1), not high-order GARCH, is usually enough: a low-order ARMA captures most of the dynamics.

Forecasting. is known, and for ,

The forecast decays geometrically from the current level to the unconditional variance - the “volatility term structure”. The half-life of a shock is ; for , days.

Estimation. With , the Gaussian log-likelihood is

maximised numerically (the recursion is not linear in the parameters). Method-of-moments / ARMA estimation of the series gives a starting point; MLE is the standard.


3. Computational Implementation - simulate, fit by MLE, forecast

Standard library only. Simulates a GARCH(1,1), estimates by Gaussian MLE with a compact Nelder–Mead optimiser (unconstrained reparametrisation: , persistence via a logistic so , and a share so ), then produces the term-structure forecast.

Two things to read off. First, MLE recovers the true process closely: the estimated unconditional variance is within 0.5% of the truth , and persistence is vs - the small downward bias is expected at for a persistent series (a symptom of the flat likelihood surface discussed in §4). Second, the forecast path decays monotonically to the unconditional variance, exactly as predicts.


4. Failure Modes & First-Principles Breakdowns

  1. Flat, non-quadratic likelihood unstable estimates. and are weakly identified separately (only is well-determined), so estimates trade off along a ridge. This is why ” moved 0.05 between samples” is usually noise, not news.
  2. High-order ARCH/GARCH over-parameterisation. Adding lags multiplies the positivity constraints and widens the identification ridge; the likelihood barely improves. GARCH(1,1) is empirically near-optimal - extra order buys complexity, not accuracy (Hansen–Lunde 2005’s forecast comparison reaches the same conclusion).
  3. Symmetry. The model cannot tell from ; the single largest empirical mis-specification for equity risk. Fixed in 03.
  4. Persistence degeneracy. When , the unconditional variance estimate blows up (denominator near zero) and the model becomes IGARCH-in-practice - often a structural-break artefact, not true persistence (see 05).
  5. Non-negativity constraints. are needed only for the “all shocks raise variance” interpretation; if the optimiser wanders into a negative coefficient the recursion can go negative and the likelihood is undefined - a common coding failure.

5. References

  • Engle, Robert F. (1982): Autoregressive Conditional Heteroscedasticity…, Econometrica 50(4), 987–1007
  • Bollerslev, Tim (1986): Generalized Autoregressive Conditional Heteroskedasticity, J. Econometrics 31(3), 307–327
  • Tsay, Ruey S.: Analysis of Financial Time Series (3rd ed., 2010)
  • Hansen, Peter R. & Lunde, Asger (2005): A Forecast Comparison of Volatility Models: Does Anything Beat a GARCH(1,1)?, J. Applied Econometrics 20(7)

6. Connected Graph Bridges