frame-theoretic analysis of oversampled filter banks - signal … · 2006. 4. 25. · our...

13
3256 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 46, NO. 12, DECEMBER 1998 Frame-Theoretic Analysis of Oversampled Filter Banks Helmut B¨ olcskei, Member, IEEE, Franz Hlawatsch, Member, IEEE, and Hans G. Feichtinger Abstract— We provide a frame-theoretic analysis of oversam- pled finite impulse response (FIR) and infinite impulse response (IIR) uniform filter banks (FB’s). Our analysis is based on a new relationship between the FB’s polyphase matrices and the frame operator corresponding to an FB. For a given oversampled analysis FB, we present a parameterization of all synthesis FB’s providing perfect reconstruction. We find necessary and sufficient conditions for an oversampled FB to provide a frame expansion. A new frame-theoretic procedure for the design of paraunitary FB’s from given nonparaunitary FB’s is formulated. We show that the frame bounds of an FB can be obtained by an eigen- analysis of the polyphase matrices. The relevance of the frame bounds as a characterization of important numerical properties of an FB is assessed by means of a stochastic sensitivity analysis. We consider special cases in which the calculation of the frame bounds and synthesis filters is simplified. Finally, simulation results are presented. Index Terms— Filter banks, frames, oversampling, polyphase representation. I. INTRODUCTION U NIFORM filter banks (FB’s), 1 i.e., filter banks with the same decimation factor in each channel [1]–[7], correspond to a class of discrete-time signal expansions. The relation between discrete-time signal expansions and maximally decimated (or critically sampled) FB’s has been studied in [1], [2], [8], and [9]. It has also been recognized that oversampled FB’s [2], [4], [7], [10] correspond to redundant signal expansions [2], [11]–[21]. Oversampled FB’s have recently received increased attention due to their improved design freedom [17], [21]–[23], and noise immunity [21]–[23]. These advantages of oversampled FB’s come at the expense of increased computational cost. Thus, oversampled FB’s allowing an efficient implementation, such as oversampled DFT FB’s [4], [7], [11], [16], [21], [24], [25] and oversampled cosine modulated FB’s [21], [24], [26], are of particular interest. The theory of frames [25], [27]–[33] is an appropriate mathematical framework for redundant signal expansions. Due to the correspondence between redundant signal expansions Manuscript received March 1, 1996; revised April 22, 1998. The associate editor coordinating the review of this paper and approving it for publication was Dr. Jelena Kovacevi´ c. H. B¨ olcskei and F. Hlawatsch are with the Institut f¨ ur Nachrichtentechnik und Hochfrequenztechnik, Vienna University of Technology, Vienna, Austria (e-mail: [email protected]; [email protected]). H. G. Feichtinger is with the Department of Mathematics, NUHAG, University of Vienna, Vienna, Austria (e-mail: [email protected]). Publisher Item Identifier S 1053-587X(98)08696-6. 1 For the sake of brevity, we shall use the term filter bank (FB) instead of uniform filter bank. and oversampled FB’s, the theory of frames is similarly appropriate for oversampled FB’s. The use of frame theory for the study of oversampled FIR FB’s was first proposed by Cvetkovi´ c and Vetterli [11], [12], [20] and has also been discussed in [13]–[19]. In this paper, we present a frame-theoretic approach to oversampled FB’s [14]–[17] that is based on an extension of the Zibulski–Zeevi method for the analysis of continuous-time Weyl–Heisenberg frames [34]–[36]. Our approach extends previous work reported in [11]–[13] and [18] and leads to several further original results that include • a parameterization of all synthesis FB’s providing perfect reconstruction (PR) for a given oversampled analysis FB; • methods for estimating the frame bounds of an FB, constructing paraunitary FB’s from nonparaunitary FB’s and calculating approximations to PR synthesis FB’s; • a stochastic sensitivity analysis for oversampled FB’s involving the frame bounds. In addition, we show that certain results formulated in [11]–[13] and [18] for the FIR case also hold in the IIR case. Our approach is based on the fact (to be shown in the paper) that the FB’s polyphase matrices provide matrix representations of the frame operator corresponding to an FB. This fundamental result allows an efficient frame-theoretic analysis of oversampled FIR and IIR FB’s. We shall now outline the paper’s organization and main results. Section II briefly reviews oversampled FB’s and their connection to frames. Section III shows that the polyphase matrices provide matrix representations of a FB’s frame, analysis, and synthesis operators; these matrix representations will furnish a basis for most of our subsequent results. In Section IV, a parameterization of all synthesis FB’s providing PR for a given oversampled analysis FB is presented, and a condition for completeness is given. Section V formulates necessary and sufficient conditions for an oversampled FIR or IIR FB to correspond to a frame. A stochastic sensitivity analysis highlighting the importance of the frame bounds is provided, it is shown how the frame bounds can be estimated from the polyphase matrices, and the approximative construc- tion of the minimum norm PR synthesis FB is discussed. In Section VI, we show that oversampled paraunitary FB’s correspond to tight frames, and we propose a new method for constructing paraunitary FB’s from given nonparaunitary FB’s. Section VII considers important special cases where the calculation of the minimum norm synthesis FB and the frame bounds is simplified. Finally, simulation results are presented in Section VIII. 1053–587X/98$10.00 1998 IEEE Copyright IEEE 1998

Upload: others

Post on 07-Nov-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Frame-Theoretic Analysis of Oversampled Filter Banks - Signal … · 2006. 4. 25. · Our frame-theoretic analysis of oversampled FB’s will be based on the well-known polyphase

3256 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 46, NO. 12, DECEMBER 1998

Frame-Theoretic Analysis ofOversampled Filter Banks

Helmut Bolcskei,Member, IEEE, Franz Hlawatsch,Member, IEEE, and Hans G. Feichtinger

Abstract—We provide a frame-theoretic analysis of oversam-pled finite impulse response (FIR) and infinite impulse response(IIR) uniform filter banks (FB’s). Our analysis is based on anew relationship between the FB’s polyphase matrices and theframe operator corresponding to an FB. For a given oversampledanalysis FB, we present a parameterization of all synthesis FB’sproviding perfect reconstruction. We find necessary and sufficientconditions for an oversampled FB to provide a frame expansion.A new frame-theoretic procedure for the design of paraunitaryFB’s from given nonparaunitary FB’s is formulated. We showthat the frame bounds of an FB can be obtained by an eigen-analysis of the polyphase matrices. The relevance of the framebounds as a characterization of important numerical propertiesof an FB is assessed by means of a stochastic sensitivity analysis.We consider special cases in which the calculation of the framebounds and synthesis filters is simplified. Finally, simulationresults are presented.

Index Terms—Filter banks, frames, oversampling, polyphaserepresentation.

I. INTRODUCTION

UNIFORM filter banks (FB’s),1 i.e., filter banks withthe same decimation factor in each channel [1]–[7],

correspond to a class of discrete-time signal expansions.The relation between discrete-time signal expansions andmaximally decimated (or critically sampled) FB’s has beenstudied in [1], [2], [8], and [9]. It has also been recognized thatoversampledFB’s [2], [4], [7], [10] correspond toredundantsignal expansions [2], [11]–[21]. Oversampled FB’s haverecently received increased attention due to their improveddesign freedom [17], [21]–[23], and noise immunity [21]–[23].These advantages of oversampled FB’s come at the expenseof increased computational cost. Thus, oversampled FB’sallowing an efficient implementation, such as oversampledDFT FB’s [4], [7], [11], [16], [21], [24], [25] and oversampledcosine modulated FB’s [21], [24], [26], are of particularinterest.

The theory of frames[25], [27]–[33] is an appropriatemathematical framework for redundant signal expansions. Dueto the correspondence between redundant signal expansions

Manuscript received March 1, 1996; revised April 22, 1998. The associateeditor coordinating the review of this paper and approving it for publicationwas Dr. Jelena Kovacevi´c.

