Circulant matrix

From Wikipedia, the free encyclopedia

In linear algebra, a circulant matrix is a special kind of Toeplitz matrix where each row vector is rotated one element to the right relative to the preceding row vector. In numerical analysis, circulant matrices are important because they are diagonalized by a discrete Fourier transform, and hence linear equations that contain them may be quickly solved using a fast Fourier transform.^[1] They can be interpreted analytically as the integral kernel of a convolution operator on the cyclic group ${\mathbf {Z}}/n{\mathbf {Z}}.$ In cryptography, a circulant matrix is used in the MixColumns step of the Advanced Encryption Standard.

Definition

An $n\times n$ circulant matrix $\ C$ takes the form

$C={\begin{bmatrix}c_{0}&c_{{n-1}}&\dots &c_{{2}}&c_{{1}}\\c_{{1}}&c_{0}&c_{{n-1}}&&c_{{2}}\\\vdots &c_{{1}}&c_{0}&\ddots &\vdots \\c_{{n-2}}&&\ddots &\ddots &c_{{n-1}}\\c_{{n-1}}&c_{{n-2}}&\dots &c_{{1}}&c_{0}\\\end{bmatrix}}.$

A circulant matrix is fully specified by one vector, $\ c$ , which appears as the first column of $\ C$ . The remaining columns of $\ C$ are each cyclic permutations of the vector $\ c$ with offset equal to the column index. The last row of $\ C$ is the vector $\ c$ in reverse order, and the remaining rows are each cyclic permutations of the last row. Note that different sources define the circulant matrix in different ways, for example with the coefficients corresponding to the first row rather than the first column of the matrix, or with a different direction of shift.

The polynomial $f(x)=c_{0}+c_{1}x+\dots +c_{{n-1}}x^{{n-1}}$ is called the associated polynomial of matrix $C$ .

Properties

Eigenvectors and eigenvalues

The eigenvectors of a circulant matrix are given by

$v_{j}=(1,~\omega _{j},~\omega _{j}^{2},~\ldots ,~\omega _{j}^{{n-1}})^{T},\quad j=0,1,\ldots ,n-1,$

where $\omega _{j}=\exp \left({\tfrac {2\pi ij}{n}}\right)$ are the n-th roots of unity and $i={\sqrt {-1}}$ is the imaginary unit.

The corresponding eigenvalues are then given by

$\lambda _{j}=c_{0}+c_{{n-1}}\omega _{j}+c_{{n-2}}\omega _{j}^{2}+\ldots +c_{{1}}\omega _{j}^{{n-1}},\qquad j=0\ldots n-1.$

Determinant

As a consequence of the explicit formula for the eigenvalues above, the determinant of circulant matrix can be computed as:

${\mathrm {det}}(C)=\prod _{{j=0}}^{{n-1}}(c_{0}+c_{{n-1}}\omega _{j}+c_{{n-2}}\omega _{j}^{2}+\dots +c_{1}\omega _{j}^{{n-1}}).$

Since taking transpose does not change the eigenvalues of a matrix, an equivalent formulation is

${\mathrm {det}}(C)=\prod _{{j=0}}^{{n-1}}(c_{0}+c_{1}\omega _{j}+c_{2}\omega _{j}^{2}+\dots +c_{{n-1}}\omega _{j}^{{n-1}})=\prod _{{j=0}}^{{n-1}}f(\omega _{j}).$

Rank

The rank of circulant matrix $C$ is equal to $n-d$ , where $d$ is the degree of $\gcd(f(x),x^{n}-1)$ .^[2]

Other properties

We have

$C=c_{0}I+c_{{1}}P+c_{{2}}P^{2}+\ldots +c_{{n-1}}P^{{n-1}}=f(P).$

where P is the 'cyclic permutation' matrix, a specific permutation matrix given by

$P={\begin{bmatrix}0&0&\ldots &0&1\\1&0&\ldots &0&0\\0&\ddots &\ddots &\vdots &\vdots \\\vdots &\ddots &\ddots &0&0\\0&\ldots &0&1&0\end{bmatrix}}.$

The set of $n\times n$ circulant matrices forms an n-dimensional vector space; this can be interpreted as the space of functions on the cyclic group of order n, ${\mathbf {Z}}/n{\mathbf {Z}},$ or equivalently the group ring.

Circulant matrices form a commutative algebra, since for any two given circulant matrices $\ A$ and $\ B$ , the sum $\ A+B$ is circulant, the product $\ AB$ is circulant, and $\ AB=BA$ .

The eigenvectors of a circulant matrix of a given size are the columns of the unitary discrete Fourier transform matrix of the same size. The latter matrix is defined by

