Table of Contents
Fetching ...

Fast Adaptive Fourier Integration for Spectral Densities of Gaussian Processes

Paul G. Beckman, Christopher J. Geoga

TL;DR

This work addresses the challenge of constructing flexible, positive-definite Gaussian process covariances from arbitrary spectral densities by transforming the problem to the spectral domain via Bochner's theorem. It introduces an adaptive panel Fourier integration framework, enhanced by Gauss-Legendre quadrature and a Nyquist-guided panel strategy, with acceleration from a type-3 nonuniform FFT to achieve high-accuracy kernel evaluations and derivatives for irregularly sampled data. Key contributions include rigorous quadrature and truncation error bounds, robust handling of origin singularities, and automatic differentiation-based derivative computation, enabling efficient gradient-based maximum likelihood estimation for slow-decaying or long-memory spectra (e.g., singular Matérn) and real-world applications such as Doppler LiDAR wind data. The methodology delivers orders-of-magnitude speedups over naive approaches, supports modeling with broad spectral densities, and comes with open-source Julia code, making advanced spectral GP modeling practical for irregular data and complex covariance structures.

Abstract

The specification of a covariance function is of paramount importance when employing Gaussian process models, but the requirement of positive definiteness severely limits those used in practice. Designing flexible stationary covariance functions is, however, straightforward in the spectral domain, where one needs only to supply a positive and symmetric spectral density. In this work, we introduce an adaptive integration framework for efficiently and accurately evaluating covariance functions and their derivatives at irregular locations directly from \textit{any} continuous, integrable spectral density. In order to make this approach computationally tractable, we employ high-order panel quadrature, the nonuniform fast Fourier transform, and a Nyquist-informed panel selection heuristic, and derive novel algebraic truncation error bounds which are used to monitor convergence. As a result, we demonstrate several orders of magnitude speedup compared to naive uniform quadrature approaches, allowing us to evaluate covariance functions from slowly decaying, singular spectral densities at millions of locations to a user-specified tolerance in seconds on a laptop. We then apply our methodology to perform gradient-based maximum likelihood estimation using a previously numerically infeasible long-memory spectral model for wind velocities below the atmospheric boundary layer.

Fast Adaptive Fourier Integration for Spectral Densities of Gaussian Processes

TL;DR

This work addresses the challenge of constructing flexible, positive-definite Gaussian process covariances from arbitrary spectral densities by transforming the problem to the spectral domain via Bochner's theorem. It introduces an adaptive panel Fourier integration framework, enhanced by Gauss-Legendre quadrature and a Nyquist-guided panel strategy, with acceleration from a type-3 nonuniform FFT to achieve high-accuracy kernel evaluations and derivatives for irregularly sampled data. Key contributions include rigorous quadrature and truncation error bounds, robust handling of origin singularities, and automatic differentiation-based derivative computation, enabling efficient gradient-based maximum likelihood estimation for slow-decaying or long-memory spectra (e.g., singular Matérn) and real-world applications such as Doppler LiDAR wind data. The methodology delivers orders-of-magnitude speedups over naive approaches, supports modeling with broad spectral densities, and comes with open-source Julia code, making advanced spectral GP modeling practical for irregular data and complex covariance structures.

Abstract

The specification of a covariance function is of paramount importance when employing Gaussian process models, but the requirement of positive definiteness severely limits those used in practice. Designing flexible stationary covariance functions is, however, straightforward in the spectral domain, where one needs only to supply a positive and symmetric spectral density. In this work, we introduce an adaptive integration framework for efficiently and accurately evaluating covariance functions and their derivatives at irregular locations directly from \textit{any} continuous, integrable spectral density. In order to make this approach computationally tractable, we employ high-order panel quadrature, the nonuniform fast Fourier transform, and a Nyquist-informed panel selection heuristic, and derive novel algebraic truncation error bounds which are used to monitor convergence. As a result, we demonstrate several orders of magnitude speedup compared to naive uniform quadrature approaches, allowing us to evaluate covariance functions from slowly decaying, singular spectral densities at millions of locations to a user-specified tolerance in seconds on a laptop. We then apply our methodology to perform gradient-based maximum likelihood estimation using a previously numerically infeasible long-memory spectral model for wind velocities below the atmospheric boundary layer.
Paper Structure (18 sections, 3 theorems, 43 equations, 12 figures, 1 table)

This paper contains 18 sections, 3 theorems, 43 equations, 12 figures, 1 table.

Key Result

Lemma 1

For any $s, y > 0$,

Figures (12)

  • Figure 1: Panel integration of a Matérn spectral density with $\nu=\frac{1}{2}, \rho=1$, and $\phi$ chosen so that $K(0) = 1$. The top row shows various panels of the spectral density being integrated, and each corresponding plot in the bottom row shows the absolute truncation error in the kernel after the panel integral above has been added. A small subset of the quadrature nodes are shown in each panel. A tolerance of $\varepsilon = \texttt{1e-8}$ and $m=5{,}000$ nodes per panel are used.
  • Figure 2: The incomplete Gamma function bound from Lemma \ref{['lem:inc-gamma']} (left) and corresponding bound on the power law truncation error given by Theorem \ref{['thm:truncation-error']} for various $r$ (right).
  • Figure 3: The generalized Matérn spectral density (\ref{['eq:generalizedmatern']}) (left), its corresponding covariance function (center), and a sample path from the process (right).
  • Figure 4: The top row shows the "oscillatory" Matérn spectral density (\ref{['eq:oscillatory-matern']}) (left), its corresponding covariance function (center), and a sample path from the process (right). The bottom row displays analogous quantities for the semi-parametric long-memory model (\ref{['eq:chebyshev-exponential']}).
  • Figure 5: A comparison of the three methods for evaluating the covariance function given in Equation \ref{['eq:singularmatern_kernel']}: the double-precision direct kernel routine (red), the extended precision direct kernel routine (blue), and our Fourier quadrature routine (black).
  • ...and 7 more figures

Theorems & Definitions (10)

  • Remark 1
  • Remark 2
  • Lemma 1
  • Theorem 1
  • proof
  • Theorem 2
  • Remark 3
  • Remark 4
  • proof : Proof of Lemma \ref{['lem:inc-gamma']}
  • proof : Proof of Theorem \ref{['thm:decay']}