<< Chapter < Page Chapter >> Page >

by Markus Pueschel, Carnegie Mellon University

In infinite, or non-periodic, discrete-time signal processing, there is a strong connection between the z -transform, Laurent series, convolution, and the discrete-time Fourier transform (DTFT) [link] . As one may expect, a similar connection exists for the DFT but bears surprises. Namely, it turns out that the properframework for the DFT requires modulo operations of polynomials, which means working with so-called polynomial algebras [link] . Associated with polynomial algebras is the Chinese remainder theorem, which describes the DFT algebraically and can beused as a tool to concisely derive various FFTs as well as convolution algorithms [link] , [link] , [link] , [link] (see also Winograd’s Short DFT Algorithms ). The polynomial algebra framework was fully developed for signal processing as part of thealgebraic signal processing theory (ASP). ASP identifies the structure underlying many transforms used in signal processing, provides deepinsight into their properties, and enables the derivation of their fast algorithms [link] , [link] , [link] , [link] . Here we focus on the algebraic description of the DFT and on the algebraicderivation of the general-radix Cooley-Tukey FFT from Factoring the Signal Processing Operators . The derivation will make use of and extend the Polynomial Description of Signals . We start with motivating the appearanceof modulo operations.

The z -transform associates with infinite discrete signals X = ( , x ( - 1 ) , x ( 0 ) , x ( 1 ) , ) a Laurent series:

X X ( s ) = n Z x ( n ) s n .

Here we used s = z - 1 to simplify the notation in the following. The DTFT of X is the evaluation of X ( s ) on the unit circle

X ( e - j ω ) , - π < ω π .

Finally, filtering or (linear) convolution is simply the multiplication of Laurent series,

H * X H ( s ) X ( s ) .

For finite signals X = ( x ( 0 ) , , x ( N - 1 ) ) one expects that the equivalent of [link] becomes a mapping to polynomials of degree N - 1 ,

X X ( s ) = n = 0 N - 1 x ( n ) s n ,

and that the DFT is an evaluation of these polynomials. Indeed, the definition of the DFT in Winograd’s Short DFT Algorithms shows that

C ( k ) = X ( W N k ) = X ( e - j 2 π k N ) , 0 k < N ,

i.e., the DFT computes the evaluations of the polynomial X ( s ) at the n th roots of unity.

The problem arises with the equivalent of [link] , since the multiplication H ( s ) X ( s ) of two polynomials of degree N - 1 yields one of degree 2 N - 2 . Also, it does not coincide with the circular convolution known to be associated with the DFT. The solutionto both problems is to reduce the product modulo s n - 1 :

H * circ X H ( s ) X ( s ) mod ( s n - 1 ) .
Infinite and finite discrete time signal processing.
Concept Infinite Time Finite Time
Signal X ( s ) = n Z x ( n ) s n n = 0 N - 1 x ( n ) s n
Filter H ( s ) = n Z h ( n ) s n n = 0 N - 1 h ( n ) s n
Convolution H ( s ) X ( s ) H ( s ) X ( s ) mod ( s n - 1 )
Fourier transform DTFT: X ( e - j ω ) , - π < ω π DFT: X ( e - j 2 π k n ) , 0 k < n

The resulting polynomial then has again degree N - 1 and this form of convolution becomes equivalent to circular convolution of thepolynomial coefficients. We also observe that the evaluation points in [link] are precisely the roots of s n - 1 . This connection will become clear in this chapter.

The discussion is summarized in [link] .

The proper framework to describe the multiplication of polynomials modulo a fixed polynomial are polynomial algebras. Together with theChinese remainder theorem, they provide the theoretical underpinning for the DFT and the Cooley-Tukey FFT.

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Fast fourier transforms. OpenStax CNX. Nov 18, 2012 Download for free at http://cnx.org/content/col10550/1.22
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Fast fourier transforms' conversation and receive update notifications?

Ask