Course guide

4.1 Reading data through time

Chronology, changing patterns and the question behind a plot

4.1.1 Time order changes the question

A time series records a variable in chronological order. A monthly unemployment rate, a quarterly earnings series and a daily exchange rate are different examples of the same data structure. The date belongs to the observation. Rearranging the rows can destroy the information we want to study: whether a high value follows another high value, whether changes repeat each year, or whether a new pattern begins after a particular date.

Write the process as {Xt}\{X_t\} and the observed values as x1,…,xTx_1,\ldots,x_T. A process is a collection of random variables indexed by time; a realised series is one sequence drawn from that collection. Our two main questions are explanation and prediction: what features describe the evolution of the variable, and what can information available now tell us about its future?

First record the frequency, units and definition. Quarterly nominal income in pounds is not quarterly real income; a stock measured at month-end is not a monthly flow. A missing month is not a zero. When observations are equally spaced, a one-period lag has a stable duration. With irregular dates, a lag of one row can mean different elapsed times, so models developed for fixed intervals require care.

Time ordering makes dependence a central possibility, but it does not guarantee it. Independent monthly draws are a time series. Cross-sectional observations can also be dependent through households, schools or markets. Independence must come from a sampling design or a model, rather than from the shape of a spreadsheet.

For forecasting, keep the information set explicit. At date tt, an observation at t+1t+1 is unavailable. A model that uses a future value to predict the past can fit well while failing as a usable forecast. Later chapters will distinguish an explanatory association from a causal effect; chronology alone establishes neither.

4.1.2 Read a plot in layers

Begin with a plot against date, then ask separate questions about the centre, spread and repeated patterns. A trend is a sustained change in level over the window. A linear trend adds roughly the same amount each period; an exponential trend multiplies by roughly the same factor. This distinction matters because equal absolute changes and equal percentage changes answer different economic questions.

Seasonality repeats at a known calendar frequency: four quarters or twelve months, for example. A cycle has rises and falls whose timing need not repeat at a fixed period. A business-cycle description may distinguish expansion, peak, contraction and trough without treating each cycle as an identical sine wave. A structural break changes a model feature, such as its mean, slope or volatility, at a date. A break can be visible after the event without being predictable beforehand.

A rising spread can accompany a rising level. If a series doubles while its typical deviations also double, variability may be proportional to level. That motivates a log scale. It does not show that the underlying uncertainty has disappeared. Equally, a flat-looking graph can conceal dependence or changing distributions. Plot appearance suggests questions; the model and its assumptions supply the answers.

One positive quarterly series viewed on different scales. Predict which transformation removes proportional growth, and which also cancels a repeating quarterly component. All data in this illustration are hypothetical.

A useful descriptive decomposition is Xt=mt+st+UtX_t=m_t+s_t+U_t, where mtm_t represents a trend, sts_t a seasonal component, and UtU_t the remaining component. This is an additive model, not a universal identity with uniquely identified pieces. A multiplicative alternative, Xt=MtStVtX_t=M_tS_tV_t, becomes additive after logging positive factors. The decomposition should reflect the units and the question, rather than follow the plot mechanically.

Questions to bring to economic and historical series

Population and nominal disposable income illustrate why a rising level needs units and an observation window. Earnings per share, including the Johnson & Johnson example, motivate comparing levels with logs. Monthly airline passengers motivate separating growth from recurring seasonal peaks. Housing starts motivate looking for calendar regularity as well as broader cycles; unemployment motivates distinguishing contractions and expansions from fixed-period seasonality.

Exchange-rate regimes, terrorist-incident counts and banking-crisis histories raise an additional question: has the generating or measurement process changed? A visible break does not identify its cause. Financial-return plots motivate asking how much linear predictability remains rather than equating small autocorrelations with complete independence. These are questions attached to the lecture examples, not new historical estimates or causal claims. A return above a chosen benchmark also should not automatically be called an estimated model alpha.

Think first. If every December is high but the December peak rises from year to year, which two features are present?

Answer

Seasonality and trend. Seasonality describes the timing; trend describes the change across years. They can coexist.

4.1.3 Dependence across dates

For random variables with finite, positive variances, correlation standardises covariance:

Corr⁡(X,Y)=Cov⁡(X,Y)Var⁡(X)Var⁡(Y).\operatorname{Corr}(X,Y)=\frac{\operatorname{Cov}(X,Y)}{\sqrt{\operatorname{Var}(X)\operatorname{Var}(Y)}}.

Correlation measures linear association. A value near zero rules out strong linear association in that comparison, but not every form of dependence. The autocorrelation compares a process with itself at different dates: Corr⁡(Xt,Xt−h)\operatorname{Corr}(X_t,X_{t-h}). “Auto” means self; hh is the lag length.

The population autocorrelation concerns the probability model. A sample autocorrelation estimates a feature from one realised sequence. At lag hh, there are only T−hT-h available pairs, so long-lag estimates use fewer comparisons. At lag zero, a variable correlates perfectly with itself if its variance is positive. For a constant series the correlation denominator is zero and the coefficient is undefined.

Different correlogram shapes suggest different questions. Slow decay can accompany persistent dynamics or a nonstationary level. Peaks at lags four, eight and twelve can suggest quarterly seasonality. Small sample correlations may be compatible with white noise, but they do not prove independence or rule out nonlinear predictability. A trend can induce a persuasive correlogram even when the remaining shocks are independent.

Exercise: preserving information

A file contains monthly sales with one missing month. A colleague deletes the date column, sorts sales from lowest to highest, and computes a lag-one correlation. Explain why this does not answer a question about monthly persistence.

Solution
  1. Order. Sorting makes adjacent rows close by construction, rather than adjacent in calendar time.
  2. Spacing. The missing month means even the original adjacent rows need not be one month apart.
  3. Repair. Restore the calendar index and identify missing observations. Define the intended lag in months before forming valid pairs. The resulting association still requires a model for interpretation.

4.2 Lags, differences and growth

Transforming a series while preserving what the units mean

4.2.1 Move through the index carefully

A lag looks backward and a lead looks forward. For quarterly XtX_t, Xt−1X_{t-1} is the previous quarter and Xt−4X_{t-4} the corresponding quarter one year earlier. The lead Xt+1X_{t+1} is the following quarter. These operations shift the index; they do not change the variable’s units.

Define the lag operator LL by LXt=Xt−1LX_t=X_{t-1}. Repeating it gives LhXt=Xt−hL^hX_t=X_{t-h}. This notation makes the structure of transformations visible. The first difference is

