Chapter 01
Easy

Discrete Time and White Noise

00 · Symbol Glossary

$\{X_t\}$X sub t — a time series

A sequence of random variables indexed by time t=1,2,3,t = 1,2,3,\ldots (or tZt\in\mathbb{Z}). One observed path x1,x2,,xTx_1,x_2,\ldots,x_T is a realization; the object being modeled is the whole process.

$\mu_t$mu sub t — mean function

μt=E[Xt]\mu_t = \mathbb{E}[X_t], the expected value at date tt. If this depends on tt, the series has a time-varying level (trend, break, or seasonality).

$\gamma(t,s)$gamma — autocovariance

γ(t,s)=Cov(Xt,Xs)=E[(Xtμt)(Xsμs)]\gamma(t,s) = \mathrm{Cov}(X_t,X_s) = \mathbb{E}[(X_t-\mu_t)(X_s-\mu_s)]. Dependence between two dates, not just contemporaneous variance.

$\varepsilon_t$epsilon sub t — innovation / shock

The unpredictable piece at time tt. In this chapter, white noise is the baseline shock process; later chapters build ARMA and GARCH on top of it.

$r_t$r sub t — log return

rt=logPtlogPt1r_t = \log P_t - \log P_{t-1} for a price PtP_t. The usual modeling object in finance — closer to stationary than the raw price.


01 · A Time Series Is a Stochastic Process

A time series is not a list of numbers. It is a stochastic process {Xt}tT\{X_t\}_{t\in\mathbb{T}}: for each date tt there is a random variable XtX_t, and the family is jointly distributed. What you download from a market data vendor is one sample path.

Definition — Discrete-Time Process

A discrete-time stochastic process is a collection {Xt:tZ}\{X_t : t\in\mathbb{Z}\} (or t=1,2,t=1,2,\ldots) of random variables on a common probability space. A realization of length TT is a sequence x1,,xTx_1,\ldots,x_T produced by one draw of that collection.

The index tt is ordered. That is the whole point: XtX_{t} can depend on Xt1X_{t-1} in a way Xt+5X_{t+5} cannot reverse. Cross-sectional data (many firms at one date) does not have that arrow of time.

One path is not the process

Estimators in later chapters pretend that time averages along the observed path recover ensemble averages E[Xt]\mathbb{E}[X_t]. That leap is ergodicity (Chapter 02). Until then, keep the distinction: formulas are about the process; data are one path.


02 · Mean, Variance, and Autocovariance

Two dates can be dependent even if each margin is ordinary.

Definition — Second-Order Structure

For a process with E[Xt2]<\mathbb{E}[X_t^2]<\infty,

μt=E[Xt],γ(t,s)=Cov(Xt,Xs)\mu_t = \mathbb{E}[X_t], \qquad \gamma(t,s) = \mathrm{Cov}(X_t,X_s)

The variance function is σt2=γ(t,t)\sigma_t^2 = \gamma(t,t). If γ(t,s)\gamma(t,s) depends only on the lag h=tsh=t-s, write γ(h)\gamma(h) — that is the stationary case of Chapter 02.

Example — Independent versus merely uncorrelated

Let ZtZ_t be i.i.d. N(0,1)N(0,1) and set Xt=ZtZt1X_t = Z_t Z_{t-1}. Then E[Xt]=0\mathbb{E}[X_t]=0 and Cov(Xt,Xth)=0\mathrm{Cov}(X_t,X_{t-h})=0 for every h0h\neq 0, so the second-order structure is that of pure noise. But XtX_t and Xt1X_{t-1} both contain Zt1Z_{t-1}, so they are not independent: E[Xt2Xt12]E[Xt2]E[Xt12]\mathbb{E}[X_t^2 X_{t-1}^2]\neq\mathbb{E}[X_t^2]\mathbb{E}[X_{t-1}^2]. Zero autocovariance is a statement about linear dependence only.

❌ Treating a price as if it were a return

Daily close PtP_t of an equity index wanders. Sample variance of PtP_t grows with the sample window; Cov(Pt,Pth)\mathrm{Cov}(P_t,P_{t-h}) stays large at long lags.

