Discrete wavelet transform

The Haar DWT illustrates the desirable properties of wavelets in general. First, it can be performed in ${\displaystyle O(n)}$ operations; second, it captures not only a notion of the frequency content of the input, by examining it at different scales, but also temporal content, i.e. the times at which these frequencies occur. Combined, these two properties make the Fast wavelet transform (FWT) an alternative to the conventional fast Fourier transform (FFT).

The discrete wavelet transform has a huge number of applications in science, engineering, mathematics and computer science. Most notably, it is used for signal coding, to represent a discrete signal in a more redundant form, often as a preconditioning for data compression. Practical applications can also be found in signal processing of accelerations for gait analysis,[13][14] image processing,[15][16] in digital communications and many others.[17] [18][19]

It is shown that discrete wavelet transform (discrete in scale and shift, and continuous in time) is successfully implemented as analog filter bank in biomedical signal processing for design of low-power pacemakers and also in ultra-wideband (UWB) wireless communications.[20]

Image with Gaussian noise

Image with Gaussian noise removed

Wavelets are often used to denoise two dimensional signals, such as images. The following example provides three steps to remove unwanted white Gaussian noise from the noisy image shown. Matlab was used to import and filter the image.

The first step is to choose a wavelet type, and a level N of decomposition. In this case biorthogonal 3.5 wavelets were chosen with a level N of 10. Biorthogonal wavelets are commonly used in image processing to detect and filter white Gaussian noise,[21] due to their high contrast of neighboring pixel intensity values. Using these wavelets a wavelet transformation is performed on the two dimensional image.

Following the decomposition of the image file, the next step is to determine threshold values for each level from 1 to N. Birgé-Massart strategy[22] is a fairly common method for selecting these thresholds. Using this process individual thresholds are made for N = 10 levels. Applying these thresholds are the majority of the actual filtering of the signal.

The final step is to reconstruct the image from the modified levels. This is accomplished using an inverse wavelet transform. The resulting image, with white Gaussian noise removed is shown below the original image. When filtering any form of data it is important to quantify the signal-to-noise-ratio of the result. In this case, the SNR of the noisy image in comparison to the original was 30.4958%, and the SNR of the denoised image is 32.5525%. The resulting improvement of the wavelet filtering is a SNR gain of 2.0567%.[23]

It is important to note that choosing other wavelets, levels, and thresholding strategies can result in different types of filtering. In this example, white Gaussian noise was chosen to be removed. Although, with different thresholding, it could just as easily have been amplified.

To illustrate the differences and similarities between the discrete wavelet transform with the discrete Fourier transform, consider the DWT and DFT of the following sequence: (1,0,0,0), a unit impulse.

The DFT has orthogonal basis (DFT matrix):

${\displaystyle {\begin{bmatrix}1&1&1&1\\1&-i&-1&i\\1&-1&1&-1\\1&i&-1&-i\end{bmatrix}}}$

while the DWT with Haar wavelets for length 4 data has orthogonal basis in the rows of:

${\displaystyle {\begin{bmatrix}1&1&1&1\\1&1&-1&-1\\1&-1&0&0\\0&0&1&-1\end{bmatrix}}}$

(To simplify notation, whole numbers are used, so the bases are orthogonal but not orthonormal.)

Preliminary observations include:

• Sinusoidal waves differ only in their frequency. The first does not complete any cycles, the second completes one full cycle, the third completes two cycles, and the fourth completes three cycles (which is equivalent to completing one cycle in the opposite direction). Differences in phase can be represented by multiplying a given basis vector by a complex constant.
• Wavelets, by contrast, have both frequency and location. As before, the first completes zero cycles, and the second completes one cycle. However, the third and fourth both have the same frequency, twice that of the first. Rather than differing in frequency, they differ in location — the third is nonzero over the first two elements, and the fourth is nonzero over the second two elements.