ΔXt=(1−L)Xt=Xt−Xt−1.\Delta X_t=(1-L)X_t=X_t-X_{t-1}.

It measures an absolute change. If XtX_t is pounds, its first difference is pounds per observation interval; it is not a percentage.

With TT observations, a first difference provides T−1T-1 values. A four-period difference provides T−4T-4. These losses are part of the definition, not a software malfunction. Never replace an unavailable lag with zero unless zero is an actual observed value justified by the model.

Two superficially similar expressions have different meanings. A quarterly year-on-year, or seasonal, difference is Δ4Xt=Xt−Xt−4=(1−L4)Xt\Delta_4X_t=X_t-X_{t-4}=(1-L^4)X_t. The fourth iterated difference instead applies the first-difference operation four times:

Δ4Xt=Xt−4Xt−1+6Xt−2−4Xt−3+Xt−4.\begin{aligned}\Delta^4X_t={}&X_t-4X_{t-1}+6X_{t-2}\\&-4X_{t-3}+X_{t-4}.\end{aligned}

The first compares matching quarters; the second uses five consecutive observations with binomial weights. Their notation should not be interchanged. For a perfectly repeating quarterly component st=st−4s_t=s_{t-4}, seasonal differencing cancels that component. It may leave a trend or serially correlated shocks.

4.2.2 Growth factors compound

For a positive level series, define the one-period proportional growth rate as gt=Xt/Xt−1−1g_t=X_t/X_{t-1}-1. Then 1+gt1+g_t is the growth factor and Xt=(1+gt)Xt−1X_t=(1+g_t)X_{t-1}. A rate of 0.050.05 means 5%5\%, whereas the factor is 1.051.05. A nonzero denominator is necessary for the ratio; conventional compounded-growth interpretations use positive levels.

Worked question. A hypothetical index starts at 100100, rises by 20%20\%, then falls by 20%20\%. Has it returned to its starting value?

  1. First growth factor. 100(1.20)=120100(1.20)=120.
  2. Second growth factor. 120(0.80)=96120(0.80)=96. The decrease is applied to the new, larger base.
  3. Overall change. 96/100−1=−0.0496/100-1=-0.04, a 4%4\% decline. Adding the two percentages would miss the changing denominator.

To find a constant rate that produces the same endpoint over hh periods, ask which factor compounded hh times equals the observed ratio. This gives the geometric average growth rate:

(1+gˉ)h=XtXt−h,gˉ=(XtXt−h)1/h−1.\begin{aligned}(1+\bar g)^h&=\frac{X_t}{X_{t-h}},\\\bar g&=\left(\frac{X_t}{X_{t-h}}\right)^{1/h}-1.\end{aligned}

Equivalently, 1+gˉ1+\bar g is the geometric mean of the intervening growth factors. In the example, gˉ=0.96−1≈−0.02020\bar g=\sqrt{0.96}-1\approx-0.02020, or about −2.02%-2.02\% per period. The arithmetic average of the two rates is zero; it is not the equivalent compounded rate. Geometric averaging answers an endpoint-compounding question, while arithmetic averaging answers a different question about average one-period rates.

Before playing, predict: an index at 100100 rises by 20%20\% and then falls by 20%.20\%\text{.} Where does it end?The animation’s final frame. Its numbered steps describe how the picture is built.
  1. An index starts at 100.100\text{.}
  2. It rises by 20%:20\%\text{:} 100×1.20=120.100\times1.20=120\text{.} The rise is 20%20\% of 100,100\text{,} so +20.+20\text{.}
  3. It falls by 20%:20\%\text{:} 120×0.80=96.120\times0.80=96\text{.} The fall is 20%20\% of the larger base 120,120\text{,} so −24.-24\text{.} Overall, 96/100−1=−4%.96/100-1=-4\%\text{.}
  4. A steady rate with the same endpoint compounds twice to 0.96:0.96\text{:} gˉ=0.96−1≈−2.02%\bar g=\sqrt{0.96}-1\approx-2.02\% per period, not the simple average of the two rates, 0.0\text{.}

The observation interval matters. If a quarterly series rises by 2%2\% each quarter, its compounded annual growth rate is (1.02)4−1≈8.243%(1.02)^4-1\approx8.243\%. Multiplying by four gives an approximation, 8%8\%, rather than the exact compound result. Conversely, an annual rate should be converted by taking the appropriate root if a constant quarterly equivalent is intended.

4.2.3 Logs connect levels, ratios and differences

For Xt>0X_t>0, let Yt=log⁡XtY_t=\log X_t, using natural logarithms. Equal proportional changes in X become equal absolute changes in Y. If Xt=X0ebtX_t=X_0e^{bt}, then log⁡Xt=log⁡X0+bt\log X_t=\log X_0+bt: an exponential level trend becomes a linear log trend.

The log difference records the log of the growth factor:

rt=Δlog⁡Xt=log⁡(XtXt−1)=log⁡(1+gt).\begin{aligned}r_t&=\Delta\log X_t\\&=\log\left(\frac{X_t}{X_{t-1}}\right)\\&=\log(1+g_t).\end{aligned}

For small growth rates, rt≈gtr_t\approx g_t. The exact inverse is gt=ert−1g_t=e^{r_t}-1. A log change of 0.200.20 therefore means growth of about 22.14%22.14\%, rather than exactly 20%20\%.

Log changes add through time because logarithms turn products into sums. Across hh periods, ∑rj=log⁡(Xt/Xt−h)\sum r_j=\log(X_t/X_{t-h}). Dividing that total by hh gives the average log growth, and exponentiating it gives the geometric average factor. This is the algebra behind the preceding growth calculation.

Logs can stabilise proportional variability, but a log transformation does not generally remove a trend or a stochastic trend. A positive exponential trend becomes linear and still changes its mean with time. Logging zero or negative data is undefined. Adding an arbitrary constant makes the logarithm computable but changes ratios and the economic interpretation; it should not be treated as an innocent repair. A square-root transformation can be useful for some nonnegative series, but suitability must come from the data-generating model.

Exercise: a quarterly index

A hypothetical positive index is 100100 in quarter zero and 121121 in quarter two. Find the total growth, the equivalent constant quarterly rate, and the average quarterly log change.

Solution
  1. Total ratio. 121/100=1.21121/100=1.21; total growth is 21%21\%.
  2. Compound factor. 1.21=1.10\sqrt{1.21}=1.10, so the equivalent quarterly rate is 10%10\%.
  3. Log additivity. Average quarterly log change is log⁡(1.21)/2=log⁡(1.10)≈0.09531\log(1.21)/2=\log(1.10)\approx0.09531. It is approximately, but not exactly, the 0.100.10 growth rate.