H. Bolcskei and F. Hlawatsch are with the Institut fur Nachrichtentechnikund Hochfrequenztechnik, Vienna University of Technology, Vienna, Austria(e-mail: [email protected]; [email protected]).

H. G. Feichtinger is with the Department of Mathematics, NUHAG,University of Vienna, Vienna, Austria (e-mail: [email protected]).

Publisher Item Identifier S 1053-587X(98)08696-6.1For the sake of brevity, we shall use the termfilter bank (FB) instead of

uniform filter bank.

and oversampled FB’s, the theory of frames is similarlyappropriate for oversampled FB’s. The use of frame theoryfor the study of oversampled FIR FB’s was first proposedby Cvetkovic and Vetterli [11], [12], [20] and has also beendiscussed in [13]–[19].

In this paper, we present a frame-theoretic approach tooversampled FB’s [14]–[17] that is based on an extension ofthe Zibulski–Zeevi method for the analysis of continuous-timeWeyl–Heisenberg frames [34]–[36]. Our approach extendsprevious work reported in [11]–[13] and [18] and leads toseveral further original results that include

• a parameterization of all synthesis FB’s providing perfectreconstruction (PR) for a given oversampled analysis FB;

• methods for estimating the frame bounds of an FB,constructing paraunitary FB’s from nonparaunitary FB’sand calculating approximations to PR synthesis FB’s;

• a stochastic sensitivity analysis for oversampled FB’sinvolving the frame bounds.

In addition, we show that certain results formulated in[11]–[13] and [18] for the FIR case also hold in the IIRcase. Our approach is based on the fact (to be shown inthe paper) that the FB’s polyphase matrices provide matrixrepresentations of the frame operator corresponding to an FB.This fundamental result allows an efficient frame-theoreticanalysis of oversampled FIR and IIR FB’s.

We shall now outline the paper’s organization and mainresults. Section II briefly reviews oversampled FB’s and theirconnection to frames. Section III shows that the polyphasematrices provide matrix representations of a FB’s frame,analysis, and synthesis operators; these matrix representationswill furnish a basis for most of our subsequent results. InSection IV, a parameterization of all synthesis FB’s providingPR for a given oversampled analysis FB is presented, anda condition for completeness is given. Section V formulatesnecessary and sufficient conditions for an oversampled FIRor IIR FB to correspond to a frame. A stochastic sensitivityanalysis highlighting the importance of the frame bounds isprovided, it is shown how the frame bounds can be estimatedfrom the polyphase matrices, and the approximative construc-tion of the minimum norm PR synthesis FB is discussed.In Section VI, we show that oversampledparaunitary FB’scorrespond totight frames, and we propose a new methodfor constructing paraunitary FB’s from given nonparaunitaryFB’s. Section VII considers important special cases where thecalculation of the minimum norm synthesis FB and the framebounds is simplified. Finally, simulation results are presentedin Section VIII.

1053–587X/98$10.00 1998 IEEE

Copyright IEEE 1998

Page 2: Frame-Theoretic Analysis of Oversampled Filter Banks - Signal … · 2006. 4. 25. · Our frame-theoretic analysis of oversampled FB’s will be based on the well-known polyphase

BOLCSKEI et al.: FRAME-THEORETIC ANALYSIS OF OVERSAMPLED FILTER BANKS 3257

Fig. 1. N -channel uniform filter bank.

II. OVERSAMPLED FILTER BANKS AND FRAMES

In this section, we briefly review oversampled FB’s andtheir relation to frames in . We discuss the type of framescorresponding to FB’s, and we show that if the analysis frameis of that type, then so is the dual synthesis frame.

A. Oversampled FB’s

We consider an -channel FB (see Fig. 1) with subsamplingby the integer factor in each channel. The transfer functionsof the analysis and synthesis filters are and

, with corresponding impulse responsesand , respectively. The subband signals are given

by

(1)

with ,, and the reconstructed signal is

(2)

with and. Here, and denote

the FB analysis and synthesis operator, respectively.In thecritically sampled(or maximally decimated) case, the subband signals contain exactly as many samples

(per unit of time) as the input signal . In theoversampledcase , however, the subband signals are redundantin that they contain more samples (per unit of time) thanthe input signal . Oversampled FB’s offer more designfreedom and improved numerical properties as comparedwith critically sampled FB’s, and they have noise-reducingproperties [17], [21]–[23]. The design freedom is increasedsince for a given oversampled analysis FB, there exists awhole class of synthesis FB’s providing PR (see Section IV-A). The noise-reducing properties of redundant representations[21]–[23], [28], [37] allow a coarser quantization of thesubband signals at the cost of increased sample rate [21]–[23](see Section V-C).

Our frame-theoretic analysis of oversampled FB’s will bebased on the well-knownpolyphase representation[1], [2],[5], [38] of FB’s or, equivalently, the discrete Zak transform[39]–[42]. The polyphase decomposition of the analysis filters

reads

with

The analysis polyphase matrix is defined as. The synthesis filters can be

similarly decomposed as

with

The synthesis polyphase matrix is defined as.

B. Uniform FB Frames

If the FB satisfies PR with zero delay,2 i.e., ,then (2) yields

This shows that a PR FB corresponds to an expansion ofthe input signal into the function set

, [1], [2], [43]. In general,the set is not orthogonal; therefore, the expansioncoefficients, i.e., the subband signals ,are obtained by projecting the signal onto a “dual”set of functions . Critically sampled FB’s provideorthogonal or biorthogonal signal expansions [43], whereasoversampled FB’s correspond to redundant (overcomplete)expansions [2], [11]–[21].

The theory of frames[25], [27]–[33] is a powerful vehi-cle for the study of redundant signal expansions. The set

is said to be aframe for if 3

(3)

with the frame bounds and . The framebounds determine important numerical properties of the FBas discussed in Sections V-C and V-D. If the analysis set

is a frame for , then PR can always beachieved, and a particular synthesis set providing PR is givenby (see [28] and [30])

(4)

2We note that our theory can easily be extended to PR with nonzero delay.3Here, l2( ) denotes the space of square-summable functionsx[n], i.e.,1

n=�1jx[n]j2 <1.

Page 3: Frame-Theoretic Analysis of Oversampled Filter Banks - Signal … · 2006. 4. 25. · Our frame-theoretic analysis of oversampled FB’s will be based on the well-known polyphase

3258 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 46, NO. 12, DECEMBER 1998

Here, is the inverse of theframe operatorofdefined as

The frame operator is a positive definite, linear operator thatmaps onto . It can be written as , where

is the analysis operator in (1), and is its adjoint [44].The frame bounds and are the infimum and supremum,respectively, of the eigenvalues of [28], [30].

If the analysis set is a frame, then the synthesisset defined by (4) is also a frame (the “dual”frame) with frame operator and frame bounds ,

. A frame is calledsnug ifand tight if . For a tight frame, we have

, where is the identity operator on ;hence, there is simply .

The analysis and synthesis frames corresponding to (uni-form) FB’s have a specific “shift invariant” structure since

and ,i.e., they are generated by uniformly time shifting the FBimpulse responses and . A frame with such ashift-invariant structure will be called auniform filter bankframe(UFBF). Such frames have also been considered in [12],[13], [19], and (in a continuous-time setting) in [45].

FB’s whose analysis functions satisfy the framecondition (3) and whose synthesis functions are cho-sen as the dual frame of provide UFBF expansions.If is a UFBF, then the dual frame asdefined by (4) is again a UFBF, i.e., it is generated by uni-formly time shifting a dual set of functions given by

with . This can be seen as follows.Introducing the unitary time-shift operator as

, we can write . Usingand (with denoting

the adjoint of ), it is easily shown that both the frameoperator and its inverse commute with the time-shiftoperator , i.e., and . Wethen obtain

with.

Even though our frame-theoretic approach is valid both foroversampling and critical sampling, in this paper, we restrictour attention to oversampled FB’s and the correspondingUFBF’s. We just note that the frames corresponding to criti-cally sampled FB’s areexact, i.e., orthogonal or biorthogonalfunction sets [8], [43].

