HOME

TheInfoList



OR:

In the mathematical fields of
numerical analysis Numerical analysis is the study of algorithms that use numerical approximation (as opposed to symbolic manipulations) for the problems of mathematical analysis (as distinguished from discrete mathematics). It is the study of numerical methods ...
and approximation theory, box splines are
piecewise In mathematics, a piecewise-defined function (also called a piecewise function, a hybrid function, or definition by cases) is a function defined by multiple sub-functions, where each sub-function applies to a different interval in the domain. P ...
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An example ...
functions of several variables. Box splines are considered as a multivariate generalization of basis splines (B-splines) and are generally used for multivariate approximation/interpolation. Geometrically, a box spline is the shadow (X-ray) of a hypercube projected down to a lower-dimensional space. Box splines and simplex splines are well studied special cases of polyhedral splines which are defined as shadows of general
polytopes In elementary geometry, a polytope is a geometric object with flat sides (''faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an - ...
.


Definition

A box spline is a multivariate
function Function or functionality may refer to: Computing * Function key, a type of key on computer keyboards * Function model, a structured representation of processes in a system * Function object or functor or functionoid, a concept of object-oriente ...
(\mathbb^d \to \mathbb) defined for a set of vectors, \xi \in \mathbb^d, usually gathered in a matrix \mathbf := \left xi_1 \dots \xi_N\right When the number of vectors is the same as the dimension of the domain (i.e., N = d ) then the box spline is simply the (normalized) indicator function of the parallelepiped formed by the vectors in \mathbf: : M_(\mathbf) := \frac\chi_(\mathbf) = \begin \frac &\text \mathbf = \sum_^d \text 0 \le t_n < 1 \\ 0 & \text.\end Adding a new direction, \xi, to \mathbf, or generally when N > d, the box spline is defined recursively: : M_(\mathbf) = \int_0^1 M_(\mathbf- t \xi) \, t. The box spline M_ can be interpreted as the shadow of the indicator function of the unit hypercube in \mathbb^N when projected down into \mathbb^d. In this view, the vectors \xi \in \mathbf are the geometric projection of the standard basis in \mathbb^N (i.e., the edges of the hypercube) to \mathbb^d. Considering
tempered distribution Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives d ...
s a box spline associated with a single direction vector is a
Dirac Distributed Research using Advanced Computing (DiRAC) is an integrated supercomputing facility used for research in particle physics, astronomy and cosmology in the United Kingdom. DiRAC makes use of multi-core processors and provides a variety o ...
-like
generalized function In mathematics, generalized functions are objects extending the notion of functions. There is more than one recognized theory, for example the theory of distributions. Generalized functions are especially useful in making discontinuous functions ...
supported on t\xi for 0 \le t < 1. Then the general box spline is defined as the convolution of distributions associated the single-vector box splines: :M_ = M_ \ast M_ \ast \dots \ast M_.


Properties

* Let \kappa be the minimum number of directions whose removal from \Xi makes the remaining directions ''not'' span \mathbb^d. Then the box spline has \kappa-2 degrees of continuity: M_ \in C^(\mathbb^d). * When N\ge d (and vectors in \Xi span \mathbb^d) the box spline is a compactly supported function whose support is a
zonotope In geometry, a zonohedron is a convex polyhedron that is centrally symmetric, every face of which is a polygon that is centrally symmetric (a zonogon). Any zonohedron may equivalently be described as the Minkowski sum of a set of line segments i ...
in \mathbb^d formed by the
Minkowski sum In geometry, the Minkowski sum (also known as dilation) of two sets of position vectors ''A'' and ''B'' in Euclidean space is formed by adding each vector in ''A'' to each vector in ''B'', i.e., the set : A + B = \. Analogously, the Minkowski ...
of the direction vectors \xi \in \mathbf. * Since zonotopes are centrally symmetric, the support of the box spline is symmetric with respect to its center: \mathbf_\Xi := \frac\sum_^N \xi_n . * Fourier transform of the box spline, in d dimensions, is given by :: \hat_\Xi(\omega) = \exp(-j\mathbf_\cdot\omega) \prod_^N \operatorname(\xi_n\cdot\omega).


Applications

For applications, linear combinations of shifts of one or more box splines on a lattice are used. Such splines are efficient, more so than linear combinations of simplex splines, because they are refinable and, by definition, shift invariant. They therefore form the starting point for many subdivision surface constructions. Box splines have been useful in characterization of hyperplane arrangements. Also, box splines can be used to compute the volume of polytopes. In the context of
multidimensional signal processing In signal processing, multidimensional signal processing covers all signal processing done using multidimensional signals and systems. While multidimensional signal processing is a subset of signal processing, it is unique in the sense that it deals ...
, box splines can provide multivariate interpolation kernels (reconstruction filters) tailored to non-Cartesian sampling lattices,Entezari, Alireza. Optimal sampling lattices and trivariate box splines. ancouver, BC. Simon Fraser University, 2007. . and crystallographic lattices (root lattices) that include many information-theoretically optimal sampling lattices. Generally, optimal
sphere packing In geometry, a sphere packing is an arrangement of non-overlapping spheres within a containing space. The spheres considered are usually all of identical size, and the space is usually three-dimensional Euclidean space. However, sphere packing p ...
and sphere covering lattices are useful for sampling multivariate functions in 2-D, 3-D and higher dimensions. In the 2-D setting the three-direction box spline is used for interpolation of hexagonally sampled images. In the 3-D setting, four-direction and six-direction box splines are used for interpolation of data sampled on the (optimal)
body-centered cubic In crystallography, the cubic (or isometric) crystal system is a crystal system where the unit cell is in the shape of a cube. This is one of the most common and simplest shapes found in crystals and minerals. There are three main varieties of ...
and
face-centered cubic In crystallography, the cubic (or isometric) crystal system is a crystal system where the unit cell is in the shape of a cube. This is one of the most common and simplest shapes found in crystals and minerals. There are three main varieties of ...
lattices respectively. The seven-direction box spline has been used for modelling surfaces and can be used for interpolation of data on the Cartesian lattice as well as the
body centered cubic In crystallography, the cubic (or isometric) crystal system is a crystal system where the unit cell is in the shape of a cube. This is one of the most common and simplest shapes found in crystals and minerals. There are three main varieties o ...
lattice. Generalization of the four- and six-direction box splines to higher dimensions can be used to build splines on root lattices. Box splines are key ingredients of hex-splines and Voronoi splines that, however, are not refinable. Box splines have found applications in high-dimensional filtering, specifically for fast bilateral filtering and non-local means algorithms. Moreover, box splines are used for designing efficient space-variant (i.e., non-convolutional) filters. Box splines are useful basis functions for image representation in the context of
tomographic reconstruction Tomographic reconstruction is a type of multidimensional inverse problem where the challenge is to yield an estimate of a specific system from a finite number of projections. The mathematical basis for tomographic imaging was laid down by Johann ...
problems as the spline spaces generated by box splines spaces are closed under
X-ray An X-ray, or, much less commonly, X-radiation, is a penetrating form of high-energy electromagnetic radiation. Most X-rays have a wavelength ranging from 10  picometers to 10  nanometers, corresponding to frequencies in the range 30&nb ...
and
Radon Radon is a chemical element with the symbol Rn and atomic number 86. It is a radioactive, colourless, odourless, tasteless noble gas. It occurs naturally in minute quantities as an intermediate step in the normal radioactive decay chains through ...
transforms. In this application while the signal is represented in shift-invariant spaces, the projections are obtained, in closed-form, by non-uniform translates of box splines. In the context of image processing, box spline frames have been shown to be effective in edge detection.


References

{{reflist Splines (mathematics)