Discrete Fourier transform over a ring

In mathematics, the discrete Fourier transform over a ring generalizes the discrete Fourier transform (DFT), of a function whose values are commonly complex numbers, over an arbitrary ring.

Definition

Let Template:Mvar be any ring, let $n\ge 1$ be an integer, and let $\alpha \in R$ be a principal nth root of unity, defined by:

The discrete Fourier transform maps an n-tuple $(v_0,\dots ,v_{n-1})$ of elements of Template:Mvar to another n-tuple $(f_0,\dots ,f_{n-1})$ of elements of Template:Mvar according to the following formula:

By convention, the tuple $(v_0,\dots ,v_{n-1})$ is said to be in the time domain and the index Template:Mvar is called time. The tuple $(f_0,\dots ,f_{n-1})$ is said to be in the frequency domain and the index Template:Mvar is called frequency. The tuple $(f_0,\dots ,f_{n-1})$ is also called the spectrum of $(v_0,\dots ,v_{n-1})$. This terminology derives from the applications of Fourier transforms in signal processing.

If Template:Mvar is an integral domain (which includes fields), it is sufficient to choose $\alpha$ as a primitive nth root of unity, which replaces the condition (Template:EquationNote) by:

${\alpha }^k\ne 1$ for $1\le k<n$

Another simple condition applies in the case where n is a power of two: (Template:EquationNote) may be replaced by ${\alpha }^{n/2}=-1$.

Inverse

The inverse of the discrete Fourier transform is given as:

where $1/n$ is the multiplicative inverse of Template:Mvar in Template:Mvar (if this inverse does not exist, the DFT cannot be inverted).

Matrix formulation

Since the discrete Fourier transform is a linear operator, it can be described by matrix multiplication. In matrix notation, the discrete Fourier transform is expressed as follows:

$\left[\begin{array}{c}{f}_0\\ f_1\\ ⋮\\ f_{n-1}\end{array}\right]=\left[\begin{array}{ccccc}1& 1& 1& \cdots & 1\\ 1& \alpha & {\alpha }^2& \cdots & {\alpha }^{n-1}\\ 1& {\alpha }^2& {\alpha }^4& \cdots & {\alpha }^{2(n-1)}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 1& {\alpha }^{n-1}& {\alpha }^{2(n-1)}& \cdots & {\alpha }^{(n-1)(n-1)}\end{array}\right]\left[\begin{array}{c}{v}_0\\ v_1\\ ⋮\\ v_{n-1}\end{array}\right].$

The matrix for this transformation is called the DFT matrix.

Similarly, the matrix notation for the inverse Fourier transform is

$\left[\begin{array}{c}{v}_0\\ v_1\\ ⋮\\ v_{n-1}\end{array}\right]=\frac{1}{n}\left[\begin{array}{ccccc}1& 1& 1& \cdots & 1\\ 1& {\alpha }^{-1}& {\alpha }^{-2}& \cdots & {\alpha }^{-(n-1)}\\ 1& {\alpha }^{-2}& {\alpha }^{-4}& \cdots & {\alpha }^{-2(n-1)}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 1& {\alpha }^{-(n-1)}& {\alpha }^{-2(n-1)}& \cdots & {\alpha }^{-(n-1)(n-1)}\end{array}\right]\left[\begin{array}{c}{f}_0\\ f_1\\ ⋮\\ f_{n-1}\end{array}\right].$

Polynomial formulation

Sometimes it is convenient to identify an Template:Mvar-tuple $(v_0,\dots ,v_{n-1})$ with a formal polynomial

$p_v(x)=v_0+v_{1}x+v_2{x}^2+\cdots +v_{n-1}{x}^{n-1}.$

By writing out the summation in the definition of the discrete Fourier transform (Template:EquationNote), we obtain:

$f_k=v_0+v_1{\alpha }^k+v_2{\alpha }^{2k}+\cdots +v_{n-1}{\alpha }^{(n-1)k}.$

This means that $f_k$ is just the value of the polynomial $p_v(x)$ for $x={\alpha }^k$, i.e.,

The Fourier transform can therefore be seen to relate the coefficients and the values of a polynomial: the coefficients are in the time-domain, and the values are in the frequency domain. Here, of course, it is important that the polynomial is evaluated at the Template:Mvarth roots of unity, which are exactly the powers of $\alpha$.