Exercise: what a transformation removes

Let Xt=100e0.02t+stX_t=100e^{0.02t+s_t}, with st=st−4s_t=s_{t-4}. Compute the seasonal log difference. Does ordinary first log differencing always remove the seasonality?

Solution
  1. Take logs. log⁡Xt=log⁡100+0.02t+st\log X_t=\log100+0.02t+s_t.
  2. Match quarters. log⁡Xt−log⁡Xt−4=0.08+st−st−4=0.08\log X_t-\log X_{t-4}=0.08+s_t-s_{t-4}=0.08.
  3. Compare adjacent quarters. Δlog⁡Xt=0.02+st−st−1\Delta\log X_t=0.02+s_t-s_{t-1}. The seasonal difference between adjacent quarters need not be zero, so ordinary differencing can leave seasonality.

4.3 Models and stationarity

Separate the realised path from the law generating it

4.3.1 Deterministic and stochastic descriptions

A deterministic sequence is specified by a rule and its parameters. For Xt=β0+β1tX_t=\beta_0+\beta_1t, knowing the two coefficients determines every value. With β0=0\beta_0=0 and β1=1/2\beta_1=1/2, the sequence is 0,0.5,1,1.5,…0,0.5,1,1.5,\ldots. A deterministic seasonal rule such as sin⁡(πt/2)\sin(\pi t/2) repeats every four integer periods. Knowing its phase matters: the calendar position determines where the sequence is in its cycle.

Deterministic does not mean simple or periodic. In continuous time, sin⁡(πt)+sin⁡(2πt)\sin(\pi t)+\sin(\sqrt{2}\pi t) combines incommensurate frequencies and has no common positive period. If sampled only at integer dates, the first sine is zero, so the sampled sequence differs from the continuous curve. Always distinguish a mathematical time domain from the frequency at which observations are collected.

A stochastic model specifies a probability law rather than one unique realised future. It can have a completely explicit formula. For example, Xt=0.7Xt−1+εtX_t=0.7X_{t-1}+\varepsilon_t is a formula whose future values depend on random innovations. “Random” does not mean that the model is unwritable; it means that the rule describes distributions of possible paths.

To combine a deterministic and a random component, write Xt=mt+σtZtX_t=m_t+\sigma_tZ_t, with independent standard-normal ZtZ_t. Then E[Xt]=mtE[X_t]=m_t and Var⁡(Xt)=σt2\operatorname{Var}(X_t)=\sigma_t^2. A changing mtm_t produces a changing mean; a changing σt\sigma_t produces changing variability. The draws can remain independent across dates in both examples. These are sums or scaled components; a convolution is a different mathematical operation and is not a synonym for combining curves.

Worked comparison. Consider three independent-draw models. Model I has Xt∼N(0,1)X_t\sim N(0,1) at every date. Model II changes from N(0,1)N(0,1) to N(5,1)N(5,1) after a fixed break. Model III has Xt∼N(0,t)X_t\sim N(0,t) for t≥1t\geq1. All three have zero cross-date covariance. Model II nevertheless changes its mean, and Model III changes its variance. Absence of serial correlation cannot by itself establish a stable distribution.

4.3.2 What must stay unchanged?

Stationarity allows us to regard different segments of time as governed by the same relevant probabilistic structure. It permits dependence across dates while restricting how that dependence changes with the calendar. Relative positions may matter; absolute date does not.

Strict stationarity. Every finite collection of observations has the same joint distribution after a common time shift: (Xt1,…,Xtk)(X_{t_1},\ldots,X_{t_k}) and (Xt1+a,…,Xtk+a)(X_{t_1+a},\ldots,X_{t_k+a}) have the same distribution whenever those indices are in the process’s domain.

“Every joint distribution” is stronger than a claim about each individual date. It includes how neighbouring values co-vary and how larger collections behave. Identically distributed independent draws are strictly stationary, but dependence is also compatible with strict stationarity.

Weak stationarity. A process has finite second moments, a constant mean, and covariance determined only by the lag:

E[Xt]=μ,Var⁡(Xt)=γ(0)<∞,Cov⁡(Xt,Xt−h)=γ(h).\begin{aligned}E[X_t]&=\mu,\\\operatorname{Var}(X_t)&=\gamma(0)<\infty,\\\operatorname{Cov}(X_t,X_{t-h})&=\gamma(h).\end{aligned}

If γ(0)>0\gamma(0)>0, its autocorrelation is ρ(h)=γ(h)/γ(0)\rho(h)=\gamma(h)/\gamma(0). Variance is the lag-zero covariance, so it is part of the covariance requirement. “Weak” restricts selected moments rather than the entire joint distribution.

Strict stationarity implies weak stationarity when second moments exist. A strictly stationary heavy-tailed process can lack a finite variance. Conversely, weak stationarity need not imply strict stationarity: dates could have different distributions with the same first two moments. For a jointly Gaussian process, the mean vector and covariance matrix determine every joint distribution, so weak stationarity also gives strict stationarity.

A stationary process need not look perfectly flat in one short sample. It can have long runs above its mean. It can also have an oscillating autocovariance pattern: weak stationarity does not prohibit every cycle or seasonal dependence. A deterministic calendar-dependent mean usually violates stationarity; a stationary stochastic process with oscillating dependence is a different matter. This is why the formal moment conditions are more reliable than a visual slogan.

4.3.3 Choose a transformation from a model

There are two different reasons a level can wander. In a deterministic-trend model, Xt=a+bt+UtX_t=a+bt+U_t, subtracting the known trend leaves stationary UtU_t. In a random walk, Xt=Xt−1+εtX_t=X_{t-1}+\varepsilon_t, first differencing leaves εt\varepsilon_t. Fitting a straight line to a random walk does not generally turn its remaining path into a stationary process.

Detrending estimates and removes a deterministic component. Differencing removes the accumulated level in a unit-root model. Seasonal differencing compares matching calendar positions. Logs address positive multiplicative scales. These operations solve different problems and change the object being modelled. A forecast of growth must be accumulated back to a level if the original decision concerns a level.

Even a successful-looking transformation can introduce dependence. If UtU_t is independent white noise, then Vt=Ut−Ut−1V_t=U_t-U_{t-1} shares one shock with Vt−1V_{t-1}. With innovation variance σ2\sigma^2, Var⁡(Vt)=2σ2\operatorname{Var}(V_t)=2\sigma^2, Cov⁡(Vt,Vt−1)=−σ2\operatorname{Cov}(V_t,V_{t-1})=-\sigma^2, and the lag-one correlation is −1/2-1/2. Differencing an already stationary series is therefore not costless.

