A remark on symmetric circulant matrices
type: Item
instance of: scholarly article
title: A remark on symmetric circulant matrices
zbMATH Open document ID: 0647.15015
DOI: 10.1016/0024-3795(88)90225-X
author: Chong-Yun Chao
published in: Linear Algebra and its Applications
publication date: 1988-01-01T00:00:00Z
review text: For a real symmetric nonsingular circulant \(n\times n\) matrix A the author shows that \(A^{-1}=(1/n)Q,\) where Q is an \(n\times n\) circulant matrix whose 0th row is \((q_ 0,q_ 1,...,q_{n-1})\) with \(q_ i=\sum^{n-1}_{j=0}(1/\mu_ j)(\bar w^ i)^ j,\) \(w=\exp (2\pi i/n)\), and \(\mu_ 0,\mu_ 1,...,\mu_{n-1}\) the eigenvalues of A (Theorem 1). After that the author considers the same problem for \(A=G_ 1\otimes...\otimes G_ s\), the Kronecker product of \(p_ i^{k_ i}\times p_ i^{k_ i}\) symmetric circulant matrices \(G_ i\) for \(i=1,2,...,s\), where \(n=p_ 1^{k_ 1}...p_ s^{k_ s}\) is the prime-power decomposition of n. He proves that there exists an \(n\times n\) permutation matrix T such that \(TAT^{-1}\) is symmetric (Theorem 2), and if \(Q_ i\) is nonsingular for all i's, then \(A^{-1}=T^{- 1}UD^{-1}U^*T,\) where U is the Fourier matrix of order n (i.e. \(U=(1/\sqrt{n})\cdot (w_{ij})\), \(w_{ij}=(w^ i)^ j)\), and D is the diagonal matrix consisting of the products of eigenvalues of \(G_ 1,...,G_ s\) on the main diagonal (Corollary to Theorem 2). Finally, for a nonsingular symmetric circulant block matrix B of type (m,n), i.e. an \(mn\times mn\) matrix \[ B= \left[\begin{matrix} A_ 0& A_ 1& ...& A_{m-1} \\ A_{m-1} & A_ 0& ...& A_{m-2} \\ \vdots & \vdots && \vdots \\ A_ 1& A_ 2& ...& A_ 0 \end{matrix}\right] \] where each block \(A_ i\) is a real symmetric circulant matrixwith \(A_{m-i}=A_ i\) for \(i=0,1,...,m-1\), and m,n\(\geq 2\), the author shows that \(B^{- 1}=(V\otimes U)D^{-1}(V^*\otimes U^*),\) where V is the Fourier matrix of order m, and D is a diagonal matrix. We remark that the Lemma 5 characterising symmetric circulant block matrix of type (m,n) is false. This matrix should be defined in this manner.
Mathematics Subject Classification ID: 15B57
Mathematics Subject Classification ID: 15A09
zbMATH DE Number: 4055793
zbMATH Keywords: symmetric circulant matrices
zbMATH Keywords: Kronecker product
zbMATH Keywords: Fourier matrix
zbMATH Keywords: nonsingular symmetric circulant block matrix
reviewed by: Veselin Perić
MaRDI profile type: Publication
cites work: An explicit form of the inverse of a particular circulant matrix
cites work: An Algorithm for the Machine Calculation of Complex Fourier Series
cites work: Q3208805
cites work: Cyclic odd-even reduction for symmetric circulant matrices
cites work: Characterization of the inverse of a particular circulant matrix by means of a continued fraction
cites work: Further corrections to "An introduction to programming the winograd Fourier transform algorithm (WFTA)"
description: scientific article; zbMATH DE number 4055793