Block transform

Wavelet packet bases are designed by dividing the frequency axis in intervals of varying sizes. These bases are particularly well adapted to decomposing signals that have different behavior in different frequency intervals. If $$f$$ has properties that vary in time, it is then more appropriate to decompose $$f$$ in a block basis that segments the time axis in intervals with sizes that are adapted to the signal structures.

Block Bases
Block orthonormal bases are obtained by dividing the time axis in consecutive intervals $$[ a_p,a_{p+1}]$$ with

$$\lim_{p \to -\infty}a_p=-\infty$$ and $$\lim_{p \to \infty}a_p=\infty$$.

The size $$l_p =a_{p+1}-a_p$$ of each interval is arbitrary. Let $$g=1_{[0,1]}$$. An interval is covered by the dilated rectangular window

$$g_p(t)=1_{[a_p,a_{p+1}]}(t)=g({t-a_p \over l_p}).$$

Theorem 1. constructs a block orthogonal basis of $$L^2(\mathbb{R})$$ from a single orthonormal basis of $$L^2[0,1]$$.

Theorem 1.
if $$\{e_k\}_{k\in \mathbb{Z}}$$ is an orthonormal basis of $$L^2[0,1]$$, then

$$\{g_{p,k}(t)=g_p(t)\frac{1}{\sqrt{l_p}}e_k(\frac{t-a_p}{l_p})\}_{(p,k)\in \mathbb{Z}}$$

is a block orthonormal basis of $$L^2(\mathbb{R})$$

Proof
One can verify that the dilated and translated family

$$\{\frac{1}{\sqrt{l_p}}e_k(\frac{t-a_p}{l_p})\}_{(p,k)\in \mathbb{Z}}$$

is an orthonormal basis of $$L^2[ a_p,a_{p+1}]$$. If $$p\neq q$$, then $$\langle g_{p,k},g_{q,k}\rangle =0$$ since their supports do not overlap. Thus, the family $$\{g_{p,k}(t)=g_p(t)\frac{1}{\sqrt{l_p}}e_k(\frac{t-a_p}{l_p})\}_{(p,k)\in \mathbb{Z}}$$ is orthonormal. To expand a signal $$f$$ in this family, it is decomposed as a sum of separate blocks

$$f(t)=\sum_{p=-\infty}^{+\infty}f(t)g_p(t),$$

and each block $$f(t)g_p(t) $$ is decomposed in the basis $$\{\frac{1}{\sqrt{l_p}}e_k(\frac{t-a_p}{l_p})\}_{(p,k)\in \mathbb{Z}}$$

Block Fourier Basis
A block basis is constructed with the Fourier basis of $$L^2[0,1]$$:

$$\{e_k(t)=exp(i2k\pi t)\}_{k\in \mathbb{Z}}$$

The time support of each block Fourier vector $$g_{p,k}$$ is $$[ a_p,a_{p+1}]$$ of size $$l_p$$. The Fourier transform of $$g = 1_{[0,1]}$$ is

$$\hat{g}(w)=\frac{\sin(w/2)}{w/2}exp(\frac{iw}{2})$$

and

$$\hat{g}_{p,k}(w)=\sqrt{l_p}\hat{g}(l_pw-2k\pi)exp(\frac{-i2\pi ka_p}{l_P}).$$

It is centered at $$2k\pi l_p^{-1}$$ and has a slow asymptotic decay proportional to $$l_p^-1\left\vert w \right\vert^{-1}.$$ Because of this poor frequency localization, even though a signal $$f$$ is smooth, its decomposition in a block Fourier basis may include large high-frequency coefficients. This can also be interpreted as an effect of periodization.

Discrete Block Bases
For all $$p \in \mathbb{Z}$$, suppose that $$a_p \in \mathbb{Z}$$. Discrete block bases are built with discrete rectangular windows having supports on intervals $$[ a_p,a_{p-1}]$$:

$$g_p[n]=1_{[a_p,a_{p+1}-1]}(n)$$.

Since dilations are not defined in a discrete framework, bases of intervals of varying sizes from a single basis cannot generally be derived. Thus, Theorem 2 supposes an orthonormal basis of $$\mathbb{C}^l$$ for any $$l>0$$ can be constructed. The proof is:

Theorem 2.
Suppose that $$\{e_{k,l}\}_{0\leqslant k0$$. The family

$$\{g_{p,k}[n]=g_p[n]e_{k,l_p}[n-a_p]\}_{0\leqslant k<l_p,p\in \mathbb{Z}}$$

is a block orthonormal basis of $$l^2(\mathbb{Z})$$.

A discrete block basis is constructed with discrete Fourier bases

$$\{e_{k,l[n]}=\frac{1}{\sqrt{l}}exp(\frac{i2\pi kn}{l})\}_{0\leqslant k<l}$$

The resulting block Fourier vectors $$g_{p,k}$$ have sharp transitions at the window border, and thus are not well localized in frequency. As in the continuous case, the decomposition of smooth signals $$f$$ may produce large-amplitude, high-frequency coefficients because of border effects.

Block Bases of Images
General block bases of images are constructed by partitioning the plane $$\mathbb{R}^2$$ into rectangles $$\{[a_p,b_p]\times [c_p,d_p]\}_{p\in \mathbb{Z}}$$ of arbitrary length $$l_p = b_p-a_p$$ and width $$w_p=d_p-c_p$$. Let $$\{e_k\}_{k\in\mathbb{Z}}$$ be an orthonormal basis of $$L^2[0,1]$$ and $$g = 1_{[0,1]}$$. The following can be denoted:

$$g_{p,k,j}(x,y)=g(\frac{x-a_p}{l_p})g(\frac{y-c_p}{w_p})\frac{1}{\sqrt{l_pw_p}}e_k(\frac{x-a_p}{l_p})e_j(\frac{y-c_p}{w_p})$$.

The family $$\{g_{p,k,j}\}_{(p,k,j)\in\mathbb{Z}^3}$$ is an orthonormal basis of $$L^2(\mathbb{R}^2)$$.

For discrete images, discrete windows that cover each rectangle can be defined

$$g_p=1_{[a_p,b_{p}-1]\times [c_p,d_p-1]}$$.

If $$\{e_{k,l}\}_{0\leqslant k0$$, then

$$\{g_{p,k,j}[n_1,n_2]=g_p[n_1,n_2]e_{k,l_p}[n_1-a_p]e_{j,w_p}[n_2-c_p]\}_{(k,j,p)\in\mathbb(Z)^3}$$

is a block basis of $$l^2(\mathbb{R}^2)$$