In the mathematical fields of
numerical analysis 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 polynomial 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.
Definition
A box spline is a multivariate
function defined for a set of vectors,
usually gathered in a matrix
When the number of vectors is the same as the dimension of the domain (i.e.,
) 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 , one has \mathbf_(x)=1 if x\i ...
of the parallelepiped formed by the vectors in
:
:
Adding a new direction,
to
or generally when
the box spline is defined recursively:
:

The box spline
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 , one has \mathbf_(x)=1 if x\i ...
of the unit
hypercube
In geometry, a hypercube is an ''n''-dimensional analogue of a square () and a cube (). It is a closed, compact, convex figure whose 1- skeleton consists of groups of opposite parallel line segments aligned in each of the space's dimensions, ...
in
when projected down into
In this view, the vectors
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 whose components are all zero, except one that equals 1. For example, in the c ...
in
(i.e., the edges of the hypercube) to
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 ...
s a box spline associated with a single direction vector is a
Dirac-like
generalized function supported on
for
. Then the general box spline is defined as the convolution of distributions associated the single-vector box splines:
:
Properties
* Let
be the minimum number of directions whose removal from
makes the remaining directions ''not'' span
. Then the box spline has
degrees of continuity:
.
* When
(and vectors in
span
) the box spline is a compactly supported function whose support is a
zonotope in
formed by the
Minkowski sum of the direction vectors
.
* Since
zonotopes are centrally symmetric, the support of the box spline is symmetric with respect to its center:
*
Fourier transform
A Fourier transform (FT) is a mathematical transform that decomposes functions into frequency components, which are represented by the output of the transform as a function of frequency. Most commonly functions of time or space are transformed, ...
of the box spline, in
dimensions, is given by
::
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) is a curved surface represented by the specification of a coarser polygon mesh and produced by a recursive algorithmic method. The curved surface, t ...
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, 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 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 and
face-centered cubic 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 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 problems as the spline spaces generated by box splines spaces are closed under
X-ray and
Radon 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)