Similarly, the definition of the inverse Fourier transform (Template:EquationNote) can be written:

With

$p_f(x)=f_0+f_{1}x+f_2{x}^2+\cdots +f_{n-1}{x}^{n-1},$

this means that

$v_j=\frac{1}{n}{p}_f({\alpha }^{-j}).$

We can summarize this as follows: if the values of $p_v(x)$ are the coefficients of $p_f(x)$, then the values of $p_f(x)$ are the coefficients of $p_v(x)$, up to a scalar factor and reordering.

Special cases

Complex numbers

If $F=ℂ$ is the field of complex numbers, then the $n$th roots of unity can be visualized as points on the unit circle of the complex plane. In this case, one usually takes

$\alpha =e^{\frac{-2\pi i}{n}},$

which yields the usual formula for the complex discrete Fourier transform:

$f_k=\sum _{j=0}^{n-1}{v}_j{e}^{\frac{-2\pi i}{n}jk}.$

Over the complex numbers, it is often customary to normalize the formulas for the DFT and inverse DFT by using the scalar factor $\frac{1}{\sqrt{n}}$ in both formulas, rather than $1$ in the formula for the DFT and $\frac{1}{n}$ in the formula for the inverse DFT. With this normalization, the DFT matrix is then unitary. Note that $\sqrt{n}$ does not make sense in an arbitrary field.

Finite fields

If $F=\mathrm{G}\mathrm{F}(q)$ is a finite field, where Template:Mvar is a prime power, then the existence of a primitive Template:Mvarth root automatically implies that Template:Mvar divides $q-1$, because the multiplicative order of each element must divide the size of the multiplicative group of Template:Mvar, which is $q-1$. This in particular ensures that $n=\underset{n\mathrm{t}\mathrm{i}\mathrm{m}\mathrm{e}\mathrm{s}}{\underbrace{1+1+\cdots +1}}$ is invertible, so that the notation $\frac{1}{n}$ in (Template:EquationNote) makes sense.

An application of the discrete Fourier transform over $\mathrm{G}\mathrm{F}(q)$ is the reduction of Reed–Solomon codes to BCH codes in coding theory. Such transform can be carried out efficiently with proper fast algorithms, for example, cyclotomic fast Fourier transform.

Polynomial formulation without n^th root

Suppose $F=\mathrm{G}\mathrm{F}(p)$. If $p\nmid n$, it may be the case that $n\nmid p-1$. This means we cannot find an $n^{th}$ root of unity in $F$. We may view the Fourier transform as an isomorphism $\mathrm{F}[C_n]=\mathrm{F}[x]/(x^n-1)\cong \underset{i}{⨁}\mathrm{F}[x]/(P_i(x))$ for some polynomials $P_i(x)$, in accordance with Maschke's theorem. The map is given by the Chinese remainder theorem, and the inverse is given by applying Bézout's identity for polynomials.

$x^n-1=\prod _{d|n}{\mathrm{\Phi }}_d(x)$, a product of cyclotomic polynomials. Factoring ${\mathrm{\Phi }}_d(x)$ in $F[x]$ is equivalent to factoring the prime ideal $(p)$ in $\mathrm{Z}[\zeta ]=\mathrm{Z}[x]/({\mathrm{\Phi }}_d(x))$. We obtain $g$ polynomials $P_1\dots P_g$ of degree $f$ where $fg=\phi (d)$ and $f$ is the order of $p\text{ mod }d$.

As above, we may extend the base field to $\mathrm{G}\mathrm{F}(q)$ in order to find a primitive root, i.e. a splitting field for $x^n-1$. Now $x^n-1=\prod _k(x-{\alpha }^k)$, so an element $\sum _{j=0}^{n-1}{v}_j{x}^j\in F[x]/(x^n-1)$ maps to $\sum _{j=0}^{n-1}{v}_j{x}^{j}mod(x-{\alpha }^k)\equiv \sum _{j=0}^{n-1}{v}_j({\alpha }^k{)}^j$ for each $k$.

When p divides n

