Sparse grid

From Wikipedia, the free encyclopedia

Sparse grids are a numerical technique to represent, integrate or interpolate high dimensional functions. They were originally found by the Russian mathematician Smolyak and are based on a sparse tensor product construction. Computer algorithms for efficient implementations of such grids were later developed by Michael Griebel and Christoph Zenger.

[edit] Curse of dimensionality

The standard way of representing multidimensional functions are tensor or full grids. The number of basis functions or nodes (grid points) that have to be stored and processed depend exponentially on the number of dimensions. Even with today's computational power it is not possible to process functions with more than 4 or 5 dimensions.

The curse of dimension is expressed in the order of the integration error that is made by a quadrature of level $l$ , with $N l$ points. The function has regularity $r$ , i.e. is $r$ times differentiable. The number of dimensions is $d$ .

$|E_l| = O(N_l^{-\frac{r}{d}})$

[edit] Smolyak's quadrature rule

Smolyak found a computationally more efficient method of integrating multidimensional functions based on a univariate quadrature rule $Q (1)$ . The $d$ -dimensional Smolyak integral $Q (d)$ of a function $f$ can be written as a recursion formula with the tensor product.

$Q_l^{(d)} f = \left(\sum_{i=0}^l \left(Q_i^{(1)}-Q_{i-1}^{(1)}\right)\otimes Q_{l-i}^{(d-1)}\right)f$

The index to $Q$ is the level of the discretization. A $1 - d$ integration on level $i$ is computed by the evaluation of $O (2 i)$ points. The error estimate for a function of regularity $r$ is:

$|E_l| = O\left(N_l^{-r}\left(\log N_l\right)^{(d-1)(r+1)}\right)$