Eirik Myrvoll-Nilsen

Efficient Bayesian analysis of long-memory processes with applications in climate.

Summary

Long-memory processes are stochastic processes where correlations decay slowly over time. Unlike short-memory models such as autoregressive (AR) processes, long memory processes retain statistical dependence across long time horizons. Long memory properties have been observed in many environmental and geophysical time series, including global mean surface temperature records. However, Bayesian inference for long-memory processes is computationally expensive The main aim of my PhD thesis was to develop an efficient approximation of long-memory processes that allows for fast Bayesian inference, and to use this methodology to analyze global mean surface temperature records.

1. Introduction

Long-range dependence (LRD) or long memory is a property relating to the rate of decay of statistical dependence of two observations as the distance between them increases.A common formulation for long-memory behavior is given by a hyperbolic (as opposed to an exponential) decay of the autocovariance function.

Cov(Xt,Xt+k)∼k2Hβˆ’2.\mathrm{Cov}(X_t, X_{t+k}) \sim k^{2H - 2} .

Here, HH measures the degree of long-range dependence and is commonly referred to as the Hurst exponent. The exponent is named after H.E. Hurst, who, while studying the storage requirements of reservoirs on the Nile River, observed that the rescaled range statistic of hydrological records followed a power-law (Hurst, 1951), which could not be explained using contemporary short memory models. Hurst's results lead to increased interest in the topic, and both hydrologists and mathematicians tried to find theoretical explanations of the so-called Hurst phenomenon.

A major breakthrough came with the introduction of fractional Brownian motion and its increment process, fractional Gaussian noise (fGn), by Mandelbrot and van Ness (1968)This is a process with an autocovariance function that decays hyperbolically

Ξ³H(k)=12((k+1)2Hβˆ’2k2H+(kβˆ’1)2H).\gamma_H(k) = \frac{1}{2} \left( (k+1)^{2H} - 2k^{2H} + (k-1)^{2H} \right).

The fractional Gaussian noise has since become a widely used model for long-memory behaviour, with applications in fields such as hydrology, dendrochronologyn, finance, among others. For my thesis I focused on applications in climate science, specifically on global mean surface temperature records, where long memory has been observed. (CITECITECITE)However, long memory processes are difficult to work with due to

2. Efficient Bayesian inference

It can be shown (Theorem XXX, Rue and Held, 2005) that if two variables xix_i and xjx_j, in a Gaussian random field x\bm x, are conditionally independent given the other variables in the field, xβˆ’ij\bm{x}_{-ij}, the corresponding term in the precision matrix is zero, i.e. Qij=0Q_{ij}=0. Thus, if a x\bm x has a high degree of conditional independence we say that it is a Gaussian Markov random field (GMRF) and the precision matrix (inverse covariance matrix) will then be sparse. For example, since each node of an AR(1) process only depends on its immediate predecessor it is a GMRF with a tridiagonal precision matrix.

Conditional dependence structure for an AR(1) process. Each node only depends on its immediate predecessor. This Markov property ensures a sparse precision matrix which allows for the use of computationally efficient algorithms.
Conditional dependence structure for an AR(1) process. Each node only depends on its immediate predecessor. This Markov property ensures a sparse precision matrix which allows for the use of computationally efficient algorithms.

The sparse precision matrix associated with the Markov property allows for many efficient algorithms for key operations to be utilized. This includes computing the log-likelihood (Rue, 2001), performing Cholesky factorization and producing samples. This is particularly important for Bayesian inference, where the the posterior distributions are typically evaluated using time-consuming sampling-based methods such as Markov chain Monte Carlo (MCMC). The Markov property allows for the use of more efficient algorithms such as integrated nested Laplace approximations (INLA, Rue et al., 2009), which utilizes the sparse structure of the precision matrix to compute the posterior marginal distributions numerically.