${\displaystyle {\begin{aligned}(1,0,0,0)&={\frac {1}{4}}(1,1,1,1)+{\frac {1}{4}}(1,1,-1,-1)+{\frac {1}{2}}(1,-1,0,0)\qquad {\text{Haar DWT}}\\(1,0,0,0)&={\frac {1}{4}}(1,1,1,1)+{\frac {1}{4}}(1,i,-1,-i)+{\frac {1}{4}}(1,-1,1,-1)+{\frac {1}{4}}(1,-i,-1,i)\qquad {\text{DFT}}\end{aligned}}}$

The DWT demonstrates the localization: the (1,1,1,1) term gives the average signal value, the (1,1,–1,–1) places the signal in the left side of the domain, and the (1,–1,0,0) places it at the left side of the left side, and truncating at any stage yields a downsampled version of the signal:

${\displaystyle {\begin{aligned}&\left({\frac {1}{4}},{\frac {1}{4}},{\frac {1}{4}},{\frac {1}{4}}\right)\\&\left({\frac {1}{2}},{\frac {1}{2}},0,0\right)\qquad {\text{2-term truncation}}\\&\left(1,0,0,0\right)\end{aligned}}}$

The sinc function, showing the time domain artifacts (undershoot and ringing) of truncating a Fourier series.

The DFT, by contrast, expresses the sequence by the interference of waves of various frequencies – thus truncating the series yields a low-pass filtered version of the series:

${\displaystyle {\begin{aligned}&\left({\frac {1}{4}},{\frac {1}{4}},{\frac {1}{4}},{\frac {1}{4}}\right)\\&\left({\frac {3}{4}},{\frac {1}{4}},-{\frac {1}{4}},{\frac {1}{4}}\right)\qquad {\text{2-term truncation}}\\&\left(1,0,0,0\right)\end{aligned}}}$

Notably, the middle approximation (2-term) differs. From the frequency domain perspective, this is a better approximation, but from the time domain perspective it has drawbacks – it exhibits undershoot – one of the values is negative, though the original series is non-negative everywhere – and ringing, where the right side is non-zero, unlike in the wavelet transform. On the other hand, the Fourier approximation correctly shows a peak, and all points are within ${\displaystyle 1/4}$ of their correct value, though all points have error. The wavelet approximation, by contrast, places a peak on the left half, but has no peak at the first point, and while it is exactly correct for half the values (reflecting location), it has an error of ${\displaystyle 1/2}$ for the other values.

This illustrates the kinds of trade-offs between these transforms, and how in some respects the DWT provides preferable behavior, particularly for the modeling of transients.

The filterbank implementation of wavelets can be interpreted as computing the wavelet coefficients of a discrete set of child wavelets for a given mother wavelet ${\displaystyle \psi (t)}$. In the case of the discrete wavelet transform, the mother wavelet is shifted and scaled by powers of two

${\displaystyle \psi _{j,k}(t)={\frac {1}{\sqrt {2^{j}}}}\psi \left({\frac {t-k2^{j}}{2^{j}}}\right)}$

where ${\displaystyle j}$ is the scale parameter and ${\displaystyle k}$ is the shift parameter, both of which are integers.

Recall that the wavelet coefficient ${\displaystyle \gamma }$ of a signal ${\displaystyle x(t)}$ is the projection of ${\displaystyle x(t)}$ onto a wavelet, and let ${\displaystyle x(t)}$ be a signal of length ${\displaystyle 2^{N}}$. In the case of a child wavelet in the discrete family above,

${\displaystyle \gamma _{jk}=\int _{-\infty }^{\infty }x(t){\frac {1}{\sqrt {2^{j}}}}\psi \left({\frac {t-k2^{j}}{2^{j}}}\right)dt}$