$U_{n}={\frac {1}{{\sqrt {n}}}}F_{n},\quad {\text{where}}\quad F_{n}=(f_{{jk}})\quad {\text{with}}\quad f_{{jk}}={\mathrm {e}}^{{-2jk\pi {\mathrm {i}}/n}},\quad {\text{for}}\quad 0\leq j,k<n.$

Thus, the matrix $U_{n}$ diagonalizes C. In fact, we have

$C=U_{n}^{{*}}\operatorname {diag}(F_{n}c)U_{n}={\frac {1}{n}}F_{n}^{{*}}\operatorname {diag}(F_{n}c)F_{n},$

where $c\!\,$ is the first column of $C\,\!$ . Thus, the eigenvalues of $C$ are given by the product $\ F_{n}c$ . This product can be readily calculated by a Fast Fourier transform.^[3]

Analytic interpretation

Circulant matrices can be interpreted geometrically, which explains the connection with the discrete Fourier transform.

Consider vectors in ${\mathbf {R}}^{n}$ as functions on the integers with period n, (i.e., as periodic bi-infinite sequences: $\dots ,a_{0},a_{1},\dots ,a_{{n-1}},a_{0},a_{1},\dots$ ) or equivalently, as functions on the cyclic group of order n, ( $C_{n}$ or ${\mathbf {Z}}/n{\mathbf {Z}}$ ) geometrically, on (the vertices of) the regular n-gon: this is a discrete analog to periodic functions on the real line or circle.

Then, from the perspective of operator theory, a circulant matrix is the kernel of a discrete integral transform, namely the convolution operator for the function $(c_{0},c_{1},\dots ,c_{{n-1}});$ this is a discrete circular convolution. The formula for the convolution of the functions $(b_{i}):=(c_{i})*(a_{i})$ is

$b_{k}=\sum _{{i=0}}^{{n-1}}a_{i}c_{{k-i}}$ (recall that the sequences are periodic)

which is the product of the vector of $a_{i}$ by the circulant matrix.

The discrete Fourier transform then converts convolution into multiplication, which in the matrix setting corresponds to diagonalization.

Applications

In linear equations

Given a matrix equation

$\ {\mathbf {C}}{\mathbf {x}}={\mathbf {b}},$

where $\ C$ is a circulant square matrix of size $\ n$ we can write the equation as the circular convolution

$\ {\mathbf {c}}\star {\mathbf {x}}={\mathbf {b}},$

where $\ c$ is the first column of $\ C$ , and the vectors $\ c$ , $\ x$ and $\ b$ are cyclically extended in each direction. Using the results of the circular convolution theorem, we can use the discrete Fourier transform to transform the cyclic convolution into component-wise multiplication

$\ {\mathcal {F}}_{{n}}({\mathbf {c}}\star {\mathbf {x}})={\mathcal {F}}_{{n}}({\mathbf {c}}){\mathcal {F}}_{{n}}({\mathbf {x}})={\mathcal {F}}_{{n}}({\mathbf {b}})$

so that

$\ {\mathbf {x}}={\mathcal {F}}_{{n}}^{{-1}}\left[\left({\frac {({\mathcal {F}}_{n}({\mathbf {b}}))_{{\nu }}}{({\mathcal {F}}_{n}({\mathbf {c}}))_{{\nu }}}}\right)_{{\nu \in {\mathbf {Z}}}}\right]^{T}.$

This algorithm is much faster than the standard Gaussian elimination, especially if a fast Fourier transform is used.

In graph theory

In graph theory, a graph or digraph whose adjacency matrix is circulant is called a circulant graph (or digraph). Equivalently, a graph is circulant if its automorphism group contains a full-length cycle. The Möbius ladders are examples of circulant graphs, as are the Paley graphs for fields of prime order.

References

↑ Davis, Philip J., Circulant Matrices, Wiley, New York, 1970 ISBN 0471057711
↑ A. W. Ingleton (1956). "The Rank of Circulant Matrices". J. London Math. Soc. s1-31 (4): 445–460. doi:10.1112/jlms/s1-31.4.445.
↑ Golub, Gene H.; Van Loan, Charles F. (1996), "§4.7.7 Circulant Systems", Matrix Computations (3rd ed.), Johns Hopkins, ISBN 978-0-8018-5414-9

External links

R. M. Gray, Toeplitz and Circulant Matrices: A Review
Weisstein, Eric W., "Circulant matrix", MathWorld.

v t e Numerical linear algebra

Key concepts	Floating point Numerical stability BLAS

Problems	Matrix multiplication Matrix decompositions Linear equations Sparse problems

Hardware	CPU cache TLB Cache-oblivious algorithm SIMD Multiprocessing

Software	Specialized libraries General purpose software

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.