HOME

TheInfoList



OR:

In
signal processing Signal processing is an electrical engineering subfield that focuses on analyzing, modifying and synthesizing ''signals'', such as audio signal processing, sound, image processing, images, and scientific measurements. Signal processing techniq ...
, a polyphase matrix is a matrix whose elements are
filter mask A respirator is a device designed to protect the wearer from inhaling hazardous atmospheres including fumes, vapours, gases and particulate matter such as dusts and airborne pathogens such as viruses. There are two main categories of respir ...
s. It represents a
filter bank In signal processing, a filter bank (or filterbank) is an array of bandpass filters that separates the input signal into multiple components, each one carrying a single frequency Sub-band coding, sub-band of the original signal. One application of ...
as it is used in sub-band coders alias
discrete wavelet transform In numerical analysis and functional analysis, a discrete wavelet transform (DWT) is any wavelet transform for which the wavelets are discretely sampled. As with other wavelet transforms, a key advantage it has over Fourier transforms is temporal ...
s. If \scriptstyle h,\, g are two filters, then one level the traditional wavelet transform maps an input signal \scriptstyle a_0 to two output signals \scriptstyle a_1,\, d_1, each of the half length: :\begin a_1 &= (h \cdot a_0) \downarrow 2 \\ d_1 &= (g \cdot a_0) \downarrow 2 \end Note, that the dot means
polynomial multiplication 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 ...
; i.e.,
convolution In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions ( and ) that produces a third function (f*g) that expresses how the shape of one is ...
and \scriptstyle\downarrow means
downsampling In digital signal processing, downsampling, compression, and decimation are terms associated with the process of ''resampling'' in a multi-rate digital signal processing system. Both ''downsampling'' and ''decimation'' can be synonymous with ''comp ...
. If the above formula is implemented directly, you will compute values that are subsequently flushed by the down-sampling. You can avoid their computation by splitting the filters and the signal into even and odd indexed values before the wavelet transformation: :\begin h_\mbox &= h \downarrow 2 & a_ &= a_0 \downarrow 2 \\ h_\mbox &= (h \leftarrow 1) \downarrow 2 & a_ &= (a_0 \leftarrow 1) \downarrow 2 \end The arrows \scriptstyle\leftarrow and \scriptstyle\rightarrow denote left and right shifting, respectively. They shall have the same precedence like convolution, because they are in fact convolutions with a shifted discrete delta impulse. :\delta = (\dots, 0, 0, \underset, 0, 0, \dots) The wavelet transformation reformulated to the split filters is: :\begin a_1 &= h_\mbox \cdot a_ + h_\mbox \cdot a_ \rightarrow 1 \\ d_1 &= g_\mbox \cdot a_ + g_\mbox \cdot a_ \rightarrow 1 \end This can be written as matrix-vector-multiplication :\begin P &= \begin h_\mbox & h_\mbox \rightarrow 1 \\ g_\mbox & g_\mbox \rightarrow 1 \end \\ \begin a_1 \\ d_1 \end &= P \cdot \begin a_ \\ a_ \end \end This matrix \scriptstyle P is the polyphase matrix. Of course, a polyphase matrix can have any size, it need not to have square shape. That is, the principle scales well to any
filterbank In signal processing, a filter bank (or filterbank) is an array of bandpass filters that separates the input signal into multiple components, each one carrying a single frequency sub-band of the original signal. One application of a filter bank is ...
s, multiwavelets, wavelet transforms based on fractional refinements.


Properties

The representation of sub-band coding by the polyphase matrix is more than about write simplification. It allows the adaptation of many results from
matrix theory In mathematics, a matrix (plural matrices) is a rectangular array or table of numbers, symbols, or expressions, arranged in rows and columns, which is used to represent a mathematical object or a property of such an object. For example, \begi ...
and
module theory In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of ''module'' generalizes also the notion of abelian group, since the abelian groups are exactly the mod ...
. The following properties are explained for a \scriptstyle 2 \,\times\, 2 matrix, but they scale equally to higher dimensions.


Invertibility/perfect reconstruction

The case that a polyphase matrix allows reconstruction of a processed signal from the filtered data, is called perfect reconstruction property. Mathematically this is equivalent to invertibility. According to the theorem of invertibility of a matrix over a ring, the polyphase matrix is invertible if and only if the
determinant In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if and ...
of the polyphase matrix is a
Kronecker delta In mathematics, the Kronecker delta (named after Leopold Kronecker) is a function of two variables, usually just non-negative integers. The function is 1 if the variables are equal, and 0 otherwise: \delta_ = \begin 0 &\text i \neq j, \\ 1 &\ ...
, which is zero everywhere except for one value. :\begin \det P &= h_ \cdot g_ - h_ \cdot g_ \\ \exists A\ A \cdot P &= I \iff \exists c\ \exists k\ \det P = c \cdot \delta \rightarrow k \end By
Cramer's rule In linear algebra, Cramer's rule is an explicit formula for the solution of a system of linear equations with as many equations as unknowns, valid whenever the system has a unique solution. It expresses the solution in terms of the determinants o ...
the inverse of \scriptstyle P can be given immediately. :P^ \cdot \det P = \begin g_\mbox \rightarrow 1 & - h_\mbox \rightarrow 1 \\ -g_\mbox & h_\mbox \end


Orthogonality