III. M ATRIX REPRESENTATIONS

Important problems in frame theory include the inversionof the frame operator and the calculation of frame bounds

. In this section, we will show that the FB’s frameoperator , analysis operator , and synthesis operatorcan be expressed in terms of the FB’s polyphase matrices.Thus, the inversion of the frame operator and the calculationof the frame bounds can be reduced to operations involvingthe polyphase matrices.

A. Matrix Representation of the Frame Operator

The following result extends the Zibulski–Zeevi represen-tation of continuous-time Weyl–Heisenberg frame operators[34]–[36].

Lemma 3.1:Let , where is the frameoperator corresponding to a UFBF. Then, the polyphase com-ponents of and thepolyphase componentsof are related as

(5a)

with

(5b)

or equivalently, using the polyphase vectorsand

with (6)

where denotes4 the paraconjugate of[1].

Proof: Evaluating the polyphase componentsof the signal

, (5) is obtained after sim-ple manipulations.

Thus, the frame operator can be expressed in thepolyphase domain by the UFBF matrix

defined in terms of the analysis polyphase matrix.

Specializing to the unit circle , we next showthat the polyphase matrix can be used to establisha matrix representation [44] of the frame operator. Mostof our subsequent discussion of FB’s will be based on thismatrix representation.

Theorem 3.1:Let be the frame operator corresponding toa UFBF. Then, the matrix

is positive definite for all ; furthermore, it is the matrixrepresentation of the frame operatorwith respect to the basis

of given by5

, .Proof: Using , it follows after

straightforward manipulations that

This shows that is the matrixrepresentation of with respect to the basis . The

4The superscriptH stands for conjugate transposition.5This basis induces the polyphase representation on the unit circle:

hx; en; �i = Xn(ej2��) =1

m=�1 x[mM + n]e�j2��m. Equivalently,hx; en; �i is theZak transformof x[n] [39]–[42].

Page 4: Frame-Theoretic Analysis of Oversampled Filter Banks - Signal … · 2006. 4. 25. · Our frame-theoretic analysis of oversampled FB’s will be based on the well-known polyphase

BOLCSKEI et al.: FRAME-THEORETIC ANALYSIS OF OVERSAMPLED FILTER BANKS 3259

positive definiteness of then follows from the positivedefiniteness of .

An important consequence of Theorem 3.1 is the identity ofthe eigenvalues of the frame operator with the eigenvalues ofits matrix representation: the UFBF matrix.

Corollary 3.1: Let withdenote the eigenvalues of the UFBF matrix

, which are defined by the eigenequation

Any eigenvalue is simultaneously an eigenvalue ofthe frame operator . Conversely, any eigenvalue of issimultaneously an eigenvalue of .

Proof: Using (6), it can easily be shown that, where :

denotes the polyphase transform(Zak transform) operator, i.e., the operator mapping a signalto the polyphase domain with . Since is aunitary transformation [39], it follows that andare unitarily equivalent. Therefore, and have thesame eigenvalues [44].

It follows that the eigenanalysis of the frame operator(a matrix of infinite size) is equivalent to that of the UFBFmatrix [an matrix indexed by a real-valuedparameter ]. Since is a positive definitematrix, its eigenvalues are positive. These results will be usedfor the estimation of frame bounds in Section V-A.

B. Matrix Representation of the Analysisand Synthesis Operators

According to (1), the analysis operator maps the inputsignal into the subband signals . Transforming (1)into the -transform domain yields

where andwith

. Thus, the analysis polyphasematrix provides a polyphase domain representationof the analysis operator . Comparing with

, it is furthermore clear that the adjointanalysis operator is represented by the paraconjugate .

In a similar manner, transforming (2) into the polyphasedomain yields

where with. This shows that the synthesis

operator is represented in the polyphase domain by thesynthesis polyphase matrix .

IV. PERFECT RECONSTRUCTION ANDCOMPLETENESS

We will now derive a parameterization of all synthesisFB’s providing PR for a given oversampled analysis FB.Furthermore, we will formulate a necessary and sufficient

condition for completeness of the analysis set ,which is a prerequisite for PR. In this section, we do notassume that the FB corresponds to a frame, even though closerelations to frame theory will become evident.

A. Parameterization of All PerfectReconstruction Synthesis FB’s

In the oversampled case ( ), the synthesis FB pro-viding PR for a given analysis FB is not uniquely determined.This nonuniqueness entails a desirable freedom of design thatdoes not exist in the case of critical sampling. The followingtheorem provides a parameterization of all PR synthesis FB’scorresponding to a given analysis FB.

Theorem 4.1:Let denote the analysis polyphase ma-trix in an oversampled FB, and assume that has fullrank, i.e., rank , almost everywhere (a.e.). Then,all synthesis polyphase matrices providing PR can bewritten as

(7)

where is any particular PR synthesis polyphasematrix, i.e., any left inverse of , and is an

matrix with arbitrary elements satisfying. A special choice for is the

para-pseudoinverse of , which is defined as6

(8)

Proof: It is well known that an oversampled or criticallysampled FB provides PR (with zero delay) if and only if

(9)

In the oversampled case , the matrices andare rectangular ( and , respectively), and

thus, the solution of (9) [for given ] is not uniquelydetermined; in fact, anyleft inverseof is a valid solution.Specializing results from linear algebra [47, p. 46], it followsthat any left inverse of can be written as in (7), where

is any particular solution of (9). It is straightforwardto verify that the para-pseudoinverse in (8) satisfies (9) and is,thus, a valid solution.

Expression (7) is a parameterization of in terms ofthe parameters that can be chosen arbitrarily.Note that the family of PR synthesis polyphase matrices

corresponds to a family of PR synthesis filters .The importance of the parameterization (7) lies in the factthat once we know some left inverse [such as thepara-pseudoinverse ], the optimumdesign of the PR synthesis FB for a given oversampled analysisFB can be performed using anunconstrainedoptimization.That is, the PR property need no longer be explicitly incor-porated in the optimization as a side constraint. This leads toconsiderable simplifications in optimum FB design.

The particular PR synthesis FB corresponding to the para-pseudoinverse can be given an

6We note that on the unit circle, the para-pseudoinverse in(8) becomes the conventional pseudoinverse [46]R(ej2��) =[EH(ej2��)E(ej2��)]�1EH(ej2��).

Page 5: Frame-Theoretic Analysis of Oversampled Filter Banks - Signal … · 2006. 4. 25. · Our frame-theoretic analysis of oversampled FB’s will be based on the well-known polyphase

3260 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 46, NO. 12, DECEMBER 1998

interesting frame-theoretic interpretation, which has previouslybeen described for the important class of oversampled FIRFB’s in [12]. For given analysis filter impulse responses ,consider the particular synthesis filter impulse responsesprovided by frame theory via (4), i.e.,with , or in other words, is theUFBF that is dual to . From ,it follows with (6) that [simply set

and in (6) for ].This implies . Thus,the para-pseudoinverse of corresponds to the particu-lar PR synthesis FB provided by frame theory. This frame-theoretic solution hasminimum norm in the sense that itminimizes among the class of all PR synthesisFB’s [28], [30]. Using and

, it furthermore follows that the matrixrepresentation of the inverse frame operator is given

by . We note that the relation betweenpseudoinverses and frames has been established in a differentcontext in [48] and [49].

The parameterization (7) can be reformulated in the timedomain as

where the are the PR synthesis filter impulse responsescorresponding to the polyphase matrix , isthe impulse response of the filter with polyphase compo-nents , i.e., , and

. In the -transform domain, (7) canbe reformulated as

where . Thus, all PR synthesis filters areparameterized in terms of the filters thatcan be chosen arbitrarily. In the following, we will mainlyuse theminimum norm synthesis FB or, equivalently,

, which is obtained by setting andin (7).

B. Completeness Condition

The next theorem states a condition for thecompletenessofthe analysis set . The completeness of isa necessary condition for PR, as well as a necessary conditionfor the frame property (cf. Section V-B).