When $p|n$, we may still define an $F_p$-linear isomorphism as above. Note that $(x^n-1)=(x^m-1{)}^{p^s}$ where $n=m{p}^s$ and $p\nmid m$. We apply the above factorization to $x^m-1$, and now obtain the decomposition $F[x]/(x^n-1)\cong \underset{i}{⨁}F[x]/(P_i(x{)}^{p^s})$. The modules occurring are now indecomposable rather than irreducible.

Order of the DFT matrix

Suppose $p\nmid n$ so we have an $n^{th}$ root of unity $\alpha$. Let $A$ be the above DFT matrix, a Vandermonde matrix with entries $A_{ij}={\alpha }^{ij}$ for $0\le i,j<n$. Recall that $\sum _{j=0}^{n-1}{\alpha }^{(k-l)j}=n{\delta }_{k,l}$ since if $k=l$, then every entry is 1. If $k\ne l$, then we have a geometric series with common ratio ${\alpha }^{k-l}$, so we obtain $\frac{1-{\alpha }^{n(k-l)}}{1-{\alpha }^{k-l}}$. Since ${\alpha }^n=1$ the numerator is zero, but $k-l\ne 0$ so the denominator is nonzero.

First computing the square, $(A^2{)}_{ik}=\sum _{j=0}^{n-1}{\alpha }^{j(i+k)}=n{\delta }_{i,-k}$. Computing $A^4=(A^2{)}^2$ similarly and simplifying the deltas, we obtain $(A^4{)}_{ik}=n^2{\delta }_{i,k}$. Thus, $A^4=n^2{I}_n$ and the order is $4\cdot \text{ord}(n^2)$.

Normalizing the DFT matrix

In order to align with the complex case and ensure the matrix is order 4 exactly, we can normalize the above DFT matrix $A$ with $\frac{1}{\sqrt{n}}$. Note that though $\sqrt{n}$ may not exist in the splitting field $F_q$ of $x^n-1$, we may form a quadratic extension $F_{q^2}\cong F_q[x]/(x^2-n)$ in which the square root exists. We may then set $U=\frac{1}{\sqrt{n}}A$, and $U^4=I_n$.

Unitarity

Suppose $p\nmid n$. One can ask whether the DFT matrix is unitary over a finite field. If the matrix entries are over $F_q$, then one must ensure $q$ is a perfect square or extend to $F_{q^2}$ in order to define the order two automorphism $x\mapsto x^q$. Consider the above DFT matrix $A_{ij}={\alpha }^{ij}$. Note that $A$ is symmetric. Conjugating and transposing, we obtain $A_{ij}^{*}={\alpha }^{qji}$.

$(A{A}^{*}{)}_{ik}=\sum _{j=0}^{n-1}{\alpha }^{j(i+qk)}=n{\delta }_{i,-qk}$

by a similar geometric series argument as above. We may remove the $n$ by normalizing so that $U=\frac{1}{\sqrt{n}}A$ and $(U{U}^{*}{)}_{ik}={\delta }_{i,-qk}$. Thus $U$ is unitary iff $q\equiv -1(\text{mod}n)$. Recall that since we have an $n^{th}$ root of unity, $n|q^2-1$. This means that $q^2-1\equiv (q+1)(q-1)\equiv 0(\text{mod}n)$. Note if $q$ was not a perfect square to begin with, then $n|q-1$ and so $q\equiv 1(\text{mod}n)$.

For example, when $p=3,n=5$ we need to extend to $q^2=3^4$ to get a 5th root of unity. $q=9\equiv -1(\text{mod}5)$.

For a nonexample, when $p=3,n=8$ we extend to $F_{3^2}$ to get an 8th root of unity. $q^2=9$, so $q\equiv 3(\text{mod}8)$, and in this case $q+1\equiv ̸0$ and $q-1\equiv ̸0$. $U{U}^{*}$ is a square root of the identity, so $U$ is not unitary.

Eigenvalues of the DFT matrix

When $p\nmid n$, we have an $n^{th}$ root of unity $\alpha$ in the splitting field $F_q\cong F_p[x]/(x^n-1)$. Note that the characteristic polynomial of the above DFT matrix may not split over $F_q$. The DFT matrix is order 4. We may need to go to a further extension $F_{q^{\prime }}$, the splitting extension of the characteristic polynomial of the DFT matrix, which at least contains fourth roots of unity. If $a$ is a generator of the multiplicative group of $F_{q^{\prime }}$, then the eigenvalues are $\{\pm 1,\pm a^{(q^{\prime }-1)/4}\}$, in exact analogy with the complex case. They occur with some nonnegative multiplicity.

