<< Chapter < Page Chapter >> Page >

In this chapter, the DFT will naturally arise as a linear mapping with respect to chosen bases, i.e., as a matrix. Indeed, the definitionshows that if all input and outputs are collected into vectors X = ( X ( 0 ) , , X ( N - 1 ) ) and C = ( C ( 0 ) , C ( N - 1 ) ) , then Winograd’s Short DFT Algorithms is equivalent to

C = DFT N X ,

where

DFT N = [ W N k n ] 0 k , n < N .

The matrix point of view is adopted in the FFT books [link] , [link] .

Polynomial algebras and the dft

In this section we introduce polynomial algebras and explain how they are associated to transforms. Then we identify this connection for theDFT. Later we use polynomial algebras to derive the Cooley-Tukey FFT.

For further background on the mathematics in this section and polynomial algebras in particular, we refer to [link] .

Polynomial algebra

An algebra A is a vector space that also provides a multiplication of its elements such that the distributivity law holds(see [link] for a complete definition). Examples include the sets of complex or real numbers C or R , and the sets of complex or real polynomials in the variable s : C [ s ] or R [ s ] .

The key player in this chapter is the polynomial algebra . Given a fixed polynomial P ( s ) of degree deg ( P ) = N , we define a polynomial algebra as the set

C [ s ] / P ( s ) = { X ( s ) deg ( X ) < deg ( P ) }

of polynomials of degree smaller than N with addition and multiplication modulo P . Viewed as a vector space, C [ s ] / P ( s ) hence has dimension N .

Every polynomial X ( s ) C [ s ] is reduced to a unique polynomial R ( s ) modulo P ( s ) of degree smaller than N . R ( s ) is computed using division with rest, namely

X ( s ) = Q ( s ) P ( s ) + R ( s ) , deg ( R ) < deg ( P ) .

Regarding this equation modulo P , P ( s ) becomes zero, and we get

X ( s ) R ( s ) mod P ( s ) .

We read this equation as “ X ( s ) is congruent (or equal) R ( s ) modulo P ( s ) .” We will also write X ( s ) mod P ( s ) to denote that X ( s ) is reduced modulo P ( s ) . Obviously,

P ( s ) 0 mod P ( s ) .

As a simple example we consider A = C [ s ] / ( s 2 - 1 ) , which has dimension 2. A possible basis is b = ( 1 , s ) . In A , for example, s · ( s + 1 ) = s 2 + s s + 1 mod ( s 2 - 1 ) , obtained through division with rest

s 2 + s = 1 · ( s 2 - 1 ) + ( s + 1 )

or simply by replacing s 2 with 1 (since s 2 - 1 = 0 implies s 2 = 1 ).

Chinese remainder theorem (crt)

Assume P ( s ) = Q ( s ) R ( s ) factors into two coprime (no common factors) polynomials Q and R . Then the Chinese remainder theorem (CRT) for polynomials is the linear mapping More precisely, isomorphism of algebras or isomorphism of A -modules.

Δ : C [ s ] / P ( s ) C [ s ] / Q ( s ) C [ s ] / R ( s ) , X ( s ) ( X ( s ) mod Q ( s ) , X ( s ) mod R ( s ) ) .

Here, is the Cartesian product of vector spaces with elementwise operation (also called outer direct sum). In words, the CRTasserts that computing (addition, multiplication, scalar multiplication) in C [ s ] / P ( s ) is equivalent to computing in parallel in C [ s ] / Q ( s ) and C [ s ] / R ( s ) .

If we choose bases b , c , d in the three polynomial algebras, then Δ can be expressed as a matrix. As usual with linear mappings, this matrix is obtained by mapping every element of b with Δ , expressing it in the concatenation c d of the bases c and d , and writing the results into the columns of the matrix.

As an example, we consider again the polynomial P ( s ) = s 2 - 1 = ( s - 1 ) ( s + 1 ) and the CRT decomposition

Δ : C [ s ] / ( s 2 - 1 ) C [ s ] / ( x - 1 ) C [ s ] / ( x + 1 ) .

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