Theorem 4.2:The set withis complete in if and only if the

analysis polyphase matrix has full rank, i.e.,rank , a.e. on .

Proof: Assuming completeness of , it followsthat for all

and, hence, the eigenvalues of [simultaneouslythe eigenvalues of ; see Corollary 3.1] satisfy

a.e. for and . Thisshows that has full rank a.e., i.e., rank

a.e. Using rank rank [47], itfollows that rank a.e. on .The converse statement is shown by reversing this line ofreasoning.

With rank rank [47], it immedi-ately follows that an equivalent condition for completeness isrank a.e. on .

It is intuitively obvious that FB’s cannot satisfy the PRproperty in the undersampled case since there arefewer subband samples (per unit of time) than input samples.Indeed, for , the set is incomplete in .This is so because for , the rank of thematrix is maximally . Hence, rankrank , and using Theorem 4.2, it follows that

is incomplete in .

V. FRAME-THEORETIC PROPERTIES

As mentioned in Section II-B, FB’s providing UFBF ex-pansions are always PR FB’s. Besides the fact that the frameproperty implies the PR property, it is also desirable sinceit guarantees a certain degree of numerical stability (seethe stochastic sensitivity analysis in Section V-C). This sec-tion discusses frame-theoretic aspects of FB’s in terms ofthe matrix representations developed in Section III. We willpresent a method for estimating the frame bounds and con-ditions guaranteeing that an FIR or IIR FB corresponds to aUFBF expansion. Furthermore, a stochastic sensitivity analysisinvolving the frame bounds will be provided, and the approx-imative construction of the PR synthesis FB with minimumnorm will be discussed.

A. Frame Bounds

Since the frame bounds describe important numerical prop-erties of a FB, their calculation is of interest. The next corollarystates that the frame bounds follow from the eigenvalues ofthe UFBF matrix.

Corollary 5.1: The (tightest possible) frame boundsandof a FB providing a UFBF expansion are given by the essen-

tial infimum and supremum, respectively, of the eigenvaluesof the UFBF matrix :

ess inf

ess sup

Proof: It is well known [28], [30], [33] that the (tightestpossible) frame bounds and are the essential infimumand the essential supremum, respectively, of the eigenvaluesof the frame operator . Hence, Corollary 5.1 follows usingCorollary 3.1.

Similarly, we have ess infand ess sup , where the

Page 6: Frame-Theoretic Analysis of Oversampled Filter Banks - Signal … · 2006. 4. 25. · Our frame-theoretic analysis of oversampled FB’s will be based on the well-known polyphase

BOLCSKEI et al.: FRAME-THEORETIC ANALYSIS OF OVERSAMPLED FILTER BANKS 3261

are the eigenvalues of the inverse UFBF matrix. Note that in practice, the frame bounds

have to be estimated by sampling the matrix on theunit circle and performing an eigenanalysis of for

. In Section VII, we will discuss situationswhere the frame bounds can be calculated without performingan explicit eigenanalysis.

An interesting consequence of Corollary 5.1 is the followingcorollary, which has been formulated for the FIR case in [13]and is extended below to the IIR case.

Corollary 5.2: Let be a UFBF for withframe bounds and . Then

(10)

In particular, in the case of a tight UFBF (where ),we have

Proof: The trace of the UFBF matrix satisfiestr , and, further-more, tr so that

(11)

From Corollary 5.1, we conclude that, and with (11),

. Integrating both sides of thisinequality with respect to the frequency parameterandusing [39], we obtain(10).

If we normalize the such that for, then , and (10) yields

the following inequality relating the frame bounds with theoversampling factor

(12)

In particular, for a tight UFBF (corresponding to a paraunitaryFB; see Section VI), it follows that the frame bounds are equalto the oversampling factor

(13)

B. Frame Conditions

We shall now derive conditions for an oversampled FB toprovide a UFBF expansion in . The next lemma discussesthe existence of the upper frame bound , whichguarantees that the subband signals have finite energy if theinput signal has finite energy.

Lemma 5.1:The analysis set has an upper framebound , i.e.,

if and only if the polyphase components are allbounded a.e., i.e., a.e. on [0, 1) for

, .Proof: Let a.e. It fol-

lows that the entries of the UFBF matrixare bounded a.e., which implies that

the are bounded a.e. Using Corollary 5.1, weconclude that . We next prove the converse. Let

ess sup . It follows that

is bounded a.e. With (11), this implies that theare bounded a.e.

We are now ready to formulate a necessary and sufficientcondition for an FB to provide a UFBF expansion. Thefollowing theorem has previously been given for the importantspecial case of FIR FB’s in [12].

Theorem 5.1:An oversampled FB with bounded-inputbounded-output (BIBO) stable7 analysis filters providesa UFBF expansion in , i.e., the analysis set isa UFBF for if and only if the analysis polyphase matrix

has full rank on the unit circle,8 i.e.,

rank for

Proof: From , it follows that theare bounded, and hence, we conclude from

Lemma 5.1 that an upper frame bound exists. Itremains to be shown that a full rank is necessaryand sufficient for the existence of a lower frame bound

. If has full rank on [0, 1), thenhas full rank on [0, 1), which means

that for and .From , it follows that the are continuousfunctions of , and therefore, we can conclude that9

ess inf . We next prove that,conversely, a full-rank is necessary for the existenceof . Suppose that does not have full rank on[0, 1). It follows that does not have full rank on[0, 1). This implies that there is at least one eigenvalue with

on a measurable set with positive measure. Hence,using Corollary 5.1, we conclude that .

Alternatively, it can be shown that an FB corresponds toa UFBF for if has full rank for ,and the are continuous and bounded functionsof . Yet another condition, which is phrased in terms of theeigenvalues of the UFBF matrix , follows easily fromCorollary 3.1:

7BIBO stability means thathk[n] 2 l1( ), i.e., 1

n=�1jhk[n]j < 1

for k = 0; 1; � � � ; N � 1.8We emphasize thatE(z) is here required to have full rankeverywhereon

the unit circle. In contrast, the completeness condition in Theorem 4.2 merelyrequiredE(z) to have full ranka.e.on the unit circle.

9For a continuous function, the essential infimum is the infimum (this is,however, not relevant to this proof).

Page 7: Frame-Theoretic Analysis of Oversampled Filter Banks - Signal … · 2006. 4. 25. · Our frame-theoretic analysis of oversampled FB’s will be based on the well-known polyphase

3262 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 46, NO. 12, DECEMBER 1998

Fig. 2. Adding noise to the subband signals.

Corollary 5.3: An oversampled FB provides a UFBF ex-pansion in if and only if the eigenvalues of theUFBF matrix satisfy

ess inf

and

ess sup

Proof: It is known [28], [30], [33] that is aframe if and only if ess inf and ess sup , where

is the set of all eigenvalues of the frame operator. Dueto Corollary 3.1, the eigenvalues of equal the eigenvalues

of , which completes the proof.Using the fact that FIR filters are inherently BIBO stable

and, thus, one of the conditions of Theorem 5.1 is here alwayssatisfied, it follows that an oversampled FB with FIR analysisfilters provides a UFBF expansion in if and only if theanalysis polyphase matrix has full rank on the unit circle,i.e., rank for . This result has beenpreviously reported by Cvetkovic and Vetterli [12].

C. Sensitivity Analysis

Important numerical properties of the UFBF and,thus, of the associated FB as well, are determined by its framebounds and [28]. Let us investigate the sensitivity ofoversampled FB’s to (quantization) noise added to thesubband signals ( ).We collect the noise signals in the -dimensional vectornoise process that is assumed to be wide-sense stationaryand zero-mean. The power spectral matrix of isdefined as with the autocorrelationmatrix , where denotes theexpectation operator [1].

It is convenient to redraw the FB in the “polyphase do-main,” as shown in Fig. 2 [1]. Here, the polyphase vectors

and are defined as in Section III-B, andis the -transform of the noise .

