Applications of the Generalized Fourier Transform in Numerical Linear Algebra

Equivariant matrices, commuting with a group of permutation matrices, are considered. Such matrices typically arise from PDEs and other computational problems where the computational domain exhibits discrete geometrical symmetries. In these cases, group representation theory provides a powerful tool for block diagonalizing the matrix via the Generalized Fourier Transform (GFT). This technique yields substantial computational savings in problems such as solving linear systems, computing eigenvalues and computing analytic matrix functions such as the matrix exponential.The paper is presenting a comprehensive self contained introduction to this field. Building upon the familiar special (finite commutative) case of circulant matrices being diagonalized with the Discrete Fourier Transform, we generalize the classical convolution theorem and diagonalization results to the noncommutative case of block diagonalizing equivariant matrices.Applications of the GFT in problems with domain symmetries have been developed by several authors in a series of papers. In this paper we elaborate upon the results in these papers by emphasizing the connection between equivariant matrices, block group algebras and noncommutative convolutions. Furthermore, we describe the algebraic structure of projections related to non-free group actions. This approach highlights the role of the underlying mathematical structures, and provides insight useful both for software construction and numerical analysis. The theory is illustrated with a selection of numerical examples.

[1]  Krister Åhlander,et al.  Generic programming aspects of symmetry exploiting numerical software , 2004 .

[2]  P. Diaconis.  Group representations in probability and statistics , 1988 .

[3]  P. Diaconis,et al.  Efficient computation of the Fourier transform on finite groups , 1990 .

[4]  Michael Clausen,et al.  Fast Fourier transforms , 1993 .

[5]  David Keith Maslen,et al.  The efficient computation of Fourier transforms on the symmetric group , 1998, Math. Comput..

[6]  D. Rockmore,et al.  Generalized FFT's- A survey of some recent results , 1996, Groups and Computation.

[7]  Michael Clausen.  Fast Fourier Transforms for Metabelian Groups , 1989, SIAM J. Comput..

[8]  E. Allgower,et al.  Exploiting symmetry in boundary element methods , 1992 .

[9]  A. Fässler,et al.  Group Theoretical Methods and Their Applications , 1992 .

[10]  Marc Bonnet,et al.  Exploiting partial or complete geometrical symmetry in 3D symmetric Galerkin indirect BEM formulations , 2003 .

[11]  Mark G. Karpovsky,et al.  Fast Fourier Transforms on Finite Non-Abelian Groups , 1977, IEEE Transactions on Computers.

[12]  Johannes Tausch,et al.  Equivariant Preconditioners for Boundary Element Methods , 1996, SIAM J. Sci. Comput..

[13]  Daniel N. Rockmore,et al.  Some applications of generalized FFT's , 1997, Groups and Computation.

[14]  Alain Bossavit,et al.  Boundary Value Problems with Symmetry and Their Approximation by Finite Elements , 1993, SIAM J. Appl. Math..

[15]  Meinard Müller,et al.  Generating fast Fourier transforms of solvable groups , 2004, J. Symb. Comput..

[16]  A. Bossavit,et al.  Symmetry, groups and boundary value problems. A progressive introduction to noncommutative harmonic analysis of partial differential equations in domains with geometrical symmetry , 1986 .

[17]  M. Liebeck,et al.  Representations and Characters of Groups , 1995 .

[18]  Jan Mandel,et al.  An abstract theory for the domain reduction method , 2005, Computing.

[19]  Lewis Stiller.  Exploiting Symmetry on Parallel Architectures , 1995, J. Int. Comput. Games Assoc..

[20]  K. Georg,et al.  Exploiting Symmetry in Solving Linear Equations , 1992 .

[21]  D. Rockmore.  Fast Fourier analysis for abelian group extensions , 1990 .

[22]  D. Rockmore.  Fast Fourier Transforms for Wreath Products , 1995 .

[23]  Thomas Beth,et al.  Generalized Fourier Transforms , 1987, Trends in Computer Algebra.

[24]  Johannes Tausch,et al.  Numerical Exploitation of Equivariance , 1998 .

[25]  J. Lomont,et al.  Applications of finite groups , 1959 .

[26]  Johannes Tausch,et al.  A GENERALIZED FOURIER TRANSFORM FOR BOUNDARY ELEMENT METHODS WITH SYMMETRIES , 1998 .

[27]  Krister Åhlander,et al.  Eigenvalues for equivariant matrices , 2006 .

[28]  Markus Püschel,et al.  Symmetry-based matrix factorization , 2004, J. Symb. Comput..