Why it breaks: integrated levels (Chapter 04) are the wrong object for second-order tools that assume a constant variance. Log returns rt=log(Pt/Pt1)r_t=\log(P_t/P_{t-1}) are the standard transform precisely so that μt\mu_t and γ\gamma can be approximately stable.

Consequence: ACF plots of raw prices look “highly persistent” even when returns are nearly white. Always state whether the series is a level or a difference.


03 · White Noise, iid, and Gaussian White Noise

Definition — White Noise

A process {εt}\{\varepsilon_t\} is white noise, written εtWN(0,σ2)\varepsilon_t\sim\mathrm{WN}(0,\sigma^2), if

E[εt]=0,Var(εt)=σ2<,Cov(εt,εth)=0 for all h0\mathbb{E}[\varepsilon_t]=0, \qquad \mathrm{Var}(\varepsilon_t)=\sigma^2<\infty, \qquad \mathrm{Cov}(\varepsilon_t,\varepsilon_{t-h})=0 \text{ for all } h\neq 0

It is iid noise if the εt\varepsilon_t are independent and identically distributed. It is Gaussian white noise if additionally εtN(0,σ2)\varepsilon_t\sim N(0,\sigma^2) iid.

White noise is uncorrelated, not necessarily independent. GARCH (Chapter 06) builds a process whose levels are white noise (or martingale differences) while squares are strongly dependent. That distinction is why the WN definition uses covariances, not independence.

Martingale difference

In finance one often weakens WN to E[εtεt1,εt2,]=0\mathbb{E}[\varepsilon_t\mid \varepsilon_{t-1},\varepsilon_{t-2},\ldots]=0. Then εt\varepsilon_t is a martingale difference: unpredictable in mean given the past, which is the efficient-market statement for a return innovation. Uncorrelatedness follows; identical variance need not.


04 · Building Blocks: Trend, Season, Cycle, Irregular

Observed series are often written as a sum of components, even before a formal model.

Definition — Additive Decomposition
Xt=Tt+St+Ct+ItX_t = T_t + S_t + C_t + I_t

TtT_t is a slowly moving trend, StS_t a seasonal pattern with known period (e.g. 1212 for months), CtC_t a cycle of unspecified period (business-cycle band, not the fixed calendar season), and ItI_t an irregular remainder. Multiplicative form Xt=TtStCtItX_t = T_t S_t C_t I_t is used when seasonal swings scale with the level — take logs first, then add in log space.

Step-by-step — Why log prices, then returns
1
Level: PtP_t is typically close to a random walk (Chapter 04). Variance of PtP_t is not stable.
2
Log: pt=logPtp_t=\log P_t turns multiplicative shocks into additive ones: Pt=Pt1ertP_t = P_{t-1}e^{r_t} becomes pt=pt1+rtp_t = p_{t-1}+r_t.
3
Difference once: rt=Δptr_t=\Delta p_t is the object whose mean and autocovariance later chapters treat as (approximately) time-invariant. One difference after the log is the usual finance transform; a second difference is for confirmed I(2)I(2) levels, not a default step.
4
Do not difference twice by habit. Overdifferencing a series that was already stationary inflates MA structure (Chapter 04).

05 · What This Subject Is For

Time series in this library is the toolkit for dependent observations in calendar time: forecasting a yield, measuring persistence of inflation, modeling clustered volatility, testing whether two prices share an equilibrium, filtering a latent beta.

It is not a substitute for probability (distributions, likelihood) or stochastic calculus (continuous-time limits). Those subjects supply the measure-theoretic and continuous-time language; here the time index is discrete and the emphasis is second-order structure plus a handful of nonlinear models (GARCH, state-space) that markets actually use.

Where this sits next to Stochastic Calculus

Both subjects open with a random walk, and they mean the same discrete object Pt=Pt1+εtP_t=P_{t-1}+\varepsilon_t. The paths diverge immediately after. Stochastic Calculus rescales the walk and takes a limit, arriving at Brownian motion, Itô integrals, and SDEs in continuous time. Time Series keeps tt on the calendar and asks what you can estimate from one finite path: autocovariances, ARMA coefficients, unit-root tests. If the question involves dWtdW_t, it belongs to the other subject; if it involves ρ^(h)\hat\rho(h) from TT observations, it belongs here.

