Box-spline
   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 computation, symbolic manipulations) for the problems of mathematical analysis (as distinguished from discrete mathematics). It is the study of ...
and
approximation theory In mathematics, approximation theory is concerned with how function (mathematics), functions can best be approximation, approximated with simpler functions, and with quantitative property, quantitatively characterization (mathematics), characteri ...
, box splines are
piecewise In mathematics, a piecewise function (also called a piecewise-defined function, a hybrid function, or a function defined by cases) is a function whose domain is partitioned into several intervals ("subdomains") on which the function may be ...
polynomial In mathematics, a polynomial is a Expression (mathematics), mathematical expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addit ...
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 (geometry), flat sides (''Face (geometry), faces''). Polytopes are the generalization of three-dimensional polyhedron, polyhedra to any number of dimensions. Polytopes may exist ...
.


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-orie ...
(\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 In mathematics, an indicator function or a characteristic function of a subset of a set is a function that maps elements of the subset to one, and all other elements to zero. That is, if is a subset of some set , then the indicator functio ...
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 In mathematics, an indicator function or a characteristic function of a subset of a set is a function that maps elements of the subset to one, and all other elements to zero. That is, if is a subset of some set , then the indicator functio ...
of the unit
hypercube In geometry, a hypercube is an ''n''-dimensional analogue of a square ( ) and a cube ( ); the special case for is known as a ''tesseract''. It is a closed, compact, convex figure whose 1- skeleton consists of groups of opposite parallel l ...
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 mathematics, the standard basis (also called natural basis or canonical basis) of a coordinate vector space (such as \mathbb^n or \mathbb^n) is the set of vectors, each of whose components are all zero, except one that equals 1. For exampl ...
in \mathbb^N (i.e., the edges of the hypercube) to \mathbb^d. Considering
tempered distribution Distributions, also known as Schwartz distributions are a kind of generalized function in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, an ...
s a box spline associated with a single direction vector is a
Dirac Paul Adrien Maurice Dirac ( ; 8 August 1902 – 20 October 1984) was an English mathematician and theoretical physicist who is considered to be one of the founders of quantum mechanics. Dirac laid the foundations for both quantum electrodyna ...
-like
generalized function In mathematics, generalized functions are objects extending the notion of functions on real or complex numbers. There is more than one recognized theory, for example the theory of distributions. Generalized functions are especially useful for tr ...
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 point symmetry, centrally symmetric, every face of which is a polygon that is centrally symmetric (a zonogon). Any zonohedron may equivalently be described as the Minkowski addition, Minkows ...
in \mathbb^d formed by the
Minkowski sum In geometry, the Minkowski sum 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'': A + B = \ The Minkowski difference (also ''Minkowski subtraction'', ''Minkowsk ...
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 In mathematics, the Fourier transform (FT) is an integral transform that takes a function as input then outputs another function that describes the extent to which various frequencies are present in the original function. The output of the tr ...
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 In the field of 3D computer graphics, a subdivision surface (commonly shortened to SubD surface or Subsurf) is a curved Computer representation of surfaces, surface represented by the specification of a coarser polygon mesh and produced by a re ...
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 Crystal structure#Unit cell, 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 ...
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 o ...
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 of ...
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 projection (linear algebra), projections. The mathematical basis for tomographic imag ...
problems as the spline spaces generated by box splines spaces are closed under
X-ray An X-ray (also known in many languages as Röntgen radiation) is a form of high-energy electromagnetic radiation with a wavelength shorter than those of ultraviolet rays and longer than those of gamma rays. Roughly, X-rays have a wavelength ran ...
and
Radon Radon is a chemical element; it has symbol Rn and atomic number 86. It is a radioactive noble gas and is colorless and odorless. Of the three naturally occurring radon isotopes, only Rn has a sufficiently long half-life (3.825 days) for it to b ...
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)