Assuming a PR FB, we have (see Fig. 2)so that the reconstruction error

is given by

The reconstruction error is again wide-sense stationaryand zero-mean, with power spectral matrix [1]

and variance

tr

where tr denotes the trace. With the idealizing assumptionthat the noise signals are uncorrelated and white withidentical variances , i.e.,and [1], the error variance becomes

tr (14)

We will now restrict our attention to the PR synthesisFB corresponding to the dual frame, i.e., .With tr , where

denotes the eigenvalues of the inverse UFBF matrix, and using (see Corollary

5.1) or equivalently , we obtaintr . Inserting this

in (14), we further obtain

(15)

i.e., the reconstruction error variance is bounded in termsof the frame bounds , . Let us assume normalized analysisfilters, i.e., for . Then,(12) yields , where isthe oversampling factor. Hence, for or equivalently

(snug frame), (15) implies

with

which means that small perturbations of the subband signalsyield small reconstruction error. We note that the design ofFB’s with (and additional desirable properties suchas good frequency selectivity) is easier for larger oversamplingfactor (see Section VIII).

For a paraunitary FB with , we have[see (13)], and hence, (15) becomes

Thus, in the paraunitary case, the reconstruction error varianceis inversely proportional to the oversampling factor, whichmeans that more oversampling entails more noise reduction.Such a “ behavior” of the reconstruction error variancehas previously been observed for oversampled A/D conversion[50], for tight frames in finite dimensional spaces [28], [51],and for reconstruction from a finite set of Weyl–Heisenberg(Gabor) or wavelet coefficients [28], [37]. Recently, underadditional conditions, a behavior has been demonstratedfor Weyl–Heisenberg frames [20], [37], [52].

D. Approximative Construction of the Synthesis Filter Bank

The calculation of the minimum norm, PR synthesis FB(para-pseudoinverse) requires theinversion of the matrix , which is a cumbersometask in general. If the FB corresponds to a UFBF, then anapproximative calculation of the minimum norm synthesisFB (which is analogous to the approximation of dual framesdescribed in [33]) can be based on a series expansion of

Page 8: Frame-Theoretic Analysis of Oversampled Filter Banks - Signal … · 2006. 4. 25. · Our frame-theoretic analysis of oversampled FB’s will be based on the well-known polyphase

BOLCSKEI et al.: FRAME-THEORETIC ANALYSIS OF OVERSAMPLED FILTER BANKS 3263

. Indeed, applying the Neumann se-ries expansion [44] to the matrix , the minimumnorm synthesis FB is expressed as

(16)The convergence of this series expansion follows from frametheory [28] using the correspondence between the frameoperator and the UFBF matrix ; it will befaster for snugger frames, i.e., for closer frame bounds .

By truncating the expansion (16), the synthesis FB canbe approximated with arbitrary accuracy. Estimates of theresulting reconstruction error are available [28]. We shall hererestrict our attention to the zero-order approximation ofobtained by retaining only the term in (16)

which corresponds to an approximation of the minimum normsynthesis filters as

(17)

The reconstruction error resulting from this approximation canbe bounded in terms of the frame boundsand . Withdenoting the signal reconstructed using the above “zero-ordersynthesis FB” , we have the error bound [33]

(18)

We see that the reconstruction error is small for , i.e.,when the underlying UFBF issnug. Thus, in the snug case, thesynthesis impulse responses are a good approximationto the true minimum norm, PR impulse responses , inthe sense that the resulting reconstruction error issmall. In the tight case where , the reconstructionerror becomes zero altogether, and indeed, the approximationis here exact as .

Besides the trivial zero-order approximation discussedabove, the series expansion (16) also allows the iterativecalculation of the minimum norm synthesis filters .Sophisticated algorithms for this iteration have been proposedin [53] in a frame-theoretic setting. Using the correspon-dences established further above, the reformulation of thesealgorithms in the present FB framework is straightforward.

VI. OVERSAMPLED PARAUNITARY

FILTER BANKS AND TIGHT FRAMES

In this section, we show that oversampled paraunitary FB’sprovide tight UFBF expansions in , and we discuss aframe-theoretic method for constructing paraunitary FB’s fromgiven nonparaunitary FB’s.

A. Equivalence of Oversampled ParaunitaryFilter Banks and Tight Frames

The analysis UFBF is tight if . Fromframe theory, we know that here, [28]. With (4), thisimplies that the frame-theoretic (i.e., minimum norm) solutionfor the PR synthesis FB is

or equivalently . This is precisely the rela-tion between the synthesis and analysis filters in a paraunitaryFB [1]. In fact, we can formulate the following theorem thatextends a result previously reported in [12] for the FIR caseand in [54] for the case of complex modulated (DFT) FB’s.

Theorem 6.1:An oversampled FB provides atight UFBFexpansion in if and only if it is paraunitary, i.e.,

The frame bound is given by.

Proof: From , it follows with (6) that, which implies . Hence, com-

paring with , we conclude that , i.e.,is a tight UFBF with frame bound . The converse

statement is proven by reversing this line of reasoning. Com-bining and ,it follows that .

Paraunitary FB’s are also known as orthogonal FB’s. How-ever, the name “orthogonal” is justified only in the criticalcase since critically sampled paraunitary FB’s provide decom-positions into orthogonal UFBF’s. In the oversampled case,paraunitary FB’s correspond to UFBF’s that are tight but notorthogonal.

B. Construction of Paraunitary FB’s

We next describe a procedure for the derivation of a parau-nitary FB from a given nonparaunitary FB. From frame theory,we know that application of the positive definite operatorsquare root to each of the frame functionsproduces a tight frame [28], [30]. Using the correspondencebetween the frame operator and the UFBF matrix

, the following result is obtained.Theorem 6.2:Consider an FB corresponding to a UFBF

expansion, and let be an invertible, para-Hermitian,10

matrix such that , where isthe FB’s analysis polyphase matrix. Then, the FB with analysispolyphase matrix

is paraunitary with frame bound , i.e.,. If, moreover, in the case of critical

sampling the original FB is biorthogonal, then the FB withanalysis polyphase matrix is orthogonal.

10A matrix P(z) is said to be para-Hermitian if~P(z) = P(z) [55].

Page 9: Frame-Theoretic Analysis of Oversampled Filter Banks - Signal … · 2006. 4. 25. · Our frame-theoretic analysis of oversampled FB’s will be based on the well-known polyphase

3264 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 46, NO. 12, DECEMBER 1998

Proof: We have. Inserting

in the right-hand side and using , it followsthat , which shows that the FB withpolyphase matrix is paraunitary with frame bound

.From frame theory [28], [30], we know that by applying the

procedure described above to an exact frame (corresponding toa biorthogonal FB), an orthogonal function set (correspondingto an orthogonal FB) is obtained. Note that a UFBF can beexact only in the case of critical sampling.

The matrix can be calculated by performing a

factorization of . A detailed study ofsuch a factorization problem for both polynomial and rationalmatrices is given in [56]. Alternatively, the approximativecalculation of can be based on a series expansionsimilar to (16): Using the correspondence between the frameoperator and the UFBF matrix , we have[57]

VII. SPECIAL CASES

In this section, we discuss FB’s whose frame operatorbecomes a simple multiplication operator in the polyphasedomain or in the frequency domain, i.e., the polyphase rep-resentation or the Fourier transform “diagonalizes” the frameoperator. This class of FB’s comprises integer oversampledor critically sampled DFT FB’s, nondecimated FB’s, andbandlimited FB’s. We shall see that the calculation of thesynthesis FB, of the frame bounds, and of paraunitary FB’sis drastically simplified in these cases.

A. Diagonality in the Polyphase Domain

According to Lemma 3.1, the frame operatoris repre-sented in the polyphase domain by the UFBF matrix .Consequently, a FB corresponding to a UFBF is “diagonal inthe polyphase domain” if the UFBF matrix is a diagonal matrix

diag

with

It follows from (8) that the polyphase matrix of the minimumnorm synthesis FB is given by