Orthogonality means that the
adjoint matrix In mathematics, the conjugate transpose, also known as the Hermitian transpose, of an m \times n complex matrix \boldsymbol is an n \times m matrix obtained by transposing \boldsymbol and applying complex conjugate on each entry (the complex c ...
\scriptstyle P^* is also the inverse matrix of \scriptstyle P. The adjoint matrix is the
transposed matrix In linear algebra, the transpose of a matrix is an operator which flips a matrix over its diagonal; that is, it switches the row and column indices of the matrix by producing another matrix, often denoted by (among other notations). The tr ...
with
adjoint filter In signal processing, the adjoint filter mask h^* of a filter mask h is reversed in time and the elements are complex conjugated. :(h^*)_k = \overline Its name is derived from the fact that the convolution with the adjoint filter is the adjoint ope ...
s. :P^* = \begin h_\mbox^* & g_\mbox^* \\ h_\mbox^* \leftarrow 1 & g_\mbox^* \leftarrow 1 \end It implies, that the
Euclidean norm Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean s ...
of the input signals is preserved. That is, the according wavelet transform is an
isometry In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' mea ...
. :\left\, a_1\right\, _2^2 + \left\, d_1\right\, _2^2 = \left\, a_0\right\, _2^2 The orthogonality condition :P \cdot P^* = I can be written out :\begin h_\mbox^* \cdot h_\mbox + h_\mbox^* \cdot h_\mbox &= \delta \\ g_\mbox^* \cdot g_\mbox + g_\mbox^* \cdot g_\mbox &= \delta \\ h_\mbox^* \cdot g_\mbox + h_\mbox^* \cdot g_\mbox &= 0 \end


Operator norm

For non-orthogonal polyphase matrices the question arises what Euclidean norms the output can assume. This can be bounded by the help of the
operator norm In mathematics, the operator norm measures the "size" of certain linear operators by assigning each a real number called its . Formally, it is a norm defined on the space of bounded linear operators between two given normed vector spaces. Introdu ...
. :\forall x\ \left\, P \cdot x\right\, _2 \in \left P^\right\, _2^ \cdot \, x\, _2, \, P\, _2 \cdot \, x\, _2\right/math> For the \scriptstyle 2 \,\times\, 2 polyphase matrix the Euclidean operator norm can be given explicitly using the
Frobenius norm In mathematics, a matrix norm is a vector norm in a vector space whose elements (vectors) are matrices (of given dimensions). Preliminaries Given a field K of either real or complex numbers, let K^ be the -vector space of matrices with m rows ...
\scriptstyle\, \cdot\, _F and the
z transform In mathematics and signal processing, the Z-transform converts a discrete-time signal, which is a sequence of real or complex numbers, into a complex frequency-domain (z-domain or z-plane) representation. It can be considered as a discrete-tim ...
\scriptstyle Z: :\begin p(z) &= \frac \cdot \left\, Z P(z)\right\, _F^2 \\ q(z) &= \left, \det P(z)^2 \\ \, P\, _2 &= \max\left\ \\ \left\, P^\right\, _2^ &= \min\left\ \end This is a special case of the n\times n matrix where the operator norm can be obtained via
z transform In mathematics and signal processing, the Z-transform converts a discrete-time signal, which is a sequence of real or complex numbers, into a complex frequency-domain (z-domain or z-plane) representation. It can be considered as a discrete-tim ...
and the
spectral radius In mathematics, the spectral radius of a square matrix is the maximum of the absolute values of its eigenvalues. More generally, the spectral radius of a bounded linear operator is the supremum of the absolute values of the elements of its spectru ...
of a matrix or the according
spectral norm In mathematics, a matrix norm is a vector norm in a vector space whose elements (vectors) are matrices (of given dimensions). Preliminaries Given a field K of either real or complex numbers, let K^ be the -vector space of matrices with m rows ...
. :\begin \left\, P\right\, _2 &= \sqrt \\ &= \max\left\ \\ pt \left\, P^\right\, _2^ &= \sqrt \end A signal, where these bounds are assumed can be derived from the eigenvector corresponding to the maximizing and minimizing eigenvalue.


Lifting scheme

The concept of the polyphase matrix allows
matrix decomposition In the mathematical discipline of linear algebra, a matrix decomposition or matrix factorization is a factorization of a matrix into a product of matrices. There are many different matrix decompositions; each finds use among a particular class of ...
. For instance the decomposition into addition matrices leads to the
lifting scheme The lifting scheme is a technique for both designing wavelets and performing the discrete wavelet transform (DWT). In an implementation, it is often worthwhile to merge these steps and design the wavelet filters ''while'' performing the wavelet tr ...
. {{cite journal , first1 = Ingrid , last1 = Daubechies , author1-link = Ingrid Daubechies , first2 = Wim , last2 = Sweldens , author2-link = Wim Sweldens , title = Factoring wavelet transforms into lifting steps , journal = J. Fourier Anal. Appl. , volume = 4 , issue = 3 , pages = 245–267 , year = 1998 , doi = 10.1007/BF02476026 , s2cid = 195242970 , url = http://cm.bell-labs.com/who/wim/papers/factor/index.html , url-status = dead , archiveurl = https://web.archive.org/web/20061207025713/http://cm.bell-labs.com/who/wim/papers/factor/index.html , archivedate = 2006-12-07 However, classical matrix decompositions like LU and
QR decomposition In linear algebra, a QR decomposition, also known as a QR factorization or QU factorization, is a decomposition of a matrix ''A'' into a product ''A'' = ''QR'' of an orthogonal matrix ''Q'' and an upper triangular matrix ''R''. QR decompo ...
cannot be applied immediately, because the filters form a
ring Ring may refer to: * Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry * To make a sound with a bell, and the sound made by a bell :(hence) to initiate a telephone connection Arts, entertainment and media Film and ...
with respect to convolution, not a
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
.


References

Wavelets Digital signal processing