A moving average smooths a plot by combining neighbouring values, for example (Xt+Xt−1+Xt−2)/3(X_t+X_{t-1}+X_{t-2})/3. Smoothing does not prove stationarity, and overlapping averages create dependence. A centred average also uses future values and cannot be calculated in real time at the series endpoint without additional assumptions.

Think first. Can a log transformation remove the growing variance of a Gaussian random walk that takes negative values?

Answer

No. The log is not even defined at those negative observations. The stationary transformation justified by that model is the first difference.

Exercise: constant moments?

Let ZtZ_t be independent N(0,1)N(0,1). Which of Xt=3+ZtX_t=3+Z_t, Yt=t+ZtY_t=t+Z_t, and Wt=tZtW_t=\sqrt{t}Z_t, for t≥1t\geq1, is weakly stationary?

Solution
  1. X. Mean 33, variance 11, and zero nonzero-lag covariance: weakly stationary, and also strictly stationary.
  2. Y. Mean tt changes with date. Independent shocks do not repair this violation.
  3. W. Mean zero, but variance tt changes with date. A constant mean is only one stationarity condition.

4.4 White noise, walks and autoregression

Four models connected by one recursion

4.4.1 Innovations and white noise

An innovation is the new component arriving at a date. For the models below, assume εt\varepsilon_t are independent and identically distributed, have mean zero and variance σ2>0\sigma^2>0, and are independent of the initial state and all earlier innovations. Gaussian innovations additionally satisfy εt∼N(0,σ2)\varepsilon_t\sim N(0,\sigma^2). Normality is useful for distributional statements, but the basic mean and variance derivations do not require it.

Under these assumptions, the innovation series is independent white noise. A broader moment-based definition of white noise requires only a constant zero mean, finite constant variance and zero covariance at nonzero lags. That weaker definition does not guarantee independence or an unchanging conditional distribution. These notes state when the stronger assumption is being used.

For independent mean-zero innovations, knowing the past leaves E[εt+1∣Ft]=0E[\varepsilon_{t+1}\mid\mathcal F_t]=0, where Ft\mathcal F_t denotes information available by date tt. Thus zero is the conditional-mean forecast. An unpredictable future shock still has uncertainty: its conditional variance is σ2\sigma^2. “Unforecastable” here concerns the mean under the stated information set; it does not mean that probabilities or prediction intervals cannot be described.

White-noise model. Xt=εtX_t=\varepsilon_t. Its mean is zero, its variance is σ2\sigma^2, and its autocorrelation is zero at every nonzero lag. One realised sample will ordinarily have some nonzero estimated autocorrelations.

White noise is a building block. A model can produce a smooth, persistent observed series even when its new shocks are independent. The persistence can come from how the model carries old shocks forward.

4.4.2 A random walk accumulates shocks

Random walk. Starting from a fixed X0=x0X_0=x_0, let Xt=Xt−1+εtX_t=X_{t-1}+\varepsilon_t. There is no restoring coefficient: yesterday’s level carries into today unchanged before the new shock arrives.

Derivation goal. Unroll the recursion to see exactly why the mean stays fixed while uncertainty grows.

  1. Substitution. Replace Xt−1X_{t-1} by Xt−2+εt−1X_{t-2}+\varepsilon_{t-1}, then continue to the initial date: Xt=x0+∑j=1tεj.X_t=x_0+\sum_{j=1}^t\varepsilon_j.
  2. Mean. Linearity and mean-zero shocks give E[Xt]=x0E[X_t]=x_0.
  3. Variance. Independent shocks have zero pairwise covariance, so Var⁡(Xt)=tσ2\operatorname{Var}(X_t)=t\sigma^2.
  4. Conclusion. The process is not weakly stationary: its variance changes with date even though its unconditional mean is constant.

If X0X_0 is random, independent of subsequent innovations, add Var⁡(X0)\operatorname{Var}(X_0) to the variance and replace x0x_0 by E[X0]E[X_0] in the mean. The nonstationarity remains. A constant mean describes an average across possible paths at a date; it does not pull an individual path back toward its starting value.

For t>h≥1t>h\geq1 and a fixed initial value, the two dates share the first t−ht-h shocks. Hence Cov⁡(Xt,Xt−h)=(t−h)σ2\operatorname{Cov}(X_t,X_{t-h})=(t-h)\sigma^2 and

Corr⁡(Xt,Xt−h)=t−ht.\operatorname{Corr}(X_t,X_{t-h})=\sqrt{\frac{t-h}{t}}.

This correlation depends on both date and lag. A random walk has no stationary autocorrelation function of lag alone. A sample correlogram may nevertheless show strong, slowly decaying persistence. That appearance should not be interpreted as the ACF of a stationary process.

At date tt, the conditional-mean forecast is E[Xt+h∣Ft]=XtE[X_{t+h}\mid\mathcal F_t]=X_t. Future innovations have mean zero, so the best squared-error forecast starts from the current level, not from x0x_0. Its forecast-error variance is hσ2h\sigma^2. Neither the constant unconditional mean nor this forecast proves that a realised walk must return to an exact previous value. Return properties depend on the state space and shock law; they are not a consequence of the displayed expectation.

A random walk with drift adds a constant dd: Xt=d+Xt−1+εtX_t=d+X_{t-1}+\varepsilon_t. Unrolling gives Xt=x0+td+∑j=1tεjX_t=x_0+td+\sum_{j=1}^t\varepsilon_j. Its mean is x0+tdx_0+td, variance tσ2t\sigma^2, and forecast Xt+hdX_t+hd. A positive drift gives a rising mean path without guaranteeing that every realised change is positive. First differencing yields ΔXt=d+εt\Delta X_t=d+\varepsilon_t.

4.4.3 Autoregression feeds past values back

An autoregression predicts a variable using its own earlier values. An AR model of order pp, written AR(p), uses pp lags:

Xt=c+ϕ1Xt−1+⋯+ϕpXt−p+εt.\begin{aligned}X_t={}&c+\phi_1X_{t-1}+\cdots\\&+\phi_pX_{t-p}+\varepsilon_t.\end{aligned}

“Order” counts the included lags, not a polynomial trend in calendar time. An AR(2) uses the previous two values. The AR(1) is the simplest feedback model: Xt=c+ϕXt−1+εtX_t=c+\phi X_{t-1}+\varepsilon_t.