diag

(19)

We can see that the calculation of the minimum norm synthesisFB, which in general requires the inversion of the UFBF

matrix , reduces to simple divisions in thepolyphase domain.

Using the fact that the eigenvalues of the diagonal matrixare given by

it follows from Corollary 5.3 that the FB corresponds to aUFBF if and only if

ess inf

and

ess sup

and according to Corollary 5.1, the frame bounds are given by

ess inf

ess sup

In particular, the FB is paraunitary with frame boundif andonly if

for

The construction of paraunitary FB’s from nonparaunitaryFB’s (see Theorem 6.2) simplifies as well. Consider an FBwith analysis polyphase components , and define

by with . Then, theFB with analysis polyphase components

is paraunitary with , i.e., . Thus,the matrix factorization reduces to afactorization of polynomials in (in the FIR case) or rationalfunctions in (in the IIR case).

Integer oversampled or critically sampled DFT FB’s [4],[6], [7], [11], [16], [24], [39], [54], [58] are an importantexample of FB’s that are diagonal in the polyphase do-main. The corresponding UFBF type is the important classof Weyl–Heisenberg frames[16], [25], [28], [30], [33], [34],[39], [59], [60]. In a DFT FB, the analysis filters are mod-ulated versions of a single analysis prototype filter , i.e.,

with . The minimum normsynthesis FB has the same structure, i.e.,[16]. The polyphase components are

with

Page 10: Frame-Theoretic Analysis of Oversampled Filter Banks - Signal … · 2006. 4. 25. · Our frame-theoretic analysis of oversampled FB’s will be based on the well-known polyphase

BOLCSKEI et al.: FRAME-THEORETIC ANALYSIS OF OVERSAMPLED FILTER BANKS 3265

and

with

In the important cases of integer oversampling (with IN, ) and critical sampling ( , i.e.,

), the DFT FB is diagonal in the polyphase domain with

and

Hence, all results presented further above for diagonal FB’sapply to integer oversampled or critically sampled DFT FB’s.In particular, (19) simplifies to

In [5] and [6], it has been shown that for critical sampling,a DFT FB with PR and FIR filters in both the analysis and thesynthesis section is possible only if all the polyphase filtersare pure delays. This leads to filters with poor frequencyselectivity. In the oversampled case, this restriction is relaxed.For , for example, a paraunitary DFT FB with FIR filterscan be constructed by using polyphase filters that satisfy thepower symmetry conditions [1]

for

It is well known that this can be achieved with FIR filterscorresponding to nontrivial polyphase filters [1]. OversampledDFT FB’s with good frequency localization have also beenconstructed in [11].

B. Diagonality in the Frequency Domain

An FB corresponding to a UFBF is “diagonal in the fre-quency domain” if its frame operator is a simple multiplicationoperator in the frequency domain (-transform domain). With

, this means

with

(20)where , , and denote the -transforms of ,

, and , respectively. The eigenvalues of the UFBFmatrix are here given by

(21)

Two important classes of FB’s that are diagonal in the fre-quency domain arenondecimatedFB’s, i.e., FB’s with nodecimation in the subbands11 or , andbandlimitedFB’s,i.e., FB’s whose analysis filters have bandwidth . Wenote that nondecimated FIR FB’s have been studied previouslyby Cvetkovic and Vetterli in [12].

With (20), it follows that the -transforms of the minimumnorm synthesis filters are obtained as

Furthermore, (21) implies that the frame condition can bereformulated as

ess inf and ess sup

With , the lowerbound means that the set of analysis filters has to “cover”the entire frequency interval [0, 1). This condition issatisfied if and only if the analysis filters have no zeros incommon on the unit circle. The upper bound is automaticallysatisfied for BIBO stable filters, i.e., for

. The frame bounds are given by

ess inf ess sup

Paraunitarity with frame bound implies

which means that the analysis filters arepower comple-mentary[1]. Paraunitary FB’s with frame bound can beconstructed by solving the factorization with

; the paraunitary analysis filters are then given by

VIII. SIMULATION RESULTS

We now present simulation results demonstrating the im-portance of snug frames ( ) and the benefits ofoversampling. We consider a DFT FB (see Section VII-A)with channels and a 192-tap lowpass analysisprototype filter . The simulation results were obtainedby performing all calculations within the framework of cyclicDFT FB’s (cyclic Weyl–Heisenberg frames) [39] with period192. The dual windows and the frame bounds we obtainedare, hence, approximations to the true (i.e., noncyclic) dualwindows and frame bounds.

The analysis prototype filter is depicted in Fig. 3(a).Fig. 3(b)–(d) shows the minimum norm synthesis prototypefilters for oversampling by the factors 2, 4, and 8, respectively.The frame bound ratio was estimated as 33.258, 2.260,

11We note that nondecimated FB’s are also trivially diagonal in thepolyphase domain.

Page 11: Frame-Theoretic Analysis of Oversampled Filter Banks - Signal … · 2006. 4. 25. · Our frame-theoretic analysis of oversampled FB’s will be based on the well-known polyphase

3266 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 46, NO. 12, DECEMBER 1998

(a) (b)

(c) (d)

Fig. 3. Comparison of analysis and minimum norm synthesis prototypefilters for various frame bound ratios and oversampling factors. (a) Analysisprototype h[n]. (b)–(d) Minimum norm synthesis prototypef [n] for (b)oversampling by 2 (resulting inB=A = 33:258), (c) oversampling by 4(B=A = 2:260), and (d) oversampling by 8 (B=A = 1:107).

TABLE IFRAME BOUND RATIO B=A AS A FUNCTION

OF THE OVERSAMPLING FACTOR N=M

and 1.107, respectively. Thus, more oversampling is seen toresult in snugger frames.

It is furthermore seen that for snugger frames (i.e., moreoversampling), the minimum norm synthesis prototype isincreasingly similar to the analysis prototype. Approximatingthe synthesis FB using the zero-order approximation in (17)(i.e., essentially using the analysis FB as synthesis FB) resultedin the following upper bounds onthe normalized reconstruction error [see (18)]:

• for oversampling by 2;• for oversampling by 4;• for oversampling by 8.

Thus, the reconstruction error can be expected to be negligibleif the oversampling factor is sufficiently large.

For the DFT FB analysis prototype in Fig. 3(a), Table Ishows the frame bound ratio as a function of theoversampling factor (note that means critical

sampling). We see that is closer to 1 (i.e., the frame issnugger) for increasing oversampling factor; for ,the FB is nearly paraunitary.

We caution, however, that if the prototype does not“match” the time–frequency grid determined by the parameters

and , it is not guaranteed that the frame bound ratio willimprove for increasing oversampling factor [61]. Furthermore,we note that paraunitary FB’s (corresponding to tight frames,i.e., ) can, of course, also be constructed in the case ofcritical sampling. However, in the oversampled case, the filtersof a paraunitary FB tend to have desirable properties (such asimproved frequency selectivity). This is due to the fact thatin the design of an oversampled PR FB, there are fewer sideconstraints to be satisfied than in the case of critical sampling.

IX. CONCLUSION

We have shown that the theory of frames is a powerfulvehicle for the analysis and design of oversampled filterbanks (FB’s). A key result on which most of our theory wasbased is the fact that the polyphase matrices provide matrixrepresentations of the frame operator. We demonstrated thatthe frame bounds characterize important numerical propertiesof FB’s and that they can be obtained by an eigenanalysis ofthe polyphase matrices. For a given oversampled analysis FB,we provided a compact and useful parameterization of all syn-thesis FB’s providing perfect reconstruction, and we discussedthe perfect reconstruction synthesis FB with minimum norm(i.e., the particular synthesis FB obtained from frame theory)and its approximative construction. We formulated conditionsfor an oversampled FB to provide a frame decomposition.We also proposed a new method for constructing paraunitaryFB’s from given nonparaunitary FB’s. Finally, we presentedsimulation results demonstrating the benefits of snug framesand oversampling.

