<< 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 and , then Winograd’s Short DFT Algorithms is equivalent to
where
The matrix point of view is adopted in the FFT books [link] , [link] .
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] .
An algebra 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 or , and the sets of complex or real polynomials in the variable : or .
The key player in this chapter is the polynomial algebra . Given a fixed polynomial of degree , we define a polynomial algebra as the set
of polynomials of degree smaller than with addition and multiplication modulo . Viewed as a vector space, hence has dimension .
Every polynomial is reduced to a unique polynomial modulo of degree smaller than . is computed using division with rest, namely
Regarding this equation modulo , becomes zero, and we get
We read this equation as “ is congruent (or equal) modulo .” We will also write to denote that is reduced modulo . Obviously,
As a simple example we consider , which has dimension 2. A possible basis is . In , for example, , obtained through division with rest
or simply by replacing with 1 (since implies ).
Assume factors into two coprime (no common factors) polynomials and . Then the Chinese remainder theorem (CRT) for polynomials is the linear mapping More precisely, isomorphism of algebras or isomorphism of -modules.
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 is equivalent to computing in parallel in and .
If we choose bases 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 with , expressing it in the concatenation of the bases and , and writing the results into the columns of the matrix.
As an example, we consider again the polynomial and the CRT decomposition
Notification Switch
Would you like to follow the 'Fast fourier transforms' conversation and receive update notifications?