Special cases of the AR(1) recursion
RestrictionsResulting modelRole of a shock
c=0, ϕ=0c=0,\ \phi=0Mean-zero white noiseDoes not carry into later levels
c=0, ϕ=1c=0,\ \phi=1Random walkCarries into every later level
c=d, ϕ=1c=d,\ \phi=1Random walk with driftPermanent effect around a drifting mean
∣ϕ∣<1|\phi|<1Stable causal AR(1)Effect decays geometrically

Positive ϕ\phi carries a deviation forward in the same direction; negative ϕ\phi reverses its direction. With ϕ=0.8\phi=0.8, a positive shock leaves contributions 1,0.8,0.64,…1,0.8,0.64,\ldots in successive periods. With ϕ=−0.8\phi=-0.8, they are 1,−0.8,0.64,…1,-0.8,0.64,\ldots. Both decay in magnitude. At ϕ=1\phi=1, their magnitudes never decay.

For an AR(p), checking each coefficient separately is not a stationarity test. The complete lag polynomial 1−ϕ1z−⋯−ϕpzp1-\phi_1z-\cdots-\phi_pz^p determines the stable causal solution: its roots must lie outside the unit circle. We focus on AR(1), where that condition reduces to ∣ϕ∣<1|\phi|<1. “Causal solution” here means generated from present and past innovations; it is a time-series construction, not a claim of a policy’s causal effect.

Exercise: identify the model

Compare Xt=2+Xt−1+εtX_t=2+X_{t-1}+\varepsilon_t and Yt=2+0.5Yt−1+εtY_t=2+0.5Y_{t-1}+\varepsilon_t, with independent shocks of variance 11. Which has a stationary long-run mean, and what is it?

Solution
  1. X. The coefficient equals one, so this is a random walk with drift 22. Starting from x0x_0, its mean is x0+2tx_0+2t, not a constant.
  2. Y. The stable coefficient is 0.50.5. If a stationary mean μ\mu exists, it solves μ=2+0.5μ\mu=2+0.5\mu, hence μ=4\mu=4.
  3. Initialisation. Starting Y from an arbitrary fixed value does not make the whole finite-start process exactly stationary. Its mean converges toward 44; the next chapter states the stationary construction.

4.5 Deriving the AR(1)

Mean, variance, autocorrelation and a forecast with uncertainty

4.5.1 Solve for the stationary moments

Take Xt=c+ϕXt−1+εtX_t=c+\phi X_{t-1}+\varepsilon_t, with the independent, mean-zero innovations specified earlier. Assume ∣ϕ∣<1|\phi|<1. We first calculate the moments a stationary solution must have, then show how to construct that solution. This avoids assuming that a stationary-looking formula automatically makes every starting condition stationary.

  1. Mean recursion. Let mt=E[Xt]m_t=E[X_t]. Linearity gives mt=c+ϕmt−1m_t=c+\phi m_{t-1}.
  2. Stationary restriction. Put mt=mt−1=μm_t=m_{t-1}=\mu. Then (1−ϕ)μ=c(1-\phi)\mu=c, so μ=c1−ϕ.\mu=\frac{c}{1-\phi}.
  3. Centre the process. Set Yt=Xt−μY_t=X_t-\mu. Since c=(1−ϕ)μc=(1-\phi)\mu, the recursion becomes Yt=ϕYt−1+εtY_t=\phi Y_{t-1}+\varepsilon_t.
  4. Variance recursion. The new innovation is independent of the past. Therefore vt=ϕ2vt−1+σ2v_t=\phi^2v_{t-1}+\sigma^2; the covariance cross term is zero.
  5. Stationary restriction. Set vt=vt−1=vv_t=v_{t-1}=v. Then v=σ21−ϕ2.v=\frac{\sigma^2}{1-\phi^2}. A positive innovation variance requires a positive denominator for this stable causal stationary solution.

The intercept is not generally the mean. With c=2c=2 and ϕ=0.5\phi=0.5, the mean is 44. With σ2=1\sigma^2=1, the stationary variance is 1/(1−0.25)=4/31/(1-0.25)=4/3. As ∣ϕ∣|\phi| approaches one from below, old shocks decay slowly and the stationary variance grows. This is accumulated persistence, even though the variance of each new shock stays fixed.

To obtain an exactly stationary causal process, let innovations extend through the indefinite past and define

Xt=μ+∑j=0∞ϕjεt−j.X_t=\mu+\sum_{j=0}^{\infty}\phi^j\varepsilon_{t-j}.

The squared weights sum to 1/(1−ϕ2)1/(1-\phi^2), so the series converges in mean square. Its mean and covariance are date-invariant; with iid innovations this construction is also strictly stationary. A fixed start instead gives a transient:

E[Xt]=μ+ϕt(x0−μ),Var⁡(Xt)=σ2∑j=0t−1ϕ2j.\begin{aligned}E[X_t]&=\mu+\phi^t(x_0-\mu),\\\operatorname{Var}(X_t)&=\sigma^2\sum_{j=0}^{t-1}\phi^{2j}.\end{aligned}

These moments approach the stationary values but need not equal them at early dates. A simulation starting at zero illustrates feedback, not an exactly stationary initial distribution.

At ϕ=1\phi=1, dividing by 1−ϕ1-\phi or 1−ϕ21-\phi^2 is invalid. Use the random-walk derivation. At ϕ=−1\phi=-1, shocks alternate signs without dying away and the finite-start variance also grows. Values outside the stable interval amplify past shocks in the forward recursion. Statements here concern nondegenerate causal models with new shocks independent of the past, rather than alternative constructions involving future innovations.

4.5.2 Derive the autocorrelation

Target. Show that stationary AR(1) persistence at lag hh is the lag coefficient raised to that power. Work with Yt=Xt−μY_t=X_t-\mu, so the mean is zero without changing any covariance.

  1. Take covariance with an earlier value. For h≥1h\geq1, γ(h)=Cov⁡(Yt,Yt−h)=ϕCov⁡(Yt−1,Yt−h)+Cov⁡(εt,Yt−h).\begin{aligned}\gamma(h)&=\operatorname{Cov}(Y_t,Y_{t-h})\\&=\phi\operatorname{Cov}(Y_{t-1},Y_{t-h})\\&\quad+\operatorname{Cov}(\varepsilon_t,Y_{t-h}).\end{aligned}
  2. Use the innovation assumption. The last covariance is zero because Yt−hY_{t-h} depends on earlier innovations.
  3. Use stationarity. The remaining covariance has lag h−1h-1. Hence γ(h)=ϕγ(h−1)\gamma(h)=\phi\gamma(h-1).
  4. Iterate. γ(h)=ϕhγ(0)\gamma(h)=\phi^h\gamma(0). Dividing by the positive variance gives ρ(h)=ϕh(h≥0).\rho(h)=\phi^h\quad(h\geq0).