ACKNOWLEDGMENT

The authors would like to thank the anonymous reviewersfor valuable comments that have led to improvements in thispaper.

REFERENCES

[1] P. P. Vaidyanathan,Multirate Systems and Filter Banks. EnglewoodCliffs, NJ: Prentice-Hall, 1993.

[2] M. Vetterli and J. Kovacevic, Wavelets and Subband Coding. Engle-wood Cliffs, NJ: Prentice-Hall, 1995.

[3] A. N. Akansu and R. A. Haddad,Multiresolution Signal Decomposition.New York: Academic, 1992.

[4] R. E. Crochiere and L. R. Rabiner,Multirate Digital Signal Processing.Englewood Cliffs, NJ: Prentice-Hall, 1983.

[5] M. Vetterli, “A theory of multirate filter banks,”IEEE Trans. Acoust.,Speech, Signal Processingvol. ASSP-35, pp. 356–372, Mar. 1987.

[6] K. Swaminathan and P. P. Vaidyanathan, “Theory and design of uniformDFT, parallel, quadrature mirror filter banks,”IEEE Trans. Circuits Syst.,vol. CAS-33, pp. 1170–1191, Nov. 1986.

[7] M. J. T. Smith and T. P. Barnwell, “A new filter bank theory fortime-frequency representation,”IEEE Trans. Acoust., Speech, SignalProcessing,vol. ASSP-35, pp. 314–327, Mar. 1987.

[8] T. Chen and P. P. Vaidyanathan, “Vector space framework for unificationof one- and multidimensional filter bank theory,”IEEE Trans. SignalProcessing,vol. 42, pp. 2006–2021, Aug. 1994.

[9] S. G. Mallat, A Wavelet Tour of Signal Processing. San Diego, CA:Academic, 1998.

Page 12: Frame-Theoretic Analysis of Oversampled Filter Banks - Signal … · 2006. 4. 25. · Our frame-theoretic analysis of oversampled FB’s will be based on the well-known polyphase

BOLCSKEI et al.: FRAME-THEORETIC ANALYSIS OF OVERSAMPLED FILTER BANKS 3267

[10] Y. Lin and P. P. Vaidyanathan, “Application of DFT filter banks andcosine modulated filter banks in filtering,” inProc. APCCAS,Taipei,Taiwan, 1994, pp. 254–259.

[11] Z. Cvetkovic, “Oversampled modulated filter banks and tight Gaborframes inl2( ),” in Proc. IEEE ICASSP,Detroit, MI, May 1995, pp.1456–1459.

[12] Z. Cvetkovic and M. Vetterli, “Oversampled filter banks,”IEEE Trans.Signal Processing,vol. 46, pp. 1245–1255, May 1998.

[13] R. N. J. Veldhuis, “A filter-notation for analysis/synthesis systems and itsrelation to frames,” Inst. Perception Res., Eindhoven, The Netherlands,Tech. Rep. 909, Sept. 1993.

[14] H. Bolcskei and F. Hlawatsch, “Frame-theoretic analysis and designof filter banks—Part I: Theory of uniform filter bank frames,” Dept.Commun. Radio Freq. Eng., Vienna Univ. Technol., Vienna, Austria,Tech. Rep. 95-02/I, Nov. 1995.

[15] , “Frame-theoretic analysis and design of filter banks—PartII: Oversampled and critically sampled uniform filter banks,” Dept.Commun. Radio Freq. Eng., Vienna Univ. Technol., Vienna, Austria,Tech. Rep. 95-02/II, Nov. 1995.

[16] H. Bolcskei, F. Hlawatsch, and H. G. Feichtinger, “Oversampled FIRand IIR DFT filter banks and Weyl–Heisenberg frames,” inProc. IEEEICASSP,Atlanta, GA, May 1996, vol. 3, pp. 1391–1394.

[17] , “Frame-theoretic analysis and design of oversampled filterbanks,” in Proc. IEEE ISCAS,Atlanta, GA, May 1996, vol. 2, pp.409–412.

[18] M. Vetterli and Z. Cvetkovic, “Oversampled FIR filter banks and framesin l2( ),” in Proc. IEEE ICASSP,May 1996, vol. 3, pp. 1530–1533.

[19] A. J. E. M. Janssen, “Density theorems for filter banks,” Philips Res.Labs., Eindhoven, The Netherlands, Tech. Rep. 6858, Apr. 1995.

[20] Z. Cvetkovic, “Overcomplete expansions for digital signal processing,”Ph.D. dissertation, Univ. California, Berkeley, Dec. 1995.

[21] H. Bolcskei, “Oversampled filter banks and predictive subband coders,”Ph.D. dissertation, Vienna Univ. Technol., Vienna, Austria, Nov. 1997.

[22] H. Bolcskei and F. Hlawatsch, “Oversampled filter banks: Optimal noiseshaping, design freedom, and noise analysis,” inProc. IEEE ICASSP,Munich, Germany, Apr. 1997, vol. 3, pp. 2453–2456.

[23] , “Noise reduction in oversampled filter banks using predictivequantization,” submitted for publication.

[24] , “Oversampled modulated filter banks,” inGabor Analysis andAlgorithms: Theory and Applications,H. G. Feichtinger and T. Strohmer,Eds. Boston, MA: Birkh¨auser, 1998, ch. 9, pp. 295–322.

[25] H. G. Feichtinger and T. Strohmer, Eds.,Gabor Analysis and Algo-rithms: Theory and Applications. Boston, MA: Birkhauser, 1998.

[26] H. Bolcskei and F. Hlawatsch, “Oversampled cosine modulated filterbanks with perfect reconstruction,”IEEE Trans. Circuits Syst. II, SpecialIssue on Multirate Systems, Filter Banks, Wavelets, and Applications,vol. 45, pp. 1057–1071, Aug. 1998.

[27] R. J. Duffin and A. C. Schaeffer, “A class of nonharmonic Fourierseries,”Trans. Amer. Math. Soc.,vol. 72, pp. 341–366, 1952.

[28] I. Daubechies,Ten Lectures on Wavelets. Philadelphia, PA: SIAM,1992.

[29] R. M. Young, An Introduction to Nonharmonic Fourier Series.NewYork: Academic, 1980.

[30] C. E. Heil and D. F. Walnut, “Continuous and discrete wavelet trans-forms,” SIAM Rev.,vol. 31, pp. 628–666, Dec. 1989.

[31] C. E. Heil, “Wavelets and frames,” inSignal Processing—Part I: SignalProcessing Theory, The IMA Volumes in Mathematics and its Applica-tions, L. Auslander, Ed. New York: Springer, 1990, pp. 147–160.

[32] I. Daubechies, “Painless nonorthogonal expansions,”J. Math. Phys.,vol.27, pp. 1271–1283, May 1986.

[33] , “The wavelet transform, time-frequency localization and signalanalysis,” IEEE Trans. Inform. Theory,vol. 36, pp. 961–1005, Sept.1990.

[34] M. Zibulski and Y. Y. Zeevi, “Oversampling in the Gabor scheme,”IEEE Trans. Signal Processing,vol. 41, pp. 2679–2687, Aug. 1993.

[35] , “Analysis of multiwindow Gabor-type schemes by frame meth-ods,” Appl. Comput. Harmon. Anal.,vol. 4, pp. 188–221, Apr. 1997.

[36] , “Multi-window Gabor-type transform for signal representationand analysis,” inSPIE Proc. Wavelet Applications Signal Image Pro-cessing III,San Diego, CA, July 1995, pp. 116–127.

[37] N. J. Munch, “Noise reduction in tight Weyl–Heisenberg frames,”IEEETrans. Inform. Theory,vol. 38, pp. 608–616, Mar. 1992.

[38] P. P. Vaidyanathan, “Theory and design ofM -channel maximallydecimated quadrature mirror filters with arbitraryM , having perfect re-construction property,”IEEE Trans. Acoust., Speech, Signal Processing,vol. ASSP-35, pp. 476–492, Apr. 1987.

