Frame of a vector space

In linear algebra, a frame of an inner product space is a generalization of a basis of a vector space to sets that may be linearly dependent. In the terminology of signal processing, a frame provides a redundant, stable way of representing a signal. Frames are used in error detection and correction and the design and analysis of filter banks and more generally in applied mathematics, computer science, and engineering.

Definition and motivation

Motivating example: computing a basis from a linearly dependent set

Suppose we have a set of vectors $\$ in the vector space ''V'' and we want to express an arbitrary element $\mathbf \in V$ as a linear combination of the vectors $\$, that is, we want to find coefficients $c_k$ such that

:$\mathbf = \sum_k c_k \mathbf_k$

If the set $\$ does not span $V$, then such coefficients do not exist for every such $\mathbf$. If $\$ spans $V$ and also is linearly independent, this set forms a basis of $V$, and the coefficients $c_$ are uniquely determined by $\mathbf$. If, however, $\$ spans $V$ but is not linearly independent, the question of how to determine the coefficients becomes less apparent, in particular if $V$ is of infinite dimension.

Given that $\$ spans $V$ and is linearly dependent, one strategy is to remove vectors from the set until it becomes linearly independent and forms a basis. There are some problems with this plan:

# Removing arbitrary vectors from the set may cause it to be unable to span $V$ before it becomes linearly independent.
# Even if it is possible to devise a specific way to remove vectors from the set until it becomes a basis, this approach may become unfeasible in practice if the set is large or infinite.
# In some applications, it may be an advantage to use more vectors than necessary to represent $\mathbf$. This means that we want to find the coefficients $c_k$ without removing elements in $\$. The coefficients $c_k$ will no longer be uniquely determined by $\mathbf$. Therefore, the vector $\mathbf$ can be represented as a linear combination of $\$ in more than one way.

Formal definition

Let ''V'' be an inner product space and $\_$ be a set of vectors in $V$. These vectors satisfy the ''frame condition'' if there are positive real numbers ''A'' and ''B'' such that 0 and for each $\mathbf$ in ''V'',
: $A \left\, \mathbf \right\, ^2 \leq \sum_ \left, \langle \mathbf, \mathbf_k \rangle \ ^2 \leq B \left\, \mathbf \right\, ^2 .$
A set of vectors that satisfies the frame condition is a ''frame'' for the vector space.

The numbers ''A'' and ''B'' are called the lower and upper ''frame bounds'', respectively. The frame bounds are not unique because numbers less than ''A'' and greater than ''B'' are also valid frame bounds. The ''optimal lower bound'' is the supremum of all lower bounds and the ''optimal upper bound'' is the infimum of all upper bounds.

A frame is called ''overcomplete'' (or ''redundant'') if it is not a basis for the vector space.

Analysis operator

The operator mapping $\mathbf \in V$ to a sequence of coefficients $c_k$ is called the ''analysis operator'' of the frame. It is defined by:
: $\mathbf: V \to \ell^2, \quad \mathbf \mapsto \_, \quad c_k = \langle \mathbf,\mathbf\rangle$
By using this definition we may rewrite the frame condition as
: $A \left\, \mathbf \right\, ^2 \leq \left\, \mathbf \mathbf \right\, ^2 \leq B \left\, \mathbf \right\, ^2$
where the left and right norms denote the norm in $V$ and the middle norm is the $\ell ^2$ norm.

Synthesis operator

The adjoint operator $\mathbf^*$ of the analysis operator is called the ''synthesis operator'' of the frame.
: $\mathbf^*: \ell^2 \to V, \quad \_ \mapsto \mathbf, \quad \mathbf = \sum_k c_k\mathbf_k$

Motivation for the lower frame bound

We want that any vector $v \in V$ can be reconstructed from the coefficients $\_$. This is satisfied if there exists a constant $A > 0$ such that for all $x,y \in V$ we have:
:$A \, x-y \, ^2 \le \, Tx-Ty \, ^2$
By setting $v=x-y$ and applying the linearity of the analysis operator we get that this condition is equivalent to:
:$A \, v \, ^2 \le \, Tv \, ^2$
for all $v \in V$ which is exactly the lower frame bound condition.

History

Because of the various mathematical components surrounding frames, frame theory has roots in harmonic and functional analysis, operator theory, linear algebra, and matrix theory.

The Fourier transform has been used for over a century as a way of decomposing and expanding signals. However, the Fourier transform masks key information regarding the moment of emission and the duration of a signal. In 1946, Dennis Gabor was able to solve this using a technique that simultaneously reduced noise, provided resiliency, and created quantization while encapsulating important signal characteristics. This discovery marked the first concerted effort towards frame theory.

The frame condition was first described by Richard Duffin and Albert Charles Schaeffer in a 1952 article on nonharmonic Fourier series as a way of computing the coefficients in a linear combination of the vectors of a linearly dependent spanning set (in their terminology, a "Hilbert space frame"). In the 1980s, Stéphane Mallat, Ingrid Daubechies, and Yves Meyer used frames to analyze wavelets. Today frames are associated with wavelets, signal and image processing, and data compression.