For negative lags, covariance symmetry gives ρ(h)=ϕ∣h∣\rho(h)=\phi^{|h|}. With positive ϕ\phi, the ACF decays without changing sign. With negative ϕ\phi, the odd lags are negative and the even lags positive. The envelope decays at the same rate for 0.80.8 and −0.8-0.8. At lag one, ρ(1)=ϕ\rho(1)=\phi, a particularly useful interpretation of the AR(1) slope.

Exact AR(1) autocorrelations: positive and negative persistence
1.01.0
−1.0-1.0
00
1212
Lag
Exact population autocorrelations for ϕ=0.8\phi=0.8 (solid) and ϕ=−0.8\phi=-0.8 (dashed), with lag zero included. These curves are formulas, not estimated sample ACFs.

A sample ACF will fluctuate around this shape and can cross zero even when the population ACF is positive. Conversely, seeing a gradually declining sample ACF does not prove that the data follow an AR(1). A trend, a more complex autoregression or a change in regime may produce similar appearances. Use the theoretical shape as a diagnostic comparison, not an automatic model-selection rule.

4.5.3 Forecast the centre and quantify the uncertainty

Given information through date tt, current XtX_t is known but future innovations are not. Substitution over hh future periods gives

Xt+h−μ=ϕh(Xt−μ)+∑j=0h−1ϕjεt+h−j.\begin{aligned}X_{t+h}-\mu={}&\phi^h(X_t-\mu)\\&+\sum_{j=0}^{h-1}\phi^j\varepsilon_{t+h-j}.\end{aligned}
  1. Conditional mean. Each future innovation has conditional mean zero. Thus X^t+h∣t=μ+ϕh(Xt−μ).\widehat X_{t+h\mid t}=\mu+\phi^h(X_t-\mu).
  2. Forecast error. Subtract the forecast. The error is exactly the weighted sum of future innovations.
  3. Error variance. Independence removes cross terms: Vh=σ2∑j=0h−1ϕ2j=σ21−ϕ2h1−ϕ2.\begin{aligned}V_h&=\sigma^2\sum_{j=0}^{h-1}\phi^{2j}\\&=\sigma^2\frac{1-\phi^{2h}}{1-\phi^2}.\end{aligned}
  4. Interpretation. The forecast approaches μ\mu, while its error variance approaches the stationary variance. The centre gets less dependent on today; uncertainty about a particular future observation remains.

Worked forecast. Suppose μ=10\mu=10, ϕ=0.8\phi=0.8, σ2=1\sigma^2=1, and Xt=15X_t=15. One-step and two-step forecasts are 10+0.8(5)=1410+0.8(5)=14 and 10+0.82(5)=13.210+0.8^2(5)=13.2. The two-step error variance is 1+0.82=1.641+0.8^2=1.64, so its standard deviation is about 1.2811.281.

With known parameters and Gaussian innovations, the two-step predictive distribution is normal. Its central 95%95\% interval is approximately 13.2±1.961.6413.2\pm1.96\sqrt{1.64}, or [10.69,15.71][10.69,15.71]. The declining expected deviation does not imply that the realised next value must decline. Parameter estimation and model uncertainty would add further uncertainty to an applied forecast.

Before playing, predict: the series stands at 15,15\text{,} above its mean 10.10\text{.} Must the next value be lower? And does the forecast’s uncertainty keep growing?The animation’s final frame. Its numbered steps describe how the picture is built.
  1. An AR(1) series with mean μ=10\mu=10 and ϕ=0.8\phi=0.8 stands at Xt=15,X_t=15\text{,} five above its mean.
  2. The forecast returns towards the mean: X^t+h∣t=10+0.8h(5),\widehat X_{t+h\mid t}=10+0.8^h(5)\text{,} so 14,14\text{,} 13.2,13.2\text{,} 12.5612.56 and so on. Each step keeps 0.80.8 of the expected deviation.
  3. The 95%95\% band widens with the horizon: V2=1+0.82=1.64V_2=1+0.8^2=1.64 gives 13.2±1.961.64=[10.69,15.71].13.2\pm1.96\sqrt{1.64}=[10.69,15.71]\text{.} It levels off at the stationary variance 1/(1−0.82)≈2.78.1/(1-0.8^2)\approx2.78\text{.}
  4. Three simulated futures: one rises at the next step. The expected deviation shrinks, but a realised value can still move away from the mean.
Change the feedback coefficient while holding the innovations fixed. Compare the finite-start path, the exact stationary ACF where defined, and the conditional forecast. The shared shocks isolate the effect of the coefficient.

Exercise: alternating forecasts

A stationary Gaussian AR(1) has μ=20\mu=20, ϕ=−0.5\phi=-0.5, innovation variance 44, and current value 2424. Find the next two conditional means and the two-step forecast-error variance.

Solution
  1. Current deviation. 24−20=424-20=4.
  2. One step. 20−0.5(4)=1820-0.5(4)=18; the expected deviation changes sign.
  3. Two steps. 20+(−0.5)2(4)=2120+(-0.5)^2(4)=21; its magnitude has halved again.
  4. Error variance. V2=4[1+(−0.5)2]=5V_2=4[1+(-0.5)^2]=5. Negative persistence reverses the expected deviation but does not subtract variance.

Exercise: is the intercept the mean?

For Xt=3+0.6Xt−1+εtX_t=3+0.6X_{t-1}+\varepsilon_t, with innovation variance 22, calculate the stationary mean, variance and lag-two correlation.

Solution
  1. Mean. μ=3/(1−0.6)=7.5\mu=3/(1-0.6)=7.5.
  2. Variance. v=2/(1−0.36)=3.125v=2/(1-0.36)=3.125.
  3. ACF. ρ(2)=0.62=0.36\rho(2)=0.6^2=0.36. These describe the stationary solution, not every arbitrary finite-start initialisation.

4.6 Mean reversion and repeated measurements

Conditional expectations, selection and the limits of before–after comparisons

4.6.1 A restoring forecast is not a constant unconditional mean