Now fix ${\displaystyle j}$ at a particular scale, so that ${\displaystyle \gamma _{jk}}$ is a function of ${\displaystyle k}$ only. In light of the above equation, ${\displaystyle \gamma _{jk}}$ can be viewed as a convolution of ${\displaystyle x(t)}$ with a dilated, reflected, and normalized version of the mother wavelet, ${\displaystyle h(t)={\frac {1}{\sqrt {2^{j}}}}\psi \left({\frac {-t}{2^{j}}}\right)}$, sampled at the points ${\displaystyle 1,2^{j},2^{2j},...,2^{N}}$. But this is precisely what the detail coefficients give at level ${\displaystyle j}$ of the discrete wavelet transform. Therefore, for an appropriate choice of ${\displaystyle h[n]}$ and ${\displaystyle g[n]}$, the detail coefficients of the filter bank correspond exactly to a wavelet coefficient of a discrete set of child wavelets for a given mother wavelet ${\displaystyle \psi (t)}$.

As an example, consider the discrete Haar wavelet, whose mother wavelet is ${\displaystyle \psi =[1,-1]}$. Then the dilated, reflected, and normalized version of this wavelet is ${\displaystyle h[n]={\frac {1}{\sqrt {2}}}[-1,1]}$, which is, indeed, the highpass decomposition filter for the discrete Haar wavelet transform.

The filterbank implementation of the Discrete Wavelet Transform takes only O(N) in certain cases, as compared to O(N log N) for the fast Fourier transform.

Note that if ${\displaystyle g[n]}$ and ${\displaystyle h[n]}$ are both a constant length (i.e. their length is independent of N), then ${\displaystyle x*h}$ and ${\displaystyle x*g}$ each take O(N) time. The wavelet filterbank does each of these two O(N) convolutions, then splits the signal into two branches of size N/2. But it only recursively splits the upper branch convolved with ${\displaystyle g[n]}$ (as contrasted with the FFT, which recursively splits both the upper branch and the lower branch). This leads to the following recurrence relation

${\displaystyle T(N)=2N+T\left({\frac {N}{2}}\right)}$

which leads to an O(N) time for the entire operation, as can be shown by a geometric series expansion of the above relation.

As an example, the discrete Haar wavelet transform is linear, since in that case ${\displaystyle h[n]}$ and ${\displaystyle g[n]}$ are constant length 2.

${\displaystyle h[n]=\left[{\frac {-{\sqrt {2}}}{2}},{\frac {\sqrt {2}}{2}}\right]g[n]=\left[{\frac {\sqrt {2}}{2}},{\frac {\sqrt {2}}{2}}\right]}$

The locality of wavelets, coupled with the O(N) complexity, guarantees that the transform can be computed online (on a streaming basis). This property is in sharp contrast to FFT, which requires access to the entire signal at once. It also applies to the multi-scale transform and also to the multi-dimensional transforms (e.g., 2-D DWT).[24]

• The Adam7 algorithm, used for interlacing in the Portable Network Graphics (PNG) format, is a multiscale model of the data which is similar to a DWT with Haar wavelets. Unlike the DWT, it has a specific scale – it starts from an 8×8 block, and it downsamples the image, rather than decimating (low-pass filtering, then downsampling). It thus offers worse frequency behavior, showing artifacts (pixelation) at the early stages, in return for simpler implementation.
  See also: Adam7 algorithm