[39] H. Bolcskei and F. Hlawatsch, “Discrete Zak transforms, polyphasetransforms, and applications,”IEEE Trans. Signal Processing,vol. 45,pp. 851–866, Apr. 1997.

[40] A. J. E. M. Janssen, “The Zak transform: A signal transform for sampledtime-continuous signals,”Philips J. Res.,vol. 43, no. 1, pp. 23–69, 1988.

[41] C. Heil, “A discrete Zak transform,” Tech. Rep. MTR-89W000128, TheMITRE Corp., Bedford, MA, Dec. 1989.

[42] L. Auslander, I. C. Gertner, and R. Tolimieri, “The discrete Zaktransform application to time-frequency analysis and synthesis of nonsta-tionary signals,”IEEE Trans. Signal Processing,vol. 39, pp. 825–835,Apr. 1991.

[43] M. Vetterli and C. Herley, “Wavelets and filter banks: Theory anddesign,” IEEE Trans. Signal Processing,vol. 40, pp. 2207–2232, Sept.1992.

[44] A. W. Naylor and G. R. Sell,Linear Operator Theory in Engineeringand Science, 2nd ed. New York: Springer, 1982.

[45] A. Ron and Z. Shen, “Frames and stable bases for shift-invariantsubspaces ofL2(IRd),” Can. J. Math.,vol. 47, no. 5, pp. 1051–1094,1995.

[46] D. G. Luenberger,Optimization by Vector Space Methods. New York:Wiley, 1969.

[47] A. Ben-Israel and T. N. E. Greville,Generalized Inverses: Theory andApplications. New York: Wiley, 1974.

[48] H. G. Feichtinger, “Pseudo-inverse matrix methods for signal recon-struction from partial data,” inProc. SPIE Conf. Visual Commun. ImageProcess.,Boston, MA, Nov. 1991, pp. 766–772.

[49] O. Christensen, “Frame decompositions in Hilbert spaces,” Ph.D. disser-tation, Aarhus Univ., Aarhus, Denmark; Univ. Vienna, Vienna, Austria,1993.

[50] T. A. C. M. Claasen, W. F. G. Mecklenbrauker, J. B. H. Peek, andN. V. Hurck, “Signal processing method for improving the dynamicrange of A/D and D/A converters,”IEEE Trans. Acoust., Speech, SignalProcessing,vol. ASSP-28, pp. 529–538, 1980.

[51] V. K. Goyal, M. Vetterli, and N. T. Thao, “Quantized overcompleteexpansions inIRN : Analysis, synthesis and algorithms,”IEEE Trans.Inform. Theory,vol. 44, pp. 16–31, Jan. 1998.

[52] Z. Cvetkovic and M. Vetterli, “Overcomplete expansions and robust-ness,” inProc. IEEE TFTS,Paris, France, June 1996, pp. 325–328.

[53] K. Grochenig, “Acceleration of the frame algorithm,”IEEE Trans.Signal Processing,vol. 41, pp. 3331–3340, Dec. 1993.

[54] H. Bolcskei, F. Hlawatsch, and H. G. Feichtinger, “Equivalence of DFTfilter banks and Gabor expansions,” inProc. SPIE Wavelet Appl. SignalImage Process. III,San Diego, CA, July 1995, vol. 2569, pt. I, pp.128–139.

[55] V. Belevitch,Classical Network Theory. San Francisco, CA: Holden-Day, 1968.

[56] D. C. Youla, “On the factorization of rational matrices,”IRE Trans.Inform. Theory,vol. IT-7, pp. 172–189, 1961.

[57] I. Daubechies, S. Jaffard, and J. L. Journ´e, “A simple Wilson orthonor-mal basis with exponential decay,”SIAM J. Math. Anal.,vol. 22, pp.554–572, 1991.

[58] P. Vary, “On the design of digital filter banks based on a modifiedprinciple of polyphase,”AEU, vol. 33, nos. 7/8, pp. 293–300, 1979.

[59] A. J. E. M. Janssen, “Duality and biorthogonality for Weyl–Heisenbergframes,”J. Fourier Anal. Appl.,vol. 1, no. 4, pp. 403–436, 1995.

[60] H. Bolcskei, H. G. Feichtinger, and F. Hlawatsch, “Diagonalizing theGabor frame operator,” inProc. IEEE UK Symp. Appl. Time–Freq.Time-Scale Methods,Univ. Warwick, Coventry, U.K., Aug. 1995, pp.249–255a.

[61] F. Hlawatsch and H. B¨olcskei, “Time-frequency analysis of frames,”in Proc. IEEE-SP Int. Symp. Time–Freq. Time-Scale Anal.,Philadelphia,PA, Oct. 1994, pp. 52–55.

Helmut Bolcskei (S’94–M’98) was born in Aus-tria on May 29, 1970. He received the Dipl.-Ing.and Dr. Techn. degrees from Vienna University ofTechnology, Vienna, Austria, in 1994 and 1997,respectively.

From October to November 1994, he was aResearcher with the Department of Mathematics,University of Vienna. Since December 1994, he hasbeen with the Department of Communications andRadio-Frequency Engineering, Vienna University ofTechnology, where he currently holds a Research

and Teaching Assistant position. From February to May 1996, he was aVisiting Researcher with the Applied Mathematics Group, Philips ResearchLaboratories Eindhoven, The Netherlands, where he worked on video coding.From February to March 1998, he visited ENST Paris, Paris, France, wherehe was involved in research on multicarrier modulation. His research interestsinclude signal processing for communications and information theory.

Page 13: Frame-Theoretic Analysis of Oversampled Filter Banks - Signal … · 2006. 4. 25. · Our frame-theoretic analysis of oversampled FB’s will be based on the well-known polyphase

3268 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 46, NO. 12, DECEMBER 1998

Franz Hlawatsch (S’85–M’88) received the Dipl.-Ing., Dr. Techn., and Univ.-Dozent degrees inelectrical engineering/signal processing from theVienna University of Technology, Vienna, Austria,in 1983, 1988, and 1996, respectively.

Since 1983, he has been with the Departmentof Communications and Radio-Frequency Engi-neering, Vienna University of Technology. From1991 to 1992, he spent a sabbatical year with theDepartment of Electrical Engineering, University ofRhode Island, Kingston. He authored the book

Time-Frequency Analysis and Synthesis of Linear Signal Spaces—Time-Frequency Filters, Signal Detection and Estimation, and Range-DopplerEstimation(Boston, MA: Kluwer, 1998) and coedited the bookThe WignerDistribution—Theory and Applications in Signal Processing(Amsterdam, TheNetherlands: Elsevier, 1997). His research interests are in signal processingwith emphasis on time–frequency methods.

Hans G. Feichtinger was born June 16, 1951, inWr. Neustadt, Austria. He studied mathematics andphysics at the University of Vienna, Vienna, Austria,from 1969 to 1974 and received the Ph.D. degreein mathematics in 1974.

He held habilitation in 1979 and visiting positionsin Nancy, France, in 1980, in Heidelberg, Germany,in 1980, in College Park, MD, for the academicyear 1989 to 1990, at the Mittag–Leffler Institute,Stockholm, Sweden, in April 1992, in Marseille,France, in June 1992, and in Storrs, CT, for the

spring term of 1994. He has participated in approximately 120 talks atmathematical and applied conferences or invited lectures and has authoredmore than 100 works in pure and applied mathematics. Together with T.Strohmer, he is the co-editor ofGabor Analysis and Algorithms—Theoryand Applications(Boston, MA: Birkhauser, 1998). He is Group Leader ofNumerical Harmonic Analysis Group, Mathematics Department, Universityof Vienna. His main fields of interest are irregular sampling, scattered dataapproximation, Gabor expansions, wavelet theory, nonorthogonal expansions,time–frequency localization, and signals of variable bandwidth.

Dr. Feichtinger is a member of EMS, AMS, SIAM, GAMM, SPIE, OEMG,OEAGM, and DMV.