In a stable AR(1), the conditional expected deviation after hh periods is ϕh(Xt−μ)\phi^h(X_t-\mu). When ∣ϕ∣<1|\phi|<1, it tends to zero. This is mean reversion in the model’s conditional expectation. A random walk has a constant unconditional mean when started at a fixed value, yet its conditional forecast stays at its current level. It therefore lacks this restoring forecast.

For 0<ϕ<10<\phi<1, rewrite the one-step forecast as (1−ϕ)μ+ϕXt(1-\phi)\mu+\phi X_t. It is a weighted average of the population mean and today’s value. If today is above the mean, the next expected value lies between them. With negative ϕ\phi, the next expected deviation crosses the mean; reversion occurs through damped alternation, rather than a smooth one-sided approach.

The conditional expected change makes the direction explicit:

E[Xt+1−Xt∣Ft]=(ϕ−1)(Xt−μ).\begin{aligned}&E[X_{t+1}-X_t\mid\mathcal F_t]\\&\qquad=(\phi-1)(X_t-\mu).\end{aligned}

For ϕ<1\phi<1, a positive current deviation gives a negative expected change. The actual change also contains εt+1\varepsilon_{t+1}, so it may have the opposite sign. Mean reversion is not a promise about the next observation or a guarantee of hitting the mean at a finite date.

For positive persistence, a useful descriptive measure is the half-life of an expected deviation. Solve ϕh1/2=1/2\phi^{h_{1/2}}=1/2, giving h1/2=log⁡(1/2)/log⁡ϕh_{1/2}=\log(1/2)/\log\phi. With ϕ=0.8\phi=0.8, it is about 3.113.11 periods. This continuous-valued summary falls between integer observation dates; after four periods the expected deviation is below half its initial size. For negative persistence, apply the same calculation to ∣ϕ∣|\phi| to describe the envelope.

Think first. A path wanders far above zero. Is a sample average near zero enough to predict a downward change?

Answer

No. That forecast requires an identified restoring model, not simply a chosen baseline or a historical average.

4.6.2 Extreme first measurements contain unusual noise

Regression to the mean also arises in repeated measurements. A high first score can reflect a high underlying ability and unusually favourable measurement noise. Selecting observations because the first score was extreme selects some favourable noise too. On repetition, the new noise need not repeat. This explanation concerns selection and conditional distributions, rather than an intervention.

Consider a 100100-item true/false test on which every answer is an independent fair guess. The score S1S_1 has a binomial distribution with mean 5050 and variance 2525. If a second test consists of new independent guesses, S2S_2 is independent of S1S_1. Select the top-scoring tenth on the first test: their expected second-test mean is still 5050. The selected first mean is high by design, but their guessing probabilities did not improve or deteriorate.

At the other extreme, if an identical measurement has no new noise and underlying performance is unchanged, the second score equals the first. There is no regression from repetition alone. Many measurements lie between these extremes: persistent differences plus fresh variation.

A hypothetical Gaussian measurement model makes the middle case exact:

S1=μ+A+U1,S2=μ+A+U2.\begin{aligned}S_1&=\mu+A+U_1,\\S_2&=\mu+A+U_2.\end{aligned}

The persistent component AA and the two noise terms are mutually independent, mean zero and normal. Let Var⁡(A)=τ2\operatorname{Var}(A)=\tau^2 and Var⁡(Ui)=ω2\operatorname{Var}(U_i)=\omega^2. Both scores have variance τ2+ω2\tau^2+\omega^2, their covariance is τ2\tau^2, and their correlation is r=τ2/(τ2+ω2)r=\tau^2/(\tau^2+\omega^2). Joint normality gives

E[S2∣S1=s]=μ+r(s−μ).E[S_2\mid S_1=s]=\mu+r(s-\mu).

This is the same weighted-average form as the positive-persistence AR(1), but its mechanism is a shared underlying component measured twice. For non-Gaussian measurements, covariance alone gives a best linear predictor; it does not generally establish this exact conditional expectation.

Change the share of variability that persists across measurements. The display is an exact conditional expectation in a stated Gaussian model, not a simulated treatment effect.

The historical term is associated with Francis Galton’s 1886 study of hereditary stature. The same statistical caution applies to an intergenerational height regression. An expected child measurement closer to the population mean than an extreme parent measurement can follow from an imperfect positive correlation. It does not mean every child is closer, or that a tall parent’s height itself causes a shrinkage mechanism. Such a regression requires its population, measurement scale and distributional assumptions to be stated; the hypothetical measurement model above is not a re-estimation of Galton’s data.

4.6.3 Improvement after selection need not be an intervention effect

Suppose a school selects the lowest first-test scorers for tutoring, or a road programme selects sites after unusually many accidents. A later improvement may combine a treatment effect, regression to the mean, a common time trend and ordinary noise. A before–after comparison cannot separate those contributions simply because the programme occurred between measurements.

Likewise, praise may be given after an unusually good performance and criticism after an unusually bad one. Subsequent movement toward usual performance can make criticism appear effective and praise ineffective even in a model where neither changes performance. This is a possible statistical explanation, not evidence that any particular reward or sanction has no effect.

Worked question. In the Gaussian measurement model, let μ=50\mu=50 and r=0.6r=0.6. People with first score 3030 receive a programme that, for this exercise, has no effect. Their predicted next score is 50+0.6(30−50)=3850+0.6(30-50)=38. An expected improvement of eight points occurs before any programme effect is added. Comparing the later score only with 3030 would wrongly assign that entire improvement to the programme.

Before playing, predict: people who scored 30,30\text{,} well below the mean 50,50\text{,} are retested with no help at all. What should their average retest score be?The animation’s final frame. Its numbered steps describe how the picture is built.
  1. Each score is 5050 plus a lasting part AA (variance 6060) plus fresh noise UU (variance 4040). On the dashed line, the retest would equal the first score.
  2. Select people who first scored 30.30\text{.} Their retest scores centre on E[S2∣S1=30]=50+0.6(30−50)=38:E[S_2\mid S_1=30]=50+0.6(30-50)=38\text{:} a gain of 88 with no programme at all.
  3. People who first scored 8080 retest around 68,68\text{,} twelve lower. The conditional-mean line has slope r=60/(60+40)=0.6,r=60/(60+40)=0.6\text{,} not 1.1\text{.}
  4. Extreme first scores carry unusual noise, and the retest draws fresh noise. A before–after gain after selecting low scorers is not, by itself, a programme effect.

A credible treatment comparison must ask what the same selection process would produce without treatment. Random allocation among eligible participants can create comparable treatment and control groups; a suitable design can then estimate their difference. Selecting controls using a different baseline criterion can reintroduce the problem. Topic 5 develops the counterfactual question in detail.