• The multiplicative (or geometric) discrete wavelet transform [25] is a variant that applies to an observation model ${\displaystyle {\bf {y}}=f{\bf {X}}}$ involving interactions of a positive regular function ${\displaystyle f}$ and a multiplicative independent positive noise ${\displaystyle X}$, with ${\displaystyle \mathbb {E} X=1}$. Denote ${\displaystyle {\cal {W}}}$, a wavelet transform. Since ${\displaystyle f{\bf {X}}=f+{f({\bf {X}}-1)}}$, then the standard (additive) discrete wavelet transform ${\displaystyle {\cal {W^{+}}}}$ is such that ${\displaystyle {\cal {W^{+}}}{\bf {y}}={\cal {W^{+}}}f+{\cal {W^{+}}}{f({\bf {X}}-1)},}$ where detail coefficients ${\displaystyle {\cal {W^{+}}}{f({\bf {X}}-1)}}$ cannot be considered as sparse in general, due to the contribution of ${\displaystyle f}$ in the latter expression. In the multiplicative framework, the wavelet transform is such that ${\displaystyle {\cal {W^{\times }}}{\bf {y}}=\left({\cal {W^{\times }}}f\right)\times \left({\cal {W^{\times }}}{\bf {X}}\right).}$ This 'embedding' of wavelets in a multiplicative algebra involves generalized multiplicative approximations and detail operators: For instance, in the case of the Haar wavelets, then up to the normalization coefficient ${\displaystyle \alpha }$, the standard ${\displaystyle {\cal {W^{+}}}}$ approximations (arithmetic mean) ${\displaystyle c_{k}=\alpha (y_{k}+y_{k-1})}$ and details (arithmetic differences) ${\displaystyle d_{k}=\alpha (y_{k}-y_{k-1})}$ become respectively geometric mean approximations ${\displaystyle c_{k}^{\ast }=(y_{k}\times y_{k-1})^{\alpha }}$ and geometric differences (details) ${\displaystyle d_{k}^{\ast }=\left({\frac {y_{k}}{y_{k-1}}}\right)^{\alpha }}$ when using ${\displaystyle {\cal {W^{\times }}}}$.

In its simplest form, the DWT is remarkably easy to compute.

The Haar wavelet in Java:

public static int[] discreteHaarWaveletTransform(int[] input) {
    // This function assumes that input.length=2^n, n>1
    int[] output = new int[input.length];

    for (int length = input.length / 2; ; length = length / 2) {
        // length is the current length of the working area of the output array.
        // length starts at half of the array size and every iteration is halved until it is 1.
        for (int i = 0; i < length; ++i) {
            int sum = input[i * 2] + input[i * 2 + 1];
            int difference = input[i * 2] - input[i * 2 + 1];
            output[i] = sum;
            output[length + i] = difference;
        }
        if (length == 1) {
            return output;
        }

        //Swap arrays to do next iteration
        System.arraycopy(output, 0, input, 0, length);
    }
}

Complete Java code for a 1-D and 2-D DWT using Haar, Daubechies, Coiflet, and Legendre wavelets is available from the open source project: JWave. Furthermore, a fast lifting implementation of the discrete biorthogonal CDF 9/7 wavelet transform in C, used in the JPEG 2000 image compression standard can be found here (archived 5 March 2012).

Example of above code

An example of computing the discrete Haar wavelet coefficients for a sound signal of someone saying "I Love Wavelets." The original waveform is shown in blue in the upper left, and the wavelet coefficients are shown in black in the upper right. Along the bottom are shown three zoomed-in regions of the wavelet coefficients for different ranges.

This figure shows an example of applying the above code to compute the Haar wavelet coefficients on a sound waveform. This example highlights two key properties of the wavelet transform:

• Natural signals often have some degree of smoothness, which makes them sparse in the wavelet domain. There are far fewer significant components in the wavelet domain in this example than there are in the time domain, and most of the significant components are towards the coarser coefficients on the left. Hence, natural signals are compressible in the wavelet domain.
• The wavelet transform is a multiresolution, bandpass representation of a signal. This can be seen directly from the filterbank definition of the discrete wavelet transform given in this article. For a signal of length ${\displaystyle 2^{N}}$, the coefficients in the range ${\displaystyle [2^{N-j},2^{N-j+1}]}$ represent a version of the original signal which is in the pass-band ${\displaystyle \left[{\frac {\pi }{2^{j}}},{\frac {\pi }{2^{j-1}}}\right]}$. This is why zooming in on these ranges of the wavelet coefficients looks so similar in structure to the original signal. Ranges which are closer to the left (larger ${\displaystyle j}$ in the above notation), are coarser representations of the signal, while ranges to the right represent finer details.

• Discrete cosine transform (DCT)
• Wavelet
• Wavelet transform
• Wavelet compression
• List of wavelet-related transforms

[1]

• Stanford's WaveLab in matlab
• libdwt, a cross-platform DWT library written in C
• Concise Introduction to Wavelets by René Puschinger