The role of lossless systems in modern digital signal processing: a tutorial

A self-contained discussion of discrete-time lossless systems and their properties and relevance in digital signal processing is presented. The basic concept of losslessness is introduced, and several algebraic properties of lossless systems are studied. An understanding of these properties is crucial in order to exploit the rich usefulness of lossless systems in digital signal processing. Since lossless systems typically have many input and output terminals, a brief review of multiinput multioutput systems is included. The most general form of a rational lossless transfer matrix is presented along with synthesis procedures for the FIR (finite impulse response) case. Some applications of lossless systems in signal processing are presented

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

On factorization of a subclass of 2-D digital FIR lossless matricesfor 2-D QMF bank applications

The role of one-dimensional (1-D) digital finite impulse response (FIR) lossless matrices in the design of FIR perfect reconstruction quadrature mirror filter (QMF) banks has been explored previously. Structures which can realize the complete family of FIR lossless transfer matrices, have also been developed, with QMF application in mind. For the case of 2-D QMF banks, the same concept of lossless polyphase matrix has been used to obtain perfect reconstruction. However, the problem of finding a structure to cover all 2-D FIR lossless matrices of a given degree has not been solved. Progress in this direction is reported. A structure which completely covers a well-defined subclass of 2-D digital FIR lossless matrices is obtained

Autonomous linear lossless systems

We define a lossless autonomous system as one having a quadratic differential form associated with it called an energy function, which is positive and which is conserved. We define an oscillatory system as one which has all its trajectories bounded on the entire time axis. In this paper, we show that an autonomous system is lossless if and only if it is oscillatory. Next we discuss a few properties of energy functions of autonomous lossless systems and a suitable way of splitting a given energy function into its kinetic and potential energy components

Lossless source coding for multiple access networks

A multiple access source code (MASC) is a source code designed for the following network configuration: a pair of jointly distributed information sequences {Xi}i=1∞ and {Yi}i=1∞ is drawn i.i.d. according to joint probability mass function (p.m.f.) p(x,y); the encoder for each source operates without knowledge of the other source; the decoder receives the encoded bit streams of both sources. The rate region for MASCs with arbitrarily small but non-zero error probabilities was studied by Slepian and Wolf. In this paper, we consider the properties of optimal truly lossless MASCs and apply our findings to practical truly lossless and near lossless code design