Practice — Classify the object

For each series, say whether you would model the level, a log, or a difference, and why: (a) daily VIX close; (b) quarterly real GDP; (c) a default count per month; (d) the EURUSD spot rate.


06 · Exercises

EXERCISE 1.1

White noise requires uncorrelatedness at every nonzero lag, not identical distribution of the observed path.

No. WN(0,σ2)(0,\sigma^2) requires Cov(εt,εth)=0\mathrm{Cov}(\varepsilon_t,\varepsilon_{t-h})=0 for h0h\neq 0. A deterministic sine wave is perfectly forecastable from its past, so covariances at the seasonal lag are not zero. A sinusoidal mean is a time-varying μt\mu_t, which already violates a constant-mean WN definition.

Is a deterministic sine wave xt=sin(2πt/12)x_t=\sin(2\pi t/12) white noise? Explain using the definition, not a plot.

EXERCISE 1.2

Write Cov(Pt,Pt1)\mathrm{Cov}(P_t,P_{t-1}) for Pt=Pt1+εtP_t=P_{t-1}+\varepsilon_t with εt\varepsilon_t WN and P0P_0 fixed.

Pt=P0+j=1tεjP_t=P_0+\sum_{j=1}^t\varepsilon_j, so Var(Pt)=tσ2\mathrm{Var}(P_t)=t\sigma^2 and Cov(Pt,Pt1)=(t1)σ2\mathrm{Cov}(P_t,P_{t-1})=(t-1)\sigma^2. Both grow with tt. The pair (Pt,Pt1)(P_t,P_{t-1}) is not second-order stationary. The difference ΔPt=εt\Delta P_t=\varepsilon_t is WN.

Let Pt=Pt1+εtP_t=P_{t-1}+\varepsilon_t with εtWN(0,σ2)\varepsilon_t\sim\mathrm{WN}(0,\sigma^2) and P0=0P_0=0. Compute Var(Pt)\mathrm{Var}(P_t) and Cov(Pt,Pt1)\mathrm{Cov}(P_t,P_{t-1}). What does this say about modeling PtP_t with tools that assume constant variance?

EXERCISE 1.3

Independence implies uncorrelatedness if second moments exist; the converse needs extra structure (e.g. joint Gaussianity).

iid \Rightarrow independent \Rightarrow uncorrelated (given finite variance), so iid noise with mean 00 is WN. Conversely, WN only forces uncorrelatedness. The product Xt=ZtZt1X_t=Z_tZ_{t-1} of Section 02 is one counterexample. The finance counterexample is GARCH (Chapter 06): εt=σtzt\varepsilon_t=\sigma_t z_t has Cov(εt,εth)=0\mathrm{Cov}(\varepsilon_t,\varepsilon_{t-h})=0, so the levels are WN, while εt2\varepsilon_t^2 is strongly autocorrelated because σt2\sigma_t^2 depends on εt12\varepsilon_{t-1}^2. Uncorrelated returns and predictable volatility coexist.

Show that iid(0,σ2)(0,\sigma^2) implies WN(0,σ2)(0,\sigma^2). Give a process that is WN but not iid.


07 · Chapter Summary

ConceptMeaning
Process vs path{Xt}\{X_t\} is random at every tt; data are one realization
Mean functionμt=E[Xt]\mu_t=\mathbb{E}[X_t]
Autocovarianceγ(t,s)=Cov(Xt,Xs)\gamma(t,s)=\mathrm{Cov}(X_t,X_s)
White noisemean 00, finite variance, uncorrelated across lags
iid / Gaussian WNstronger: independence, and normality if specified
Finance defaultmodel rt=ΔlogPtr_t=\Delta\log P_t, not raw PtP_t

Next: Chapter 02 — Stationarity, ACF, and PACF, which turns γ(t,s)\gamma(t,s) into a function of lag alone and makes sample autocorrelations meaningful.