Relation to bases

A frame satisfies a generalization of Parseval's identity, namely the frame condition, while still maintaining norm equivalence between a signal and its sequence of coefficients.

If the set $\$ is a frame of ''V'', it spans ''V''. Otherwise there would exist at least one non-zero $\mathbf \in V$ which would be orthogonal to all $\mathbf_k$. If we insert $\mathbf$ into the frame condition, we obtain
:$A \left\, \mathbf \right\, ^2 \leq 0 \leq B \left\, \mathbf \right\, ^ ;$
therefore $A \leq 0$, which is a violation of the initial assumptions on the lower frame bound.

If a set of vectors spans ''V'', this is not a sufficient condition for calling the set a frame. As an example, consider $V = \mathbb^2$ with the dot product, and the infinite set $\$ given by

:$\left\.$

This set spans ''V'' but since $\sum_k \left, \langle \mathbf_k , (0,1)\rangle \ ^2 = 0 + 1 + \tfrac + \tfrac +\dotsb = \infty$, we cannot choose a finite upper frame bound ''B''. Consequently, the set $\$ is not a frame.

Applications

In signal processing, each vector is interpreted as a signal. In this interpretation, a vector expressed as a linear combination of the frame vectors is a redundant signal. Using a frame, it is possible to create a simpler, more sparse representation of a signal as compared with a family of elementary signals (that is, representing a signal strictly with a set of linearly independent vectors may not always be the most compact form). Frames, therefore, provide ''robustness''. Because they provide a way of producing the same vector within a space, signals can be encoded in various ways. This facilitates fault tolerance and resilience to a loss of signal. Finally, redundancy can be used to mitigate noise, which is relevant to the restoration, enhancement, and reconstruction of signals.

In signal processing, it is common to assume the vector space is a Hilbert space.

Special cases

Tight frames

A frame is a ''tight frame'' if ''A'' = ''B''; in other words, the frame satisfies a generalized version of Parseval's identity. For example, the union of ''k'' disjoint orthonormal bases of a vector space is a tight frame with ''A'' = ''B'' = ''k''. A tight frame is a ''Parseval frame'' (sometimes called a ''normalized frame'') if ''A'' = ''B'' = 1. Each orthonormal basis is a Parseval frame, but the converse is not always true.

A frame $\_$ for $V$ is tight with frame bound ''A'' if and only if
: $v = \frac \sum_k \langle \mathbf,\mathbf_k\rangle \mathbf_k$
for all $v \in V$.

Equal norm frame

A frame is an ''equal norm frame'' (sometimes called a ''uniform frame'' or a ''normalized frame'') if there is a constant ''c'' such that $\, e_i\, = c$ for each ''i''. An equal norm frame is a ''unit norm frame'' if ''c'' = 1. A Parseval (or tight) unit norm frame is an orthonormal basis; such a frame satisfies Parseval's identity.

Equiangular frames

A frame is an ''equiangular frame'' if there is a constant ''c'' such that $, \langle e_i, e_j \rangle , = c$ for each distinct ''i'' and ''j''.

Exact frames

A frame is an ''exact frame'' if no proper subset of the frame spans the inner product space. Each basis for an inner product space is an exact frame for the space (so a basis is a special case of a frame).

Generalizations

A '' Bessel Sequence'' is a set of vectors that satisfies only the upper bound of the frame condition.

Continuous frame

Suppose ''H'' is a Hilbert space, X a locally compact space, and $\mu$ is a locally finite ''Borel measure'' on X. Then a set of vectors in ''H'', $\_$ with a measure $\mu$ is said to be a ''Continuous Frame'' if there exists constants, 0 such that $A, , f, , ^2\leq \int_, \langle f,f_x\rangle, ^2d\mu(x)\leq B, , f, , ^2$ for all $f\in H$.

Example

Given a discrete set $\Lambda\subset X$ and a measure $\mu= \delta_\Lambda$ where $\delta_\Lambda$ is the ''Dirac measure'' then the continuous frame property
:$A, , f, , ^2\leq \int_, \langle f,f_x\rangle, ^2d\mu(x)\leq B, , f, , ^2$
reduces to
:$A, , f, , ^2\leq \sum_, \langle f,f_\rangle, ^2\leq B, , f, , ^2$.

and we see that continuous frames are indeed the natural generalization of the frames mentioned above.

Just like in the discrete case we can define the analysis, synthesis, and frame operators when dealing with continuous frames.

Continuous analysis operator

Given a continuous frame $\_$ the ''continuous analysis operator'' is the operator mapping $\_$ to a sequence of coefficients $\langle f,f_x\rangle _$.

It is defined as follows:

: $T:H \mapsto L^2(X,\mu)$ by $f \to \langle f,f_x\rangle _$.

Continuous synthesis operator

The adjoint operator of the continuous analysis operator is the ''continuous synthesis operator'', which is the map

: $T^*:L^2(X,\mu) \mapsto H$ by $a_x \to\int_X a_x f_x d\mu(x)$.

