Wold's theorem explained

Yt

can be written as the sum of two time series, one deterministic and one stochastic.

Formally

Yt=\sum

infty
j=0

bj\varepsilont-jt,

where:

Yt

is the time series being considered,

\varepsilont

is an uncorrelated sequence which is the innovation process to the process

Yt

– that is, a white noise process that is input to the linear filter

\{bj\}

.

b

is the possibly infinite vector of moving average weights (coefficients or parameters)

ηt

is a "deterministic" time series, in the sense that it is completely determined as a linear combination of its past values (see e.g. Anderson (1971) Ch. 7, Section 7.6.3. pp. 420-421). It may include "deterministic terms" like sine/cosine waves of

t

, but it is a stochastic process and it is also covariance-stationary, it cannot be an arbitrary deterministic process that violates stationarity.

The moving average coefficients have these properties:

  1. Stable, that is, square summable
2
\sum
j|
<

infty

  1. Causal (i.e. there are no terms with j < 0)
  2. Minimum delay
  3. Constant (

bj

independent of t)
  1. It is conventional to define

b0=1

This theorem can be considered as an existence theorem: any stationary process has this seemingly special representation. Not only is the existence of such a simple linear and exact representation remarkable, but even more so is the special nature of the moving average model. Imagine creating a process that is a moving average but not satisfying these properties 1–4. For example, the coefficients

bj

could define an acausal and model. Nevertheless the theorem assures the existence of a causal that exactly represents this process. How this all works for the case of causality and the minimum delay property is discussed in Scargle (1981), where an extension of the Wold decomposition is discussed.

The usefulness of the Wold Theorem is that it allows the dynamic evolution of a variable

Yt

to be approximated by a linear model. If the innovations

\varepsilont

are independent, then the linear model is the only possible representation relating the observed value of

Yt

to its past evolution. However, when

\varepsilont

is merely an uncorrelated but not independent sequence, then the linear model exists but it is not the only representation of the dynamic dependence of the series. In this latter case, it is possible that the linear model may not be very useful, and there would be a nonlinear model relating the observed value of

Yt

to its past evolution. However, in practical time series analysis, it is often the case that only linear predictors are considered, partly on the grounds of simplicity, in which case the Wold decomposition is directly relevant.

The Wold representation depends on an infinite number of parameters, although in practice they usually decay rapidly. The autoregressive model is an alternative that may have only a few coefficients if the corresponding moving average has many. These two models can be combined into an autoregressive-moving average (ARMA) model, or an autoregressive-integrated-moving average (ARIMA) model if non-stationarity is involved. See and references there; in addition this paper gives an extension of the Wold Theorem that allows more generality for the moving average (not necessarily stable, causal, or minimum delay) accompanied by a sharper characterization of the innovation (identically and independently distributed, not just uncorrelated). This extension allows the possibility of models that are more faithful to physical or astrophysical processes, and in particular can sense ″the arrow of time.″

References