Unlike Markov processes like the AR(1), long-memory processes exhibit persistent correlations over extended time periods, where each variable is conditionally dependent on all other variables. This means that the precision matrix is dense, and key inference algorithms have a computational cost that scales cubically with the number of observations, making them impractical for large datasets. In simple cases it is possible to exploit the Toeplitz structure of the covariance matrix to achieve O(n2)\mathcal{O}(n^2) cost, but in many situations, such as when we have inhomogeneous variance, the Toeplitz structure breaks and the cost increases to O(n3)\mathcal{O}(n^3). This motivates the need for an approximate model that can capture the long range dependence of the fGn process while retaining the Markov property, allowing for efficient inference algorithms to be utilized.

Conditional dependence structure for an fGn process. All nodes have a direct dependence with all other nodes. This makes inference, and many important matrix operations, computationally expensive.
Conditional dependence structure for an fGn process. All nodes have a direct dependence with all other nodes. This makes inference, and many important matrix operations, computationally expensive.

Granger (1980) showed that if the lag-one autocorrelation parameter Ο•\phi of an AR(1) process is sampled from a beta distribution the aggregation of AR(1) processes would exhibit long-range dependence according to a fractionally integrated process. It should therefore be possible to express an fGn process through a mixture of short memory processes, which would grant the Markov property and possibly reducing computational cost.

Conditional dependence structure for an approximate fGn process, expressed as a mixture of four AR(1) processes. The dependency between different nodes of the fGn process (orange) is expressed only through the individual AR(1) processes (blue). This makes the approximate model inherit the Markov property, allowing for efficient inference.
Conditional dependence structure for an approximate fGn process, expressed as a mixture of four AR(1) processes. The dependency between different nodes of the fGn process (orange) is expressed only through the individual AR(1) processes (blue). This makes the approximate model inherit the Markov property, allowing for efficient inference.

Unfortunately, as pointed out by Haldrup and ValdΓ©s (2017), the number of AR(1) processes (with Ο•\phi drawn from a beta distribution) required to exhibit long-range dependence is so large that any gains in the Markov property would be lost to the increase in variables associated with the AR(1) processes. Making a sampling-based approach impractical for inference.

Sparsity pattern of the precision matrix of (a) an AR(1) process, (b) an fGn process and (c) an approximate fGn as a mixture of 4 AR(1) processes. In (d), the AR(1) mixture process has been reordered such that the precision matrix becomes a band matrix.
Sparsity pattern of the precision matrix of (a) an AR(1) process, (b) an fGn process and (c) an approximate fGn as a mixture of 4 AR(1) processes. In (d), the AR(1) mixture process has been reordered such that the precision matrix becomes a band matrix.

3. AR(1) mixture approximation

In SΓΈrbye et al. (2019) we propose a numerical approach to approximating long-range dependence by aggregating AR(1) process. Specifically, we approximate the fGn process z\bm z by:

z~=βˆ‘i=1mwixi+Ο„\tilde{\boldsymbol{z}} = \sum_{i=1}^{m} \sqrt{w_i}\boldsymbol{x}_i + \tau

where xi\bm x_i denote independent AR(1) processes with unit variance and lag-one correlation Ο•i\phi_i. To avoid a singular precision matrix for the joint GMRF (z~,x1,...,xm)(\tilde{\bm{z}},\bm x_1,...,\bm x_m) we add a small noise term Ο„βˆΌN(0,exp⁑(βˆ’15))\tau\sim \mathcal{N}(0,\exp(-15)). Instead of drawing the lag-one parameters from a random distribution we instead used numerical optimization to find the weights w\bm w and lag-one parameters Ο•\bm \phi which results in the autocorrelation function (acf), Ξ³z~\gamma_{\tilde{\bm z}}, which (up to a selected lag kmaxk_{\text{max}}) best approximates the target acf, Ξ³H\gamma_H, of an fGn with some Hurst exponent HH,

