THE CIRCULANT OPERATOR IN THE BANACH ALGEBRA OF MATRICES

We study an operator c which maps every n-by-n matrix A(n) to a circulant matrix c(A(n)) that minimizes the Frobenius norm parallel-to A(n) - C(n) parallel-to F over all n-by-n circulant matrices C(n). The circulant matrix c(A(n)), called the optimal circulant preconditioner, has proved to be a good preconditioner for a general class of Toeplitz systems. In this paper, we give different formulations of the operator, discuss its algebraic and geometric properties, and compute its operator norms in different Banach algebras of matrices. Using these results, we are able to give an efficient algorithm for finding the superoptimal circulant preconditioner which is defined to be the minimizer of parallel-to I - C(n)-1A(n) parallel-to F over all nonsingular circulant matrices C(n).