Role of anticausal inverses in multirate filter-banks. I. System-theoretic fundamentals

In a maximally decimated filter bank with identical decimation ratios for all channels, the perfect reconstructibility property and the nature of reconstruction filters (causality, stability, FIR property, and so on) depend on the properties of the polyphase matrix. Various properties and capabilities of the filter bank depend on the properties of the polyphase matrix as well as the nature of its inverse. In this paper we undertake a study of the types of inverses and characterize them according to their system theoretic properties (i.e., properties of state-space descriptions, McMillan degree, degree of determinant, and so forth). We find in particular that causal polyphase matrices with anticausal inverses have an important role in filter bank theory. We study their properties both for the FIR and IIR cases. Techniques for implementing anticausal IIR inverses based on state space descriptions are outlined. It is found that causal FIR matrices with anticausal FIR inverses (cafacafi) have a key role in the characterization of FIR filter banks. In a companion paper, these results are applied for the factorization of biorthogonal FIR filter banks, and a generalization of the lapped orthogonal transform called the biorthogonal lapped transform (BOLT) developed

On the invertibility of "rectangular" bi-infinite matrices and applications in time--frequency analysis

Finite dimensional matrices having more columns than rows have no left inverses while those having more rows than columns have no right inverses. We give generalizations of these simple facts to bi--infinite matrices and use those to obtain density results for $p$--frames of time--frequency molecules in modulation spaces and identifiability results for operators with bandlimited Kohn--Nirenberg symbols

Factorability of lossless time-varying filters and filter banks

We study the factorability of linear time-varying (LTV) lossless filters and filter banks. We give a complete characterization of all, degree-one lossless LTV systems and show that all degree-one lossless systems can be decomposed into a time-dependent unitary matrix followed by a lossless dyadic-based LTV system. The lossless dyadic-based system has several properties that make it useful in the factorization of lossless LTV systems. The traditional lapped orthogonal transform (LOT) is also generalized to the LTV case. We identify two classes of TVLOTs, namely, the invertible inverse lossless (IIL) and noninvertible inverse lossless (NIL) TVLOTs. The minimum number of delays required to implement a TVLOT is shown to be a nondecreasing function of time, and it is a constant if and only if the TVLOT is IIL. We also show that all IIL TVLOTs can be factorized uniquely into the proposed degree-one lossless building block. The factorization is minimal in terms of the delay elements. For NIL TVLOTs, there are factorable and unfactorable examples. Both necessary and sufficient conditions for the factorability of lossless LTV systems are given. We also introduce the concept of strong eternal reachability (SER) and strong eternal observability (SEO) of LTV systems. The SER and SEO of an implementation of LTV systems imply the minimality of the structure. Using these concepts, we are able to show that the cascade structure for a factorable IIL LTV system is minimal. That implies that if a IIL LTV system is factorable in terms of the lossless dyadic-based building blocks, the factorization is minimal in terms of delays as well as the number of building blocks. We also prove the BIBO stability of the LTV normalized IIR lattice

Role of anticausal inverses in multirate filter-banks. II. The FIR case, factorizations, and biorthogonal lapped transforms

For pt. I see ibid., vol.43, no.5, p.1090, 1990. In part I we studied the system-theoretic properties of discrete time transfer matrices in the context of inversion, and classified them according to the types of inverses they had. In particular, we outlined the role of causal FIR matrices with anticausal FIR inverses (abbreviated cafacafi) in the characterization of FIR perfect reconstruction (PR) filter banks. Essentially all FIR PR filter banks can be characterized by causal FIR polyphase matrices having anticausal FIR inverses. In this paper, we introduce the most general degree-one cafacafi building block, and consider the problem of factorizing cafacafi systems into these building blocks. Factorizability conditions are developed. A special class of cafacafi systems called the biorthogonal lapped transform (BOLT) is developed, and shown to be factorizable. This is a generalization of the well-known lapped orthogonal transform (LOT). Examples of unfactorizable cafacafi systems are also demonstrated. Finally it is shown that any causal FIR matrix with FIR inverse can be written as a product of a factorizable cafacafi system and a unimodular matrix