Ξ³z~(k)=βˆ‘i=1mwiΟ•ik.\gamma_{\tilde{\bm z}}(k) = \sum_{i=1}^m w_i \phi_i^k.

Formally, the optimization problem can be expressed as:

(w,Ο•)H=arg⁑min⁑w,Ο•β€…β€Šβˆ‘k=1kmax1k(Ξ³z~(k)βˆ’Ξ³H(k))2(\boldsymbol{w},\boldsymbol{\phi})_H = \underset{\boldsymbol{w},\boldsymbol{\phi}}{\arg\min} \; \sum_{k=1}^{k_\text{max}} \frac{1}{k} \left(\gamma_{\tilde{\boldsymbol{z}}}(k)-\gamma_{H}(k) \right)^2

and is repeated for all HH in a grid covering the persistent range H∈(0.5,1)H \in (0.5, 1). The weighting term 1/k1/k is used to give more importance to the fit of the acf at small lags, which improves estimation accuracy. The optimization yields a mapping from HH to a corresponding set of weights w\bm w and lag-one autocorrelation parameters Ο•\bm \phi, which in turn gives us an approximate fGn process expressed as a mixture of mm AR(1) processes. We find that only using m=4m=4 AR(1) processes in the aggregation provides excellent approximation of the autocorrelation function. We also find good estimation accuracy even for time series exceeding kmax=1000k_{\text{max}}=1000. See SΓΈrbye et al. (2019) or Myrvoll-Nilsen (2020) for more details.

Panel (c) shows the autocorrelation function of an approximate fGn process, using 4 AR(1) processes, against the correlation function of a target fGn process with H = 0.8. The mapping from each H in the persistent range of (0.5, 1) to the corresponding weights and lag-one autocorrelation parameters are shown in panels (b) and (c), respectively.
Panel (c) shows the autocorrelation function of an approximate fGn process, using 4 AR(1) processes, against the correlation function of a target fGn process with H = 0.8. The mapping from each H in the persistent range of (0.5, 1) to the corresponding weights and lag-one autocorrelation parameters are shown in panels (b) and (c), respectively.

To fully exploit the computational advantages of a GMRF approximation of an fGn we formulate a latent Gaussian model, and perform full Bayesian inference using integrated nested Laplace approximations (INLA, Rue et al., 2009). Being able to incorporate the model into the R-INLA framework allows us to easily add other model components such as linear or seasonal trends. The model has since been incorporated into R-INLA as a standard model.The approximate fGn model laid the foundation for my PhD thesis, and was subsequently applied to a number of real-world problems in climate science.

4. Incorporating radiative forcing

Reliable quantification of the global mean surface temperature (GMST) response to radiative forcing is essential for assessing the risk of dangerous anthropogenic climate change. For time scales ranging from months to centuries this response can be expressed as scale-invariant (Rypdal and Rypdal, 2016; Rybski et al., 2006; Lovejoy and Schertzer, 2013; Huybers and Curry, 2006; Franzke, 2010; Fredriksen and Rypdal, 2016), implying long memory properties.

To understand how

dΞ”Qdt=βˆ’Ξ»Ξ”T+F\frac{d\Delta Q}{dt} = -\lambda \Delta T + F

where Ξ”Q=CΞ”T\Delta Q = C\Delta T. The forcing can be decomposed into a known component FknownF_{\text{known}}, and an unknown, stochastic component dB(t)dB(t). Solving the energy balance model yields solution:

Ξ”T(t)=\Delta T(t) =

Where Ξ”Tknown\Delta T_{\text{known}} is the GMST reponse to the known forcing component and Ξ΅\bm \varepsilon is an Ornstein-Uhlenbeck process. When discretized, the stochastic component results in an AR(1) process. This model is, however, not consistent with observations (Rypdal and Rypdal, 2014) due to the slow climate response associated with the energy exchange with the deep ocean. This simple energy balance model can be extended to an mm-box model where heat is exchanged between mm 'boxes', representing different layers of the deep ocean. Mathematically, the mm-box model can be express as