Exercise: expectation is not an outcome

A stable AR(1) has μ=0\mu=0, ϕ=0.8\phi=0.8 and current value 55. Someone says, “Mean reversion means tomorrow must be below five.” Identify the correct prediction and the missing source of uncertainty.

Solution
  1. Conditional mean. Tomorrow’s forecast is 0.8(5)=40.8(5)=4.
  2. Realised value. Xt+1=4+εt+1X_{t+1}=4+\varepsilon_{t+1}. If the innovation exceeds 11, tomorrow is above five.
  3. Interpretation. The expected change is −1-1; it is not a restriction on every realised change.

Exercise: repeated noisy measurements

In the Gaussian model, τ2=60\tau^2=60, ω2=40\omega^2=40, and μ=50\mu=50. Find the expected retest score after a first score of 8080. Can that expectation be called the effect of praise?

Solution
  1. Correlation. r=60/(60+40)=0.6r=60/(60+40)=0.6.
  2. Conditional mean. 50+0.6(80−50)=6850+0.6(80-50)=68.
  3. Causal question. No praise variable or intervention is in this model. The expected drop of twelve points follows from conditioning on an extreme noisy measurement. A praise effect requires a separate comparison and assumptions.

4.7 Spurious correlations through time

Why impressive alignment can survive without a relationship

4.7.2 Independent walks can have large sample correlations

Consider two fixed-start random walks:

Xt=Xt−1+εt,Yt=Yt−1+ηt.\begin{aligned}X_t&=X_{t-1}+\varepsilon_t,\\Y_t&=Y_{t-1}+\eta_t.\end{aligned}

Both start at zero. The two innovation sequences are independent of each other, with independent N(0,1)N(0,1) draws within each sequence. Therefore, at any specified dates s,ts,t, XsX_s and YtY_t are independent and have zero covariance. Yet the correlation calculated across the paired dates of one realised sample can be large.

The two statements concern different objects. Independence concerns the distribution across possible generated paths. A sample correlation is a statistic of one pair of realised paths after subtracting each path’s own sample average. Successive values within each walk share accumulated shocks, so the TT date pairs are not TT independent pieces of information.

Imagine that one early positive shock lifts X for many subsequent dates. An unrelated early positive shock may do the same for Y. The paths then spend long stretches together above their sample averages. Opposite directions can create a large negative coefficient. There is no cross-series mechanism in the model; persistent within-series structure makes apparent alignment possible.

A fixed pair and a prespecified ensemble of independent Gaussian random walks. Compare levels with changes using the same innovations. The seeds and sample length are shown; no pair is chosen because its correlation is unusually high.

Increasing sample length does not justify treating nonstationary levels as independent observations. Their correlation statistic can remain widely dispersed across independent pairs. Its distribution is not generally uniform, and the absolute value cannot lie on a negative interval. The ensemble reports the actual fraction exceeding a chosen magnitude in this specified simulation; it is not a universal probability for all independent time series. The phenomenon is analysed in Ernst, Shepp and Wyner’s study of independent Wiener processes.

First differences are exactly the independent innovations in this model. Their sample correlation can still differ from zero by ordinary sampling variation, but it now estimates a stable zero-correlation relationship across iid pairs. This is a model-based reason to transform, rather than a rule to keep transforming until a preferred coefficient appears.

4.7.3 Carry the question through the analysis

Start with definitions and a timeline. Plot each series, record changes in measurement, and identify whether levels, growth rates or deviations from a stated trend answer the question. Then ask whether a constant-mean, constant-covariance model is plausible over the chosen window. Check a proposed model’s residuals and forecast performance using observations that were not used to choose the specification.

Differencing is not a universal solution. It changes the estimand and may remove a substantively meaningful long-run relation. Some nonstationary series have a stationary combination, a possibility called cointegration; establishing that relation requires additional theory and analysis. Nor does stationary differencing solve omitted variables, reverse causation or a selected-search problem. It repairs a particular stochastic feature when the model justifies it.

Ordinary iid correlation tests and regression standard errors are generally inappropriate for the levels of independent random walks. A small reported p-value from such a calculation is not reassuring when its reference distribution is wrong. Even stationary dependent data often require inference that accounts for serial dependence. Choosing an appropriate method comes after specifying the model and target, rather than after seeing a desired result.

A forecast comparison likewise requires chronological discipline. Fit using earlier dates, predict later dates, and compare against an appropriate baseline such as the latest value for a random walk. Repeatedly changing a model after inspecting the same held-out period consumes that period’s independence as a check. Preserve a final evaluation window or use a predeclared rolling procedure.

Exercise: interpreting a correlation of 0.71

A realised pair of independently generated random walks has a sample levels correlation of 0.710.71. A researcher concludes that the generator must have linked the two innovation sequences. Explain why the conclusion does not follow.

Solution
  1. Population construction. Independent innovation sequences generate independent processes, regardless of one realised statistic.
  2. Within-series dependence. Each level accumulates shocks. Date pairs are serially dependent, so the iid intuition that many observations force the sample coefficient near zero does not apply to these nonstationary levels.
  3. Diagnostic comparison. Under the stated model, differences recover independent innovation pairs. Inspect them and the construction, while recognising that their sample coefficient also need not be exactly zero.

Exercise: a common deterministic trend

Let Xt=t+εtX_t=t+\varepsilon_t and Yt=2t+ηtY_t=2t+\eta_t, where the two noise sequences are independent. Why can the levels correlate strongly, and what remains after subtracting the known trends?

Solution
  1. Time component. Both levels move systematically with the index t, so a scatter plot largely compares early small values with late large values.
  2. Known detrending. Xt−t=εtX_t-t=\varepsilon_t and Yt−2t=ηtY_t-2t=\eta_t, independent residuals in this hypothetical model.
  3. Interpretation. The levels association does not establish that X causes Y. If the trends were estimated rather than known, their estimation and residual properties would also need checking.
Sources and scope of the time-series notes

Based on Ian Crawford’s seven lectures, Time Series Data, Basic Operations, Deterministic & Stochastic Time Series, Stationarity, Some Time Series Models, Mean Reversion and Spurious Correlations. The prose, intermediate derivations, hypothetical examples and interactive controls are newly written. Historical graphs are not presented as newly reconstructed data. The simulations specify their models and seeds; numerical illustrations are not empirical estimates. Additional mathematical context on dispersed random-walk correlations is linked above.