Continuous frame operator

The composition of the continuous analysis operator and the continuous synthesis operator is known as the ''continuous frame operator''. For a continuous frame $\_$, it is defined as follows:
: $S:H\mapsto H$ by $Sf:=\int_X \langle f,f_x\rangle f_x d\mu(x)$.

Continuous dual frame

Given a continuous frame $\_$, and another continuous frame $\_$, then $\_$ is said to be a ''continuous dual frame'' of $\$ if it satisfies the following condition for all $f, h\in H$:

: $\langle f, h\rangle =\int_X\langle f,f_x\rangle \langle g_x, h\rangle d\mu(x)$.

Dual frames

The frame condition entails the existence of a set of ''dual frame vectors'' $\$ with the property that
:$\mathbf = \sum_k \langle \mathbf , \mathbf_k \rangle \mathbf_k = \sum_k \langle \mathbf , \mathbf_k \rangle \mathbf_k$
for any $\mathbf \in V.$ This implies that a frame together with its dual frame has the same property as a basis and its dual basis in terms of reconstructing a vector from scalar products.

In order to construct a dual frame, we first need the linear mapping $\mathbf : V \rightarrow V,$ called the frame operator, defined as
: $\mathbf \mathbf = \sum_ \langle \mathbf , \mathbf_ \rangle \mathbf_ = \mathbf^*\mathbf\mathbf.$

From this definition of $\mathbf$ and linearity in the first argument of the inner product,
: $\langle \mathbf \mathbf , \mathbf \rangle = \sum_k \left, \langle \mathbf , \mathbf_k \rangle \ ^2 ,$
which, when substituted in the frame condition inequality, yields
: $A \left\, \mathbf \right\, ^2 \leq \langle \mathbf \mathbf , \mathbf \rangle \leq B \left\, \mathbf \right\, ^2 ,$
for each $\mathbf \in V.$

The frame operator $\mathbf$ is self-adjoint, positive definite, and has positive upper and lower bounds. The inverse $\mathbf^$ of $\mathbf$ exists and it, too, is self-adjoint, positive definite, and has positive upper and lower bounds.

The dual frame is defined by mapping each element of the frame with $\mathbf^$:
:$\tilde_ = \mathbf^ \mathbf_$

To see that this makes sense, let $\mathbf$ be an element of $V$ and let
:$\mathbf = \sum_ \langle \mathbf , \mathbf_ \rangle \tilde_.$

Thus
:$\mathbf = \sum_ \langle \mathbf , \mathbf_ \rangle ( \mathbf^ \mathbf_ ) = \mathbf^ \left ( \sum_ \langle \mathbf , \mathbf_ \rangle \mathbf_ \right ) = \mathbf^ \mathbf \mathbf = \mathbf,$

which proves that
:$\mathbf = \sum_ \langle \mathbf , \mathbf_ \rangle \tilde_.$

Alternatively, we can let
:$\mathbf = \sum_ \langle \mathbf , \tilde_ \rangle \mathbf_.$

By inserting the above definition of $\tilde_$ and applying the properties of $\mathbf$ and its inverse,

:$\mathbf = \sum_ \langle \mathbf , \mathbf^ \mathbf_ \rangle \mathbf_ = \sum_ \langle \mathbf^ \mathbf , \mathbf_ \rangle \mathbf_ = \mathbf (\mathbf^ \mathbf) = \mathbf$

which shows that

:$\mathbf = \sum_ \langle \mathbf , \tilde_ \rangle \mathbf_.$

The numbers $\langle \mathbf , \tilde_ \rangle$ are called ''frame coefficients''. This derivation of a dual frame is a summary of Section 3 in the article by Duffin and Schaeffer. They use the term ''conjugate frame'' for what here is called a dual frame.

The dual frame $\$ is called the ''canonical dual'' of $\$ because it acts similarly as a dual basis to a basis.

When the frame $\$ is overcomplete, a vector $\mathbf$ can be written as a linear combination of $\$ in more than one way. That is, there are different choices of coefficients $\$ such that $\mathbf = \sum_ c_ \mathbf_.$ This allows us some freedom for the choice of coefficients $\$ other than $\langle \mathbf , \tilde_ \rangle.$ It is necessary that the frame $\$ is overcomplete for other such coefficients $\$ to exist. If so, then there exist frames $\ \neq \$ for which
:$\mathbf = \sum_ \langle \mathbf , \mathbf_ \rangle \mathbf_$
for all $\mathbf \in V.$ We call $\$ a dual frame of $\.$

Canonical duality is a reciprocity relation, i.e. if the frame $\$ is the canonical dual frame of $\,$ then $\$ is the canonical dual frame of $\.$

See also

* ''k''-frame
* Biorthogonal wavelet
* Orthogonal wavelet
* Restricted isometry property
* Schauder basis
* Harmonic analysis
* Fourier analysis
* Functional analysis

Notes

References

*
*
*
*
*
*

{{DEFAULTSORT:Frame Of A Vector Space
Linear algebra
Differential geometry
Signal processing