CdΞ”T(t)dt=KΞ”T(t)+F(t).C\frac{d\Delta T(t)}{dt} = \bm K \Delta T(t) + F(t) .

Here, dawdawdawdawdawdawdAs the number of boxes increase towards infinity, gg can be expressed as a scale invariant response function (Fredriksen and Rypdal, 2017)

g(t)=tHβˆ’3/2,g(t) = t^{H-3/2},

which means that the response to the stochastic component can be expressed as a fractional Gaussian noise process with Hurst exponent HH.

Ξ”T=ΞΌ(H,F0,Οƒf)+Ξ΅(H,Οƒ).\Delta \bm T = \bm \mu(H,F_0,\sigma_f) + \bm \varepsilon(H,\sigma) .

Since none of the default R-INLA models support this specific formulation we need to construct the latent model component using the custom modeling framework of R-INLA called rgeneric. To make the temperature response model easily accessible to other researchers we have developed a user-friendly R-package called INLA.climate, which takes care of the technical implementation of the model and allows users to easily fit the model to their data using R-INLA. This package is available at my GitHub repository: INLA.climate. A description and tutorial of this package can be found in Appendix A in my PhD thesis (Myrvoll-Nilsen, 2020). A demonstration and short description is also available under the 'Software' section of this website.

5. Climate applications

There are several benefits of having the model specified through the R-INLA framework. For example, any missing values in the GMST will be imputed automatically using the posterior predictive distribution (but the known forcing has to be provided as input for all points). This also means that we can very easily use the model for prediction. In Myrvoll-Nilsen et al. (2020) we predict the GMST under the four Representation Concentration Pathways (RCP) provided by the Coupled Model Intercomparison Project (CMIP) for the period 2006-2100, and find that the model provides good predictive performance even for long-term predictions up to 100 years into the future.

Panel (a) shows the Hansen Greenhouse Gas forcing extended with the four RCP scenarios. Panel (b) shows the HadCRUT global mean surface temperature with predicted posterior marginal mean and 95% credible intervals for each RCP scenario.
Panel (a) shows the Hansen Greenhouse Gas forcing extended with the four RCP scenarios. Panel (b) shows the HadCRUT global mean surface temperature with predicted posterior marginal mean and 95% credible intervals for each RCP scenario.

In other applications we use the model to estimate both the transient climate sensitivity (Myrvoll-Nilsen et al., 2020) and the equilibrium climate sensitivity (Rypdal et al., 2018), which are key metrics for understanding the risk of dangerous anthropogenic climate change. In Myrvoll-Nilsen et al. (2019) we exploit the reduced computational cost in order to fit the model to all local temperature records in the spatio-tepmoral dataset, GISS Surface Temperature Analysis version 4 (GISTEMP v) (GISTEMP Team, 2018; Lenssen et al., 2019).

Image taken from Myrvoll-Nilsen et al. (2019). The posterior marginal mean estimate of the Hurst exponent obtained from fitting an fGn model using global radiative forcing to local time series data from the GISTEMP v4 spatio-temporal temperature dataset, for the years 1900–2015.
Image taken from Myrvoll-Nilsen et al. (2019). The posterior marginal mean estimate of the Hurst exponent obtained from fitting an fGn model using global radiative forcing to local time series data from the GISTEMP v4 spatio-temporal temperature dataset, for the years 1900–2015.

6. Relevant publications in this field

  • SΓΈrbye, S. H., Myrvoll-Nilsen, E., & Rue, H. (2019). A computationally efficient approximation of the fractional Gaussian noise process. Statistics and Computing, 29(6), 1221–1233.
  • Myrvoll-Nilsen, E., ...
  • Myrvoll-Nilsen, E. (2020). Efficient Bayesian inference for long-memory processes applied to climate. PhD thesis, UiT The Arctic University of Norway.

References