<< Chapter < Page Chapter >> Page >

Polynomials are important in digital signal processing because calculating the DFT can be viewed as a polynomial evaluationproblem and convolution can be viewed as polynomial multiplication [link] , [link] . Indeed, this is the basis for the important results of Winograd discussed in Winograd’s Short DFT Algorithms . A length-N signal x ( n ) will be represented by an N - 1 degree polynomial X ( s ) defined by

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

This polynomial X ( s ) is a single entity with the coefficients being the values of x ( n ) . It is somewhat similar to the use of matrix or vector notation to efficiently represent signals whichallows use of new mathematical tools.

The convolution of two finite length sequences, x ( n ) and h ( n ) , gives an output sequence defined by

y ( n ) = k = 0 N - 1 x ( k ) h ( n - k )

n = 0 , 1 , 2 , , 2 N - 1 where h ( k ) = 0 for k < 0 . This is exactly the same operation as calculating the coefficients whenmultiplying two polynomials. Equation [link] is the same as

Y ( s ) = X ( s ) H ( s )

In fact, convolution of number sequences, multiplication of polynomials, and the multiplication of integers (except for thecarry operation) are all the same operations. To obtain cyclic convolution, where the indices in [link] are all evaluated modulo N , the polynomial multiplication in [link] is done modulo the polynomial P ( s ) = s N - 1 . This is seen by noting that N = 0 mod N , therefore, s N = 1 and the polynomial modulus is s N - 1 .

Polynomial reduction and the chinese remainder theorem

Residue reduction of one polynomial modulo another is defined similarly to residue reduction for integers. A polynomial F ( s ) has a residue polynomial R ( s ) modulo P ( s ) if, for a given F ( s ) and P ( s ) , a Q ( S ) and R ( s ) exist such that

F ( s ) = Q ( s ) P ( s ) + R ( s )

with d e g r e e { R ( s ) } < d e g r e e { P ( s ) } . The notation that will be used is

R ( s ) = ( ( F ( s ) ) ) P ( s )

For example,

( s + 1 ) = ( ( s 4 + s 3 - s - 1 ) ) ( s 2 - 1 )

The concepts of factoring a polynomial and of primeness are an extension of these ideas for integers. For a givenallowed set of coefficients (values of x ( n ) ), any polynomial has a unique factored representation

F ( s ) = i = 1 M F i ( s ) k i

where the F i ( s ) are relatively prime. This is analogous to the fundamental theorem of arithmetic.

There is a very useful operation that is an extension of the integer Chinese Remainder Theorem (CRT) which says that if themodulus polynomial can be factored into relatively prime factors

P ( s ) = P 1 ( s ) P 2 ( s )

then there exist two polynomials, K 1 ( s ) and K 2 ( s ) , such that any polynomial F ( s ) can be recovered from its residues by

F ( s ) = K 1 ( s ) F 1 ( s ) + K 2 ( s ) F 2 ( s ) mod P ( s )

where F 1 and F 2 are the residues given by

F 1 ( s ) = ( ( F ( s ) ) ) P 1 ( s )

and

F 2 ( s ) = ( ( F ( s ) ) ) P 2 ( s )

if the order of F ( s ) is less than P ( s ) . This generalizes to any number of relatively prime factors of P ( s ) and can be viewed as a means of representing F ( s ) by several lower degree polynomials, F i ( s ) .

This decomposition of F ( s ) into lower degree polynomials is the process used to break a DFT or convolution into several simpleproblems which are solved and then recombined using the CRT of [link] . This is another form of the “divide and conquer" or “organize and share"approach similar to the index mappings in Multidimensional Index Mapping .

One useful property of the CRT is for convolution. If cyclic convolution of x ( n ) and h ( n ) is expressed in terms of polynomials by

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