Number-theoretic transform

The number-theoretic transform (NTT) is obtained by specializing the discrete Fourier transform to $F=\mathbb{Z}/p$, the [[modular arithmetic|integers modulo a prime Template:Mvar]]. This is a finite field, and primitive Template:Mvarth roots of unity exist whenever Template:Mvar divides $p-1$, so we have $p=\xi n+1$ for a positive integer Template:Mvar. Specifically, let $\omega$ be a primitive $(p-1)$th root of unity, then an Template:Mvarth root of unity $\alpha$ can be found by letting $\alpha ={\omega }^{\xi }$.

e.g. for $p=5$, $\alpha =2$

$\begin{array}{cc}{2}^1& =2(\mathrm{mod}5)\\ 2^2& =4(\mathrm{mod}5)\\ 2^3& =3(\mathrm{mod}5)\\ 2^4& =1(\mathrm{mod}5)\end{array}$

when $N=4$

$\left[\begin{array}{c}F(0)\\ F(1)\\ F(2)\\ F(3)\end{array}\right]=\left[\begin{array}{cccc}1& 1& 1& 1\\ 1& 2& 4& 3\\ 1& 4& 1& 4\\ 1& 3& 4& 2\end{array}\right]\left[\begin{array}{c}f(0)\\ f(1)\\ f(2)\\ f(3)\end{array}\right]$

The number theoretic transform may be meaningful in the ring $\mathbb{Z}/m$, even when the modulus Template:Mvar is not prime, provided a principal root of order Template:Mvar exists. Special cases of the number theoretic transform such as the Fermat Number Transform (Template:Math), used by the Schönhage–Strassen algorithm, or Mersenne Number Transform (Template:Math) use a composite modulus.

In general, if $m=\prod _i{p}_i^{e_i}$, then one may find an [[Root of unity modulo n|$n^{th}$ root of unity mod Template:Mvar]] by finding primitive $n^{th}$ roots of unity $g_i$ mod $p_i^{e_i}$, yielding a tuple $g={\left(g_i\right)}_i\in \prod _i{(\mathbb{Z}/p_i^{e_i}\mathbb{Z})}^{\ast }$. The preimage of $g$ under the Chinese remainder theorem isomorphism is an $n^{th}$ root of unity $\alpha$ such that ${\alpha }^{n/2}=-1modm$. This ensures that the above summation conditions are satisfied. We must have that $n|\phi (p_i^{e_i})$ for each $i$, where $\phi$ is the Euler's totient function function.

Discrete weighted transform

The discrete weighted transform (DWT) is a variation on the discrete Fourier transform over arbitrary rings involving weighting the input before transforming it by multiplying elementwise by a weight vector, then weighting the result by another vector. The Irrational base discrete weighted transform is a special case of this.

Properties

Most of the important attributes of the complex DFT, including the inverse transform, the convolution theorem, and most fast Fourier transform (FFT) algorithms, depend only on the property that the kernel of the transform is a principal root of unity. These properties also hold, with identical proofs, over arbitrary rings. In the case of fields, this analogy can be formalized by the field with one element, considering any field with a primitive nth root of unity as an algebra over the extension field ${𝐅}_{1^n}.$Template:Clarify

In particular, the applicability of $O(n\log n)$ fast Fourier transform algorithms to compute the NTT, combined with the convolution theorem, mean that the number-theoretic transform gives an efficient way to compute exact convolutions of integer sequences. While the complex DFT can perform the same task, it is susceptible to round-off error in finite-precision floating point arithmetic; the NTT has no round-off because it deals purely with fixed-size integers that can be exactly represented.

Fast algorithms

For the implementation of a "fast" algorithm (similar to how FFT computes the DFT), it is often desirable that the transform length is also highly composite, e.g., a power of two. However, there are specialized fast Fourier transform algorithms for finite fields, such as Wang and Zhu's algorithm, that are efficient regardless of whether the transform length factors.

See also

• Discrete Fourier transform (complex)
• Fourier transform on finite groups
• Gauss sum
• Convolution
• Least-squares spectral analysis
• Multiplication algorithm

External links

• http://www.apfloat.org/ntt.html